La PizarraMatemática.

Máster y doctorado

Flujos geométricos

En un flujo geométrico cambia una estructura con el tiempo: puede ser la métrica de una variedad o su posición dentro de un espacio. No son la misma evolución. Empezaremos identificando qué se deriva y resolveremos una esfera por simetría, comprobando el dominio antes de comparar Ricci con curvatura media.

1. La incógnita puede ser una función, una métrica o una inmersión

Una ecuación diferencial ordinaria hace evolucionar un número o vector. Una métrica g(t, x) tiene datos en cada punto x; su curvatura incluye derivadas espaciales. Por ello Ricci es una ecuación en derivadas parciales, aunque una simetría especial pueda reducirla a una ecuación para un radio.

Una inmersión φ(t, x) especifica posiciones en un ambiente. Su flujo cambia la imagen. Un flujo de métricas puede estudiarse sin inmersión. Que una ecuación tenga difusión no implica que siempre exista para todo tiempo ni que toda geometría converja.

Una ecuación de calor permite practicar la verificación

u(t, x)=e^{-t}cos x en el círculo.

  1. Tiempo

    \partial_t u=−e^{-t}cos x.
  2. Espacio

    \partial_x^2u=−e^{-t}cos x.
  3. Comparar

    Satisface u_{t}=u_{xx}.

    Es una función que se amortigua, no una métrica que ya hayamos definido.

Resultado

Sustituir verifica una solución concreta sin demostrar una teoría general de existencia.

Lo comprobamos

La periodicidad permite verla como función en S¹.

Un radio puede resumir una métrica, pero no es toda la definición

g(t)=R(t)²g_{u} en una esfera.

  1. Espacio fijo

    Los puntos de la esfera abstracta siguen siendo los mismos.

  2. Medidas

    La longitud de un vector fijo se multiplica por R(t) respecto de g_{u}.

  3. Ecuación

    Todavía falta sustituir esta familia en Ricci para saber qué R(t) está permitido.

Resultado

Elegir un dibujo que cambia de tamaño no demuestra que satisfaga el flujo.

Lo comprobamos

La ecuación determinará la velocidad de contracción.

2. Ricci cambia la métrica intrínseca con la curvatura actual

El flujo no normalizado es \partial_tg=-2\operatorname{Ric}(g),\quad g(0)=g_0. Ricci se toma sin normalizar.

Para un vector v fijo, \partial_t g(v, v)=−2Ric(v, v).

Una dirección con Ricci positiva se contrae instantáneamente; la propia curvatura evoluciona después.

No se necesita un espacio ambiente.

Si Ric(g₀)=0, g(t)=g₀ es solución estacionaria.

La escala de un espacio con curvatura negativa, en cambio, puede crecer en el modelo homogéneo.

Comprobar una solución estacionaria

Toro plano con métrica g₀.

  1. Curvatura

    Riemann y Ricci son cero.

  2. Lado derecho

    −2Ric=0.
  3. Tiempo

    La familia constante g(t)=g₀ tiene derivada cero y satisface la ecuación.

Resultado

No todos los ejemplos de Ricci se contraen.

Lo comprobamos

La ausencia de contracción aquí viene de Ricci cero.

Un modelo negativo se expande

g(t)=r(t)²g_{-}, donde g_{-} tiene curvatura seccional −1 en dimensión n.

  1. Ricci

    Ric(g(t))=−(n−1)g_{-}.
  2. Comparar

    (r²)′g_{-}=2(n−1)g_{-}.
  3. Resolver

    r²(t)=r₀²+2(n−1)t, positivo para t≥0 si r₀>0.
Resultado

El signo de la curvatura invierte el cambio de escala del modelo.

Lo comprobamos

El ejemplo verifica una familia explícita; la existencia no compacta general exige otras condiciones.

3. La existencia local general requiere controlar la libertad de coordenadas

