Liouville theorem for fully nonlinear elliptic equations with the small oscillation and the periodicity in $x$ and the periodic right hand term

Este artigo estabelece resultados de existência e do tipo Liouville para soluções de crescimento quadrático de equações elípticas totalmente não lineares com dados periódicos, demonstrando que, sob a hipótese de pequena oscilação da função $F$ em relação a $x$, tais soluções podem ser expressas como a soma de um polinômio quadrático e uma função periódica.

O essencial

Imagine que você está tentando prever o clima em um planeta gigante e infinito. O clima não é aleatório; ele segue regras físicas muito estritas (as equações), mas o terreno desse planeta é cheio de montanhas e vales que se repetem em um padrão perfeito, como um tapete com um desenho que se repete para sempre.

Este artigo de Liang é como um manual para entender como o "clima" (uma função chamada $u$) se comporta nesse planeta infinito, especialmente quando o clima está ficando muito intenso (crescendo quadraticamente, ou seja, como uma parábola).

Aqui está a explicação simplificada, usando analogias do dia a dia:

1. O Problema: O Mapa que se Repete

Pense na equação $F(D^2u, x) = f(x)$ como uma receita de bolo.

• $f(x)$ (O Ingrediente): É o sabor do bolo. No nosso caso, o sabor é periódico. Imagine que o bolo tem um padrão de morango, chocolate, morango, chocolate... que se repete a cada metro.
• $F$ (A Receita): É a regra de como misturar os ingredientes. A regra também tem um padrão que se repete no espaço.
• O Desafio: O autor quer saber: se eu seguir essa receita em um planeta infinito, como o bolo vai ficar? Ele vai crescer descontroladamente? Ele vai ter uma forma específica?

2. A Grande Descoberta: A "Fórmula Mágica"

O artigo prova algo incrível sobre soluções que crescem de forma quadrática (como uma parábola). Ele diz que, sob certas condições, qualquer solução complexa pode ser decomposta em duas partes simples:

$$u(x) = \text{Parábola} + \text{Padrão Repetitivo}$$

A Analogia da Montanha e do Tapete:
Imagine que você está escalando uma montanha infinita.

• A Parábola é a inclinação geral da montanha. É a tendência de subir. É a parte "lisa" e previsível.
• O Padrão Repetitivo (a função periódica) são as pequenas pedras, musgos e irregularidades no caminho que se repetem a cada passo.

O teorema de Liouville deste artigo diz: "Não importa quão complicado seja o caminho, se você olhar de longe, ele é apenas uma rampa suave coberta por um tapete com um padrão que se repete."

3. A Condição Importante: "O Pequeno Balanço"

Para que essa "fórmula mágica" funcione, o autor introduz uma condição chamada "pequena oscilação" (small oscillation).

A Analogia do Terreno:
Imagine que o padrão repetitivo (o tapete) não é perfeitamente liso. Ele tem algumas ondulações.

• Se as ondulações forem muito grandes e caóticas, a montanha pode ficar tão irregular que a "rampa suave" desaparece e o comportamento se torna imprevisível.
• O autor exige que as ondulações do padrão sejam "pequenas" (suaves o suficiente). Se as irregularidades forem pequenas, a estrutura global (a parábola) ainda consegue se manter. É como dizer: "O tapete pode ter desenhos, mas desde que não tenha buracos gigantes, a estrada ainda é uma estrada reta."

4. O Que Isso Significa na Prática?

O artigo faz três coisas principais:

1. Existência (Construindo o Bolo): Ele prova que, se o padrão for repetitivo e as ondulações forem pequenas, sempre existe uma solução que segue essa regra de "Parábola + Padrão". Você pode construir esse bolo.
2. Unicidade (A Forma é Única): Ele mostra que, uma vez que você define a inclinação da rampa (a parábola), o padrão repetitivo é único. Não há duas formas diferentes de fazer esse bolo com a mesma inclinação.
3. Liouville (O Olhar de Longe): Se você encontrar qualquer solução que cresça como uma parábola nesse mundo, você pode ter certeza de que ela é essa combinação de rampa e padrão. Não há "monstros" escondidos que fogem a essa regra.

5. O Cenário de "Exterior" (O Que Fica de Fora)

O artigo também olha para o que acontece fora de uma área específica (como um planeta com um buraco no meio).

