Articulo de referencia

elipsoide

Ejemplos de elipsoides con ecuación 2 |''a'' 2 }} + {{sfrac|''y'' 2 |''b'' 2 }} + {{sfrac|''z'' 2 |''c'' 2 }} {{=}} 1"}},"i":0}}]}"> ⁠ x 2 / a 2 ⁠ + ⁠ y 2 / b 2 ⁠ + ⁠ z 2 / c 2 ...

Ejemplos de elipsoides con ecuación x 2 / a 2 + y 2 / b 2 + z 2 / c 2 = 1 :

Un elipsoide es una superficie que se puede obtener a partir de una esfera deformándola mediante escalamientos direccionales o, más generalmente, mediante una transformación afín .

Un elipsoide es una superficie cuádrica ; es decir, una superficie que puede definirse como el conjunto cero de un polinomio de grado dos en tres variables. Entre las superficies cuádricas, un elipsoide se caracteriza por una de las dos propiedades siguientes: cada sección transversal plana es una elipse , está vacía o se reduce a un solo punto (de ahí su nombre, que significa "similar a una elipse"). Es acotado , lo que significa que puede estar contenido en una esfera suficientemente grande.

Un elipsoide tiene tres ejes de simetría perpendiculares entre sí que se intersecan en un centro de simetría , llamado centro del elipsoide. Los segmentos de recta que el elipsoide define sobre los ejes de simetría se denominan ejes principales o, simplemente, ejes del elipsoide. Si los tres ejes tienen longitudes diferentes, la figura es un elipsoide triaxial (o, en raras ocasiones, un elipsoide escaleno ), y los ejes están definidos de forma única.

Si dos de los ejes tienen la misma longitud, entonces el elipsoide es un elipsoide de revolución , también llamado esferoide . En este caso, el elipsoide es invariante bajo una rotación alrededor del tercer eje, y por lo tanto existen infinitas maneras de elegir los dos ejes perpendiculares de la misma longitud. En el caso de que dos ejes tengan la misma longitud:

  • Si el tercer eje es más corto, el elipsoide es una esfera aplanada (llamada esferoide oblato ).
  • Si el tercer eje es más largo, se trata de una esfera que ha sido alargada (llamada esferoide prolato ).

Si los tres ejes tienen la misma longitud, el elipsoide es una esfera.

Ecuación estándar

El elipsoide general, también conocido como elipsoide triaxial, es una superficie cuadrática que se define en coordenadas cartesianas como:

incógnita2a2+y2b2+z2do2=1,{\displaystyle {\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{b^{2}}}+{\frac {z^{2}}{c^{2}}}=1,}

dóndea{\displaystyle a},b{\displaystyle b}ydo{\displaystyle c}son la longitud de los semiejes.

Los puntos(a,0,0){\displaystyle (a,0,0)},(0,b,0){\displaystyle (0,b,0)}y(0,0,do){\displaystyle (0,0,c)}Estos puntos se encuentran en la superficie. Los segmentos de línea que van desde el origen hasta estos puntos se denominan semiejes principales del elipsoide, ya que a , b y c tienen la mitad de la longitud de los ejes principales. Corresponden al semieje mayor y al semieje menor de una elipse .

En un sistema de coordenadas esféricas para el cual(incógnita,y,z)=(rpecadoθporqueφ,rpecadoθpecadoφ,rporqueθ){\displaystyle (x,y,z)=(r\sin \theta \cos \varphi ,r\sin \theta \sin \varphi ,r\cos \theta )}, el elipsoide general se define como:

r2pecado2θporque2φa2+r2pecado2θpecado2φb2+r2porque2θdo2=1,{\displaystyle {r^{2}\sin ^{2}\theta \cos ^{2}\varphi \over a^{2}}+{r^{2}\sin ^{2}\theta \sin ^{2}\varphi \over b^{2}}+{r^{2}\cos ^{2}\theta \over c^{2}}=1,}

dóndeθ{\displaystyle \theta }es el ángulo polar yφ{\displaystyle \varphi }es el ángulo azimutal.

Cuandoa=b=do{\displaystyle a=b=c}, el elipsoide es una esfera.

Cuandoa=bdo{\displaystyle a=b\neq c}, el elipsoide es un esferoide o elipsoide de revolución. En particular, sia=b>do{\displaystyle a=b>c}, es un esferoide oblato ; sia=b<do{\displaystyle a=b<c}, es un esferoide prolato .

Parametrización

El elipsoide puede parametrizarse de varias maneras, que son más sencillas de expresar cuando los ejes del elipsoide coinciden con los ejes de coordenadas. Una opción común es

incógnita=apecadoθporqueφ,y=bpecadoθpecadoφ,z=doporqueθ,{\displaystyle {\begin{aligned}x&=a\sin \theta \cos \varphi ,\\y&=b\sin \theta \sin \varphi ,\\z&=c\cos \theta ,\end{aligned}}\,\!}

dónde

0θπ,0φ<2π.{\displaystyle 0\leq \theta \leq \pi ,\qquad 0\leq \varphi <2\pi .}

Estos parámetros pueden interpretarse como coordenadas esféricas , donde θ es el ángulo polar y φ es el ángulo azimutal del punto ( x , y , z ) del elipsoide. [ 1 ]

