[논문 리뷰] Approximation by Fourier sums in classes of differentiable functions with high exponents of smoothness

A. S. Serdyuk, И. В. Соколенко|arXiv (Cornell University)|2019. 06. 06.

Mathematical Approximation and Integration참고 문헌 4인용 수 4

한 줄 요약

이 논문은 매끄러움 매개변수 $r$ 가 차수 $n$ 에 비해 급격히 증가할 때($r/n \to \infty$), Weyl-Nagy 클래스 $W^r_{\beta,p}$ 에 속하는 함수의 삼각푸리에 합수에 의한 최적 근사의 귐사 등식을 균등 노름과 $L_p$ 노름에서 점점이 성립함을 보였다. 이는 이전 결과를 일반화한 것으로, $L_{p'}$-노름과 지수적으로 감쇠하는 나머지 항을 포함한 정밀한 점점적 공식을 도출하였으며, 이는 $r$, $n$, $\beta$ 전반에 걸쳐 균일하게 성립한다. 이는 $p=\infty$ 및 $p=1$ 에 대해 알려진 추정치를 모든 $1\leq p\leq\infty$ 로 확장한 것이다. 주요 기여는 고매끄러움 영역에서 통합된 점점적 프레임워크를 수립한 것이다.

ABSTRACT

We find asymptotic equalities for the exact upper bounds of approximations by Fourier sums of Weyl-Nagy classes $W^r_{β,p}, 1\le p\le\infty,$ for rapidly growing exponents of smoothness $r$ $(r/n ightarrow\infty)$ in the uniform metric. We obtain similar estimates for approximations of the classes $W^r_{β,1}$ in metrics of the spaces $L_p, 1\le p\le\infty$.

연구 동기 및 목표

• 균등 노름과 $L_p$ 노름에서 Weyl-Nagy 클래스 $W^r_{\beta,p}$ 에 속하는 함수의 최적 근사에 대한 점점적 등식을 유도하는 것.
• $p=1$ 및 $p=\infty$ 에 대해 알려진 점점적 추정치를 전체 범위 $1\leq p\leq\infty$ 로 확장하는 것.
• 매끄러움 매개변수 $r$ 이 차수 $n$ 에 비해 급격히 증가할 때($r/n \to \infty$) 근사 오차의 나머지 항의 행동을 분석하는 것.
• 점점적 전개에서 나머지 항에 대해 $r$, $n$, $\beta$ 전반에 걸쳐 균일한 상 bound 를 확립하는 것.

제안 방법

• 저자들은 Weyl-Nagy 클래스를 Weyl-Nagy 커널 $B_{r,\beta}(t)$ 와의 커플링으로 표현하여, $f = \frac{a_0}{2} + \frac{1}{\pi}\int \varphi(x-t) B_{r,\beta}(t) dt$ 를 유도하며, 여기서 $\varphi \in U_p^0$ 이다.
• Banach 공간에서의 최적 근사 이론을 적용하고, $1/p + 1/p' = 1$ 을 통해 $L_p$ 와 $L_{p'}$ 노름 간의 쌍대성 관계를 활용한다.
• 주요 기술적 도구는 $\varepsilon_n(W^r_{\beta,p})_X$ 의 근사 오차에 대한 일반화된 추정식으로, 이는 $\cos t$ 의 $L_{p'}$-노름과 $\sum_{k=n+1}^\infty k^{-r}$ 를 포함한 나머지 항으로 표현된다.
• 증명은 특히 $p=2$ 에서 허위츠 제타 함수의 적분 표현과 점점적 분석에 기반하며, 일반 형태를 검증한다.
• 저자들은 수열 $\bar{\beta} = \{\beta_k\}$ 로 정의된 클래스에 대해 일반적인 점점적 공식을 도출하였으며, 이는 $\beta_k \equiv \beta$ 일 때 $W^r_{\beta,p}$ 가 특수 케이스가 된다.
• 저자들은 $r/n \to \infty$ 일 때 나머지 항 $O(1)(1+1/n)^{-r}$ 이 소멸함을 보여, 점점적 등식이 성립함을 확인한다.

실험 결과

연구 질문

• RQ1 매끄러움 비율 $r/n \to \infty$ 일 때, 균등 노름에서 $W^r_{\beta,p}$ 함수의 최적 근사의 정밀한 점점적 행동은 무엇인가?
• RQ2 고매끄러움 영역에서 $W^r_{\beta,1}$ 클래스의 $L_p$ 노름에서의 근사 오차는 어떻게 행동하는가?
• RQ3 $p=1$ 및 $p=\infty$ 에 대해 알려진 점점적 추정치의 나머지 항을 전반적인 $1\leq p\leq\infty$ 로 균일하게 유계화하고 일반화할 수 있는가?
• RQ4 일반적인 $p$ 에 대해 근사 오차의 주요 항을 결정하는 데 있어 $\cos t$ 의 $L_{p'}$-노름은 어떤 역할을 하는가?
• RQ5 나머지 항이 무시 가능해져 추정치가 점점적 등식으로 전환되는 조건은 무엇인가?

주요 결과

• $1\leq p\leq\infty$, $r\geq n+1$, $\beta\in\mathbb{R}$ 일 때, 균등 노름에서의 최적 근사는 $\varepsilon_n(W^r_{\beta,p})_C = \frac{\|\cos t\|_{p'}}{\pi n^r} + O(1)\left(1+\frac{1}{n}\right)^{-r}$ 를 만족하며, 여기서 $O(1)$ 은 균일 유계이다.
• $W^r_{\beta,1}$ 이 $L_p$ 노름에서의 근사 오차는 $\varepsilon_n(W^r_{\beta,1})_{L_p} = \frac{\|\cos t\|_p}{\pi n^r} + O(1)\left(1+\frac{1}{n}\right)^{-r}$ 로 표현되며, 나머지 항에 동일한 균일 유계 조건이 적용된다.
• $r/n \to \infty$ 일 때, 나머지 항 $O(1)(1+1/n)^{-r} \to 0$ 이므로 추정치는 점점적 등식이 된다.
• $p=2$ 일 때, 결과는 $\varepsilon_n(W^r_{\bar{\beta},2})_C = \varepsilon_n(W^r_{\bar{\beta},1})_{L_2} = \frac{1}{\sqrt{\pi} n^r} + O(1)\left(1+\frac{1}{n}\right)^{-r}$ 로 특수화되며, 이는 기존의 $L_2$-노름 결과와 일致함을 확인한다.
• 점점적 공식은 $r$, $n$, $\beta$ 전반에 걸쳐 균일하게 성립하며, 이전 연구에서 사용된 더 강한 조건 $\psi(k+1)/\psi(k) \to 0$ 이 필요하지 않다.
• 주요 항 $\|\cos t\|_p / \pi$ 는 $p=\infty$ 에서 알려진 $4/\pi^2$ 계수와 $p=1$ 에서의 $4/\pi$ 계수를 일반화하며, $p$ 에 대해 연속적인 의존성을 보여준다.