An extension of a critical Hardy--Rellich inequality: explicit constants and the sharp weight range

Technische Samenvatting: Een Uitbreiding van een Kritische Hardy–Rellich Ongelijkheid

Probleemstelling
Dit artikel behandelt de kritische Hardy–Rellich ongelijkheden die recentelijk door Castro [1] zijn vastgesteld, specifief gericht op het geval waarbij de exponent $p$ gelijk is aan de dimensie $N$ ($p=N$). Terwijl klassieke Hardy- en Rellich-ongelijkheden falen bij het eindpunt $p=N$ zonder logaritmische correcties, bewees Castro een kritische ongelijkheid met betrekking tot de grootheid $\nabla(u/|x|)$ en de Hessiaan of Laplaciaan van $u$. Echter, twee significante beperkingen bleven bestaan in de resultaten van Castro:

1. De afgeleide constanten waren niet expliciet.
2. Het bereik van de gewichtsexponent $a$ in de gewogen ongelijkheden was beperkt tot $a < 1$, wat de auteurs identificeren als verre van optimaal.

Het centrale openstaande probleem dat wordt geadresseerd, is het bepalen van de optimale constanten en het scherpe bereik van de gewichtsexponent $a$ waarvoor deze ongelijkheden gelden, in het bijzonder voor het geval $p=N$.

Methodologie
De auteurs herformuleren het probleem met behulp van de Emden–Fowler transformatie, waarbij de variabele $t = \log r$ (waarbij $r = |x|$) wordt geïntroduceerd. Deze transformatie maakt het mogelijk om de radiale en angulaire componenten van de ongelijkheid te analyseren via een enkele, klassieke ééndimensionale gewogen Hardy-ongelijkheid.

Belangrijke methodologische stappen omvatten:

• Decompositie: De gradiënt $\nabla(u/|x|)$ wordt ontleed in radiale en tangentiële (sferische) componenten. De auteurs maken gebruik van puntwijze grenzen die deze componenten relateren aan de Hessiaan $|D^2u|$.
• Ééndimensionale Reductie: Door $f(t) = \phi(e^t)$ te stellen, reduceert het probleem zich tot het toepassen van de scherpe gewogen Hardy-ongelijkheid in de vorm:
  $$\int_{\mathbb{R}} |f(t)|^N e^{\mu t} dt \leq \left( \frac{N}{|\mu|} \right)^N \int_{\mathbb{R}} |f'(t)|^N e^{\mu t} dt$$
  Dit vervangt de hulp-begrensdheidsresultaten voor integraaloperatoren gebruikt in [1], die vertrouwden op de Jensen-ongelijkheid.
• Convexiteitssplitsing: Voor $N \geq 2$ gebruiken de auteurs een convexiteitsongelijkheid $(A+B)^{N/2} \leq 2^{N/2-1}(A^{N/2} + B^{N/2})$ om de radiale en angulaire bijdragen te ontkoppelen, waarbij ze deze afzonderlijk schatten voordat ze de resultaten combineren.
• Constructie van Tegenvoorbeeld: Om de scherpte van het bereik te bewijzen, construeren de auteurs een sequentie van radiale functies in de Emden–Fowler variabele die de ongelijkheid schendt bij de kritische exponent $a=N$.

Belangrijkste Bijdragen en Resultaten

1. Uitbreiding van het Gewichtsbereik:
   Het artikel bewijst dat de gewogen ongelijkheid geldt voor alle $a \neq N$, wat het vorige bereik van $a < 1$ aanzienlijk uitbreidt. Specifiek, voor $N \geq 2$ en $a \neq N$, wordt de volgende ongelijkheid vastgesteld voor $u \in C^\infty_c(\mathbb{R}^N \setminus \{0\})$:
   $$\int_{\mathbb{R}^N} \left| \nabla \left( \frac{u(x)}{|x|} \right) \right|^N |x|^a dx \leq C_{N,a} \int_{\mathbb{R}^N} |D^2 u|^N |x|^a dx$$
   De ongelijkheid faalt dan en slechts dan als $a = N$.

2. Expliciete Constanten:
   De auteurs leiden een expliciete constante $C_{N,a}$ af voor $N \geq 2$ en $a \notin \{0, N\}$:
   $$C_{N,a} = 2^{N/2-1} \left[ \left( \frac{N}{|a|} \right)^N + \left( \frac{N}{|N-a|} \right)^N \right]$$
   Voor het ééndimensionale geval ($N=1$) is de scherpe constante $1/|1-a|$. De auteurs merken op dat hoewel deze constante expliciet is, er niet wordt beweerd dat dit de optimale (beste) constante is vanwege de convexiteitstap die werd gebruikt om de radiale en angulaire termen te scheiden.

3. Scherpte van het Bereik:
   Het artikel stelt vast dat $a=N$ de unieke kritische waarde is. Bij deze waarde faalt de ongelijkheid zelfs op de deelruimte van radiale functies. Dit falen wordt toegeschreven aan het verdwijnen van de exponentiële gewicht in de equivalente ééndimensionale probleem, analoog aan het falen van de klassieke Hardy-ongelijkheid bij $p=N$.

4. Uitbreiding naar de Laplaciaan (Muckenhoupt-bereik):
   Door de belangrijkste resultaten te combineren met de gewogen Calderón–Zygmund ongelijkheid, breiden de auteurs het resultaat uit naar de Laplaciaan-formulering ($\Delta u$) voor het Muckenhoupt-bereik $-N < a < N(N-1)$ (met $a \neq N$). Dit biedt een gedeeltelijke oplossing voor Open Probleem 1 in [1].

Betekenis en Omvang
Het artikel beweert een gedeeltelijke oplossing te bieden voor de openstaande problemen met betrekking tot de kritische Hardy–Rellich ongelijkheden zoals gesteld in [1]. De primaire betekenis ligt in:

• Verwijderen van Kunstmatige Beperkingen: Het gebruik van de scherpe gewogen Hardy-ongelijkheid, in plaats van Jensen-gebaseerde schattingen, verwijdert de kunstmatige beperking $a < 1$, waardoor wordt aangetoond dat de ongelijkheid ook voor alle $a > N$ geldt.
• Expliciteit: Het verstrekken van expliciete constanten waar eerdere resultaten niet-constructief waren.
• Verduidelijking van Kritikaliteit: Het nauwkeurig identificeren van $a=N$ als de unieke kritische exponent waar de ongelijkheid bezwijkt.

Beperkingen en Openstaande Problemen
De auteurs blijven bescheiden over de optimaliteit van de afgeleide constanten, waarbij zij opmerken dat de factor $2^{N/2-1}$ voortkomt uit een ontkoppelingsstap die de radiale en angulaire bijdragen niet simultaan maximaliseert. Daarom blijft het bepalen van de beste (optimale) constanten voor het algemene geval een open probleem (Open Probleem 1 van [1]).

Verder lost het artikel de fractionele analogen (Open Problemen 2 en 3 van [1]) niet op, waarbij wordt opgemerkt dat de huidige argumentatie sterk steunt op de structuur van de tweede afgeleide $\partial_{rr}$, die geen directe niet-lokale substituut heeft voor fractionele operatoren. Ten slotte blijft de geldigheid van de Laplaciaan-formulering (1.6) buiten het Muckenhoupt-bereik ($a \leq -N$ of $a \geq N(N-1)$) openstaand.