Contact (mathematics)

Last updated

In mathematics, two functions have a contact of order k if, at a point P, they have the same value and their first k derivatives are equal. This is an equivalence relation, whose equivalence classes are generally called jets. The point of osculation is also called the double cusp. Contact is a geometric notion; it can be defined algebraically as a valuation.

Contents

One speaks also of curves and geometric objects having k-th order contact at a point: this is also called osculation (i.e. kissing), generalising the property of being tangent. (Here the derivatives are considered with respect to arc length.) An osculating curve from a given family of curves is a curve that has the highest possible order of contact with a given curve at a given point; for instance a tangent line is an osculating curve from the family of lines, and has first-order contact with the given curve; an osculating circle is an osculating curve from the family of circles, and has second-order contact (same tangent angle and curvature), etc. [1]

Applications

Contact forms are particular differential forms of degree 1 on odd-dimensional manifolds; see contact geometry. Contact transformations are related changes of coordinates, of importance in classical mechanics. See also Legendre transformation.

Contact between manifolds is often studied in singularity theory, where the type of contact are classified, these include the A series (A0: crossing, A1: tangent, A2: osculating, ...) and the umbilic or D-series where there is a high degree of contact with the sphere.

Contact between curves

Two curves in the plane intersecting at a point p are said to have:

Contact between a curve and a circle

A circle with 1st-order contact (tangent) TangentCircle.png
A circle with 1st-order contact (tangent)
A circle with 2nd-order contact (osculating) OsculatingCircle2.png
A circle with 2nd-order contact (osculating)
A circle with 3rd-order contact at a vertex of a curve VertexOfACurve.png
A circle with 3rd-order contact at a vertex of a curve

For each point S(t) on a smooth plane curve S, there is exactly one osculating circle, whose radius is the reciprocal of κ(t), the curvature of S at t. Where curvature is zero (at an inflection point on the curve), the osculating circle is a straight line. The locus of the centers of all the osculating circles (also called "centers of curvature") is the evolute of the curve.

If the derivative of curvature κ'(t) is zero, then the osculating circle will have 3rd-order contact and the curve is said to have a vertex. The evolute will have a cusp at the center of the circle. The sign of the second derivative of curvature determines whether the curve has a local minimum or maximum of curvature. All closed curves will have at least four vertices, two minima and two maxima (the four-vertex theorem).

In general a curve will not have 4th-order contact with any circle. However, 4th-order contact can occur generically in a 1-parameter family of curves, at a curve in the family where (as the parameter varies) two vertices (one maximum and one minimum) come together and annihilate. At such points the second derivative of curvature will be zero.

Ccircles which have two-point contact with two points S(t1), S(t2) on a curve are bi-tangent circles. The centers of all bi-tangent circles form the symmetry set. The medial axis is a subset of the symmetry set.

Related Research Articles

<span class="mw-page-title-main">Differential geometry</span> Branch of mathematics dealing with functions and geometric structures on differentiable manifolds

Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra. The field has its origins in the study of spherical geometry as far back as antiquity. It also relates to astronomy, the geodesy of the Earth, and later the study of hyperbolic geometry by Lobachevsky. The simplest examples of smooth spaces are the plane and space curves and surfaces in the three-dimensional Euclidean space, and the study of these shapes formed the basis for development of modern differential geometry during the 18th and 19th centuries.

<span class="mw-page-title-main">Curvature</span> Mathematical measure of how much a curve or surface deviates from flatness

In mathematics, curvature is any of several strongly related concepts in geometry that intuitively measure the amount by which a curve deviates from being a straight line or by which a surface deviates from being a plane. If a curve or surface is contained in a larger space, curvature can be defined extrinsically relative to the ambient space. Curvature of Riemannian manifolds of dimension at least two can be defined intrinsically without reference to a larger space.

Differential geometry of curves is the branch of geometry that deals with smooth curves in the plane and the Euclidean space by methods of differential and integral calculus.

<span class="mw-page-title-main">Curve of constant width</span> Shape with width independent of orientation

In geometry, a curve of constant width is a simple closed curve in the plane whose width is the same in all directions. The shape bounded by a curve of constant width is a body of constant width or an orbiform, the name given to these shapes by Leonhard Euler. Standard examples are the circle and the Reuleaux triangle. These curves can also be constructed using circular arcs centered at crossings of an arrangement of lines, as the involutes of certain curves, or by intersecting circles centered on a partial curve.

<span class="mw-page-title-main">Semicircle</span> Geometric shape

In mathematics, a semicircle is a one-dimensional locus of points that forms half of a circle. It is a circular arc that measures 180°. It has only one line of symmetry.

<span class="mw-page-title-main">Frenet–Serret formulas</span> Formulas in differential geometry

In differential geometry, the Frenet–Serret formulas describe the kinematic properties of a particle moving along a differentiable curve in three-dimensional Euclidean space , or the geometric properties of the curve itself irrespective of any motion. More specifically, the formulas describe the derivatives of the so-called tangent, normal, and binormal unit vectors in terms of each other. The formulas are named after the two French mathematicians who independently discovered them: Jean Frédéric Frenet, in his thesis of 1847, and Joseph Alfred Serret, in 1851. Vector notation and linear algebra currently used to write these formulas were not yet available at the time of their discovery.

<span class="mw-page-title-main">Involute</span> Curve traced by a string as it is unwrapped from another curve

In mathematics, an involute is a particular type of curve that is dependent on another shape or curve. An involute of a curve is the locus of a point on a piece of taut string as the string is either unwrapped from or wrapped around the curve.

