Tri-axial ellipsoid,a = 4.5,b = 6;c = 3,bottom right
Anellipsoid is a surface that can be obtained from asphere by deforming it by means of directionalscalings, or more generally, of anaffine transformation.
An ellipsoid is aquadric surface; that is, asurface that may be defined as thezero set of apolynomial of degree two in three variables. Among quadric surfaces, an ellipsoid is characterized by either of the two following properties. Every planarcross section is either anellipse, or is empty, or is reduced to a single point (this explains the name, meaning "ellipse-like"). It isbounded, which means that it may be enclosed in a sufficiently large sphere.
An ellipsoid has three pairwiseperpendicularaxes of symmetry which intersect at acenter of symmetry, called the center of the ellipsoid. Theline segments that are delimited on the axes of symmetry by the ellipsoid are called theprincipal axes, or simply axes of the ellipsoid. If the three axes have different lengths, the figure is atriaxial ellipsoid (rarelyscalene ellipsoid), and the axes are uniquely defined.
If two of the axes have the same length, then the ellipsoid is anellipsoid ofrevolution, also called aspheroid. In this case, the ellipsoid is invariant under arotation around the third axis, and there are thus infinitely many ways of choosing the two perpendicular axes of the same length. In the case of two axes being the same length:
If the third axis is shorter, the ellipsoid is a sphere that has been flattened (called anoblate spheroid).
If the third axis is longer, it is a sphere that has been lengthened (called aprolate spheroid).
If the three axes have the same length, the ellipsoid is a sphere.
The general ellipsoid, also known as triaxial ellipsoid, is a quadratic surface which is defined inCartesian 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, becausea,b,c are half the length of the principal axes. They correspond to thesemi-major axis andsemi-minor axis of anellipse.
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 asspherical coordinates, whereθ is the polar angle andφ is the azimuth angle of the point(x,y,z) of the ellipsoid.[1]
Measuring angles directly to the surface of the ellipsoid, not to the circumscribed sphere,
where
γ would begeocentric latitude on the Earth, andλ is longitude. These are true spherical coordinates with the origin at the center of the ellipsoid.[citation needed]
Ingeodesy, thegeodetic latitude is most commonly used, as the angle between the vertical and the equatorial plane, defined for a biaxial ellipsoid. For a more general triaxial ellipsoid, seeellipsoidal latitude.
In terms of the principaldiametersA,B,C (whereA = 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 anoblate orprolate spheroid when two of them are equal.
and whereF(φ,k) andE(φ,k) are incompleteelliptic integrals of the first and second kind respectively.[3]
The surface area of this general ellipsoid can also be expressed in terms of, one of theCarlson symmetric forms of elliptic integrals:[4]
Simplifying the above formula using properties ofRG,[5] this can also be expressed in terms of the volume of the ellipsoidV:
Unlike the expression withF(φ,k) andE(φ,k), the equations in terms ofRG do not depend on the choice of an order ona,b, andc.
The surface area of an ellipsoid of revolution (or spheroid) may be expressed in terms ofelementary functions:
or
or
and
which, as follows from basic trigonometric identities, are equivalent expressions (i.e. the formula forSoblate can be used to calculate the surface area of a prolate ellipsoid and vice versa). In both casese may again be identified as theeccentricity of the ellipse formed by the cross section through the symmetry axis. (Seeellipse). Derivations of these results may be found in standard sources, for exampleMathworld.[6]
Herep ≈ 1.6075 yields a relative error of at most 1.061%;[7] a value ofp =8/5 = 1.6 is optimal for nearly spherical ellipsoids, with a relative error of at most 1.178%.
In the "flat" limit ofc much smaller thana andb, the area is approximately2πab, equivalent top = log23 ≈ 1.5849625007.
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.[8] Obviously, spheroids contain circles. This is also true, but less obvious, for triaxial ellipsoids (seeCircular section).
Solution: The scalingu =x/a,v =y/b,w =z/c transforms the ellipsoid onto the unit sphereu2 +v2 +w2 = 1 and the given plane onto the plane with equation
In any case, the vectorse1,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 vectorse0,e1,e2 are mapped onto vectorsf0,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 inellipse.
Example: The diagrams show an ellipsoid with the semi-axesa = 4,b = 5,c = 3 which is cut by the planex +y +z = 5.
Pins-and-string construction of an ellipse: |S1S2|, length of the string (red)Pins-and-string construction of an ellipsoid, blue: focal conicsDetermination of the semi axis of the ellipsoid
The pins-and-string construction of an ellipsoid is a transfer of the idea constructing an ellipse using twopins and a string (see diagram).
A pins-and-string construction of anellipsoid of revolution is given by the pins-and-string construction of the rotated ellipse.
The construction of points of atriaxial ellipsoid is more complicated. First ideas are due to the Scottish physicistJ. C. Maxwell (1868).[9] Main investigations and the extension to quadrics was done by the German mathematician O. Staude in 1882, 1886 and 1898.[10][11][12] A description of the pins-and-string construction of ellipsoids and hyperboloids is contained in the bookGeometry and the Imagination byHilbert &Cohn-Vossen.[13]
Choose anellipseE and ahyperbolaH, which are a pair offocal conics: with the vertices and foci of the ellipse and astring (in diagram red) of lengthl.
Pin one end of the string tovertexS1 and the other to focusF2. The string is kept tight at a pointP with positivey- andz-coordinates, such that the string runs fromS1 toP behind the upper part of the hyperbola (see diagram) and is free to slide on the hyperbola. The part of the string fromP toF2 runs and slides in front of the ellipse. The string runs through that point of the hyperbola, for which the distance|S1P| 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.
Equations for the semi-axes of the generated ellipsoid can be derived by special choices for pointP:
The lower part of the diagram shows thatF1 andF2 are the foci of the ellipse in thexy-plane, too. Hence, it isconfocal to the given ellipse and the length of the string isl = 2rx + (a −c). Solving forrx yieldsrx =1/2(l −a +c); furthermorer2 y =r2 x −c2.
From the upper diagram we see thatS1 andS2 are the foci of the ellipse section of the ellipsoid in thexz-plane and thatr2 z =r2 x −a2.
If, conversely, a triaxial ellipsoid is given by its equation, then from the equations in step 3 one can derive the parametersa,b,l for a pins-and-string construction.
IfE is an ellipsoidconfocal toE with the squares of its semi-axes
then from the equations ofE
one finds, that the corresponding focal conics used for the pins-and-string construction have the same semi-axesa,b,c as ellipsoidE. 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 thefocal curves of the ellipsoid.[14]
The converse statement is true, too: if one chooses a second string of lengthl and defines
then the equations
are valid, which means the two ellipsoids are confocal.
In case ofa =c (aspheroid) one getsS1 =F1 andS2 =F2, which means that the focal ellipse degenerates to a line segment and the focal hyperbola collapses to two infinite line segments on thex-axis. The ellipsoid isrotationally symmetric around thex-axis and
Top: 3-axial Ellipsoid with its focal hyperbola. Bottom: parallel and central projection of the ellipsoid such that it looks like a sphere, i.e. its apparent shape is a circle
True curve
If one views an ellipsoid from an external pointV of its focal hyperbola, then it seems to be a sphere, that is its apparent shape is a circle. Equivalently, the tangents of the ellipsoid containing pointV are the lines of a circularcone, whose axis of rotation is thetangent line of the hyperbola atV.[15][16] If one allows the centerV to disappear into infinity, one gets anorthogonalparallel projection with the correspondingasymptote of the focal hyperbola as its direction. Thetrue 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 centerV and main pointH on the tangent of the hyperbola at pointV. (H is the foot of the perpendicular fromV onto the image plane.) For both projections the apparent shape is a circle. In the parallel case the image of the originO is the circle's center; in the central case main pointH is the center.
The focal ellipse together with its inner part can be considered as the limit surface (an infinitely thin ellipsoid) of thepencil of confocal ellipsoids determined bya,b forrz → 0. For the limit case one gets
One can also define a hyperellipsoid as the image of a sphere under an invertibleaffine transformation. The spectral theorem can again be used to obtain a standard equation of the form
The volume of ann-dimensionalhyperellipsoid can be obtained by replacingRn by the product of the semi-axesa1a2...an in the formula for thevolume of a hypersphere:
IfA is a real, symmetric,n-by-npositive-definite matrix, andv is a vector in then the set of pointsx that satisfy the equation
is ann-dimensional ellipsoid centered atv. The expression is also called theellipsoidal norm ofx −v. For every ellipsoid, there are uniqueA andv that satisfy the above equation.[18]: 67
Theeigenvectors ofA are the principal axes of the ellipsoid, and theeigenvalues ofA are the reciprocals of the squares of the semi-axes (in three dimensions these area−2,b−2 andc−2).[19] In particular:
Thediameter of the ellipsoid is twice the longest semi-axis, which is twice the square-root of the reciprocal of the largest eigenvalue ofA.
Thewidth of the ellipsoid is twice the shortest semi-axis, which is twice the square-root of the reciprocal of the smallest eigenvalue ofA.
An invertiblelinear transformation applied to a sphere produces an ellipsoid, which can be brought into the above standard form by a suitablerotation, a consequence of thepolar decomposition (also, seespectral theorem). If the linear transformation is represented by asymmetric 3 × 3 matrix, then the eigenvectors of the matrix are orthogonal (due to thespectral theorem) and represent the directions of the axes of the ellipsoid; the lengths of the semi-axes are computed from the eigenvalues. Thesingular value decomposition andpolar decomposition are matrix decompositions closely related to these geometric observations.
For every positive definite matrix, there exists a unique positive definite matrix denotedA1/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[18]: 67
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.
Anaffine transformation can be represented by a translation with a vectorf0 and a regular 3 × 3 matrixA:
wheref1,f2,f3 are the column vectors of matrixA.
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 vectorsf1,f2,f3 form an orthogonal system, the six points with vectorsf0 ±f1,2,3 are the vertices of the ellipsoid and|f1|, |f2|, |f3| are the semi-principal axes.
A surface normal vector at pointx(θ,φ) is
For any ellipsoid there exists animplicit representationF(x,y,z) = 0. If for simplicity the center of the ellipsoid is the origin,f0 =0, the following equation describes the ellipsoid above:[20]
Measurements obtained fromMRI imaging of theprostate can be used to determine the volume of the gland using the approximationL ×W ×H × 0.52 (where 0.52 is an approximation forπ/6)[21]
Fora =b =c these moments of inertia reduce to those for a sphere of uniform density.
Artist's conception ofHaumea, a Jacobi-ellipsoiddwarf planet, with its two moons
Ellipsoids andcuboids 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.[22]
One practical effect of this is that scalene astronomical bodies such asHaumea generally rotate along their minor axes (as does Earth, which is merelyoblate); in addition, because oftidal locking, moons insynchronous orbit such asMimas orbit with their major axis aligned radially to their planet.
A spinning body of homogeneous self-gravitating fluid will assume the form of either aMaclaurin spheroid (oblate spheroid) orJacobi ellipsoid (scalene ellipsoid) when inhydrostatic equilibrium, and for moderate rates of rotation. At faster rotations, non-ellipsoidalpiriform oroviform shapes can be expected, but these are not stable.
The ellipsoid is the most general shape for which it has been possible to calculate thecreeping flow of fluid around the solid shape. The calculations include the force required to translate through a fluid and to rotate within it. Applications include determining the size and shape of large molecules, the sinking rate of small particles, and the swimming abilities ofmicroorganisms.[23]
wherek is a scale factor,x is ann-dimensionalrandom row vector with median vectorμ (which is also the mean vector if the latter exists),Σ is apositive definite matrix which is proportional to thecovariance matrix if the latter exists, andg is a function mapping from the non-negative reals to the non-negative reals giving a finite area under the curve.[24] The multivariate normal distribution is the special case in whichg(z) = exp(−z/2) for quadratic formz.
Thus the density function is a scalar-to-scalar transformation of a quadric expression. Moreover, the equation for anyiso-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.
Flattening, also calledellipticity andoblateness, 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