Note on the multiplicity of solutions for nonlinear scalar field equations with a critical inverse-square potential

Technische Samenvatting: Multipliciteit van oplossingen voor nietlineaire scalaire veldvergelijkingen met een kritisch inverse-kwadratisch potentiaal

Probleemstelling
Het artikel onderzoekt de multipliciteit van oplossingen voor de nietlineaire scalaire veldvergelijking:
$$-\Delta u - \frac{(N-2)^2}{4|x|^2}u = g(u), \quad \text{in } \mathbb{R}^N \setminus \{0\},$$
waarbij $N \geq 3$. De vergelijking bevat de kritische inverse-kwadratische Hardy-potentiaal met de optimale constante $\mu_c = (N-2)^2/4$. Deze specifieke coëfficiënt plaatst het probleem op de kritische drempel van de Hardy-ongelijkheid, wat aanzienlijke analytische uitdagingen introduceert. De nietlineariteit $g: \mathbb{R} \to \mathbb{R}$ wordt verondersteld continu te zijn, oneven te zijn en aan specifieke groei- en tekenvoorwaarden te voldoen (aangeduid als (G1)–(G5)), welke onder meer subkritische groei bij oneindigheid en superlineair gedrag nabij nul omvatten.

Methodologie en Functioneel Kader
De auteurs bouwen voort op het functionele kader dat in hun eerdere werk [3] is vastgesteld en passen een abstracte kritische puntentheorie toe, ontwikkeld door Ikoma [11].

1. Energie-ruimte ($X^1$): Vanwege het gebrek aan coerciviteit van de kwadratische vorm geassocieerd met de operator $-\Delta - \frac{(N-2)^2}{4|x|^2}$ op de standaard Sobolev-ruimte $H^1(\mathbb{R}^N)$, is de natuurlijke energie-ruimte strikt groter dan $H^1(\mathbb{R}^N)$. De auteurs maken gebruik van $X^1(\mathbb{R}^N)$, gedefinieerd als de voltooiing van $H^1(\mathbb{R}^N)$ met betrekking tot een norm die de Hardy-term bevat. Omdat de standaardintegralen in de energiefunctie niet goed gedefinieerd zijn voor functies in $X^1 \setminus H^1$, gebruiken de auteurs een singuliere bilineaire vorm $\xi(u, v)$ met behulp van een limietproces om de inproduct en norm op deze ruimte te definiëren.
2. Symmetrie en Onderruimten: Om multipliciteit vast te stellen, beperken de auteurs de energiefunctie tot specifieke onderruimten van $X^1(\mathbb{R}^N)$:
   • Radiaal geval: De onderruimte van radiaal symmetrische functies $X^1_{\text{rad}}(\mathbb{R}^N)$ voor $N \geq 3$.
   • Niet-radiaal geval: Voor $N \geq 4$ en $N \neq 5$ definiëren de auteurs een onderruimte $X$ bestaande uit functies die invariant zijn onder een specifieke symmetriegroep ($O_2$) en antisymmetrisch met betrekking tot een involutie $\tau(x_1, x_2, x_3) = (x_2, x_1, x_3)$. Deze constructie zorgt voor de uitsluiting van niet-triviale radiale functies.
3. Variationele Benadering: De oplossingen worden gezocht als kritische punten van de energiefunctie $J(u) = \frac{1}{2}\xi(u) - \int_{\mathbb{R}^N} G(u) dx$, waarbij $G$ de primitieve van $g$ is. De auteurs gebruiken de Pohožaev-functional $P(u)$ om een constraint-manifold te definiëren. Zij verifiëren de $(PPS)_c$ conditie (een variant van de Palais-Smale conditie die de Pohožaev-identiteit incorporeert) voor de beperkte functional.
4. Kritisch Puntentheorema: Het bestaan van oneindig veel oplossingen wordt afgeleid uit de abstracte kritische puntentheorema van Ikoma. Dit theorema vereist dat de functional even is (gegarandeerd door de onevenheid van $g$) en voldoet aan specifieke geometrische condities (mountain pass-geometrie en de aanwezigheid van oneven afbeeldingen van sferen naar de functieruimte met negatieve energie).

Belangrijkste Bijdragen en Resultaten
De primaire bijdrage van het artikel is de vaststelling van het bestaan van oneindig veel verschillende zwakke oplossingen aan de vergelijking (1.1), gecategoriseerd naar hun symmetrie:

• Radiale oplossingen: Voor elke dimensie $N \geq 3$ bestaat er een sequentie van radiale zwakke oplossingen $(u_j)_{j=1}^\infty$ zodanig dat de energie $J(u_j) \to \infty$ als $j \to \infty$.
• Niet-radiale oplossingen: Voor dimensies $N = 4$ of $N \geq 6$ bestaat er een sequentie van niet-radiale zwakke oplossingen $(u_j)_{j=1}^\infty$ met onbegrensde energie.
• Regulariteit: De verkregen oplossingen blijken van klasse $C^{1,\alpha}_{\text{loc}}(\mathbb{R}^N \setminus \{0\})$ te zijn. Indien de nietlineariteit $g$ Hölder-continu is, zijn de oplossingen van klasse $C^2(\mathbb{R}^N \setminus \{0\})$.
• Pohožaev-identiteit: De geconstrueerde oplossingen voldoen aan de Pohožaev-identiteit $P(u_j) = 0$.

Betekenis en Claims
Het artikel claimt de multipliciteitsvraag voor de kritische inverse-kwadratische potentiaal op te lossen, een regime waarin standaard variationele methoden vaak falen vanwege het gebrek aan translatie-invariantie en de niet-standaard aard van de energie-ruimte.

• Uitbreiding van vorig werk: Terwijl het eerdere werk van de auteurs [3] het bestaan van ten minste één niet-radiale oplossing en een radiale oplossing vaststelde (onder de aanname dat $g$ oneven is), breidt dit artikel deze resultaten uit door het bestaan van oneindig veel oplossingen van beide typen te bewijzen.
• Overwinnen van Analytische Moeilijkheden: Het werk toont aan dat ondanks het "fall to the center"-fenomeen en het verlies van coerciviteit bij de kritische constante, de variationele structuur robuust genoeg blijft om een oneindige sequentie van oplossingen te ondersteunen wanneer de nietlineariteit over oneven symmetrie beschikt.
• Methodologische Rigor: Het artikel behandelt rigoureus de definitie van de energiefunctie op de vergrote ruimte $X^1$ en valideert de compactheidseigenschappen die vereist zijn voor de toepassing van abstracte kritische puntentheorema's in deze singuliere setting.

De auteurs merken expliciet op dat de regulariteitstheorie in de kritische Hardy-setting niet volledig ontwikkeld is, en dat het daarom een open vraag blijft of alle zwakke oplossingen de Pohožaev-identiteit voldoen; de oplossingen die in dit werk worden geconstrueerd, zijn echter specifiek geselecteerd om eraan te voldoen.