Evolute

Last updated
The evolute of a curve (blue parabola) is the locus of all its centers of curvature (red). Evolute-parab-1-e.svg
The evolute of a curve (blue parabola) is the locus of all its centers of curvature (red).
The evolute of a curve (in this case, an ellipse) is the envelope of its normals. Evolute1.gif
The evolute of a curve (in this case, an ellipse) is the envelope of its normals.

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. [1] Equivalently, an evolute is the envelope of the normals to a curve.

Contents

The evolute of a curve, a surface, or more generally a submanifold, is the caustic of the normal map. Let M be a smooth, regular submanifold in Rn. For each point p in M and each vector v, based at p and normal to M, we associate the point p + v. This defines a Lagrangian map, called the normal map. The caustic of the normal map is the evolute of M. [2]

Evolutes are closely connected to involutes: A curve is the evolute of any of its involutes.

History

Apollonius (c. 200 BC) discussed evolutes in Book V of his Conics. However, Huygens is sometimes credited with being the first to study them (1673). Huygens formulated his theory of evolutes sometime around 1659 to help solve the problem of finding the tautochrone curve, which in turn helped him construct an isochronous pendulum. This was because the tautochrone curve is a cycloid, and the cycloid has the unique property that its evolute is also a cycloid. The theory of evolutes, in fact, allowed Huygens to achieve many results that would later be found using calculus. [3]

Evolute of a parametric curve

If is the parametric representation of a regular curve in the plane with its curvature nowhere 0 and its curvature radius and the unit normal pointing to the curvature center, then describes the evolute of the given curve.

For and one gets and

Properties of the evolute

The normal at point P is the tangent at the curvature center C. Evolute-parab-2-e.svg
The normal at point P is the tangent at the curvature center C.

In order to derive properties of a regular curve it is advantageous to use the arc length of the given curve as its parameter, because of and (see Frenet–Serret formulas). Hence the tangent vector of the evolute is: From this equation one gets the following properties of the evolute:

Proof of the last property:
Let be at the section of consideration. An involute of the evolute can be described as follows: where is a fixed string extension (see Involute of a parameterized curve ).
With and one gets That means: For the string extension the given curve is reproduced.

Proof: A parallel curve with distance off the given curve has the parametric representation and the radius of curvature (see parallel curve). Hence the evolute of the parallel curve is

Examples

Evolute of a parabola

For the parabola with the parametric representation one gets from the formulae above the equations: which describes a semicubic parabola

Evolute (red) of an ellipse Evolute-elli.svg
Evolute (red) of an ellipse

Evolute of an ellipse

For the ellipse with the parametric representation one gets: [5] These are the equations of a non symmetric astroid. Eliminating parameter leads to the implicit representation

Cycloid (blue), its osculating circle (red) and evolute (green). Cycloid osculating circle evolute 2.gif
Cycloid (blue), its osculating circle (red) and evolute (green).

Evolute of a cycloid

For the cycloid with the parametric representation the evolute will be: [6] which describes a transposed replica of itself.

The evolute of the large nephroid (blue) is the small nephroid (red). Nephroide-evolute-e.svg
The evolute of the large nephroid (blue) is the small nephroid (red).

Evolute of log-aesthetic curves

The evolute of a log-aesthetic curve is another log-aesthetic curve. [7] One instance of this relation is that the evolute of an Euler spiral is a spiral with Cesàro equation . [8]

Evolutes of some curves

The evolute

Radial curve

A curve with a similar definition is the radial of a given curve. For each point on the curve take the vector from the point to the center of curvature and translate it so that it begins at the origin. Then the locus of points at the end of such vectors is called the radial of the curve. The equation for the radial is obtained by removing the x and y terms from the equation of the evolute. This produces

Related Research Articles

<span class="mw-page-title-main">Catenary</span> Curve formed by a hanging chain

In physics and geometry, a catenary is the curve that an idealized hanging chain or cable assumes under its own weight when supported only at its ends in a uniform gravitational field.

