[논문 리뷰] Kolmogorov widths of weighted Sobolev classes on a multi-dimensional domain with conditions on the derivatives of order r and zero

А. А. Васильева|arXiv (Cornell University)|2020. 04. 13.

Mathematical Approximation and Integration참고 문헌 28인용 수 7

한 줄 요약

이 논문은 다차원 영역에서 r차 미분과 영차 미분(점별 값)에 대한 조건으로 제약을 받는 가중치가 부여된 소볼레프 클래스의 코르모고로프 폭에 대해 날카운 순서 추정을 수립한다. 존 도메인과 h-집합을 포함한 기하학적·해석적 기법을 활용하여, 적분 가능성 매개변수, 가중치, 도메인의 기하학적 성질 간의 상호작용에 따라 의존하는 점근적 경계를 도출하며, 이는 이전 결과를 더 넓은 범위의 가중치와 도메인으로 일반화한다.

ABSTRACT

In this paper order estimates for the Kolmogorov widths of weighted Sobolev classes on a multi-dimensional domain are obtained. The classes are defined by conditions on the highest-order derivatives and the derivative of order zero.

연구 동기 및 목표

• 다차원 영역에서 r차 도함수와 함수 값(영차 도함수)에 대한 제약 조건으로 정의된 가중치가 부여된 소볼레프 클래스의 코르모고로프 폭에 대해 날카운 순서 추정을 도출하는 것.
• 일반적인 가중치와 매끄럽지 않은 도메인(특히 존 도메인과 h-집합)에 대한 기존의 코르모고로프 폭 결과를 일반화하는 것.
• 혼합 노름 및 가중치 조건을 갖는 가중치가 부여된 소볼레프 클래스에 대한 선형 폭과 코르모고로프 폭의 이전 결과를 통합하고 확장하는 것.
• 적분 가능성 지수 $ p_0, p_1, q $, 가중치 함수, 도메인의 기하학적 성질 간의 상호작용에 따라 의존하는 점근적 경계를 수립하는 것.
• 유계 도메인의 존 조건과 $ \mathbb{R}^d $와 같은 비유계 도메인에 대해 거듭제곱 가중치를 갖는 경우에도 적용 가능한 프레임워크를 제공하는 것.

제안 방법

• 조건 $ \left\| \frac{\nabla^r f}{g} \right\|_{L_{p_1}(\Omega)} \leq 1 $ 을 통해 가중치가 부여된 소볼레프 클래스 $ W^r_{p_1,g}\left(\bar{\Omega}\right) $ 를 정의하고, $ L_{p_0,w}(\Omega) $ 의 단위구와의 교차로 이루어진 함수 클래스 $ M $ 을 정의한다.
• 경계나 특이 집합 근처의 작은 큐브에 지지된 함수를 국소화하고 테스트 함수를 구성하기 위해 이중 큐브와 웨이트니 유사 분할 기법을 사용한다.
• 규격화된 테스트 함수 $ \psi_{j,i,l} $ 를 $ \| \psi_{j,i,l} \|_{L_{q,v}} = 1 $ 이 되도록 구성하고, 척도화와 가중치 행동을 이용해 $ \mathcal{W}^r_{p_1,g} $ 와 $ L_{p_0,w} $ 에서의 노름을 추정한다.
• 특정 매개변수 $ \gamma_*, k_*, \alpha_*, \mu_*, s_* $ 를 갖는 (106)과 (109)를 만족하는 함수의 가족이 존재하는 것을 전제로 하여, 정리 5의 일반 폭 추정 프레임워크를 적용한다.
• 기하학적 제어(존 도메인 조건)와 측도 이론적 제어(h-집합 조건)를 통해 도메인에 대한 조건을 활용하여, 가정 A–E를 증명에서 검증함으로써 상한과 하한을 확립한다.
• 테스트 함수의 수의 증가 추세와 척도화에 따른 노름 행동을 분석함으로써 $ n $, 폭 인덱스에 대한 순서 추정으로 이어지는 점근적 추정을 도출한다.

실험 결과

연구 질문

• RQ1 r차 도함수와 함수 값에 대한 제약 조건으로 정의된 가중치가 부여된 소볼레프 클래스의 코르모고로프 폭에 대해 날카운 순서 추정은 무엇인가?
• RQ2 도메인이 존 도메인 또는 h-집합일 경우 폭은 어떻게 행동하며, 기하학적 성질은 점근적 순서에 어떤 영향을 미치는가?
• RQ3 일반적인 가중치(단지 거듭제곱 가중치가 아님)는 폭의 점근적 행동을 결정하는 데 어떤 역할을 하는가?
• RQ4 상한과 하한이 순서상으로 일치하는 조건은 언제이며, 언제 다른가?
• RQ5 적분 가능성 매개변수 $ p_0, p_1, q $ 와 가중치 함수는 폭 감쇠 속도를 결정하는 데 어떻게 상호작용하는가?

주요 결과

• 존 도메인 $ \Omega $ 에서 h-집합 $ \Gamma $ 와의 거리에 따라 가중치가 결정되는 경우, $ M $ 의 코르모고로프 $ n $-폭은 $ d_n(M, L_{q,v}) \asymp n^{-\alpha_*} $ 를 만족하며, 여기서 $ \alpha_* = \sigma - \lambda + \frac{d}{p_0} - \frac{d}{q} $ 이고, $ \sigma, \lambda $ 는 가중치 지수이다.
• 도메인이 $ \Omega = \mathbb{R}^d $ 이고 거듭제곱 가중치 $ g(x) = (1+|x|)^\beta $, $ w(x) = (1+|x|)^\sigma $, $ v(x) = (1+|x|)^\lambda $ 인 경우, 폭은 $ d_n(M, L_{q,v}) \asymp n^{-\mu_*} $ 를 만족하며, 여기서 $ \mu_* = \beta + \lambda + r + \frac{d}{q} - \frac{d}{p_1} $ 이다.
• 하한 추정은 $ \nu_{t,m} \gtrsim 2^{\theta k_{**}t} \cdot 2^m $ 개의 규격화된 테스트 함수의 가족을 통해 확립되며, 이는 폭이 $ n^{-\alpha_*} $ 보다 빠르게 감쇠할 수 없음을 보여준다.
• 상한 추정은 이중 분할과 균일 노름 제어를 활용하여, 차원이 $ \sim n $ 인 유한차원 부분공간을 구성함으로써 도출되며, 이는 $ M $ 의 함수들을 요구되는 오차 내에서 근사한다.
• 이 결과들은 트리벨, 리조르킨-오틸바에프, 민바에브-오틸바에프의 이전 작업을 확장하여, 폭의 순서가 최고계수 도함수 뿐 아니라 영차 제약 조건에 의존하는 경우에도 적용된다.
• 폭의 점근적 순서는 적분 가능성 지수 $ p_0, p_1, q $, 가중치 지수, 기하학적 차원 $ d $ 간의 상호작용에 의해 결정되며, 척도화 행동을 지배하는 임계 지수 $ s_* = \frac{r}{d} $ 가 핵심이다.