Fully nonlinear elliptic PDEs in thin domains with oblique-Dirichlet mixed boundary conditions

Resumo Técnico: Comportamento Assintótico de EDPs Não Lineares em Domínios Finos

1. O Problema Investigado

O artigo estuda o comportamento assintótico das soluções de equações diferenciais parciais (EDPs) elípticas totalmente não lineares em domínios finos (thin domains). Especificamente, considera-se um domínio $\Omega_\varepsilon \subset \mathbb{R}^{N+1}$ que colapsa para um domínio limitado $\Omega \subset \mathbb{R}^N$ quando o parâmetro $\varepsilon \to 0^+$.

O domínio é definido como:
$$\Omega_\varepsilon = \{ (x, y) \in \Omega \times \mathbb{R} : \varepsilon g_-(x) < y < \varepsilon g_+(x) \}$$
onde $g_-$ e $g_+$ são funções contínuas definidas em $\Omega$ com $g_- < g_+$.

O problema de valor de fronteira $(D_\varepsilon)$ é dado por:
$$\begin{cases} F(D^2u_\varepsilon, Du_\varepsilon, u_\varepsilon, z) = 0 & \text{em } \Omega_\varepsilon, \\ \gamma_+ \cdot Du_\varepsilon = \beta_+ & \text{na fronteira superior } \partial_T\Omega_\varepsilon, \\ \gamma_- \cdot Du_\varepsilon = \beta_- & \text{na fronteira inferior } \partial_B\Omega_\varepsilon, \\ u_\varepsilon = \beta & \text{na fronteira lateral } \partial_L\Omega_\varepsilon. \end{cases}$$

Características Chave do Operador:

• $F$ é um operador do tipo Bellman-Isaacs (inf-sup), representando jogos diferenciais ou controle ótimo.
• Condição de Monotonicidade Relaxeada: Diferentemente de trabalhos anteriores (como [2]), os autores não assumem estrita monotonicidade da equação em relação à variável $u$ (o valor da solução). Em vez disso, assumem apenas que $F$ é não decrescente em $u$ (condição $c_{\lambda\mu} \ge 0$). Isso é um desafio significativo, pois a existência de soluções para problemas de Neumann/obliquos em operadores degenerados geralmente exige monotonicidade estrita.

2. Metodologia e Abordagem

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

A. Condição de Elipticidade Global no Domínio Limite
Para compensar a falta de monotonicidade estrita, os autores introduzem uma condição de elipticidade global no domínio limite $\Omega$. Eles exigem a existência de uma função $s \in C^2(\Omega, \mathbb{R})$ tal que, para todo $x \in \Omega$:
$$\inf_{(\lambda, \mu)} \left| (Ds(x), -Ds(x)\gamma_0^\top(x)) A_{\lambda\mu}(x, 0) (Ds(x), -Ds(x)\gamma_0^\top(x))^\top \right| > 0$$
onde $A_{\lambda\mu} = \sigma_{\lambda\mu}^\top \sigma_{\lambda\mu}$.

• Nota Técnica: O artigo discute detalhadamente que a existência global de tal função $s$ não é trivial e impõe restrições na estrutura das matrizes $A_{\lambda\mu}$, sendo mais forte que a elipticidade degenerada local, mas mais fraca que a elipticidade estrita.

B. Construção de Sub e Super-soluções (Lema 2)
A existência e limitação uniforme das soluções $u_\varepsilon$ são provadas através da construção de sub-soluções estritas ($\underline{\psi}_\varepsilon$) e super-soluções estritas ($\overline{\psi}_\varepsilon$).

