[论文解读] 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

一句话总结

论文将 Laplacian 特征的 Strichartz 型表征推广至指数增长，采用包括球面平均、球体平均和热算子在内的傅里叶乘子的一般框架。

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.

研究动机与目标

• 将谱表征从 Laplacian 泛化到具有实值符号的更广泛傅里叶乘子。
• 在指数增长约束下刻画这些乘子本征函数。
• 通过基于乘子的框架，将增长速率条件与谱参数统一起来。
• 通过 Schwartz 型设定将先前的多项式增长结果推广到指数增长情形。

提出的方法

• 引入 Schwartz 型空间 S^a(R^d) 及其对偶以处理指数增长。
• 在 S^a 上定义带符号 m(ξ) 的傅里叶乘子算子，研究它们的本征函数风格行为。
• 将球面均值 M_t、球体均值 B_t，以及热算子 e^{-tΔ} 作为关键乘子。
• 证明 One Radius Theorem，借谱分析将均值性质与 Laplacian 本征函数联系起来。
• 给出一个对实值符号乘子适用的抽象定理（定理 1.6），描述 |A| 何时属于或不属于符号集 m(R^d)。

实验结果

研究问题

• RQ1 如何将 Strichartz 型表征从 Laplacian 推广到具有实值符号的一般傅里叶乘子？
• RQ2 乘子的谱条件如何确保满足递推 Θ f_k = A f_{k+1} 的序列由 Laplacian 本征函数组成？
• RQ3 指数增长界如何与乘子符号相互作用以决定本征函数行为？
• RQ4 球面与球体平均及热半群是否可作为此表征中的代表性乘子？

主要发现

• 通过傅里叶乘子，获得一个统一的本征函数表征框架，用于具有指数增长的 Laplacian 型算子。
• 对于固定乘子 Θ 及其实部符号 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_±（唯一分解）。
• 若 |A| 也不在 m(R^d) 且 -|A| 也不在其中，则 f_0 = 0。