Geometría diferencial de superficies

Las curvaturas principales en un punto de una superficie.

En matemáticas, la geometría diferencial de superficies propone definiciones y métodos para analizar la geometría de superficies o variedades diferenciales de dos dimensiones inmersas en variedades de Riemann y, en particular, en el Espacio Euclídeo.

Aquí se tratará de las superficies en $\mathbb{R}^3$ .

Contenido

1 Ecuación paramétrica de una superficie
- 1.1 Plano tangente
- 1.2 Vector normal a la superficie
2 Primera forma fundamental
3 Segunda forma fundamental
4 Curvatura normal y geodésica
- 4.1 Curvaturas principales
- 4.2 Líneas de curvatura
5 Curvatura gaussiana
6 Véase también
7 Referencia
- 7.1 Bibliografía
- 7.2 Enlaces externos

Ecuación paramétrica de una superficie

Puesto que una superficie en $\mathbb{R}^3$ es una variedad diferenciable de dimensión dos, en un entorno V de una superficie las coordenadas de cualquier punto de V pueden escribirse en función de dos parámetros:

$\mathbf{r}(u,v) = (x(u,v), y(u,v), z(u,v))\,$

Un punto Q = (u₀, v₀) se llama regular si en él se cumple que:

$\frac{\partial \mathbf{r}(u_0,v_0)}{\partial u} \times \frac{\partial \mathbf{r}(u_0,v_0)}{\partial v} \neq \mathbf{0}$

Esto es equivalente a pedir que el jacobiano del mapeo r (que va desde el dominio V en $\mathbb{R}^2$ a $\mathbb{R}^3$ ) tiene rango máximo, es decir, es igual a dos. Así se asegura la existencia del espacio tangente en cada punto de la superficie.

Plano tangente

Dada una superfice $S \,$ de $\mathbb{R}^3$ y un punto $P_0 = (x_0, y_0, z_0) \in S \,$ se define como el único plano geométrico de $\mathbb{R}^3$ que contiene al punto $P_0\,$ y (localmente) no interseca a la superficie en ningún otro punto, si la superficie es de curvatura gaussiana positiva. Si la superficie es de curvatura negativa o cero la intesecta. La ecuación analítica de este plano puede expresarse con ayuda de la ecuación paramétrica de una superificie:

$\Pi_{S,P_0} = \left \{ \mathbf{r}=(x,y,z)\in \ \Bbb{R}| \mathbf{r}= \mathbf{r}(u_0,v_0) + \alpha \frac{\partial\mathbf{r}(u_0,v_0)}{\partial u} + \beta \frac{\partial\mathbf{r}(u_0,v_0)}{\partial v}, \alpha,\beta\in\mathbb{R} \right \}$

Más sencillamente el plano anterior puede escribirse como el conjunto $(x, y, z)\,$ que satisface la siguiente ecuación:

$\begin{vmatrix} x-x_0 & y-y_0 & z-z_0 \\ x'_u(P_0) & y'_u(P_0) & z'_u(P_0) \\ x'_v(P_0) & y'_v(P_0) & z'_v(P_0) \end{vmatrix} = 0$

Aquí, se ha usado la simplificación de notación $x'_u=\frac{\partial x}{\partial u}$ ,... etc

Vector normal a la superficie

Un vector se dice normal a una superficie en un punto si es perpendicular al plano tangente en dicho punto de la superficie. Esa propiedad nos dice que un vector normal es perpendicular a cualquier otro vector contenido en el plano tangente. Si tomamos dos vectores diferentes y tangentes a la superficie en un punto su producto vectorial será perpendicular a ambos y por tanto perpendicular a cualquier combinación lineal de ambos, es decir, perpendicular a todo el plano generado por estos dos vectores. Podemos aprovechar esa propiedad para calcular el vector normal simplemente como el producto vectorial de los dos vectores linealmente independientes dados por la parametrización de la superficie. Así el vector normal puede calcularse como:

$\mathbf{n} = \frac{\frac{\partial\mathbf{r}(u_0,v_0)}{\partial u} \times \frac{\partial\mathbf{r}(u_0,v_0)}{\partial v}}{ \left \Vert \frac{\partial\mathbf{r}(u_0,v_0)}{\partial u} \times \frac{\partial\mathbf{r}(u_0,v_0)}{\partial v} \right \|}= \frac{\mathbf{r}'_u(u_0,v_0) \times \mathbf{r}'_v(u_0,v_0)}{\left \Vert \mathbf{r}'_u(u_0,v_0) \times \mathbf{r}'_v(u_0,v_0) \right \|}$