• A Analogia: Imagine que você está observando o clima de um planeta, mas não pode entrar no centro (talvez seja um vulcão).
• O autor mostra que, mesmo olhando de fora, o clima lá fora ainda segue a mesma regra: ele se aproxima de uma rampa suave coberta pelo padrão repetitivo à medida que você se afasta. E ele consegue calcular exatamente quão rápido essa aproximação acontece.

Resumo Final

Em linguagem simples:
Este papel é como um guia para engenheiros e matemáticos que lidam com sistemas complexos e repetitivos. Ele garante que, se as variações locais (as irregularidades) não forem muito violentas, o comportamento global do sistema é previsível e estruturado.

É como dizer: "Mesmo que o mundo seja cheio de detalhes repetitivos e complicados, se você der um passo para trás, verá que tudo segue uma linha reta e suave, coberta por um padrão que você já conhece."

Isso é uma generalização de resultados antigos (que só funcionavam para receitas lineares simples) para receitas muito mais complexas e não-lineares, abrindo portas para entender melhor fenômenos físicos em materiais com microestruturas repetitivas.

Resumo técnico

Resumo Técnico: Teorema de Liouville para Equações Elípticas Totalmente Não Lineares

1. O Problema Investigado

O artigo foca no estudo de soluções de crescimento quadrático para equações elípticas totalmente não lineares na forma:
$$F(D^2u(x), x) = f(x), \quad x \in \mathbb{R}^n$$
onde:

• $F: S^{n \times n} \times \mathbb{R}^n \to \mathbb{R}$ é uma função contínua, uniformemente elíptica e periódica em $x$ (com período em $\mathbb{Z}^n$).
• $f: \mathbb{R}^n \to \mathbb{R}$ é uma função contínua e periódica.
• O operador $F$ satisfaz condições de concavidade em relação à matriz $M = D^2u$.

O objetivo central é estabelecer resultados do tipo Liouville para essas equações. Especificamente, o autor busca provar que qualquer solução $u$ com crescimento limitado por $|x|^2$ (crescimento quadrático) pode ser decomposta na soma de um polinômio quadrático, um termo linear e uma função periódica.

Um desafio crucial abordado é a dependência de $F$ em relação a $x$. Diferente de equações com coeficientes constantes ou apenas dependentes de $D^2u$, a variação de $F$ em $x$ (oscilação) pode impedir a estrutura desejada da solução. O trabalho impõe uma condição de "pequena oscilação" sobre $F$ em relação a $x$ para superar essa dificuldade.

2. Metodologia e Estrutura das Hipóteses

O autor utiliza uma combinação de técnicas de teoria de homogeneização, estimativas de regularidade para soluções de viscosidade e argumentos de blow-down (escala de expansão).

Hipóteses Principais:

• (H1) Elipticidade Uniforme: Existência de constantes $0 < \lambda \le \Lambda < \infty$ tais que o operador satisfaz as desigualdades de Pucci.
• (H2) Periodicidade em $x$: $F(M, x+z) = F(M, x)$ para $z \in \mathbb{Z}^n$.
• (H3) Concavidade em $M$: $F$ é côncava na variável da matriz Hessiana.
• Condição de Pequena Oscilação: Define-se $\beta(x, x_0)$ como a oscilação de $F$ em $x$. A condição chave (1.4) exige que a média $L^n$ de $\beta$ em bolas pequenas seja suficientemente pequena (controlada por uma constante $\beta_0$ dependente apenas de dimensão e elipticidade). Isso garante estimativas $W^{2,p}$ internas.

Técnicas Utilizadas:

1. Método da Continuidade e Aproximação Suave: Para provar a existência de soluções periódicas para o problema de correção (encontrar $v$ tal que $F(A+D^2v, x) = \text{constante}$), o autor usa o método da continuidade, aproximando $F$ e $f$ por funções suaves e utilizando estimativas de Hölder e $W^{2,p}$.
2. Operador de Homogeneização ($\bar{F}$): Define-se um operador efetivo $\bar{F}(A)$ que captura o comportamento médio da equação. Para cada matriz constante $A$, existe um único número $\alpha = \bar{F}(A)$ tal que a equação de correção periódica tem solução.
3. Sequência de Blow-down: Para analisar o comportamento assintótico de soluções com crescimento quadrático, define-se $u_R(x) = u(Rx)/R^2$. Ao fazer $R \to \infty$, extrai-se uma subsequência que converge para um polinômio quadrático $Q(x) = \frac{1}{2}x^T Ax$.
4. Princípio do Máximo e Diferenças Finitas: Utiliza-se o princípio do máximo forte e argumentos de diferenças finitas de segunda ordem (baseados em Li e Liang [11] e Caffarelli-Li [6]) para mostrar que a diferença entre a solução original e o polinômio assintótico é limitada e periódica.