Midiendo desde el ecuador en lugar de un polo,

incógnita=aporqueθporqueλ,y=bporqueθpecadoλ,z=dopecadoθ,{\displaystyle {\begin{aligned}x&=a\cos \theta \cos \lambda ,\\y&=b\cos \theta \sin \lambda ,\\z&=c\sin \theta ,\end{aligned}}\,\!}

dónde

π2θπ2,0λ<2π,{\displaystyle -{\tfrac {\pi }{2}}\leq \theta \leq {\tfrac {\pi }{2}},\qquad 0\leq \lambda <2\pi ,}

θ es la latitud reducida , latitud paramétrica o anomalía excéntrica y λ es el acimut o la longitud.

Midiendo los ángulos directamente a la superficie del elipsoide, no a la esfera circunscrita,

[incógnitayz]=R[porqueγporqueλporqueγpecadoλpecadoγ]{\displaystyle {\begin{bmatrix}x\\y\\z\end{bmatrix}}=R{\begin{bmatrix}\cos \gamma \cos \lambda \\\cos \gamma \sin \lambda \\\sin \gamma \end{bmatrix}}\,\!}

dónde

R=abdodo2(b2porque2λ+a2pecado2λ)porque2γ+a2b2pecado2γ,π2γπ2,0λ<2π.{\displaystyle {\begin{aligned}R={}&{\frac {abc}{\sqrt {c^{2}\left(b^{2}\cos ^{2}\lambda +a^{2}\sin ^{2}\lambda \right)\cos ^{2}\gamma +a^{2}b^{2}\sin ^{2}\gamma }}},\\[3pt]&-{\tfrac {\pi }{2}}\leq \gamma \leq {\tfrac {\pi }{2}},\qquad 0\leq \lambda <2\pi .\end{aligned}}}

γ sería la latitud geocéntrica en la Tierra y λ la longitud. Estas son coordenadas esféricas verdaderas con el origen en el centro del elipsoide.

En geodesia , la latitud geodésica es la más utilizada y se define como el ángulo entre el plano vertical y el plano ecuatorial, para un elipsoide biaxial. Para un elipsoide triaxial más general, véase latitud elipsoidal .

Volumen

El volumen delimitado por el elipsoide es

V=43πabdo.{\displaystyle V={\tfrac {4}{3}}\pi abc.}

En términos de los diámetros principales A , B , C (donde A = 2a , B = 2b , C = 2c ) , el volumen es

V=16πABdo{\displaystyle V={\tfrac {1}{6}}\pi ABC}.

Esta ecuación se reduce a la del volumen de una esfera cuando los tres radios elípticos son iguales, y a la de un esferoide oblato o prolato cuando dos de ellos son iguales.

El volumen de un elipsoide es 2 / 3 el volumen de un cilindro elíptico circunscrito , y π / 6 el volumen de la caja circunscrita. Los volúmenes de las cajas inscrita y circunscrita son respectivamente:

Vinscrito=833abdo,Vcircunscrito=8abdo.{\displaystyle V_{\text{inscribed}}={\frac {8}{3{\sqrt {3}}}}abc,\qquad V_{\text{circumscribed}}=8abc.}

Superficie

El área superficial de un elipsoide general (triaxial) es [ 2 ].

S=2πdo2+2πabpecado(φ)(mi(φ,k)pecado2(φ)+F(φ,k)porque2(φ)),{\displaystyle S=2\pi c^{2}+{\frac {2\pi ab}{\sin(\varphi )}}\left(E(\varphi ,k)\,\sin ^{2}(\varphi )+F(\varphi ,k)\,\cos ^{2}(\varphi )\right),}

dónde

porque(φ)=doa,k2=a2(b2do2)b2(a2do2),abdo,{\displaystyle \cos(\varphi )={\frac {c}{a}},\qquad k^{2}={\frac {a^{2}\left(b^{2}-c^{2}\right)}{b^{2}\left(a^{2}-c^{2}\right)}},\qquad a\geq b\geq c,}

y donde F ( φ , k ) y E ( φ , k ) son integrales elípticas incompletas de primer y segundo tipo respectivamente. [ 3 ]

El área de superficie de este elipsoide general también se puede expresar en términos deRGRAMO{\displaystyle R_{G}} , una de las formas simétricas de Carlson de integrales elípticas: [ 4 ]

S=4πbdoRGRAMO(a2b2,a2do2,1).{\displaystyle S=4\pi bcR_{G}\left({\frac {a^{2}}{b^{2}}},{\frac {a^{2}}{c^{2}}},1\right).}

Simplificando la fórmula anterior usando propiedades de R G , [ 5 ] esto también se puede expresar en términos del volumen del elipsoide V :

S=3VRGRAMO(a2,b2,do2).{\displaystyle S=3VR_{G}\left(a^{-2},b^{-2},c^{-2}\right).}

A diferencia de la expresión con F ( φ , k ) y E ( φ , k ) , las ecuaciones en términos de R G no dependen de la elección de un orden en a , b , y c .

El área de la superficie de un elipsoide de revolución (o esferoide) puede expresarse en términos de funciones elementales :