En una variedad cerrada —compacta y sin borde—, toda métrica suave inicial admite una solución suave única de Ricci durante un tiempo positivo. Es un teorema general adicional al cálculo de ejemplos. No se lleva automáticamente al caso no compacto sin hipótesis apropiadas.

La ecuación no es estrictamente parabólica tal como está escrita, por su invariancia geométrica. El método de DeTurck añade una derivada de Lie para fijar la libertad de coordenadas y después deshace un cambio de coordenadas dependiente del tiempo. Un cambio fijo y uno que varía con t tienen efectos distintos en la derivada temporal.

Un cambio fijo conserva una solución plana

En R, g(t)=dx² y φ(x)=2x, independiente de t.

  1. Pullback

    φ*g=4dx².
  2. Tiempo

    La derivada temporal sigue siendo cero.

  3. Ricci

    También es cero, de modo que la métrica transformada es otra solución estacionaria.

Resultado

La invariancia por un difeomorfismo fijo respeta la ecuación.

Lo comprobamos

Este cálculo en la recta ilustra coordenadas; no aplica por sí solo el teorema de existencia cerrada.

Un cambio que depende del tiempo añade un término

\varphi_t(x)=eᵗx y g₀=dx².

  1. Pullback

    \varphi_t^*g₀=e^{2t}dx².
  2. Derivar

    \partial_t(\varphi_t^*g₀)=2e^{2t}dx²≠0.
  3. Comparar

    Su Ricci es cero, por lo que no satisface el Ricci no modificado. El cambio temporal aporta el término de Lie.

Resultado

No se omite la derivada de las coordenadas cuando cambian con el tiempo.

Lo comprobamos

El ejemplo separa la invariancia fija del mecanismo de DeTurck.

4. Volumen y curvatura tienen sus propias ecuaciones de evolución

La variación de volumen es \partial_t dμ=(1/2)tr_g(\partial_t g)dμ.

En Ricci resulta \partial_t dμ=−Scal dμ y, para M cerrada, dVol/dt=−∫Scal dμ. En una superficie Scal=2K y Gauss–Bonnet da dÁrea/dt=−4πχ(M).

La escalar satisface \partial_t\operatorname{Scal}=ΔScal+2|Ric|², con Δ=div grad. La difusión se combina con un término cuadrático. En una variedad cerrada el principio del máximo preserva Scal≥0 mientras la solución sea suave; no afirma por ello que toda curvatura quede acotada para siempre.

La topología determina la variación de área en dos dimensiones

Superficies cerradas orientadas.

  1. Esfera

    χ=2, así que dÁrea/dt=−8π.
  2. Toro

    χ=0, de modo que el área total permanece constante mientras el flujo es suave.

  3. Género dos

    χ=−2 y dÁrea/dt=+8π.
Resultado

El signo depende de la integral de curvatura, no de imponer que cada punto tenga el mismo signo.

Lo comprobamos

La afirmación es sobre área total; no dice que una métrica de toro arbitraria sea estacionaria.

Comprobar la ecuación escalar en una esfera redonda

Dimensión n, radio R(t), (R²)′=−2(n−1).

  1. Escalar

    Scal=n(n−1)/R² y su derivada es 2n(n−1)²/R⁴.
  2. Ricci

    |Ric|²=n(n−1)²/R⁴; la escalar es constante en el espacio y ΔScal=0.
  3. Comparar

    El término 2|Ric|² coincide con la derivada calculada.

Resultado

La ecuación de radio es compatible con otra cantidad geométrica independiente.

Lo comprobamos

Se distingue la derivada temporal de una derivada espacial.

5. La simetría redonda reduce toda la ecuación a R²

En Sⁿ, n≥2, g=R²g_{u} y Ric(g)=(n−1)g_{u}.

El tensor de Ricci como forma bilineal permanece igual bajo escala constante; escrito respecto de g sería Ric=(n−1)R⁻²g.

