[논문 리뷰] Kolmogorov and Linear Widths of Balls in Sobolev and Besov Norms on Compact Manifolds

Daryl Geller, Isaac Z. Pesenson|arXiv (Cornell University)|2011. 04. 04.

Advanced Harmonic Analysis Research참고 문헌 33인용 수 4

한 줄 요약

이 논문은 컴팩트 리만다이언 만물에서의 소볼레프 공간 단위 구의 콜모고로프, 선형, 겔판드 $n$-폭 넓이에 대해 渐近적으로 정확한 상한과 하한을 확립한다. 특히 컴팩트 동차 만물에 대해 다루며, 스펙트럼 이론, 커널 국소화, 체비셰프 공식을 통해 $ s $가 만물의 차원이고 $ r $이 부드러움 지수일 때, $ n^{-r/s + \max(0, 1/p - 1/q)} $ 형태의 정밀한 渐近적 추정치를 도출한다. 자연스러운 매개변수 범위 내에서 성립한다.

ABSTRACT

We determine upper asymptotic estimates of Kolmogorov and linear $n$-widths of unit balls in Sobolev and Besov norms in $L_{p}$-spaces on smooth compact Riemannian manifolds. For compact homogeneous manifolds, we establish estimates which are asymptotically exact, for the natural ranges of indices. The proofs heavily rely on our previous results such as: estimates for the near-diagonal localization of the kernels of elliptic operators, Plancherel-Polya inequalities on manifolds of bounded geometry, cubature formulas with positive coefficients and uniform estimates on Clebsch-Gordon coefficients on general compact homogeneous manifolds.

연구 동기 및 목표

• 매끄럽고 컴팩트한 리만다이언 만물에서의 소볼레프 공간 단위 구의 콜모고로프 및 선형 $n$-폭 넓이의 渐近적 추정치를 결정하는 것.
• 특히 $p$, $q$, $r$의 자연스러운 범위에서 컴팩트 동차 만물에서 이러한 폭 넓이에 대해 渐近적으로 정확한 경계를 설정하는 것.
• 스펙트럼 및 조화 분석 도구를 사용하여 컴팩트 동차 만물에서 겔판드 폭 넓이의 하한을 도출하는 것.
• 플랑커-폴라 부등식, 양의 체비셰프 공식, 클렙슈-고르단 계수에 대한 균일한 추정치를 활용하여 이전의 $n$-폭 넓이 결과를 통합하고 확장하는 것.
• best-approximation 효율성의 척도로 $n$-폭 넓이를 사용하는 만물에서의 함수 근사에 대한 종합적인 프레임워크를 제공하는 것.

제안 방법

• 저자들은 타원형 연산자, 특히 라플라스-벨트라미 및 카시미어 연산자를 사용하여 컴팩트 만물에서의 소볼레프 노름을 정의한다.
• 타원형 연산자의 커널에 대한 근사 대각선 국소화 추정치를 적용하여 특이 적분과 사영의 행동을 제어한다.
• 만물에서의 플랑커-폴라 부등식을 사용하여 스펙트럼 전개의 계수와 함수의 $L_p$-노름 간의 관계를 설정한다.
• 균일한 오차 경계를 갖는 양의 체비셰프 공식을 구성하여 $L_p$-노름을 이산화하고, 유한 차원 사영을 통해 $n$-폭 넓이를 근사한다.
• 컴팩트 동차 만물에서의 클렙슈-고르단 계수에 대한 균일한 추정치를 사용하여 텐서 곱 분해에서의 행렬 계수 성장률을 제어한다.
• 유한 차원에서의 $\ell_p$-구의 폭 넓이와의 비교 기법을 사용하여 임베딩과 쌍대성에 기반한 증명을 통해 다항식의 경우에 하한을 도출한다.

실험 결과

연구 질문

• RQ1 컴팩트 리만다이언 만물에서의 소볼레프 공간 단위 구의 콜모고로프 및 선형 $n$-폭 넓이의 渐近적 행동은 무엇인가?
• RQ2 이러한 폭 넓이는 $n$, 근사화 서브스페이스의 차원, 부드러움 $r$ 및 적분 가능성 $p$, $q$ 매개변수에 따라 어떻게 스케일링되는가?
• RQ3 컴팩트 동차 만물에서 $n$-폭 넓이의 상한을 渐近적으로 정확하게 만들 수 있는가?
• RQ4 컴팩트 동차 만물에서 겔판드 $n$-폭 넓이의 정밀한 하한은 무엇이며, 콜모고로프 및 선형 폭 넓이와 비교해보면 어떻게 되는가?
• RQ5 결과가 타원형 연산자 $L$의 선택에 얼마나 의존하는가? 그리고 카시미어 연산자가 최적일 때는 언제인가?

주요 결과

• 컴팩트 동차 만물에 대해, $W_p^r(M)$에서의 단위 구의 콜모고로프 $n$-폭 넓이 $ d_n(B_p^r, L_q) \asymp n^{-r/s + \max(0, 1/p - 1/q)} $를 만족하며, $ s = \dim M $, 자연스러운 $p$, $q$, $r$의 범위에서 성립한다.
• 선형 $n$-폭 넓이 $\delta_n(B_p^r, L_q) \asymp n^{-r/s + \max(0, 1/p - 1/q)} $이며, 상수의 차이를 제외하고 콜모고로프 폭 넓이와 일치한다.
• 겔판드 폭 넓이의 경우 하한 $ d^n(B_p^r, L_q) \gg n^{-r/s + \max(0, 1/p - 1/q)} $이 성립하며, 많은 경우에 渐近적 순서가 정확하다.
• 상수 $p \leq q$ 및 $p \geq 1$일 때, 지수 $ -r/s + \max(0, 1/p - 1/q) $에 대해 추정치는 정확하며, 동차 공간에서는 특정 타원형 연산자 $L$의 선택과 무관하게 경계가 유지된다.
• 결과는 임베딩 $ b_p^M \subset M^{1/p - 1/q} b_q^M $과 쌍대성 기법을 사용하여 유한 차원 $\ell_p$-구의 폭 넓이와의 비교를 통해 도출된다.
• 증명은 차원 $P_N \asymp n$인 스펙트럼 부분공간에 대한 사영 $Q_N$을 구성하고, $h$의 계수 $a$에 대해 $ \|Q_N h\|_q \asymp N^{-1/q} \|a\|_q $라는 사실에 기반한다.