Soblato=2πa2(1+do2mia2artanhmi),dónde mi2=1do2a2 y (do<a),{\displaystyle S_{\text{oblate}}=2\pi a^{2}\left(1+{\frac {c^{2}}{ea^{2}}}\operatorname {artanh} e\right),\qquad {\text{where }}e^{2}=1-{\frac {c^{2}}{a^{2}}}{\text{ and }}(c<a),}

o

Soblato=2πa2(1+1mi2miartanhmi){\displaystyle S_{\text{oblate}}=2\pi a^{2}\left(1+{\frac {1-e^{2}}{e}}\operatorname {artanh} e\right)}

o

Soblato=2πa2 +πdo2miln1+mi1mi{\displaystyle S_{\text{oblate}}=2\pi a^{2}\ +{\frac {\pi c^{2}}{e}}\ln {\frac {1+e}{1-e}}}

y

Sprolato=2πa2(1+doamiarcosenomi)dónde mi2=1a2do2 y (do>a),{\displaystyle S_{\text{prolate}}=2\pi a^{2}\left(1+{\frac {c}{ae}}\arcsin e\right)\qquad {\text{where }}e^{2}=1-{\frac {a^{2}}{c^{2}}}{\text{ and }}(c>a),}

que, como se deduce de las identidades trigonométricas básicas, son expresiones equivalentes (es decir, la fórmula para S oblata puede usarse para calcular el área de la superficie de un elipsoide prolato y viceversa). En ambos casos, e puede identificarse nuevamente como la excentricidad de la elipse formada por la sección transversal a través del eje de simetría. (Véase elipse ). Las derivaciones de estos resultados pueden encontrarse en fuentes estándar, por ejemplo, Mathworld . [ 6 ]

Fórmula aproximada

S4πapagbpag+apagdopag+bpagdopag3pag.{\displaystyle S\approx 4\pi {\sqrt[{p}]{\frac {a^{p}b^{p}+a^{p}c^{p}+b^{p}c^{p}}{3}}}.\,\!}

Aquí p ≈ 1,6075 produce un error relativo de como máximo 1,061%; [ 7 ] un valor de p = 8 / 5 = 1,6 es óptimo para elipsoides casi esféricos, con un error relativo de como máximo 1,178%.

En el límite "plano" de c mucho menor que a y b , el área es aproximadamente ab , equivalente a p = log 2 3 ≈ 1,5849625007 .

Secciones planas

Sección plana de un elipsoide

La intersección de un plano y una esfera es un círculo (o se reduce a un solo punto, o está vacía). Cualquier elipsoide es la imagen de la esfera unitaria bajo alguna transformación afín, y cualquier plano es la imagen de algún otro plano bajo la misma transformación. Por lo tanto, dado que las transformaciones afines transforman círculos en elipses, la intersección de un plano con un elipsoide es una elipse o un solo punto, o está vacía. [ 8 ] Obviamente, los esferoides contienen círculos. Esto también es cierto, aunque menos obvio, para los elipsoides triaxiales (véase la sección Circular ).

Determinación de la elipse de una sección plana

Sección plana de un elipsoide (ver ejemplo)

Dado: Elipsoide x 2 / a 2 + y 2 / b 2 + z 2 / c 2 = 1 y el plano con ecuación n x x + n y y + n z z = d , que tienen una elipse en común.

Se buscan: Tres vectores f 0 (centro) y f 1 , f 2 (vectores conjugados), tales que la elipse pueda representarse mediante la ecuación paramétrica.

incógnita=F0+F1porquet+F2pecadot{\displaystyle \mathbf {x} =\mathbf {f} _{0}+\mathbf {f} _{1}\cos t+\mathbf {f} _{2}\sin t}

(véase la elipsis ).

Sección plana de la esfera unitaria (ver ejemplo)

Solución: El escalado u = x / a , v = y / b , w = z / c transforma el elipsoide en la esfera unitaria u 2 + v 2 + w 2 = 1 y el plano dado en el plano con ecuación

 norteincógnitaa+norteybv+nortezdow=d.{\displaystyle \ n_{x}au+n_{y}bv+n_{z}cw=d.}

Sea m u u + m v v + m w w = δ la forma normal de Hesse del nuevo plano y

metro=[metrometrovmetrow]{\displaystyle \;\mathbf {m} ={\begin{bmatrix}m_{u}\\m_{v}\\m_{w}\end{bmatrix}}\;}

su vector normal unitario. Por lo tanto

mi0=δmetro{\displaystyle \mathbf {e} _{0}=\delta \mathbf {m} \;}

es el centro del círculo de intersección y

ρ=1δ2{\displaystyle \;\rho ={\sqrt {1-\delta ^{2}}}\;}

su radio (ver diagrama).

Donde m w = ±1 (es decir, el plano es horizontal), sea

 mi1=[ρ00],mi2=[0ρ0].{\displaystyle \ \mathbf {e} _{1}={\begin{bmatrix}\rho \\0\\0\end{bmatrix}},\qquad \mathbf {e} _{2}={\begin{bmatrix}0\\\rho \\0\end{bmatrix}}.}

Donde m w ≠ ±1 , sea

mi1=ρmetro2+metrov2[metrovmetro0],mi2=metro×mi1 .{\displaystyle \mathbf {e} _{1}={\frac {\rho }{\sqrt {m_{u}^{2}+m_{v}^{2}}}}\,{\begin{bmatrix}m_{v}\\-m_{u}\\0\end{bmatrix}}\,,\qquad \mathbf {e} _{2}=\mathbf {m} \times \mathbf {e} _{1}\ .}

