Wiener-type Criterion for the Removability of the Fundamental Singularity for the Heat Equation and its Consequences

Resumen Técnico: Criterio de Tipo Wiener para la Removibilidad de la Singularidad Fundamental de la Ecuación del Calor

Planteamiento del Problema
El artículo aborda el problema fundamental de determinar la removibilidad de la singularidad fundamental para la ecuación del calor en conjuntos abiertos arbitrarios $\Omega \subset \mathbb{R}^{N+1}$. Específicamente, investiga la solvabilidad única del problema de Dirichlet parabólico singular (PDP) donde los datos de contorno se prescriben en $\partial \Omega \setminus \{O\}$ (o en el infinito), pero el comportamiento de la solución respecto a la solución fundamental $h$ (o $\tilde{h}$) en el punto de singularidad $O$ (o $\infty$) no está prescrito.

La cuestión central es si la singularidad fundamental es "removible", lo que significa que la solución al PDP es única sin necesidad de fijar explícitamente el límite de la razón $u/h$ en la singularidad. Si la singularidad no es removible, el problema admite infinitas soluciones. Este problema se enmarca como una generalización del clásico problema de Kolmogorov relativo al comportamiento asintótico de las trayectorias de Brownian y extiende la teoría de regularidad de Wiener desde puntos de frontera finitos hacia puntos singulares e infinito.

Metodología
El autor emplea una síntesis de la teoría del potencial parabólico, la topología fina y métodos probabilísticos. La metodología se basa en los siguientes componentes clave:

1. Transformación de Appell: El artículo utiliza la transformación de Appell para establecer un homeomorfismo entre la ecuación del calor en el dominio de tiempo hacia adelante $\mathbb{R}^{N+1}_+$ (con una singularidad en un punto finito $O$) y el dominio de tiempo hacia atrás $\mathbb{R}^{N+1}_-$ (con una singularidad en el infinito). Esto permite la reducción de problemas en el infinito a problemas en puntos finitos y viceversa, unificando el tratamiento de las singularidades.
2. Teoría del Potencial $h$-Parabólica: Se desarrolla una teoría del potencial especializada basada en la solución fundamental $h(x,t) = F(x-\gamma, t)$. El autor introduce el concepto de capacidad $h$ y medida $$_{h}$-parabólica. La removibilidad de la singularidad se caracteriza por si el punto de singularidad constituye un conjunto de medida nula de la medida $h$-parabólica.
3. Topología Fina: El análisis se lleva a cabo dentro del marco de la topología mínima-parabólica. Se demuestra que la removibilidad de la singularidad es equivalente a que el complemento del dominio $\Omega^c$ sea "mínimamente delgado $h$-parabólicamente" en el punto de la singularidad.
4. Pruebas de Logaritmo Iterado Geométrico: Para proporcionar criterios geométricos concretos, el artículo deriva pruebas basadas en la tasa de crecimiento de la variedad de frontera cerca de la singularidad. Estas pruebas involucran logaritmos iterados y clases específicas de funciones ($\mathcal{R}$ y $\mathcal{R}'$) que definen las tasas de crecimiento óptimas de la frontera para asegurar la regularidad.

Contribuciones Clave y Resultados

1. Criterio de Tipo Wiener Necesario y Suficiente:
   El resultado principal es la demostración de un criterio de tipo Wiener para la removidad de la singularidad fundamental para conjuntos abiertos arbitrarios. El Teorema 3.3 y el Teorema 3.6 establecen que la singularidad fundamental es removible (y el singular PDP tiene una solución única) si y solo si una serie específica que involucra la capacidad $h$ del complemento del dominio converge o diverge.

   • Para una singularidad finita $O$, la serie es $\sum_n 2^{-nN/2} C_h(E_n)$, donde $E_n$ son las intersecciones del complemento con las capas de calor $h$.
   • Para la singularidad en el infinito, se establece una serie análoga que involucra la capacidad $\tilde{h}$.
   • La divergencia de esta serie corresponde a que la singularidad sea removible (regular), mientras que la convergencia implica la no removibilidad (irregularidad).

2. Equivalencia de Cuatro Perspectivas:
   Los Teoremas 5.1 y 5.2 establecen la equivalencia de cuatro condiciones distintas para la removibilidad de la singularidad:

   • Teórica de la Medida: La medida $h$-parabólica del punto de la singularidad es nula.
   • Analítica: El problema de Dirichlet parabólico singular tiene una solución única.
   • Topológica: El punto de la singularidad es un punto límite del dominio en la topología mínima-parabólica (es decir, el complemento no es mínimamente delgado).
   • Probabilística: Una ley asintótica para el movimiento de Brownian condicional $h$ (la probabilidad de que las trayectorias se agrupen hacia la singularidad es 0 o 1).

3. Caracterización Geométrica (Prueba del Logaritmo Iterado):
   En la Sección 6, el artículo proporciona criterios geométricos agudos para dominios donde la frontera es localmente una gráfica.

   • Teorema 6.3: Para una singularidad finita, si la función de frontera $\phi$ satisface una condición de crecimiento unilateral acotada por un cociente Lipschitz parabólico que involucra logaritmos iterados (específicamente, $p(\bar{x}, t) \leq 2[\log \rho(4t^2/\xi)]^{1/2}$ con $\rho \in \mathcal{R}$), la singularidad es removible.
   • Teorema 6.10: Se demuestra un resultado correspondiente para la singularidad en el infinito utilizando cocientes parabólicos deformados por $S_\gamma$ y una clase de funciones $\mathcal{R}'$.
   • Nitidez (Sharpness): Los corolarios 6.4 y 6.11 demuestran que estas condiciones son agudas; si la tasa de crecimiento excede el límite del logaritmo iterado (por ejemplo, usando $\log^2$), la singularidad se vuelve no removible.

4. Condición de Paraboloide Hiperbólico Exterior:
   El artículo identifica la "condición de paraboloide hiperbólico exterior" como una condición geométrica suficiente para la regularidad, análoga a la condición de cono exterior en la teoría elíptica. Esta condición se muestra como óptima en términos del espacio de Hölder unilateral $Lip(1, 1/2)$.

Significado y Reivindicaciones
El artículo afirma proporcionar una caracterización completa de la removibilidad de la singularidad fundamental para la ecuación del calor en conjuntos abiertos arbitrarios, resolviendo la brecha de larga data entre la teoría de regularidad para puntos de frontera finitos y puntos singulares (incluyendo el infinito).

• Unificación: Unifica la prueba de Kolmogorov-Petrovsky (originalmente para dominios específicos de revolución) con la teoría de regularidad de Wiener general para dominios arbitrarios.
• Interpretación Probabilística: Establece una ley asintótica rigurosa para el movimiento de Brownian condicional, vinculando la delgadeza geométrica del complemento del dominio con el comportamiento probabilístico de las trayectorias al aproximarse a la singularidad.
• Optimidad: Se afirma que las pruebas geométricas proporcionadas son agudas, identificando el umbral preciso (que involucra logaritmos iterados) entre la removibilidad y la no removibilidad.
• Generalización: Los resultados extienden el trabajo previo sobre la ecuación de Laplace y la ecuación del calor con $\gamma=0$ al caso general de funciones $h$-parabólicas con polos $\gamma$ arbitrarios, cubriendo tanto singularidades finitas como singularidades en el infinito.

El autor enfatiza que estos resultados se derivan de argumentos rigurosos de la teoría del potencial y no dependen de propuestas experimentales o implicaciones futuras no verificadas, sino de las propiedades estructurales de la ecuación del calor y sus procesos estocásticos asociados.