Fully nonlinear elliptic PDEs in thin domains with oblique-Dirichlet mixed boundary conditions

Titolo: Equazioni alle Derivate Parziali (PDE) Ellittiche Non Lineari in Domini Sottili con Condizioni al Bordo Miste Oblique-Dirichlet

Autori: Isabeau Birindelli, Ariela Briani, Hitoshi Ishii

---

1. Il Problema Studiato

Il paper investiga il comportamento asintotico delle soluzioni di equazioni alle derivate parziali (PDE) ellittiche completamente non lineari definite su domini sottili (thin domains).
Il dominio $\Omega_\varepsilon$ è una regione nello spazio $\mathbb{R}^{N+1}$ che collassa su un dominio $\Omega \subset \mathbb{R}^N$ al tendere di un parametro $\varepsilon \to 0^+$. La struttura del dominio è definita come:
$$\Omega_\varepsilon = \{ (x, y) \in \Omega \times \mathbb{R} : \varepsilon g_-(x) < y < \varepsilon g_+(x) \}$$
dove $g_-$ e $g_+$ sono funzioni continue che delimitano la "spessore" del dominio.

Il problema di bordo $(D_\varepsilon)$ è caratterizzato da condizioni miste:

• Condizioni Oblique sulle superfici superiore ($\partial_T \Omega_\varepsilon$) e inferiore ($\partial_B \Omega_\varepsilon$): $\gamma_\pm \cdot Du_\varepsilon = \beta_\pm$.
• Condizione di Dirichlet sulla superficie laterale ($\partial_L \Omega_\varepsilon$): $u_\varepsilon = \beta$.

L'operatore $F$ è di tipo Bellman-Isaacs (inf-sup), tipico della teoria dei giochi differenziali e del controllo ottimo:
$$F(D^2u, Du, u, z) = \inf_{\lambda \in L} \sup_{\mu \in M} \left( -\text{tr}(\sigma_{\lambda\mu}^\top \sigma_{\lambda\mu} D^2u) - b_{\lambda\mu} \cdot Du + c_{\lambda\mu}u - f_{\lambda\mu} \right)$$

2. Innovazione e Ipotesi Principali

La novità fondamentale di questo lavoro rispetto agli studi precedenti (in particolare [2] degli stessi autori) risiede nel rilassamento delle ipotesi di monotonia stretta.

• Ipotesi Precedenti: I lavori precedenti richiedevano che l'operatore fosse strettamente monotono rispetto alla variabile $u$ (cioè $c_{\lambda\mu} > 0$). Questa condizione è spesso necessaria per garantire l'esistenza di soluzioni in problemi di Neumann, ma è restrittiva.
• Nuova Ipotesi: Gli autori assumono solo che $F$ sia non decrescente rispetto a $u$ (cioè $c_{\lambda\mu} \ge 0$).
• Compensazione: Per compensare la mancanza di monotonia stretta, viene introdotta una nuova condizione di ellitticità globale sul dominio limite $\Omega$. Questa condizione richiede l'esistenza di una funzione $s \in C^2(\Omega)$ tale che:
  $$\inf_{(\lambda, \mu) \in L \times M} \left| (Ds(x), -Ds(x)\gamma_0^\top(x)) A_{\lambda\mu}(x, 0) \right| > 0$$
  dove $A_{\lambda\mu} = \sigma_{\lambda\mu}^\top \sigma_{\lambda\mu}$. Questa condizione è più debole dell'ellitticità stretta ma sufficiente per il problema considerato.

3. Metodologia

La dimostrazione si articola in tre fasi principali:

A. Costruzione di Sottosoluzioni e Sovrasoluzioni (Lemma 2)

Il cuore della prova risiede nella costruzione di funzioni barriera (sottosoluzioni e sovrasoluzioni) $\psi_\varepsilon$ e $\underline{\psi}_\varepsilon$ che siano strettamente ordinate e limitate uniformemente in $\varepsilon$.

