Identities and inequalities for integral transforms involving squares of the Bessel functions

Technische Samenvatting: Identiteiten en Ongelijkheden voor Integrale Transformaties Betrokken bij Kwadraten van Besselfuncties

Probleemstelling
Dit artikel onderzoekt de integrale transformatie $T_\nu$ gedefinieerd door
$$T_\nu f(s) := \pi \int_0^\infty rs J_\nu(rs)^2 f(r) \, dr,$$
waarbij $J_\nu$ de Besselfunctie van de eerste soort van orde $\nu \in [-1/2, \infty)$ is. Deze transformatie staat centraal in de studie van optimale constanten voor Kato–Yajima smoothing-schattingen voor de vrije Schrödinger-vergelijking op $\mathbb{R}^d$. Specifiek wordt de optimale constante $C_S^{(d)}(w, \psi)$ voor de ongelijkheid
$$\int_{\mathbb{R}^d \times \mathbb{R}} w(|x|) |\psi(|\nabla|) e^{it\Delta} u_0(x)|^2 \, dx \, dt \le C \|u_0\|_{L^2(\mathbb{R}^d)}^2$$
bepaald door het supremum van $s^{-1}\psi(s)^2 T_{k+d/2-1}w(s)$ over $k \in \mathbb{N}$ en $s > 0$.

Hoewel eerder werk door Bez, Saito en Sugimoto een identiteit vaststelde die $T_{k+d/2-1}$ relateert aan de Hankel-transformatie $H_{d/2-1}$ voor gehele indices $k$ en dimensies $d$, bleef er een gat bestaan in het uitbreiden van deze identiteiten naar niet-gehele indices en het afleiden van algemene ongelijkheden voor $T_\nu$ zonder beperking tot gehele orden. Het artikel beoogt deze identiteiten uit te breiden naar willekeurige indices en deze te gebruiken om monotoniciteitseigenschappen en ongelijkheden voor de transformatie vast te stellen.

Methodologie
De auteur maakt gebruik van een combinatie van integrale transformatietheorie, identiteiten voor speciale functies en meetkundige argumenten.

1. Extensie van Identiteiten: De kern van de methodologische innovatie is de uitbreiding van de identiteit $T_{k+d/2-1}f = U_{k,d/2-1}H_{d/2-1}f$ (voorheen bekend voor gehele $k$) naar willekeurige indices. Dit wordt bereikt door de Gegenbauer-functie van de tweede soort, $D_\mu^{(\nu)}$, te introduceren om een gegeneraliseerde integrale operator $U_{\mu,\nu}$ te definiëren met een kern $K_{\mu,\nu}(r,s)$ die niet nul is voor $r > 2s$ wanneer $\mu \notin \mathbb{N}$.
2. Hankel-transformatie Analyse: Het bewijs van de gegeneraliseerde identiteit berust op het berekenen van de Hankel-transformatie van de kernfunctie $g_{\mu,\nu,s}(r) = \pi s r^{-2\nu} J_{\mu+\nu}(rs)^2$. Deze berekening maakt gebruik van Macdonalds formule voor integralen betrokken bij producten van drie Besselfuncties, waarbij het resultaat wordt uitgedrukt in termen van Legendre-functies en vervolgens wordt omgezet naar Gegenbauer-functies.
3. Parsevals Identiteit: De geldigheid van de identiteit $T_{\mu+\nu}f = U_{\mu,\nu}H_\nu f$ wordt vastgesteld met behulp van Parsevals identiteit voor de Hankel-transformatie, wat de noodzakelijke integrabiliteitsvoorwaarden voor de functies en hun transformaties waarborgt.
4. Monotoniciteit en Ongelijkheden: Door de kern $K_{\mu,\nu}(r,s)$ te analyseren, leidt de auteur puntwijze ongelijkheden af (bijv. $K_{\mu,\nu} \le K_{0,\nu}$) die, wanneer ze worden gecombineerd met de niet-negativiteit van de Hankel-transformatie $H_\nu f$, ongelijkheden voor $T_\nu f$ opleveren.
5. Volledige Monotoniciteit: Het artikel maakt gebruik van de Bernstein–Widder en Schoenberg stellingen, die functies karakteriseren waarvoor $r \mapsto f(r^{1/2})$ volledig monotoon is als superposities van Gaussische functies. Dit maakt het mogelijk om resultaten van het Gaussische geval uit te breiden naar een bredere klasse van functies via integratie tegen een Borel-maat.

Belangrijkste Bijdragen en Resultaten

