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

Résumé Technique : Comportement à Temps Court et Surfaces Invariantes pour les Fonctions Caloriques avec Valeurs aux Limites Non Constantes

Énoncé du Problème
Cet article étudie le comportement asymptotique à temps court des solutions du problème de Cauchy-Dirichlet pour les équations de la chaleur à coefficients variables sous forme non divergente. L'étude se concentre sur un cadre spécifique où les données initiales sont homogènes ($u_0 \equiv 0$), tandis que les valeurs de Dirichlet à la frontière ($f$) sont non constantes. Les auteurs abordent deux objectifs principaux :

1. Dériver des formules asymptotiques pour la solution $u(x,t)$ et son résolvante associée $U_\varepsilon(x)$ lorsque $t \to 0^+$ et $\varepsilon \to 0^+$, respectivement, en étendant les formules classiques de Varadhan aux cas où $f$ peut s'annuler ou changer de signe.
2. Utiliser ces résultats asymptotiques pour analyser la géométrie des « surfaces invariantes dans le temps » (surfaces de niveau $\Gamma$ où $u(x,t) = c(t)$) en présence de telles données limites non constantes.

Méthodologie
Les auteurs emploient une combinaison de techniques issues de la théorie des solutions de viscosité, du contrôle stochastique et de l'analyse spectrale :

• Solutions de Viscosité et Barrières : La dérivation des formules asymptotiques combine les méthodes originales de construction de barrières de Varadhan avec le cadre des solutions de viscosité développé par Evans et Ishii. Cela implique une transformation de Hopf-Cole ($V_\varepsilon = -\varepsilon \log U_\varepsilon$) pour convertir le problème elliptique linéaire en un problème non linéaire lié à l'équation de l'éikonal.
• Compacité et Régularisation : Les auteurs établissent la compacité d'Arzelà-Ascoli pour la famille de solutions transformées $\{V_\varepsilon\}$ et utilisent des techniques de convolution pour régulariser les fonctions de distance, prouvant qu'elles agissent comme des sous-solutions aux équations pertinentes.
• Relations de Transformée de Laplace : La connexion entre la solution parabolique $u$ et la résolvante elliptique $U_\varepsilon$ est formalisée via une transformation de Laplace modifiée. Les auteurs exploitent des arguments de type Tauberien (spécifiquement le Lemme A.1) pour transférer les résultats asymptotiques du régime elliptique vers le régime parabolique.
• Analyse Géométrique : Pour les résultats de rigidité, l'article emploie la méthode des plans mobiles (méthode de Serrin), le principe de réflexion d'Alexandrov et l'étude des courbures principales. Les auteurs analysent le comportement à temps long des solutions pour montrer que l'existence de surfaces invariantes impose des contraintes fortes sur les données limites.

Contributions Clés et Résultats

1. Formules de Varadhan Étendues
L'article généralise les formules classiques de Varadhan, qui relient le comportement à temps court des noyaux de la chaleur aux fonctions de distance riemanniennes.

• Valeurs Limites Non Négatives : Lorsque $f \ge 0$ et n'est pas identiquement nulle, les auteurs prouvent que le comportement asymptotique est régi par la distance à l'ensemble $S = \{x \in \partial\Omega : f(x) > 0\}$. Plus précisément :
  $$\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)$$
  où $d_S$ est la distance intrinsèque dérivée de la matrice de coefficients $A(x)$.
• Valeurs Limites Changeant de Signe : Lorsque $f$ change de signe, les asymptotiques dépendent des distances relatives aux ensembles positif $S_+$ et négatif $S_-$. La limite est déterminée par l'ensemble le plus proche ($S_+$ ou $S_-$), à condition que les distances soient distinctes. Le cas où les distances sont égales ($d_{S_+} = d_{S_-}$) est montré comme étant délicat, pouvant mener à des limites infinies ou à une dépendance vis-à-vis des valeurs spécifiques de $f$.

2. Asymptotiques pour le Contenu Thermique sur les Sphères
Pour l'opérateur de Laplace classique ($A(x)=I$), les auteurs dérivent de nouvelles formules asymptotiques pour le contenu thermique (et la moyenne de la résolvante) sur des sphères touchant la frontière. Ces formules étendent les résultats précédents de Sakaguchi et du second auteur à des valeurs limites non constantes. Les limites impliquent les courbures principales de la frontière au point de contact et la valeur de la fonction de bord $f$ en ce point.

3. Résultats de Rigidité et de Symétrie
L'article applique les formules dérivées pour caractériser les surfaces invariantes dans le temps :

• Symétrie pour les Données Non Négatives : Si les données limites sont non négatives et qu'une surface invariante dans le temps existe pour tout temps, le domaine $\Omega$ et la surface doivent être des boules concentriques, et la donnée limite $f$ doit être constante. Ce résultat est obtenu en analysant le comportement à temps long, qui force la donnée limite à être constante via l'analyticité.
• Deux Surfaces Invariantes : Si deux surfaces invariantes dans le temps disjointes existent pour des temps courts (sans reposer sur le comportement à temps long), le domaine et les surfaces sont des boules concentriques, et $f$ est constante.
• Non-existence pour les Données Changeant de Signe : Si la donnée limite change de signe et que le domaine satisfait certaines conditions de régularité, aucune surface invariante dans le temps ne peut exister si elle est contenue de manière compacte dans le domaine (c'est-à-dire sans toucher la frontière). Les auteurs notent que des surfaces invariantes s'étendant jusqu'à la frontière ou présentant des auto-intersections peuvent exister dans ce régime.

Signification et Revendications
L'article affirme étendre les célèbres formules de Varadhan à une classe plus large de conditions aux limites, en traitant spécifiquement le cas où les valeurs limites s'annulent ou changent de signe, un scénario non couvert par les résultats standards précédents. Les auteurs soulignent que leur approche unifie les comportements elliptiques (diffusion lente) et paraboliques (temps court).

Concernant la rigidité, l'article met en évidence que la présence de données limites non constantes modifie considérablement le paysage des surfaces invariantes dans le temps. Alors que les données limites constantes permettent une symétrie sphérique, l'introduction de données changeant de signe prévient généralement l'existence de surfaces invariantes contenues de manière compacte. Les auteurs positionnent leur travail comme une étape nécessaire pour comprendre la « surdétermination » introduite par les surfaces invariantes dans les contextes non homogènes, fournissant une base pour des investigations futures sur la géométrie délicate des surfaces dans les régimes de changement de signe. Les résultats sont présentés comme des extensions rigoureuses de la littérature existante sur le problème de la soupe de boulettes de Matzah (Matzoh Ball Soup Problem) et les questions de rigidité connexes.