En cualquier caso, los vectores e 1 , e 2 son ortogonales, paralelos al plano de intersección y tienen longitud ρ (radio del círculo). Por lo tanto, el círculo de intersección puede describirse mediante la ecuación paramétrica.

=mi0+mi1porquet+mi2pecadot.{\displaystyle \;\mathbf {u} =\mathbf {e} _{0}+\mathbf {e} _{1}\cos t+\mathbf {e} _{2}\sin t\;.}

El escalado inverso (ver arriba) transforma la esfera unitaria de nuevo en elipsoide y los vectores e 0 , e 1 , e 2 se asignan a los vectores f 0 , f 1 , f 2 , que eran los que se necesitaban para la representación paramétrica de la elipse de intersección.

Cómo encontrar los vértices y semiejes de la elipse se describe en ellipse .

Ejemplo: Los diagramas muestran un elipsoide con los semiejes a = 4, b = 5, c = 3 que es cortado por el plano x + y + z = 5 .

Construcción con clavijas y cuerda

Construcción de una elipse con clavijas e hilo: | S 1 S 2 | , longitud del hilo (rojo)
Construcción de un elipsoide mediante alfileres e hilo, en azul: cónicas focales.
Determinación del semieje del elipsoide

La construcción de un elipsoide mediante clavijas y cuerda es una transferencia de la idea de construir una elipse utilizando dos clavijas y una cuerda (véase el diagrama).

La construcción mediante el método de clavijas y cuerdas de un elipsoide de revolución viene dada por la construcción mediante el mismo método de la elipse rotada.

La construcción de los puntos de un elipsoide triaxial es más compleja. Las primeras ideas se deben al físico escocés J. C. Maxwell (1868). [ 9 ] Las principales investigaciones y la extensión a las cuádricas fueron realizadas por el matemático alemán O. Staude en 1882, 1886 y 1898. [ 10 ] [ 11 ] [ 12 ] Una descripción de la construcción de elipsoides e hiperboloides mediante el método de clavijas y cuerdas se encuentra en el libro Geometría y la imaginación de Hilbert y Cohn-Vossen . [ 13 ]

Etapas de la construcción

  1. Elija una elipse E y una hipérbola H , que son un par de cónicas focales :mi(φ)=(aporqueφ,bpecadoφ,0)H(ψ)=(doaporrearψ,0,bsinhψ),do2=a2b2{\displaystyle {\begin{aligned}E(\varphi )&=(a\cos \varphi ,b\sin \varphi ,0)\\H(\psi )&=(c\cosh \psi ,0,b\sinh \psi ),\quad c^{2}=a^{2}-b^{2}\end{aligned}}}con los vértices y focos de la elipseS1=(a,0,0),F1=(do,0,0),F2=(do,0,0),S2=(a,0,0){\displaystyle S_{1}=(a,0,0),\quad F_{1}=(c,0,0),\quad F_{2}=(-c,0,0),\quad S_{2}=(-a,0,0)}y una cuerda (en rojo en el diagrama) de longitud l .
  2. Sujeta un extremo de la cuerda al vértice S₁ y el otro al foco F₂ . La cuerda se mantiene tensa en un punto P con coordenadas y y z positivas , de manera que se extiende desde S₁ hasta P por detrás de la parte superior de la hipérbola (véase el diagrama) y puede deslizarse libremente sobre ella. La parte de la cuerda que va de P a F₂ se extiende y se desliza por delante de la elipse. La cuerda pasa por el punto de la hipérbola para el cual la distancia | S₁P | sobre cualquier punto de la hipérbola es mínima. La afirmación análoga sobre la segunda parte de la cuerda y la elipse también debe ser cierta.
  3. Entonces: P es un punto del elipsoide con ecuación incógnita2rincógnita2+y2ry2+z2rz2=1rincógnita=12(la+do),ry=rincógnita2do2,rz=rincógnita2a2.{\displaystyle {\begin{aligned}&{\frac {x^{2}}{r_{x}^{2}}}+{\frac {y^{2}}{r_{y}^{2}}}+{\frac {z^{2}}{r_{z}^{2}}}=1\\&r_{x}={\tfrac {1}{2}}(l-a+c),\quad r_{y}={\textstyle {\sqrt {r_{x}^{2}-c^{2}}}},\quad r_{z}={\textstyle {\sqrt {r_{x}^{2}-a^{2}}}}.\end{aligned}}}
  4. Los puntos restantes del elipsoide se pueden construir mediante cambios adecuados de la cuerda en las cónicas focales.

Semiejes

Las ecuaciones para los semiejes del elipsoide generado se pueden derivar mediante elecciones especiales para el punto P :

Y=(0,ry,0),Z=(0,0,rz).{\displaystyle Y=(0,r_{y},0),\quad Z=(0,0,r_{z}).}

La parte inferior del diagrama muestra que F 1 y F 2 también son los focos de la elipse en el plano xy . Por lo tanto, es confocal a la elipse dada y la longitud de la cuerda es l = 2 r x + ( ac ) . Resolviendo para r x se obtiene r x = 1 / 2 ( la + c ) ; además r 2 y = r 2 xc 2 .