El radio de la esfera no decrece linealmente aunque su cuadrado sí
Ricci en S²: R₀=3t=0R=3t=1R=√7t=3R=√3R²(t)=9−2t; 0≤t<9/2El radio lleva una raíz cuadrada.
Las tres circunferencias son secciones de la esfera redonda en tiempos cero, uno y tres bajo flujo de Ricci no normalizado, con radio inicial tres. En una escala común, los radios son tres, raíz de siete y raíz de tres. La fórmula R al cuadrado igual a nueve menos dos t es válida hasta tiempo nueve medios, donde la métrica degenera; no se dibuja una esfera con radio imaginario después. Las posiciones verticales solo separan instantáneas, no representan movimiento de sus centros.
Sustituir da (R²)′g_{u}=−2(n−1)g_{u}, por tanto R^2(t)=R_0^2-2(n-1)t.

La familia verifica la ecuación completa. La unicidad para la esfera cerrada asegura que es la solución redonda con ese dato inicial.

La dimensión cambia la constante de contracción

Esfera tridimensional con R₀=3.

  1. Coeficiente

    n−1=2 y (R²)′=−4.
  2. Solución

    R²=9−4t.
  3. Dominio

    El tiempo de extinción es 9/4 y la métrica es positiva antes de él.

Resultado

No se usa automáticamente la constante −2 de S² en toda dimensión.

Lo comprobamos

Se habla de dimensión de la esfera, no de la dimensión del ambiente donde podría dibujarse.

Un radio lineal no satisface la misma ecuación

En S², intentar R(t)=3−t.

  1. Cuadrado

    R²=(3−t)².
  2. Derivar

    (R²)′=−2(3−t), que no es constantemente −2.
  3. Correcta

    La solución es R(t)=raíz de (9−2t), no 3−t.
Resultado

Lo que evoluciona linealmente en el modelo es R².

Lo comprobamos

El dibujo debe usar esa raíz al comparar tamaños.

6. El tiempo de extinción es el límite de positividad de la métrica

En dimensión dos, R²=R₀²−2t.

El radio es la raíz positiva y el dominio de la solución futura es 0≤t<T=R₀²/2.

En t=T el tensor pierde positividad y K=1/R² diverge.

No se continúa la misma fórmula como métrica después de T: su coeficiente sería negativo.

En dimensión n≥2, T=R₀²/[2(n−1)].

Que la variedad abstracta siga existiendo no produce automáticamente una métrica riemanniana suave en el tiempo singular.

Revisar radio y curvatura antes del tiempo final

S² con R₀=5, t=3.

  1. Cuadrado

    R²=25−6=19.
  2. Radio

    R=√19 y K=1/19.
  3. Dominio

    T=25/2; t=3 está antes, así que la familia todavía es una métrica positiva.

Resultado

Se comprueba el dominio además de sustituir números.

Lo comprobamos

No se toma R=19: ese es el radio al cuadrado.

El límite no es una métrica redonda de radio cero

S² con R₀=2, acercarse a t=2.

  1. Coeficiente

    R²=4−2t→0.
  2. Área

    4πR²→0, mientras K=1/R²→∞.
  3. Singularidad

    En t=2 el tensor cero no mide positivamente los vectores no nulos; el flujo suave termina.

Resultado

El tiempo final pertenece al límite, no al intervalo de métricas positivas.

Lo comprobamos

Después no se permite mantener el mismo tensor con signo negativo.

7. Normalizar modifica la ecuación para conservar volumen

Una versión normalizada añade \partial_tg=-2\operatorname{Ric}+\frac{2\bar S(t)}n g, donde S̄=Vol⁻¹∫Scal dμ es la escalar media.

La variación de volumen da −∫Scal+S̄Vol=0.

En una métrica redonda, Ric=(n−1)R⁻²g y S̄=n(n−1)R⁻²; ambos términos se cancelan. La esfera queda estacionaria para esta versión. No contradice su extinción no normalizada: se ha cambiado la ecuación y, en general, también la escala y el tiempo.

