Teoremi robusti di traccia e estensione non-locali

Informazioni Fondamentali

• ID Articolo: 2305.05735
• Titolo: Robust nonlocal trace and extension theorems
• Autori: Florian Grube, Moritz Kassmann (Universität Bielefeld)
• Classificazione: math.AP (Analisi delle EDP)
• Data di Pubblicazione: Maggio 2023 (v1), Giugno 2023 (v2)
• Link Articolo: https://arxiv.org/abs/2305.05735

Riassunto

L'articolo dimostra teoremi di traccia e estensione per spazi di funzioni di tipo Sobolev applicabili a problemi di Dirichlet e Neumann non-locali (incluso il p-Laplaciano frazionario). Questi risultati sono robusti rispetto all'ordine di differenziabilità, nel senso che rimangono coerenti con i teoremi di traccia e estensione classici.

Contesto di Ricerca e Motivazione

Problema Centrale

L'articolo studia equazioni non-locali non-lineari su domini limitati, ad esempio: $(-\Delta)_p^s u = f \text{ in } \Omega, \quad u = g \text{ in } \mathbb{R}^d \setminus \Omega$

dove il p-Laplaciano frazionario è definito come: $(-\Delta)_p^s u(x) = (1-s) \text{p.v.} \int_{\mathbb{R}^d} \frac{|u(x)-u(y)|^{p-2}(u(x)-u(y))}{|x-y|^{d+sp}} dy$

Importanza della Ricerca

1. Caratteristiche essenziali degli operatori non-locali: A causa della natura non-locale dell'operatore, il problema (1.1) richiede la specifica dei valori $u(x)$ in $\mathbb{R}^d \setminus \Omega$ per essere ben posto
2. Limitazioni dei metodi esistenti: L'assunzione tradizionale $g \in W^{s,p}(\mathbb{R}^d)$ impone restrizioni innaturali, poiché il problema (1.1) non coinvolge alcuna regolarità di $g$ in $\mathbb{R}^d \setminus \Omega$, richiedendo solo una certa integrabilità pesata
3. Mancanza di Continuità: La teoria esistente manca di continuità quando $s \to 1^-$, impedendo il recupero della teoria locale classica

Limitazioni degli Approcci Esistenti

• I problemi omogenei ($g=0$) sono relativamente semplici e già studiati
• Il trattamento di dati non-nulli $g$ assume tipicamente che $g$ sia regolare su tutto $\mathbb{R}^d$, come $g \in W^{s,p}(\mathbb{R}^d)$
• Compromessi come $g \in W^{s,p}(\Omega_\epsilon) \cap L^p(\mathbb{R}^d; (1+|x|)^{-d-sp}dx)$ rimangono poco naturali
• Quando $s \to 1^-$, non è possibile recuperare lo spazio di traccia classico $W^{1-1/p,p}(\partial\Omega)$

Motivazione della Ricerca

Costruire uno spazio di traccia $T^{s,p}(\Omega^c)$ adatto ai metodi variazionali non-locali, tale che:

1. Caratterizzi naturalmente la regolarità dei dati esterni $g$
2. Sia robusto rispetto al parametro $s$
3. Recuperi i teoremi di traccia e estensione classici quando $s \to 1^-$

Contributi Principali

1. Introduzione di un nuovo spazio di traccia: Viene definito lo spazio di funzioni $T^{s,p}(\Omega^c)$ (definito su $\Omega^c$), dotato della misura $\mu_s(dx) := 1_{\Omega^c}(x)(1-s)d_x^{-s}(1+d_x)^{-d-s(p-1)}dx$ dove $d_x := \text{dist}(x, \partial\Omega)$
2. Dimostrazione del teorema di traccia robusto (Teorema 1.2, $p>1$): L'operatore di traccia $\text{Tr}_s: V^{s,p}(\Omega|\mathbb{R}^d) \to T^{s,p}(\Omega^c)$ è lineare continuo, e esiste un'inversa destra continua lineare (operatore di estensione) $\text{Ext}_s: T^{s,p}(\Omega^c) \to V^{s,p}(\Omega|\mathbb{R}^d)$, con costanti di continuità dipendenti solo da $\Omega$, dal limite inferiore di $s$ e dai limiti superiore e inferiore di $p$
3. Estensione al caso $p=1$ (Teorema 1.3): Viene dimostrato che l'operatore di traccia $\text{Tr}_s: V^{s,1}(\Omega|\mathbb{R}^d) \to L^1(\Omega^c; \mu_s)$ è continuo, e esiste un'inversa destra continua lineare $\text{Ext}_s: T^{s,1}(\Omega^c) \to V^{s,1}(\Omega|\mathbb{R}^d)$
4. Teorema del comportamento al limite (Teorema 1.4): Viene dimostrato che quando $s \to 1^-$:
   • $\|\text{Tr}_s u\|_{L^p(\Omega^c;\mu_s)} \to \|\gamma u\|_{L^p(\partial\Omega)}$ ($u \in W^{1,p}(\mathbb{R}^d)$)
   • $[\text{Tr}_s u]_{T^{s,p}(\Omega^c)} \to [\gamma u]_{W^{1-1/p,p}(\partial\Omega)}$ ($u \in W^{1,p}(\mathbb{R}^d)$)
   • Vengono recuperati lo spazio di traccia classico e lo spazio di Besov
