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

Resumo Técnico: Continuação Única Quantitativa Fraca em Domínios Anulares para Equações Parabólicas Degeneradas Reversas com Pontos de Degeneração Interiores

Enunciado do Problema
Este artigo investiga a propriedade de continuidade única fraca para equações parabólicas degeneradas reversas que apresentam um ponto de degeneração interior. A equação específica sob estudo é:
$$\begin{cases} \partial_t \phi + \text{div}(|x|^\alpha \nabla \phi) = 0, & \text{em } Q = \Omega \times (0, T), \\ \phi = 0, & \text{em } \partial Q, \\ \phi(T) = \phi_T, & \text{em } \Omega, \end{cases}$$
onde $\alpha \in (0, 2)$, $\Omega \subset \mathbb{R}^N$ ($N \ge 2$) é um domínio limitado contendo a origem com fronteira $C^2$, e $\phi_T \in L^2(\Omega)$. A degeneração ocorre no ponto interior $x=0$. O objetivo principal é estabelecer um resultado quantitativo de continuidade única fraca: se a solução $\phi$ se anula em um subdomínio $\omega \times (0, T)$ (onde $\omega$ é uma região anular que não contém a origem), então $\phi$ deve se anular identicamente em todo o domínio $\Omega$.

Metodologia
Os autores empregam uma metodologia de três etapas centrada em aproximação e estimativas de Carleman:

1. Aproximação do Operador Degenerado:
   Diferentemente de trabalhos anteriores que utilizaram pesos $A_p$ que podem carecer de derivadas parciais, este artigo constrói uma função de aproximação específica $C^{2,1}$, $\psi_\varepsilon(x)$, para $|x|$. Esta função coincide com $|x|$ fora de uma pequena bola $B_\varepsilon$ e é suavizada dentro de $B_\varepsilon$ para garantir diferenciabilidade. O peso degenerado $w = |x|^\alpha$ é aproximado por $w_\varepsilon = (\psi_\varepsilon)^\alpha$. Isso permite que a equação degenerada seja aproximada por uma sequência de equações parabólicas não degeneradas com pesos $w_\varepsilon$.

2. Derivação de Estimativas de Carleman:
   Os autores derivam estimativas de Carleman para as equações aproximadas não degeneradas. Uma contribuição técnica chave é a divisão do processo de estimação em três partes distintas para lidar com o erro de aproximação próximo ao ponto degenerado:

   • A região fora da pequena bola ($Q_\varepsilon^c$), onde o peso comporta-se como $|x|^\alpha$.
   • A região dentro da pequena bola ($Q_\varepsilon$), onde o peso suavizado $\psi_\varepsilon$ é utilizado.
   • Os termos de fronteira e a interação entre essas regiões.
     As estimativas são estabelecidas para as equações aproximadas e, em seguida, levadas ao limite quando $\varepsilon \to 0$ (ou $k \to \infty$ onde $\varepsilon = 1/k$).

3. Processo de Limite e Técnicas de Função de Corte:
   Utilizando a compacidade dos espaços de soluções e as propriedades de convergência das aproximações (Teorema 3.1 e Corolário 3.1), as estimativas de Carleman para as equações não degeneradas são transferidas para a equação degenerada original. Adicionalmente, um método de função de corte é empregado para isolar a parte degenerada do domínio, permitindo a aplicação de estimativas clássicas de Carleman nas regiões anulares não degeneradas.

Principais Contribuições

• Aproximação Diferenciável de Pesos: O artigo introduz uma abordagem de aproximação inovadora para o peso $A_p$ $|x|^\alpha$. Ao construir uma função $C^{2,1}$ $\psi_\varepsilon$, os autores garantem que os pesos aproximados possuam as derivadas parciais necessárias para a derivação rigorosa das estimativas de Carleman, abordando uma limitação na literatura anterior onde os pesos aproximados eram meramente mensuráveis segundo Lebesgue.
• Estimativas Quantitativas em Domínios Anulares: Os autores estabelecem desigualdades quantitativas de continuidade única fraca especificamente em domínios anulares ($\Omega = A_{3R, 6R}$). Os resultados fornecem limites explícitos relacionando a norma $L^2$ da solução no interior à sua norma em um sub-anel.
• Tratamento da Degeneração Interior: O trabalho estende resultados de continuidade única para equações parabólicas com degeneração em um ponto interior ($x=0$) em dimensões $N \ge 2$, um caso distinto do cenário $N=1$ amplamente estudado.

Principais Resultados
O artigo estabelece a seguinte desigualdade quantitativa (Teorema 5.3): Para uma solução $\phi$ da equação parabólica degenerada reversa, existe uma 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,$$
onde $\omega$ é um subdomínio anular.

A partir desta desigualdade, a Propriedade de Continuação Única Fraca é deduzida (Corolário 5.1): Se $\phi = 0$ em $\omega \times (0, T)$, então $\phi(0) = 0$ em $\Omega$. Pela unicidade reversa da equação, isso implica $\phi \equiv 0$ em $\Omega$.

Significado e Escopo
O artigo reivindica importância ao fornecer uma estrutura rigorosa para a continuidade única em equações parabólicas degeneradas com degeneração interior, utilizando métodos de aproximação que preservam a diferenciabilidade. Os autores notam explicitamente a modéstia de seu escopo: os resultados estão atualmente restritos a domínios anulares. A extensão desses resultados quantitativos de continuidade única para domínios arbitrários é identificada como trabalho futuro. A metodologia baseia-se e refina técnicas de aproximação previamente utilizadas para equações elípticas degeneradas, adaptando-as ao contexto parabólico com atenção específica à natureza dependente do tempo do problema.