Contact (mathematics)


In mathematics, two functions have a contact of order k if, at a point P, they have the same value and k equal derivatives. 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.

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]

Contents

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

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.

Bi-tangents in econometrics

In econometrics it is also possible to consider circles which have two point contact with two points S(t1), S(t2) on the curve. Such circles 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. These sets have been used as a method of characterising the shapes of biological objects by Mario Henrique Simonsen, Brazilian and English econometrist.

References


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







Categories: Multivariable calculus | Differential geometry | Singularity theory | Contact geometry




Information as of: 16.06.2020 11:49:38 CEST

Source: Wikipedia (Authors [History])    License : CC-BY-SA-3.0

Changes: All pictures and most design elements which are related to those, were removed. Some Icons were replaced by FontAwesome-Icons. Some templates were removed (like “article needs expansion) or assigned (like “hatnotes”). CSS classes were either removed or harmonized.
Wikipedia specific links which do not lead to an article or category (like “Redlinks”, “links to the edit page”, “links to portals”) were removed. Every external link has an additional FontAwesome-Icon. Beside some small changes of design, media-container, maps, navigation-boxes, spoken versions and Geo-microformats were removed.

Please note: Because the given content is automatically taken from Wikipedia at the given point of time, a manual verification was and is not possible. Therefore LinkFang.org does not guarantee the accuracy and actuality of the acquired content. If there is an Information which is wrong at the moment or has an inaccurate display please feel free to contact us: email.
See also: Legal Notice & Privacy policy.