Del diagrama superior vemos que S 1 y S 2 son los focos de la sección elíptica del elipsoide en el plano xz y que r 2 z = r 2 xa 2 .

Conversar

Si, por el contrario, un elipsoide triaxial viene dado por su ecuación, entonces a partir de las ecuaciones del paso 3 se pueden derivar los parámetros a , b , l para una construcción de clavijas y cuerda.

elipsoides confocales

Si E es un elipsoide confocal a E con los cuadrados de sus semiejes

r¯incógnita2=rincógnita2λ,r¯y2=ry2λ,r¯z2=rz2λ{\displaystyle {\overline {r}}_{x}^{2}=r_{x}^{2}-\lambda ,\quad {\overline {r}}_{y}^{2}=r_{y}^{2}-\lambda ,\quad {\overline {r}}_{z}^{2}=r_{z}^{2}-\lambda }

entonces de las ecuaciones de E

rincógnita2ry2=do2,rincógnita2rz2=a2,ry2rz2=a2do2=b2{\displaystyle r_{x}^{2}-r_{y}^{2}=c^{2},\quad r_{x}^{2}-r_{z}^{2}=a^{2},\quad r_{y}^{2}-r_{z}^{2}=a^{2}-c^{2}=b^{2}}

Se observa que las cónicas focales correspondientes utilizadas para la construcción de clavijas y cuerda tienen los mismos semiejes a , b , c que el elipsoide E. Por lo tanto (de forma análoga a los focos de una elipse), se consideran las cónicas focales de un elipsoide triaxial como los (infinitos) focos y se las denomina curvas focales del elipsoide. [ 14 ]

La afirmación inversa también es cierta: si se elige una segunda cadena de longitud l y se define

λ=rincógnita2r¯incógnita2{\displaystyle \lambda =r_{x}^{2}-{\overline {r}}_{x}^{2}}

luego las ecuaciones

r¯y2=ry2λ,r¯z2=rz2λ{\displaystyle {\overline {r}}_{y}^{2}=r_{y}^{2}-\lambda ,\quad {\overline {r}}_{z}^{2}=r_{z}^{2}-\lambda }

son válidas, lo que significa que los dos elipsoides son confocales.

Caso límite, elipsoide de revolución

En el caso de a = c (un esferoide ) se obtiene S 1 = F 1 y S 2 = F 2 , lo que significa que la elipse focal degenera en un segmento de línea y la hipérbola focal colapsa en dos segmentos de línea infinitos sobre el eje x . El elipsoide es rotacionalmente simétrico alrededor del eje x y

rincógnita=12l,ry=rz=rincógnita2do2{\displaystyle r_{x}={\tfrac {1}{2}}l,\quad r_{y}=r_{z}={\textstyle {\sqrt {r_{x}^{2}-c^{2}}}}}.

Propiedades de la hipérbola focal

Arriba: Elipsoide de 3 ejes con su hipérbola focal. Abajo: Proyección paralela y central del elipsoide de tal manera que parece una esfera, es decir, su forma aparente es un círculo.
Curva verdadera
Si se observa un elipsoide desde un punto externo V de su hipérbola focal, entonces parece una esfera, es decir, su forma aparente es un círculo. De forma equivalente, las tangentes del elipsoide que contiene el punto V son las líneas de un cono circular , cuyo eje de rotación es la línea tangente de la hipérbola en V. [ 15 ] [ 16 ] Si se permite que el centro V desaparezca en el infinito, se obtiene una proyección paralela ortogonal con la asíntota correspondiente de la hipérbola focal como su dirección. La verdadera curva de forma (puntos de tangencia) en el elipsoide no es un círculo.
La parte inferior del diagrama muestra a la izquierda una proyección paralela de un elipsoide (con semiejes 60, 40 y 30) a lo largo de una asíntota y a la derecha una proyección central con centro V y punto principal H sobre la tangente de la hipérbola en el punto V. ( H es el pie de la perpendicular trazada desde V al plano de la imagen). En ambas proyecciones, la forma aparente es un círculo. En el caso de la proyección paralela, la imagen del origen O es el centro del círculo; en el caso de la proyección central, el punto principal H es el centro.
Puntos umbilicales
La hipérbola focal interseca el elipsoide en sus cuatro puntos umbilicales . [ 17 ]

Propiedad de la elipse focal

La elipse focal junto con su parte interior puede considerarse como la superficie límite (un elipsoide infinitamente delgado) del haz de elipsoides confocales determinado por a , b para r z → 0. Para el caso límite se obtiene

rincógnita=a,ry=b,l=3ado.{\displaystyle r_{x}=a,\quad r_{y}=b,\quad l=3a-c.}

En dimensiones superiores y posición general

Un hiperelipsoide o elipsoide de dimensiónnorte1{\displaystyle n-1}en un espacio euclidiano de dimensiónnorte{\displaystyle n}, es una hipersuperficie cuádrica definida por un polinomio de grado dos que tiene una parte homogénea de grado dos que es una forma cuadrática definida positiva .

También se puede definir un hiperelipsoide como la imagen de una esfera bajo una transformación afín invertible . El teorema espectral se puede utilizar nuevamente para obtener una ecuación estándar de la forma