• Gegeneraliseerde Identiteit (Theorem 1.6(I)): Het artikel stelt vast dat voor $\mu \in [0, \infty)$, $\nu \in (-1/2, \infty)$, en geschikte $f$, de identiteit $T_{\mu+\nu}f(s) = U_{\mu,\nu}H_\nu f(s)$ geldt. Dit generaliseert eerdere resultaten die beperkt waren tot gehele verschuivingen in de index.
• Monotoniciteit en Ongelijkheden (Theorem 1.6(II)–(V)):
  • Als $H_\nu f$ niet-negatief is, is $s \mapsto T_\nu f(s)$ niet-dalend voor $\nu \ge 1/2$.
  • De som $T_\nu f(s) + T_{\nu+1} f(s)$ is niet-dalend voor $\nu > -1/2$.
  • Voor $\mu \in \mathbb{N}_{\ge 1}$ of $\mu \in (0, 1]$ (met $\mu+2\nu \ge 0$), als $H_\nu f$ niet-negatief is, dan geldt $T_{\mu+\nu}f(s) \le T_\nu f(s)$.
• Toepassing op Smoothing-schattingen (Theorem 1.5): Gebruikmakend van de ongelijkheid $T_{d/2-1/2}w \le T_{d/2-1}w$ (afgeleid van Theorem 1.6(V) met $\mu=1/2$), bewijst de auteur dat als de Fourier-transformaties van een ruimtelijke gewicht $w$ niet-negatief zijn op $\mathbb{R}^d$ en $\mathbb{R}^{d+1}$, de optimale constante voor de smoothing-schatting voldoet aan $C_S^{(d+1)}(w, \psi) \le C_S^{(d)}(w, \psi)$. Dit biedt een voldoende voorwaarde voor de dimensie-dalende eigenschap van optimale constanten, de gevallen (A), (B) en (C) uit de introductie dekkend.
• Analyticiteit en Volledige Monotoniciteit (Theorem 1.8): Voor functies $f$ waarvoor $r \mapsto f(r^{1/2})$ volledig monotoon is, bewijst het artikel dat:
  • $s \mapsto s^{-\nu-1/2}T_\nu f(s^{1/2})$ volledig monotoon is.
  • $s \mapsto T_\nu f(s)$ strikt stijgend is voor $\nu \ge 1/2$.
  • $s \mapsto T_\nu f(s) + T_{\nu+1} f(s)$ strikt stijgend is.
  • $\nu \mapsto T_\nu f(s)$ strikt dalend is voor $\nu \ge 0$.
  • $T_{-\nu}f(s) < T_\nu f(s)$ voor $\nu \in (-1/2, 0)$.
    Deze resultaten impliceren de analyticiteit van $T_\nu f$ op $(0, \infty)$, wat implicaties heeft voor de niet-existentie van extremisten in smoothing-schattingen.
• Specifieke Voorbeelden: Het artikel past deze stellingen toe om nieuwe bewijzen te leveren voor bekende eigenschappen van gemodificeerde Besselfuncties $I_\nu$ en $K_\nu$, zoals de volledige monotoniciteit van $s^{-\nu}e^{-s}I_\nu(s)$ en de monotoniciteit van $s I_\nu(s)K_\nu(s)$.
• Extensies: De resultaten worden uitgebreid naar het geval $\nu = -1/2$ (Proposition 4.1) en de Dirac-vergelijkingen (Theorem 4.3), waarbij analoge dimensie-dalende eigenschappen voor optimale constanten in die contexten worden getoond.

Betekenis
Het artikel beweert een verenigend kader te bieden voor het begrijpen van het gedrag van de integrale transformatie $T_\nu$ over niet-gehele indices. Door de identiteit die $T_\nu$ verbindt met de Hankel-transformatie uit te breiden, leidt de auteur een reeks ongelijkheden af die voorheen alleen bekend waren voor specifieke gehele gevallen of andere methoden vereisten.

De primaire betekenis ligt in:

1. Generalisatie: Het uitbreiden van de identiteit $T_{k+d/2-1} = U_{k,d/2-1}H_{d/2-1}$ naar willekeurige reële indices, waardoor de beperking tot gehele dimensies of ordenen in de analyse van smoothing-schattingen wordt opgeheven.
2. Optimale Constanten: Het bieden van een rigoureuze voldoende voorwaarde (niet-negativiteit van Fourier-transformaties) voor de monotoniciteit van optimale smoothing-constanten met betrekking tot de dimensie, specifiek het bewijzen van $C_S^{(d+1)} \le C_S^{(d)}$ onder brede condities.
3. Analyticiteit: Het vaststellen van de analyticiteit van $T_\nu f$ voor een brede klasse van gewichten (die gerelateerd zijn aan volledig monotone functies), wat de niet-existentie van extremisten voor de smoothing-schattingen ondersteunt.
4. Unificatie: Het aantonen dat diverse bekende ongelijkheden en monotoniciteitseigenschappen van Besselfuncties (bijv. betrokken bij $I_\nu$ en $K_\nu$) directe consequenties zijn van de algemene eigenschappen van de transformatie $T_\nu$ en de volledige monotoniciteit van de invoerfunctie.

De auteur merkt op dat hoewel sommige specifieke ongelijkheden (zoals die in Voorbeeld 3.2) bekend waren, de hier geleverde bewijzen nieuw zijn en voortkomen uit de gegeneraliseerde identiteit, wat een directere en meer verenigde aanpak biedt.