5. Applicazione al problema di Dirichlet (Corollario 1.7): Utilizzando la nuova teoria di traccia e estensione, viene provata l'esistenza e unicità della soluzione debole del problema (1.1) con stime di energia

Dettagli dei Metodi

Definizione del Compito

Si studia la mappatura dallo spazio energetico $V^{s,p}(\Omega|\mathbb{R}^d)$ allo spazio di traccia sulla regione esterna $\Omega^c$: $V^{s,p}(\Omega|\mathbb{R}^d) := \{u: \mathbb{R}^d \to \mathbb{R} \text{ misurabile} \mid [u]_{V^{s,p}(\Omega|\mathbb{R}^d)} < \infty\}$ dove la seminorma è definita come: $[u]_{V^{s,p}(A|B)}^p := (1-s) \iint_{A \times B} \frac{|u(x)-u(y)|^p}{|x-y|^{d+sp}} dx dy$

Costruzione dello Spazio di Traccia

Innovazione Chiave: Progettazione della Misura $\mu_s$$\mu_s(dx) = 1_{\Omega^c}(x)(1-s)d_x^{-s}(1+d_x)^{-d-s(p-1)}dx$

Questa misura è progettata con le seguenti caratteristiche:

1. Comportamento vicino al bordo: Il termine $(1-s)d_x^{-s}$ assicura che quando $s \to 1^-$, $\mu_s$ converga debolmente alla misura di Hausdorff su $\partial\Omega$
2. Decadimento all'infinito: Il termine $(1+d_x)^{-d-s(p-1)}$ garantisce un decadimento appropriato all'infinito
3. Robustezza rispetto ai parametri: La scelta del coefficiente $(1-s)$ rende il riscalamento della misura naturale quando $s \to 1^-$

Definizione dello Spazio di Traccia $T^{s,p}(\Omega^c)$ (Equazione 1.6): $T^{s,p}(\Omega^c) := \{g: \Omega^c \to \mathbb{R} \text{ misurabile} \mid \|g\|_{T^{s,p}(\Omega^c)} < \infty\}$ con norma: $\|g\|_{T^{s,p}(\Omega^c)}^p := \|g\|_{L^p(\Omega^c;\mu_s)}^p + [g]_{T^{s,p}(\Omega^c)}^p$

La seminorma è definita come (per $p>1$): $[f,g]_{T^{s,p}(\Omega^c)}^p := \iint_{\Omega^c \times \Omega^c} \frac{|f(x)-f(y)|^{p-2}(f(x)-f(y))(g(x)-g(y))}{((|x-y|+d_x+d_y) \wedge 1)^{d+s(p-2)}} \mu_s(dx)\mu_s(dy)$

Idee di Progettazione Chiave:

• Il termine $(|x-y|+d_x+d_y) \wedge 1$ nel denominatore diventa $(|x-y|) \wedge 1$ vicino al bordo, recuperando la struttura della seminorma di Slobodeckij classica
• Il peso della misura $\mu_s$ compensa il cambio di dimensione dello spazio (da $d$ dimensioni a bordo $(d-1)$-dimensionale)

Strategia di Dimostrazione del Teorema di Traccia

Sezione 3: Dimostrazione dell'Immersione di Traccia

La dimostrazione si divide in due proposizioni:

1. Proposizione 3.9: Immersione della parte $L^p$$\|\text{Tr}_s u\|_{L^p(\Omega^c;\mu_s)} \leq C \|u\|_{V^{s,p}(\Omega|\mathbb{R}^d)}$
2. Proposizione 3.10: Immersione della parte seminorma $[\text{Tr}_s u]_{T^{s,p}(\Omega^c)} \leq C \|u\|_{V^{s,p}(\Omega|\mathbb{R}^d)}$

Strumenti Tecnici Chiave:

(a) Disuguaglianza di Traccia Approssimata (Teorema 3.5): Per $u \in W^{s,p}(\Omega)$, si dimostra $\int_{\Omega} |u(x)|^p \tau_s(dx) + \int_{\Omega} \int_{\Omega} \frac{|u(x)-u(y)|^p}{((|x-y|+d_x+d_y) \wedge 1)^{d+s(p-2)}} \tau_s(dy)\tau_s(dx) \leq C \|u\|_{W^{s,p}(\Omega)}^p$