<span class="mw-page-title-main">Centripetal force</span> Force directed to the center of rotation

A centripetal force is a force that makes a body follow a curved path. The direction of the centripetal force is always orthogonal to the motion of the body and towards the fixed point of the instantaneous center of curvature of the path. Isaac Newton described it as "a force by which bodies are drawn or impelled, or in any way tend, towards a point as to a centre". In Newtonian mechanics, gravity provides the centripetal force causing astronomical orbits.

<span class="mw-page-title-main">Ellipse</span> Plane curve: conic section

In mathematics, an ellipse is a plane curve surrounding two focal points, such that for all points on the curve, the sum of the two distances to the focal points is a constant. It generalizes a circle, which is the special type of ellipse in which the two focal points are the same. The elongation of an ellipse is measured by its eccentricity , a number ranging from to .

<span class="mw-page-title-main">Parabola</span> Plane curve: conic section

In mathematics, a parabola is a plane curve which is mirror-symmetrical and is approximately U-shaped. It fits several superficially different mathematical descriptions, which can all be proved to define exactly the same curves.

<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.

<span class="mw-page-title-main">Anti-de Sitter space</span> Maximally symmetric Lorentzian manifold with a negative cosmological constant

In mathematics and physics, n-dimensional anti-de Sitter space (AdSn) is a maximally symmetric Lorentzian manifold with constant negative scalar curvature. Anti-de Sitter space and de Sitter space are named after Willem de Sitter (1872–1934), professor of astronomy at Leiden University and director of the Leiden Observatory. Willem de Sitter and Albert Einstein worked together closely in Leiden in the 1920s on the spacetime structure of the universe. Paul Dirac was the first person to rigorously explore anti-de Sitter space, doing so in 1963.

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

In geometry, a cardioid is a plane curve traced by a point on the perimeter of a circle that is rolling around a fixed circle of the same radius. It can also be defined as an epicycloid having a single cusp. It is also a type of sinusoidal spiral, and an inverse curve of the parabola with the focus as the center of inversion. A cardioid can also be defined as the set of points of reflections of a fixed point on a circle through all tangents to the circle.

<span class="mw-page-title-main">Bloch sphere</span> Geometrical representation of the pure state space of a two-level quantum mechanical system

In quantum mechanics and computing, the Bloch sphere is a geometrical representation of the pure state space of a two-level quantum mechanical system (qubit), named after the physicist Felix Bloch.

<span class="mw-page-title-main">Astroid</span> Curve generated by rolling a circle inside another circle with 4x or (4/3)x the radius

In mathematics, an astroid is a particular type of roulette curve: a hypocycloid with four cusps. Specifically, it is the locus of a point on a circle as it rolls inside a fixed circle with four times the radius. By double generation, it is also the locus of a point on a circle as it rolls inside a fixed circle with 4/3 times the radius. It can also be defined as the envelope of a line segment of fixed length that moves while keeping an end point on each of the axes. It is therefore the envelope of the moving bar in the Trammel of Archimedes.

<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">Nephroid</span> Plane curve; an epicycloid with radii differing by 1/2

In geometry, a nephroid is a specific plane curve. It is a type of epicycloid in which the smaller circle's radius differs from the larger one by a factor of one-half.

<span class="mw-page-title-main">Pedal curve</span> Curve generated by the projections of a fixed point on the tangents of another curve

In mathematics, a pedal curve of a given curve results from the orthogonal projection of a fixed point on the tangent lines of this curve. More precisely, for a plane curve C and a given fixed pedal pointP, the pedal curve of C is the locus of points X so that the line PX is perpendicular to a tangent T to the curve passing through the point X. Conversely, at any point R on the curve C, let T be the tangent line at that point R; then there is a unique point X on the tangent T which forms with the pedal point P a line perpendicular to the tangent T – the pedal curve is the set of such points X, called the foot of the perpendicular to the tangent T from the fixed point P, as the variable point R ranges over the curve C.

