Counterexamples to maximal regularity for operators in divergence form

Sintesi Tecnica: Controesempi alla Massima Regolarità per Operatori in Forma Divergente

Enunciato del Problema
Questo articolo affronta due domande fondamentali riguardanti la regolarità delle soluzioni a equazioni alle derivate parziali (PDE) paraboliche in forma divergente con coefficienti dipendenti dal tempo. Gli autori considerano il problema di Cauchy astratto (CP):
$$\begin{cases} u' - Au = f, & \text{su } (0, 1), \\ u(0) = 0, \end{cases}$$
dove $A(t)$ è una famiglia misurabile rispetto a Borel di operatori che mappano uno spazio di Hilbert $V$ nel suo duale $V^*$, soddisfacendo condizioni di coercività e limitatezza. Nello specifico, gli autori si concentrano sul contesto concreto in cui $H = L^2(\mathbb{R}^d)$, $V = H^1(\mathbb{R}^d)$, e $A(t)v = -\text{div}(B(t)\nabla v)$, con $B$ un campo di matrici uniformemente ellittiche.

Lo studio investiga due problemi specifici di regolarità:

1. Problema 1 (Massima $L^p$-regolarità su $V$): Per $p \in (1, \infty) \setminus \{2\}$, la condizione $f \in L^p(0, 1; V^*)$ implica che l'unica soluzione debole $u$ appartenga a $L^p(0, 1; V)$?
2. Problema 2 (Massima $L^2$-regolarità su $H$): La condizione $f \in L^2(0, 1; H)$ implica che la derivata temporale della soluzione soddisfi $u' \in L^2(0, 1; H)$?

Sebbene la teoria di Lions garantisca una soluzione debole unica in $L^2(0, 1; V) \cap H^1(0, 1; V^*)$ sotto la sola ipotesi di coercività, e siano esistiti risultati positivi per operatori autonomi o per operatori con sufficiente regolarità temporale (ad esempio, continuità o continuità Hölder), il comportamento per generali operatori con coefficienti dipendenti dal tempo senza tali assunzioni di regolarità rimane aperto. I precedenti controesempi di Dier e Fackler erano astratti e non operatori differenziali. Questo articolo mira a costruire controesempi che siano veri operatori differenziali.

Metodologia
L'approccio degli autori si basa su una specifica costruzione di soluzioni di PDE paraboliche lineari con coefficienti complessi, sviluppata originariamente dal secondo autore in [19]. La metodologia procede come segue:

1. Costruzione tramite Simmetria di Scaling: Gli autori utilizzano un ansatz autosimilare per la soluzione $\zeta(t, x)$ e la matrice dei coefficienti $B(t, x)$:
   $$\zeta(t, x) = (1-t)^{-\mu/2} e^{-i \log(1-t)/2} w\left(\frac{x}{(1-t)^{1/2}}\right), \quad B(t, x) = a\left(\frac{x}{(1-t)^{1/2}}\right).$$
   Ciò riduce la PDE parabolica a una PDE ellittica per la funzione di profilo $w$ e il campo di coefficienti $a$ su $\mathbb{R}^d$.

