Behaviour at infinity for solutions of a mixed boundary value problem via inversion

1. Formulação do Problema

O artigo investiga um problema de valor de fronteira misto para uma equação elíptica quasilinear em um domínio ilimitado. Especificamente, os autores consideram a equação:
$$\text{div } A(x, \nabla u(x)) = 0$$
definida em um semicilindro circular infinito aberto $G = B' \times (0, \infty) \subset \mathbb{R}^n$, onde $B'$ é a bola unitária em $\mathbb{R}^{n-1}$.

As condições de fronteira são mistas:

• Condição de Dirichlet: Dados contínuos prescritos $u = f$ em um subconjunto fechado $F \subset \partial G$.
• Condição de Neumann: Derivada conormal nula $N_u(x) := A(x, \nabla u) \cdot \nu(x) = 0$ no restante da fronteira $\partial G \setminus F$.

O campo vetorial $A(x, \nabla u)$ satisfaz condições estruturais padrão para operadores $p$-elípticos ($p > 1$), incluindo monotonicidade, coercividade e homogeneidade. A equação $p$-Laplaciana é um caso específico incluído neste quadro.

Os objetivos principais são:

1. Provar a existência e unicidade de soluções fracas limitadas com dados de Dirichlet contínuos.
2. Caracterizar a regularidade do ponto no infinito (ou seja, se a solução atinge o limite dos dados de fronteira quando $x \to \infty$).
3. Descrever o comportamento assintótico das soluções quando a fronteira de Dirichlet é limitada (ou seja, perto do infinito, apenas condições de Neumann se aplicam), estabelecendo uma tricotomia de Phragmén–Lindelöf.

2. Metodologia

A inovação central do artigo é o uso de uma inversão geométrica (mudança de variáveis) para transformar o problema de um domínio ilimitado para um domínio limitado, permitindo a aplicação de teorias estabelecidas para equações elípticas degeneradas.

A. A Transformação de Inversão

