Sign-changing solutions to the Yamabe problem on manifolds with boundary

1. O Problema Investigado

O artigo aborda o Problema de Yamabe com Borda em variedades Riemannianas compactas $(M, g)$ de dimensão $n \geq 3$ com fronteira $\partial M$. O objetivo geométrico é encontrar uma métrica conformemente equivalente $\tilde{g} = u^{\frac{4}{n-2}}g$ que possua:

1. Curvatura escalar constante em $M$.
2. Curvatura média constante em $\partial M$.

Em termos analíticos, isso equivale a encontrar uma solução positiva $u$ para o seguinte sistema de equações diferenciais parciais não lineares com crescimento crítico:

$$\begin{cases} -\Delta_g u + c_n R_g u = a_n |u|^{\frac{4}{n-2}} u & \text{em } M, \\ \frac{\partial u}{\partial \nu} + d_n h_g u = b |u|^{\frac{2}{n-2}} u & \text{em } \partial M, \end{cases}$$

onde:

• $\Delta_g$ é o Laplaciano, $R_g$ é a curvatura escalar e $h_g$ é a curvatura média da fronteira.
• $a_n = n(n-2)$, $c_n = \frac{n-2}{4(n-1)}$, $d_n = \frac{n-2}{2}$.
• $b \in \mathbb{R}$ é uma constante relacionada à curvatura média desejada na fronteira.

O Gap de Pesquisa: Enquanto a existência de soluções positivas para este problema é bem estabelecida (trabalhos de Yamabe, Trudinger, Aubin, Schoen, Cherrier, Escobar, Han e Li), a existência de soluções mudantes de sinal (soluções nodais, onde $u$ assume valores positivos e negativos) permanece um problema em grande parte aberto, especialmente para variedades com borda.

2. Metodologia e Abordagem Variacional

Os autores utilizam uma abordagem variacional rigorosa baseada na análise de funcionais de energia e invariantes conformes.

2.1. Configuração Variacional

O problema é estudado no espaço de Sobolev $H^1(M)$. Define-se o funcional de energia $J: H^1(M) \to \mathbb{R}$:
$$J(u) = \frac{1}{2} Q(u) - \frac{a_n}{p} \int_M |u|^p dv - \frac{b}{q} \int_{\partial M} |u|^q d\sigma$$
onde $p = \frac{2n}{n-2}$ e $q = \frac{2(n-1)}{n-2}$ são os expoentes críticos de Sobolev, e $Q(u)$ é a forma quadrática associada ao operador de Yamabe com borda.

2.2. Invariantes Conformais e Níveis de Energia

Os autores definem dois invariantes conformais fundamentais:

