Classification of singular limits for free boundary and singularly perturbed elliptic problems: the Dancer-Yan spikes revisited

Enunciado do Problema
Este artigo aborda a classificação de limites singulares para um problema de contorno livre originário da física de plasma, modelando especificamente equilíbrios de plasma em uma seção transversal de um Tokamak. O problema é formulado como uma equação elíptica singularmente perturbada na dimensão $d=2$:
$$\begin{cases} -\Delta v = [v]_+^p & \text{em } \Omega, \\ v = \gamma & \text{em } \partial\Omega, \\ \int_\Omega [v]_+^p = I, \end{cases}$$
onde $\Omega \subset \mathbb{R}^2$ é um domínio limitado $C^{2,\beta}$, $p \in (1, +\infty)$ e $I > 0$ representa uma corrente total fixa. Os autores investigam o comportamento assintótico das soluções conforme a corrente total $I \to +\infty$. Neste limite, a "região do plasma" $\Omega_+ = \{v > 0\}$ espera-se que desenvolva uma estrutura não trivial, potencialmente concentrando-se em "picos" (regiões onde $v$ é significativamente maior que o valor de contorno).

Embora o comportamento de tais problemas em dimensões superiores ($d \ge 3$) tenha sido estabelecido como uma superposição de finitos "picos" (especificamente picos de Dancer-Yan), o caso bidimensional apresenta dificuldades únicas. Em $d=2$, o problema global limitante padrão $-\Delta w = [w-1]_+^p$ em $\mathbb{R}^2$ com massa finita não admite soluções, impedindo a aplicação direta de argumentos de blow-up de dimensões superiores.

Metodologia
Os autores empregam uma análise de blow-up refinada, adaptada ao cenário bidimensional, baseando-se no arcabouço de Dancer e Yan, mas introduzindo novas técnicas de reescalonamento para lidar com a ausência de soluções globais padrão.

1. Transformação de Variáveis: O problema é reformulado usando variáveis $(\alpha, \psi)$ onde $v = \lambda^{1/(p-1)}(\alpha + \lambda \psi)$ e $\lambda = I^{1/q}$ ($q$ sendo o conjugado de Hölder de $p$). Isso transforma o problema em uma forma singularmente perturbada envolvendo um parâmetro pequeno $\varepsilon_n \to 0$.
2. Limites Integrais: A análise baseia-se em dois limites integrais naturais, denominados (H1) e (H2), que controlam a $(p-1)$-massa e a $p$-massa das soluções, respectivamente. Esses limites são cruciais para excluir soluções de "massa infinita" e garantir a compacidade.
3. Reescalonamento Refinado: Diferente do caso $d \ge 3$, onde os máximos locais permanecem afastados de 1, em $d=2$ os máximos $v_n(x_n)$ convergem para 1. Os autores introduzem um reescalonamento delicado e de múltiplas escalas envolvendo parâmetros $s_n$ e $\theta_n$ (derivados da solução da equação de Emden $\phi$) para capturar a estrutura "microscópica" dos picos.
   • Eles definem uma função reescalonada $\tilde{v}_n$ e uma função normalizada adicional $u_n$ para analisar o perfil próximo aos maximizadores locais.
4. Classificação de Soluções Inteiras: Um passo técnico fundamental envolve a classificação de soluções de massa finita para a equação planar $-\Delta w = [w]_+^p$ em $\mathbb{R}^2$. Os autores provam que tais soluções são ou triviais ou radiais e assumem uma forma específica envolvendo a solução de Emden $\phi$ dentro de um disco e um decaimento logarítmico fora dele.
5. Extração de Múltiplos Picos: Para lidar com múltiplos picos agrupados no mesmo ponto, os autores utilizam um argumento indutivo. Eles provam que dois picos distintos não podem estar arbitrariamente próximos em relação aos seus parâmetros de escala e que a presença de um pico do Tipo I ou Tipo II impede a existência de um pico "Fading" (em desvanecimento) na mesma localização.
6. Identidade de Pohozaev: Para a estrutura global, os autores utilizam a identidade de Pohozaev para derivar uma restrição sobre as localizações dos picos, mostrando que estes devem ser pontos críticos de um Hamiltoniano de Kirchhoff-Routh.

Contribuições Principais e Resultados

