Variational problems related to self-similar solutions of Hardy-Sobolev heat equation in RN

Technische Samenvatting: Variatieproblemen gerelateerd aan zelfsimilar oplossingen van de Hardy-Sobolev warmtevergelijking in $\mathbb{R}^N$

Probleemstelling
Dit artikel onderzoekt het bestaan, de veelvoudigheid en het niet-bestaan van zelfsimilar oplossingen voor de semilineaire parabolische vergelijking met een singuliere Hardy-Sobolev-potentiaal in $\mathbb{R}^N$:
$$u_t - \Delta u = \frac{|u|^{q-2}u}{|x|^s}, \quad \text{in } \mathbb{R}^N \times (0, \infty),$$
waarbij $2 < q \leq 2^*(s) \equiv \frac{2N-2s}{N-2}$ en $0 \leq s < 2$. De studie richt zich op het omzetten van dit parabolische probleem naar een equivalent ellipisch probleem via een zelfsimilar transformatie. De getransformeerde vergelijking is:
$$-\Delta v - \frac{1}{2}y \cdot \nabla v = \alpha v + \frac{|v|^{q-2}v}{|y|^s}, \quad \text{in } \mathbb{R}^N,$$
waarbij $\alpha = \frac{2-s}{2q-4}$. Het primaire doel is het analyseren van de variatiestructuur van deze ellipische vergelijking, met name de subkritische ($q < 2^*(s)$) en kritische ($q = 2^*(s)$) gevallen, onder invloed van de singuliere term $|y|^{-s}$ en de Gaussische gewichtsfunctie $K(y) = e^{|y|^2/4}$.

Methodologie
De auteurs maken gebruik van een combinatie van functionaalanalyse, gewogen ongelijkheden en variatiemethoden binnen een specifiek Hilbertruimte-kader.

1. Functionele Setting: Het probleem wordt geformuleerd in een Hilbertruimte $X$, gedefinieerd als de volmaking van $C_c^\infty(\mathbb{R}^N)$ met betrekking tot de norm die wordt geïnduceerd door het inproduct $(v_1, v_2)_K = \int_{\mathbb{R}^N} (\nabla v_1 \cdot \nabla v_2) K(y) dy$. De zwakke oplossingen corresponderen met kritieke punten van de energiefunctionaal $E_K(v)$.
2. Gewogen Ongelijkheden: Een fundamentele stap omvat het vaststellen van de gewogen Hardy-ongelijkheid en de gewogen Sobolev-Hardy-ongelijkheid. Deze ongelijkheden zijn cruciaal voor het bewijzen van de continuïteit en compactheid van de relevante inbeddingen $X \hookrightarrow L^q_K(\mathbb{R}^N, |y|^{-s})$.
3. Variatietechnieken:
   • Subkritisch Geval: De Fonteinstelling wordt gebruikt om het bestaan van oneindig veel oplossingen vast te stellen. Dit vereist het verifiëren van de geometrische voorwaarden van de stelling en de Palais-Smale (PS)-voorwaarde.
   • Kritisch Geval: Het bestaan van oplossingen rust op het concentratie-compactheidsprincipe en de analyse van de beste constante $S_{K,\alpha}$ geassocieerd met de gewogen Sobolev-Hardy-ongelijkheid. De auteurs vergelijken $S_{K,\alpha}$ met de standaard beste constante $S^0$ (en $S_{K,0}$) om te waarborgen dat het infimum wordt bereikt.
   • Niet-bestaan: De Pohozaev-identiteit wordt toegepast om voorwaarden af te leiden waaronder geen niet-triviale oplossingen bestaan.
4. Alternatief Bewijs: Voor het kritische geval wordt een alternatief bewijs geboden met behulp van de Bergpasstelling, waarbij een specifieke energie-niveau drempel wordt gebruikt om de (PS)-voorwaarde te verifiëren.

Belangrijkste Bijdragen en Resultaten

