[논문 리뷰] On upper bounds for regularity indices related to approximation theory

Petru A. Cioica-Licht, Markus Weimar|arXiv (Cornell University)|2019. 04. 09.

Mathematical Approximation and Integration인용 수 1

한 줄 요약

이 논문은 심플리시티 정규성 $\overline{s}_p$ 를 활용하여 베소프 공간에서의 한계 정규성 지수 $\overline{\alpha}_p$ 의 상계를 확립한다. 이는 준바나흐 공간에서의 고전적 임bedding과 복소 보간을 이용한 것으로, 포아송 방정식에 대한 기존의 베소프 정규성 결과가 정확함을 증명하며, 리프쉬츠 도메인에서 적응형 방법의 수렴 속도와 심플리시티 정규성 간의 연관성을 제시한다.

ABSTRACT

We study the interrelation between the limit $L_p(\Omega)$-Sobolev regularity $\overline{s}_p$ of (classes of) functions on bounded Lipschitz domains $\Omega\subseteq\mathbb{R}^d$, $d\geq 2$, and the limit regularity $\overline{\alpha}_p$ within the corresponding adaptivity scale of Besov spaces $B^\alpha_{ au, au}(\Omega)$, where $1/ au=\alpha/d+1/p$ and $\alpha>0$ ($p>1$ fixed). The former determines the convergence rate of uniform numerical methods, whereas the latter corresponds to the convergence rate of best $N$-term approximation. We show how additional information on the Besov or Triebel-Lizorkin regularity may be used to deduce upper bounds for $\overline{\alpha}_p$ in terms of $\overline{s}_p$ simply by means of classical embeddings and the extension of complex interpolation to suitable classes of quasi-Banach spaces due to Kalton, Mayboroda, and Mitrea (Contemp. Math. 445). The results are applied to the Poisson equation, to the $p$-Poisson problem, and to the inhomogeneous stationary Stokes problem. In particular, we show that already established results on the Besov regularity for the Poisson equation are sharp. Keywords: Non-linear approximation, adaptive methods, Besov space, Triebel-Lizorkin space, regularity of solutions, stationary Stokes equation, Poisson equation, $p$-Poisson equation, Lipschitz domain.

연구 동기 및 목표

• 유계 리프쉬츠 도메인에서 정의된 함수에 대해 $L_p(\Omega)$-심플리시티 정규성 $\overline{s}_p$ 와 적응형 스케일 정규성 $\overline{\alpha}_p$ 를 베소프 공간에서 연관짓는 것.
• 고전적 임베딩 정리와 고급 보간 기법을 사용하여 $\overline{s}_p$ 에 대한 $\overline{\alpha}_p$ 의 상계를 유도하는 것.
• 포아송, $p$-포아송, 정 steady 스토크스 방정식을 포함한 주요 PDE에 이론적 프레임워크를 적용하는 것.
• 개발된 상계를 활용하여 기존의 포아송 방정식에 대한 베소프 정규성 결과가 정확한지 입증하는 것.

제안 방법

• 고정된 $p > 1$ 과 $\alpha > 0$ 에 대해 $1/\mu = \alpha/d + 1/p$ 를 이용하여 적응형 스케일 $B^\alpha_{\mu,\mu}(\Omega)$ 를 정의하는 것.
• 심플리시티 공간과 베소프 공간 간의 고전적 임베딩을 적용하여 $\overline{s}_p$ 와 $\overline{\alpha}_p$ 를 연결하는 것.
• 칼튼, 메이보르다, 미트레아가 제안한 복소 보간의 준바나흐 공간으로의 확장을 활용하여 비볼록 또는 비볼록 유사 함수 공간을 다루는 것.
• 리프쉬츠 도메인의 맥락에서 심플리시티 정규성과 보간 추정치를 조합하여 $\overline{\alpha}_p$ 의 상계를 도출하는 것.
• 해당 이론적 상계를 베소프 공간과 트리벨-리조르킨 공간에서의 해의 정규성 분석을 통해 특정 PDE에 적용하는 것.
• 유도된 상계가 포아송 방정식에 대한 알려진 정규성 지수와 일치함을 보여, 기존 결과의 정확성을 검증하는 것.

실험 결과

연구 질문

• RQ1 적응형 $N$-항 근사 스케일에서의 한계 정규성 $\overline{\alpha}_p$ 는 심플리시티 정규성 $\overline{s}_p$ 에 대해 어떻게 상계를 구할 수 있는가?
• RQ2 준바나흐 공간에서의 고전적 임베딩과 복소 보간이 이러한 상계 유도에 어떤 역할을 하는가?
• RQ3 제안된 프레임워크 하에서 기존에 확립된 포아송 방정식에 대한 베소프 정규성 결과는 정확한가?
• RQ4 일반화된 $p$-포아송 방정식과 스토크스 방정식 맥락에서 정규성 지수 $\overline{s}_p$ 와 $\overline{\alpha}_p$ 는 어떻게 연관되는가?
• RQ5 심플리시티 정규성과 베소프 정규성 간의 상호작용을 체계적으로 활용하여 적응형 수치 해법의 수렴 속도를 예측할 수 있는가?

주요 결과

• 고전적 임베딩과 복소 보간을 통해 $\overline{s}_p$ 에 기반한 $\overline{\alpha}_p$ 의 상계가 도출되었으며, 이는 균일 수렴 속도와 적응형 수렴 속도 간의 이론적 연결 고리를 제공한다.
• 이 프레임워크는 기존의 포아송 방정식에 대한 베소프 정규성 결과가 정확함을 확인하며, 유도된 상계가 알려진 정규성 지수와 일치함을 보여준다.
• $p$-포아송 문제와 비균일 정 steady 스토크스 방정식에 대해, $\overline{s}_p$ 를 기반으로 새로운 $\overline{\alpha}_p$ 상한 추정치가 도출되었다.
• 준바나흐 공간에서의 복소 보간 사용은 고전적 정규성 전이 기법을 더 넓은 함수 공간 계열로 확장할 수 있도록 한다.
• 결과적으로 심플리시티 정규성 $\overline{s}_p$ 는 $\overline{\alpha}_p$ 를 통한 최적의 $N$-항 근사 속도 예측에 신뢰할 수 있는 대체 지표로 기능함을 보여준다.
• 결과는 $\mathbb{R}^d$ 에서 $d \geq 2$ 인 일반적인 유계 리프쉬츠 도메인에 대해 유효하여 타원형 및 정 steady PDE에 광범위하게 적용 가능함을 보장한다.