[논문 리뷰] Fourier Theory on the Complex Plane III: Low-Pass Filters, Singularity Splitting and Infinite-Order Filters

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

Algebraic and Geometric Analysis참고 문헌 2인용 수 3

한 줄 요약

이 논문은 푸리에 분석에서 저역통과 필터를 이해하기 위한 복소평면 프레임워크를 제안한다. 여기서 일계 수준의 필터는 '특이점 분할(singularity splitting)'을 수행하며, 이는 단일 특이점을 단위원 위의 두 개의 덜 심한 특이점으로 대체함으로써 확정대칭(Definite Parity, DP) 푸리에 급수의 수렴성을 향상시킨다. 고계 및 무한계 수준의 필터는 반복을 통해 구성되며, 이로 인해 $C^{\frown{\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.

연구 동기 및 목표

• 단위 원판 내의 내부 해석 함수의 맥락에서 선형 저역통과 필터를 해석하기 위해.
• 편미분방정식(PDE) 해에서 발생하는 발산하는 확정대칭(Definite Parity, DP) 푸리에 급수의 수렴 문제를 다루기 위해.
• 특이점 조작을 통한 고계 및 무한계 수준의 필터를 위한 기하학적 및 해석적 프레임워크를 개발하기 위해.
• 무한계 필터가 $C^{\frown{\text{infty}}}$ 실수 함수를 생성하며, 이 함수들의 DP 푸리에 급수가 균일하게 수렴함을 보여주기 위해.

제안 방법

• 단위 원판 내의 내부 해석 함수와 DP 푸리에 급수의 푸리에 쌍(Fourier Conjugate, FC) 간의 대응 관계를 활용한다.
• 일계 저역통과 필터를 직사각형 커널 $K_{\theta}^{(1)}$ 와의 컨볼루션을 통해 정의하며, 이 커널은 컴actsupport를 가지며 적분값이 1이다.
• 고계 필터는 일계 필터를 반복 적용하여 구성되며, 이로 인해 미분 가능성이 점점 향상된 더 부드러운 커널이 도출된다.
• 무한계 필터는 고계 필터의 극한으로 도출되며, 이는 단위원 위에 조밀한 특이점 집합을 가진 $C^{\frown{\text{infty}}}$ 커널이 된다.
• 고차 미분계수가 0이 되는 점에서의 테일러 급수 수렴성을 분석함으로써 커널 함수의 해석성을 분석한다.
• 커널 함수는 지원 구간 내 어떤 점에서도 해석적이지 않으며, 이는 수렴하는 테일러 급수로 표현될 수 없기 때문이다.

실험 결과

연구 질문

• RQ1 내부 해석 함수를 활용한 복소평면에서의 기하학적 해석을 통해 일계 저역통과 필터를 어떻게 이해할 수 있는가?
• RQ2 특이점 분할이 확정대칭 푸리에 급수의 수렴성을 향상시키는 메커니즘은 무엇인가?
• RQ3 고계 필터는 단위 원판 프레임워크 내에서 체계적으로 어떻게 구성할 수 있는가?
• RQ4 무한계 필터 커널의 해석적 성질은 무엇이며, 복소평면으로의 해석적 계속을 수행할 수 있는가?
• RQ5 무한계 커널은 $C^{\frown{\text{infty}}}$ 이지만 왜 해석적이지 않은가?

주요 결과

• 일계 저역통과 필터는 '특이점 분할'에 해당하며, 단위원 위의 단일 특이점이 두 개의 덜 심한 특이점으로 대체되어 급수 수렴성이 향상된다.
• 고계 필터는 일계 필터를 반복 적용함으로써 구성되며, 이로 인해 더 많은 점에서 고차 미분계수가 0이 되는 더 부드러운 커널이 도출된다.
• 무한계 필터 커널은 $C^{\frown{\text{infty}}}$ 이며, 모든 $n$차 미분계수 이상이 0이 되는 점이 $2^n + 1$개 존재하며, $n \to \infty$일 때 이 집합은 조밀해진다.
• 무한계 필터 커널은 지원 구간 내 어떤 점에서도 해석적이지 않다. 이는 어떤 점에서도 수렴하는 테일러 급수로 표현될 수 없기 때문이다.
• 표현 가능한 해석적 계속이 표준 해석적 계속 방법으로는 불가능하며, 단위원 위에 조밀한 비해석점 집합이 존재하기 때문이다.
• 무한계 필터에 의해 도출된 DP 푸리에 급수는 절대적이고 균일하게 수렴하며, 이는 단위원 위의 $C^{\frown{\text{infty}}}$ 실수 함수로 수렴한다.