[논문 리뷰] H-distribution via Sobolev spaces

J. Aleksić, Stevan Pilipović외 1명|arXiv (Cornell University)|2016. 09. 19.

Nonlinear Differential Equations Analysis참고 문헌 10인용 수 5

한 줄 요약

이 논문은 $W^{-k,p}({\bf{R}}^d)$의 소볼레프 공간으로 H-분포 이론을 확장하며, 슈바르츠 함수와 구면 상의 미분 가능 함수의 텐서곱 공간을 사용하는 새로운 프레임워크를 도입한다. $u_n \rightharpoonup 0$ 이라는 약한 수렴성을 보이는 수열이 모든 $\varphi \in \mathcal{S}({\bf{R}}^d)$에 대해 국소화된 $\varphi u_n$이 $W^{-k,p}$에서 강한 수렴을 보일 조건은 모든 관련 H-분포가 0이 되는 것과 필요충분조건임을 증명한다. 이는 일阶 선형 PDE 및 강한 수렴 기준에 응용된다.

ABSTRACT

H-distributions associated to weakly convergent sequences in Sobolev spaces are determined. It is shown that a weakly convergent sequence $(u_n)$ in $W^{-k,p}( \R^d)$ has the property that $θu_n$ converges strongly in $W^{-k,p}(\R^d)$ for every $θ\in\mathcal S(\R^d)$ if and only if all H-distributions related to this sequence are equal to zero. Results are applied on a weakly convergent sequence of solutions to a family of linear first order PDEs.

연구 동기 및 목표

• 소볼레프 공간 $W^{-k,p}({\bf{R}}^d)$로 H-분포 개념을 $L^p$ 공간에서 일반화하는 것.
• H-분포를 정의하기 위한 새로운 텐서곱 공간 $\mathcal{SE}({\bf{R}}^d \times \mathbf{S}^{d-1})$를 수립하는 것.
• $u_n \rightharpoonup 0$ 이면 $\varphi u_n$이 $W^{-k,p}$에서 강한 수렴을 보이는 것과 관련된 모든 H-분포가 소멸하는 것 사이의 동치성을 증명하는 것.
• 일阶 선형 PDE의 해로 구성된 약한 수렴 수열에 이 이론을 적용하여, 특성 집합 상에서 H-분포의 지지집합을 기술하는 것.

제안 방법

• $\mathcal{SE}({\bf{R}}^d \times \mathbf{S}^{d-1})$ 공간을 $\mathcal{S}({\bf{R}}^d) \hat{\otimes} \mathcal{E}(\mathbf{S}^{d-1})$의 완비화로 도입하며, 조화 진동자와 라플라스-벨트라미 연산자의 구조를 포함한 노름을 갖춘다.
• H-분포를 $W^{-k,p} \times W^{k,q}$의 쌍대성에 기반하여 정의하며, 푸리에 승수의 구조와 비국소적 시험 함수를 사용한다.
• 콤���트 다양체 위의 소볼레프 임베딩과 에르미트 기저 전개를 이용하여 $\mathcal{SE}$ 위의 노름들 간의 동치성을 확립한다.
• $W^{-k,p} \times W^{k,q}$의 쌍대성 구조를 이용하여 H-분포를 $\mathcal{SE}$ 위의 연속 선형 함수로 정의함으로써 잘 정의됨을 보장한다.
• $\varphi u_n \to 0$ 이 $W^{-k,p}$에서 모든 $\varphi \in \mathcal{S}({\bf{R}}^d)$에 대해 강한 수렴을 보일 조건은 모든 H-분포가 소멸하는 것과 필요충분조건임을 증명한다.
• $\sum_{i=1}^d \partial_i(A_i(x)u_n) = f_n$의 해에 이 이론을 적용하여, H-분포의 지지집합이 특성 집합 $\{ (x,\xi) : \sum A_i(x)\xi_i = 0 \}$에 포함됨을 보인다.

실험 결과

연구 질문

• RQ1 소볼레프 공간 $W^{-k,p}({\bf{R}}^d)$에서 약한 수렴 $u_n \rightharpoonup 0$을 보이는 수열이 모든 슈바르츠 함수 $\varphi$에 대해 국소화된 $\varphi u_n$이 강한 수렴을 보일 조건은 무엇인가?
• RQ2 음수 차수의 소볼레프 공간에서 H-분포를 엄밀하게 정의할 수 있는 방법은 무엇인가?
• RQ3 모든 H-분포의 소멸과 $\varphi u_n$의 $W^{-k,p}$에서의 강한 수렴 사이의 관계는 무엇인가?
• RQ4 H-분포는 일阶 선형 PDE의 해에 대해 특성의 전파를 어떻게 기술하는가?
• RQ5 H-분포 이론은 $L^p$ 공간을 넘어서, 비국소적 시험 함수를 사용하는 $W^{-k,p}$-값 수열로 확장될 수 있는가?

주요 결과

• $u_n \rightharpoonup 0$ 이면 모든 $\varphi \in \mathcal{S}({\bf{R}}^d)$에 대해 $\varphi u_n \to 0$ 이 $W^{-k,p}$에서 강한 수렴을 보일 조건은 모든 관련 H-분포가 소멸하는 것과 필요충분조건이다.
• $\mathcal{SE}({\bf{R}}^d \times \mathbf{S}^{d-1})$ 공간은 $\mathcal{S}({\bf{R}}^d) \hat{\otimes} \mathcal{E}(\mathbf{S}^{d-1})$와 등장사상(isometrically isomorphic)이며, 소볼레프 설정에서 H-분포의 자연스러운 정의도메인을 제공한다.
• $u_n \rightharpoonup 0$ 이면 $W^{-k,p}$에서 H-분포는 $\mathcal{SE}({\bf{R}}^d \times \mathbf{S}^{d-1})$ 위의 연속 선형 함수로 잘 정의되며, 이는 이전의 $L^p$ 공간 결과를 소볼레프 공간으로 일반화한 것이다.
• $\sum_{i=1}^d \partial_i(A_i(x)u_n) = f_n$의 해 $u_n$에 대해, $\varphi f_n \to 0$ 이 $W^{-k-1,p}$에서 성립하는 조건 하에 H-분포의 지지집합은 특성 집합 $\{(x,\xi) : \sum A_i(x)\xi_i = 0\}$에 포함된다.
• 모든 H-분포가 수열 $u_n$과 관련하여 0이면, 모든 $\varphi \in \mathcal{S}({\bf{R}}^d)$에 대해 $\varphi u_n \to 0$ 이 $W^{-k,p}({\bf{R}}^d)$에서 강한 수렴을 보이며, 이는 강한 수렴에 대한 날카로운 기준을 제공한다.
• 기존의 $L^2$ 및 $L^p$ 공간에서의 고전적 H-분포 이론을 $W^{-k,p}$로 확장하였으며, 비국소 분석이 가능하게 하고, 균질화 및 보존법칙 등에 대한 일반화된 적용 가능성을 제공한다.