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.
Si necesitas repasar:
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.
Tiempo
u=−e^{-t}cos x.
Espacio
=−e^{-t}cos x.
Comparar
Satisface=
.
Es una función que se amortigua, no una métrica que ya hayamos definido.
Sustituir verifica una solución concreta sin demostrar una teoría general de existencia.
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)² en una esfera.
Espacio fijo
Los puntos de la esfera abstracta siguen siendo los mismos.
Medidas
La longitud de un vector fijo se multiplica por R(t) respecto de
.
Ecuación
Todavía falta sustituir esta familia en Ricci para saber qué R(t) está permitido.
Elegir un dibujo que cambia de tamaño no demuestra que satisfaga el flujo.
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 . Ricci se toma sin normalizar.
Una dirección con Ricci positiva se contrae instantáneamente; la propia curvatura evoluciona después.
No se necesita un espacio ambiente.
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₀.
Curvatura
Riemann y Ricci son cero.
Lado derecho
−2Ric=0.Tiempo
La familia constante g(t)=g₀ tiene derivada cero y satisface la ecuación.
No todos los ejemplos de Ricci se contraen.
La ausencia de contracción aquí viene de Ricci cero.
Un modelo negativo se expande
g(t)=r(t)², donde
tiene curvatura seccional −1 en dimensión n.
Ricci
Ric(g(t))=−(n−1).
Comparar
(r²)′=2(n−1)
.
Resolver
r²(t)=r₀²+2(n−1)t, positivo para t≥0 si r₀>0.
El signo de la curvatura invierte el cambio de escala del modelo.
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.
Pullback
φ*g=4dx².Tiempo
La derivada temporal sigue siendo cero.
Ricci
También es cero, de modo que la métrica transformada es otra solución estacionaria.
La invariancia por un difeomorfismo fijo respeta la ecuación.
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
(x)=eᵗx y g₀=dx².
Pullback
g₀=e^{2t}dx².
Derivar
(
g₀)=2e^{2t}dx²≠0.
Comparar
Su Ricci es cero, por lo que no satisface el Ricci no modificado. El cambio temporal aporta el término de Lie.
No se omite la derivada de las coordenadas cuando cambian con el tiempo.
El ejemplo separa la invariancia fija del mecanismo de DeTurck.
4. Volumen y curvatura tienen sus propias ecuaciones de evolución
En Ricci resulta 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 =Δ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.
Esfera
χ=2, así que dÁrea/dt=−8π.Toro
χ=0, de modo que el área total permanece constante mientras el flujo es suave.
Género dos
χ=−2 y dÁrea/dt=+8π.
El signo depende de la integral de curvatura, no de imponer que cada punto tenga el mismo signo.
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).
Escalar
Scal=n(n−1)/R² y su derivada es 2n(n−1)²/R⁴.Ricci
|Ric|²=n(n−1)²/R⁴; la escalar es constante en el espacio y ΔScal=0.Comparar
El término 2|Ric|² coincide con la derivada calculada.
La ecuación de radio es compatible con otra cantidad geométrica independiente.
Se distingue la derivada temporal de una derivada espacial.
5. La simetría redonda reduce toda la ecuación a R²
El tensor de Ricci como forma bilineal permanece igual bajo escala constante; escrito respecto de g sería Ric=(n−1)R⁻²g.
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.
Coeficiente
n−1=2 y (R²)′=−4.Solución
R²=9−4t.Dominio
El tiempo de extinción es 9/4 y la métrica es positiva antes de él.
No se usa automáticamente la constante −2 de S² en toda dimensión.
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.
Cuadrado
R²=(3−t)².Derivar
(R²)′=−2(3−t), que no es constantemente −2.Correcta
La solución es R(t)=raíz de (9−2t), no 3−t.
Lo que evoluciona linealmente en el modelo es R².
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
El radio es la raíz positiva y el dominio de la solución futura es 0≤t<T=R₀²/2.
No se continúa la misma fórmula como métrica después de T: su coeficiente sería negativo.
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.
Cuadrado
R²=25−6=19.Radio
R=√19 y K=1/19.Dominio
T=25/2; t=3 está antes, así que la familia todavía es una métrica positiva.
Se comprueba el dominio además de sustituir números.
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.
Coeficiente
R²=4−2t→0.Área
4πR²→0, mientras K=1/R²→∞.Singularidad
En t=2 el tensor cero no mide positivamente los vectores no nulos; el flujo suave termina.
El tiempo final pertenece al límite, no al intervalo de métricas positivas.
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 , donde S̄=Vol⁻¹∫Scal dμ es la escalar media.
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.
Ricci
−2Ric=−g/2.Normalización
(2/n)S̄g=(2/2)(1/2)g=g/2.Suma
La derivada es cero; se conserva la métrica y su área.
La esfera redonda normalizada es estacionaria.
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, =(1/Área)∫K.
Ecuación
La versión normalizada es g′=−2(K−)g.
Regiones
Si K>
, el coeficiente es negativo y la región se contrae instantáneamente; si K<
, se expande.
Integral
La variación total del área es −2∫(K−
)dÁrea=0.
El balance es global, aunque el cambio sea distinto en cada punto.
No se deduce de esta identidad que toda solución normalizada converja.
8. Curvatura media mueve la inmersión y tiene otra constante
Para : Mⁿ→Rᴺ, el flujo de curvatura media es
=H⃗, donde H⃗ es la traza de la segunda forma fundamental. Con esta convención, en una esfera H⃗=−(n/R)ν para normal exterior ν.
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.
Ricci
R²=4−2t y T=2.Media
Como n=2, R²=4−4t y T=1.Comparar
Ambas se contraen, pero una llega al tiempo singular antes bajo las convenciones fijadas.
El parecido de los dibujos no hace iguales las ecuaciones.
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.
Intrínseca
En dimensión uno Ricci es cero; su métrica es estacionaria para Ricci.
Inmersión
El vector de curvatura apunta al centro y tiene magnitud 1/R.
Media
R²=R₀²−2t: el círculo sí se contrae como curva del plano.
La curvatura ambiente de una curva no es Ricci de su métrica unidimensional.
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, 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.
Nuevo radio
R̃²(s)=4R₀²−2(n−1)s.Tiempo
El nuevo tiempo de extinción es cuatro veces el anterior.
Medidas
Las longitudes iniciales se duplican y la curvatura se divide por cuatro, manteniendo la ecuación de Ricci.
La escala del tiempo acompaña a la de la métrica.
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.
Reescribir
R²(t)=2(T−t).Curvatura
K(t)=1/[2(T−t)], que diverge al acercarse a T.Interpretar
La familia cumple la alternativa de singularidad. Este ejemplo no clasifica otras singularidades posibles.
El fallo de prolongación tiene una cantidad geométrica concreta que se dispara.
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.
Dimensión
Es una esfera bidimensional bajo Ricci no normalizado.
Fórmula
R²(t)=R₀²−2t.Dato
Con R₀=2 queda R²=4−2t.Tiempo final
Resolver 4−2T=0 da T=2.Dominio
La métrica es positiva para 0≤t<2.Control
En t=2 el coeficiente se anula y K diverge; no se incluye como métrica suave.
El tiempo es 2.
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.
Modelo
Esfera bidimensional con R₀=3.Cuadrado inicial
R₀²=9.Evolución
R²(t)=9−2t.Evaluar
En t=1, R²=9−2=7.Radio
Se toma la raíz positiva: R=√7.Control
Siete es positivo y t=1 es menor que el tiempo de extinción 9/2.
R²=7 y R=√7.
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 →