Si se conoce en cambio la ecuación de la superficie f(x, y, z) = 0 entonces el vector unitario normal se calcula simplemente como:

$\mathbf{n} = \frac{\nabla f}{\left \Vert \nabla f \right \|} = \frac{(f'_x, f'_y, f'_z)}{\sqrt{{f'}_x^2 + {f'}_y^2 + {f'}_z^2}}$

Primera forma fundamental

La primera forma fundamental I es un tensor 2-covariante, simétrico y definido sobre el espacio tangente a cada punto de la superficie S. Esta primera forma fundamental de hecho es el tensor métrico inducido por la métrica euclídea sobre la superficie. De hecho (S, I) constituye una variedad de Riemann con tensor métrico I. Gracias a la primera forma fundamental podemos estimar longitudes de curvas definidas sobre la superficie, ángulos de intersección entre curvas y el resto de conceptos métricos habituales. Por razones históricas las componentes de la primera forma fundamental se designan por E, F y G:

$(I_{kl}(u,v)) =\begin{pmatrix} E(u,v) & F(u,v) \\ F(u,v) & G(u,v) \end{pmatrix} = \begin{pmatrix} g_{11}(u,v) & g_{12}(u,v) \\ g_{21}(u,v) & g_{22}(u,v) \end{pmatrix}$

Además la forma cuadrática anterior es definida positiva, lo que implica que EG-F² > 0. La primera forma anterior puede escribirse como una combinación lineal de productos tensoriales de las 1-formas coordenadas $du, dv\,$ conforme a:

$I(u,v) = E(u,v) du \otimes du + F(u,v) du \otimes dv + F(u,v) dv \otimes du + G(u,v) dv \otimes dv$

Estas pueden calcularse explícitamente a partir de la parametrización:

$E(u,v) = \frac{\partial \mathbf{r}}{\partial u} \cdot \frac{\partial \mathbf{r}}{\partial u} = \mathbf{r}'_u \cdot \mathbf{r}'_u \qquad F(u,v) = \frac{\partial \mathbf{r}}{\partial u} \cdot \frac{\partial \mathbf{r}}{\partial v} = \mathbf{r}'_u \cdot \mathbf{r}'_v \qquad G(u,v) = \frac{\partial \mathbf{r}}{\partial v} \cdot \frac{\partial \mathbf{r}}{\partial v} = \mathbf{r}'_v \cdot \mathbf{r}'_v$

Longitud de una curva

Dada una curva C contenida totalmente en una superficie S sus ecuaciones paramétricas podrán expresarse mediante:

$\mathbf{r}(t)= \left ( x(u(t),v(t)),\ y(u(t),v(t)),\ z(u(t),v(t)) \right )$

La longitud de esta curva puede expresarse por una integral de las derivadas de las funciones u y v y las componentes de la primera forma fundamental:

$L_C = \int_C \sqrt{Eu'(t)^2+2Fu'(t)v'(t)+Gv'(t)^2} \quad dt$

Ángulo entre dos curvas

Similarmente dadas dos curvas C₁ y C₂ que intersecan en un punto P₀ y cuyas ecuaciones paramétricas son:

$\mathbf{r_1}(t)= \left( x_1(u_1(t),v_1(t)), \quad y_1(u_1(t),v_1(t)), \quad z_1(u_1(t),v_1(t)) \right)$

$\mathbf{r_2}(t)= \left ( x_2(u_2(t),v_2(t)),\quad y_2(u_2(t),v_2(t)), \quad z_2(u_2(t),v_2(t)) \right )$

El ángulo α formado por las dos curvas en el punto de intersección viene definido por la ecuación:

$\cos \alpha = \frac{Eu'_1u'_2+F(u'_1v'_2+u'_2v'_1)+Gv'_1v'_2}{\sqrt{E(u'_1)^2+2Fu'_1v'_1+G(v'_1)^2} \quad \sqrt{E({u'}_2)^2+2F{u'}_2{v'}_2+G({v'}_2)^2}}$

Donde las derivadas se evalúan para los valores de parámetro $t 1$ y $t 1$ tales que $P_0 = \mathbf{r_1}(t_1) = \mathbf{r_2}(t_2)$ . En particular el ángulo formado por las líneas coordenadas asociadas al sistema de coordenadas (u, v) viene dado por:

$\cos \alpha_{(u,v)} = \frac{F}{\sqrt{EG}}$

En particular el sistema de coordenadas se llama ortogonal si las líneas coordenadas son ortogonales (perpendiculares) entre sí en cada punto, eso sucede sí y solo sí F = 0.

