Short-time behavior and invariant surfaces for caloric functions with non-constant boundary values

Resumo Técnico: Comportamento de Curto Prazo e Superfícies Invariantes para Funções Calóricas com Valores de Contorno Não Constantes

Enunciado do Problema
Este artigo investiga o comportamento assintótico de curto prazo de soluções para problemas Cauchy-Dirichlet para equações do calor com coeficientes variáveis em forma não divergente. O estudo foca em um cenário específico onde os dados iniciais são homogêneos ($u_0 \equiv 0$), enquanto os valores de contorno de Dirichlet ($f$) não são constantes. Os autores abordam dois objetivos primários:

1. Derivar fórmulas assintóticas para a solução $u(x,t)$ e seu resolvente associado $U_\varepsilon(x)$ conforme $t \to 0^+$ e $\varepsilon \to 0^+$, respectivamente, estendendo as fórmulas clássicas de Varadhan para casos onde $f$ pode se anular ou mudar de sinal.
2. Utilizar esses resultados assintóticos para analisar a geometria de "superfícies invariantes no tempo" (superfícies de nível $\Gamma$ onde $u(x,t) = c(t)$) na presença de tais dados de contorno não constantes.

Metodologia
Os autores empregam uma combinação de técnicas da teoria de soluções viscosas, controle estocástico e análise espectral:

• Soluções Viscosas e Barreiras: A derivação das fórmulas assintóticas combina os métodos originais de construção de barreiras de Varadhan com o arcabouço de soluções viscosas desenvolvido por Evans e Ishii. Isso envolve uma transformação de Hopf-Cole ($V_\varepsilon = -\varepsilon \log U_\varepsilon$) para converter o problema elíptico linear em um problema não linear relacionado à equação eikonal.
• Compacidade e Regularização: Os autores estabelecem a compacidade de Arzelà-Ascoli para a família de soluções transformadas $\{V_\varepsilon\}$ e utilizam técnicas de convolução para regularizar funções de distância, provando que estas atuam como subsoluções para as equações relevantes.
• Relações de Transformada de Laplace: A conexão entre a solução parabólica $u$ e o resolvente elíptico $U_\varepsilon$ é formalizada via uma transformada de Laplace modificada. Os autores utilizam argumentos do tipo Tauberiano (especificamente o Lema A.1) para transferir resultados assintóticos do regime elíptico para o regime parabólico.
• Análise Geométrica: Para os resultados de rigidez, o artigo emprega o método de planos móveis (método de Serrin), o princípio de reflexão de Alexandrov e o estudo de curvaturas principais. Os autores analisam o comportamento de longo prazo das soluções para mostrar que a existência de superfícies invariantes impõe restrições fortes sobre os dados de contorno.

Principais Contribuições e Resultados

1. Fórmulas de Varadhan Estendidas
O artigo generaliza as fórmulas clássicas de Varadhan, que relacionam o comportamento de curto prazo dos núcleos de calor com funções de distância de Riemann.

• Valores de Contorno Não Negativos: Quando $f \ge 0$ e não é identicamente nula, os autores provam que o comportamento assintótico é governado pela distância ao conjunto $S = \{x \in \partial\Omega : f(x) > 0\}$. Especificamente:
  $$\lim_{t \to 0^+} [-4t \log u(x,t)] = d_S(x)^2$$
  $$\lim_{\varepsilon \to 0^+} [-\varepsilon \log U_\varepsilon(x)] = d_S(x)$$
  onde $d_S$ é a distância intrínseca derivada da matriz de coeficientes $A(x)$.
• Valores de Contorno com Mudança de Sinal: Quando $f$ muda de sinal, as assintóticas dependem das distâncias relativas ao conjunto positivo $S_+$ e ao conjunto negativo $S_-$. O limite é determinado pelo conjunto mais próximo ($S_+$ ou $S_-$), desde que as distâncias sejam distintas. O caso onde as distâncias são iguais ($d_{S_+} = d_{S_-}$) mostra-se delicado, podendo levar a limites infinitos ou dependência dos valores específicos de $f$.

2. Assintóticas para Conteúdo de Calor em Esferas
Para o operador de Laplace clássico ($A(x)=I$), os autores derivam novas fórmulas assintóticas para o conteúdo de calor (e o valor médio do resolvente) em esferas que tocam o contorno. Essas fórmulas estendem resultados anteriores de Sakaguchi e do segundo autor para valores de contorno não constantes. Os limites envolvem as curvaturas principais do contorno no ponto de toque e o valor da função de contorno $f$ naquele ponto.

3. Resultados de Rigidez e Simetria
O artigo aplica as fórmulas derivadas para caracterizar superfícies invariantes no tempo:

• Simetria para Dados Não Negativos: Se os dados de contorno forem não negativos e uma superfície invariante no tempo existir para todo o tempo, o domínio $\Omega$ e a superfície devem ser bolas concêntricas, e o dado de contorno $f$ deve ser constante. Este resultado é alcançado analisando o comportamento de longo prazo, que força o dado de contorno a ser constante via analiticidade.
• Duas Superfícies Invariantes: Se duas superfícies disjuntas invariantes no tempo existirem para tempos curtos (sem depender do comportamento de longo prazo), o domínio e as superfícies são bolas concêntricas, e $f$ é constante.
• Não Existência para Dados com Mudança de Sinal: Se o dado de contorno muda de sinal e o domínio satisfaz certas condições de regularidade, nenhuma superfície invariante no tempo pode existir que esteja contida de forma compacta dentro do domínio (ou seja, sem tocar o contorno). Os autores observam que superfícies invariantes que se estendem ao contorno ou com autointerseções podem existir neste regime.

Significância e Alegações
O artigo afirma estender as célebres fórmulas de Varadhan para uma classe mais ampla de condições de contorno, especificamente abordando o caso onde os valores de contorno se anulam ou mudam de sinal, um cenário não coberto pelos resultados padrão anteriores. Os autores enfatizam que sua abordagem unifica os comportamentos elíptico (difusão lenta) e parabólico (curto prazo).

Em relação à rigidez, o artigo destaca que a presença de valores de contorno não constantes altera significativamente o panorama das superfícies invariantes no tempo. Enquanto valores de contorno constantes permitem simetria esférica, a introdução de dados com mudança de sinal geralmente impede a existência de superfícies invariantes contidas de forma compacta. Os autores posicionam seu trabalho como um passo necessário para compreender a "sobredeterminação" introduzida por superfícies invariantes em configurações não homogêneas, fornecendo uma base para investigações futuras sobre a delicada geometria de superfícies em regimes de mudança de sinal. Os resultados são apresentados como extensões rigorosas da literatura existente sobre o Problema da Sopa de Bolas de Matzah e questões de rigidez relacionadas.