[논문 리뷰] Optimal approximation and Kolmogorov widths estimates for certain singular classes related to equations of mathematical physics

I. V. Boykov|arXiv (Cornell University)|2013. 03. 02.

Mathematical Approximation and Integration참고 문헌 5인용 수 9

한 줄 요약

이 논문은 수학적 물리학에서 나타나는 l차원 초입방체 $\Omega=[-1,1]^l$ 상에서 특이 함수류 $\bar{Q}^{u}_{r\gamma}(\Omega,1)$ 및 $Q^{u}_{r\gamma}(\Omega,1)$의 코르모고로프 및 바벤코 폭에 대해 최적의 순서 추정을 수립한다. 논문은 근사 오차가 폭 추정과 일치하는 국소 스플라인을 구성하여 수렴 속도 측면에서 방법의 최적성을 입증하며, 차원 $l$, 미분 순서 $r$, 로그 가중치 매개수 $u$ 및 $\gamma$에 대한 명시적 의존성을 포함한다. 핵심 결과는 $v > l/(l-1)$ 인 경우 정확한 점근적 동치 $\delta_n \asymp d_n \asymp n^{-(s-\gamma)/(l-1)}\ln^u n$ 이다. 여기서 $v = s/(s - \gamma)$ 이다.

ABSTRACT

Solutions of numerous equations of mathematical physics such as elliptic, weakly singular, singular, hypersingular integral equations belong to functional classes $\bar Q^u_{r γ}(Ω,1)$ and $Q^u_{r γ}(Ω,1)$ defined over $l-$dimensional hypercube $Ω=[-1,1]^l, l=1,2,....$ The derivatives of classes' representatives grow indefinitely when the argument approaches the boundary $δΩ$. In this paper we estimate the Kolmogorov and Babenko widths of two functional classes $\bar Q^u_{r γ}(Ω,1)$ and $Q^u_{r γ}(Ω,1).$ We construct local splines belonging to those classes, such that the errors of approximation are of the same order as that of the estimated widths. Thus we construct optimal with respect to order methods for approximating the functional classes $\bar Q^u_{r γ}(Ω,1)$ and $Q^u_{r γ}(Ω,1).$ One can use these results for constructing methods optimal with respect to order for approximating a unit ball of the Sobolev spaces with logarithmic and polynomial weights.

연구 동기 및 목표

• l차원 초입방체 $\Omega=[-1,1]^l$ 상에서 정의된 함수류 $\bar{Q}^{u}_{r\gamma}(\Omega,1)$ 및 $Q^{u}_{r\gamma}(\Omega,1)$의 코르모고로프 및 바벤코 폭에 대해 날카로운 점근적 추정을 도출하는 것.
• 폭의 하한과 일치하는 근사 오차를 갖는 국소 스플라인을 구성하여 이러한 함수류에 대한 근사 방법의 최적성을 입증하는 것.
• 폭 추정을 기반으로 하여 로그 및 다항 가중치를 갖는 가중치 Sobolev 공간의 단위 구를 확장하는 것.
• 차원 $l$, 미분 순서 $r$, 로그 가중치 매개수 $u$, $\gamma$ 가 최적 근사의 수렴 속도에 미치는 영향을 분석하는 것.

제안 방법