2. Esistenza di Profili Singolari: Citando [19], gli autori notano che per ogni parametro $\mu \in [0, d/2)$, esistono coefficienti $a$ uniformemente ellittici e soluzioni $w$ regolari (lontano dall'origine) tali che $w$ sia localmente Lipschitz ma presenti specifici tassi di decadimento all'infinito ($|x|^{-\mu}$). Fondamentalmente, la parte immaginaria di $B$ è scelta per essere simmetrica, permettendo un forte accoppiamento tra le parti reale e immaginaria dell'equazione senza violare la condizione di ellitticità.

3. Localizzazione e Generazione di Controesempi: Per adattare queste soluzioni globali all'intervallo di tempo limitato $(0, 1)$ e al problema specifico, gli autori introducono una funzione di cutoff regolare $\eta$. Definiscono un nuovo candidato soluzione $u(t, x) = t \zeta(t, x) \eta(x)$ e derivano il corrispondente termine di forzante $f$.

4. Analisi della Regolarità: Il cuore della dimostrazione consiste nel stimare l'integrabilità di $u$ e $f$. Selezionando attentamente i parametri $\mu$, $r$ e $s$, gli autori dimostrano che, sebbene $f$ possieda un'alta regolarità (ad esempio, $f \in L^\infty(0, 1; L^2)$), la soluzione $u$ non appartiene a specifici spazi a norma mista $L^r(0, 1; L^s(\mathbb{R}^d))$.

5. Dualità e Interpolazione:

   • Per il Problema 1 con $p > 2$, il fallimento dell'integrabilità $L^r(L^s)$ implica direttamente il fallimento della regolarità $L^p(0, 1; H^1)$ tramite l'imbedimento di Sobolev.
   • Per il Problema 1 con $p < 2$, viene impiegato un argomento di dualità. Assumere che la massima regolarità valga per $p$ conduce a una contraddizione con il noto fallimento per l'esponente duale $p'$.
   • Per il Problema 2, l'interpolazione complessa e i teoremi di imbedimento di Sobolev vengono utilizzati per mostrare che, se $u$ possedesse la regolarità temporale richiesta ($H^\nu$), dovrebbe necessariamente appartenere allo spazio $L^r(L^s)$, che è già stato dimostrato non appartenere a tale spazio.

Contributi Chiave e Risultati

• Teorema 2.4 (Fallimento della Maggiore Integrabilità): Per dimensioni $d \ge 2$ ed esponenti $r, s \in (1, \infty)$ tali che $\frac{2}{r} + \frac{d}{s} < \frac{d}{2}$, esiste una matrice ellittica $B$ e un termine di forzante $f \in L^\infty(0, 1; L^2)$ tali che l'unica soluzione $u$ dell'equazione in forma divergente non sia in $L^r(0, 1; L^s)$.
• Teorema 2.5 (Fallimento della Massima $L^p$-regolarità per il Problema 1): Per ogni $p \in (1, \infty) \setminus \{2\}$, esiste un operatore ellittico in forma divergente e un termine di forzante $f \in L^p(0, 1; H^{-1})$ tale che la soluzione $u$ non appartenga a $L^p(0, 1; H^1)$. Ciò dimostra che il risultato positivo del Teorema 2.2 (che garantisce la regolarità per un piccolo intorno di 2) è ottimale e non può essere esteso a tutto l'intervallo $(1, \infty)$ senza ulteriori assunzioni sulla regolarità temporale dei coefficienti.
• Teorema 2.7 (Fallimento della Massima $L^2$-regolarità per il Problema 2): Per ogni $\nu \in (1/2, 1]$, esiste un operatore ellittico e una forzante $f \in L^\infty(0, 1; L^2)$ tale che la soluzione $u$ non appartenga allo spazio di Sobolev frazionario $H^\nu(0, 1; L^2)$. Questo fornisce una risposta negativa al problema di Lions per generali operatori ellittici in forma divergente, mostrando che la soluzione può fallire nell'avere anche una regolarità temporale di ordine $1/2$ in $L^2$.

Significatività e Rivendicazioni
L'articolo sostiene di risolvere la questione se la massima regolarità valga per generali operatori in forma divergente dipendenti dal tempo fornendo controesempi espliciti che sono operatori differenziali, piuttosto che operatori astratti.

• Ottimalità della Teoria Esistente: I risultati confermano che il piccolo intervallo di $p$ per cui la massima $L^p$-regolarità è valida (Teorema 2.2) è ottimale e non può essere esteso all'intero intervallo $(1, \infty)$ senza ulteriori assunzioni sulla regolarità temporale dei coefficienti.
• Limitazioni della Struttura in Forma Divergente: A differenza del problema della radice quadrata di Kato, dove la struttura differenziale ha fornito risultati positivi, questo lavoro mostra che la sola struttura in forma divergente è insufficiente a garantire la massima regolarità quando i coefficienti mancano di continuità temporale.
• Regolarità dei Coefficienti: Gli autori osservano che i loro controesempi si basano su coefficienti $B$ che non sono continui nel tempo (specificamente, non continui come mappe in $L^\infty$). Essi dichiarano esplicitamente che trovare un controesempio per il Problema 2 con coefficienti Hölder continui (specificamente per $\nu=1$) rimane un problema aperto e interessante, dato che esistono risultati positivi per coefficienti con una regolarità leggermente superiore (ad esempio, $C^{1/2+\epsilon}$).

L'articolo conclude riconoscendo questioni aperte, incluso il caso di operatori simmetrici/ermitiani e il setting monodimensionale ($d=1$), dove il comportamento potrebbe differire.