[논문 리뷰] Existence and maximal $L^{p}$-regularity of solutions for the porous medium equation on manifolds with conical singularities

Nikolaos Roidos, Elmar Schrohe|arXiv (Cornell University)|2015. 04. 20.

Advanced Mathematical Modeling in Engineering참고 문헌 31인용 수 4

한 줄 요약

이 논문은 원추 특이성을 가진 다각형에서 다공성 중간 방정식의 짧은 시간 해에 대한 존재성, 유일성 및 최대 $L^p$-정규성을 확립한다. 멜린-소볼레프 공간에서 원추 미분 연산자의 유계 허수 면적과 $R$-섹터리얼리티 기법을 사용하여, 자료와 도메인에 대한 무게 조건과 적분 가능성 조건이 만족될 경우, 해가 원추 끝부리 근처에서 통제 가능한 점근적 행동을 보임을 증명한다.

ABSTRACT

We consider the porous medium equation on manifolds with conical singularities and show existence, uniqueness and maximal $L^{p}$-regularity of a short time solution. In particular, we obtain information on the short time asymptotics of the solution near the conical point. Our method is based on bounded imaginary powers results for cone differential operators on Mellin-Sobolev spaces and $R$-sectoriality perturbation techniques.

연구 동기 및 목표

• 원추 특이성을 가진 다각형에서 다공성 중간 방정식에 대한 존재성과 최대 $L^p$-정규성을 확립하기 위해.
• 원추 점 근처에서 해의 짧은 시간 점근적 행동을 분석하기 위해.
• 원추 특이성을 가진 음수 순서의 멜린-소볼레프 공간으로 라플라스 연산자에 대한 최대 정규성 이론을 확장하기 위해.
• 원추 미분 연산자 맥락에서 초기 자료의 트레이스 공간(보간 공간)을 통제하기 위해.
• 선형화된 최대 정규성 기법을 통해 클레멘트와 리의 정리를 비선형 포아르 방정식 문제에 적용하기 위해.

제안 방법

• 원추 끝부리에서 무게 $\gamma$를 갖는 함수 공간을 모델링하기 위해 멜린-소볼레프 공간 $\mathcal{H}^{s,\gamma}_p(\mathbb{B})$ 를 사용한다.
• 최대 $L^p$-정규성을 확보하기 위해, 도메인이 $\mathcal{H}^{s+2,\gamma+2}_p(\mathbb{B}) \oplus \mathbb{C}$ 인 라플라스 연산자의 닫힌 확장을 $\underline{\Delta}_s$ 로 구성한다.
• 선형화된 문제에 대해 유계 허수 면적 결과와 $R$-섹터리얼리티 섭동 기법을 적용한다.
• 고정 계수를 가진 원추적으로 분해된 연산자에 대해 $R$-섹터리얼리티 해를 네이만 급수를 사용하여 구성한다.
• 보간 이론을 활용하여 트레이스 공간 $Y_{1/q,q}$ 를 $Y_0$ 위의 다중화자 반이군에 포함시킨다.
• 선형화된 연산자에 대해 요구 조건을 충족시킴으로써 클레멘트와 리의 정리를 비선형 문제에 적용한다.

실험 결과

연구 질문

• RQ1 원추 특이성을 가진 다각형에서 다공성 중간 방정식에 대해 최대 $L^p$-정규성을 확립할 수 있는가?
• RQ2 원추 특이성이 해의 짧은 시간 점근적 행동에 어떤 영향을 미치는가?
• RQ3 음수 순서 멜린-소볼레프 공간에서 라플라스 연산자의 최대 정규성을 보장하기 위해 무게 $\gamma$, $p$, $q$ 에 어떤 조건이 필요한가?
• RQ4 원추 미분 연산자 맥락에서 초기 자료의 트레이스 공간은 어떻게 특징지을 수 있는가?
• RQ5 선형화된 연산자 $-u_0^{m-1}\underline{\Delta}$ 가 어떤 조건에서 최대 $L^q$-정규성을 가진다?

주요 결과

• 모든 $s \in \mathbb{R}$ 와 적절한 $\gamma$ 에 대해, $\mathcal{H}^{s+2,\gamma+2}_p(\mathbb{B}) \oplus \mathbb{C}$ 위에서 라플라스 연산자에 대해 닫힌 확장 $\underline{\Delta}_s$ 가 존재하며, 최대 $L^p$-정규성을 가진다.
• 만일 $\dim(\mathbb{B}) \neq 3$ 이고 $\gamma$, $p$, $q$ 에 대한 조건을 만족할 경우, 엄격히 양수인 초기 자료 $u_0 \in Y_{1/q,q}$ 에 대해 연산자 $-u_0^{m-1}\underline{\Delta}$ 는 최대 $L^q$-정규성을 가진다.
• 어떤 $T > 0$ 에 대해 다공성 중간 방정식의 해 $u$ 는 $L^q(0,T; Y_1) \cap W^{1,q}(0,T; Y_0)$ 에 유일하게 존재한다.
• 트레이스 공간 $Y_{1/q,q}$ 는 $Y_0$ 위의 다중화자 반이군에 포함되어 있어 비선형 항에 필요한 정규성을 보장한다.
• 원추 특이성은 가중 멜린-소볼레프 공간과 점근 공간을 통해 처리되며, 해가 끝부리 근처에서의 행동에 정밀한 통제가 이루어진다.
• 결과는 $\dim(\mathbb{B}) \geq 1$ 에 대해 유효하며, $R$-섹터리얼리티와 최대 정규성을 보장하기 위해 $\gamma$ 와 $q$ 에 명시적인 조건이 존재한다.