[논문 리뷰] Fourier Theory on the Complex Plane I: Conjugate Pairs of Fourier Series and Inner Analytic Functions

Jorge L. deLyra|arXiv (Cornell University)|2014. 09. 01.

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 $ 를 통해 푸리에 급수 계수를 해석함수의 테일러 계수로 매핑하여, 푸리에 급수를 복소평면에 통합하기.
• 경계 $ |z|=1 $ 에서의 실수부가余弦 급수를 복원하고 허수부가 사인 급수를 복원하는 열린 단위 원판 위의 내부 해석함수 $ w(z) $ 를 구성하기.
• 포아송 커널과 조화함수 확장 기법을 적용하여, 푸리에 급수가 발산할 경우에도 해석함수의 경계값으로부터 원래 함수를 복원하기.
• 특히 딜라크 델타와 같은 분포를 포함한 경우, 해석함수의 단위원주 근처 행동을 분석하기 위해 관련 해석함수의 극과 특이점을 검토하기.
• 해석함수의 로그미분을 사용하여, 예를 들어 정사각형 파동의 도함수와 유사한 분포를 디스크 위의 해석함수의 구조로부터 복원하기.

실험 결과

연구 질문

• RQ1 푸리에 급수는 어떻게 체계적으로 복소단위원판 위의 해석함수와 관련될 수 있는가?
• RQ2 관련된 해석함수의 테일러 급수 수렴성으로부터 푸리에 급수의 수렴성을 이해할 수 있는가?
• RQ3 푸리에 급수가 발산할 경우에도 원래의 실수 함수를 그 푸리에 계수로부터 재구성하는 것이 가능한가?
• RQ4 내부 해석함수는 단위원판 경계에서 델타 함수와 같은 분포를 표현하는 데 어떤 역할을 하는가?
• RQ5 해석함수의 경계에서의 특이점은 푸리에 급수의 수렴 행동과 어떻게 관련되는가?

주요 결과

• 모든 푸리에 급수는 그 테일러 계수들이 푸리에 계수와 일치하는 열린 단위 원판 위의 해석함수에 대응한다.
• 해석함수의 실수부가 단위원주에서의 극한 값은 급수가 발산하더라도 원래의余弦 급수를 복원한다.
• 해석함수의 허수부는 사인 급수를 제공하며, 이 두 부분이 함께 거의 모든 곳에서 원래 함수를 재구성한다.
• 델타 함수 분포의 경우, 해당하는 해석함수는 단순극을 가지며, 실수부와 허수부는 모두 경계에서 잘 정의된 함수가 된다.
• 함수 $ w_{2\delta}(z) = \frac{4}{\pi} \frac{z}{1 - z^2} $ 는 정사각형 파동의 도함수에 대응하며, 정사각형 파동의 해석함수의 로그미분과 일치한다.
• 푸리에 급수가 전체 단위원주에서 발산하더라도, 해석함수는 열린 디스크 위에서는 여전히 잘 정의되어 있으며, 이는 경계에 존재하는 분포와 관련된 더 깊은 구조를 시사한다.