[論文レビュー] Potential operators associated with Jacobi and Fourier-Bessel expansions

Adam Nowak, Luz Roncal|arXiv (Cornell University)|Dec 27, 2012

Advanced Harmonic Analysis Research参考文献 28被引用数 7

ひとこと要約

本稿は、古典的Jacobi展開およびFourier-Bessel展開の文脈において、RieszおよびBesselのポテンシャル作用素の鋭い$L^p$-$L^q$作用素性を確立する。潜在的およびポアソン核に対する精密な推定を導出し、これらの作用素が強型、弱型、および制限弱型であるための$p$と$q$の正確な範囲を特徴づける。離散スペクトルおよび有限測度のおかげで、古典的Hardy-Littlewood-Sobolev定理を、より良い作用素挙動を示すこの直交展開設定へと拡張する。

ABSTRACT

We study potential operators (Riesz and Bessel potentials) associated with classical Jacobi and Fourier-Bessel expansions. We prove sharp estimates for the corresponding potential kernels. Then we characterize those $1 \le p,q \le \infty$, for which the potential operators are of strong type $(p,q)$, of weak type $(p,q)$ and of restricted weak type $(p,q)$. These results may be thought of as analogues of the celebrated Hardy-Littlewood-Sobolev fractional integration theorem in the Jacobi and Fourier-Bessel settings. As an ingredient of our line of reasoning, we also obtain sharp estimates of the Poisson kernel related to Fourier-Bessel expansions.

研究の動機と目的

• JacobiおよびFourier-Bessel展開におけるポテンシャル作用素の$L^p$-$L^q$有界性（強型、弱型、制限弱型）の全範囲を特徴づけること。
• これらの展開に関連するポテンシャル核に対する鋭い点ごとの推定を導出し、作用素性の中心的要因とする。
• Fourier-Bessel設定におけるポアソン核に対する鋭い推定を確立し、主要な技術的要素を提供すること。
• 有限測度および離散スペクトルを持つ直交展開フレームワークへ、古典的Hardy-Littlewood-Sobolev分数階積分定理を拡張すること。
• これらの設定における幾何的次元（$d_ u$, $d_eta$, $d_eta$）と、それらの背後にある一様次元の解析との相互作用を明確にすること。

提案手法

• Bessel関数の既知の推定と漸近解析を用いて、ポテンシャル核$\tilde{\bf K}_\rho^{\nu}(x,y)$および$\tilde{\bf K}_\rho^{\nu,-1/2}(x,y)$に対する鋭い点ごとの推定を導出する。
• スペクトル理論と既知のJacobi結果との比較を用いて、Fourier-Bessel設定における鋭いポアソン核推定を確立する。
• 比較原理を用いて、Fourier-Besselポテンシャル核を特定のパrameter（$\beta = -1/2$ または $\beta = 1/2$）をもつJacobi核と関連づけ、有界性結果の移行を可能にする。
• 弱型および制限弱型推定を含む実変数技法を用いて、$L^p$空間における作用素ノルムの解析を行う。
• 固有値$\nu_n \to \nu_n^2$をもつ2階微分作用素$L$のスペクトル理論を活用し、離散的かつ分離されたスペクトルを保証する。
• テスト関数およびテスト集合（例：$\theta < \text{const} \times \text{しきい値}$）の方法を用いて、$L^p$-$L^q$有界性の鋭さを証明する。

実験結果

リサーチクエスチョン

• RQ1 どの$1 \leq p,q \leq \infty$に対して、JacobiおよびFourier-Besselポテンシャル作用素が強型$(p,q)$であるか？
• RQ2 ポテンシャル作用素が弱型$(p,q)$であるための$p$および$q$の正確な範囲は何か？
• RQ3 どの$L^p$-$L^q$推定が制限弱型の意味で鋭く、極限ケースは何か？
• RQ4 幾何的次元$d_\nu = 2\nu + 2$, $d_\beta = 2\beta + 2$などは、ポテンシャル作用素の作用挙動にどのように影響するか？
• RQ5 基礎となる「ラプラシアン」のスペクトル性質（離散的、ゼロから分離）は、ユークリッドの場合と比較して有界性をどの程度改善するか？

主な発見

• ポテンシャル作用素$\tilde{\bf I}_\rho^{\nu}$および$\tilde{\bf I}_\rho^{\nu,-1/2}$は、かつて$\frac{1}{q} = \frac{1}{p} - \frac{2\rho}{d_\nu}$を満たし、$1 < p < \infty$, $q < \infty$, および$\rho < \frac{d_\nu}{2}$で、$d_\nu = 2\nu + 2$であるとき、かつそのときに限り、強型$(p,q)$である。
• 作用素は弱型$(1, \frac{d_\nu}{d_\nu - 2\rho})$および制限弱型$(\frac{d_\nu}{2\rho}, \infty)$であるが、これらの範囲は鋭い。
• ポテンシャル核$\tilde{\bf K}_\rho^\nu(x,y)$は、$x,y \in (0,1)$に対して、点ごとの推定$\tilde{\bf K}_\rho^\nu(x,y) \lesssim \tilde{\bf K}_\rho^{\nu,-1/2}(\pi x, \pi y)$を満たし、有界性の移行を可能にする。
• Fourier-Bessel設定におけるポアソン核は、鋭い推定$\mathcal{H}_t^\nu(x,y) \lesssim \frac{t}{(t^2 + |x-y|^2)^{\frac{1}{2}+\nu}}$を満たし、核の制御に不可欠である。
• $\kappa = 1/\kappa$のとき、最大関数$\mathbb{T}_6 f$の$L^{-1/\kappa,\infty}$クasiノルムが無限大であることを示し、弱型推定の鋭さを証明する。
• Fourier-Besselポテンシャル作用素$\mathbb{I}_\rho^\nu$は、核の比較性$\mathbb{K}_\rho^\nu(x,y) \simeq \mathbb{K}_\rho^{\nu,1/2}(\pi x, \pi y)$により、$(0,3/4)^2$上でJacobi作用素$\mathbb{I}_\rho^{\nu,1/2}$のすべての$L^p$-$L^q$有界性特性を引き継ぐ。