incógnita12a12+incógnita22a22++incógnitanorte2anorte2=1.{\displaystyle {\frac {x_{1}^{2}}{a_{1}^{2}}}+{\frac {x_{2}^{2}}{a_{2}^{2}}}+\cdots +{\frac {x_{n}^{2}}{a_{n}^{2}}}=1.}

El volumen de un hiperelipsoide n -dimensional se puede obtener reemplazando R n por el producto de los semiejes a 1 a 2 ... a n en la fórmula para el volumen de una hiperesfera :

V=πnorte2Γ(norte2+1)a1a2anorte1πnorte(2miπnorte)norte/2a1a2anorte{\displaystyle V={\frac {\pi ^{\frac {n}{2}}}{\Gamma {\left({\frac {n}{2}}+1\right)}}}a_{1}a_{2}\cdots a_{n}\approx {\frac {1}{\sqrt {\pi n}}}\cdot \left({\frac {2e\pi }{n}}\right)^{n/2}a_{1}a_{2}\cdots a_{n}}

(donde Γ es la función gamma ).

Como una cuádrica

Si A es una matriz real, simétrica, definida positiva de n por n , y v es un vector enRnorte,{\displaystyle \mathbb {R} ^{n},}entonces el conjunto de puntos x que satisfacen la ecuación

(incógnitav)TA(incógnitav)=1{\displaystyle (\mathbf {x} -\mathbf {v} )^{\mathsf {T}}\!{\boldsymbol {A}}\,(\mathbf {x} -\mathbf {v} )=1}

es un elipsoide n -dimensional centrado en v . La expresión(incógnitav)TA(incógnitav){\displaystyle (\mathbf {x} -\mathbf {v} )^{\mathsf {T}}\!{\boldsymbol {A}}\,(\mathbf {x} -\mathbf {v} )}También se denomina norma elipsoidal de xv . Para cada elipsoide, existen valores únicos de A y v que satisfacen la ecuación anterior. [ 18 ] : 67

Los autovectores de A son los ejes principales del elipsoide, y los autovalores de A son los recíprocos de los cuadrados de los semiejes (en tres dimensiones estos son a −2 , b −2 y c −2 ). [ 19 ] En particular:

  • El diámetro del elipsoide es el doble del semieje más largo, que es el doble de la raíz cuadrada del recíproco del mayor valor propio de A.
  • El ancho del elipsoide es el doble del semieje más corto, que es el doble de la raíz cuadrada del recíproco del autovalor más pequeño de A.

Una transformación lineal invertible aplicada a una esfera produce un elipsoide, que puede transformarse en la forma estándar mencionada anteriormente mediante una rotación adecuada , consecuencia de la descomposición polar (véase también el teorema espectral ). Si la transformación lineal se representa mediante una matriz simétrica de 3  ×  3 , los vectores propios de la matriz son ortogonales (debido al teorema espectral ) y representan las direcciones de los ejes del elipsoide; las longitudes de los semiejes se calculan a partir de los valores propios. La descomposición en valores singulares y la descomposición polar son descomposiciones matriciales estrechamente relacionadas con estas observaciones geométricas.

Para cada matriz definida positivaA{\displaystyle {\boldsymbol {A}}}, existe una matriz definida positiva única denotada A 1/2 , tal que A=A1/2A1/2;{\displaystyle {\boldsymbol {A}}={\boldsymbol {A}}^{1/2}{\boldsymbol {A}}^{1/2};}Esta notación está motivada por el hecho de que esta matriz puede verse como la "raíz cuadrada positiva" deA.{\displaystyle {\boldsymbol {A}}.}El elipsoide definido por(incógnitav)TA(incógnitav)=1{\displaystyle (\mathbf {x} -\mathbf {v} )^{\mathsf {T}}\!{\boldsymbol {A}}\,(\mathbf {x} -\mathbf {v} )=1}También se puede presentar como [ 18 ] : 67

A1/2S(0,1)+v{\displaystyle A^{-1/2}\cdot S(\mathbf {0} ,1)+\mathbf {v} }

donde S( 0,1 ) es la esfera unitaria alrededor del origen.

Representación paramétrica

elipsoide como imagen afín de la esfera unitaria

La clave para una representación paramétrica de un elipsoide en posición general es la definición alternativa:

Un elipsoide es una imagen afín de la esfera unitaria.

Una transformación afín puede representarse mediante una traslación con un vector f 0 y una matriz regular de 3  × 3 A : 

incógnitaF0+Aincógnita=F0+incógnitaF1+yF2+zF3{\displaystyle \mathbf {x} \mapsto \mathbf {f} _{0}+{\boldsymbol {A}}\mathbf {x} =\mathbf {f} _{0}+x\mathbf {f} _{1}+y\mathbf {f} _{2}+z\mathbf {f} _{3}}

donde f 1 , f 2 , f 3 son los vectores columna de la matriz A .

Una representación paramétrica de un elipsoide en posición general se puede obtener mediante la representación paramétrica de una esfera unitaria (véase más arriba) y una transformación afín:

incógnita(θ,φ)=F0+F1porqueθporqueφ+F2porqueθpecadoφ+F3pecadoθ,π2<θ<π2,0φ<2π{\displaystyle \mathbf {x} (\theta ,\varphi )=\mathbf {f} _{0}+\mathbf {f} _{1}\cos \theta \cos \varphi +\mathbf {f} _{2}\cos \theta \sin \varphi +\mathbf {f} _{3}\sin \theta ,\qquad -{\tfrac {\pi }{2}}<\theta <{\tfrac {\pi }{2}},\quad 0\leq \varphi <2\pi }.

