[论文解读] Fourier Theory on the Complex Plane I: Conjugate Pairs of Fourier Series and Inner Analytic Functions

Jorge L. deLyra|arXiv (Cornell University)|Sep 1, 2014

Algebraic and Geometric Analysis参考文献 1被引用 11

一句话总结

本文建立了实直线上傅里叶级数与复平面上单位圆盘上解析函数之间的对应关系，表明傅里叶系数源自此类函数的泰勒级数。关键贡献在于提出一种方法，即使傅里叶级数发散，也能通过解析函数的边界极限重建原始实函数，收敛性问题通过复分析原理进行阐述。

ABSTRACT

A correspondence between arbitrary Fourier series and certain analytic functions on the unit disk of the complex plane is established. The expression of the Fourier coefficients is derived from the structure of complex analysis. The orthogonality and completeness relations of the Fourier basis are derived in the same way. It is shown that the limiting function of any Fourier series is also the limit to the unit circle of an analytic function in the open unit disk. An alternative way to recover the original real functions from the Fourier coefficients, which works even when the Fourier series are divergent, is thus presented. The convergence issues are discussed up to a certain point. Other possible uses of the correspondence established are pointed out.

研究动机与目标

• 建立任意傅里叶级数与复平面上单位开圆盘上解析函数之间的严格对应关系。
• 利用复分析而非实变量方法，推导傅里叶基的正交性与完备性。
• 提供一种即使傅里叶级数发散，仍能从傅里叶系数重构原始实函数的方法。
• 通过关联解析函数的泰勒级数收敛性，分析傅里叶级数的收敛性。
• 探讨内解析函数及其边界行为的作用，特别是在涉及狄拉克δ分布等分布的情形下。

提出的方法

• 利用复幂级数的基本收敛定理，定义关联解析函数在单位开圆盘上的收敛域。
• 通过对应关系 $ c_k = \frac{1}{2\pi} \int_{-\pi}^{\pi} f(\theta) e^{-ik\theta} d\theta $，将傅里叶级数系数映射为解析函数的泰勒系数，从而将傅里叶级数嵌入复平面。
• 构造单位开圆盘上的内解析函数 $ w(z) $，使其在边界 $ |z|=1 $ 上的实部恢复余弦级数，虚部恢复正弦级数。
• 应用泊松核与调和延拓技术，即使傅里叶级数发散，也能从解析函数的边界值恢复原函数。
• 通过分析关联解析函数的极点与奇点，研究解析函数在单位圆附近的性质，特别是针对狄拉克δ等分布的情形。
• 利用解析函数的对数导数，从圆盘上解析函数的结构恢复类似导数的分布（例如方波的导数）。

实验结果

研究问题

• RQ1 傅里叶级数如何系统地与复单位圆盘上的解析函数相关联？
• RQ2 傅里叶级数的收敛性是否可通过关联解析函数的泰勒级数收敛性来理解？
• RQ3 即使傅里叶级数发散，是否仍能从其傅里叶系数重构原始实函数？
• RQ4 内解析函数在单位圆盘边界上表示狄拉克δ等分布时起什么作用？
• RQ5 解析函数在边界上的奇点如何与傅里叶级数的收敛行为相关联？

主要发现

• 每个傅里叶级数都对应一个单位开圆盘上的解析函数，其泰勒系数与傅里叶系数一致。
• 即使级数发散，解析函数在单位圆上实部的极限值仍能恢复原始余弦级数。
• 解析函数的虚部给出正弦级数，二者共同几乎处处重构原函数。
• 对于狄拉克δ分布，对应的解析函数具有单极点，其实部与虚部在边界上均给出定义良好的函数。
• 函数 $ w_{2\delta}(z) = \frac{4}{\pi} \frac{z}{1 - z^2} $ 对应方波的导数，且与方波解析函数的对数导数一致。
• 即使傅里叶级数在整个单位圆上发散，解析函数在开圆盘上仍保持良好定义，暗示其与边界上分布存在更深层的结构关联。