Regularity to Thin Obstacle Problem in Orlicz spaces

Sintesi Tecnica: Regolarità per il Problema dell'Ostacolo Sottile in Spazi di Orlicz

Enunciato del Problema
Questo lavoro investiga la regolarità dei minimizzanti per una classe di funzionali di energia associati al problema dell'ostacolo sottile (noto anche come problema di Signorini) all'interno del framework degli spazi di Orlicz. Il funzionale in esame è:
$$J(u) = \int_{B_1^+} G(|\nabla u(x)|) \, dx$$
definito sulla classe ammissibile $\mathcal{G} = \{v \in W^{1,G}(B_1^+) : v = \phi \text{ su } (\partial B_1)^+, v \geq 0 \text{ su } T_1\}$, dove $B_1^+ = B_1 \cap \mathbb{R}^n_+$, $T_1 = B_1 \cap \{x_n = 0\}$, e $G$ è una funzione $N$. Il sistema di Eulero-Lagrange associato coinvolge l'operatore $g$-Laplaciano, $\Delta_g u = \text{div}\left(\frac{g(|\nabla u|)}{|\nabla u|} \nabla u\right)$, soggetto a vincoli unilaterali sulla frontiera piatta $T_1$.

Gli autori affrontano la sfida di stabilire risultati di regolarità quando la crescita del funzionale dell'energia è non standard (governata da una funzione $G$ piuttosto che da una semplice potenza $t^p$) e l'operatore manca di omogeneità. Questo setting generalizza i lavori precedenti sul $p$-Laplaciano e sul classico Laplaciano ($G(t)=t^2$) a una più ampia classe di spazi di Orlicz.

Metodologia
L'analisi si basa su tecniche adattate dalla teoria classica della regolarità di De Giorgi, modificate per accomodare la natura non omogenea del $g$-Laplaciano e la specifica geometria dell'ostacolo sottile. La metodologia procede attraverso le seguenti fasi:

1. Esistenza e Regolarità Lipschitziana:

   • Gli autori stabiliscono innanzitutto l'esistenza dei minimizzanti utilizzando il metodo diretto del calcolo delle variazioni, sfruttando la convessità di $G$ e la compattezza dell'operatore di traccia negli spazi di Orlicz-Sobolev.
   • Per dimostrare la continuità Lipschitziana ($C^{0,1}$), il problema viene esteso alla palla completa $B_1$ tramite una riflessione pari del minimizzante $u$ e dei dati al contorno $\phi$. Ciò trasforma il problema dell'ostacolo sottile in un classico problema dell'ostacolo con un ostacolo $\psi$ costruito. Utilizzando la regolarità al contorno delle funzioni $g$-armoniche e i principi di confronto, gli autori derivano una stima Lipschitz per il minimizzante esteso, che si restringe al dominio originale.

2. Stime del Gradiente e Iterazione di De Giorgi:

   • Il nucleo della dimostrazione della regolarità consiste nell'analizzare le derivate parziali del minimizzante. Gli autori definiscono $v = \partial_m u$ (derivate tangenziali) e studiano il loro comportamento nell'insieme dove il gradiente è limitato lontano dallo zero.
   • Derivano una disuguaglianza di tipo Caccioppoli per il gradiente di $v$ nell'insieme $\{v \geq k\}$. Questo comporta la differenziazione dell'equazione di Eulero-Lagrange e l'utilizzo delle condizioni strutturali su $g$ (specificamente i limiti $\delta_0 \leq tg'(t)/g(t) \leq g_0$) per stabilire il controllo di ellitticità e crescita.
   • Viene impiegato uno schema di iterazione di tipo De Giorgi. Questo include la dimostrazione di una stima di decadimento per la misura dell'insieme in cui la derivata eccede un certo livello (Lemma 4.4) e l'estabilimento di un limite superiore per il supremo delle derivate (Lemma 4.5).

3. Continuità Hölderiana del Gradiente:

   • L'ultimo passaggio coinvolge un'analisi di blow-up vicino alla frontiera libera. Gli autori assumono una contraddizione in cui il gradiente non è Hölder continuo e costruiscono una sequenza di minimizzanti riscalati.
   • Utilizzando la regolarità Lipschitziana e la struttura dell'insieme di contatto, dimostrano che il limite di questa sequenza deve essere una specifica funzione lineare. Analizzando le condizioni al contorno e l'insieme di contatto, derivano una contraddizione, provando così che il gradiente deve soddisfare una stima di decadimento.
   • Questa stima di decadimento è formalizzata utilizzando un lemma sulle funzioni non decrescenti (Lemma 5.2), portando alla conclusione che il gradiente è Hölder continuo.

Contributi Chiave e Risultati
L'articolo stabilisce i seguenti risultati principali sotto le assunzioni strutturali (H1) sulla funzione $N$ $G$ e (H2) sui dati al contorno:

• Teorema 1.1 (Risultato Principale di Regolarità): Se $u$ è un minimizzante del funzionale $J$, allora $u \in C^{1,\gamma}(B_{1/2}^+)$ per qualche $\gamma \in (0, 1)$. L'esponente $\gamma$ dipende solo dalla dimensione $n$ e dalle costanti strutturali $\delta_0$ e $g_0$. Questo risultato unifica ed estende i precedenti risultati per il $p$-Laplaciano e i classici problemi dell'ostacolo alla generale impostazione di Orlicz.
• Teorema 1.2 (Struttura degli Insiemi Nodali): Come sottoprodotto della regolarità $C^{1,\gamma}$, gli autori caratterizzano la struttura degli insiemi nodali dei minimizzanti. Nello specifico, si dimostra che l'insieme di punti in cui le prime derivate si annullano ($n_1(u)$) è una unione finita di varietà $C^{1,\gamma}$ di dimensione $j$.

Significato e Rivendicazioni
Gli autori affermano che il loro lavoro fornisce un trattamento unificato della regolarità per i problemi dell'ostacolo sottile, comprendendo come casi speciali il classico caso quadratico ($G(t)=t^2$) e il caso di crescita $p$ ($G(t)=t^p$).

Un contributo primario è l'adattamento del framework di De Giorgi ad operatori non omogenei. Gli autori osservano che la mancanza di omogeneità nel $g$-Laplaciano introduce differenze concettuali e tecniche sostanziali rispetto al classico setting $p$-omogeneo, rendendo necessario un approccio analitico distinto. Essi enfatizzano che il loro metodo estende il framework di De Giorgi oltre i modelli omogenei, fornendo una teoria robusta per i modelli variazionali con condizioni di crescita non standard.

Il saggio non propone nuove applicazioni sperimentali o direzioni future oltre l'ambito matematico dello stabilire questi teoremi di regolarità e della caratterizzazione degli insiemi nodali. La significatività risiede nell'estensione rigorosa dei noti risultati di regolarità al contesto più ampio degli spazi di Orlicz, che sono rilevanti per la modellazione dell'elasticità non lineare e dei fluidi elettroridologici.