[論文レビュー] Characterization of eigenfunctions of Laplacian having exponential growth using Fourier multipliers

Basil Paul, Pradeep Boggarapu|arXiv (Cornell University)|Jan 27, 2026

Holomorphic and Operator Theory被引用数 0

ひとこと要約

要約: 本研究はラプラシアン固有関数のストリヒャーツ型特徴付けを指数成長へ拡張し、球面および球平均、熱作用素を含むフーリエ乗数器の一般フレームワークを用いて行う。

ABSTRACT

In 1993, Robert Strichartz established a characterization for bounded eigenfunctions of the Laplacian on $\mathbb{R}^d$. Let $\left\{f_k ight\}_{k\in \mathbb{Z}}$ be a doubly infinite sequence of functions on $\mathbb{R}^d$ satisfying $Δf_k= f_{k+1}$ for all $k \in \mathbb{Z}$. If $\left\{f_k ight\}$'s are uniformly bounded, then Strichartz proved that $Δf_0= f_0$, thus generalizing a classical result of Roe on the real line. Recognizing that many physically significant eigenfunctions exhibit unbounded behavior, Howard and Reese extended this result to include functions of polynomial growth. Building upon a refined functional-analytic framework, we recently established a broader extension of Strichartz's theorem encompassing eigenfunctions of exponential growth. In the present article, we further investigate the spectral geometry of the Laplacian by replacing the differential operator with a broader class of Fourier multipliers. Specifically, we focus on radial convolution operators, including the spherical average, the ball average, and the heat operator. The central problem addressed is as follows: For a fixed multiplier $Θ$, we consider a doubly infinite sequence of exponentially growing functions $\{f_k\}_{k \in \mathbb{Z}}$ satisfying the recurrence relation $Θf_k = A f_{k+1}$ for a complex constant $A$. We demonstrate that under specific spectral conditions, the functions $f_k$ correspond precisely to the eigenfunctions of the Laplacian $Δ$ on $\mathbb{R}^d$. This result provides a unified approach to characterization theorems, linking the growth rate of eigenfunctions to the symbol of the associated multiplier.

研究の動機と目的

• ラピュリアンからのスペクトル特徴付けを、実値シンボルを持つより広いクラスのフーリエ乗数器へ一般化する。
• これらの乗数器の固有関数を、指数成長制約の下で特徴付ける。
• 成長率条件をスペクトルパラメータと乗数器ベースのフレームワークを通じて統合する。
• 以前の多項式成長結果を、シュワルツ型設定を介して指数成長の文脈へ拡張する。

提案手法

• 指数成長を扱うためのシュワルツ型空間 S^a(R^d) とその双対を導入する。
• S^a 上の Fourier 乗数子演算子を、記号 m(ξ) により定義し、固有関数型挙動を検討する。
• 球平均 M_t、球体平均 B_t、熱作用素 e^{-tΔ} を重要な乗数として用いる。
• スペクトル解析を通じて平均値性とラプラシアン固有関数との One Radius 定理を証明する。
• 実数値シンボル乗数に対する抽象定理（定理 1.6）を開発し、|A| が m(R^d) に含まれる場合と除外される場合を示す。

実験結果

リサーチクエスチョン

• RQ1 ストリヒャーツ型特徴付けを、ラプラシアンから実数値シンボルを持つ一般のフーリエ乗数器へどのように拡張できるか。
• RQ2 Θ の反復関係 Θ f_k = A f_{k+1} を満たす列がラプラシアン固有関数の列であるための、乗数器に関するスペクトル条件は何か。
• RQ3 指数成長の制約が乗数符号とどのように相互作用して、固有関数の振る舞いを決定するか。
• RQ4 球面・球平均と熱半群がこの特徴付けにおける代表的な乗数器となり得るか。

主な発見

• 指数成長を伴うラプラシアン様の演算子の固有関数の特徴付けフレームワークを、フーリエ乗数器を用いて統一的に得る。
• 固定乗数 Θ の実数シンボル m に対して、|A| が m(R^d) に含まれ、-|A| が含まれない場合、Θ f_0 = |A| f_0。
• -|A| が m(R^d) に含まれ、|A| が含まれない場合、Θ f_0 = -|A| f_0。
• |A| と -|A| の両方が m(R^d) に含まれる場合、f_0 は f_+ + f_- に分解され、Θ f_± = ±|A| f_±（一意の分解）。
• どちらも m(R^d) に含まれない場合、f_0 = 0。