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

Resumo Técnico

1. Problema e Contexto

O artigo aborda a extensão de desigualdades funcionais clássicas para o contexto não local (fracionário) em variedades geométricas. Especificamente, os autores investigam a existência de uma desigualdade de interpolação do tipo Caffarelli-Kohn-Nirenberg para espaços de Sobolev fracionários definidos em hipersuperfícies $M \subset \mathbb{R}^{n+1}$ que são fronteiras de conjuntos convexos.

O problema central é generalizar duas classes de desigualdades conhecidas:

1. Desigualdade de Michael-Simon (Clássica): Uma versão da desigualdade de Sobolev para subvariedades que inclui um termo de curvatura média ($H$) no lado direito, com uma constante universal independente da variedade.
2. Desigualdade de Hardy: Uma desigualdade que envolve pesos de potência da distância ao origem ($|x|^\gamma$).

O objetivo é unificar esses conceitos em uma única desigualdade fracionária que intercale entre a desigualdade de Sobolev fracionária de Michael-Simon (recentemente obtida por Cabré, Cozzi e Csató) e uma nova desigualdade de Hardy fracionária em superfícies, mantendo a independência da constante em relação à geometria específica da hipersuperfície (desde que seja convexa).

2. Metodologia

A prova desenvolvida pelos autores combina técnicas de análise não local, geometria convexa e rearranjo de funções. Os pilares metodológicos incluem:

• Definição de Seminorma Fracionária: Utilizam a seminorma $[u]_{W^{s,p}(M)}$ baseada na distância euclidiana no espaço ambiente $\mathbb{R}^{n+1}$, e não na distância geodésica na variedade. Isso é crucial para conectar a geometria da superfície com o espaço ambiente.
• Curvatura Média Fracionária ($H_\alpha$): Incorporam a curvatura média não local na desigualdade, definida via um valor principal de uma integral singular sobre o complemento do conjunto convexo.
• Decomposição em Gráficos (Geometria Convexa): Para lidar com a geometria da fronteira de um conjunto convexo $\Omega$, os autores demonstram (Lema 2.2) que $\partial\Omega$ pode ser coberto, a menos de um conjunto de medida nula, por no máximo $2(n+1)$ gráficos de funções Lipschitz com gradientes uniformemente limitados. Isso permite reduzir problemas globais em variedades para problemas em domínios planos $\mathbb{R}^n$.
• Rearranjo de Schwarz e Desigualdade de Hardy: A prova da desigualdade de Hardy fracionária em superfícies convexas depende de uma nova desigualdade de rearranjo (Teorema 1.2). Eles provam que, para conjuntos convexos, a integral de $|x|^{-\beta}$ sobre uma subconjunto mensurável da fronteira é controlada pela medida desse conjunto, análogo ao caso plano, mas com uma constante universal.
• Interpolação e Desigualdade de Hölder: Para cobrir o espectro completo de parâmetros (especialmente quando a relação de balanceamento dimensional exige $\gamma < -as$), utilizam uma estratégia de interpolação. O domínio é dividido em uma bola unitária e seu complemento, aplicando desigualdades de Hölder ponderadas para reduzir o caso geral aos casos já provados.

3. Principais Contribuições e Resultados

Teorema Principal (Teorema 1.1):
Os autores estabelecem a seguinte desigualdade para qualquer função $u \in W^{s,p}(\partial\Omega)$, onde $\Omega \subset \mathbb{R}^{n+1}$ é um conjunto aberto convexo:

$$\| |x|^\gamma u \|_{L^\tau(\partial\Omega)} \leq C \left( \frac{1}{2} \iint_{\partial\Omega \times \partial\Omega} \frac{|u(x) - u(y)|^p}{|x-y|^{n+sp}} dx dy + \int_{\partial\Omega} \frac{H_\alpha(x)}{\alpha^s} |u(x)|^p dx \right)^{\frac{a}{p}} \|u\|_{L^q(\partial\Omega)}^{1-a}$$

Onde:

• $C$ é uma constante universal que depende apenas dos parâmetros ($n, p, q, s, \alpha, \gamma, \tau, a$) e não da forma específica de $\Omega$.
• A desigualdade interpola entre a desigualdade de Sobolev fracionária (quando $\gamma=0, a=1$) e a desigualdade de Hardy fracionária (casos específicos de $\gamma$ e $q$).
• Não há restrição de relação entre os parâmetros de não-localidade $s$ e $\alpha$.

Teorema de Suporte Geométrico (Teorema 1.2):
Estabelecem uma desigualdade fundamental para conjuntos convexos:
$$\int_E |x|^{-\beta} dx \leq C |E|^{\frac{n-\beta}{n}}$$
para qualquer subconjunto mensurável $E \subset \partial\Omega$ e $\beta \in [0, n)$.

• Significado: Esta é uma versão fracionária da desigualdade de rearranjo de Schwarz válida em superfícies convexas. O artigo observa que tal desigualdade falha para superfícies gerais (não convexas) que podem "oscilar" infinitamente perto da origem, mas é garantida pela convexidade.

Prova Simplificada no Caso Plano:
Ao restringir o método ao caso onde a superfície é o plano $\mathbb{R}^n$, os autores fornecem uma prova nova e simples para a desigualdade de Hardy fracionária, combinando técnicas de rearranjo com estimativas de Sobolev.

4. Significado e Impacto

• Unificação de Teorias: O trabalho conecta a análise não local (equações integrais, curvatura média fracionária) com a geometria diferencial clássica (desigualdades de Sobolev e Hardy em variedades).
• Constantes Universais: A obtenção de constantes independentes da variedade é um resultado forte, permitindo aplicações em problemas de análise geométrica onde a geometria exata pode variar ou ser desconhecida, desde que a convexidade seja mantida.
• Novas Ferramentas para Geometria Convexa: O Teorema 1.2 oferece uma ferramenta poderosa para estimar integrais ponderadas em fronteiras de conjuntos convexos, o que pode ter aplicações em problemas de fluxo de curvatura média fracionária e tempo de extinção de soluções.
• Abertura de Problemas: O artigo deixa em aberto se tais desigualdades universais se mantêm para variedades mais gerais que não sejam fronteiras de conjuntos convexos, sugerindo que a convexidade é uma condição essencial para o controle geométrico necessário nas provas atuais.

Em suma, o artigo avança significativamente a teoria das desigualdades funcionais em variedades, fornecendo o análogo fracionário e interpolado da clássica desigualdade de Michael-Simon, com uma dependência explícita e controlada da curvatura média não local.