Nonlocal degenerate Isaacs operators: Hölder regularity

Resumo Técnico: Operadores de Isaacs Não Locais Degenerados: Regularidade de Hölder

Enunciado do Problema
O artigo aborda a regularidade de soluções viscos de classe limitada para uma classe de equações totalmente não lineares, não locais e fortemente degeneradas de ordem $2s$ (onde $s \in (0, 1)$). O operador específico sob investigação é um contraparte não local da soma dos menores e maiores autovalores da matriz Hessiana, $\lambda_1(D^2u) + \lambda_N(D^2u)$.

O operador $I$ é definido via uma estrutura "inf-sup" sobre direções no espectro unitário $S^{N-1}$:
$$Iu(x) = \inf_{\xi \in S^{N-1}} I_\xi u(x) + \sup_{\xi \in S^{N-1}} I_\xi u(x)$$
onde $I_\xi$ representa um Laplaciano fracionário unidimensional ao longo da direção $\xi$. Diferente dos Laplacianos fracionários padrão ou operadores não locais com núcleos rugosos (que tipicamente recuperam a regularidade de Hölder para todo o intervalo $s \in (0, 1)$), este operador é "muito degenerado" porque o processo de Lévy subjacente é suportado apenas em um conjunto de direções que inclui as extremas (autovalores mínimo e máximo), mas carece de ellipticidade total em todas as direções.

A questão central é se soluções viscos limitadas para $Iu = f(x)$ possuem continuidade de Hölder e, se sim, sob quais condições sobre a ordem $s$.

Metodologia
Os autores empregam técnicas de solução viscos, especificamente baseando-se no princípio do máximo e argumentos de barreira à la Ishii-Lions, em vez de métodos variacionais ou teoria de De Giorgi-Nash-Moser. O núcleo da prova envolve um argumento de duplicação de variáveis para estabelecer estimativas de Hölder.

Componentes técnicos principais incluem:

1. Duplicação de Variáveis: Os autores constroem uma função de teste $\phi(x, y) = u(x) - u(y) - M|x-y|^\alpha - L|x-z_0|^2$ para analisar a oscilação da solução. Eles assumem que o supremo desta função é positivo e derivam uma contradição comparando o operador aplicado à solução no ponto de máximo $(\bar{x}, \bar{y})$.
2. Análise Direcional: Um passo crítico envolve estimar o operador $I$ escolhendo direções específicas. A prova utiliza o fato de que o operador "enxerga" as direções extremas. Os autores selecionam a direção $\bar{\xi} = \frac{\bar{x}-\bar{y}}{|\bar{x}-\bar{y}|}$ para limitar os termos de ínfimo e supremo.
3. Estimativas Integrais: A prova depende fortemente de estimativas precisas de integrais singulares envolvendo os quocientes de diferença das funções de teste. Os autores definem funções auxiliares (por exemplo, $h_c(s)$ e $g_c(\alpha)$) envolvendo integrais de termos logarítmicos e de potência para determinar o sinal das desigualdades resultantes.
4. Regularidade de Fronteira: Para regularidade global, os autores estabelecem estimativas de fronteira usando a função de distância $d(x)$. Eles provam que as soluções se comportam como $d(x)^\alpha$ perto da fronteira ao analisar a ação do operador sobre $d(x)^\alpha$ e utilizando as propriedades da função de distância com sinal próximo de domínios $C^2$.
5. Teorema de Liouville: O resultado de Liouville é derivado combinando as estimativas de Hölder interior com um argumento de escala. Ao reescalar a solução e deixar o raio do domínio ir para o infinito, o módulo de continuidade de Hölder força a solução a ser constante.

Principais Contribuições e Resultados

• Regularidade de Hölder Interior (Teorema 1.1): O principal resultado estabelece que existe um limiar $s_0 \in (1/2, 1)$ tal que, para qualquer $s \in (s_0, 1)$, soluções viscos limitadas para $Iu = f$ são localmente contínuas de Hölder ($C^{0, \alpha}_{loc}$). Isso é significativo porque, diferentemente de operadores com medidas de Lévy singulares suportadas em conjuntos de medida positiva (onde a regularidade ocorre para todo $s \in (0, 1)$), este operador degenerado requer que $s$ esteja suficientemente próximo de 2 (ou seja, $s > 1/2$) para recuperar a regularidade.
• Regularidade de Hölder Global (Teorema 1.2): Para um domínio limitado $C^2$ $\Omega$ com condições de contorno de Dirichlet nulas, a solução é globalmente contínua de Hölder em $\Omega$, desde que $s > s_0$.
• Teorema de Liouville (Teorema 1.3): Como consequência da regularidade, os autores provam que qualquer solução viscos limitada para a equação homogênea $Iu = 0$ em todo o espaço $\mathbb{R}^N$ é constante, desde que $s > s_0$.
• Contraexemplo para Supersoluções: O artigo destaca uma distinção entre soluções e supersoluções. Enquanto a propriedade de Liouville ocorre para soluções quando $s > s_0$, os autores demonstram (citando argumentos de [BGT22]) que supersoluções limitadas não triviais existem para a mesma equação em qualquer dimensão $N \ge 2$. Isso contrasta com o caso local ($s=1$), onde a propriedade de Liouville ocorre para supersoluções.

Significado e Alegações
O artigo alega que a estrutura de "direção extrema" do operador é suficiente para recuperar a regularidade de Hölder, mas apenas quando a ordem não local está suficientemente próxima do caso local de segunda ordem. Isso contrasta com trabalhos anteriores sobre operadores não locais degenerados, onde a regularidade era frequentemente estabelecida para todo o intervalo de $s$.

Os autores observam que sua abordagem é distinta dos métodos variacionais usados por Ros-Oton e Serra para núcleos rugosos; em vez disso, sua abordagem baseada em viscos permite lidar com a estrutura específica de "inf + sup" do operador de Isaacs. A restrição $s > s_0$ é intrínseca ao método e à geometria específica da degenerescência do operador; o artigo não afirma regularidade para $s \le 1/2$.

O trabalho estende a compreensão das equações não lineares totais não locais, especificamente aquelas que surgem de problemas de controle ótimo com difusão degenerada, ao fornecer os primeiros resultados de regularidade para esta classe específica de "Laplacianos truncados não locais" no cenário degenerado.