[논문 리뷰] Well-posedness of a porous medium flow with fractional pressure in Sobolev spaces

Xuhuan Zhou, Weiliang Xiao|arXiv (Cornell University)|2016. 03. 06.

Nonlinear Partial Differential Equations참고 문헌 8인용 수 3

한 줄 요약

이 논문은 $\alpha > \frac{n}{2}+1$ 이고 $s \in [\frac{1}{2}, 1)$ 인 경우, $H^\alpha$ 솔레브 공간에서 음이 아닌 초기 자료를 가진 분수계 포어스 매질 방정식의 해가 존재하고 유일함을 증명한다. 저자들은 선형 비가역성 확산-운반 시스템을 구성하고 분석하는 새로운 접근법을 제안하여 고차원 솔레브 노름에서의 정규화와 에너지 추정을 통해 해의 적절성을 입증하며, 이전에 베소프 공간 결과에 대한 오류를 수정한다.

ABSTRACT

The nonnegative solution for a linear degenerate diffusion transport eqution is proved. As a result, we show the existence and uniqueness of the solution for the fractional porous medium equation in Sobolev spaces $H^α$ with nonnegative initial data, $α>\frac d2+1$. Besides, we correct a mistake in our previous paper \cite{zhou01}.

연구 동기 및 목표

• 분수계 포어스 매질 방정식의 음이 아닌 초기 자료를 가진 $H^\alpha$ 공간에서의 해가 존재하고 유일함을 입증하는 것.
• 선형 비가역성 확산-운반 시스템을 구성하는 데 기반한 새로운 방법을 개발하여 방정식의 적절성을 분석하는 것.
• 이전에 베소프 공간에서의 분석에서 발견된 오류를 수정하는 것, 특히 에너지 추정에서 핵심 항 $J_4'$ 의 추정에 관한 것.

제안 방법

• 모리피어 $J_\epsilon$ 를 사용하여 방정식을 정규화하여 $C^1([0,T_\epsilon); H^\alpha)$ 에서 근사 해 $u^\epsilon$ 를 구성하는 것.
• 피카르 반복과 $H^\alpha$ 에서의 에너지 추정을 통해 $\alpha > \frac{n}{2}+1$ 인 경우 선형화된 시스템의 국소 적절성을 증명하는 것.
• 분수계 라플라스 연산자와 관련된 점별 부등식, 예를 들어 $2f\Lambda^s f \geq \Lambda^s f^2$ 를 사용하여 비선형 항을 제어하는 것.
• 교환자 추정과 솔레브 포함을 적용하여 비선형 항을 $\|u\|_{H^\alpha}$ 와 $\|v\|_{H^\alpha}$ 를 사용하여 $H^\alpha$ 에서 유계로 제한하는 것.
• $L^2$-안정성을 위해 두 해의 차이를 $L^2$-노름에서 추정하고 그론발의 부등식을 적용하는 것.
• 이전 오류를 수정하기 위해 잘못된 $J_4'$ 추정을 [10] 에서 제시된 점별 부등식으로 대체하여, 베소프 노름에서 개선된 추정을 도출하는 것.

실험 결과

연구 질문

• RQ1 분수계 포어스 매질 방정식이 $s \in [\frac{1}{2},1)$ 이고, $\alpha > \frac{n}{2}+1$, 음이 아닌 초기 자료를 가진 경우, $H^\alpha(\mathbb{R}^n)$ 에서 고유한 해를 갖는가?
• RQ2 선형 비가역성 확산-운반 시스템에 기반한 새로운 방법을 통해 방정식의 적절성이 약한 해나 근사 해 방법이 아닌 방식으로 입증될 수 있는가?
• RQ3 이전 작업 [13] 의 에너지 추정에서 교환자 항 $J_4'$ 의 정확한 추정은 무엇이며, 이는 베소프 공간에서의 적절성 증명에 어떤 영향을 미치는가?
• RQ4 $\alpha > \frac{n}{2}+1$ 인 $H^\alpha$ 공간에서의 초기 자료의 정(regularity)가 시간 간격 $[0,T_0]$ 에서 고유한 해의 존재를 어떻게 보장하는가?
• RQ5 사용된 $H^\alpha$ 공간 방법이 이전에 잘못된 에너지 추정이 있었던 베소프 공간 분석을 수정하는 데 어떻게 적용될 수 있는가?

주요 결과

• 분수계 포어스 매질 방정식이 $s \in [\frac{1}{2}, 1)$, $\alpha > \frac{n}{2}+1$, 음이 아닌 초기 자료 $u_0 \in H^\alpha(\mathbb{R}^n)$ 인 경우, 고유한 해 $u \in C^1([0,T_0]; H^\alpha(\mathbb{R}^n))$ 가 존재한다.
• 초기 자료가 음이 아니면, 모든 $t \in [0,T_0]$ 에서 해는 음이 아니며, 분수계 라플라스 연산자를 사용한 최소 원리 증명을 통해 이를 입증한다.
• 선형 비가역성 확산-운반 시스템을 구성하고 분석하는 방법은 고차원 솔레브 공간에서의 적절성 증명을 위한 새로운 효과적인 접근법을 제공한다.
• 저자들은 이전 작업 [13] 의 오류를 수정하기 위해 잘못된 $J_4'$ 추정을 타당한 점별 부등식으로 대체하여, 올바른 $L^2$-안정성 추정을 도출한다.
• 개선된 $J_4'$ 추정은 $J_4' \leq 2^{-j\alpha}\|u^{(n)}\|_{B_{1,\infty}^{r+2-2s}}\|u^{(n+1)}\|_{B_{1,\infty}^\alpha}$ 이며, $r = \alpha - 1$ 이다. 이는 베소프 공간에서의 수렴을 보장한다.
• 에너지 추정은 $\frac{d}{dt}\|w\|_{L^2} \leq C\|u\|_{H^\alpha}\|w\|_{L^2}$ 형식의 그론발 유형 부등식을 이끌어내며, 이는 $w \equiv 0$ 를 통해 고유성을 암시한다.