Si los vectores f 1 , f 2 , f 3 forman un sistema ortogonal, los seis puntos con vectores f 0 ± f 1,2,3 son los vértices del elipsoide y | f 1 | , | f 2 | , | f 3 | son los semiejes principales.

Un vector normal a la superficie en el punto x ( θ , φ ) es

norte(θ,φ)=F2×F3porqueθporqueφ+F3×F1porqueθpecadoφ+F1×F2pecadoθ.{\displaystyle \mathbf {n} (\theta ,\varphi )=\mathbf {f} _{2}\times \mathbf {f} _{3}\cos \theta \cos \varphi +\mathbf {f} _{3}\times \mathbf {f} _{1}\cos \theta \sin \varphi +\mathbf {f} _{1}\times \mathbf {f} _{2}\sin \theta .}

Para cualquier elipsoide existe una representación implícita F ( x , y , z ) = 0 . Si por simplicidad el centro del elipsoide es el origen, f 0 = 0 , la siguiente ecuación describe el elipsoide anterior: [ 20 ]

F(incógnita,y,z)=det(incógnita,F2,F3)2+det(F1,incógnita,F3)2+det(F1,F2,incógnita)2det(F1,F2,F3)2=0{\displaystyle F(x,y,z)=\operatorname {det} \left(\mathbf {x} ,\mathbf {f} _{2},\mathbf {f} _{3}\right)^{2}+\operatorname {det} \left(\mathbf {f} _{1},\mathbf {x} ,\mathbf {f} _{3}\right)^{2}+\operatorname {det} \left(\mathbf {f} _{1},\mathbf {f} _{2},\mathbf {x} \right)^{2}-\operatorname {det} \left(\mathbf {f} _{1},\mathbf {f} _{2},\mathbf {f} _{3}\right)^{2}=0}

Aplicaciones

La forma elipsoidal encuentra numerosas aplicaciones prácticas:

Geodesia
Mecánica
Cristalografía

Ciencias de la Computación

Iluminación
Medicamento
  • Las mediciones obtenidas a partir de imágenes de resonancia magnética de la próstata se pueden utilizar para determinar el volumen de la glándula utilizando la aproximación L × W × H × 0,52 (donde 0,52 es una aproximación para π / 6 ) [ 21 ]

Propiedades dinámicas

La masa de un elipsoide de densidad uniforme ρ es

metro=Vρ=43πabdoρ.{\displaystyle m=V\rho ={\tfrac {4}{3}}\pi abc\rho .}

Los momentos de inercia de un elipsoide de densidad uniforme son

Iincógnitaincógnita=15metro(b2+do2),Iyy=15metro(do2+a2),Izz=15metro(a2+b2),Iincógnitay=Iyz=Izincógnita=0.{\displaystyle {\begin{aligned}I_{\mathrm {xx} }&={\tfrac {1}{5}}m\left(b^{2}+c^{2}\right),&I_{\mathrm {yy} }&={\tfrac {1}{5}}m\left(c^{2}+a^{2}\right),&I_{\mathrm {zz} }&={\tfrac {1}{5}}m\left(a^{2}+b^{2}\right),\\[3pt]I_{\mathrm {xy} }&=I_{\mathrm {yz} }=I_{\mathrm {zx} }=0.\end{aligned}}}

Para a = b = c, estos momentos de inercia se reducen a los de una esfera de densidad uniforme.

Representación artística de Haumea , un planeta enano elipsoidal de Jacobi , con sus dos lunas.

Los elipsoides y cuboides giran de forma estable alrededor de sus ejes mayor o menor, pero no alrededor de su eje medio. Esto se puede observar experimentalmente lanzando una goma de borrar con cierto giro. Además, las consideraciones sobre el momento de inercia implican que la rotación alrededor del eje mayor se perturba con mayor facilidad que la rotación alrededor del eje menor. [ 22 ]

Una consecuencia práctica de esto es que los cuerpos astronómicos escalenos, como Haumea, generalmente giran sobre sus ejes menores (al igual que la Tierra, que es simplemente achatada ); además, debido al acoplamiento de marea , las lunas en órbita síncrona , como Mimas, orbitan con su eje mayor alineado radialmente con su planeta.

Un cuerpo giratorio de fluido homogéneo autogravitante adoptará la forma de un esferoide de Maclaurin (esferoide achatado) o un elipsoide de Jacobi (elipsoide escaleno) cuando se encuentre en equilibrio hidrostático y a velocidades de rotación moderadas. A velocidades de rotación mayores, cabe esperar formas piriformes u oviformes no elipsoidales , pero estas no son estables.

dinámica de fluidos

El elipsoide es la forma más general para la cual ha sido posible calcular el flujo lento de un fluido alrededor de la forma sólida. Los cálculos incluyen la fuerza necesaria para desplazarse a través de un fluido y para rotar dentro de él. Las aplicaciones incluyen la determinación del tamaño y la forma de moléculas grandes, la velocidad de hundimiento de partículas pequeñas y la capacidad de natación de los microorganismos . [ 23 ]

En probabilidad y estadística

