Minimality of free-boundary axial hyperplanes in high dimensional circular cones via calibration

1. Problema e Contexto

O artigo aborda um problema fundamental no cálculo de variações e na teoria de superfícies mínimas: a regularidade de fronteira e a minimalidade de superfícies que minimizam o perímetro relativo dentro de um domínio com fronteira não suave.

• Contexto Físico: O problema modela a configuração de um líquido em um recipiente (domínio $\Omega$) na ausência de gravidade, onde a energia livre é minimizada. O funcional de energia envolve o perímetro interno e o perímetro na fronteira do recipiente, ponderado por um coeficiente de adesão $\gamma$.
• O Cenário Específico: O autor foca no caso onde o recipiente $\Omega$ é um cone circular em $\mathbb{R}^{n+1}$ com ângulo de abertura $\alpha$, e considera a interseção deste cone com um hiperplano axial (um plano que contém o eixo do cone).
• A Questão Central: Sob quais condições de dimensão ($n$) e abertura do cone ($\alpha$) essa interseção plana é uma superfície minimizadora de área (estável e globalmente minimizante) em relação a variações com fronteira livre?
• Motivação Teórica: O trabalho surge como um contraexemplo a um teorema recente ("Teorema de Pulo do Vértice" ou Vertex-skipping Theorem) desenvolvido pelo autor em colaboração com G.P. Leonardi. Esse teorema anterior afirmava que, em domínios convexos em $\mathbb{R}^3$, a fronteira de um minimizador quase não pode conter singularidades isoladas (vértices) do domínio. O artigo investiga se essa propriedade se mantém em dimensões superiores ($n \ge 4$).

2. Metodologia

A prova central do artigo baseia-se em uma adaptação do Método de Calibração (introduzido originalmente por Bombieri, De Giorgi e Giusti).

• Calibração com Fronteira Livre: Diferente da calibração clássica, onde o campo vetorial calibrante deve ser tangente à superfície minimizante, aqui o campo vetorial $Z$ deve satisfazer condições adicionais:
  1. Ser livre de divergência ($\text{div } Z = 0$) no interior do cone.
  2. Ser tangente à superfície lateral do cone ($\partial \Omega_\lambda$) para garantir que a contribuição de fronteira livre seja nula ou controlada.
  3. Coincidir com o vetor normal da superfície axial no plano axial.
• Construção em Duas Etapas:
  1. Calibração na Superfície Lateral: O autor primeiro constrói um campo vetorial $Y$ na superfície lateral do cone $S_\lambda$ (que é uma variedade Riemanniana) que calibra a interseção do plano axial com a superfície lateral. Isso envolve a resolução de uma desigualdade diferencial para uma função auxiliar $h(u)$, onde $u$ é uma coordenada angular.
  2. Extensão para o Interior: O campo $Y$ é estendido para o interior do cone $\Omega_\lambda$ através de uma projeção vertical. Devido à estrutura métrica específica do cone, essa extensão preserva a propriedade de ser livre de divergência.
• Análise de Dimensão: A existência da solução para a desigualdade diferencial necessária para a calibração depende criticamente da dimensão $n$. O autor demonstra que tal solução existe apenas quando $n \ge 4$ e o parâmetro do cone $\lambda$ (relacionado ao ângulo $\alpha$) está abaixo de um certo limiar $\bar{\lambda}(n)$.

3. Contribuições Chave

1. Prova de Minimalidade para $n \ge 4$: O artigo estabelece rigorosamente que, para dimensões $n \ge 4$, se o cone for suficientemente "aberto" (ângulo $\alpha$ grande o suficiente, ou seja, $\lambda \le \bar{\lambda}(n)$), a interseção do cone com um hiperplano axial é um minimizador global de perímetro relativo.
2. Refutação do Teorema de Pulo do Vértice em Alta Dimensão: O resultado fornece um contraexemplo definitivo para a validade do Vertex-skipping Theorem em dimensões $n \ge 4$. Enquanto em $n=3$ o plano axial é instável (o vértice é "pulado" ou evitado pela minimizante), em $n \ge 4$ o plano axial é minimizante e passa diretamente pelo vértice singular do cone.
3. Limite de Regularidade de Fronteira: O trabalho sugere que o limite superior para a dimensão do conjunto singular na fronteira ($\dim_H(\Sigma \cap \partial \Omega) \le n-3$ ou similar) não pode ser melhorado além de $n-4$ em domínios não poliedrais, pois o ponto singular (o vértice do cone) pertence ao conjunto singular da superfície minimizante quando $n=4$.
4. Adaptação Técnica do Método de Calibração: Desenvolve uma nova técnica de calibração que lida especificamente com a geometria de cones e a condição de fronteira livre, superando a dificuldade de definir o campo vetorial em todo o cone fechado (devido à singularidade no vértice e na interseção com o plano $x'=0$).

4. Resultados Principais

• Teorema 1.1 (Principal): Para $n \ge 4$, considere o parâmetro de limiar $\bar{\lambda}(n) = \frac{1}{2}\sqrt{\frac{n-3}{n-2}}$. Se $0 < \lambda \le \bar{\lambda}(n)$ (o que corresponde a um ângulo de abertura $\alpha \ge \bar{\alpha}(n)$), então o conjunto $E = \{(x, t) \in \mathbb{R}^{n+1} : x_1 > 0\}$ é um minimizador do perímetro relativo dentro do cone $\Omega_\lambda$.
  • Matematicamente: $P(E; \Omega_\lambda \cap B_R) \le P(F; \Omega_\lambda \cap B_R)$ para qualquer conjunto $F$ com perímetro localmente finito que difira de $E$ apenas em um conjunto compacto.
• Comportamento Diferente em $n=3$: O artigo esclarece que para $n=3$, o plano axial é estável apenas em um sentido fraco, mas não é minimizante global (o teorema de minimalidade não se aplica), o que está de acordo com o comportamento observado anteriormente de "pulo do vértice".
• Condição de Ângulo: Existe um limiar crítico para a abertura do cone. Se o cone for muito estreito ($\lambda > \bar{\lambda}(n)$), o plano axial torna-se instável. Se for suficientemente largo, ele se torna a solução minimizante.

5. Significado e Impacto

• Quebra de Paradigma em Dimensões Superiores: O trabalho demonstra que o comportamento geométrico de minimizadores de perímetro com fronteira livre muda qualitativamente entre dimensão 3 e dimensões superiores ($n \ge 4$). Isso desafia a intuição baseada em casos de baixa dimensão e exige uma revisão das conjecturas de regularidade em domínios não suaves.
• Implicações para a Teoria de Singularidades: Ao provar que o vértice de um cone circular pode pertencer ao conjunto singular de uma superfície minimizante em $n \ge 4$, o artigo fornece limites inferiores precisos para a dimensão do conjunto singular em problemas de fronteira livre, impactando a teoria de regularidade parcial.
• Ferramentas para Análise Variacional: A técnica de calibração adaptada para cones e fronteira livre oferece uma ferramenta poderosa para futuros estudos sobre minimalidade em domínios com singularidades geométricas, indo além dos casos clássicos de domínios suaves ou poliedrais.

Em resumo, o artigo resolve uma questão aberta sobre a estabilidade e minimalidade de superfícies planas em cones de alta dimensão, utilizando uma calibração sofisticada para demonstrar que, em dimensões suficientemente altas e com cones largos, a singularidade do domínio (o vértice) não é evitada pela superfície minimizante, contradizendo resultados anteriores válidos apenas para $n=3$.