A mixed local-nonlocal Hénon problem in $\mathbb{R}^N$

Technische Samenvatting: Een gemengd lokaal-niet-lokaal Hénon-probleem in $\mathbb{R}^N$

Probleemstelling
Dit artikel onderzoekt de existentie, regulariteit en niet-existentie van positieve radiale oplossingen voor een Hénon-type vergelijking gedreven door een gemengde lokale-niet-lokale operator in de gehele ruimte $\mathbb{R}^N$. Het probleem wordt geformuleerd als:
$$\begin{cases} \mathcal{L}_{s,p,\gamma} u + |x|^\beta |u|^{p-2}u = |x|^\alpha |u|^{q-2}u & \text{in } \mathbb{R}^N, \\ u > 0, \end{cases}$$
waarbij de operator $\mathcal{L}_{s,p,\gamma}$ een convexe combinatie is van de lokale $p$-Laplaciaan en de fractievel $p$-Laplaciaan:
$$\mathcal{L}_{s,p,\gamma} u := \gamma(-\Delta_p)u + (1-\gamma)(-\Delta_p)^s u.$$
Hierbij is $\gamma \in [0, 1]$ een mengparameter, $s \in (0, 1]$ de fractievel orde (waarbij $s=1$ overeenkomt met het lokale geval), en $p > 1$. De vergelijking bevat een opsluitend potentiaal $|x|^\beta |u|^{p-2}u$ aan de linkerzijde om massaverlies in de oneindigheid te voorkomen, een fenomeen dat doorgaans de existentie in onbegrensde domeinen voor zuivere Hénon-vergelijkingen verhindert. De rechterzijde bevat de Hénon-gewicht $|x|^\alpha$.

Methodologie
De auteurs maken gebruik van variationele methoden binnen een functioneel-analytisch kader dat is afgestemd op radiale functies.

1. Functionele Setting: Het probleem wordt bestudeerd in de gewogen fractievel Sobolev-ruimte van radiale functies, aangeduid als $W^{s,p}_{\beta, \text{rad}}(\mathbb{R}^N)$. De energiefunctionaal geassocieerd met het probleem is:
   $$J(u) = \frac{\gamma}{p}\|\nabla u\|_p^p + \frac{1-\gamma}{p}[u]_{s,p}^p + \frac{1}{p}\|u\|_{p,\beta}^p - \frac{1}{q}\|u\|_{q,\alpha}^q.$$
2. Compactheid: Een centrale technische uitdaging in onbegrensde domeinen is het gebrek aan compacte inbeddingen. De auteurs vestigen een compacte inbedding van de gewogen radiale ruimte $W^{s,p}_{\beta, \text{rad}}(\mathbb{R}^N)$ in de gewogen Lebesgue-ruimte $L^q_\alpha(\mathbb{R}^N)$. Dit wordt bereikt door een combinatie van de Strauss radiale lemma (die verval-schattingen biedt voor radiale functies) met gegeneraliseerde Rother-type lemma's en specifieke schattingen op de interactie tussen de gewichten $\alpha$ en $\beta$.
3. Existentie: De existentie van een niet-triviaal kritisch punt voor $J$ wordt bewezen met behulp van een Mountain Pass-type stelling (specifiek de Brezis-Nirenberg versie). Het bewijs verifieert de geometrische condities (lokaal minimum bij nul en een pad waar de functioneel negatief wordt) en de Palais-Smale conditie, waarbij laatstgenoemde steunt op de gevestigde compacte inbedding.
4. Regulariteit: De begrensdheid van de zwakke oplossingen wordt vastgesteld via een De Giorgi iteratieschema aangepast aan de gemengde operator en de gewogen setting.
5. Niet-existentie: Een Pohozaev-type identiteit wordt gebruikt om een niet-existentie-resultaat voor superkritische exponenten af te leiden. Dit omvat een schaalargument en een gegeneraliseerd Pohozaev-resultaat voor onbegrensde domeinen, wat een gewogen controle van de gradiënt vereist.

Belangrijkste Bijdragen en Resultaten

• Existentie-stelling (Theorem 1.1): De auteurs bewijzen de existentie van een radiale zwakke oplossing onder de voorwaarde dat de exponent $q$ in het subkritische bereik ligt, $p < q < p^*_{\gamma,s,\alpha}$, waarbij $p^*_{\gamma,s,\alpha}$ de kritische Sobolev-exponent is die is aangepast aan de gemengde operator en gewichten. Cruciaal is dat existentie gegarandeerd is indien de parameters voldoen aan de ongelijkheid:
  $$\alpha - \beta + (q-p)\left(1 - \frac{N}{p}\right) < 0.$$
  Dit resultaat breidt eerdere existentie-resultaten voor zuiver lokale ($\gamma=1$) en zuiver fractievel ($\gamma=0$) Hénon-vergelijkingen uit naar het gemengde geval op de gehele ruimte $\mathbb{R}^N$.

• Regulariteit (Theorem 1.2): Er wordt aangetoond dat elke radiale zwakke oplossing $u$ verkregen uit de existentie-stelling essentieel begrensd is ($u \in L^\infty(\mathbb{R}^N)$). Dit is een niet-triviaal resultaat gezien de singuliere aard van de gewichten en de niet-lokale operator.

• Niet-existentie Drempelwaarde (Theorem 1.3): Het artikel stelt vast dat $p^*_{\gamma,s,\alpha}$ dient als een scherpe drempel voor existentie. Specifiek, voor $q > p^*_{\gamma,s,\alpha}$, bestaan er geen oplossingen in de ruimte $\tilde{X}(\mathbb{R}^N)$ (gedefinieerd als begrensde oplossingen met een gewogen gradiëntcontrole $|\nabla u(x)||x| \in L^r$). Dit bevestigt dat de kritische exponent fungeert als een barrière voor de existentie van begrensde oplossingen met gepaste verval.

Betekenis en Omvang
Het artikel claimt de theorie van Hénon-type vergelijkingen uit te breiden van begrensde domeinen en zuiver lokale of fractievel settings naar de complexere setting van gemengde lokale-niet-lokale operatoren op de gehele ruimte $\mathbb{R}^N$.

• Generalisatie: De resultaten verenigen en generaliseren eerder werk van Ni (op begrensde domeinen) en daaropvolgende studies naar fractievel Hénon-vergelijkingen in $\mathbb{R}^N$ (bijv. [2, 6, 14, 20]).
• Parametrange: De auteurs merken op dat hun afgeleide conditie (1.6) de parametrange van [14] voor het specifieke geval van $p=2$ en $\beta=2$ verbetert.
• Methodologische Rigor: Het werk biedt een rigoureus functioneel kader voor gemengde operatoren, waarbij wordt aangetoond dat de benodigde compactheid voor variationele methoden in onbegrensde domeinen kan worden teruggewonnen door de interactie tussen radiale symmetrie en gewogen normen.

Het artikel stelt geen nieuwe fysieke modellen of experimentele toepassingen voor, maar richt zich strikt op de wiskundige analyse van het elliptische probleem, en biedt daarmee een theoretische fundering voor de existentie en eigenschappen van oplossingen van deze klasse van gemengde operatoren.