C^{1,\alpha} regularity for a class of singular/degenerate fully nonlinear elliptic equations with oblique boundary conditions

Titolo: $C^{1,\alpha}$-Regolarità per una Classe di Equazioni Ellittiche Non Lineari Complete Singole/Degeeneri con Condizioni al Contorno Oblique

1. Il Problema

Il lavoro si concentra sulla regolarità globale delle soluzioni di viscosità per una classe di equazioni ellittiche non lineari complete (fully nonlinear) che presentano comportamenti sia singolari che degeneri rispetto al gradiente, soggette a condizioni al contorno oblique.

L'equazione principale studiata è della forma:
$$\begin{cases} \Phi(x, |Du|)F(D^2u) = f & \text{in } \Omega, \\ \beta \cdot Du = g & \text{su } \partial\Omega, \end{cases}$$
dove:

• $\Omega \subset \mathbb{R}^n$ è un dominio limitato di classe $C^1$.
• $F: S^n \to \mathbb{R}$ è un operatore uniformemente ellittico (nel senso di Pucci) con $F(0)=0$.
• $\Phi(x, t)$ è una funzione continua che modula l'ellitticità in base al gradiente $|Du|$. Questa funzione può essere:
  • Degenera: quando $i(\Phi) \ge 0$ (l'operatore perde forza per gradienti grandi o piccoli a seconda del caso).
  • Singola: quando $-1 < i(\Phi) < 0$ (l'operatore diventa singolare quando il gradiente tende a zero).
• $\beta$ è un campo vettoriale che definisce la condizione al contorno obliqua, soddisfacendo $\beta \cdot n \ge \delta_0 > 0$ (dove $n$ è la normale interna).
• $f$ e $g$ sono dati di forzatura e di bordo con appropriate regolarità Hölderiane.

L'obiettivo è stabilire la regolarità globale $C^{1,\alpha}$ per le soluzioni, estendendo i risultati esistenti a un contesto più ampio che include sia il caso singolare che quello degenere, sotto condizioni al contorno non omogenee su domini $C^1$.

2. Metodologia

Gli autori adottano una strategia basata su un argomento di compattezza iterativo, combinato con tecniche di scalatura e stime di regolarità Hölderiane adattate.

• Unificazione dei Regimi:
  Un passo cruciale è la trasformazione del problema singolare in uno degenere. Utilizzando un lemma di trasformazione (Lemma 2.2), l'equazione originale con $\Phi$ singolare viene mappata in un'equazione equivalente con un nuovo operatore $\tilde{\Phi}$ degenere ($i(\tilde{\Phi}) \ge 0$) ma con un termine di sorgente aggiuntivo della forma $|Du|^\gamma$ (con $\gamma \in [0, 1)$). Questo permette di trattare entrambi i casi (singolare e degenere) all'interno di un unico quadro teorico.

• Argomento di Compattezza e Miglioramento della Piattezza (Improvement of Flatness):
  Il cuore della dimostrazione risiede nella capacità di approssimare la soluzione $u$ con una successione di funzioni affini $\{l_k\}$ a scale decrescenti $r^k$.

  1. Si assume che $u$ sia approssimata da un'affine $l_k$ con un errore dell'ordine $r^{k(1+\alpha)}$.
  2. Si definisce una funzione riscalata $v_k(x) = \frac{u(r^k x) - l_k(r^k x)}{r^{k(1+\alpha)}}$.
  3. La funzione $v_k$ non soddisfa l'equazione originale, ma un'equazione perturbata della forma:
     $$\tilde{\Phi}(|Dv_k - q|) F(D^2 v_k) = \tilde{f} |Dv_k - q|^\gamma$$
     dove $q$ è un vettore dipendente dalla pendenza dell'approssimazione precedente.
  4. Si dimostra che, se i dati sono sufficientemente piccoli, $v_k$ può essere approssimata da una soluzione $h$ di un'equazione omogenea con condizioni al contorno costanti, la quale possiede già regolarità $C^{1,\alpha_0}$.

• Stime Uniformi in $q$:
  Una difficoltà tecnica maggiore deriva dal fatto che il vettore $q$ (legato al gradiente dell'approssimazione) può diventare arbitrariamente grande. Gli autori devono ottenere stime di Hölder uniformi rispetto a $q$.

  • Per il caso degenere, utilizzano il metodo del "cuspide scorrevole" (sliding cusp) e del "paraboloide scorrevole" (sliding paraboloid), combinati con una proprietà di scalatura modificata, per ottenere stime di Hölder dove il gradiente è lontano da un punto.
  • Per il caso singolare (trasformato), il termine $|Dv - q|^\gamma$ sul lato destro può crescere indefinitamente se $|q| \to \infty$. Per aggirare questo problema, gli autori restringono l'analisi al regime in cui $|q|^\gamma \|f\|_{L^\infty}$ è limitato, permettendo l'applicazione delle tecniche di compattezza senza ricorrere al metodo di Ishii-Lions (tipico per le condizioni di Neumann omogenee).

3. Contributi Chiave

• Unificazione Singolare/Degenera: Il lavoro fornisce un quadro unificato che tratta simultaneamente il caso degenere ($i(\Phi) \ge 0$) e il caso singolare ($-1 < i(\Phi) < 0$), superando la necessità di trattarli separatamente come fatto in letteratura precedente.
• Estensione alle Condizioni Oblique Non Omogenee: Mentre lavori precedenti (es. [12]) avevano stabilito la regolarità Lipschitz per il caso singolare solo con condizioni di Neumann omogenee, questo articolo estende il risultato a condizioni al contorno oblique non omogenee su domini $C^1$.
• Generalizzazione della Nonlinearità: A differenza di studi precedenti limitati a potenze specifiche $\Phi(x,t) = t^\gamma$, questo lavoro copre una classe molto più ampia di funzioni $\Phi$ che soddisfano le condizioni strutturali (A2), inclusi casi con esponenti variabili e combinazioni di funzioni N.
• Miglioramento della Regolarità: Si passa dalla regolarità Lipschitz (nota per il caso singolare) alla regolarità $C^{1,\alpha}$, che è un risultato più forte e significativo per l'analisi qualitativa delle soluzioni.

4. Risultati Principali

Il risultato centrale è il Teorema 1.1, che stabilisce la regolarità globale $C^{1,\alpha}$ per la soluzione $u$ in un intorno del bordo (e quindi globalmente per compattezza).

L'esponente di regolarità $\alpha$ è determinato da:
$$\alpha \in (0, \alpha_0) \cap \left(0, \frac{1}{1 + s(\Phi) - \min(i(\Phi), \gamma)}\right] \cap (0, \bar{\alpha}]$$
dove:

• $\alpha_0$ è l'esponente ottimale per l'equazione omogenea con condizioni al contorno oblique costanti.
• $s(\Phi)$ e $i(\Phi)$ sono i parametri di crescita superiore e inferiore di $\Phi$.
• $\gamma$ è l'esponente di singolarità/degenerazione introdotto dalla trasformazione.

La stima ottenuta è:
$$\|u\|_{C^{1,\alpha}(\Omega \cap B_{1/2})} \le C \left( \|u\|_{L^\infty} + \|f\|_{L^\infty}^{1/(1+i(\Phi))} + \|g\|_{C^\alpha} \right)$$

Un corollario importante (Corollario 1.1) estende questi risultati a condizioni al contorno miste del tipo $\beta \cdot Du + hu = g$.

5. Significato e Impatto

Questo lavoro rappresenta un avanzamento significativo nella teoria delle equazioni ellittiche non lineari:

1. Completezza Teorica: Colma un vuoto nella letteratura riguardante la regolarità fine ($C^{1,\alpha}$) per equazioni singolari/degeneri con condizioni al contorno oblique, un problema che era aperto o trattato solo parzialmente.
2. Robustezza del Metodo: Dimostra che l'approccio di compattezza, combinato con trasformazioni intelligenti per gestire le singolarità, è uno strumento potente anche in presenza di gradienti che tendono a zero o infinito.
3. Applicabilità: I risultati sono rilevanti per modelli fisici e geometrici dove l'ellitticità dipende dal gradiente (es. fluidi non newtoniani, modelli di crescita, equazioni di curvatura media), specialmente in contesti con condizioni di flusso oblique al bordo.
4. Superamento delle Limitazioni: Rimuove la necessità di condizioni di Neumann omogenee per il caso singolare, rendendo la teoria applicabile a problemi fisici più realistici dove il flusso al bordo è non nullo.

In sintesi, Byun, Kim e Kim forniscono un quadro teorico solido e unificato che generalizza e migliora i risultati esistenti sulla regolarità delle soluzioni per una vasta classe di problemi ellittici non lineari complessi.