• Ongelijkheden: Het artikel bewijst strikt de K-Hardy-ongelijkheid en de K-Sobolev-Hardy-ongelijkheid, waarmee de noodzakelijke compactheidseigenschappen voor de inbedding van de gewogen ruimte $X$ in gewogen Lebesgue-ruimten worden vastgesteld.
• Subkritisch Geval ($2 < q < 2^*(s)$):
  • Stelling 3.1: Voor elke $\alpha \in \mathbb{R}$ kent het probleem oneindig veel oplossingen $\{\pm v_k\}_{k=1}^\infty$ toe, zodanig dat de energie $E_K(\pm v_k) \to +\infty$ wanneer $k \to \infty$. Dit impliceert het bestaan van oneindig veel zelfsimilar oplossingen voor de oorspronkelijke warmtevergelijking.
• Kritisch Geval ($q = 2^*(s)$):
  • Niet-bestaan: Stelling 4.1 stelt vast dat als $\alpha \leq N/4$ (voor $N \geq 3$), de enige oplossing van het probleem de triviale oplossing $v \equiv 0$ is. Dit wordt bewezen via de Pohozaev-identiteit.
  • Bestaan:
    • Voor $N \geq 4$ en $\alpha \in (N/4, N/2)$ bestaat er ten minste één niet-triviale oplossing (Stelling 4.2).
    • Voor $N = 3$ en $\alpha \in (1, 3/2)$ bestaat er ten minste één niet-triviale oplossing.
    • Het artikel karakteriseert ook bereiken waar positieve oplossingen niet bestaan (bijvoorbeeld $\alpha \leq N/4$ of $\alpha \geq N/2$ voor $N \geq 4$).
  • Optimaliteit van Constanten: De auteurs demonstreren dat voor specifieke bereiken van $\alpha$, het infimum van de quotiëntfunctionaal $Q_{K,\alpha}$ strikt kleiner is dan de standaard beste constante $S^0$, waardoor de bereiking van het minimum en dus het bestaan van een oplossing wordt gewaarborgd.
• Alternatieve Aanpak: Sectie 5 biedt een tweede bewijs voor de existentie-resultaten in het kritische geval met behulp van de Bergpas-geometrie, waarmee de robuustheid van de existentie-aanspraken onder de afgeleide energie-beperkingen wordt bevestigd.

Betekenis en Aanspraken
Het artikel claimt de bestaande literatuur over zelfsimilar oplossingen van warmtevergelijkingen (specifiek het werk van Escobedo, Kavian en Tan betreffende het geval $s=0$) uit te breiden naar het complexere scenario met singuliere Hardy-Sobolev-termen ($s > 0$).

De betekenis ligt in:

1. Voltooien van de Dichotomie: Door zowel existentie- als niet-existenteresultaten vast te stellen op basis van de parameter $\alpha$ en de dimensie $N, verduidelijkt het werk het oplosbaarheidslandschap voor de getransformeerde ellipische vergelijking.
2. Omgaan met Singulariteiten: De afleiding van gewogen ongelijkheden en de toepassing van variatiemethoden in aanwezigheid van de singuliere term $|y|^{-s}$ en de Gaussische gewichtsfunctie $K(y)$ bieden een rigoureus kader voor het analyseren van dergelijke singuliere evolutieproblemen.
3. Veelvoudigheid: Het bewijs van oneindig veel oplossingen in het subkritische geval benadrukt de rijke structuur van de oplossingsset voor dit type parabolische vergelijkingen.

De auteurs handhaven een bescheiden toon, met strikte focus op de wiskundige afleiding van existentie-, veelvoudigheids- en niet-existentiestellingen, zonder te extrapoleren naar specifieke fysieke toepassingen buiten de algemene karakterisering van diffusie en singuliere evolutieverschijnselen zoals genoemd in de inleiding. De resultaten worden gepresenteerd als rigoureuze uitbreidingen van klassieke theorieën naar de Hardy-Sobolev-setting.