dove $\tau_s(dx) = (1-s)d_x^{-s}1_{\Omega}(x)dx$

Metodo di dimostrazione:

• Utilizzo della teoria dell'interpolazione degli spazi di Bessel
• Definizione di $\alpha_0 := s(1+p)/(2p)$, $\alpha_1 := 1 + s/(2p)$
• Dimostrazione della continuità per $H^{\alpha_i,p}(\mathbb{R}^d)$ (Lemma 3.4)
• Ottenimento del risultato tramite interpolazione reale $[H^{\alpha_0,p}, H^{\alpha_1,p}]_\theta^p = W^{s,p}(\mathbb{R}^d)$

(b) Disuguaglianza di tipo Hardy (Teorema 3.6, caso $p=1$): $(1-s) \int_{\Omega} \frac{|u(x)|}{d_x^s} dx \leq C\left(\|u\|_{L^1(\Omega)} + s(1-s) \int_{\Omega \times \Omega} \frac{|u(x)-u(y)|}{|x-y|^{d+s}} d(x,y)\right)$

Strategia di dimostrazione:

• Utilizzo della proprietà locale di Lipschitz del bordo
• Applicazione della disuguaglianza di Hardy ottimale su semispazi (Teorema B.1)
• Gestione del caso globale tramite partizione dell'unità

(c) Lemmi Tecnici sulla Funzione Distanza:

• Lemma 3.7: Conversione di $d_x^{-s}$ in integrale su $\Omega$
• Lemma 3.8: Utilizzo della condizione di cono interno uniforme per stabilire stime inferiori

Dimostrazione della Proposizione 3.9 (parte $L^p$):

1. Decomposizione di $\Omega^c = \Omega_1^{\text{ext}} \cup \Omega^{\text{ext}}_1$
2. Su $\Omega_1^{\text{ext}}$: utilizzo del Lemma 3.8 e Teorema 3.5/3.6
3. Su $\Omega^{\text{ext}}_1$: stima diretta, utilizzo del limite inferiore della funzione distanza

Dimostrazione della Proposizione 3.10 (parte seminorma, $p>1$):

1. Decomposizione del dominio di integrazione: $\Omega^{\text{ext}}_\rho \times \Omega^{\text{ext}}_\rho$, $\Omega^c \times \Omega^\rho_{\text{ext}}$, $\Omega^\rho_{\text{ext}} \times \Omega^c$
2. Parte di campo lontano ($\Omega^\rho_{\text{ext}}$): utilizzo della Proposizione 3.9 e limite inferiore della distanza
3. Parte di campo vicino ($\Omega^{\text{ext}}_\rho \times \Omega^{\text{ext}}_\rho$):
   • Utilizzo del Lemma 3.8 due volte, introduzione di variabili di integrazione intermedie $z,w \in \Omega$
   • Applicazione del Teorema 3.5 per stimare l'integrale su $\Omega \times \Omega$
   • Chiave: stima fine della funzione nucleo $a(z,w)$ (Equazione 3.19)

Strategia di Dimostrazione del Teorema di Estensione

Sezione 4: Costruzione dell'Operatore di Estensione

Idea Centrale: Estensione tramite media pesata basata sulla decomposizione di Whitney

(a) Decomposizione di Whitney:

• Decomposizione diadica di Whitney di $\Omega$ in $\mathcal{W}(\Omega)$
• Ogni cubo $Q$ soddisfa: $\text{diam}(Q) \leq d(Q,\partial\Omega) \leq 4\text{diam}(Q)$
• Definizione di $\mathcal{W}_{\leq\kappa}(\Omega)$ come cubetti con lato $\leq 2^\kappa$, dove $\kappa := \lfloor\log_2(\rho/\sqrt{d})\rfloor$, $\rho := \text{inr}(\Omega)/2 \wedge 1/2$

(b) Partizione dell'Unità: Costruzione di una partizione dell'unità liscia $\{\phi_Q\}_{Q \in \mathcal{W}(\Omega)}$ con $\sum_Q \phi_Q = 1_\Omega$

(c) Misura $\tilde{\mu}_s$: Definizione della misura semplificata (senza decadimento all'infinito): $\tilde{\mu}_s(dz) = 1_{\Omega^c}(z)\frac{1-s}{d_z^s} dz$ e della costante di normalizzazione: $a_{Q,s} := \left(\tilde{\mu}_s(B_{6l_Q}(q_Q))\right)^{-1}$

Il Lemma 4.1 dimostra: $C^{-1}l_Q^{s-d} \leq a_{Q,s} \leq C l_Q^{s-d}$

(d) Definizione dell'Operatore di Estensione (Equazione 4.11):