Ellipsoid
An ellipsoid is a surface that can be obtained from a sphere by deforming it by means of directional scalings, or more generally, of an affine transformation.
An ellipsoid is a
An ellipsoid has three pairwise
If two of the axes have the same length, then the ellipsoid is an ellipsoid of
Standard equation
The general ellipsoid, also known as triaxial ellipsoid, is a quadratic surface which is defined in Cartesian coordinates as:
where , and are the length of the semi-axes.
The points , and lie on the surface. The line segments from the origin to these points are called the principal semi-axes of the ellipsoid, because a, b, c are half the length of the principal axes. They correspond to the
In spherical coordinate system for which , the general ellipsoid is defined as:
where is the polar angle and is the azimuthal angle.
When , the ellipsoid is a sphere.
When , the ellipsoid is a spheroid or ellipsoid of revolution. In particular, if , it is an
Parameterization
The ellipsoid may be parameterized in several ways, which are simpler to express when the ellipsoid axes coincide with coordinate axes. A common choice is
where
These parameters may be interpreted as
Measuring from the equator rather than a pole,
where
θ is the
Measuring angles directly to the surface of the ellipsoid, not to the circumscribed sphere,
where
γ would be
In
Volume
The volume bounded by the ellipsoid is
In terms of the principal diameters A, B, C (where A = 2a, B = 2b, C = 2c), the volume is
- .
This equation reduces to that of the volume of a sphere when all three elliptic radii are equal, and to that of an
The
Surface area
The surface area of a general (triaxial) ellipsoid is[2]
where
and where F(φ, k) and E(φ, k) are incomplete elliptic integrals of the first and second kind respectively.[3] The surface area of this general ellipsoid can also be expressed using the RG, one of Carlson symmetric forms of the elliptic integrals by simply substituting the above formula to the respective definition:
where V is the volume of the ellipsoid. Unlike the expression with F(φ, k) and E(φ, k), this equation is valid for arbirary ordering of a, b, and c.
The surface area of an ellipsoid of revolution (or spheroid) may be expressed in terms of elementary functions:
or
or
and
which, as follows from basic trigonometric identities, are equivalent expressions (i.e. the formula for Soblate can be used to calculate the surface area of a prolate ellipsoid and vice versa). In both cases e may again be identified as the
Approximate formula
Here p ≈ 1.6075 yields a relative error of at most 1.061%;[5] a value of p = 8/5 = 1.6 is optimal for nearly spherical ellipsoids, with a relative error of at most 1.178%.
In the "flat" limit of c much smaller than a and b, the area is approximately 2πab, equivalent to p = log23 ≈ 1.5849625007.
Plane sections
The intersection of a plane and a sphere is a circle (or is reduced to a single point, or is empty). Any ellipsoid is the image of the unit sphere under some affine transformation, and any plane is the image of some other plane under the same transformation. So, because affine transformations map circles to ellipses, the intersection of a plane with an ellipsoid is an ellipse or a single point, or is empty.[6] Obviously, spheroids contain circles. This is also true, but less obvious, for triaxial ellipsoids (see Circular section).
Determining the ellipse of a plane section
Given: Ellipsoid x2/a2 + y2/b2 + z2/c2 = 1 and the plane with equation nxx + nyy + nzz = d, which have an ellipse in common.
Wanted: Three vectors f0 (center) and f1, f2 (conjugate vectors), such that the ellipse can be represented by the parametric equation
(see ellipse).
Solution: The scaling u = x/a, v = y/b, w = z/c transforms the ellipsoid onto the unit sphere u2 + v2 + w2 = 1 and the given plane onto the plane with equation
Let muu + mvv + mww = δ be the Hesse normal form of the new plane and
its unit normal vector. Hence
is the center of the intersection circle and
its radius (see diagram).
Where mw = ±1 (i.e. the plane is horizontal), let
Where mw ≠ ±1, let
In any case, the vectors e1, e2 are orthogonal, parallel to the intersection plane and have length ρ (radius of the circle). Hence the intersection circle can be described by the parametric equation
The reverse scaling (see above) transforms the unit sphere back to the ellipsoid and the vectors e0, e1, e2 are mapped onto vectors f0, f1, f2, which were wanted for the parametric representation of the intersection ellipse.
How to find the vertices and semi-axes of the ellipse is described in ellipse.
Example: The diagrams show an ellipsoid with the semi-axes a = 4, b = 5, c = 3 which is cut by the plane x + y + z = 5.
Pins-and-string construction
The pins-and-string construction of an ellipsoid is a transfer of the idea constructing an ellipse using two pins and a string (see diagram).
A pins-and-string construction of an
The construction of points of a triaxial ellipsoid is more complicated. First ideas are due to the Scottish physicist J. C. Maxwell (1868).[7] Main investigations and the extension to quadrics was done by the German mathematician O. Staude in 1882, 1886 and 1898.[8][9][10] The description of the pins-and-string construction of ellipsoids and hyperboloids is contained in the book Geometry and the imagination written by D. Hilbert & S. Vossen,[11] too.
Steps of the construction
- Choose an ellipse E and a hyperbola H, which are a pair of focal conics: with the vertices and foci of the ellipseand a string (in diagram red) of length l.
- Pin one end of the string to vertex S1 and the other to focus F2. The string is kept tight at a point P with positive y- and z-coordinates, such that the string runs from S1 to P behind the upper part of the hyperbola (see diagram) and is free to slide on the hyperbola. The part of the string from P to F2 runs and slides in front of the ellipse. The string runs through that point of the hyperbola, for which the distance |S1 P| over any hyperbola point is at a minimum. The analogous statement on the second part of the string and the ellipse has to be true, too.
- Then: P is a point of the ellipsoid with equation
- The remaining points of the ellipsoid can be constructed by suitable changes of the string at the focal conics.
Semi-axes
Equations for the semi-axes of the generated ellipsoid can be derived by special choices for point P:
The lower part of the diagram shows that F1 and F2 are the foci of the ellipse in the xy-plane, too. Hence, it is confocal to the given ellipse and the length of the string is l = 2rx + (a − c). Solving for rx yields rx = 1/2(l − a + c); furthermore r2
y = r2
x − c2.
From the upper diagram we see that S1 and S2 are the foci of the ellipse section of the ellipsoid in the xz-plane and that r2
z = r2
x − a2.
Converse
If, conversely, a triaxial ellipsoid is given by its equation, then from the equations in step 3 one can derive the parameters a, b, l for a pins-and-string construction.
Confocal ellipsoids
If E is an ellipsoid
then from the equations of E
one finds, that the corresponding focal conics used for the pins-and-string construction have the same semi-axes a, b, c as ellipsoid E. Therefore (analogously to the foci of an ellipse) one considers the focal conics of a triaxial ellipsoid as the (infinite many) foci and calls them the focal curves of the ellipsoid.[12]
The converse statement is true, too: if one chooses a second string of length l and defines
then the equations
are valid, which means the two ellipsoids are confocal.
Limit case, ellipsoid of revolution
In case of a = c (a spheroid) one gets S1 = F1 and S2 = F2, which means that the focal ellipse degenerates to a line segment and the focal hyperbola collapses to two infinite line segments on the x-axis. The ellipsoid is rotationally symmetric around the x-axis and
- .
Properties of the focal hyperbola
- True curve
- If one views an ellipsoid from an external point V of its focal hyperbola, than it seems to be a sphere, that is its apparent shape is a circle. Equivalently, the tangents of the ellipsoid containing point V are the lines of a circular orthogonal parallel projection with the corresponding asymptoteof the focal hyperbola as its direction. The true curve of shape (tangent points) on the ellipsoid is not a circle. The lower part of the diagram shows on the left a parallel projection of an ellipsoid (with semi-axes 60, 40, 30) along an asymptote and on the right a central projection with center V and main point H on the tangent of the hyperbola at point V. (H is the foot of the perpendicular from V onto the image plane.) For both projections the apparent shape is a circle. In the parallel case the image of the origin O is the circle's center; in the central case main point H is the center.
- Umbilical points
- The focal hyperbola intersects the ellipsoid at its four umbilical points.[15]
Property of the focal ellipse
The focal ellipse together with its inner part can be considered as the limit surface (an infinitely thin ellipsoid) of the
Ellipsoids in higher dimensions and general position
Standard equation
A hyperellipsoid, or ellipsoid of dimension in a Euclidean space of dimension , is a
One can also define a hyperellipsoid as the image of a sphere under an invertible affine transformation. The spectral theorem can again be used to obtain a standard equation of the form
The volume of an n-dimensional hyperellipsoid can be obtained by replacing Rn by the product of the semi-axes a1a2...an in the formula for the volume of a hypersphere:
(where Γ is the gamma function).
As a quadric
If A is a real, symmetric, n-by-n
is an n-dimensional ellipsoid centered at v. The expression is also called the ellipsoidal norm of x - v. For every ellipsoid, there are unique A and v that satisfy the above equation.[16]: 67
The
- The diameter of the ellipsoid is twice the longest semi-axis, which is twice the square-root of the largest eigenvalue of A.
- The widthof the ellipsoid is twice the shortest semi-axis, which is twice the square-root of the smallest eigenvalue of A.
An invertible
For every positive definite matrix , there exists a unique positive definite matrix denoted A1/2, such that this notation is motivated by the fact that this matrix can be seen as the "positive square root" of The ellipsoid defined by can also be presented as[16]: 67
where S(0,1) is the unit sphere around the origin.
Parametric representation
The key to a parametric representation of an ellipsoid in general position is the alternative definition:
- An ellipsoid is an affine image of the unit sphere.
An affine transformation can be represented by a translation with a vector f0 and a regular 3 × 3 matrix A:
where f1, f2, f3 are the column vectors of matrix A.
A parametric representation of an ellipsoid in general position can be obtained by the parametric representation of a unit sphere (see above) and an affine transformation:
- .
If the vectors f1, f2, f3 form an orthogonal system, the six points with vectors f0 ± f1,2,3 are the vertices of the ellipsoid and |f1|, |f2|, |f3| are the semi-principal axes.
A surface normal vector at point x(θ, φ) is
For any ellipsoid there exists an implicit representation F(x, y, z) = 0. If for simplicity the center of the ellipsoid is the origin, f0 = 0, the following equation describes the ellipsoid above:[18]
Applications
The ellipsoidal shape finds many practical applications:
- Earth ellipsoid, a mathematical figure approximating the shape of the Earth.
- planetary bodiesin general.
- torque-free motion of a rotating rigid body.
- Lamé's stress ellipsoid, an alternative to Mohr's circle for the graphical representation of the stress state at a point.
- Manipulability ellipsoid, used to describe a robot's freedom of motion.
- Jacobi ellipsoid, a triaxial ellipsoid formed by a rotating fluid
- Index ellipsoid, a diagram of an ellipsoid that depicts the orientation and relative magnitude of refractive indices in a crystal.
- thermal vibration of atoms in crystal structures.
Computer science
- Ellipsoid method, a convex optimization algorithm of theoretical significance
- Lighting
- Ellipsoidal reflector floodlight
- Ellipsoidal reflector spotlight
- Medicine
- Measurements obtained from
Dynamical properties
The mass of an ellipsoid of uniform density ρ is
The
For a = b = c these moments of inertia reduce to those for a sphere of uniform density.
Ellipsoids and cuboids rotate stably along their major or minor axes, but not along their median axis. This can be seen experimentally by throwing an eraser with some spin. In addition, moment of inertia considerations mean that rotation along the major axis is more easily perturbed than rotation along the minor axis.[20]
One practical effect of this is that scalene astronomical bodies such as
A spinning body of homogeneous self-gravitating fluid will assume the form of either a
Fluid dynamics
The ellipsoid is the most general shape for which it has been possible to calculate the
In probability and statistics
The
where k is a scale factor, x is an n-dimensional
Thus the density function is a scalar-to-scalar transformation of a quadric expression. Moreover, the equation for any iso-density surface states that the quadric expression equals some constant specific to that value of the density, and the iso-density surface is an ellipsoid.
See also
- Ellipsoidal dome
- Ellipsoidal coordinates
- Elliptical distribution, in statistics
- oblateness, is a measure of the compression of a circle or sphere along a diameter to form an ellipse or an ellipsoid of revolution (spheroid), respectively.
- Focaloid, a shell bounded by two concentric, confocal ellipsoids
- Geodesics on an ellipsoid
- Geodetic datum, the gravitational Earth modeled by a best-fitted ellipsoid
- Homoeoid, a shell bounded by two concentric similar ellipsoids
- John ellipsoid, the smallest ellipsoid containing a given convex set.
- List of surfaces
- Superellipsoid
Notes
- ^ Kreyszig (1972, pp. 455–456)
- ^ F.W.J. Olver, D.W. Lozier, R.F. Boisvert, and C.W. Clark, editors, 2010, NIST Handbook of Mathematical Functions (Cambridge University Press), Section 19.33 "Triaxial Ellipsoids". Retrieved 2012-01-08.
- ^ "DLMF: 19.2 Definitions".
- ^ W., Weisstein, Eric. "Prolate Spheroid". mathworld.wolfram.com. Archived from the original on 3 August 2017. Retrieved 25 March 2018.
{{cite web}}
: CS1 maint: multiple names: authors list (link) - ^ Final answers Archived 2011-09-30 at the Wayback Machine by Gerard P. Michon (2004-05-13). See Thomsen's formulas and Cantrell's comments.
- ISBN 978-0-486-81026-3
- ^ W. Böhm: Die FadenKonstruktion der Flächen zweiter Ordnung, Mathemat. Nachrichten 13, 1955, S. 151
- ^ Staude, O.: Ueber Fadenconstructionen des Ellipsoides. Math. Ann. 20, 147–184 (1882)
- ^ Staude, O.: Ueber neue Focaleigenschaften der Flächen 2. Grades. Math. Ann. 27, 253–271 (1886).
- ^ Staude, O.: Die algebraischen Grundlagen der Focaleigenschaften der Flächen 2. Ordnung Math. Ann. 50, 398 - 428 (1898).
- ISBN 0-8284-1087-9, p. 20 .
- ^ O. Hesse: Analytische Geometrie des Raumes, Teubner, Leipzig 1861, p. 287
- ^ D. Hilbert & S Cohn-Vossen: Geometry and the Imagination, p. 24
- ^ O. Hesse: Analytische Geometrie des Raumes, p. 301
- ^ W. Blaschke: Analytische Geometrie, p. 125
- ^ MR 1261419
- ^ "Archived copy" (PDF). Archived (PDF) from the original on 2013-06-26. Retrieved 2013-10-12.
{{cite web}}
: CS1 maint: archived copy as title (link) pp. 17–18. - ^ Computerunterstützte Darstellende und Konstruktive Geometrie. Archived 2013-11-10 at the Wayback Machine Uni Darmstadt (PDF; 3,4 MB), S. 88.
- S2CID 4621745.
- ^ Goldstein, H G (1980). Classical Mechanics, (2nd edition) Chapter 5.
- ISBN 978-0-674-03116-6.
- ^ Frahm, G., Junker, M., & Szimayer, A. (2003). Elliptical copulas: applicability and limitations. Statistics & Probability Letters, 63(3), 275–286.
References
- ISBN 0-471-50728-8
External links
- "Ellipsoid" by Jeff Bryant, Wolfram Demonstrations Project, 2007.
- Ellipsoid and Quadratic Surface, MathWorld.