• Transformação de Coordenadas: Para lidar com as condições de fronteira oblíquas não nulas ($\gamma_0 \neq 0$), os autores utilizam uma mudança de variáveis (difeomorfismo $P$) que "distorce" o sistema. Essa transformação mapeia o domínio original para um novo sistema onde a componente tangencial da condição de fronteira se anula ($\hat{\gamma}_0 = 0$) no limite, permitindo a aplicação de técnicas de construção de barreiras mais simples.
• Método de Perron: Com as barreiras construídas, o método de Perron garante a existência de uma solução de viscosidade $u_\varepsilon$ que fica "presa" entre as sub e super-soluções, garantindo a limitação uniforme ($|u_\varepsilon| \le C_0$).

C. Convergência para o Problema Limite
Uma vez estabelecida a limitação uniforme, utiliza-se a teoria de convergência de soluções de viscosidade (método de half-limits) para mostrar que, quando $\varepsilon \to 0$, a sequência de soluções converge para a solução única de um problema de dimensão reduzida $(D_0)$ definido em $\Omega$.

3. Resultados Principais

O Teorema 1 estabelece os seguintes resultados sob as hipóteses do artigo:

1. Existência e Limitação: Para $\varepsilon$ suficientemente pequeno, o problema $(D_\varepsilon)$ possui uma solução de viscosidade limitada.
2. Problema Limite: Existe uma única solução de viscosidade $u_0 \in C(\Omega)$ para o problema limite $(D_0)$:
   $$\begin{cases} G(D^2u, Du, u, x) = 0 & \text{em } \Omega, \\ u = \beta(x, 0) & \text{em } \partial\Omega. \end{cases}$$
   O operador $G$ é derivado de $F$ através de uma projeção geométrica que leva em conta a inclinação das fronteiras superior e inferior.
3. Convergência Uniforme: A solução $u_\varepsilon$ converge uniformemente para $u_0$ quando $\varepsilon \to 0^+$:
   $$\lim_{\varepsilon \to 0^+} \sup_{u \in S_\varepsilon} \sup_{(x,y) \in \Omega_\varepsilon} |u(x,y) - u_0(x)| = 0.$$

4. Contribuições Chave

• Relaxamento da Condição de Monotonicidade: A principal contribuição é remover a necessidade de $c_{\lambda\mu} > 0$ (monotonicidade estrita), permitindo $c_{\lambda\mu} \ge 0$. Isso amplia a classe de operadores elípticos degenerados para os quais a teoria de domínios finos é válida.
• Novo Critério de Elipticidade: A introdução da condição global envolvendo a função $s$ (Eq. 2 e 14) como substituta para a monotonicidade estrita. O artigo fornece exemplos (Seção 3) mostrando que essa condição é não trivial e essencial para garantir a elipticidade do operador limite.
• Tratamento de Condições Oblíquas em Domínios Finos: O desenvolvimento de uma transformação de coordenadas robusta para lidar com condições de fronteira mistas (Oblíquo-Dirichlet) em geometrias que colapsam, generalizando resultados anteriores que focavam apenas em condições de Dirichlet laterais.

5. Significado e Impacto

Este trabalho é uma continuação direta e uma generalização significativa de estudos anteriores sobre EDPs em domínios finos (como [1] e [2]).

• Teórico: Resolve uma lacuna na teoria de EDPs elípticas totalmente não lineares, demonstrando que a degenerescência na direção da solução pode ser compensada por uma estrutura elíptica global no espaço tangente, sem necessidade de dissipação estrita (monotonicidade).
• Aplicado: Modelos de controle ótimo, jogos diferenciais e física matemática frequentemente envolvem operadores de Bellman-Isaacs onde a monotonicidade estrita não é garantida. A capacidade de analisar o comportamento desses sistemas em geometrias finas (como filmes finos, camadas de fluido ou materiais compósitos) é crucial para a modelagem multiescala.
• Metodológico: A técnica de distorção de coordenadas para simplificar condições de fronteira oblíquas em domínios finos oferece uma ferramenta poderosa para futuras investigações em geometrias complexas.

Em suma, o artigo estabelece uma base rigorosa para a análise assintótica de problemas de fronteira mista em domínios finos sob condições de elipticidade mais fracas e mais gerais.