Las distribuciones elípticas , que generalizan la distribución normal multivariada y se utilizan en finanzas , pueden definirse en términos de sus funciones de densidad . Cuando existen, las funciones de densidad f tienen la siguiente estructura:

F(incógnita)=kgramo((incógnitaμ)Σ1(incógnitaμ)T){\displaystyle f(x)=k\cdot g\left((\mathbf {x} -{\boldsymbol {\mu }}){\boldsymbol {\Sigma }}^{-1}(\mathbf {x} -{\boldsymbol {\mu }})^{\mathsf {T}}\right)}

donde k es un factor de escala, x es un vector fila aleatorio n -dimensional con vector mediano μ (que también es el vector medio si este último existe), Σ es una matriz definida positiva que es proporcional a la matriz de covarianza si esta última existe, y g es una función que mapea de los reales no negativos a los reales no negativos que da un área finita bajo la curva. [ 24 ] La distribución normal multivariada es el caso especial en el que g ( z ) = exp(− z / 2 ) para la forma cuadrática z .

Así, la función de densidad es una transformación escalar a escalar de una expresión cuádrica. Además, la ecuación para cualquier superficie de isodensidad establece que la expresión cuádrica es igual a una constante específica para ese valor de densidad, y la superficie de isodensidad es un elipsoide.

Véase también

Notas

  1. Kreyszig (1972 , págs. 455–456) . 
  2. FWJ Olver, DW Lozier, RF Boisvert y CW Clark, editores, 2010, NIST Handbook of Mathematical Functions ( Cambridge University Press ), Sección 19.33 "Elipsoides triaxiales" . Consultado el 8 de enero de 2012 .
  3. "DLMF: 19.2 Definiciones" .
  4. "Área de superficie de un elipsoide" . analyticphysics.com . Consultado el 23 de julio de 2024 .
  5. "DLMF: §19.20 Casos especiales ‣ Integrales simétricas ‣ Capítulo 19 Integrales elípticas" . dlmf.nist.gov . Consultado el 23 de julio de 2024 .
  6. Weisstein, Eric. "Esferoide prolado" . Wolfram MathWorld (Wolfram Research) . Archivado del original el 3 de agosto de 2017. Consultado el 25 de marzo de 2018 .
  7. Respuestas finales archivadas el 30/09/2011 en Wayback Machine por Gerard P. Michon (13/05/2004). Véanse las fórmulas de Thomsen y los comentarios de Cantrell.
  8. Albert, Abraham Adrian (2016) [1949], Geometría analítica sólida , Dover, pág. 117, ISBN  978-0-486-81026-3
  9. W. Böhm: Die FadenKonstruktion der Flächen zweiter Ordnung , Mathemat. Nachrichten 13, 1955, pág. 151
  10. Staude, O.: Ueber Fadenconstructionen des Ellipsoides . Matemáticas. Ana. 20, 147–184 (1882)
  11. Staude, O.: Ueber neue Focaleigenschaften der Flächen 2. Grados. Matemáticas. Ana. 27, 253–271 (1886).
  12. Staude, O.: Die algebraischen Grundlagen der Focaleigenschaften der Flächen 2. Ordnung Math. Ana. 50, 398 - 428 (1898).
  13. D. Hilbert y S. Cohn-Vossen: Geometría y la imaginación , Chelsea, Nueva York, 1952, ISBN 0-8284-1087-9pág. 20
  14. O. Hesse: Analytische Geometrie des Raumes , Teubner, Leipzig 1861, p. 287
  15. D. Hilbert y S. Cohn-Vossen: Geometría y la imaginación , pág. 24
  16. O. Hesse: Analytische Geometrie des Raumes , p. 301
  17. W. Blaschke: Analytische Geometrie , p. 125
  18. 1 2 Grötschel, Martín ; Lovász, László ; Schrijver, Alexander (1993), Algoritmos geométricos y optimización combinatoria , Algoritmos y combinatoria, vol. 2 (2ª ed.), Springer-Verlag, Berlín, doi : 10.1007/978-3-642-78240-4 , ISBN   978-3-642-78242-8, MR 1261419 
  19. "Lección 15 – Matrices simétricas, formas cuadráticas, norma matricial y SVD" (PDF) . Archivado (PDF) del original el 26/06/2013 . Consultado el 12/10/2013 .págs. 17–18.
  20. Computerunterstützte Darstellende und Konstruktive Geometrie. Archivado el 10 de noviembre de 2013 en Wayback Machine Uni Darmstadt (PDF; 3,4 MB), pág. 88.
  21. Bezinque, Adam; et al. (2018). "Determinación del volumen prostático: una comparación de métodos contemporáneos". Academic Radiology . 25 (12): 1582– 1587. doi : 10.1016/j.acra.2018.03.014 . PMID 29609953 . S2CID 4621745 .   
  22. Goldstein, HG (1980). Mecánica clásica , (2ª edición) Capítulo 5.
  23. Dusenbery, David B. (2009). Vivir a microescala , Harvard University Press, Cambridge, Massachusetts ISBN 978-0-674-03116-6.
  24. Frahm, G., Junker, M., & Szimayer, A. (2003). Cópulas elípticas: aplicabilidad y limitaciones. Statistics & Probability Letters, 63(3), 275–286.

Referencias