<span class="mw-page-title-main">Evolute</span> Centers of curvature of a curve

In the differential geometry of curves, the evolute of a curve is the locus of all its centers of curvature. That is to say that when the center of curvature of each point on a curve is drawn, the resultant shape will be the evolute of that curve. The evolute of a circle is therefore a single point at its center. Equivalently, an evolute is the envelope of the normals to a curve.

<span class="mw-page-title-main">Osculating circle</span> Circle of immediate corresponding curvature of a curve at a point

An osculating circle is a circle that best approximates the curvature of a curve at a specific point. It is tangent to the curve at that point and has the same curvature as the curve at that point. The osculating circle provides a way to understand the local behavior of a curve and is commonly used in differential geometry and calculus.

In the differential geometry of curves in three dimensions, the torsion of a curve measures how sharply it is twisting out of the osculating plane. Taken together, the curvature and the torsion of a space curve are analogous to the curvature of a plane curve. For example, they are coefficients in the system of differential equations for the Frenet frame given by the Frenet–Serret formulas.

<span class="mw-page-title-main">Osculating curve</span> Plane curve with the greatest order of contact with another curve

In differential geometry, an osculating curve is a plane curve from a given family that has the highest possible order of contact with another curve. That is, if F is a family of smooth curves, C is a smooth curve, and P is a point on C, then an osculating curve from F at P is a curve from F that passes through P and has as many of its derivatives at P equal to the derivatives of C as possible.

<span class="mw-page-title-main">Four-vertex theorem</span> Closed curves have ≥4 extremes of curvature

The four-vertex theorem of geometry states that the curvature along a simple, closed, smooth plane curve has at least four local extrema. The name of the theorem derives from the convention of calling an extreme point of the curvature function a vertex. This theorem has many generalizations, including a version for space curves where a vertex is defined as a point of vanishing torsion.

<span class="mw-page-title-main">Cusp (singularity)</span> Point on a curve where motion must move backwards

In mathematics, a cusp, sometimes called spinode in old texts, is a point on a curve where a moving point must reverse direction. A typical example is given in the figure. A cusp is thus a type of singular point of a curve.

<span class="mw-page-title-main">Vertex (curve)</span> Point of extreme curvature on a curve

In the geometry of plane curves, a vertex is a point of where the first derivative of curvature is zero. This is typically a local maximum or minimum of curvature, and some authors define a vertex to be more specifically a local extremum of curvature. However, other special cases may occur, for instance when the second derivative is also zero, or when the curvature is constant. For space curves, on the other hand, a vertex is a point where the torsion vanishes.

<span class="mw-page-title-main">Differential geometry of surfaces</span> The mathematics of smooth surfaces

In mathematics, the differential geometry of surfaces deals with the differential geometry of smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives: extrinsically, relating to their embedding in Euclidean space and intrinsically, reflecting their properties determined solely by the distance within the surface as measured along curves on the surface. One of the fundamental concepts investigated is the Gaussian curvature, first studied in depth by Carl Friedrich Gauss, who showed that curvature was an intrinsic property of a surface, independent of its isometric embedding in Euclidean space.

<span class="mw-page-title-main">Convex curve</span> Type of plane curve

In geometry, a convex curve is a plane curve that has a supporting line through each of its points. There are many other equivalent definitions of these curves, going back to Archimedes. Examples of convex curves include the convex polygons, the boundaries of convex sets, and the graphs of convex functions. Important subclasses of convex curves include the closed convex curves, the smooth curves that are convex, and the strictly convex curves, which have the additional property that each supporting line passes through a unique point of the curve.

The terminology of algebraic geometry changed drastically during the twentieth century, with the introduction of the general methods, initiated by David Hilbert and the Italian school of algebraic geometry in the beginning of the century, and later formalized by André Weil, Jean-Pierre Serre and Alexander Grothendieck. Much of the classical terminology, mainly based on case study, was simply abandoned, with the result that books and papers written before this time can be hard to read. This article lists some of this classical terminology, and describes some of the changes in conventions.

<span class="mw-page-title-main">Tennis ball theorem</span> Smooth curves that evenly divide the area of a sphere have at least 4 inflections

In geometry, the tennis ball theorem states that any smooth curve on the surface of a sphere that divides the sphere into two equal-area subsets without touching or crossing itself must have at least four inflection points, points at which the curve does not consistently bend to only one side of its tangent line. The tennis ball theorem was first published under this name by Vladimir Arnold in 1994, and is often attributed to Arnold, but a closely related result appears earlier in a 1968 paper by Beniamino Segre, and the tennis ball theorem itself is a special case of a theorem in a 1977 paper by Joel L. Weiner. The name of the theorem comes from the standard shape of a tennis ball, whose seam forms a curve that meets the conditions of the theorem; the same kind of curve is also used for the seams on baseballs.

<span class="mw-page-title-main">Tait–Kneser theorem</span> If a smooth plane curve has monotonic curvature, then its osculating circles are nested

In differential geometry, the Tait–Kneser theorem states that, if a smooth plane curve has monotonic curvature, then the osculating circles of the curve are disjoint and nested within each other. The logarithmic spiral or the pictured Archimedean spiral provide examples of curves whose curvature is monotonic for the entire curve. This monotonicity cannot happen for a simple closed curve but for such curves the theorem can be applied to the arcs of the curves between its vertices.

References

  1. Rutter, J. W. (2000), Geometry of Curves, CRC Press, pp. 174–175, ISBN   9781584881667 .