一个 Fourier 系数衰减估计：解析延拓、分歧提升与矩阵值函数

作者：

在

Complex analysis, Harmonic analysis

旧博客原文

原题：An Fourier coefficient decay estimate.

f is a matrix value analytic function on $\mathbb T$ , we know $h(f)>\alpha$ , this is just mean $\forall k\in \mathbb Z$ , assume $| \hat f(k)|\leq e^{-|k|\alpha}$ , $g=log(f)$ for which we assume $g$ is a lifting of f use the inverse of ramification map ,

$M_{n\times n} \to M_{n\times n} , A \to e^A$ .

Then exists $\beta=c(\alpha)>0$ such that ,

$\forall k \in \mathbb Z$ , $|\hat g(k)| \leq e^{-k\beta}$ .

补充说明

以下是新整理的中文说明；上方旧博客原文保持不变。

设 $f$ 是圆周或环面上的矩阵值解析函数。解析性最直接的 Fourier 后果是指数衰减：

$$\|\widehat f(k)\|\le C e^{-\rho |k|}.$$

这里 $\rho$ 不是一个装饰性常数，而是由 $f$ 能延拓到多宽的复邻域决定。若函数还经过分歧映射的提升，衰减率会被分歧阶数重新缩放。

一个 Fourier 系数衰减估计：解析延拓、分歧提升与矩阵值函数 — 解析函数的 Fourier 系数指数衰减，衰减率由复邻域宽度和可能的分歧提升共同决定。

1. 一维解析情形

如果 $f$ 在带状区域 $|\operatorname{Im} z|<\rho$ 内解析且有界，那么

$$\widehat f(k)=\int_0^1 f(x)e^{-2\pi i kx}\,dx.$$

当 $k>0$ 时把积分路径向上平移 $i\sigma$，得到因子 $e^{-2\pi k\sigma}$；当 $k<0$ 时向下平移。令 $\sigma<\rho$，就得到指数衰减。

2. 矩阵值函数没有本质困难

若 $f(x)$ 取值于矩阵空间，只需要把绝对值换成任意相容矩阵范数。Cauchy 积分和路径平移仍逐项成立，因此

$$\|\widehat f(k)\|\le \sup_{|\operatorname{Im}z|\le\sigma}\|f(z)\|\,e^{-2\pi\sigma |k|}.$$

3. 分歧提升的影响

若 $f$ 通过某个 ramification map 被提升，例如局部写成 $z=w^m$，那么 $w$ 平面中的解析带宽会按比例改变。直观上，绕分歧点一圈的角变量被拉伸，Fourier 频率也随之重标定。

4. 估计的用途

这类估计常出现在解析 cocycle、准周期系统和小除数问题中。指数衰减提供了“高频很小”的精确版本，使得截断 Fourier 级数时可以把尾项压到可控范围。

评论

发表回复取消回复

更多文章