Blowing-up solutions to a critical 4D Neumann system in a competitive regime

1. Il Problema Matematico

Il paper si concentra sullo studio di un sistema ellittico critico in dimensione $N=4$ con condizioni al contorno di Neumann omogenee in un dominio limitato e liscio $\Omega \subset \mathbb{R}^4$. Il sistema è dato da:

$$\begin{cases} -\Delta u_1 + \lambda u_1 = u_1^3 - \beta u_1 u_2^2 & \text{in } \Omega, \\ -\Delta u_2 + \lambda u_2 = u_2^3 - \beta u_2 u_1^2 & \text{in } \Omega, \\ \frac{\partial u_1}{\partial \nu} = \frac{\partial u_2}{\partial \nu} = 0 & \text{su } \partial\Omega, \end{cases}$$

dove:

• $\lambda > 0$ è un parametro grande.
• $\beta > 0$ è una costante di accoppiamento che rappresenta un regime competitivo (le componenti si respingono).
• L'esponente critico è $3 = \frac{N+2}{N-2}$ per $N=4$.

L'obiettivo principale è costruire soluzioni che "esplodono" (blow-up) al bordo del dominio quando $\lambda \to +\infty$. Nello specifico, si cerca una soluzione $(u_{1,\lambda}, u_{2,\lambda})$ tale che ciascuna componente $u_{i,\lambda}$ sviluppi un picco (singolarità) in un punto distinto $\xi_i^*$ sulla frontiera $\partial\Omega$.

2. Metodologia: Riduzione di Lyapunov-Schmidt

Gli autori utilizzano il metodo classico di riduzione di Lyapunov-Schmidt per trasformare il problema infinito-dimensionale in uno finito-dimensionale. La procedura si articola nei seguenti passaggi:

1. Ansatz (Ansatz Modificato):
   A differenza dei casi in dimensione superiore ($N \ge 6$), dove l'ansatz standard basato sulle "bolle" di Talenti è sufficiente, in dimensione $N=4$ la mancanza di compattezza richiede una correzione più raffinata.
   La soluzione è costruita come:
   $$u_i = V_{\lambda, \delta_i, \xi_i} + \psi_i$$
   dove il termine principale è $V_{\lambda, \delta_i, \xi_i} = U_{\delta_i, \xi_i} - W_{\lambda, \delta_i, \xi_i}$.

   • $U_{\delta_i, \xi_i}$ è la bolla standard di Talenti.
   • $W_{\lambda, \delta_i, \xi_i}$ è un termine di correzione introdotto da Rey, definito tramite una soluzione radiale $W$ di un'equazione ausiliaria che coinvolge la funzione di Bessel $K_1$. Questa correzione è cruciale per gestire gli effetti del bordo in dimensione 4.

2. Decomposizione dello Spazio:
   Lo spazio di Hilbert $H^1(\Omega) \times H^1(\Omega)$ viene decomposto in due sottospazi:

   • $K_{d,\xi}$: lo spazio generato dalle derivate dell'ansatz rispetto ai parametri di scala ($\delta$) e posizione ($\xi$).
   • $K_{d,\xi}^\perp$: il complemento ortogonale.
     Il problema viene proiettato su questi due sottospazi.

3. Riduzione Finita-Dimensionale:

   • Passo 1 (Equazione nel complemento ortogonale): Si dimostra l'esistenza e l'unicità di una funzione di errore $\psi \in K_{d,\xi}^\perp$ che risolve la parte proiettata sul complemento ortogonale. Questo richiede stime fini sull'operatore lineare e sul termine di errore, gestendo le interazioni competitive tra le due componenti.
   • Passo 2 (Equazione finita-dimensionale): Si riduce il problema alla ricerca di punti critici di un energia ridotta $\mathcal{R}(d, \xi)$, dipendente dai parametri di scala $d_i$ e dalle posizioni $\xi_i$.

3. Risultati Chiave e Contributi

Teorema Principale (Teorema 1.1)

Sotto l'ipotesi che la curvatura media $H$ del bordo $\partial\Omega$ ammetta due punti di massimo locale stretto distinti $\xi_1^*, \xi_2^*$ con $H(\xi_i^*) > 0$, allora per $\lambda$ sufficientemente grande, il sistema ammette una soluzione $(u_{1,\lambda}, u_{2,\lambda})$ tale che:

• $u_{1,\lambda}$ esplode in $\xi_1^*$.
• $u_{2,\lambda}$ esplode in $\xi_2^*$.
• I punti di concentrazione sono distinti.

Sviluppo Asintotico dell'Energia Ridotta

Un contributo tecnico fondamentale è lo sviluppo asintotico preciso dell'energia ridotta $\mathcal{R}(d, \xi)$ per $\lambda \to \infty$:
$$\mathcal{R}(d, \xi) = c_0 + \frac{1}{\lambda \ln \lambda} \sum_{i=1}^2 \left( -c_1 H(\xi_i) d_i + c_2 d_i^2 \right) + o(1)$$
dove $c_1, c_2 > 0$.
Questo sviluppo mostra che la posizione dei picchi è guidata dalla curvatura media del bordo. Poiché il termine dominante è $-c_1 H(\xi_i) d_i$, i massimi dell'energia ridotta (e quindi le soluzioni) si localizzano nei punti dove $H$ è massimale.

Gestione della Competizione

Il lavoro affronta la difficoltà intrinseca del regime competitivo ($\beta > 0$). A differenza dei sistemi cooperativi, le interazioni tra le componenti tendono a separare i picchi. Gli autori dimostrano che, scegliendo opportunamente i parametri di scala e sfruttando la geometria del dominio, è possibile garantire che i due picchi si formino in punti distinti del bordo, evitando la sovrapposizione o la fusione delle singolarità.

4. Significato e Impatto

• Superamento della Dimensione Critica: Il lavoro risolve un problema aperto per sistemi accoppiati in dimensione critica $N=4$. La dimensione 4 è delicata perché il termine di correzione $W$ (legato alle funzioni di Bessel) ha un comportamento logaritmico che rende l'analisi molto più complessa rispetto ai casi $N \ge 6$.
• Geometria del Dominio: Il risultato collega esplicitamente la struttura delle soluzioni (posizione dei picchi) alla geometria del dominio (curvatura media), confermando che in presenza di "protrusioni" o domini con curvatura positiva, le soluzioni tendono a concentrarsi sulle punte.
• Generalizzazione: Il metodo è estendibile a sistemi con $d \ge 2$ componenti (Remark 1.5), suggerendo che se la curvatura media ha $d$ massimi locali distinti, esistono soluzioni con $d$ picchi separati.
• Metodologia: L'uso di un ansatz modificato con funzioni di Bessel e l'analisi dettagliata degli effetti al bordo forniscono un nuovo strumento tecnico per lo studio di problemi critici in dimensioni basse.

In sintesi, questo articolo rappresenta un passo fondamentale nella teoria dei sistemi ellittici critici con condizioni di Neumann, colmando il divario tra i risultati noti per l'equazione scalare e la teoria dei sistemi accoppiati in dimensione 4.