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

技術要約：ベッセル関数の平方を含む積分変換に関する恒等式と不等式

問題設定
本論文は、次のように定義される積分変換 $T_\nu$ を研究する：
$$T_\nu f(s) := \pi \int_0^\infty rs J_\nu(rs)^2 f(r) \, dr,$$
ここで、$J_\nu$ は次数 $\nu \in [-1/2, \infty)$ の第1種ベッセル関数である。この変換は、自由シュレーディンガー方程式に対する Kato–Yajima 平滑化評価における最適定数の研究において中心的な役割を果たす。具体的には、不等式
$$\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$$
における最適定数 $C_S^{(d)}(w, \psi)$ は、$k \in \mathbb{N}$ および $s > 0$ における $s^{-1}\psi(s)^2 T_{k+d/2-1}w(s)$ の上限によって決定される。

Bez、Saito、および Sugimoto による先行研究では、整数指数 $k$ および次元 $d$ に対して $T_{k+d/2-1}$ とハンケル変換 $H_{d/2-1}$ を結びつける恒等式が確立されていたが、これらの恒等式を非整数の指数に拡張し、整数次数に限定せずに $T_\nu$ に関する一般的な不等式を導出することには空白が残されていた。本論文の目的は、これらの恒等式を任意の指数へと拡張し、それらを用いて $T_\nu$ の単調性と不等式を確立することである。

手法
著者は、積分変換理論、特殊関数に関する恒等式、および測度論的議論を組み合わせて用いる。

1. 恒等式の拡張： 中心的な手法の革新は、恒等式 $T_{k+d/2-1}f = U_{k,d/2-1}H_{d/2-1}f$（以前は整数 $k$ に対して既知であったもの）を任意の指数へと拡張することである。これは、カーネル $K_{\mu,\nu}(r,s)$ を持つ一般化された積分作用素 $U_{\mu,\nu}$ を定義するために、第2種ゲンツェンバッハ関数 $D_\mu^{(\nu)}$ を導入することによって達成される。このカーネルは、$\mu \notin \mathbb{N}$ のとき $r > 2s$ で非ゼロとなる。
2. ハンケル変換の解析： 一般化された恒等式の証明は、カーネル関数 $g_{\mu,\nu,s}(r) = \pi s r^{-2\nu} J_{\mu+\nu}(rs)^2$ のハンケル変換を計算することに基づいている。この計算には、3つのベッセル関数の積を含む積分に関するマクドナルドの公式を利用し、結果をルジャンドル関数を用いて表した後、それらをゲンツェンバッハ関数へと変換する手法を用いる。
3. パーセバルの恒等式： 恒等式 $T_{\mu+\nu}f = U_{\mu,\nu}H_\nu f$ の妥当性は、ハンケル変換のパーセバルの恒等式を用いて確立され、関数とその変換に必要な可積分条件が保証される。
4. 単調性と不等式： カーネル $K_{\mu,\nu}(r,s)$ を分析することにより、点別不等式（例：$K_{\mu,\nu} \le K_{0,\nu}$）を導出し、これらをハンケル変換 $H_\nu f$ の非負性と組み合わせることで、$T_\nu f$ に関する不等式を得る。
5. 完全単調性： 著者は、$r \mapsto f(r^{1/2})$ が完全単調であるような関数をガウス関数の重ね合わせとして特徴付けるバーンスタイン–ウィダーおよびシェーンベルクの定理を活用する。これにより、ガウス関数のケースから、ボレル測度に対する積分を通じて、より広いクラスの関数へと結果を拡張することが可能となる。

主要な貢献および結果

