[논문 리뷰] Global solutions to the Porous medium equations on singular manifolds

Yuanzhen Shao|arXiv (Cornell University)|2016. 06. 03.

Geometric Analysis and Curvature Flows참고 문헌 4인용 수 4

한 줄 요약

이 논문은 테두리 끝이 있고 β-제거 가능한 특이점을 가진 특이 리만다이언 만물에서 다공성 매질 방정식의 해에 대한 전역 존재성과 안정성을 확립한다. $ L^1 $-기반 함수 공간에서의 파incare 부등식과 Crandall-Liggett 생성 정리의 응용을 통해, $ L^1(\text{M}) $ 내의 임의의 초기 자료에 대해 $ C([0,\ty), L^1(\text{M})) $ 내에 유일한 전역 미약 해가 존재함을 증명하며, 시간에 따라 $ L^1 $-수축성이 유지됨을 보인다.

ABSTRACT

The main objective of the present work is to discuss the global existence and stability of solutions to the porous medium equations on Riemannian manifolds with singularities. Several different types of solutions are considered. Our proof is based on a Poincare inequality on function space defined on manifolds with singularities.

연구 동기 및 목표

• 특이점을 가진 리만다이언 만물에서 다공성 매질 방정식의 전역 해 존재성을 확립하는 것.
• 시간에 따른 진동에서 해가 $ L^1 $-노름에서 안정함을 증명하는 것.
• 부드러운 만물 외의 특이 기하학적 환경(테두리 끝과 제거 가능한 특이점 포함)으로 다공성 매질 방정식 이론을 확장하는 것.
• 특이 만물에서 라플라스-베르트라미 연산자의 $ L^1 $-실현을 이용한 함수해석학적 프레임워크를 개발하는 것.
• 해가 초기 자료의 변화에 대해 안정함을 보장하기 위해 $ L^1 $-수축 성질이 유지됨을 보여주는 것.

제안 방법

• 테두리 끝과 $ \boldsymbol{\beta} $-제거 가능한 특이점을 가진 특이 만물에서 정의된 $ L^1(\text{M}) $-기반 함수 공간에서의 파incare 부등식을 사용한다.
• 비선형 연산자 $ \tilde{\beta}(u) = -\nabla \text{div}(|u|^{n-1}u) $를 정의하고, Crandall-Liggett 정리를 통해 $ L^1(\text{M}) $ 내에서의 $ m $-수렴성임을 증명한다.
• 시간 암시적 근사 방법을 통해 Crandall-Liggett 생성 정리를 적용하여 전역 미약 해를 구성한다.
• Sobolev 유형의 가중치 추정을 $ W^{2,-2}_p(\text{M}) $ 공간에 적용하여 연산자 $ \tilde{\beta} $의 정의역이 $ L^1(\text{M}) $ 내에서 조밀함을 확립한다.
• 특이점으로부터의 거리 $ \rho $를 기반으로 한 가중치 $ \rho^{-2} $를 사용한 가중 $ L^p $-노름을 적용하여 특이점 근처의 성장과 적분 가능성을 통제한다.
• $ \tilde{\beta}(u) \to L^1(\text{M}) $임을 $ u \to W^{2,-2}_p(\text{M}) $일 때 입증함으로써, 연산자가 잘 정의되고 조밀하게 정의됨을 보장한다.

실험 결과

연구 질문

• RQ1 테두리 끝과 $ \boldsymbol{\beta} $-제거 가능한 특이점을 가진 리만다이언 만물에서 다공성 매질 방정식의 전역 해를 확립할 수 있는가?
• RQ2 이러한 특이 만물에서 해의 $ L^1 $-노름이 시간에 따라 수축성 유지되는가?
• RQ3 Crandall-Liggett 정리는 특이 만물의 $ L^1 $-공간에서 전역 미약 해를 생성하는 데 적용 가능한가?
• RQ4 특이 만물에서 라플라스-베르트라미 연산자와 그 비선형 변화를 정의하고 분석하기 위해 필요한 함수해석학적 프레임워크는 무엇인가?
• RQ5 $ \rho^{-2} $-가중치를 가진 가중 Sobolev 노름은 특이점 근처에서 해의 정칙성과 적분 가능성을 어떻게 통제하는가?

주요 결과

• 임의의 초기 자료 $ u_0 \to L^1(\text{M}) $에 대해 다공성 매질 방정식은 $ C([0,\ty), L^1(\text{M})) $ 내에 유일한 전역 미약 해 $ u \to $ 존재한다.
• 해는 $ L^1 $-수축성 조건을 만족한다: 모든 $ t \to [0,\ty) $에 대해 $ \norm{u_1(t) - u_2(t)}_1 \to \norm{u_{0,1} - u_{0,2}}_1 $이며, 이는 안정성을 보장한다.
• 비선형 연산자 $ \tilde{\beta}(u) = -\nabla \text{div}(|u|^{n-1}u) $는 $ L^1(\text{M}) $ 내에서 $ m $-수렴성임이 입증되었으며, 이는 Crandall-Liggett 정리의 적용을 가능하게 한다.
• $ \tilde{\beta} $의 정의역은 $ L^1(\text{M}) $ 내에서 조밀하며, $ p > sn $일 때 $ W^{2,-2}_p(\text{M}) $가 $ \text{dom}(\tilde{\beta}) $에 포함됨을 통해 확인된다.
• $ \rho^{-2} $-가중치를 가진 가중 $ L^p $-추정은 $ u \to W^{2,-2}_p(\text{M}) $일 때 $ \tilde{\beta}(u) \to L^1(\text{M}) $임을 보장하여, 연산자의 작용이 타당함을 입증한다.
• 증명은 특이 만물의 기하학적 구조 덕분에 성립하는 $ L^1(\text{M}) $ 내의 파incare 부등식에 기반하며, 이는 강제성 추정을 가능하게 한다.