On the traces of harmonic functions $H^{1/2}$ and $H^{3/2}$ in Lipschitz domains

Sintesi Tecnica: Sulle tracce di funzioni armoniche $H^{1/2}$ e $H^{3/2}$ in domini Lipschitziani

Enunciato del Problema
Il saggio affronta la validità di specifiche stime di equivalenza di norma per funzioni armoniche in domini Lipschitziani limitati, in particolare riguardanti la relazione tra la norma $L^2$ della traccia sul bordo $\Gamma$ e le norme Sobolev pesate che coinvolgono il gradiente e l'hessiano nell'interno $\Omega$. Nello specifico, gli autori indagano le disuguaglianze proposte da Dahlberg [7] e altri, le quali suggeriscono che, per una funzione armonica $u$ che si annulla in un punto fisso $x_0 \in \Omega$:
$$C^{-1}\|u\|_{L^2(\Gamma)} \leq \left( \int_\Omega \varrho |\nabla u|^2 \right)^{1/2} \leq C\|u\|_{L^2(\Gamma)}$$
dove $\varrho$ è la distanza dal bordo. La questione centrale è se tali stime siano valide generalmente per funzioni armoniche in $H^{1/2}(\Omega)$ (e, per estensione, in $H^{3/2}(\Omega)$) quando il dominio $\Omega$ è meramente Lipschitziano, o se esse falliscano in presenza di angoli non convessi (domini poligonali/poliedrici).

Metodologia
Gli autori impiegano una combinazione di teoria dell'interpolazione per sottospazi, teoria della regolarità per l'equazione di Laplace in domini non regolari e costruzione di controesempi espliciti.

1. Analisi della Regolarità in Domini Poligonali/Poliedrici: Utilizzando il lavoro di Grisvard e la teoria dell'interpolazione (specificamente i teoremi di Ivanov-Kalton e Asekritova-Cobos-Kruglyak), gli autori analizzano la solvibilità del problema di Dirichlet non omogeneo $-\Delta u = f$ con $u=0$ su $\Gamma$ in spazi Sobolev frazionari $H^s(\Omega)$ per $0 \leq s \leq 2$. Essi caratterizzano i nuclei del Laplaciano in questi spazi, dimostrando che per poligoni non convessi, il nucleo $N_{-s}(\Omega)$ è non banale per determinati valori di $s$, influenzando le proprietà di isomorfismo dell'operatore Laplaciano.
2. Costruzione del Controesempio: Per testare la validità delle disuguaglianze di traccia, gli autori costruiscono una specifica famiglia di domini Lipschitziani $\Omega_\varepsilon$ e funzioni armoniche basate su una funzione esplicita fornita da Nečas. Questa funzione è progettata per appartenere a $H^{3/2}(\Omega_\varepsilon)$ con una norma dell'hessiano pesata limitata, mentre la sua derivata tangenziale sul bordo cresce illimitatamente al tendere il parametro del dominio $\varepsilon \to 0$.
3. Identificazione dello Spazio Funzionale: Riconoscendo il fallimento delle imbedzioni standard, gli autori definiscono un nuovo spazio funzionale $E(\nabla; \Omega) = \{v \in H^{1/2}(\Omega); \nabla v \in [H^{1/2}(\Omega)]'\}$. Essi investigano le proprietà dell'operatore di traccia $\gamma_0$ ristretto a questo spazio.
4. Assunzioni di Regolarità: Il saggio mette a confronto il caso Lipschitziano con domini di classe $C^{1,1}$, dove valgono i risultati standard di regolarità, per delineare le condizioni precise sotto le quali le stime di traccia sono valide.

Contributi Chiave e Risultati

• Confutazione delle Disuguaglianze di Traccia Generali: Il saggio dimostra che le disuguaglianze (1.1) e (1.2) citate da Dahlberg e altri non possono essere valide nella loro forma attuale per domini Lipschitziani generici. Nello specifico, per un dominio poligonale non convesso, esistono funzioni armoniche in $H^{3/2}(\Omega)$ (e $H^{1/2}(\Omega)$) tali che le norme interiori pesate siano limitate, ma la traccia sul bordo (in $H^1(\Gamma)$ o $L^2(\Gamma)$) sia illimitata. Ciò invalida l'affermazione secondo cui qualsiasi funzione armonica in $H^{1/2}(\Omega)$ possiede automaticamente una traccia $L^2(\Gamma)$ in un contesto Lipschitziano generale.
• Regolarità Ottimale per il Problema di Dirichlet: Gli autori forniscono una caratterizzazione completa della solvibilità del problema di Dirichlet in spazi Sobolev frazionari per domini poligonali e poliedrici. Identificano esponenti critici legati al più grande angolo interiore $\omega_\star$ (specificamente $1 - \pi/\omega_\star$) dove la regolarità della soluzione scende al di sotto dei livelli attesi di $H^{3/2}$ o $H^2$, a meno che non siano soddisfatte condizioni di compatibilità sulla sorgente $f$.
• Introduzione dello Spazio $E(\nabla; \Omega)$: Il saggio identifica $E(\nabla; \Omega)$ come il corretto framework funzionale per la teoria della traccia nel caso limite $s=1/2$.
  • L'operatore di traccia $\gamma_0: E(\nabla; \Omega) \to L^2(\Gamma)$ è ben definito e continuo.
  • Il nucleo di questo operatore è esattamente $H^{1/2}_{00}(\Omega)$.
  • Ciò fornisce una nuova caratterizzazione di $H^{1/2}_{00}(\Omega)$ e offre un'alternativa a $H^{1/2}(\Omega)$ per garantire l'esistenza di una traccia $L^2$.
• Validità nei Domini $C^{1,1}$: Gli autori dimostrano che, se il dominio $\Omega$ è di classe $C^{1,1}$, le disuguaglianze originali sono valide. In questo scenario regolare, l'operatore di traccia è un isomorfismo tra lo spazio delle funzioni armoniche in $H^{1/2}(\Omega)$ e $L^2(\Gamma)$, e analogamente tra $H^{3/2}(\Omega)$ e $H^1(\Gamma)$ (per la derivata normale).

Significato
Il saggio chiarisce una lacuna critica nella comprensione delle tracce delle funzioni armoniche in domini non regolari. Esso corregge l'assunto che le norme del gradiente pesate in domini Lipschitziani siano sufficienti a garantire tracce di bordo $L^2$ per funzioni armoniche. Stabilendo che tali stime falliscono in presenza di angoli rientranti, il lavoro richiede un approccio più sfumato alla teoria della regolarità, facendo affidamento sullo specifico spazio $E(\nabla; \Omega)$ piuttosto che sugli standard spazi Sobolev $H^{1/2}(\Omega)$ per i casi limite. I risultati raffinano la comprensione della solvibilità del problema di Dirichlet in spazi frazionari per domini poligonali, evidenziando la dipendenza della regolarità dalle singolarità geometriche del dominio.