[论文解读] Fourier Theory on the Complex Plane IV: Representability of Real Functions by their Fourier Coefficients

Jorge L. deLyra|arXiv (Cornell University)|Feb 5, 2015

Algebraic and Geometric Analysis被引用 6

一句话总结

本文通过证明在 $[-\pi, \pi]$ 上的任意勒贝格可积实函数即使其傅里叶级数几乎处处发散，也能通过其傅里叶系数唯一表示，从而在复平面上对傅里叶理论进行了精炼。关键贡献在于提出了一项较弱的系数衰减条件——$|a_{k+1}/a_k| \leq g(k)$，其中 $\lim g(k) = 1$——该条件可确保通过单位圆内的解析延拓实现表示，从而证明了前序研究中的一个猜想。

ABSTRACT

The results presented in this paper are refinements of some results presented in a previous paper. Three such refined results are presented. The first one relaxes one of the basic hypotheses assumed in the previous paper, and thus extends the results obtained there to a wider class of real functions. The other two relate to a closer examination of the issue of the representability of real functions by their Fourier coefficients. As was shown in the previous paper, in many cases one can recover the real function from its Fourier coefficients even if the corresponding Fourier series diverges almost everywhere. In such cases we say that the real function is still representable by its Fourier coefficients. Here we establish a very weak condition on the Fourier coefficients that ensures the representability of the function by those coefficients. In addition to this, we show that any real function that is absolutely integrable can be recovered almost everywhere from, and hence is representable by, its Fourier coefficients, regardless of whether or not its Fourier series converges. Interestingly, this also provides proof for a conjecture proposed in the previous paper.

研究动机与目标

• 通过弱化实函数表示性所需的前提收敛性假设，拓展先前的傅里叶理论结果。
• 建立傅里叶系数的最小条件，以保证即使傅里叶级数几乎处处发散，实函数仍能从其系数中恢复。
• 证明在 $[-\pi, \pi]$ 上绝对可积的任意实函数，无论其级数是否收敛，均可由其傅里叶系数表示。
• 验证先前论文中关于在最小假设下表示性的猜想。

提出的方法

• 引入对连续傅里叶系数比值的弱假设：$|a_{k+1}/a_k| \leq g(k)$，其中 $\lim_{k\to\infty} g(k) = 1$，该假设允许序列不收敛。
• 利用实函数与单位开圆盘内全纯函数之间的对应关系，从傅里叶系数定义复全纯结构。
• 应用复分析工具，特别是单位圆内泰勒级数的收敛性，将实函数重构为全纯函数在边界上的极限。
• 借助复平面上的狄拉克函数恒等式，利用傅里叶基的完备性，该完备性独立于傅里叶级数在边界上的逐点收敛性。
• 利用零测度等价类处理在零测集上不同的函数，将其视为相同，聚焦于傅里叶系数保持的积分性质。
• 通过证明具有相同系数的两个函数几乎处处相等，从而证明表示的唯一性。

实验结果

研究问题

• RQ1 当傅里叶级数几乎处处发散时，是否仍能保证实函数由其傅里叶系数表示？
• RQ2 保证函数可表示的傅里叶系数衰减的最弱可能条件是什么？
• RQ3 是否能从其傅里叶系数中恢复任意绝对可积的实函数，而不论其级数的收敛行为如何？
• RQ4 系数比值不存在指数发散是否意味着在单位圆内具有解析性并可表示？

主要发现

• 在 $[-\pi, \pi]$ 上的任意勒贝格可积实函数，即使其傅里叶级数几乎处处发散，也可由其傅里叶系数表示。
• 较弱的系数比值条件——$|a_{k+1}/a_k| \leq g(k)$，其中 $\lim g(k) = 1$——足以确保对应复幂级数在单位开圆盘内收敛。
• 本文证明了傅里叶基在几乎处处表示函数的意义上是完备的，且该完备性独立于边界上三角级数的收敛性。
• 该方法为每个零测度等价类的函数建立了唯一的光滑代表元，定义为单位圆内全纯函数在边界上的极限。
• 结果证实了先前工作中提出的猜想：由系数表示函数并不要求傅里叶级数收敛。
• 具有相同傅里叶系数的两个函数必须几乎处处相等，从而证明了系数几乎处处唯一确定函数。