[论文解读] Fourier Theory on the Complex Plane III: Low-Pass Filters, Singularity Splitting and Infinite-Order Filters

Jorge L. deLyra|arXiv (Cornell University)|Nov 24, 2014

Algebraic and Geometric Analysis参考文献 2被引用 3

一句话总结

本文提出了一种复平面上的框架，用于理解傅里叶分析中的低通滤波器，表明一阶滤波器执行‘奇点分裂’——即用两个较温和的奇点替代单位圆上的单个奇点，从而改善定性傅里叶级数的收敛性。通过迭代构造高阶和无限阶滤波器，得到具有绝对且一致收敛的傅里叶级数的 $C^{\text{infty}}$ 函数。

ABSTRACT

When Fourier series are employed to solve partial differential equations, low-pass filters can be used to regularize divergent series that may appear. In this paper we show that the linear low-pass filters defined in a previous paper can be interpreted in terms of the correspondence between Fourier Conjugate (FC) pairs of Definite Parity (DP) Fourier series and inner analytic functions, which was established in earlier papers. The action of the first-order linear low-pass filter corresponds to an operation in the complex plane that we refer to as "singularity splitting", in which any given singularity of an inner analytic function on the unit circle is replaced by two softer singularities on that same circle, thus leading to corresponding DP Fourier series with better convergence characteristics. Higher-order linear low-pass filters can be easily defined within the unit disk of the complex plane, in terms of the first-order one. The construction of infinite-order filters, which always result in $C^{\infty}$ real functions over the unit circle, and in corresponding DP Fourier series which are absolutely and uniformly convergent to these functions, is presented and discussed.

研究动机与目标

• 在单位圆盘上的内解析函数背景下，解释线性低通滤波器。
• 解决在偏微分方程解中出现的发散定性（DP）傅里叶级数的收敛性问题。
• 通过奇点操控，建立高阶和无限阶滤波器的几何与解析框架。
• 证明无限阶滤波器可生成 $C^{\text{infty}}$ 实函数，其DP傅里叶级数一致收敛。

提出的方法

• 利用定性傅里叶级数的傅里叶共轭（FC）对与单位开圆盘内内解析函数之间的对应关系。
• 通过与具有紧致支集和单位积分的矩形核 $K_{\theta}^{(1)}$ 的卷积，定义一阶低通滤波器。
• 通过迭代应用一阶滤波器构造高阶滤波器，得到具有更高可微性的更平滑核函数。
• 将无限阶滤波器定义为高阶滤波器的极限，得到一个在单位圆上具有稠密奇点的 $C^{\text{infty}}$ 核函数。
• 通过考察在高阶导数为零的点处泰勒级数的收敛性，分析核函数的解析性。
• 证明核函数在其支集区间内任意点均不解析，因为其无法由收敛的泰勒级数表示。

实验结果

研究问题

• RQ1 如何利用内解析函数在复平面上几何地解释一阶低通滤波器？
• RQ2 奇点分裂通过何种机制改善定性傅里叶级数的收敛性？
• RQ3 如何在单位圆盘框架内系统地构造高阶滤波器？
• RQ4 无限阶滤波器核的解析性质是什么？它能否在复平面上进行解析延拓？
• RQ5 为何无限阶核函数虽为 $C^{\text{infty}}$，却仍不解析？

主要发现

• 一阶低通滤波器对应于‘奇点分裂’——单位圆上的单个奇点被替换为两个更柔和的奇点，从而增强级数收敛性。
• 高阶滤波器通过迭代应用一阶滤波器构造，其核函数具有更高的平滑性，并在更多点处导数为零。
• 无限阶滤波器核为 $C^{\text{infty}}$，其支集内存在 $2^n + 1$ 个点，使得所有阶数 $n$ 或更高的导数为零，且当 $n \to \infty$ 时，该集合趋于稠密。
• 无限阶核在支集区间内任意点均不解析，因为其无法在任一点用收敛的泰勒级数表示。
• 由于单位圆上存在稠密的非解析点，该核函数无法通过标准解析延拓方法扩展到复平面。
• 无限阶滤波器对应的DP傅里叶级数在单位圆上绝对且一致收敛于 $C^{\text{infty}}$ 实函数。