[논문 리뷰] Anisotropic Function Spaces on Singular Manifolds

Herbert Amann|arXiv (Cornell University)|2012. 04. 03.

Advanced Harmonic Analysis Research참고 문헌 42인용 수 19

한 줄 요약

이 논문은 특이 다양체 위의 시간에 따라 변화하는 텐서장에 대해 비등방성 가중 Sobolev, Bessel 잠재력, 그리고 Besov 공간을 도입하며, 그들의 반사성, 쌍대성, 그리고 보간 성질을 확립한다. 주요 기여는 가변 정규성과 가중치를 가진 기능 공간의 포괄적인 척도를 실 및 복소 보간을 통해 통합하고, 적절한 노름 하에 등가임을 보여주는 것이다.

ABSTRACT

A rather complete investigation of anisotropic Bessel potential, Besov, and Hölder spaces on cylinders over (possibly) noncompact Riemannian manifolds with boundary is carried out. The geometry of the underlying manifold near its 'ends' is determined by a singularity function which leads naturally to the study of weighted function spaces. Besides of the derivation of Sobolev-type embedding results, sharp trace theorems, point-wise multiplier properties, and interpolation characterizations particular emphasize is put on spaces distinguished by boundary conditions. This work is the fundament for the analysis of time-dependent partial differential equations on singular manifolds.

연구 동기 및 목표

• 특이성이 있는 다양체 위에서 시간에 따라 변화하는 텐서장에 대해 비등방성 가중 기능 공간 이론을 체계적으로 개발하기 위해.
• 가중 노름과 가변 정규성 매개변수를 사용하여 비등방성 Sobolev, Bessel 잠재력, 그리고 Besov 공간을 정의하고 특성화하기 위해.
• 이 공간들의 반사성, 쌍대성, 그리고 보간 성질을 확립하여, 특이 도메인에서의 PDE 분석에 적합함을 보장하기 위해.
• 실 및 복소 보간 함수자(보간 함자)를 통해 Sobolev, Bessel 잠재력, Besov 등의 다양한 기능 공간 척도를 통합하기 위해.
• 이러한 공간에 대한 통합 정리와 조밀성 결과를 제공하며, 특히 경계 및 초기 조건 문제의 맥락에서 고려하기 위해.

제안 방법

• 시간과 공간 정규성, 그리고 가중치 $ \rho^\nu $ 를 포함한 노름을 사용하여, $ \to{r} = (1, 1/r) $ 과 $ \to{\boldsymbol{\boldsymbol{\nu}}} = (\nu, \nu) $ 를 사용하여 비등방성 가중 Sobolev 공간 $ W_{p}^{kr/\to{r},\to{\boldsymbol{\boldsymbol{\nu}}}} $ 를 정의한다.
• 등급사상(isomorphism)을 통한 반사성 있는 바나흐 공간에의 통합을 통해 $ W_{p}^{kr/\to{r},\to{\boldsymbol{\boldsymbol{\nu}}}} $ 의 반사성을 확립한다.
• 실 보간을 통한 분수계수 공간 정의: $ kr < s < (k+1)r $ 에 대해 $ F^{s/\to{r},\to{\boldsymbol{\nu}}} = (W_{p}^{kr/\to{r},\to{\boldsymbol{\nu}}}, W_{p}^{(k+1)r/\to{r},\to{\boldsymbol{\nu}}})_{(s-kr)/r} $.
• 쌍대성에 의한 음수계수 공간 정의: $ F^{-s/\to{r},\to{\boldsymbol{\nu}}} = ( \ring{F}^{p'\text{ }s/\to{r},-\to{\boldsymbol{\nu}}}(J,V') )' $, 다중쌍대성 쌍 $ \bigl\bra{u,v}\bigr\rangle_{M\times J} $ 를 사용한다.
• 재진술 정리와 $ \ring{D}(J, \ring{D}) $ 가 $ L_p(J, L_p^\nu) $ 에 조밀하게 포함됨을 이용하여 통합 체인과 보간 항등식을 증명한다.
• 복소 및 실 보간 함수자를 적용하여 $ H_p^{s/\to{r},\to{\boldsymbol{\nu}}} \doteq W_p^{kr/\to{r},\to{\boldsymbol{\nu}}} $ 가 정수 $ k $ 에 대해 성립하고, $ B_2^{s/\to{r},\to{\boldsymbol{\nu}}} \doteq H_2^{s/\to{r},\to{\boldsymbol{\nu}}} $ 를 보여주며, 척도의 등가성을 확립한다.

