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

Sintesi Tecnica: Comportamento a Breve Termine e Superfici Invarianti per Funzioni Caloriche con Valori al Confine Non Costanti

Enunciato del Problema
Questo articolo investiga il comportamento asintotico a breve termine delle soluzioni del problema Cauchy-Dirichlet per equazioni del calore con coefficienti variabili in forma non divergente. Lo studio si concentra su un setting specifico in cui i dati iniziali sono omogenei ($u_0 \equiv 0$), mentre i valori al confine di Dirichlet ($f$) sono non costanti. Gli autori affrontano due obiettivi primari:

1. Derivare formule asintotiche per la soluzione $u(x,t)$ e per il suo risolvente associato $U_\varepsilon(x)$ quando $t \to 0^+$ e $\varepsilon \to 0^+$, rispettivamente, estendendo le classiche formule di Varadhan a casi in cui $f$ può annullarsi o cambiare segno.
2. Utilizzare tali risultati asintotici per analizzare la geometria delle "superfici invarianti nel tempo" (superfici di livello $\Gamma$ dove $u(x,t) = c(t)$) in presenza di tali dati al confine non costanti.

Metodologia
Gli autori impiegano una combinazione di tecniche dalla teoria delle soluzioni viscoshe, dal controllo stocastico e dall'analisi spettrale:

• Soluzioni Viscoshe e Barriere: La derivazione delle formule asintotiche combina i metodi originali di costruzione delle barriere di Varadhan con il framework delle soluzioni viscose sviluppato da Evans e Ishii. Ciò comporta una trasformazione di Hopf-Cole ($V_\varepsilon = -\varepsilon \log U_\varepsilon$) per convertire il problema ellittico lineare in uno non lineare correlato all'equazione dell'eiconale.
• Compattezza e Regolarizzazione: Gli autori stabiliscono la compattezza di Arzelà-Ascoli per la famiglia di soluzioni trasformate $\{V_\varepsilon\}$ e utilizzano tecniche di convoluzione per regolarizzare le funzioni distanza, dimostrando che esse agiscono come sottosoluzioni per le equazioni rilevanti.
• Relazioni di Trasformata di Laplace: La connessione tra la soluzione parabolica $u$ e il risolvente ellittico $U_\varepsilon$ è formalizzata tramite una trasformata di Laplace modificata. Gli autori sfruttano argomenti di tipo Tauberiano (specificamente il Lemma A.1) per trasferire i risultati asintotici dal regime ellittico a quello parabolico.
• Analisi Geometrica: Per i risultati di rigidità, il saggio impiega il metodo dei piani mobili (metodo di Serrin), il principio di riflessione di Alexandrov e lo studio delle curvature principali. Gli autori analizzano il comportamento a lungo termine delle soluzioni per mostrare come l'esistenza di superfici invarianti imponga forti vincoli sui dati al confine.

Contributi Chiave e Risultati

1. Formule di Varadhan Estese
Il saggio generalizza le classiche formule di Varadhan, che mettono in relazione il comportamento a breve termine dei kernel del calore con le funzioni distanza riemanniane.

• Valori al Confine Non Negativi: Quando $f \ge 0$ e non identicamente nulla, gli autori dimostrano che il comportamento asintotico è governato dalla distanza dall'insieme $S = \{x \in \partial\Omega : f(x) > 0\}$. Nello specifico:
  $$\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)$$
  dove $d_S$ è la distanza intrinseca derivata dalla matrice dei coefficienti $A(x)$.
• Valori al Confine con Cambio di Segno: Quando $f$ cambia segno, l'asintotica dipende dalle distanze relative rispetto all'insieme positivo $S_+$ e all'insieme negativo $S_-$. Il limite è determinato dall'insieme più vicino ($S_+$ o $S_-$), a condizione che le distanze siano distinte. Il caso in cui le distanze sono uguali ($d_{S_+} = d_{S_-}$) è mostrato essere delicato, portando potenzialmente a limiti infiniti o alla dipendenza dai valori specifici di $f$.

2. Asintotica per il Contenuto Termico su Sfere
Per l'operatore di Laplace classico ($A(x)=I$), gli autori derivano nuove formule asintotiche per il contenuto termico (e il valore medio del risolvente) su sfere che toccano il confine. Queste formule estendono i risultati precedenti di Sakaguchi e del secondo autore a valori al confine non costanti. I limiti coinvolgono le curvature principali del confine nel punto di contatto e il valore della funzione al confine $f$ in quel punto.

3. Risultati di Rigidità e Simmetria
Il saggio applica le formule derivate per caratterizzare le superfici invarianti nel tempo:

• Simmetria per Dati Non Negativi: Se i dati al confine sono non negativi e esiste una superficie invariante nel tempo per ogni tempo, il dominio $\Omega$ e la superficie devono essere sfere concentriche, e il dato al confine $f$ deve essere costante. Questo risultato è ottenuto analizzando il comportamento a lungo termine, che forza il dato al confine a essere costante tramite analisi.
• Due Superfici Invarianti: Se esistono due superfici invarianti nel tempo disgiunte per tempi brevi (senza fare affidamento sul comportamento a lungo termine), il dominio e le superfici sono sfere concentriche, e $f$ è costante.
• Non Esistenza per Dati con Cambio di Segno: Se il dato al confine cambia segno e il dominio soddisfa certe condizioni di regolarità, non può esistere alcuna superficie invariante nel tempo che sia compattamente contenuta nel dominio (ovvero che non tocchi il confine). Gli autori notano che in questo regime possono esistere superfici invarianti che si estendono fino al confine o che presentano auto-intersezioni.

Significato e Rivendicazioni
Il saggio sostiene di estendere le celebri formule di Varadhan a una classe più ampia di condizioni al contorno, affrontando specificamente il caso in cui i valori al confine si annullano o cambiano segno, uno scenario non coperto dai precedenti risultati standard. Gli autori sottolineano come il loro approccio unifichi i comportamenti ellittico (diffusione lenta) e parabolico (breve termine).

Riguardo alla rigidità, il saggio evidenzia come la presenza di valori al confine non costanti alteri significativamente il panorama delle superfici invarianti nel tempo. Mentre i valori al confine costanti permettono la simmetria sferica, l'introduzione di dati con cambio di segno generalmente preclude l'esistenza di superfici invarianti compattamente contenute. Gli autori pongono il loro lavoro come un passo necessario per comprendere l' "sovradeterminazione" introdotta dalle superfici invarianti in contesti non omogenei, fornendo una base per future indagini sulla delicata geometria delle superfici nei regimi con cambio di segno. I risultati sono presentati come estensioni rigorose della letteratura esistente riguardante il "Problema della Zuppa di Polpette" (Matzoh Ball Soup Problem) e questioni di rigidità correlate.