1. Classificação de Limites Singulares (Teorema 1.1):
   Os autores estabelecem que, sob os limites integrais (H1) e (H2), o limite singular das soluções cai em uma de três categorias em torno de qualquer sequência de maximizadores locais:

   • Vanishing (Desvanecimento): A solução permanece abaixo do limiar 1 em subconjuntos compactos.
   • Picos do Tipo I: A solução converge para um perfil de "pico de Dancer-Yan". Aqui, a função reescalonada converge para a solução inteira padrão $w^*$, e a massa é quantizada.
   • Picos do Tipo II: Um fenômeno novo específico para $d=2$. A função reescalonada ainda converge para $w^*$, mas os parâmetros de escala divergem de tal forma que a $p$-massa desaparece no limite, enquanto a $(p-1)$-massa permanece quantizada.
   • Fading Spikes (Picos em Desvanecimento): A amplitude do pico decai tão rapidamente que ele efetivamente desaparece no limite, com a solução comportando-se como uma função harmônica perturbada por um termo pequeno.

   Crucialmente, o artigo demonstra que, ao contrário de dimensões superiores, nem toda solução é uma simples superposição de picos de Dancer-Yan. A presença de picos do Tipo II e de Fading spikes indica uma estrutura singular mais rica em 2D.

2. Estrutura Global com Condições de Dirichlet (Teorema 1.2):
   Ao impor condições de contorno de Dirichlet ($v=0$ em $\partial\Omega$) e uma condição de não-nulidade (NVp) na $p$-massa, os autores fornecem uma classificação detalhada para a solução global, enquanto observam que uma descrição completa da interação entre diferentes tipos de picos agrupados no mesmo ponto permanece um problema em aberto.

   • O conjunto singular $\Sigma$ consiste em finitos pontos interiores.
   • A solução é uma superposição de picos do Tipo I e do Tipo II centrados nesses pontos.
   • A $(p-1)$-massa é quantizada: ela é igual a $(N_I + N_{II})I_{p-1}$, onde $N_I$ e $N_{II}$ são as contagens de picos do Tipo I e do Tipo II.
   • A $p$-massa não é quantizada em geral; ela depende dos limites de escala específicos dos picos do Tipo I.
   • A região do plasma $\Omega_{n,+}$ consiste em componentes assintoticamente redondas ao redor dos centros dos picos.
   • As localizações dos picos do Tipo I são pontos críticos de um Hamiltoniano de Kirchhoff-Routh envolvendo a função de Green do domínio.
   • Nota: Embora os autores consigam excluir picos de "Fading" na presença de picos do Tipo I ou Tipo II sob estas condições, eles afirmam explicitamente que uma descrição completa da interação local quando múltiplos picos de diferentes tipos (Tipo I e Tipo II) se agrupam no mesmo ponto é atualmente um problema em aberto.

3. Aplicação ao Problema Original de Plasma (Teorema 1.3):
   Os autores traduzem esses resultados de volta para as variáveis originais $(v, \gamma)$ para o problema do plasma. Eles mostram que, sob restrições assintóticas específicas nos parâmetros $\lambda_n$ e $\alpha_n$, as soluções exibem as estruturas de picos classificadas. Eles fornecem fórmulas assintóticas precisas para o valor de contorno $\gamma$ e para a corrente total em termos do número e tipo de picos.

Significância e Alegações
O artigo afirma fornecer a primeira descrição detalhada do limite singular para este problema de contorno livre na dimensão $d=2$. Sua principal significância reside em revelar que o caso bidimensional é fundamentalmente diferente do caso de dimensões superiores:

• Riqueza de Estrutura: A existência de picos do Tipo II e de Fading spikes mostra que o espaço de soluções é mais complexo do que uma simples colagem de perfis padrão.
• Fenômeno de Quantização: O artigo destaca um comportamento de quantização distinto onde a $(p-1)$-massa é quantizada (semelhante a equações do tipo Liouville), mas a $p$-massa não é, desafiando a intuição trazida de $d \ge 3$.
• Avanço Metodológico: O trabalho introduz um refinamento necessário nas técnicas de reescalonamento para lidar com o desaparecimento do valor máximo em 2D, superando o obstáculo de que o problema global limitante padrão não possui soluções.

Os autores afirmam explicitamente que uma descrição completa da interação entre múltiplos picos de diferentes tipos agrupados no mesmo ponto permanece um problema em aberto, embora tenham conseguido excluir certas configurações (como a coexistência de Fading spikes com picos do Tipo I/II) sob condições de Dirichlet. Eles também conjecturam que picos do Tipo II podem não existir em domínios convexos, sugerindo uma dependência da geometria do domínio.