Área de una región sobre la superficie

Dada una región Ω contenida en una superficie se define su área como:

$A(\Omega) = \iint_\Omega \sqrt{EG-F^2} dudv$

Si la superficie viene dada por la función explícita z = f(x, y) entonces lo anterior se puede escribir sencillamente como:

$A(\Omega) = \iint_\Omega \sqrt{1+ \left(\frac{\partial f}{\partial x} \right )^2+ \left(\frac{\partial f}{\partial y}\right )^2} dxdy$

Segunda forma fundamental

La segunda forma fundamental II de una superficie es la proyección sobre el vector normal a la superficie de la derivada covariante inducida por el tensor métrico o primera forma fundamental. Puede probarse, que esta segunda forma fundamental resulta ser un tensor 2-covariante y simétrico (es decir, da lugar a una forma bilineal definida sobre el espacio tangente a la superficie). Por razones históricas las componentes de la segunda forma fundamental se designan por L, M y N:

$(II_{kl}(u,v)) =\begin{pmatrix} L(u,v) & M(u,v) \\ M(u,v) & N(u,v) \end{pmatrix} = \begin{pmatrix} b_{11}(u,v) & b_{12}(u,v) \\ b_{21}(u,v) & b_{22}(u,v) \end{pmatrix}$

Fijado un entorno de la superficie parametrizado por las variables $u,v\,$ la segunda forma fundamental se escribe también, resultando un tensor de rango dos, como la siguiente combinación lineal:

$II = L(u,v) du\otimes du + M(u,v) du\otimes dv + M(u,v) dv\otimes du + N(u,v) dv\otimes dv$

de productos tensoriales de las 1-formas coordenadas $du,dv\,$ . Las componentes de la segunda forma fundamental pueden calcularse explícitamente a partir de las coordenadas paramétricas:

$L(u,v) = b_{11}(u,v) = \mathbf{n} \cdot \frac{\partial^2 \mathbf{r}}{\partial u^2} = -\frac{\partial \mathbf{n}}{\partial u} \cdot \frac{\partial \mathbf{r}}{\partial u}$

$M(u,v) = b_{12}(u,v) = b_{21}(u,v) = \mathbf{n} \cdot \frac{\partial^2 \mathbf{r}}{\partial u \partial v} = -\frac{\partial \mathbf{n}}{\partial u} \cdot \frac{\partial \mathbf{r}}{\partial v} = -\frac{\partial \mathbf{n}}{\partial v} \cdot \frac{\partial \mathbf{r}}{\partial u}$

$N(u,v) = b_{22}(u,v) = \mathbf{n} \cdot \frac{\partial^2 \mathbf{r}}{\partial v^2} = -\frac{\partial \mathbf{n}}{\partial v} \cdot \frac{\partial \mathbf{r}}{\partial v}$

Curvatura normal y geodésica

Cuando se tiene una curva sobre una superficie esta puede ser vista también como curva de $\mathbb{R}^3$ a la que les son aplicables tanto las fórmulas de la geometría diferencial de curvas como las de la geometría diferencial de superficies. Eso permite relacionar la curvatura total de la curva con la curvatura de la curva vista o medida por un "habitante" de la superficie. En concreto la curvatura total (χ_γ) de una curva γ(t) puede ser descompuesta entre la curvatura medible desde la superficie, llamada curvatura normal (k_n) y la curvatura no medible desde la superficie, llamada curvatura geodésica (k_g), de hecho se cumple que:

$\chi_\gamma^2 = k_n^2 + k_g^2 \,$

Donde la curvatura geodésica y normal pueden calcularse a partir del ángulo que forman el vector normal a la superficie y el vector normal a la curva (n_γ):

$k_n = \chi_\gamma \cos \xi \qquad k_g = \chi_\gamma \sin \xi \qquad \qquad \xi := \arccos(\mathbf{n}_\gamma \cdot \mathbf{n})$

La aceleración de cualquier punto material puede ser descompuesta en aceleración tangencial y aceleración normal. Si además el punto se mueve sobre la superficie, la aceleración normal puede descomponerse en aceleración propiamente normal y aceleración geodésica (debida al seguimiento que el punto hace de la superficie):

$\mathbf{a} = \frac{d^2 \gamma(t) }{dt^2} = \frac{dV(t)}{dt} \mathbf{\hat{t}} + (\chi_\gamma V^2) \mathbf{\hat{n}}_\gamma = \frac{dV(t)}{dt} \mathbf{\hat{t}} + (k_n V^2) \mathbf{\hat{n}} + (k_g V^2) \mathbf{\hat{n}} \times \mathbf{\hat{t}}$