실험 결과

연구 질문

• RQ1 특이 다각형에서 시간에 따라 변화하는 텐서장에 대해 비등방성 가중 Sobolev 공간은 어떻게 정의할 수 있는가?
• RQ2 이러한 비등방성 기능 공간의 쌍대성 및 반사성 성질은 무엇인가?
• RQ3 이러한 비등방성, 가중 설정에서 Bessel 잠재력 공간과 Besov 공간은 Sobolev 공간과 어떻게 관련이 있는가?
• RQ4 이러한 기능 공간의 통합 및 보간 성질은 다양한 정규성 및 가중치 매개변수 간에 어떻게 나타나는가?
• RQ5 $ \ring{F}_p^{s/\to{r},\to{\boldsymbol{\nu}}} $ 가 $ F_p^{s/\to{r},\to{\boldsymbol{\nu}}} $ 와 일치하는 조건은 무엇이며, 이는 추적 및 추적 없는 공간에 어떤 함의를 갖는가?

주요 결과

• 비등방성 가중 Sobolev 공간 $ W_p^{kr/\to{r},\to{\boldsymbol{\nu}}} $ 는 반사성 바나흐 공간이며, 반사성 바나흐 공간의 닫힌 부분공간과 등급사상(isomorphism)이므로 반사성을 갖는다.
• 등가 노름은 $ \|u\|_{kr/\to{r},p;\to{\boldsymbol{\nu}}}^{\sim} = \left( \|u\|_{L_p(J,W_p^{kr,\lambda})}^p + \sum_{j=0}^k \|\partial^j u\|_{L_p(J,W_p^{(k-j)r,\lambda + j\mu})}^p \right)^{1/p} $ 으로 주어지며, 이는 노름 등가성을 보장한다.
• $ \ring{D}(J,\ring{D}) $ 는 $ W_p^{kr/\to{r},\to{\boldsymbol{\nu}}} $ 에 조밀하게 포함되어 있으며, 이는 공간이 PDE 이론에 적합함을 확인한다.
• Bessel 잠재력 공간 $ H_p^{s/\to{r},\to{\boldsymbol{ν}}}} $ 는 정수 $ k $ 에 대해 Sobolev 공간 $ W_p^{kr/\to{r},\to{\boldsymbol{ν}}}} $ 과 일치하며, $ B_2^{s/\to{r},\to{\boldsymbol{ν}}}} \doteq H_2^{s/\to{r},\to{\boldsymbol{ν}}}} $ 이므로 척도 일致성이 입증된다.
• 보간 항등식이 성립한다: $ (B_p^{s_0/\to{r},\to{\boldsymbol{\nu}}}, B_p^{s_1/\to{r},\to{\boldsymbol{\nu}}}})_{\theta,p} \doteq B_p^{s_\theta/\to{r},\to{\boldsymbol{\nu}}}} $ 와 $ [F_p^{s_0/\to{r},\to{\boldsymbol{\nu}}}, F_p^{s_1/\to{r},\to{\boldsymbol{\nu}}}}]_{\theta} \doteq F_p^{s_\theta/\to{r},\to{\boldsymbol{\nu}}}} $, 이는 척도의 안정성을 확인한다.
• $ \partial M \neq \emptyset $ 이면 $ s < 1/p $, $ \partial M = \emptyset $ 이고 $ J = \mathbb{R}^+ $ 이면 $ s < r(1+1/p) $ 일 때, 공간 $ \ring{F}_p^{s/\to{r},\to{\boldsymbol{\nu}}}} $ 는 $ F_p^{s/\to{r},\to{\boldsymbol{\nu}}}} $ 와 일치하며, 이는 조밀성과 정규성 보장을 한다.