A fractional Hardy-Sobolev inequality of Michael-Simon type on convex hypersurfaces

Titolo: Una disuguaglianza di Hardy-Sobolev frazionaria di tipo Michael-Simon su ipersuperfici convesse

Autori: Gyula Csató e Prosenjit Roy

1. Il Problema

Il lavoro si inserisce nel contesto delle analisi geometriche non locali e delle disuguaglianze funzionali su varietà. L'obiettivo principale è estendere le classiche disuguaglianze di interpolazione di Caffarelli-Kohn-Nirenberg (CKN) e le disuguaglianze di Hardy-Sobolev al caso non locale (frazionario) su ipersuperfici $M \subset \mathbb{R}^{n+1}$ che sono confini di insiemi convessi.

In particolare, gli autori mirano a:

• Stabilire una versione frazionaria della disuguaglianza di Michael-Simon (che lega la norma $L^p$ di una funzione alla sua derivata tangenziale e alla curvatura media).
• Introdurre una disuguaglianza di Hardy frazionaria su tali ipersuperfici.
• Unificare questi risultati in una disuguaglianza di interpolazione che includa pesi della forma $|x|^\gamma$, dove $x$ è la coordinata nello spazio ambiente.
• Garantire che la costante nella disuguaglianza sia universale, ovvero indipendente dalla geometria specifica dell'ipersuperficie $M$, dipendendo solo dai parametri dimensionali e degli esponenti.

2. Metodologia

La prova si basa su una combinazione di tecniche di analisi non locale, geometria convessa e riordinamento (rearrangement). I pilastri metodologici sono:

• Definizione della Seminorma Frazionaria: Gli autori utilizzano la seminorma definita tramite la distanza euclidea nello spazio ambiente $\mathbb{R}^{n+1}$ (non la distanza geodetica sulla varietà):
  $$[u]_{W^{s,p}(M)} := \left( \int_M \int_M \frac{|u(x) - u(y)|^p}{|x - y|^{n+sp}} \, dx \, dy \right)^{1/p}$$
  Questa scelta è motivata dal fatto che l'ipersuperficie è immersa in $\mathbb{R}^{n+1}$ e permette di collegare la seminorma alla curvatura media frazionaria.

• Geometria dei Setti Convessi (Lemma 2.2): Un risultato cruciale è la dimostrazione che il confine $\partial \Omega$ di un insieme convesso può essere coperto (a meno di un insieme di misura nulla) da un numero finito di grafici di funzioni Lipschitziane con pendenza uniformemente limitata. Questo permette di trattare l'ipersuperficie come una collezione di grafici su piani iperdimensionali.

• Disuguaglianza di Riordinamento (Theorem 1.2): Viene stabilita una nuova disuguaglianza che limita l'integrale pesato $|x|^{-\beta}$ su un sottoinsieme misurabile $E$ del confine convesso in funzione della misura di $E$. Questo è un analogo non euclideo della disuguaglianza di Schwarz per i riordinamenti, valida specificamente grazie alla convessità.

• Curvatura Media Frazionaria: La disuguaglianza include un termine di curvatura media non locale $H_\alpha$, definita come un valore principale (P.V.) di un integrale singolare. Questo termine sostituisce la curvatura media classica nel caso non locale.

• Strategia di Interpolazione:

  • Per il caso "standard" ($1/\tau \leq a/p + (1-a)/q$), la prova utilizza una decomposizione della funzione in livelli (campionamento dyadico) e applica la disuguaglianza di riordinamento appena dimostrata insieme a una disuguaglianza di Hölder generalizzata.
  • Per il caso "critico" ($1/\tau > a/p + (1-a)/q$), dove il peso singolare è più forte, la strategia prevede di dividere il dominio in due parti: l'interno e l'esterno della palla unitaria $B_1(0)$. Vengono poi applicate stime separate sugli integrali di $|x|^{-\beta}$ su queste regioni (Lemma 4.1), sfruttando nuovamente la convessità per controllare il comportamento asintotico.

3. Contributi Chiave