Donde $\mathbf{\hat{t}}, \mathbf{\hat{n}}_\gamma, \mathbf{\hat{t}}$ son respectivamente el vector tangente a la curva, el vector normal a la curva y el vector normal a la superficie. Esa ecuación muestra que las líneas geodésicas a la superficie son precisamente aquellas curvas para las cuales su curvatura total coincide con su curvatura geodésica. Las curvaturas normal y geodésica de una curva sobre una superficie puden calcularse fácilmente a partir de los vectores tangente al a curva y las normales a la curva y la superficie:

$k_n = \frac{II(\gamma'(t),\gamma'(t))}{I(\gamma'(t),\gamma'(t))} = \frac{Lu'(t)^2+2Mu'(t)v'(t)+Nv'(t)^2}{Eu'(t)^2+2Fu'(t)v'(t)+Gv'(t)^2}$

$k_g = \frac{\mathbf{n} \cdot (\gamma'(t) \times \gamma''(t))}{||\gamma'(t)||^3}$

Curvaturas principales

Si se considera un punto P₀ de la superficie y toda una colección de curvas contenidas en la superficie que pasan por P₀ se observa que la curvatura normal k_n de cualquiera de estas curvas en P₀ varía entre dos valores extremos k₁ < k_n < k₂. Estos dos valores de hecho son las soluciones k_i de la siguiente ecuación:

$(EG-F^2)k_i^2+(2FM-EN-GL)k_i+(LN-M^2)=0$

Un punto se llama umbilical si en él k₁ = k₂. Para un punto no-umbilical P₀ las direcciones tangentes a la superficie para las cuales se alcanza el máximo y el mínimo de la curvatura normal son siempre ortogonales. En cada punto estas dos direcciones ortogonales se llaman direcciones principales de curvatura. Una condición necesaria y suficiente para que la dirección dada por un vector $\mathbf{V}$ sea principal es que si:

$\mathbf{V} = \alpha \frac{\partial \mathbf{r}(u,v)}{\partial u} + \beta \frac{\partial \mathbf{r}(u,v)}{\partial v}$

Entonces que esa dirección sea dirección principal de curvatura implica que:

$(EM-LF)\alpha^2 + (EN-LG) \alpha \beta + (FN-MG)\beta^2 = 0 \,$

Líneas de curvatura

Curvatura gaussiana

Tres superficies con curvatura gausiana negativa (izquierda), cero (centro) y positiva (derecha).

La curvatura gaussiana de una superficie es un número real $K$ (P₀) que mide la curvatura intrínseca en cada punto regular P₀ de una superficie. Esta curvatura puede calcularse a partir de los determinantes de la primera y segunda formas fundamentales de la superficie:

$K(P_0)= \frac{LN-M^2}{EG-F^2}=\frac{b_{11}b_{22}-{b_{12}}^2}{g_{11}g_{22}-{g_{12}}^2}$

Esta curvatura gaussiana en general varía de un punto a otro de la superficie y está relacionada con las curvaturas principales de cada punto (k₁ y k₂), mediante la relación K = k₁k₂.

Un caso interesante de superficie es la esfera, que tiene la misma curvatura en todos sus puntos. Calculando la curvatura de Gauss de una esfera (2-esfera). A partir de la fórmula anterior se llega fácilmente a que para una esfera de radio r, la curvatura gaussiana es igual en todos los puntos e igual a $K(S^2) = 1/r^2>0\;$ .

Si bien observamos que hay superficies que tienen curvatura constante, la curvatura gaussiana debe verse como una relación $K:S\to K(S)$ donde $K(S)\in C^1(S,\mathbb{R})$ (una función diferenciable sobre S) que asigna a cada superficie su función de curvatura gaussiana.
La manera actual de definir la curvatura gaussiana es mediante el operador de forma (del inglés shape operator) de la superficie S:

$N\colon S\to S^2 \qquad$ , definido mediante $N(p)=\frac{\partial_u\times\partial_v}{\|\partial_u\times\partial_v\|}|_p$

Donde $\partial_u,\partial_v$ son los vectores tangentes coordenados y están siendo evaluados en la posición p.

Con la derivada (jacobiano) del operador de forma

$L(p)=N'(p):T_pS\to T_{N(p)}S^2$

uno obtiene una transformación lineal auto-adjunta -llamada transformación de Weingarten- y así, la curvatura gaussiana es determinante de L, i.e.

$K(p)=\det[L(p)]\,$

Es relativamente fácil verificar que coincide con la definición dada arriba.

En términos de los componentes del tensor de curvatura de Riemann para las 2-variedad diferenciables, uno encuentra la relación

$K=\frac{R_{1212}}{g_{11}g_{22}-{g_{12}}^2} = \frac{h_{11}h_{22}-{h_{12}}^2}{g_{11}g_{22}-{g_{12}}^2}$

Ejemplo, la curvatura gaussiana de un toro es $\frac{\cos v}{2+\cos v}$ donde se ha usado la parametrización:

$(v,w)\stackrel{\phi}\to ((2+\cos v)\cos w,(2+\cos v)\sin w,\sin v)$

Véase también

Geometría diferencial de curvas

Referencia

Bibliografía

Girbau, J.: "Geometria diferencial i relativitat", Ed. Universitat Autònoma de Catalunya, 1993. ISBN 84-7929-776-X.
Spiegel, M. & Abellanas, L.: "Fórmulas y tablas de matemática aplicada", Ed. McGraw-Hill, 1988. ISBN 84-7615-197-7.
M. do Carmo: "Differential geometry of curves and surfaces".
John M. Lee (1997), Riemannian Manifolds: An Introduction to Curvature, Graduate Texts in Mathematics, 176, Springer-Verlag, ISBN 978-0-387-98271-X

Enlaces externos

Portal:Matemática. Contenido relacionado con Matemática.
Enciclopedia en-línea de Springer-Verlag [1]

Categoría:

Geometría diferencial

Wikimedia foundation. 2010.

Игры ⚽ Поможем сделать НИР

Mira otros diccionarios:

Geometría diferencial — En matemáticas, la geometría diferencial es el estudio de la geometría usando las herramientas del análisis matemático. Los objetos de estudio de este campo son las variedades diferenciables (tal y como la topología diferencial) tanto como las… … Wikipedia Español
Geometría diferencial de hipersuperficies — En matemáticas, la geometría diferencial de hipersuperficies propone definiciones y métodos para analizar la geometría de hipersuperficies o variedades diferenciales de n dimensiones inmersas en una variedad riemanniana o el espacio euclídeo.… … Wikipedia Español
Geometría diferencial de curvas — En matemáticas, la geometría diferencial de curvas propone definiciones y métodos para analizar curvas simples en Variedades de Riemann, y en particular, en el Espacio Euclídeo. Contenido 1 Longitud de arco 2 Vectores tangente, normal y binormal … Wikipedia Español
Geometría diferencial — ● Geometria de curvas y superficies ● Geometria diferencial de variedades * * * Campo de la matemática en el cual los métodos del cálculo se aplican a nivel local a la geometría de curvas y superficies (p. ej., a una pequeña porción de una… … Enciclopedia Universal
Geometría diferencial discreta — La geometría diferencial discreta es el estudio de las contrapartes discretas de nociones en geometría diferencial. En vez de curvas y superficies suaves hay polígonos, mallas y complejos simpliciales. Se usa en el estudio de los gráficos de… … Wikipedia Español
Geometría de curvas y superficies — Este artículo está huérfano, pues pocos o ningún artículo enlazan aquí. Por favor, introduce enlaces hacia esta página desde otros artícul … Wikipedia Español
Geometría — (Del gr. geometria, agrimensura, geometría.) ► sustantivo femenino 1 GEOMETRÍA, MATEMÁTICAS Parte de las matemáticas que estudia el espacio y las figuras y cuerpos que en él se pueden imaginar. FRASEOLOGÍA geometría analítica GEOMETRÍA,… … Enciclopedia Universal
Geometría analítica — La geometría analítica estudia las figuras geométricas mediante técnicas básicas del análisis matemático y del álgebra en un determinado sistema de coordenadas. Su desarrollo histórico comienza con la geometría cartesiana, impulsada con la… … Wikipedia Español
Geometría de curvas y superficies — La Geometría Diferencial de Gauss trata del estudio de curvas y superficies, e incluso objetos de más dimensiones denominados variedades. Básicamente, el método consiste en describir las curvas o superficies a estudiar con una función vectorial… … Enciclopedia Universal
Geometría — Alegoría de la Geometría. La Geometría (del latín geometrĭa, que proviene del idioma griego γεωμετρία, geo tierra y metria medida), es una rama de la matemática que se ocupa del estudio de las propiedades de las figuras geométricas en el plano o… … Wikipedia Español

Los diccionarios y las enciclopedias sobre el Académico

Geometría diferencial de superficies

Contenido