Classification of Fourier summation formulas on a horizontal strip

技術要約：水平な帯領域におけるフーリエ和公式の分類

問題設定
本論文は、以前に確立された範囲よりも広い設定において、フーリエ和公式（FSペア）の分類を扱うものである。先行研究（具体的には [18, 19]）では、基礎となる測度 $\mu$ が実数直線 $\mathbb{R}$ 上にのみ支持されるFSペアを分類していたが、本研究では、複素平面内の水平な帯領域 $U := \{z \in \mathbb{C} : |\text{Im } z| < \sigma < \infty\}$ に支持される測度へとフレームワークを拡張している。この拡張の主な動機は、リーマンゼータ関数、ディリクレ $L$ 関数、およびセレルのクラス（Selberg class）における一般的な関数に関するグアイアンド–ヴェイル（Guinand–Weil）公式のような、解析的数論における重要な明示公式を包含することにある。これらの公式は、実軸から外れた位置（例：$L$ 関数の非自明な零点）に支持される離散的な測度（$\eta$）を含むが、これは実数上に支持されることを要求していた従来の分類ではカバーできなかった特徴である。

対象となる中心的な対象は、以下の形式の恒等式である：
$$\sum_{n \ge 0} a(\lambda_n) \phi(\lambda_n) = \int_{\mathbb{R}} \hat{\phi}(t) d\nu(t) + \sum_{\gamma \in A} b(\gamma) \hat{\phi}(\gamma)$$
ここで、$\phi \in C_c^\infty(\mathbb{R})$ であるすべてのテスト関数に対して成立する。ここで、$\mu = \nu + \eta$ は帯領域に支持されており、$\nu$ は $\mathbb{R}$ 上の強テプレッド（strongly tempered）な測度であり、$\eta = \sum b(\gamma)\delta_\gamma$ は実軸の外側に支持される離散的な測度である。関数 $a$ は有限の指数成長を持つ。

手法
著者は、[18, 19] で用いられた戦略と同様の手法を用い、和公式と有界型関数の理論、およびネヴァンリンナ・クラスの相互作用に依拠している。核心となる手法は以下の通りである：

1. ブリッジ補題の適応: 実軸の外側に支持される離散的測度 $\eta$ の存在に対処するため、新しいバージョンの「ブリッジ補題」（補題 8）を確立した。この補題は、特定の補助的な核 $G_k$ および $S_k$ を介して、$\lambda_n$ に関する離散和を、測度 $\mu$ に関する積分および離散和へと結びつける。
2. 有界型関数: $\eta$ を管理するために、上半平面 $\mathbb{C}^+$ における有界型関数の理論を利用する。具体的には、そのような関数の平均型（mean type）と、境界挙動および特異点を扱うための上半平面におけるコーシーの公式（定理 6）を利用する。
3. 生成関数の分解: FSペアから生成関数 $F(z)$ を構成する。この関数は、上半平面上の・正則な写像であることが示される。著者は、$F(z)$ を、特異部分 $S(z)$（$F$ の極に対応し、$\eta$ を決定する）と、正則部分 $G(z)$（境界挙動 $\mathbb{R}$ 上の挙動に対応し、$\nu$ を決定する）へと分解する。
4. ネヴァンリンナ表現: 生成関数の正則部分は、一般化されたヘルグロツ–ネヴァンリンナ・クラスに関連付けられる。著者は、測度 $\nu$ を特徴付けるために、クラス $\mathcal{N}_{\le k}$（次数 $\le k$ の一般化されたネヴァンリンナ関数）の表現を利用する。

主要な貢献と結果
本論文は、帯領域におけるFSペアに関する二方向の分類定理を提供し、これらの和公式と特定のクラスの・正当な・有理関数との間の対応関係を確立している。

• 定理 1（分類）: 実反転的（real-antipodal）かつ $R$-対称な、帯領域に支持され有限の位数の FSペア $(\mu, a)$ に対して、関連する生成関数 $F(z) = \frac{1}{2}a(0) + \sum_{\lambda > 0} a(\lambda)e^{2\pi i \lambda z}$ は、上半平面上のほとんど周期的な正則写像を定義する。この関数は、以下の形式を持つ上半平面 $\mathbb{C}^+$ 上の・正当な・有理写像へと拡張される：$F(z) = N(z) + S(z)$。ここで：

  • $N(z)$ は、二つの一般化されたネヴァンリンナ・クラス（$\mathcal{N}_{\le k} - \mathcal{N}_{\le k}$）に属し、連続的な部分 $\nu$ を符号化する。
  • $S(z)$ は、離散的な部分 $\eta$（極と留数）を符号化する、明示的な有理和である。
  • 関数 $F$ は水平な線上でほとんど周期的であり、そのフーリエ係数は関数 $a$ に対応する。

• 定理 2（構成）: 逆に、水平な線上でほとんど周期的であり、特定の減衰条件を持つ単一の極を持ち、かつその特異部分を差し引いたものが一般化されたネヴァンリンナ・クラスに属する $\mathbb{C}^+$ 上の・正当な・有理関数 $F$ が与えられたとき、FSペア $(\nu + \eta, a)$ を一意に再構成できる。測度 $\eta$ は $F$ の極と留数によって決定され、$\nu$ は正則部分のネヴァンリンナ分解を通じて回収される。

• 系 3: 測度が純粋に離散的（デルタ質量の和）である特定のケースでは、生成関数は単一の極を持つ・正当な・有理関数となり、分類は同様に簡略化される。

数論への応用
本論文は、以下の生成関数を導出するためにこれらの結果を明示的に適用している：

1. リーマン・ゼータ関数に関するグアイアンド–ヴェイルの明示公式: 著者はこの公式を回収し、生成関数が $F(z) = -\frac{1}{2\pi} \frac{\zeta'}{\zeta}(\frac{1}{2} - iz)$ であることを特定している。
2. ディリクレ $L$ 関数: 本フレームワークは、原始的な実の偶ディリクレ指標に適用され、$L'/L$ を含む対応する生成関数を与える。
3. セレルのクラス: 結果は、セレルのクラスに含まれる任意の関数 $L$ に対して一般化される。本論文は、任意の $L$ に対するグアイアンド–ヴェイル公式が、・正当な・有理関数 $F_L(z) = -\frac{1}{2\pi} \frac{L'}{L}(\frac{1}{2} - iz)$ に対応することを実証している。

応用における重要な技術的成果として、この分類が（ディリクレ係数が実数であることを要求しない）自己双対性を仮定せずに、セレルのクラスに対して成立することが強調されている。このフレームワークは、測度の成分の共役対称性を通じて、複素係数を自然に受け入れることができる。

意義
本論文は、測度が水平な帯領域に支持される、実反転的なフーリエ和ペアに関する最初の一般的な二方向の分類を提供すると主張している。これにより、実軸上の非離散的な成分と、任意の複素重みを持つ実軸外の離散的な成分の両方を許容している。これらの公式を、特異性とほとんど周期的・正当な・ネヴァンリンナ関数の境界挙動によって特徴付けることで、本研究は結晶的測度（crystalline measures）の理論と、解析的数論の明示公式を統一するものである。本研究の範囲は、これまでの分類（[18, 19]）を、これまで既存の理論の範囲外であったグアイアンド–ヴェイル公式を含むものへと拡張している。結果は、実軸外の支持を持つ測度を厳密に扱うために、有界型関数の理論と一般化されたネヴァンリンナ表現に依拠している。