칼레손의 정리 문서 원본 보기

{{위키데이터 속성 추적}}
'''칼레손의 정리'''({{llang|en|Carleson's theorem}})는 [[르베그 공간|L² 함수]]의 [[푸리에 급수]]가 [[거의 모든 곳에서]] 원래 함수로 수렴한다는 중요한 정리이다. [[스웨덴]] 수학자 [[렌나르트 칼레손]]이 1966년에 증명하였다. 1968년에 [[미국]] 수학자 리처드 헌트는 이를 확장하여 ''p''&nbsp;∈&nbsp;(1,&nbsp;∞)일 때 L<sup>''p''</sup> 함수에 대해서도 마찬가지임을 보였다. 때문에 이 결과를 '''칼레손-헌트 정리'''({{llang|en|Carleson-Hunt theorem}})라고도 부른다. [[푸리에 변환]]에 대해서도 비슷한 결과가 성립한다.

== 정의 ==
<math>p \in (1, \infty)</math>일 때, <math>f</math>가 <math>\operatorname L^p</math> [[주기함수]]이고 <math>f</math>의 푸리에 계수가 <math>\hat{f}(n)</math>이라 하자. 그러면 거의 모든 <math>x</math>에 대해

: <math>\lim_{N \rightarrow \infty} \sum_{|n| \leq N} \hat{f}(n) e^{inx} = f(x)</math>

이다. 또 푸리에 변환에 대해서는 다음이 성립한다.

<math>p \in (1, \infty)</math>일 때, 함수 <math>f \in \operatorname L^p(\mathbb{R})</math>의 푸리에 변환을 <math>\hat{f}(\xi)</math>라 하자. 그러면 거의 모든 <math>x \in \mathbb{R}</math>에 대해

: <math>\lim_{R \rightarrow \infty} \int_{|\xi| \leq R} \hat{f}(\xi) e^{2 \pi i x \xi} \, d\xi = f(x)</math>

이다.

== 역사 ==
19세기 초 푸리에 급수가 발견된 이래, [[연속 함수]]의 푸리에 급수가 원래 함수로 [[점마다 수렴]]하느냐 하는 [[조제프 푸리에|푸리에]]의 질문은 오랫동안 풀리지 않은 채 남아 있었다.

더 강한 조건을 가정하면 푸리에 급수가 모든 곳에서 수렴함을 쉽게 보일 수 있다. 예를 들어 [[유계 변동 함수]]의 푸리에 급수는 모든 점에서 원래 함수의 국소적 평균값으로 수렴한다. 또 [[연속 미분 가능 함수]]의 푸리에 급수는 모든 점에서 원래 함수로 수렴한다. 이를 보인 [[페터 구스타프 르죈 디리클레|디리클레]]는 연속함수에 대해서도 마찬가지일 것이라는 의견을 표했다. 급수가 모든 점에서 수렴하도록 하는 또다른 방법은 합하는 방식을 바꾸는 것이다. 예를 들어 [[페예르의 정리]]에 따르면, 일반적인 급수의 합 대신 [[체사로 합]]을 사용할 때 연속함수의 푸리에 급수는 원래 함수로 [[균등수렴]]한다. 또, L² [[노름]]에서 L² 함수의 푸리에 급수가 원래 함수로 수렴함은 쉽게 보일 수 있다.

디리클레 이후 [[베른하르트 리만|리만]], [[카를 바이어슈트라스|바이어슈트라스]], [[리하르트 데데킨트|데데킨트]] 등의 수학자들도 연속함수의 푸리에 급수는 모든 곳에서 원래 함수로 수렴할 것이라 추측했다. 그러나 1876년, [[파울 뒤 부아레몽]](Paul du Bois-Reymond)이 푸리에 급수가 한 점에서 발산하는 연속함수의 예를 발견함으로써 이는 거짓으로 드러났다.

1915년에 [[니콜라이 루진]]은 L² 함수의 푸리에 급수가 거의 모든 점에서 원래 함수로 수렴할 것이라는 추측을 제시하였다. 1966년에 칼레손이 이를 증명하기 전까지 이 문제는 ‘루진의 추측’으로 알려져 있었다. 1923년에 [[안드레이 콜모고로프|콜모고로프]]는 거의 모든 곳에서 푸리에 급수가 발산하는 L¹ 함수의 예를 발견하였다. (그리고 1926년에는 모든 곳에서 발산하는 예를 발견했다.) 칼레손의 정리 이전까지 L<sup>''p''</sup> 함수의 푸리에 급수의 부분합 ''s''<sub>''n''</sub>에 대해 알려진 가장 좋은 추정값은 다음과 같았다.
: <math> s_n(x)=o( \log (n)^{1/p})</math> (거의 모든 곳에서)
이는 콜모고로프·셀리베르스토프·플레스너가 ''p'' = 2인 경우를 보였고, [[고드프리 해럴드 하디|하디]]가 ''p'' = 1인 경우를, [[존 이든저 리틀우드|리틀우드]]·페일리가 ''p'' > 1인 경우를 보였다. 이후 수십 년간 이 문제는 진척이 없었으며 몇몇 전문가들은 루진의 추측이 거짓일지도 모른다고 생각하게 되었다. 처음에 칼레손은 루진의 추측에 반례가 되는 연속함수를 찾으려 했다가 실패했다. 그때부터 그는 루진의 추측이 참일지도 모른다고 생각했고, 증명하기로 마음먹었다.

1968년에 리처드 헌트는 칼레손의 정리가 ''p'' > 1인 경우에도 성립함을 보였다. 그는 자신의 증명이 칼레손의 증명의 “다소 뻔한”({{lang|en|rather obvious}}) 확장이라고 하였다.

== 참고 문헌 ==
* {{인용| last1=Carleson | first1=Lennart |제목=On convergence and growth of partial sums of Fourier series | doi=10.1007/BF02392815 | mr=0199631 | year=1966 | journal=Acta Mathematica | volume=116 | issue=1 | pages=135–157}}
* {{인용| last1=Hunt | first1=Richard A. | title=Orthogonal Expansions and their Continuous Analogues Proc. Conf., Edwardsville, Ill., 1967 | publisher=Southern Illinois Univ. Press | location=Carbondale, Ill. | mr=0238019 | year=1968 | chapter=On the convergence of Fourier series | pages=235–255}}
* {{인용| last1=Kolmogorov | first1=Andrey Nikolaevich | author1-link=안드레이 콜모고로프| title= Une série de Fourier–Lebesgue divergente presque partout | url=https://eudml.org/doc/213617 | year=1923 | journal=Polska Akademia Nauk. Fundamenta Mathematicae | volume=4 | pages= 324–328}}
* {{인용| last1=Zygmund | first1=A. | title=Trigonometric series. Vol. I, II | origyear=1935 | url=http://matwbn.icm.edu.pl/kstresc.php?wyd=10&tom=5&jez=en | publisher=Cambridge University Press | edition=3rd | series=Cambridge Mathematical Library | isbn=978-0-521-89053-3 | mr=1963498 | year=2002}}

[[분류:푸리에 해석학 정리]]