La geometría diferencial es una rama de las matemáticas que utiliza herramientas del cálculo diferencial e integral, así como del álgebra lineal, para estudiar problemas geométricos. Se centra en las propiedades de curvas y superficies que pueden ser descritas mediante funciones diferenciables, lo que permite analizar su forma, curvatura y evolución en el espacio.
Esta disciplina tiene sus raíces en los trabajos de Gauss y Riemann en el siglo XIX, quienes desarrollaron los conceptos fundamentales de curvatura y métrica en superficies. Hoy en día, la geometría diferencial encuentra aplicaciones en física teórica (especialmente en relatividad general), gráficos por computadora, robótica y muchas otras áreas tecnológicas.
El estudio de curvas y superficies en geometría diferencial se basa en varios conceptos clave:
Una curva en el espacio tridimensional puede ser descrita mediante una función vectorial de un parámetro, generalmente denotado como t (que puede representar tiempo, longitud de arco, etc.):
$$\vec{r}(t) = (x(t), y(t), z(t))$$
El vector tangente a la curva en un punto se obtiene derivando esta función:
$$\vec{T}(t) = \frac{d\vec{r}}{dt} = \left(\frac{dx}{dt}, \frac{dy}{dt}, \frac{dz}{dt}\right)$$
La curvatura κ de una curva mide cuánto se desvía de ser una línea recta y se calcula como:
$$\kappa(t) = \frac{\|\vec{T}'(t)\|}{\|\vec{r}'(t)\|}$$
Para curvas en el espacio (no necesariamente planas), también definimos la torsión τ, que mide cuánto se tuerce la curva fuera del plano osculador:
$$\tau(t) = -\frac{(\vec{r}'(t) \times \vec{r}»(t)) \cdot \vec{r}»'(t)}{\|\vec{r}'(t) \times \vec{r}»(t)\|^2}$$
La hélice circular es una curva clásica en el espacio con curvatura y torsión constantes:
$$\vec{r}(t) = (a\cos t, a\sin t, bt)$$
Sus derivadas son:
$$\vec{r}'(t) = (-a\sin t, a\cos t, b)$$
$$\vec{r}»(t) = (-a\cos t, -a\sin t, 0)$$
$$\vec{r}»'(t) = (a\sin t, -a\cos t, 0)$$
La curvatura y torsión resultan ser:
$$\kappa = \frac{a}{a^2 + b^2}, \quad \tau = \frac{b}{a^2 + b^2}$$
Las superficies en el espacio tridimensional pueden describirse mediante parametrizaciones que dependen de dos variables, generalmente u y v:
$$\vec{r}(u,v) = (x(u,v), y(u,v), z(u,v))$$
Para analizar una superficie, necesitamos sus vectores tangentes parciales:
$$\vec{r}_u = \frac{\partial \vec{r}}{\partial u}, \quad \vec{r}_v = \frac{\partial \vec{r}}{\partial v}$$
El vector normal a la superficie se obtiene mediante el producto cruz:
$$\vec{N} = \vec{r}_u \times \vec{r}_v$$
La primera forma fundamental de una superficie es una forma cuadrática que mide cómo se calculan longitudes y ángulos sobre la superficie:
$$I = E\,du^2 + 2F\,du\,dv + G\,dv^2$$
donde:
$$E = \vec{r}_u \cdot \vec{r}_u, \quad F = \vec{r}_u \cdot \vec{r}_v, \quad G = \vec{r}_v \cdot \vec{r}_v$$
La segunda forma fundamental mide cómo se curva la superficie en el espacio:
$$II = L\,du^2 + 2M\,du\,dv + N\,dv^2$$
con:
$$L = \vec{r}_{uu} \cdot \vec{N}, \quad M = \vec{r}_{uv} \cdot \vec{N}, \quad N = \vec{r}_{vv} \cdot \vec{N}$$
Un plano es la superficie más simple, con curvatura cero en todas direcciones:
$$\vec{r}(u,v) = (u, v, au + bv + c)$$
Los vectores tangentes y normal son:
$$\vec{r}_u = (1, 0, a), \quad \vec{r}_v = (0, 1, b)$$
$$\vec{N} = (-a, -b, 1)$$
Las formas fundamentales son:
$$I = (1 + a^2)du^2 + 2ab\,du\,dv + (1 + b^2)dv^2$$
$$II = 0$$
Una esfera de radio R tiene curvatura constante positiva:
$$\vec{r}(\theta,\phi) = (R\sin\theta\cos\phi, R\sin\theta\sin\phi, R\cos\theta)$$
Los vectores tangentes son:
$$\vec{r}_\theta = (R\cos\theta\cos\phi, R\cos\theta\sin\phi, -R\sin\theta)$$
$$\vec{r}_\phi = (-R\sin\theta\sin\phi, R\sin\theta\cos\phi, 0)$$
El vector normal es:
$$\vec{N} = (\sin\theta\cos\phi, \sin\theta\sin\phi, \cos\theta)$$
Las formas fundamentales resultan:
$$I = R^2 d\theta^2 + R^2\sin^2\theta\,d\phi^2$$
$$II = -R\,d\theta^2 – R\sin^2\theta\,d\phi^2$$
Para superficies, existen varios tipos de curvatura que describen su geometría intrínseca y extrínseca:
Curvatura gaussiana (K): Producto de las curvaturas principales. Es una medida intrínseca de la curvatura, preservada por isometrías locales.
$$K = \kappa_1 \kappa_2 = \frac{LN – M^2}{EG – F^2}$$
Curvatura media (H): Promedio de las curvaturas principales. Mide cómo se curva la superficie en promedio.
$$H = \frac{\kappa_1 + \kappa_2}{2} = \frac{EN – 2FM + GL}{2(EG – F^2)}$$
El teorema egregium de Gauss establece que la curvatura gaussiana es una propiedad intrínseca de la superficie, es decir, puede determinarse midiendo únicamente distancias sobre la superficie, sin referencia al espacio ambiente.
Un cilindro de radio R tiene curvatura gaussiana cero (es desarrollable):
$$\vec{r}(u,v) = (R\cos u, R\sin u, v)$$
Los vectores tangentes y normal son:
$$\vec{r}_u = (-R\sin u, R\cos u, 0), \quad \vec{r}_v = (0, 0, 1)$$
$$\vec{N} = (\cos u, \sin u, 0)$$
Las formas fundamentales:
$$I = R^2 du^2 + dv^2$$
$$II = -R\,du^2$$
Las curvaturas resultan:
$$K = 0, \quad H = -\frac{1}{2R}$$
Esta superficie tiene curvatura gaussiana negativa en todos sus puntos:
$$\vec{r}(u,v) = (u, v, u^2 – v^2)$$
Vectores tangentes y normal:
$$\vec{r}_u = (1, 0, 2u), \quad \vec{r}_v = (0, 1, -2v)$$
$$\vec{N} = \frac{(-2u, 2v, 1)}{\sqrt{1 + 4u^2 + 4v^2}}$$
Las formas fundamentales:
$$I = (1 + 4u^2)du^2 – 8uv\,du\,dv + (1 + 4v^2)dv^2$$
$$II = \frac{2}{\sqrt{1 + 4u^2 + 4v^2}}(du^2 – dv^2)$$
La curvatura gaussiana es siempre negativa:
$$K = \frac{-4}{(1 + 4u^2 + 4v^2)^2}$$
La geometría diferencial de curvas y superficies tiene numerosas aplicaciones en tecnología moderna:
Pregunta 1: Dada la curva $\vec{r}(t) = (t, t^2, t^3)$, calcula su vector tangente, curvatura y torsión en el punto t=1.
Respuesta:
Vector tangente: $\vec{T}(1) = \vec{r}'(1) = (1, 2, 3)$
Segunda derivada: $\vec{r}»(1) = (0, 2, 6)$
Tercera derivada: $\vec{r}»'(1) = (0, 0, 6)$
Curvatura: $\kappa(1) = \frac{\|\vec{T}'(1)\|}{\|\vec{r}'(1)\|} = \frac{\|(0,2,6)\|}{\|(1,2,3)\|} = \frac{\sqrt{40}}{\sqrt{14}} = \sqrt{\frac{20}{7}}$