• 논문은 함수류 $Q^{u}_{r\gamma}(\Omega,1)$ 및 $\bar{Q}^{u}_{r\gamma}(\Omega,1)$를 $r$차 미분까지 유계이고 경계 $\partial\Omega$ 근처에서 고차 미분이 무한대가 되는 함수들의 공간으로 정의하며, 거리에 따라 가중된 노름 $\rho = d(t,\partial\Omega)$ 를 포함한다.
• 분석의 국소화 및 조각다항식 근사의 구성의 목적을 위해 도메인 $\Omega$ 를 이진 부분영역 $\Delta^k_{i_1,\dots,i_l}$ ($k=0,1,\dots,N-1$) 로 분해한다.
• 각 부분영역에서 차수 $s$ 의 다항식 $P_{s,\dots,s}(f;\Delta^k_{i_1,\dots,i_l})$ 를 사용하여 연속성과 최적 오차 통제를 보장하는 국소 스플라인 $f_N^*$ 를 구성한다.
• 테일러 전개와 로그 가중치 $\ln^u N$ 를 포함한 적분 추정을 이용하여 근사 오차를 유계로 제한하며, 결과적으로 $\|f - f_N^*\|_{C(\Omega)} \leq c N^{-s} \ln^u N$ 이다.
• 부분영역의 수는 $n \asymp N^{v(l-1)}$ 를 통해 자유도 수 $n$ 과 연결되며, 여기서 $v = s/(s - \gamma)$ 이다. 이는 $N$-의존적 추정을 $n$-의존적 폭 추정으로 변환할 수 있게 한다.
• $v > l/(l-1)$ 인 경우 점근적 동치 $\delta_n \asymp d_n \asymp n^{-(s-\gamma)/(l-1)}\ln^u n$ 를 증명하여 구성된 스플라인 방법의 최적성을 확인한다.

실험 결과

연구 질문

• RQ1 함수류 $Q^{u}_{r\gamma}(\Omega,1)$ 및 $\bar{Q}^{u}_{r\gamma}(\Omega,1)$ 에 대한 코르모고로프 및 바벤코 폭의 정확한 점근적 순서는 무엇인가? 이는 $[-1,1]^l$ 상에서 성립한다.
• RQ2 근사 오차가 폭의 하한과 일치하는 국소 스플라인 근사를 구성할 수 있는가? 이는 순서 측면에서 최적성을 입증한다.
• RQ3 $u$, $\gamma$, $s$, $l$ 등의 매개수들이 이러한 함수류에 대한 최적 근사의 수렴 속도에 어떻게 영향을 미치는가?
• RQ4 점근적 행동의 차이를 분리하는 임계 기준 $v = s/(s - \gamma)$ 는 무엇이며, 특히 차원 $l$ 과 어떻게 관련되는가?
• RQ5 어떤 조건에서 바벤코 폭 $\delta_n$ 이 이 함수류에 대해 코르모고로프 폭 $d_n$ 과 같은 순서를 갖는가?

주요 결과

• 만약 $v = s/(s - \gamma) > l/(l-1)$ 라면, 함수류 $Q^{u}_{r\gamma}(\Omega,1)$ 에 대한 코르모고로프 폭 $d_n(Q^{u}_{r\gamma}(\Omega,1), C)$ 와 바벤코 폭 $\delta_n(Q^{u}_{r\gamma}(\Omega,1))$ 는 점근적으로 $n^{-(s-\gamma)/(l-1)}\ln^u n$ 과 동치이다.
• $v < l/(l-1)$ 인 경우, 폭의 순서는 $n^{-s/l}$ 이며, 이는 로그 가중치에 영향을 받지 않는 차원에 의존하는 감쇠 속도를 나타낸다.
• $v = l/(l-1)$ 인 경우, 폭은 로그 보정을 보이며, $d_n \asymp \delta_n \asymp n^{-s/l}(\ln n)^{(ul + s)/l}$ 이다.
• 구성된 연속적인 국소 스플라인 $f_N^*$ 는 근사 오차 $\|f - f_N^*\|_{C(\Omega)} \leq c n^{-(s-\gamma)/(l-1)} \ln^u n$ 을 갖으며, 이는 폭의 하한과 일치하여 순서 측면에서 최적성을 입증한다.
• 자유도 수 $n$ 은 $n \asymp N^{v(l-1)}$ 로 스케일링되며, 이는 메쉬 크기 $N^{-1}$ 과 근사 복잡도를 연결한다.
• 결과는 가중치 Sobolev 공간 $W^{r}_{\infty}(\Omega,1,\rho)$ 의 단위 구에 대한 최적 근사 속도가 $Q^{u}_{r\gamma}(\Omega,1)$ 에 대해 유도된 점근적 행동과 동일하게 결정됨을 확인한다.