[논문 리뷰] Piecewise polynomial interpolation in Muckenhoupt weighted Sobolev spaces and applications

Ricardo H. Nochetto, Enrique Otárola외 1명|arXiv (Cornell University)|2014. 02. 09.

Advanced Numerical Methods in Computational Mathematics참고 문헌 38인용 수 4

한 줄 요약

이 논문은 임의의 다항식 차수에 대해 Muckenhoupt 가중치가 부여된 Sobolev 공간에서 구성적인 조각다항식 근사 이론을 개발한다. 가중치가 부여된 Poincaré 부등식, 상쇄 성질, 귀납법을 활용하여 최적의 오차 추정을 도출한다. 단순형 및 직사각형 메쉬 위에 쿼asi-보간 연산자를 구성하여 최적의 이방성 오차 유계와 비균일 타원 문제, 특이원천, 타원형 연산자의 분수형 거듭제곱에의 응용을 가능하게 하며, 계단 메쉬에서 준최적 수렴률을 확보한다.

ABSTRACT

We develop a constructive piecewise polynomial approximation theory in weighted Sobolev spaces with Muckenhoupt weights for any polynomial degree. The main ingredients to derive optimal error estimates for an averaged Taylor polynomial are a suitable weighted Poincare inequality, a cancellation property and a simple induction argument. We also construct a quasi-interpolation operator, built on local averages over stars, which is well defined for functions in $L^1$. We derive optimal error estimates for any polynomial degree on simplicial shape regular meshes. On rectangular meshes, these estimates are valid under the condition that neighboring elements have comparable size, which yields optimal anisotropic error estimates over $n$-rectangular domains. The interpolation theory extends to cases when the error and function regularity require different weights. We conclude with three applications: nonuniform elliptic boundary value problems, elliptic problems with singular sources, and fractional powers of elliptic operators.

연구 동기 및 목표

• 임의의 다항식 차수에 대해 Muckenhoupt 가중치가 부여된 Sobolev 공간에서의 조각다항식 보간에 대한 강력한 근사 이론을 수립하는 것.
• 특히 비균일 타원 문제에 대해 체계적인 다항식 근사 도구가 부족한 Muckenhoupt 가중치가 부여된 Sobolev 공간에서의 이론적 한계를 보완하는 것.
• 성별 주변부에 대한 국소 평균을 기반으로 한 쿼اسي-보간 연산자를 개발하여 $L^1$ 함수에 대해 잘 정의되며 안정성과 최적 수렴성을 보장하는 것.
• 함수와 오차 정규성에 서로 다른 가중치가 요구되는 경우에도 이론을 확장하여 특이성과 퇄성 있는 PDE에의 적용 범위를 넓히는 것.
• 세 가지 핵심 문제에 이론을 적용하는 것: 비균일 타원 경계값 문제, 특이원천을 가진 타원형 방정식, 타원형 연산자의 분수형 거듭제곱.

제안 방법

• Muckenhoupt $A_p$ 가중치에 맞춰진 가중치가 부여된 Poincaré 부등식을 활용하여 가중치 노름에서 함수 변동성을 통제한다.
• 평균화된 테일러 다항식 구성에서 상쇄 성질을 활용하여 근사 정확도를 향상시킨다.
• 메쉬 세분화 수준에 대한 귀납적 추론을 적용하여 다항식 차수 $k \geq 0$ 에 대해 최적의 오차 추정을 유도한다.
• 성별 주변부에 대한 국소 평균을 통한 연산자 구성으로 $L^1$ 에서의 안정성과 가중치가 부여된 Sobolev 노름에서의 최적 근사성을 보장하는 쿼اسي-보간 연산자를 구성한다.
• 이웃 요소의 크기가 유사한 조건 하에서 직사각형 메쉬에서 이방성 오차 추정을 유도하며, 이는 이방성 문제에 대해 최적 수렴을 가능하게 한다.
• 분수형 라플라스 연산자의 확장된 문제에 이론을 적용하여 확장된 변수에서 계단 메쉬를 활용하고, 카르테시안 기하학적 특성을 이용해 이방성 오차 제어를 수행한다.

실험 결과

연구 질문

• RQ1 임의의 다항식 차수에 대해 Muckenhoupt 가중치가 부여된 Sobolev 공간에서 최적의 조각다항식 근사 오차 추정을 도출할 수 있는가?
• RQ2 단순형 및 직사각형 메쉬에서 $L^1$ 함수에 대해 잘 정의되고 최적 수렴을 보장하는 쿼اسي-보간 연산자를 어떻게 구성할 수 있는가?
• RQ3 메쉬 기하학적 조건(예: 형태 정규성, 크기 비교)이 가중치가 부여된 Sobolev 공간에서 최적의 이방성 오차 추정을 보장하기 위해 필요한 조건은 무엇인가?
• RQ4 함수의 정규성과 오차 정규성에 서로 다른 가중치가 요구되는 경우에도 이론을 확장할 수 있는가?
• RQ5 이 보간 프레임워크를 사용하여 비균일 타원 문제 및 분수형 타원형 연산자의 갈레르킨 유한요소 근사의 최적 수렴률은 얼마인가?

주요 결과

• 가중치가 부여된 Poincaré 부등식, 상쇄 성질, 귀납법을 활용하여 Muckenhoupt 가중치가 부여된 Sobolev 공간에서의 조각다항식 보간에 대해 최적의 오차 추정을 도출하였다.
• 성별 정규성 단순형 메쉬에서 잘 정의되고 최적 수렴을 보장하는 $L^1$ 함수에 대해 잘 정의된 쿼اسي-보간 연산자가 구성되었다.
• 직사각형 메쉬에서 이웃 요소의 크기가 유사한 조건 하에 최적의 이방성 오차 추정이 확보되었으며, 이는 이방성 문제에 대해 최적 수렴을 가능하게 한다.
• 함수와 오차 정규성에 대해 서로 다른 가중치가 요구되는 경우에도 이론이 확장되어 특이성과 퇴화된 PDE에의 적용 범위가 넓어졌다.
• 분수형 라플라스 연산자에 대한 조화 확장 방법을 통해 확장된 차원에서 계단 메쉬를 사용하면 수렴률이 $O((\#\mathscr{T}_{\mathpzc{Y}})^{-1/(n+1)})$ 수준의 준최적 수렴률을 보이며, 로그 항이 포함된다.
• 분수형 거듭제곱 문제의 해에 대한 오차 추정은 $\|u - U_{\mathscr{T}}(\cdot,0)\|_{\mathbb{H}^{s}(\Omega)} \lesssim |\log(\#\mathscr{T}_{\mathpzc{Y}})|^s (\#\mathscr{T}_{\mathpzc{Y}})^{-1/(n+1)} \|f\|_{\mathbb{H}^{1-s}(\Omega)}$ 로 표현되며, 정규성과 수렴 차수 양면에서 준최적성을 확인한다.