An alternative solvability criterion for the Dirichlet problem for the minimal surface equation and an application to the mean curvature flow

Resumo Técnico: Critério Alternativo de Solvabilidade para o Problema de Dirichlet na Equação de Superfície Mínima e Aplicação ao Fluxo de Curvatura Média

Autores: A. Aiolfi, G. Nunes, J. Ripoll, L. Sauer, R. Soares
Data: 27 de fevereiro de 2026

1. O Problema

O artigo aborda o Problema de Dirichlet para a equação de superfície mínima em variedades Riemannianas completas $M^n$ ($n \ge 2$). Seja $\Omega \subset M$ um domínio de classe $C^2$. O objetivo é encontrar uma função $u \in C^2(\Omega)$ tal que seu gráfico seja uma superfície mínima em $M \times \mathbb{R}$, satisfazendo:
$$M(u) := (1 + |\nabla u|^2)\Delta u - \nabla^2 u(\nabla u, \nabla u) = 0 \quad \text{em } \Omega,$$
com condições de contorno prescritas $u|_{\partial\Omega} = \phi$.

O foco central é a solvabilidade quando o domínio não é mean convex (não tem curvatura média positiva em toda a fronteira). Especificamente, considera-se a parte da fronteira onde a curvatura média é negativa ($\partial\Omega^-$).

• Contexto Clássico: Em $\mathbb{R}^n$, a teoria clássica de Jenkins-Serrin estabelece que, se $\partial\Omega^- \neq \emptyset$, a existência de solução exige uma restrição severa na oscilação dos dados de contorno $\phi$ ($\omega_\phi$).
• Limitação Atual: Os critérios existentes (como o de Jenkins-Serrin) dependem de constantes que misturam a geometria do domínio e os dados de contorno de forma complexa e difícil de verificar explicitamente, especialmente em domínios não limitados ou em variedades gerais.

2. Metodologia

Os autores propõem uma abordagem baseada na construção de barreiras explícitas (sub e supersoluções) derivadas de uma Equação Diferencial Ordinária (EDO) de segunda ordem.

• Condição Geométrica (r-es): Introduzem a "condição da esfera exterior de raio $r$" (r-es condition) para a parte não mean convexa da fronteira ($\partial\Omega^-$). Isso implica que, em cada ponto de $\partial\Omega^-$, existe uma esfera geodésica externa tangente de raio $r$.
• Construção da Barreira:
  • Definem uma função de distância $d(x)$ até a fronteira (ou esferas geodésicas externas).
  • Constróem uma função auxiliar $w = \phi \pm \psi \circ d$, onde $\psi$ é uma função escalar a ser determinada.
  • A função $\psi$ é obtida resolvendo a EDO:
    $$\psi'' - \sigma \psi' + \varrho = 0,$$
    onde $\sigma$ e $\varrho$ são constantes dependentes das normas $C^2$ do dado de contorno $\phi$ e dos parâmetros geométricos da variedade e do domínio.
  • A solução dessa EDO permite controlar o operador não linear $M(u)$, garantindo que $w$ seja uma supersolução ou subsolução adequada.

3. Contribuições Principais

1. Critério de Solvabilidade Alternativo: Estabelecem uma nova condição suficiente para a existência de solução que separa as restrições geométricas do domínio dos dados de contorno. Diferente de Jenkins-Serrin, onde a oscilação permitida depende de uma função complexa $B$ que mistura geometria e dados, o novo critério relaciona a oscilação $\omega_\phi$ diretamente com parâmetros geométricos ($\lambda_r, \mu_r$) e a norma $C^2$ de $\phi$.
2. Aplicabilidade a Domínios Não Limitados e Não Mean Convexos: O método funciona para domínios ilimitados (desde que $\tau(\phi)$ seja finito) e lida explicitamente com domínios onde $\partial\Omega^- \neq \emptyset$, algo onde métodos clássicos frequentemente falham ou são difíceis de aplicar.
3. Generalização para Variedades Hadamard: No caso de variedades Hadamard (curvatura seccional não positiva), o critério se simplifica, relacionando a geometria da fronteira com os dados de contorno de forma direta e explícita.
4. Ponte entre Teoria Elíptica e Parabólica: Demonstram que a mesma estrutura de barreiras (a função $\psi$ e a EDO associada) pode ser utilizada para o Fluxo de Curvatura Média de Gráficos. Isso permite provar existência de curto prazo para o fluxo parabólico mesmo sem a hipótese de convexidade média na fronteira.

4. Resultados Principais

• Teorema 3 (Solvabilidade Elíptica):
  Se $\partial\Omega^-$ satisfaz a condição r-es localmente Hadamard, e a oscilação dos dados de contorno $\omega_\phi$ satisfaz uma desigualdade específica envolvendo $\varrho$ e $\theta$ (parâmetros derivados de $\phi$ e da geometria), então o Problema de Dirichlet admite solução única (se $\Omega$ for limitado).

  • A condição é dada por:
    $$\omega \le \frac{1}{\varrho(\theta-1)^2} \left[ \theta(1 - e^{-\varrho(\theta-1)\delta}) - \varrho(\theta-1)\delta \right]$$
    onde $\delta$ é limitado pelo raio de injetividade e pela geometria das esferas externas.

• Corolário 4 (Caso Hadamard):
  Para variedades Hadamard, a condição se torna uma desigualdade mais simples envolvendo apenas $\lambda_r$ (ínfimo da curvatura média da parte não convexa) e os dados de $\phi$. Isso permite verificar a solvabilidade em exemplos onde o critério de Jenkins-Serrin falha (como demonstrado no Exemplo 9 do artigo, onde o critério clássico exige oscilação $\le 0.0072$, mas o novo critério permite até $\approx 0.43$).

• Teorema 10 (Fluxo de Curvatura Média):
  Sob as mesmas condições estruturais do Teorema 3, existe um tempo $T > 0$ tal que o problema de valor inicial e de contorno para o fluxo de curvatura média de gráficos admite uma solução clássica $u \in C^{2,1}$.

  • Resultado Chave: O gráfico permanece bem definido (não desenvolve tangentes verticais) e mantém a regularidade na fronteira durante o tempo $T$, mesmo que a fronteira não seja mean convexa. A função $\psi$ atua como barreira parabólica global.

5. Significância e Impacto

• Superação de Limitações Clássicas: O trabalho oferece uma ferramenta prática para verificar a existência de soluções em geometrias complexas onde a teoria de Jenkins-Serrin é inaplicável ou excessivamente restritiva.
• Unificação de Teorias: Ao usar a mesma EDO para gerar barreiras tanto no caso elíptico (superfície mínima) quanto no parabólico (fluxo de curvatura média), o artigo unifica a análise de ambos os regimes, mostrando que a obstrução à existência em domínios não convexos pode ser superada por condições estruturais nos dados de contorno.
• Aplicabilidade Prática: A condição proposta é mais fácil de verificar explicitamente em exemplos concretos, pois separa a dependência da geometria do domínio da dependência dos dados de contorno, facilitando a aplicação em problemas de geometria diferencial e análise não linear.
• Novidade Metodológica: A introdução de uma EDO de segunda ordem para a construção de barreiras explícitas em variedades Riemannianas representa uma inovação técnica significativa na teoria de equações elípticas e parabólicas não lineares.

Em resumo, o artigo redefine os limites de solvabilidade para superfícies mínimas e fluxos de curvatura média em domínios não convexos, fornecendo critérios explícitos e uma metodologia robusta que conecta a geometria do domínio com o comportamento dos dados de contorno de maneira inovadora.