Wolff potential estimates for elliptic obstacle problems with generalized Orlicz growth

Sintesi Tecnica: Stime del Potenziale di Wolff per Problemi di Ostacolo Ellittici con Crescita di Orlicz Generalizzata

Enunciato del Problema
Questo articolo investiga i problemi di ostacolo ellittici che coinvolgono dati di misura nel contesto degli spazi di Orlicz generalizzati. L'equazione principale considerata è:
$$-\text{div}\left( \frac{g(x, |Du|)}{|Du|} Du \right) = \mu \quad \text{in } \Omega,$$
soggetto al vincolo di ostacolo $u \geq \psi$ quasi ovunque in un dominio limitato $\Omega \subseteq \mathbb{R}^n$ ($n \geq 2$). Qui, $\mu$ è una misura di Radon con segno e variazione totale finita, e $g(x, t)$ rappresenta una non linearità che soddisfa condizioni di crescita di Orlicz generalizzata. Questo ambito comprende casi specifici come la crescita $p(x)$, la crescita perturbata a esponente variabile e la crescita a doppia fase. Si assume che la funzione di ostacolo $\psi$ appartenga allo spazio di Musielak-Orlicz-Sobolev $W^{1,G}(\Omega)$, senza richiedere assunzioni di regolarità superiore (ad esempio $W^{2,1}$) sull'ostacolo che erano presenti nella letteratura precedente.

Metodologia
Gli autori impiegano un approccio unificato per gestire i problemi di ostacolo ellittici, evitando la necessità di trattamenti separati per i casi $p < 2$ e $p \geq 2$. La metodologia procede attraverso le seguenti fasi:

1. Teoria dell'Esistenza: L'esistenza di soluzioni nello spazio di Musielak-Orlicz è stabilita utilizzando tecniche di approssimazione. Gli autori considerano una sequenza di problemi approssimanti con dati regolarizzati $f_i \in L^1(\Omega) \cap (W^{1,G}(\Omega))'$ che convergono alla misura $\mu$. Utilizzando la riflessività dello spazio e argomenti di compattezza (teoremi di Banach-Alaoglu e Dunford-Pettis), dimostrano l'esistenza di un limite di soluzioni approssimanti.
2. Stime di Confronto: Viene utilizzato un argomento di confronto multi-step per colmare il divario tra la soluzione del problema di ostacolo non omogeneo e le soluzioni di equazioni omogenee. Il processo prevede:
   • Il confronto della soluzione $u$ con una soluzione $w_1$ di un problema di ostacolo omogeneo con gli stessi dati al contorno.
   • Il confronto di $w_1$ con una soluzione $w_2$ di un problema con coefficienti regolarizzati (utilizzando una funzione di Orlicz regolarizzata $\tilde{G}$).
   • Il confronto di $w_2$ con una soluzione $w_3$ di una relativa equazione ellittica senza il vincolo di ostacolo.
   • Il confronto di $w_3$ con una soluzione $w_4$ di un'equazione omogenea con coefficienti congelati.
3. Decadimento dell'Eccesso e Stime di Potenziale: Sfruttando le stime di confronto, gli autori derivano stime di decadimento dell'eccesso per i gradienti. Queste stime vengono poi iterate per ottenere limiti puntuali. Il nucleo dell'analisi si basa sul potenziale di Wolff e sulle funzioni massimali frazionarie ristrette per quantificare l'influenza della misura $\mu$ e dell'ostacolo $\psi$ sulla regolarità della soluzione.

Contributi Chiave e Risultati

• Esistenza delle Soluzioni (Teorema 1.13): L'articolo stabilisce l'esistenza di almeno una soluzione approssimabile per il problema di ostacolo $OP(\psi; \mu)$ nello spazio di Musielak-Orlicz $T^{1,G}_h(\Omega)$, sotto assunzioni strutturali minime sulla funzione di crescita $G$ (specificamente le condizioni (aInc)$_p$, (aDec)$_q$, (A0) e (A1)).
• Stime Puntuali del Gradiente (Teorema 1.15): Gli autori derivano stime puntuali per i gradienti in termini del potenziale di Wolff $W^\mu_{\beta, p}$ e della funzione massimale frazionaria netta ristretta $M^\#_{\alpha, R}$. Queste stime tengono esplicitamente conto della misura $\mu$ e della regolarità dell'ostacolo $\psi$. Le stime sono valide sotto l'assunzione che l'ostacolo soddisfi una condizione di regolarità Dini-BMO.
• Oscillazione e Regolarità $C^{1,\alpha}$ (Teorema 1.16): Perfezionando le stime puntuali, l'articolo deriva stime di oscillazione per i gradienti. Nello specifico, dimostra che, se i dati di misura e l'ostacolo soddisfano appropriate condizioni di integrabilità e regolarità (inclusa la regolarità Dini-Hölder per il modulo di continuità), la soluzione $u$ possiede regolarità $C^{1,\alpha}$. Le stime del gradiente sono espresse come:
  $$|Du(x) - Du(y)| \leq C |x-y|^\alpha \left( \text{Termini integrali coinvolgenti } Du, \mu, \text{ e } \psi \right).$$
  I limiti coinvolgono il potenziale di Wolff della misura e termini integrali relativi al gradiente dell'ostacolo.

Significatività e Rivendicazioni
L'articolo sostiene di estendere i risultati precedenti nel campo, in particolare in [50, 51], rimuovendo il requisito di condizioni di regolarità superiore per la funzione di ostacolo $\psi$. I lavori precedenti spesso assumevano $\psi \in W^{1,G}(\Omega) \cap W^{2,1}(\Omega)$ per facilitare il trattamento unificato della misura $\mu$ e del termine di ostacolo $D\Psi$. Questo lavoro dimostra che tale regolarità superiore non è necessaria per stabilire le stime del potenziale di Wolff e la regolarità $C^{1,\alpha}$.

Inoltre, gli autori sottolineano la generalità del loro quadro, che copre le condizioni di crescita di Orlicz, di esponente variabile e a doppia fase sotto un unico insieme di assunzioni. Un vantaggio tecnico significativo evidenziato è il trattamento unificato dei casi $p < 2$ e $p \geq 2$, che elimina la necessità di approcci analitici distinti per diversi regimi di crescita. I risultati forniscono una descrizione potenzialmente completa della regolarità delle soluzioni ai problemi di ostacolo ellittici con dati di misura nell'ampio contesto della crescita di Orlicz generalizzata.