[论文解读] Complex Analysis of Real Functions III: Extended Fourier Theory

Jorge L. deLyra|arXiv (Cornell University)|Aug 24, 2017

Holomorphic and Operator Theory参考文献 10被引用 4

一句话总结

本文证明了可积实函数的完整傅里叶理论可通过内解析函数在单位开圆盘上的复分析结构被嵌入其中。通过利用这些解析函数上的角向微分与积分运算，该理论将傅里叶理论从可积函数扩展至奇异施瓦茨分布和非可积函数，表明傅里叶基、内积、正交性及完备性关系自然地由此框架中产生。

ABSTRACT

In the context of the complex-analytic structure within the unit disk centered at the origin of the complex plane, that was presented in a previous paper, we show that the complete Fourier theory of integrable real functions is contained within that structure, that is, within the structure of the space of inner analytic functions on the open unit disk. We then extend the Fourier theory beyond the realm of integrable real functions, to include for example singular Schwartz distributions, and possibly other objects.

研究动机与目标

• 证明傅里叶理论的所有核心要素——基函数、级数、内积、正交性与完备性——均包含于单位圆盘上内解析函数的复分析结构之中。
• 表明可积实函数的傅里叶系数对应于内解析函数的泰勒系数，从而建立统一的解析框架。
• 通过在内解析函数上引入角向微分与积分运算，将傅里叶理论扩展至可积函数之外。
• 通过其复分析对应物对实函数的奇点进行分类，区分软性、临界硬性和非可积奇点。
• 在半径 ρ₀ < 1 的圆周上建立一维参数族希尔伯特空间，保持内积与范数不变，即使在 ρ₀ → 1⁻ 时可能出现发散，该结构仍具有自然极限。

提出的方法

• 本文从实函数 f(θ) 的傅里叶系数 αₖ 和 βₖ 构造内解析函数 w(z)，将其映射为复泰勒系数 cₖ，从而定义 w(z) = Σ cₖ zᵏ。
• 引入角向导数 w·(z) = i z dw/dz 和角向原函数 w⁻¹·(z) = -i ∫₀ᶻ (w(z′) - w(0))/z′ dz′，它们作为 θ-微分与积分的离散类比。
• 这些运算生成一系列适当的内解析函数的无限积分-微分链，保持结构不变，并可通过软硬程度的阶数对奇点进行分类。
• 奇点被分类为：软性（在单位圆上有有限极限）、硬性（无有限极限）或临界硬性（经一次积分后变为软性），其中可积奇点为软性或临界硬性。
• 通过半径 ρ₀ < 1 的闭合路径积分定义内积 (w₁|w₂)，结果为 ∑ ρ₀²ᵏ c₁,k* c₂,k，当系数满足指数有界性时收敛速度呈指数级。
• 分析了 ρ₀ → 1⁻ 时的收敛性，表明尽管范数与内积可能发散，但该结构对可积实函数及分布仍保持有效。

实验结果

研究问题

• RQ1 可积实函数的完整傅里叶理论能否从单位开圆盘上的复分析结构中推导得出？
• RQ2 内解析函数上的角向微分与积分运算如何对应于单位圆周上实函数的 θ-导数与积分？
• RQ3 奇点分类（软性、硬性、临界硬性）在将傅里叶理论扩展至非可积函数中的作用是什么？
• RQ4 即使级数发散，能否通过 ρ₀ → 1⁻ 极限在单位圆上一致地定义内解析函数的内积与范数？
• RQ5 在半径 ρ₀ < 1 的圆周上的一维参数族希尔伯特空间如何与实函数及其傅里叶表示的结构相关联？

主要发现

• 傅里叶理论的所有要素——基函数、正交性、完备性、内积与范数——均被嵌入单位开圆盘上内解析函数的复分析结构中。
• 泰勒基 {wₖ} 是标准正交基，满足 (wₖ₁|wₖ₂) = δₖ₁,ₖ₂ 且 ‖wₖ‖ = 1，其来源于内积的闭合路径积分定义。
• 内积 (w₁|w₂) = ∑ ρ₀²ᵏ c₁,k* c₂,k 在 ρ₀ < 1 且系数 cₖ 满足指数有界性时收敛速度呈指数级。
• 内解析函数的范数为 ‖w‖² = ∑ ρ₀²ᵏ |cₖ|²，即使在 ρ₀ → 1⁻ 时可能发散，对 ρ₀ < 1 仍保持有限。
• ρ₀ → 1⁻ 极限保持了内解析函数与实函数之间的一一对应关系，即使范数或内积发散，仍可扩展至分布。
• 实函数的奇点通过其复分析对应物进行分类：软性奇点为可积，临界硬性奇点在一次积分后可积，而不可积的硬性奇点则被排除在标准傅里叶理论之外。