<span class="mw-page-title-main">Parallel curve</span>

A parallel of a curve is the envelope of a family of congruent circles centered on the curve. It generalises the concept of parallel (straight) lines. It can also be defined as a curve whose points are at a constant normal distance from a given curve. These two definitions are not entirely equivalent as the latter assumes smoothness, whereas the former does not.

<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.

<span class="mw-page-title-main">Multiple integral</span> Generalization of definite integrals to functions of multiple variables

In mathematics (specifically multivariable calculus), a multiple integral is a definite integral of a function of several real variables, for instance, f(x, y) or f(x, y, z).

A parametric surface is a surface in the Euclidean space which is defined by a parametric equation with two parameters . Parametric representation is a very general way to specify a surface, as well as implicit representation. Surfaces that occur in two of the main theorems of vector calculus, Stokes' theorem and the divergence theorem, are frequently given in a parametric form. The curvature and arc length of curves on the surface, surface area, differential geometric invariants such as the first and second fundamental forms, Gaussian, mean, and principal curvatures can all be computed from a given parametrization.

<span class="mw-page-title-main">Toroidal coordinates</span>

Toroidal coordinates are a three-dimensional orthogonal coordinate system that results from rotating the two-dimensional bipolar coordinate system about the axis that separates its two foci. Thus, the two foci and in bipolar coordinates become a ring of radius in the plane of the toroidal coordinate system; the -axis is the axis of rotation. The focal ring is also known as the reference circle.

<span class="mw-page-title-main">Radius of curvature</span> Radius of the circle which best approximates a curve at a given point

In differential geometry, the radius of curvature, R, is the reciprocal of the curvature. For a curve, it equals the radius of the circular arc which best approximates the curve at that point. For surfaces, the radius of curvature is the radius of a circle that best fits a normal section or combinations thereof.

In fluid dynamics, the Oseen equations describe the flow of a viscous and incompressible fluid at small Reynolds numbers, as formulated by Carl Wilhelm Oseen in 1910. Oseen flow is an improved description of these flows, as compared to Stokes flow, with the (partial) inclusion of convective acceleration.

We take the functional theoretic algebra C[0, 1] of curves. For each loop γ at 1, and each positive integer n, we define a curve called n-curve. The n-curves are interesting in two ways.

  1. Their f-products, sums and differences give rise to many beautiful curves.
  2. Using the n-curves, we can define a transformation of curves, called n-curving.

References

  1. Weisstein, Eric W. "Circle Evolute". MathWorld .
  2. Arnold, V. I.; Varchenko, A. N.; Gusein-Zade, S. M. (1985). The Classification of Critical Points, Caustics and Wave Fronts: Singularities of Differentiable Maps, Vol 1. Birkhäuser. ISBN   0-8176-3187-9.
  3. Yoder, Joella G. (2004). Unrolling Time: Christiaan Huygens and the Mathematization of Nature. Cambridge University Press.
  4. Ghys, Étienne; Tabachnikov, Sergei; Timorin, Vladlen (2013). "Osculating curves: around the Tait-Kneser theorem". The Mathematical Intelligencer. 35 (1): 61–66. arXiv: 1207.5662 . doi:10.1007/s00283-012-9336-6. MR   3041992.
  5. R.Courant: Vorlesungen über Differential- und Integralrechnung. Band 1, Springer-Verlag, 1955, S. 268.
  6. Weisstein, Eric W. "Cycloid Evolute". MathWorld .
  7. Yoshida, N., & Saito, T. (2012). "The Evolutes of Log-Aesthetic Planar Curves and the Drawable Boundaries of the Curve Segments". Computer-Aided Design and Applications. 9 (5): 721–731. doi:10.3722/cadaps.2012.721-731.{{cite journal}}: CS1 maint: multiple names: authors list (link)
  8. "Evolute of the Euler spiral". Linebender wiki. 2024-03-11.