[논문 리뷰] On the best approximation of certain classes of periodic functions by trigonometric polynomials

A. S. Serdyuk, Ie. Yu. Ovsii|arXiv (Cornell University)|2010. 05. 30.

Mathematical Approximation and Integration참고 문헌 8인용 수 21

한 줄 요약

이 논문은 주기적 함수의 최적 삼각다항식 근사에 대한 균등노름에서 渐近적으로 정확한 추정을 수립한다. 특히 주어진 연속성 모듈러스 $\omega$ 를 갖는 $(\psi,\beta)$-미분을 통해 정의된 클래스 $ C^{\beta}_{\beta}H_{\omega} $ 에 대해 적용된다. 핵심 결과는 $ \psi \in \mathfrak{M}_0' $ 이고 $ \beta \notin 2\mathbb{Z} $ 인 조건 하에, 최적 근사 오차 $ E_n(C^{\beta}_{\beta}H_{\omega}) $ 에 대한 정확한 渐近 공식을 제공하며, 이는 $ \psi(1/t)\omega(t)/t $ 의 적분을 포함한다. 이는 기존의 순서 추정을 정확한 渐近 표현으로 확장한다.

ABSTRACT

We obtain the estimates for the best approximation in the uniform metric of the classes of $2π$-periodic functions whose $(ψ,β)$-derivatives have a given majorant $ω$ of the modulus of continuity. It is shown that the estimates obtained here are asymptotically exact under some natural conditions on the parameters $ψ,$ $ω$ and $β$ defining the classes

연구 동기 및 목표

• 균등 거리에서 차수 최대 $ n-1 $ 인 삼각다항식에 의한 $ 2\pi $-주기 함수 클래스의 최적 근사에 대한 渐近적으로 정확한 추정을 도출한다.
• 주어진 조건 하에 $ E_n(C^\psi_\beta H_\omega) $ 의 기존 순서 추정을 정확한 渐近 공식으로 확장한다. 이는 연속성 모듈러스 $ \omega $, 수열 $ \psi $, 그리고 매개수 $ \beta $ 에 대한 일반 조건을 포함한다.
• $ \psi \in \mathfrak{M}_0' $ 이고 $ \beta \in \mathbb{R} $ 인 경우 최적 근사 오차의 감쇠 속도를 특성화한다. 이는 비정수 $ \beta $ 포함함.

제안 방법

• 저자들은 $ (\psi,\beta) $-미분이 연속성 모듈러스 클래스 $ H_\omega $ 에 속하는 $ 2\pi $-주기 연속 함수의 집합으로서 클래스 $ C^\psi_\beta H_\omega $ 를 정의한다. 이는 푸리에 급수의 위상 이동을 기반으로 한 일반화된 미분을 사용한다.
• 특정 점에서 근사 오차를 최대화하기 위해, $ (\psi,\beta) $-미분이 기저가 $ 2\pi/n $ 인 홀함수인 $ \varphi_n $ 인 테스트 함수 $ f^* $ 를 구성한다.
• de la Vallée Poussin 정리를 이용하여, 주기 내에서 등간격으로 나누어진 $ 2n $ 개의 점에서 오차의 교대 부호 성질을 분석함으로써 최적 근사 오차 $ E_n(f^*) $ 의 하한을 확립한다.
• 오차 표현을 $ \psi(nu) $, $ \sin(ut) $, 그리고 연속성 모듈러스 $ \omega $ 를 포함하는 적분으로 변환함으로써, $ \psi \in \mathfrak{M}_0' $ 의 대칭성과 감쇠 성질을 활용한다.
• 하한과 기존 추정에서 유도된 상한을 조합하여 $ E_n(C^\psi_\beta H_\omega) $ 에 대한 정확한 渐近 공식을 도출한다. 이는 $ \int_0^{1/n} \psi(1/t) \omega(t)/t \, dt $ 를 포함한 정확한 표현을 포함한다.
• 최종 공식은 $ \theta_n(\omega) \in [2/3,1] $ 인 상수와 $ O(1)\psi(n)\omega(1/n) $ 이라는 오차 항을 포함한다.

실험 결과

연구 질문

• RQ1 기존의 순서 추정을 넘어서서, $ \psi \in \mathfrak{M}_0' $ 이고 $ \beta \in \mathbb{R} $ 인 경우 최적 근사 오차 $ E_n(C^\psi_\beta H_\omega) $ 의 정확한 渐近 행동은 무엇인가?
• RQ2 근사 오차는 연속성 모듈러스 $ \omega $, 수열 $ \psi $, 매개수 $ \beta $ 에 따라 어떻게 달라지며, 특히 $ \sin(\beta\pi/2) \neq 0 $ 인 경우는 어떠한가?
• RQ3 최적 근사 오차는 $ \psi(1/t)\omega(t)/t $ 를 포함하는 적분으로 표현될 수 있는가? 이 경우 반감속 모듈러스 $ \mu(t) $ 는 어떤 역할을 하는가?
• RQ4 $ \psi $ 와 $ \omega $ 가 어떤 조건을 만족할 경우 근사 오차가 $ \int_0^{1/n} \psi(1/t) \omega(t)/t \, dt $ 와 渐近적으로 동치가 되는가?
• RQ5 Weyl-Nagy 및 Weyl 클래스에 대한 기존의 정확한 추정을 어떻게 일반화할 수 있는가? 특히 $ \psi(k) = k^{-r} $ 이고 $ \beta = r $ 인 경우에 대해 설명하라.

주요 결과

• 최적 근사 오차 $ E_n(C^\psi_\beta H_\omega) $ 는 다음 渐近적으로 정확한 공식을 만족한다: $$ E_n(C^\psi_\beta H_\omega) = \frac{\theta_n(\omega)}{\pi}\left|\sin\frac{\beta\pi}{2}\right|\int_0^{1/n}\psi\left(\frac{1}{t}\right)\frac{\omega(t)}{t}\,dt + O(1)\psi(n)\omega(1/n), $$ 여기서 $ \theta_n(\omega) \in [2/3,1] $ 이고, $ \psi \in \mathfrak{M}_0' $ 이며 $ \beta \notin 2\mathbb{Z} $ 이다.
• 적분 항 $ \int_0^{1/n}\psi(1/t)\omega(t)/t\,dt $ 는 $ \psi \in \mathfrak{M}_0' $ 인 경우 오차의 주요 기여를 차지하며, 근사 오차의 정확한 감쇠 행동을 반영한다.
• $ \psi(k) = k^{-r} $ 인 경우 공식은 기존의 순서 추정을 회복하지만, 이제는 정확한 상수 인자 $ \theta_n(\omega) $ 를 포함하여 이전의 순서 추정 결과를 초월한다.
• 오차 항 $ O(1)\psi(n)\omega(1/n) $ 는 균일하게 유계이며, 주어진 조건 하에 주요 항에 비해 무시 가능해진다.
• de la Vallée Poussin 정리를 통해 유도된 하한이 상한과 상수 인자 범위 내에서 일치하므로 결과는 날카롭게 정의된다. 이는 渐近 정확성의 확인이다.
• $ \sin(\beta\pi/2) $ 에 대한 의존성은 $ \beta \in 2\mathbb{Z} $ 일 경우 근사 오차가 0이 되는 것을 반영하며, 이는 푸리에 급수의 대칭성 성질과 일치한다.