[논문 리뷰] On trigonometric approximation of functions in the Lp norm

R. N. Mohapatra, Bogdan Szal|arXiv (Cornell University)|2012. 05. 26.

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

한 줄 요약

이 논문은 적분 모듈러스 연속성에 기반하여 $ L^p $-함수의 삼각함수 근사의 차수에 대한 날카운 경계를 설정한다. 이는 푸리에 급수로부터 유도된 선형 연산자를 사용하며, 수렴 속도가 $ O(n^{-\beta}) $임을 보이며, 수렴 행렬에 대한 조건을 완화함으로써 고전 결과를 일반화한다. 이는 $ RBVS $, $ HBVS $, $ AMDS $ 수열을 포함한 경우에도 적용된다.

ABSTRACT

In this paper we obtain degree of approximation of functions in Lp by operators associated with their Fourier series using integral modulus of continuity. These results generalize many know results and are proved under less stringent conditions on the infinite matrix.

연구 동기 및 목표

• 수렴 행렬의 클래스를 넓힌 조건 하에서 $ L^p $-노름에서 삼각함수 근사에 관한 알려진 결과를 일반화함으로써 수렴 속도 추정을 확장하는 것.
• 함수 $ f \in L^p $의 근사 정도를 연산자 $ T_n(f;x) = \sum_{k=0}^n a_{n,k} S_k(f;x) $ 를 통해 분석하는 것. 여기서 $ S_k $ 는 푸리에 급수의 부분합이다.
• 행렬 $ (a_{n,k}) $ 에 대한 최소한의 가정 하에서 수렴 속도 $ \|T_n(f) - f\|_{L^p} = O(n^{-\beta}) $ 를 확립하는 것. 특히 $ (a_{n,k}) \in RBVS $, $ HBVS $, 또는 $ AMDS $ 인 경우에 대해 고려한다.
• 케사로 및 리에즈 평균에 관한 이전 결과들을 통합하고 확장하기 위해 적분 모듈러스 연속성과 유계 변동 수열에 기반한 프레임워크를 제안하는 것.
• 수렴 속도가 함수 $ f $ 의 부드러움 정도, 즉 $ \omega_p(f;\delta) = O(\delta^\alpha) $ 로 측정되는 것과 행렬 $ (a_{n,k}) $ 의 구조에 따라 달라지는지 분석하는 것.

제안 방법

• 함수 $ f \in L^p $ 에 대해 $ T_n(f;x) = \sum_{k=0}^n a_{n,k} S_k(f;x) $ 라 정의하는 근사 연산자 정의. 여기서 $ S_k(f;x) $ 는 $ f $ 의 $ k $-번째 부분 푸리에 합이다.
• 함수 $ f $ 의 부드러움 정도를 적분 모듈러스 연속성 $ \omega_p(f;\delta) $ 를 통해 기술하며, $ f \in \text{Lip}(\alpha,p) $ 이면 $ \omega_p(f;\delta) = O(\delta^\alpha) $ 임을 의미한다.
• 민코프스키 부등식과 커널 추정을 적용하여 $ \|T_n(f) - f\|_{L^p} $ 를 커널 $ K_n(u) = \sum_{k=0}^n a_{n,k} \frac{\sin((k+1/2)u)}{2\sin(u/2)} $ 의 $ L^1 $-노름을 통해 경계한다.
• 커널 $ K_n(u) $ 의 $ L^1 $-노름을 $ [0,\pi/n] $ 과 $ [\pi/n, \pi] $ 으로 나누어 적분하여 추정하며, 계수 $ a_{n,k} $ 와 그 차분의 성질을 활용한다.
• 아벨 변환과 유계 변동 조건(예: $ (k+1)^{-\beta}a_{n,k} \in HBVS $) 을 사용하여 계수의 변동을 제어하고, 감쇠 속도를 도출한다.
• 보조 삼각함수 다항식 $ t_n $ 을 레미마 1 에서 유도하여 $ \|T_n(f) - f\|_{L^1} $ 을 근사 오차 성분과 오차 성분으로 분해함으로써 속도 분석이 가능하도록 한다.

실험 결과

연구 질문

• RQ1 함수 $ f \in L^p $ 에 대해 푸리에 급수로부터 유도된 선형 연산자 $ T_n(f;x) $ 가 $ L^p $-노름에서 근사하는 데 있어서 최적의 근사 정도는 무엇인가?
• RQ2 수렴 속도는 적분 모듈러스 연속성 $ \omega_p(f;\delta) $ 로 측정된 함수 $ f $ 의 부드러움 정도에 따라 어떻게 달라지는가?
• RQ3 행렬 $ (a_{n,k}) $ 가 $ RBVS $, $ HBVS $, 또는 $ AMDS $ 와 같은 조건을 만족할 때, $ \|T_n(f) - f\|_{L^p} = O(n^{-\beta}) $ 가 성립하는 조건은 무엇인가?
• RQ4 케사로 및 리에즈 평균에 대한 고전 결과를 최소한의 가정 하에 더 넓은 수렴 행렬 클래스로 일반화할 수 있는가?
• RQ5 계수 $ a_{n,k} $ 와 그 차분 $ \Delta_k a_{n,k} $ 는 근사 오차를 결정하는 데 어떤 역할을 하는가?

주요 결과

• $ 0 < \alpha \leq 1 $ 인 $ f \in \text{Lip}(\alpha,p) $ 에 대해, $ (a_{n,k}) \in RBVS $ 또는 $ HBVS $ 라면 연산자 $ T_n(f) $ 는 $ \|T_n(f) - f\|_{L^p} = O(n^{-\alpha}) $ 를 만족하며, 이는 1937년 케이드의 결과를 일반화한다.
• $ (a_{n,k}) \in RBVS $ 이면 $ \|T_n(f) - f\|_{L^1} \ll (n+1)^{1-\alpha} a_{n,0} $ 이고, $ (n+1)a_{n,0} = O(1) $ 이면 $ \|T_n(f) - f\|_{L^1} = O(n^{-\alpha}) $ 임을 증명한다.
• $ p=1 $, $ \alpha=1 $, $ (a_{n,k}) \in HBVS $ 이고 $ (n+1)a_{n,n} = O(1) $ 이면, 논문은 $ \|T_n(f) - f\|_{L^1} = O(n^{-1}) $ 를 증명하며, 이는 케사로 평균의 알려진 로그적 경우와 일치한다.
• $ (a_{n,k}) $ 에 대해 $ HBVS $ 또는 $ AMIS $ 조건이 성립하면 커널 노름 $ \int_0^{\pi} |K_n(u)| du = O(1) $ 이 성립하며, 이는 근사 오차를 경계하는 데 핵심적이다.
• 아벨 변환과 분해 $ \|T_n(f) - f\|_{L^1} \leq \|T_n(f) - \sum a_{n,k} t_k\|_{L^1} + \|\sum a_{n,k} t_k - f\|_{L^1} $ 의 사용은 $ \|f - t_n\|_{L^1} $ 에 따라 오차를 정밀하게 제어할 수 있도록 한다.
• 이 결과는 $ p > 1 $ 로도 확장되며, $ f \in \text{Lip}(\alpha,p) $ 이고 같은 행렬 조건을 만족하면 $ \|T_n(f) - f\|_{L^p} = O(n^{-\alpha}) $ 가 성립함을 보여, 케사로 평균에 대한 알려진 $ L^p $-결과를 일반화한다.