A topological approach to an elliptic problem

Sintesi Tecnica: Un Approccio Topologico a un Problema Ellittico

Enunciato del Problema
Il saggio investiga un problema al contorno che coinvolge un operatore ellittico quasilineare guidato da un $p$-Laplaciano, un pozzo di potenziale e una combinazione di non linearità singolari e critiche. L'equazione specifica oggetto di studio è:
$$\begin{cases} -\Delta_p u + \mu V(x)|u|^{p-2}u = \beta|u|^{p^*-2}u + \lambda|u|^{-\gamma-1}u & \text{in } \Omega, \\ u = 0 & \text{su } \partial\Omega, \end{cases}$$
dove $\Omega \subset \mathbb{R}^N$ ($N \ge 3$) è un dominio limitato con un bordo regolare, $1 < p < N$, e $p^* = \frac{Np}{N-p}$ è l'esponente di Sobolev critico. I parametri soddisfano $\mu, \beta, \lambda > 0$ e $0 < \gamma < 1$. Il potenziale $V \in L^\infty(\Omega)$ è non negativo, con l'interno del suo insieme di zeri, $\tilde{\Omega} = \text{int}(V^{-1}(0))$, non vuoto.

Il problema presenta due sfide analitiche primarie:

1. Crescita Critica: Il termine $|u|^{p^*-2}u$ porta a una mancanza di compattezza nelle inclusioni di Sobolev, una difficoltà tradizionalmente affrontata tramite il principio di concentrazione-compattezza.
2. Non Linearità Singolare: Il termine $|u|^{-\gamma-1}u$ introduce una degenerazione nel funzionale dell'energia vicino allo zero, rendendo il funzionale mal definito sull'intero spazio di Sobolev $W^{1,p}_0(\Omega)$.

Metodologia
Gli autori adottano un approccio topologico distinto dai metodi variazionali standard (come la decomposizione del manifold di Nehari) spesso utilizzati per i problemi concavo-convessi. La metodologia centrale si basa sulla Teoria dei Punti Critici Astratti utilizzando indici cohomologici e la teoria del genere.

1. Spazio di Funzione: Il problema è analizzato nello spazio pesato $W_\mu$, definito come la chiusura di $C_0^\infty(\Omega)$ sotto la norma $\|u\|_\mu^p = \int_\Omega (|\nabla u|^p + \mu V(x)|u|^p) dx$. Questo spazio è uno spazio di Banach riflessivo.
2. Teoremi sui Punti Critici:
   • Teorema di Perera: Gli autori utilizzano un teorema di Perera che coinvolge l'indice cohomologico per stabilire l'esistenza di molteplici soluzioni. Questo teorema permette l'identificazione di valori critici $c_k^*$ associati a insiemi simmetrici di un determinato indice.
   • Teorema del Passaggio Montano Simmetrico di Rabinowitz: Per provare l'esistenza di infinite soluzioni, il saggio impiega il teorema di Rabinowitz, il quale richiede che il funzionale sia pari, soddisfi la condizione di Palais-Smale e presenti specifici comportamenti geometrici su sottospazi a dimensione finita.
3. Analisi della Regolarità: Per gestire la singolarità, gli autori stabiliscono innanzitutto che le soluzioni deboli sono essenzialmente limitate ($L^\infty$). Ciò viene ottenuto attraverso:
   • Una disuguaglianza di tipo Harnack debole derivata tramite iterazione di Moser per sovrasoluzioni positive, fornendo un limite inferiore positivo su sottoinsiemi compatti.
   • Un'iterazione di tipo De Giorgi per provare l'limitatezza in $L^\infty$.
   • Una volta stabilita la limitatezza, il termine singolare diventa localmente limitato, permettendo l'applicazione dei classici risultati di regolarità di Tolksdorf e Lieberman per elevare la soluzione a $C^{1,\alpha}_{loc}(\Omega)$.

Risultati Chiave
Il saggio stabilisce i seguenti risultati principali riguardanti l'esistenza e la molteplicità delle soluzioni deboli:

1. Molteplicità per $\beta$ Grande: Per ogni $\beta \ge \beta^*$, il problema ammette $m$ coppie distinte di soluzioni deboli con valori critici positivi.
   • Nello specifico, per $k \ge 2$, esistono infiniti punti critici con livello di energia critica $c_k^*$.
   • Per $k=1$, esistono esattamente due punti critici, $u$ e $-u$.
2. Molteplicità Infinita: Indipendentemente dal valore del parametro $\beta > 0$, il problema ammette infinite soluzioni.
3. Regolarità: Ogni soluzione debole positiva $u$ appartiene a $C^{1,\alpha}_{loc}(\Omega)$ per qualche $\alpha \in (0,1)$. Ciò è provato mostrando che il termine non lineare $f(x) = \beta u^{p^*-1} + \lambda u^{-\gamma} - \mu V(x)u^{p-1}$ appartiene a $L^\infty_{loc}(\Omega)$, trattando efficacemente l'equazione localmente come un'equazione del $p$-Laplaciano con un termine destro limitato.
4. Indipendenza degli Insiemi di Soluzioni: Gli autori notano che gli insiemi di soluzioni ottenuti tramite il teorema di Rabinowitz (utilizzando insiemi simmetrici compatti a dimensione finita) e il teorema di Perera (utilizzando insiemi con indice cohomologico) possono differire, anche se condividono livelli di energia critica, a causa dell'esistenza di molteplici soluzioni a specifici livelli di energia.

Significatività e Rivendicazioni
Il saggio sostiene di fornire un quadro topologico per risolvere problemi ellittici che combinano non linearità singolari e critiche, un ambito in cui le tecniche variazionali standard incontrano spesso difficoltà a causa della mancanza di compattezza e della natura indefinita del funzionale dell'energia allo zero.

• Contributo Metodologico: Spostando l'analisi dal manifold di Nehari alla teoria dell'indice cohomologico, gli autori dimostrano un metodo robusto per gestire la competizione tra effetti concavi (singolari) e convessi (critici).
• Regolarità: Il lavoro colma esplicitamente il divario tra l'esistenza di soluzioni deboli e la loro regolarità in presenza di termini singolari, provando che la singolarità non impedisce alle soluzioni di essere $C^{1,\alpha}$ localmente.
• Comportamento Limite: Il testo menziona un caso limite in cui un parametro diverge a 8, producendo soluzioni per un problema differente dove l'effetto del pozzo di potenziale diventa trascurabile, sebbene l'analisi dettagliata di questo specifico limite non sia il focus primario delle dimostrazioni fornite.

Gli autori posizionano il loro lavoro come un'estensione di studi precedenti su problemi semilineari e quasilineari (citando lavori di Ambrosetti-Brezis-Cerami, Giacomoni et al., e altri) affrontando specificamente l'interazione tra termini singolari e critici attraverso strumenti topologici.