• 一般化された恒等式 (Theorem 1.6(I)): 本論文は、$\mu \in [0, \infty)$、$\nu \in (-1/2, \infty)$、および適切な $f$ に対して、恒等式 $T_{\mu+\nu}f(s) = U_{\mu,\nu}H_\nu f(s)$ が成立することを確立している。これは、指数の整数シフトに限定されていた従来の知見を一般化するものである。
• 単調性と不等式 (Theorem 1.6(II)–(V)):
  • $H_\nu f$ が非負であるとき、$s \mapsto T_\nu f(s)$ は $\nu \ge 1/2$ に対して非減少である。
  • 和 $T_\nu f(s) + T_{\nu+1} f(s)$ は $\nu > -1/2$ に対して非減少である。
  • $\mu \in \mathbb{N}_{\ge 1}$ または $\mu \in (0, 1]$（かつ $\mu+2\nu \ge 0$）の場合、$H_\nu f$ が非負であれば、$T_{\mu+\nu}f(s) \le T_\nu f(s)$ が成り立つ。
• 平滑化評価への適用 (Theorem 1.5): 不等式 $T_{d/2-1/2}w \le T_{d/2-1}w$（Theorem 1.6(V) で $\mu=1/2$ を用いて導出）を用いることにより、空間重み $w$ のフーリエ変換が $\mathbb{R}^d$ および $\mathbb{R}^{d+1}$ 上で非負であるならば、最適平滑化定数が $C_S^{(d+1)}(w, \psi) \le C_S^{(d)}(w, \psi)$ を満たすことを証明する。これは、導入部で述べられたケース (A), (B), (C) をカバーする、最適定数の次元減少特性に関する十分条件を提供する。
• 解析性と完全単調性 (Theorem 1.8): $r \mapsto f(r^{1/2})$ が完全単調である関数に対して、以下のことを証明する：
  • $s \mapsto s^{-\nu-1/2}T_\nu f(s^{1/2})$ は完全単調である。
  • $s \mapsto T_\nu f(s)$ は $\nu \ge 1/2$ に対して厳密に増加する。
  • $s \mapsto T_\nu f(s) + T_{\nu+1} f(s)$ は厳密に増加する。
  • $\nu \mapsto T_\nu f(s)$ は $\nu \ge 0$ に対して厳密に減少する。
  • $\nu \in (-1/2, 0)$ において $T_{-\nu}f(s) < T_\nu f(s)$ である。
    これらの結果は、広範な重み（完全単調関数に関連するもの）に対する $T_\nu f$ の解析性を意味しており、これは平滑化評価における極大値（extremizers）の非存在を支持するものである。
• 具体的な例: 本論文は、修正ベッセル関数 $I_\nu$ および $K_\nu$ に関する既知の性質（例：$s^{-\nu}e^{-s}I_\nu(s)$ の完全単調性や $s I_\nu(s)K_\nu(s)$ の単調性）の新しい証明にこれらの定理を適用している。
• 拡張: 結果は $\nu = -1/2$ のケース（Proposition 4.1）およびディラック方程式（Theorem 4.3）へと拡張され、それらの文脈における最適定数の次元減少特性と同様の性質を示している。

意義
本論文は、非整数指数の範囲において、積分変換 $T_\nu$ の振る舞いを理解するための統一的な枠組みを提供すると主張している。$T_\nu$ をハンケル変換へと結びつける恒等式を拡張することで、著者は、整数次元や次数に制限されていた解析を回避し、一連の不等式を導出している。

主な意義は以下の通りである：

1. 一般化： $T_{k+d/2-1} = U_{k,d/2-1}H_{d/2-1}$ という恒等式を任意の実指数へと拡張し、平滑化評価の解析における整数次元や次数の制約を取り除いた。
2. 最適定数： 最適平滑化定数の次元に関する単調性（特に $C_S^{(d+1)} \le C_S^{(d)}$）について、広範な条件（フーリエ変換の非負性）の下での厳密な十分条件を提供した。
3. 解析性： 完全単調関数に関連する広範なクラスの重みに対し、$T_\nu f$ の解析性を確立した。これは、平滑化評価における極大値の非存在を裏付けるものである。
4. 統一化： ベッセル関数（$I_\nu$ や $K_\nu$ を含む）に関する様々な既知の不等式や単調性の性質が、変換 $T_\nu$ の一般的性質および入力関数の完全単調性の直接的な帰結であることを示した。

著者は、特定の不等式（例：Example 3.2）は既知であったものの、ここで提供される証明は新しく、一般化された恒等式に由来しており、より直接的かつ統一的なアプローチを提供していると述べている。