Comprobar la cancelación en radio dos y dimensión dos

K=1/4, Ric=g/4 y S̄=1/2.

  1. Ricci

    −2Ric=−g/2.
  2. Normalización

    (2/n)S̄g=(2/2)(1/2)g=g/2.
  3. Suma

    La derivada es cero; se conserva la métrica y su área.

Resultado

La esfera redonda normalizada es estacionaria.

Lo comprobamos

La misma esfera bajo la ecuación no normalizada sí se contrae.

Conservar volumen no exige que cada región conserve tamaño

En una superficie, K_{\mathrm{media}}=(1/Área)∫K.

  1. Ecuación

    La versión normalizada es g′=−2(K−K_{\mathrm{media}})g.
  2. Regiones

    Si K>K_{\mathrm{media}}, el coeficiente es negativo y la región se contrae instantáneamente; si K<K_{\mathrm{media}}, se expande.

  3. Integral

    La variación total del área es −2∫(K−K_{\mathrm{media}})dÁrea=0.

Resultado

El balance es global, aunque el cambio sea distinto en cada punto.

Lo comprobamos

No se deduce de esta identidad que toda solución normalizada converja.

8. Curvatura media mueve la inmersión y tiene otra constante

Para \varphi_t: Mⁿ→Rᴺ, el flujo de curvatura media es \partial_t\varphi=H⃗, donde H⃗ es la traza de la segunda forma fundamental. Con esta convención, en una esfera H⃗=−(n/R)ν para normal exterior ν.

Ricci y curvatura media tienen tiempos de extinción diferentes
Mismo R₀=2; ecuaciones distintasR²412tRicci S²: R²=4−2tMedia S²: R²=4−4tCada línea termina al degenerar.
Se grafica el cuadrado del radio de una esfera bidimensional de radio inicial dos. Para Ricci no normalizado vale cuatro menos dos t y llega a cero en tiempo dos. Para curvatura media, usando el vector de curvatura como traza de la segunda forma fundamental, vale cuatro menos cuatro t y llega a cero en tiempo uno. Se detienen las líneas al llegar a cero: valores negativos no serían métricas riemannianas ni radios reales. Los ejes representan tiempo y radio al cuadrado, no el dibujo del perfil de una esfera.
Resulta R′=−n/R y (R²)′=−2n.
En un compacto sin borde, dÁrea/dt=−∫|H⃗|²dμ.

No se usa la curvatura media promediada dividiendo por n; esa otra convención cambiaría el tiempo. Ricci y este flujo tienen incógnitas y velocidades diferentes.

Comparar una esfera bidimensional con el mismo radio inicial

R₀=2.

  1. Ricci

    R²=4−2t y T=2.
  2. Media

    Como n=2, R²=4−4t y T=1.
  3. Comparar

    Ambas se contraen, pero una llega al tiempo singular antes bajo las convenciones fijadas.

Resultado

El parecido de los dibujos no hace iguales las ecuaciones.

Lo comprobamos

En ambos casos se detiene la fórmula cuando R² llega a cero.

El círculo hace todavía más clara la diferencia

S¹ redondo de radio R₀ en el plano.

  1. Intrínseca

    En dimensión uno Ricci es cero; su métrica es estacionaria para Ricci.

  2. Inmersión

    El vector de curvatura apunta al centro y tiene magnitud 1/R.

  3. Media

    R²=R₀²−2t: el círculo sí se contrae como curva del plano.

Resultado

La curvatura ambiente de una curva no es Ricci de su métrica unidimensional.

Lo comprobamos

La fórmula de extinción de Ricci que dividía por n−1 se había restringido a n≥2.

9. Una singularidad exige otra teoría; reescalar ayuda a estudiarla

En una variedad cerrada, si la curvatura completa permanece uniformemente acotada hasta un tiempo finito, el flujo de Ricci se puede prolongar. Por ello un tiempo maximal finito implica que |Rm| crece sin cota. Es el criterio de extensión, distinto de detener artificialmente una solución antes de tiempo.