3. Principais Resultados

Teorema de Existência (Teorema 1.2 e Corolário 1.3):
Estabelece que, sob a condição de pequena oscilação, para qualquer matriz simétrica $A$, existe uma única função periódica $v$ (com média zero) resolvendo a equação de correção:
$$F(A + D^2v(x), x) - \bar{F}(A) = f(x) - \int_{[0,1]^n} f(y) dy$$
Isso define o operador de homogeneização $\bar{F}$.

Teorema de Liouville (Teorema 1.7):
Este é o resultado central. Se $u$ é uma solução de viscosidade de (1.1) com crescimento quadrático ($|u(x)| \le C(1+|x|^2)$) e a oscilação de $F$ satisfaz a condição (1.4), então:
$$u(x) = \frac{1}{2}x^T Ax + b \cdot x + c + v(x)$$
onde:

• $A \in S^{n \times n}$ satisfaz $\bar{F}(A) = \int_{[0,1]^n} f$.
• $b \in \mathbb{R}^n$ e $c \in \mathbb{R}$ são constantes.
• $v \in T$ é uma função periódica com média zero.

Resultados em Domínios Externos (Teoremas 1.9 e 1.11):
O autor estende os resultados para o problema de Dirichlet em domínios externos ($\mathbb{R}^n \setminus \Omega$).

• Prova-se a existência de soluções com comportamento assintótico prescrito.
• Estabelece-se uma taxa de convergência para o comportamento assintótico. Se $\Lambda/\lambda < n-1$, a taxa de decaimento do erro é $O(|x|^{1 - (n-1)\frac{\lambda}{\Lambda}})$.

4. Contribuições Chave e Generalizações

1. Generalização de Resultados Lineares e Não Lineares: O trabalho generaliza resultados clássicos de Li-Wang (para equações lineares não divergentes) e Li-Liang (para equações totalmente não lineares com termo à direita constante ou $F$ independente de $x$).
2. Tratamento da Dependência em $x$: Ao introduzir a condição de "pequena oscilação" (1.4), o autor consegue lidar com operadores onde os coeficientes variam periodicamente, algo que não era coberto diretamente pelos teoremas anteriores sem assumir coeficientes constantes ou dependência apenas em $D^2u$.
3. Conexão com Teoria de Homogeneização: O artigo formaliza a construção do operador homogeneizado $\bar{F}$ no contexto de equações totalmente não lineares com dados periódicos, conectando a teoria de Liouville com a teoria de homogeneização.
4. Remoção de Assunções de Suavidade: Através de aproximação suave e estimativas de viscosidade, o resultado é válido mesmo quando $F$ e $f$ não são necessariamente suaves ($C^2$), bastando continuidade e a condição de oscilação.

5. Significado e Impacto

Este trabalho é significativo porque:

• Unifica Teorias: Conecta a teoria de crescimento polinomial de soluções de equações elípticas com a teoria de homogeneização e problemas variacionais em toros.
• Expande o Escopo: Permite o estudo de soluções em contextos mais realistas onde os coeficientes da equação não são constantes, mas variam periodicamente no espaço (comum em materiais compostos ou meios heterogêneos).
• Ferramentas Robustas: Fornece um quadro analítico robusto (usando estimativas $W^{2,p}$ e princípios de comparação) para lidar com a não-linearidade e a periodicidade simultaneamente, abrindo caminho para futuras pesquisas em equações elípticas não lineares em domínios não limitados com dados oscilatórios.

Em suma, o artigo demonstra que, sob condições controladas de oscilação dos coeficientes, a estrutura das soluções de crescimento quadrático permanece "rígida", sendo essencialmente um polinômio quadrático perturbado por uma função periódica, generalizando assim o clássico Teorema de Liouville para um cenário não linear e heterogêneo.