1. $\mu_1(M)$: O nível de energia mínimo (infimum) sobre o conjunto de soluções não triviais $N$ (onde $J'(u)u=0$). Este valor é atingido por uma solução positiva.
2. $\mu_2(M)$: O nível de energia mínimo sobre o conjunto $E$ de soluções que mudam de sinal, definidas como $u \in N$ tais que suas partes positiva ($u^+$) e negativa ($u^-$) também pertencem a $N$.

O objetivo é provar que $\mu_2(M)$ é atingido por uma solução do problema.

2.3. Estratégia de Prova

A prova baseia-se em três pilares principais:

1. Invariância Positiva Estrita: Para $b \geq 0$, os autores demonstram que uma vizinhança suficientemente pequena dos cones de funções positivas ($P_+$) e negativas ($P_-$) é estritamente invariante sob o fluxo de gradiente negativo do funcional $J$. Isso permite gerar uma sequência de Palais-Smale que permanece a uma distância positiva de ambos os cones.
2. Análise de Perda de Compactidade: Eles caracterizam o comportamento de sequências de Palais-Smale em níveis de energia abaixo de um certo limiar. O resultado chave (Lema 2.7) estabelece que, se a energia $c$ satisfaz $c < \mu_1(M) + \mu_1(B_b)$ (onde $B_b$ é um cap esférico modelo), então qualquer sequência de Palais-Smale que não converge fortemente deve concentrar-se em uma solução positiva ou negativa, ou seja, a distância para o conjunto $P_+ \cup P_-$ tende a zero.
3. Estimativas de Energia Agudas: Para garantir que o nível de energia nodal $\mu_2(M)$ esteja abaixo do limiar crítico $\mu_1(M) + \mu_1(B_b)$, os autores constroem uma função de teste específica. Eles combinam uma solução positiva de energia mínima $u_0$ com uma "bolha" (bubble) $W_\epsilon$ ajustada, introduzida por Han e Li, mas modificada para o contexto nodal.

3. Resultados Principais

O teorema central do artigo é o seguinte:

Teorema 1.1: Sejam $b \geq 0$, $n \geq 7$ e $(M, g)$ uma variedade Riemanniana compacta com fronteira tal que:

1. O primeiro autovalor do problema de Yamabe é positivo ($\lambda_1(M) > 0$).
2. Existe pelo menos um ponto na fronteira $\xi \in \partial M$ que é não umbílico (ou seja, as curvaturas principais não são todas iguais, ou a curvatura média não é constante localmente de forma trivial).

Conclusão: O problema (1.1) admite uma solução nodal de menor energia (least-energy sign-changing solution).

Detalhes Técnicos da Prova do Teorema:

• Condição de Não-Umbilicidade: A presença de um ponto não umbílico na fronteira é crucial. Ela permite que os termos de ordem superior na expansão da energia da função de teste $W_\epsilon$ sejam negativos, reduzindo a energia total abaixo do limiar crítico.
• Restrição Dimensional ($n \geq 7$): A condição $n \geq 7$ é necessária para que os termos de erro nas estimativas de energia (envolvendo integrais sobre a variedade e a fronteira) sejam da ordem $o(\epsilon^2)$. Para dimensões menores, os termos de erro dominariam, impedindo a redução da energia abaixo do limiar.
• Critério de Existência (Corolário 2.9): Os autores estabelecem um critério geral: se é possível encontrar duas funções não negativas $u_0, u_1$ tais que a energia da combinação linear $J(su_0 - tu_1)$ permaneça abaixo de $\mu_1(M) + \mu_1(B_b)$, então uma solução nodal existe.

4. Contribuições e Significância

1. Resolução de um Problema Aberto: O trabalho preenche uma lacuna significativa na teoria do Problema de Yamabe com borda, estabelecendo a existência de soluções que mudam de sinal sob condições geométricas naturais (ponto não umbílico) e dimensões suficientemente altas.
2. Extensão de Resultados de Variedades Fechadas: Estende resultados conhecidos para variedades fechadas (como os de Ammann-Humbert para $n \geq 11$) para o caso com borda, lidando com as complexidades adicionais impostas pelas condições de fronteira de Neumann/Robin.
3. Técnica Variacional Avançada: O uso da invariância estrita dos cones de funções positivas/negativas sob o fluxo de gradiente é uma ferramenta poderosa que evita a necessidade de simetrias globais na variedade, que eram frequentemente exigidas em trabalhos anteriores sobre soluções nodais.
4. Distinção do Caso $b < 0$: Os autores notam que sua abordagem depende criticamente de $b \geq 0$ para garantir a invariância dos cones. O caso $b < 0$ permanece como um problema aberto e desafiador, pois a invariância não é garantida.
5. Comparação com Trabalhos Anteriores: Diferencia-se dos trabalhos de Ho e Pyo (que trataram o caso $b=0$ usando o tensor de Weyl não nulo) ao utilizar uma abordagem baseada em pontos não umbílicos e estimativas de energia finas, aplicável a um espectro mais amplo de valores de $b \geq 0$.

Conclusão

O artigo de Clapp, Pellacci e Pistoia representa um avanço fundamental na geometria conformal e na análise não linear. Ao provar a existência de soluções nodais de menor energia para o Problema de Yamabe com borda em dimensões $n \geq 7$ com pontos não umbílicos, os autores não apenas resolvem um problema matemático específico, mas também refinam as técnicas variacionais necessárias para lidar com problemas de crescimento crítico em domínios com fronteira.