1. Teorema 1.1 (Disuguaglianza Principale): Dimostrazione di una disuguaglianza di interpolazione di tipo Caffarelli-Kohn-Nirenberg frazionaria su ipersuperfici convesse. La disuguaglianza lega la norma pesata $\||x|^\gamma u\|_{L^\tau}$ a una combinazione della seminorma frazionaria $[u]_{W^{s,p}}$, della curvatura media frazionaria $H_\alpha$ e della norma $L^q$.
2. Universalità della Costante: A differenza di molte disuguaglianze su varietà, la costante $C$ ottenuta è universale: dipende solo da $n, s, p, q, \tau, \gamma, \alpha$, ma non dalla forma specifica dell'insieme convesso $\Omega$.
3. Teorema 1.2 (Disuguaglianza di Perimetro Pesato): Dimostrazione che per ogni insieme convesso $\Omega$, l'integrale di $|x|^{-\beta}$ su un sottoinsieme del suo confine è controllato dalla misura del sottoinsieme. Questo è un risultato indipendente di interesse geometrico.
4. Nuova Prova dell'Ineguaglianza di Hardy Frazionaria: Il metodo sviluppato, se ristretto al caso piano ($M = \mathbb{R}^n$), fornisce una dimostrazione semplice e diretta della disuguaglianza di Hardy frazionaria, basata sulla combinazione di tecniche di riordinamento e stime dyadiche.

4. Risultati Principali

La disuguaglianza principale (Teorema 1.1) afferma che per un insieme convesso aperto $\Omega \subset \mathbb{R}^{n+1}$ e per funzioni $u \in W^{s,p}(\partial \Omega)$, vale:
$$\||x|^\gamma u\|_{L^\tau(\partial \Omega)} \leq C \left( \frac{1}{2}[u]_{W^{s,p}(\partial \Omega)}^p + \int_{\partial \Omega} H_\alpha(x) |u(x)|^p dx \right)^{a/p} \|u\|_{L^q(\partial \Omega)}^{1-a}$$
sotto opportune condizioni di bilanciamento dimensionale tra gli esponenti $p, q, \tau, s, \alpha, \gamma$.

• Interpolazione: Il risultato interpola tra:
  • La disuguaglianza di Sobolev frazionaria di Michael-Simon (quando $\gamma=0$ e $a=1$).
  • Una nuova disuguaglianza di Hardy frazionaria su ipersuperfici (quando si scelgono parametri specifici per isolare il termine di Hardy).
• Validità: I risultati sono provati rigorosamente per confini di insiemi convessi. La validità su varietà più generali rimane un problema aperto.

5. Significato e Impatto

• Avanzamento Teorico: Questo lavoro colma un vuoto nella letteratura sulle disuguaglianze non locali su varietà, estendendo risultati noti per il caso euclideo e per le varietà minimali locali al contesto non locale e convesso.
• Strumenti Geometrici: La dimostrazione del Teorema 1.2 (controllo degli integrali pesati su confini convessi) offre nuovi strumenti per l'analisi geometrica non locale, mostrando come la convessità imponga vincoli sufficienti a garantire l'universalità delle costanti, anche in presenza di singolarità nel peso $|x|^\gamma$.
• Applicabilità: Le tecniche sviluppate potrebbero essere utili nello studio del flusso di curvatura media frazionaria, nella teoria delle superfici minime non locali e nell'analisi di equazioni differenziali alle derivate parziali non locali su domini con geometria complessa ma convessa.
• Semplicità nel Caso Piano: La capacità di derivare una prova semplice per la disuguaglianza di Hardy frazionaria nel caso piano suggerisce che l'approccio basato sul riordinamento e sulla decomposizione dyadica è potente e potenzialmente applicabile ad altri problemi di analisi armonica non locale.

In sintesi, il paper fornisce un quadro unificato e robusto per le disuguaglianze di Hardy-Sobolev frazionarie su geometrie convesse, evidenziando il ruolo fondamentale della convessità nel garantire costanti universali indipendenti dalla forma specifica della varietà.