2025-11-10T03:13:44.621584

H-harmonic reproducing kernels on the ball

MoravÃk

We consider the SzegÅ reproducing kernel associated with the space of $H$-harmonic functions on the unit ball in n-dimensional space, i.e. functions that are characterized by being annihilated by the hyperbolic Laplacian. This paper derives an explicit series expansion for the reproducing kernel in terms of a triple hypergeometric function introduced of Exton. Moreover, we demonstrate that the SzegÅ kernel admits a representation as a finite sum of hypergeometric functions. We further show that the SzegÅ kernel, for linearly dependent arguments, can be expressed in terms of the first Appell hypergeometric function. In addition we provide a series expansion for the weighted Bergman kernels.

academic

球上のH-調和再生核

基本情報

論文ID: 2510.11821
タイトル: H-harmonic reproducing kernels on the ball
著者: Matěj Moravík
分類: math.FA（関数解析）
発表日: 2025年10月15日
論文リンク: https://arxiv.org/abs/2510.11821

要旨

本論文は、n次元単位球上のH-調和関数空間に関連するSzegő再生核を研究する。これらの関数は双曲ラプラシアン作用素によって零化される。論文は再生核の明示的な級数展開を導出し、Extonによって導入された三重超幾何関数で表現する。さらに、Szegő核は超幾何関数の有限和として表現できることを証明する。線形従属パラメータの場合、Szegő核は第一種Appell超幾何関数で表現できることを示す。また、重み付きBergman核の級数展開も提供する。

研究背景と動機

問題背景

H-調和関数理論: n次元単位球 $B^n$ 上で双曲ラプラシアン $\Delta_h$ によって零化される関数を研究する。これらの関数は双曲幾何において重要な役割を果たす
再生核理論: Hardy空間 $H^2_h(B^n)$ において、Szegő再生核 $K_h(x,y)$ は基本的に重要であり、特に関数値の評価に有用である
超幾何関数の応用: 超幾何関数は特殊関数論および数学物理において広く応用されている

研究動機

明示的表現の必要性: 既存文献ではSzegő核の明確な級数展開形式が不足している
計算複雑性: H-調和関数の再生核を扱うより効率的な計算方法が必要である
理論の完成: H-調和関数理論に対してより完全な数学的枠組みを提供する

核心的貢献

球面積分の明示的公式の確立: $\alpha > 1, \beta > 1$ に対して、以下の式を与える $\int_{∂B^n} \frac{1}{|x-η|^{2(α-1)}} \frac{1}{|y-η|^{2(β-1)}} dσ(η)$ のExton三重超幾何関数表現
Szegő核の級数展開の導出: $K_h(x,y) = \frac{(1-|x|^2)^{n-1}(1-|y|^2)^{n-1}}{(1+|x|^2)^{n-1}(1+|y|^2)^{n-1}} X_9(n-1, n-1; \frac{n}{2}; X,Y,Z)$
有限和表現の証明: 偶数次元の場合、Szegő核は超幾何関数の有限和として表現可能
線形従属パラメータの特殊表現: $y = λx$ のとき、核は第一種Appell超幾何関数で表現可能
重み付きBergman核の級数展開の提供: より一般的な重み付き場合へ拡張

方法の詳細

問題の定義

n次元単位球 $B^n$ 上のH-調和関数空間の再生核性質を研究する。H-調和関数は以下を満たす： $\Delta_h f(x) = (1-|x|^2)[(1-|x|^2)\Delta f(x) + 2(n-1)⟨x,∇f(x)⟩] = 0$

核心的数学的枠組み

1. 双曲幾何の設定

Möbius不変測度: $dρ(x) = \frac{dμ(x)}{(1-|x|^2)^n}$
双曲計量: $ds = \frac{|dx|}{1-|x|^2}$
Poisson核: $P_h(η,x) = \frac{(1-|x|^2)^{n-1}}{|x-η|^{2(n-1)}}$

2. Szegő核の積分表現

$K_h(x,y) = \int_{∂B^n} P_h(η,x)P_h(η,y) dσ(η)$

技術的革新点

1. ラプラス変換技法

恒等式 $\frac{1}{(1+x)^α} = \frac{1}{Γ(α)} \int_0^∞ e^{-t(1+x)} t^{α-1} dt$ を使用して、積分をより扱いやすい形に変換する。

2. 球座標変換とBessel関数

球座標変換と修正Bessel関数の級数展開を通じて： $I_{(n-2)/2}(z) = \left(\frac{z}{2}\right)^{(n-2)/2} \frac{1}{Γ(\frac{n}{2})} {_0F_1}\left(\frac{n}{2}; \frac{z^2}{4}\right)$