Quantitative Weak Unique Continuation on Annular Domains for Backward Degenerate Parabolic Equations with Degenerate Interior Points

Resumen Técnico: Continuación Única Débil Cuantitativa en Dominios Anulares para Ecuaciones Parabólicas Degeneradas hacia Atrás con Puntos de Degeneración Interiores

Enunciado del Problema
Este artículo investiga la propiedad de continuación única débil para ecuaciones parabólicas degeneradas hacia atrás que presentan un punto de degeneración interior. La ecuación específica bajo estudio es:
$$\begin{cases} \partial_t \phi + \text{div}(|x|^\alpha \nabla \phi) = 0, & \text{en } Q = \Omega \times (0, T), \\ \phi = 0, & \text{en } \partial Q, \\ \phi(T) = \phi_T, & \text{en } \Omega, \end{cases}$$
donde $\alpha \in (0, 2)$, $\Omega \subset \mathbb{R}^N$ ($N \ge 2$) es un dominio acotado que contiene el origen con una frontera $C^2$, y $\phi_T \in L^2(\Omega)$. La degeneración ocurre en el punto interior $x=0$. El objetivo principal es establecer un resultado de continuación única débil cuantitativa: si la solución $\phi$ se anula en un subdominio $\omega \times (0, T)$ (donde $\omega$ es una región anular que no contiene el origen), entonces $\phi$ debe anularse idénticamente en todo el dominio $\Omega$.

Metodología
Los autores emplean una metodología de tres pasos centrada en la aproximación y las estimaciones de Carleman:

1. Aproximación del Operador Degenerado:
   A diferencia de trabajos anteriores que utilizaron pesos $A_p$ que pueden carecer de derivadas parciales, este artículo construye una función de aproximación específica $C^{2,1}$, $\psi_\varepsilon(x)$, para $|x|$. Esta función coincide con $|x|$ fuera de una pequeña bola $B_\varepsilon$ y se suaviza dentro de $B_\varepsilon$ para garantizar la diferenciabilidad. El peso degenerado $w = |x|^\alpha$ se aproxima mediante $w_\varepsilon = (\psi_\varepsilon)^\alpha$. Esto permite aproximar la ecuación degenerada mediante una secuencia de ecuaciones parabólicas no degeneradas con pesos $w_\varepsilon$.

2. Derivación de Estimaciones de Carleman:
   Los autores derivan estimaciones de Carleman para las ecuaciones de aproximación no degeneradas. Una contribución técnica clave es la partición del proceso de estimación en tres partes distintas para manejar el error de aproximación cerca del punto degenerado:

   • La región fuera de la pequeña bola ($Q_\varepsilon^c$), donde el peso se comporta como $|x|^\alpha$.
   • La región dentro de la pequeña bola ($Q_\varepsilon$), donde se utiliza el peso suavizado $\psi_\varepsilon$.
   • Los términos de frontera y la interacción entre estas regiones.
     Las estimaciones se establecen para las ecuaciones aproximadas y luego se pasan al límite cuando $\varepsilon \to 0$ (o $k \to \infty$ donde $\varepsilon = 1/k$).

3. Proceso de Límite y Técnicas de Cortina:
   Utilizando la compacidad de los espacios de soluciones y las propiedades de convergencia de las aproximaciones (Teorema 3.1 y Corolario 3.1), las estimaciones de Carleman para las ecuaciones no degeneradas se transfieren a la ecuación degenerada original. Además, se emplea un método de cortina para aislar la parte degenerada del dominio, permitiendo la aplicación de estimaciones clásicas de Carleman en las regiones anulares no degeneradas.

Contribuciones Clave

• Aproximación Diferenciable de Pesos: El artículo introduce un enfoque novedoso de aproximación para el peso $A_p$ $|x|^\alpha$. Mediante la construcción de una función $C^{2,1}$ $\psi_\varepsilon$, los autores aseguran que los pesos aproximados posean las derivadas parciales necesarias requeridas para la derivación rigurosa de estimaciones de Carleman, abordando una limitación en la literatura anterior donde los pesos aproximados eran meramente medibles según Lebesgue.
• Estimaciones Cuantitativas en Dominios Anulares: Los autores establecen desigualdades de continuación única débil cuantitativa específicamente en dominios anulares ($\Omega = A_{3R, 6R}$). Los resultados proporcionan cotas explícitas que relacionan la norma $L^2$ de la solución en el interior con su norma en un sub-anillo.
• Manejo de Degeneración Interior: El trabajo extiende los resultados de continuación única a ecuaciones parabólicas con degeneración en un punto interior ($x=0$) en dimensiones $N \ge 2$, un caso distinto del escenario $N=1$ ampliamente estudiado.

Resultados Principales
El artículo establece la siguiente desigualdad cuantitativa (Teorema 5.3): Para una solución $\phi$ de la ecuación parabólica degenerada hacia atrás, existe una constante $C > 0$ tal que:
$$\iint_{\Omega \times (T/4, 3T/4)} |x|^{2-\alpha} |\phi|^2 \, dx \, dt \le C \iint_{\omega \times (0, T)} |\phi|^2 \, dx \, dt,$$
donde $\omega$ es un subdominio anular.

A partir de esta desigualdad, se deduce la Propiedad de Continuación Única Débil (Corolario 5.1): Si $\phi = 0$ en $\omega \times (0, T)$, entonces $\phi(0) = 0$ en $\Omega$. Por la unicidad hacia atrás de la ecuación, esto implica que $\phi \equiv 0$ en $\Omega$.

Significado y Alcance
El artículo reclama importancia al proporcionar un marco riguroso para la continuación única en ecuaciones parabólicas degeneradas con degeneración interior utilizando métodos de aproximación que preservan la diferenciabilidad. Los autores señalan explícitamente la modestia de su alcance: los resultados están actualmente restringidos a dominios anulares. La extensión de estos resultados cuantitativos de continuación única a dominios arbitrarios se identifica como trabajo futuro. La metodología se basa en y refina técnicas de aproximación utilizadas previamente para ecuaciones elípticas degeneradas, adaptándolas al contexto parabólico con atención específica a la naturaleza dependiente del tiempo del problema.