Os autores empregam uma aplicação $T: G \to D$, onde $D$ é a bola superior unitária aberta (com a origem removida). A aplicação é definida como:
$$\xi' = \frac{2e^{-\kappa x_n} x'}{1 + |x'|^2}, \quad \xi_n = \frac{e^{-\kappa x_n}(1 - |x'|^2)}{1 + |x'|^2}$$
Propriedades-chave desta transformação:

• O ponto no infinito no cilindro ($x_n \to \infty$) mapeia para a origem ($\xi = 0$) na bola.
• O operador quasilinear $\text{div } A(x, \nabla u)$ transforma-se em um operador elíptico degenerado ponderado $\text{div } B(\xi, \nabla \tilde{u}) = 0$ na bola unitária.
• A função de peso associada ao operador transformado é $w(\xi) = |\xi|^{p-n}$, que pertence à classe Muckenhoupt $A_p$.

B. Eliminação de Dados de Neumann via Reflexão

Um passo crítico na metodologia é o tratamento das condições de fronteira mistas.

• A condição de Neumann (derivada conormal nula) na parte plana da fronteira corresponde a uma condição de simetria no domínio transformado.
• Os autores estendem o domínio $D$ para a bola unitária completa refletindo através do hiperplano $\xi_n = 0$.
• Ao definir o operador $B$ simetricamente na meia-bola refletida, a condição de Neumann é automaticamente satisfeita. Isso reduz o problema misto no cilindro a um problema puro de Dirichlet na bola unitária completa com um peso degenerado.

C. Aplicação da Teoria Existente

Uma vez reduzido a um problema de Dirichlet com um peso $A_p$, os autores utilizam ferramentas da teoria de equações elípticas degeneradas, referenciando especificamente Heinonen–Kilpeläinen–Martio [10] e Björn–Björn–Mwasa [2]. Eles aplicam:

• Teoremas de existência e unicidade para soluções de Perron.
• Critérios de Wiener para regularidade de fronteira.
• Estimativas de capacidade e desigualdades de Harnack.

3. Contribuições e Resultados Principais

A. Existência e Unicidade (Teorema 5.3)

Os autores provam que, para dados de Dirichlet contínuos $f$ em um conjunto fechado $F$ (que pode ser ilimitado), se o limite $f(\infty)$ existir e for finito, existe uma única solução fraca contínua e limitada $u$.

• A solução atinge os dados de fronteira $f(x_0)$ para todos $x_0 \in F$, exceto possivelmente em um conjunto de capacidade $C_p$ nula.
• A solução é Hölder contínua em todos os pontos da fronteira de Neumann.

B. Regularidade no Infinito (Teorema 6.5)

O artigo caracteriza a regularidade do ponto no infinito usando um critério do tipo Wiener.

• Resultado: O ponto no infinito é regular (ou seja, $\lim_{x \to \infty} u(x) = f(\infty)$) se e somente se a fronteira de Dirichlet $F$ for "suficientemente espessa" no infinito.
• Critério: Esta espessura é medida pela divergência de uma integral envolvendo a capacidade variacional $p$ da interseção de $F$ com cilindros truncados:
  $$\int_1^\infty \text{cap}_{p, G_{t-1}}(F \cap (G_t \setminus G_{2t}))^{1/(p-1)} \, dt = \infty$$
• Se $F$ for limitado (o que significa que a condição de Neumann se aplica perto do infinito), o ponto no infinito é irregular.

C. Tricotomia de Phragmén–Lindelöf (Teorema 7.4)

Quando a fronteira de Dirichlet $F$ é limitada (de modo que a condição de Neumann se aplica perto do infinito), os autores estabelecem uma tricotomia para o comportamento assintótico de qualquer solução $u$. Quando $x \to \infty$, a solução deve comportar-se de exatamente uma das três maneiras:

1. Convergência: A solução tem um limite finito $u(\infty)$. A convergência é exponencial: $|u(x) - u(\infty)| \lesssim e^{-\kappa \alpha x_n}$.
2. Crescimento/Decaimento Linear: A solução tende a $+\infty$ ou $-\infty$ aproximadamente de forma linear (ou seja, $u(x) \sim A x_n + B$).
3. Oscilação: A solução muda de sinal e é ilimitada em ambas as direções, satisfazendo $\limsup_{x \to \infty} u(x) = \infty$ e $\liminf_{x \to \infty} u(x) = -\infty$.

Este resultado generaliza resultados conhecidos de tricotomia para equações elípticas lineares para o contexto misto quasilinear.

4. Significado

• Extensão para Equações Quasilineares: Resultados anteriores sobre problemas de valor de fronteira misto em domínios ilimitados estavam amplamente restritos a equações lineares (por exemplo, Laplace ou forma de divergência linear). Este artigo estende esses resultados para operadores quasilineares gerais, incluindo o $p$-Laplaciano.
• Abordagem Unificada via Inversão: O uso da transformação de inversão combinada com reflexão fornece um método poderoso e elegante para lidar com condições de fronteira mistas em domínios ilimitados, convertendo-as em problemas padrão de Dirichlet em domínios limitados com pesos.
• Caracterização Precisa: O artigo fornece um critério de Wiener preciso para regularidade no infinito, ligando a "espessura" geométrica do conjunto de fronteira ao comportamento analítico da solução.
• Tricotomia para Problemas Mistos: O estabelecimento da tricotomia de Phragmén–Lindelöf para problemas mistos preenche uma lacuna na literatura, mostrando que, mesmo com condições de fronteira mistas, as soluções exibem um conjunto estruturado de comportamentos assintóticos semelhantes aos casos puros de Neumann ou Dirichlet.

Em resumo, o artigo conecta com sucesso a teoria das equações elípticas degeneradas em domínios limitados e os problemas de valor de fronteira misto em domínios cilíndricos ilimitados, fornecendo resultados rigorosos de existência, unicidade e classificação assintótica.