Para examinar una concentración se reescalan espacio y tiempo. Si g(t) resuelve Ricci, \widetilde g(s)=\lambda g(s/\lambda) también, para λ>0. Los solitones cambian solo por escala y difeomorfismos y sirven como modelos. Cirugía y soluciones débiles requieren reglas adicionales; no son permitir radios imaginarios después de la extinción.

Comprobar la reescala en el modelo redondo

λ=4 y esfera de dimensión n.

  1. Nuevo radio

    R̃²(s)=4R₀²−2(n−1)s.
  2. Tiempo

    El nuevo tiempo de extinción es cuatro veces el anterior.

  3. Medidas

    Las longitudes iniciales se duplican y la curvatura se divide por cuatro, manteniendo la ecuación de Ricci.

Resultado

La escala del tiempo acompaña a la de la métrica.

Lo comprobamos

No se sustituye s por t sin el factor 1/λ dentro de g.

La esfera muestra el crecimiento de curvatura que exige el criterio

En S², T=R₀²/2.

  1. Reescribir

    R²(t)=2(T−t).
  2. Curvatura

    K(t)=1/[2(T−t)], que diverge al acercarse a T.
  3. Interpretar

    La familia cumple la alternativa de singularidad. Este ejemplo no clasifica otras singularidades posibles.

Resultado

El fallo de prolongación tiene una cantidad geométrica concreta que se dispara.

Lo comprobamos

Un flujo detenido en un t<T seguiría prolongándose por la misma fórmula.

Ahora lo resolvemos de principio a fin.

EJEMPLO RESUELTO 1

Tiempo de extinción

Para una esfera bidimensional con R₀=2, halla el tiempo de extinción.

  1. Dimensión

    Es una esfera bidimensional bajo Ricci no normalizado.

  2. Fórmula

    R²(t)=R₀²−2t.
  3. Dato

    Con R₀=2 queda R²=4−2t.
  4. Tiempo final

    Resolver 4−2T=0 da T=2.
  5. Dominio

    La métrica es positiva para 0≤t<2.
  6. Control

    En t=2 el coeficiente se anula y K diverge; no se incluye como métrica suave.

Resultado

El tiempo es 2.

Lo comprobamos

La fórmula solo representa una métrica positiva para 0≤t<2.

EJEMPLO RESUELTO 2

Radio durante el flujo

Con R₀=3, calcula R² en t=1.

  1. Modelo

    Esfera bidimensional con R₀=3.
  2. Cuadrado inicial

    R₀²=9.
  3. Evolución

    R²(t)=9−2t.
  4. Evaluar

    En t=1, R²=9−2=7.
  5. Radio

    Se toma la raíz positiva: R=√7.
  6. Control

    Siete es positivo y t=1 es menor que el tiempo de extinción 9/2.

Resultado

R²=7 y R=√7.

Lo comprobamos

El valor sigue siendo positivo.

Los símbolos que hemos usado

g(t)
Familia suave de métricas riemannianas positivas sobre una misma variedad M.
Ric(g)
Tensor de Ricci de la métrica g, una forma bilineal simétrica.
Scal
Curvatura escalar, traza de Ricci usando la métrica del instante considerado.
∂ₜg=−2Ric
Ecuación del flujo de Ricci no normalizado.
φₜ:M→Rᴺ
Familia de inmersiones, objeto que evoluciona en el flujo por curvatura media.
H⃗
Vector de curvatura media: traza de la segunda forma fundamental, usando suma y no promedio de curvaturas.
g_u
Métrica redonda unitaria, independiente del tiempo.
R(t) y R₀
Radio positivo del modelo redondo y su valor inicial.
T
Tiempo máximo de existencia suave del modelo.

Ahora te toca a ti.

Tienes cinco ejercicios. Inténtalos; las pistas te ayudan si te atascas.

Practicar este tema →

Para ampliar