1. Caso Semplificato ($\gamma_0 = 0$): Viene prima trattato il caso in cui il vettore obliquo limite è nullo. Si costruiscono soluzioni usando una funzione esponenziale della funzione $s$ fornita dalla condizione di ellitticità, sfruttando la convessità/concavità indotta dal termine di secondo ordine.
2. Trasformazione delle Coordinate (Caso Generale): Per gestire il caso generale con $\gamma_0 \neq 0$, gli autori introducono una trasformazione di coordinate (diffeomorfismo $P$) che "distorce" il sistema. Questa trasformazione mappa il dominio originale in un nuovo sistema dove il vettore obliquo limite diventa nullo, riducendo il problema al caso semplificato trattato al punto 1.
3. Stime Uniformi: Si dimostra che le soluzioni costruite rimangono uniformemente limitate per $\varepsilon$ sufficientemente piccolo.

B. Principio di Confronto e Esistenza

Utilizzando il metodo di Perron e le sottosoluzioni/sovrasoluzioni costruite, si prova l'esistenza di soluzioni viscosità limitate per ogni $\varepsilon > 0$ piccolo.
Per il problema limite $(D_0)$, viene stabilito un principio di confronto per le soluzioni viscosità. Anche senza monotonia stretta, la combinazione della condizione di Dirichlet laterale e della nuova condizione di ellitticità globale garantisce l'unicità e la stabilità della soluzione limite.

C. Convergenza Asintotica

Si definiscono i limiti superiori e inferiori (half-limits) delle soluzioni $u_\varepsilon$ quando $\varepsilon \to 0$. Si dimostra che questi limiti soddisfano il problema limite $(D_0)$ e, grazie al principio di confronto, coincidono, garantendo la convergenza uniforme.

4. Risultati Principali (Teorema 1)

Sotto le ipotesi di regolarità e le nuove condizioni di ellitticità, il paper stabilisce:

1. Esistenza e Limitatezza: Per $\varepsilon$ sufficientemente piccolo, il problema $(D_\varepsilon)$ ammette una soluzione viscosità limitata.
2. Esistenza e Unicità del Limite: Esiste un'unica soluzione viscosità $u_0 \in C(\Omega)$ per il problema limite $(D_0)$, che soddisfa la condizione di Dirichlet in senso classico.
3. Convergenza Uniforme: La famiglia di soluzioni $u_\varepsilon$ converge uniformemente a $u_0$ quando $\varepsilon \to 0^+$.

Il problema limite $(D_0)$ è una PDE ellittica su $\Omega$ con condizione di Dirichlet sul bordo $\partial \Omega$, dove i coefficienti dell'operatore sono modificati per tenere conto della geometria del dominio sottile e delle condizioni oblique.

5. Significato e Contributi

• Rimozione della Monotonia Stretta: Il contributo più significativo è la rimozione dell'ipotesi di $c_{\lambda\mu} > 0$ (monotonia stretta), che era un ostacolo tecnico significativo in molti problemi di PDE non lineari. Questo amplia notevolmente la classe di operatori applicabili.
• Condizione di Ellitticità Globale: L'introduzione della condizione (2) o (14) fornisce un nuovo strumento analitico per garantire l'ellitticità necessaria in assenza di termini di reazione positivi. Questa condizione è di natura globale e richiede l'esistenza di una funzione di Lyapunov ($s$) specifica.
• Metodologia Geometrica: L'uso della trasformazione di coordinate per "appiattire" le condizioni oblique in un sistema di riferimento locale è una tecnica elegante che semplifica l'analisi asintotica in domini complessi.
• Applicabilità: I risultati sono rilevanti per la modellizzazione fisica in domini sottili (es. membrane, strati fluidi, materiali compositi) dove le condizioni al bordo possono essere oblique e i modelli matematici non soddisfano necessariamente condizioni di monotonia stretta.

In sintesi, il lavoro estende la teoria asintotica per PDE non lineari in domini sottili a un contesto più generale, risolvendo il problema della mancanza di monotonia stretta attraverso una condizione di ellitticità strutturale innovativa.