[논문 리뷰] On $L^{1}$-Convergence of Fourier Series Under $MVBV$ Condition

Dan Sheng Yu, Ping Zhou외 1명|ArXiv.org|2007. 04. 14.

Approximation Theory and Sequence Spaces참고 문헌 3인용 수 4

한 줄 요약

이 논문은 복소수 계수의 $2\pi$-주기 함수에 대해 푸리에 계수에 Mean Value Bounded Variation (MVBV) 조건을 적용할 때, 푸리에 급수의 $L^1$ 수렴성을 확립한다. 고전적 결과를 일반화하여 단조성 조건을 MVBV로 대체함으로써, $\|f - S_n(f)\|_L \to 0$이 성립함과 동시에 $\hat{f}(n)\log|n| \to 0$이 성립하는 것의 필요성과 충분성을 증명하였으며, 이 경우 MVBV 조건은 복소수 설정에서 이러한 수렴성을 보장하기 위해 가능한 가장 약한 조건임을 보였다.

ABSTRACT

Let $f\in L_{2π}$ be a real-valued even function with its Fourier series $ \frac{a_{0}}{2}+\sum_{n=1}^{\infty}a_{n}\cos nx,$ and let $S_{n}(f,x), n\geq 1,$ be the $n$-th partial sum of the Fourier series. It is well-known that if the nonnegative sequence $\{a_{n}\}$ is decreasing and $\lim\limits_{n o \infty}a_{n}=0$, then $$ \lim\limits_{n o \infty}\Vert f-S_{n}(f)\Vert_{L}=0 {if and only if} \lim\limits_{n o \infty}a_{n}\log n=0. $$ We weaken the monotone condition in this classical result to the so-called mean value bounded variation ($MVBV$) condition. The generalization of the above classical result in real-valued function space is presented as a special case of the main result in this paper which gives the $L^{1}$% -convergence of a function $f\in L_{2π}$ in complex space. We also give results on $L^{1}$-approximation of a function $f\in L_{2π}$ under the $% MVBV$ condition.

연구 동기 및 목표

• 푸리에 계수에 대한 단조성 조건을 약화시켜 고전적 $L^1$-수렴 결과를 일반화하는 것.
• 복소수 계수의 $2\pi$-주기 함수에 대해 푸리에 계수에 MVBV 조건이 성립할 때 푸리에 급수의 $L^1$-수렴성을 확립하는 것.
• 짝수 실수 계수 함수에 대한 $L^1$-수렴 결과에서 단조성 조건을 대체할 수 있는 조건 중에서 MVBV 조건이 가능한 가장 약한 조건임을 보이는 것.
• MVBV 조건 하에서 $L^1$-근사율을 도출하여, 수렴성과 최적 근사 및 연속성 모듈러스를 연결하는 것.

제안 방법

• 복소수 수열에 대해 MVBVS(Mean Value Bounded Variation Sequence) 조건을 도입하여, 이는 이진 간격 위에서 평균값에 대한 유한한 변동성을 요구한다.
• 푸리에 계수의 진동을 제어하기 위해 핵심 조건인 $\lim_{\mu \to 1^+} \limsup_{n \to \infty} \sum_{k=n}^{[\mu n]} |\Delta \hat{f}(k) - \Delta \hat{f}(-k)| \log k = 0$을 사용한다.
• 레마 1을 활용하여 이진 간격 위에서 최대값을 이용해 차분의 부분합을 유계화하고, MVBV 성질을 활용한다.
• 레마 2를 활용하여 $f - S_n(f)$의 $L^1$-노름을 계수 크기의 조화급수와 연결한다.
• 이진 분해와 노름 추정을 통해, $L^1$-수렴성과 $\hat{f}(n)\log|n| \to 0$ 사이의 동치성을 필요성 및 충분성 증명을 통해 확립한다.
• 이론적 근사 이론을 일반화하여, 감소하는 $\psi_n \sim \psi_{2n}$에 대해 $\|f - S_n(f)\|_L = O(\psi_n)$이 성립함과 동시에 $E_n(f)_L = O(\psi_n)$ 및 $\hat{f}(n)\log|n| = O(\psi_{|n|})$가 동시에 성립하는 것의 필요성과 충분성을 증명한다.

실험 결과

연구 질문

• RQ1 복소수 계수의 $2\pi$-주기 함수에 대해, $f - S_n(f)$의 $L^1$-노름이 0으로 수렴하기 위한 푸리에 계수의 조건은 무엇인가?
• RQ2 고전적 $L^1$-수렴 결과에서 단조성 조건을 더 일반적인 조건으로 약화시킬 수 있으며, 만약 가능하면 그 중 가장 약한 조건은 무엇인가?
• RQ3 MVBV 조건은 $n$ 차 삼각 다항식에 의한 $f$의 $L^1$-근사 속도와 어떻게 관련이 있는가?
• RQ4 MVBV 조건 하에서 푸리에 계수의 감쇠 속도에 따라 $L^1$-수렴의 정확한 동치 조건은 무엇인가?

주요 결과

• 푸리에 계수 $\{\hat{f}(n)\}_{n=0}^\infty$에 MVBV 조건과 차분에 대한 보조 조건 $\Delta \hat{f}(k) - \Delta \hat{f}(-k)$이 성립할 때, $\|f - S_n(f)\|_L \to 0$이 성립함과 동시에 $\hat{f}(n)\log|n| \to 0$이 성립하는 것이 필요하고 충분하다.
• MVBV 조건은 $L^1$-수렴에 대해 단조성의 일반화로서 가능한 가장 약한 조건으로 제안되며, 사인 급수의 균일 수렴성에서의 역할과 유사하다.
• 실수 계수의 짝수 함수에 대해 결과는 고전적 동치로 축소되며, $\|f - S_n(f)\|_L \to 0$이 성립함과 동시에 $a_n \log n \to 0$이 성립하는 것과 동치가 된다. 이는 $\{a_n\}$이 실수 MVBV 조건을 만족할 때 성립한다.
• $L^1$-근사율은 $\|f - S_n(f)\|_L = O(\psi_n)$이 성립함과 동시에 최적 근사 $E_n(f)_L = O(\psi_n)$ 및 $\hat{f}(n)\log|n| = O(\psi_{|n|})$가 동시에 성립하는 것과 동치이다.
• 결론 3은 잭슨 유형의 근사 정리의 일반화로서, $\|f - S_n(f)\|_L = O\left(\frac{1}{(n+1)^r}\omega(f^{(r)}, \frac{1}{n+1})_L\right)$이 성립함과 동시에 $\hat{f}(n)\log|n| = O\left(\frac{1}{(n+1)^r}\omega(f^{(r)}, \frac{1}{n+1})_L\right)$가 성립하는 것과 동치임을 보여준다.
• 조건 $\sum_{k=n}^{[\mu n]} |\Delta \hat{f}(k) - \Delta \hat{f}(-k)| \log k \to 0$이 $\mu \to 1^+$일 때 충분하며, 이는 정리 1의 전체 조건을 대체할 수 있다.