[논문 리뷰] Existence of solutions for a fractional semilinear parabolic equation with singular initial data

Kotaro Hisa, Kazuhiro Ishige|arXiv (Cornell University)|2016. 07. 05.

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

한 줄 요약

이 논문은 능력 기반 추정과 열핵 분석을 사용하여 특이 초깃값을 가진 분수형 비선형 포아송 방정식의 해가 존재하기 위한 필요 및 충분 조건을 확립한다. $λ \to 0^+$ 일 때 초기값이 $|x|^{-A}$처럼 감쇠하는 경우의 해에 대한 최적 수명 추정을 제공하며, 분수형 라플라스 연산자에 대한 고전적 푸지타 유형 결과를 개선하고 특이 측도 및 임계 감쇠율을 갖는 함수로의 가역성 이론을 확장한다.

ABSTRACT

In this paper we obtain necessary conditions and sufficient conditions on the initial data for the solvability of the Cauchy problem $$ \partial_t u+(-Δ)^{\fracθ{2}}u=u^p,\quad x\in{\bf R}^N,\,\,t>0, \qquad u(0)=μ\ge 0\quad\mbox{in}\quad{\bf R}^N, $$ where $N\ge 1$, $01$ and $μ$ is a Radon measure or a measurable function in ${\bf R}^N$. Our conditions lead optimal estimates of the life span of the solution with $μ$ behaving like $λ|x|^{-A}$ ($A>0$) at the space infinity, as $λ o +0$.

연구 동기 및 목표

• 분수형 라플라스 연산자 $(-\Delta)^{\theta/2}$를 포함하는 초기값 문제의 해가 존재하기 위한 초깃값에 대한 필요 및 충분 조건을 규명하는 것.
• 무한대에서 특이 행동을 보이는 초깃값을 분석하여 고전적 푸지타 유형 이론을 분수형 확산으로 확장하는 것.
• 초깃값 $\mu = \lambda \phi$이고 $\phi(x) \sim |x|^{-A}$이며 $\lambda \to 0^+$일 때 해의 수명에 대한 최적 추정을 제공하는 것.
• 비음수 해에 대해 초깃값 트레이스의 존재성과 유일성을 확립하여 국소 사례($\theta = 2$)의 결과를 분수형 순서로 일반화하는 것.

제안 방법

• 선형 분수형 포아송 방정식의 기본해 $G(x,t)$를 사용하여 적분 형태로 약한 해를 정의하는 것.
• 잠재론에서의 능력 추정(Meyers의 능력)을 적용하여 해가 존재하기 위한 초깃값에 대한 필요 조건을 도출하는 것.
• 분수형 확산 스케일에 맞게 조정된 공집합 내에서의 초깃값의 $L^{r,\infty}$-노름 추정을 통한 충분 조건 유도.
• 스케일링 하에서의 해 행동 분석을 통해 특히 초깃값 $\mu(x) \sim \lambda |x|^{-A}$의 경우 동차성과 로그 보정을 사용하는 것.
• 비교 원리와 에너지 유형 추정을 사용하여 해의 수명을 상하한으로 제한하는 것.
• 비선형 항 $u^p$의 성장과 초깃값의 감쇠, 분수형 확산 속도의 균형을 맞추어 날카로운 수명 추정을 확립하는 것.

실험 결과

연구 질문

• RQ1 분수형 비선형 포아송 방정식 $\partial_t u + (-\Delta)^{\theta/2}u = u^p$에 대한 음수 해가 존재하기 위한 라돈 측도 또는 가측 함수 $\mu$에 대해 필요한 및 충분한 조건은 무엇인가요?
• RQ2 초깃값 $\phi(x) \sim |x|^{-A}$일 때, $\lambda \to 0^+$일 때 해의 수명 $T(\lambda\phi)$는 어떻게 행동하는가요?
• RQ3 고전적 푸지타 유형 임계 지수 $p_* = 1 + 2/N$는 분수형 경우 $0 < \theta \leq 2$로 일반화될 수 있으며, 이 경우 $\theta$는 임계 감쇠율에 어떤 역할을 하는가요?
• RQ4 특히 $p = p_\theta$ 및 $A = \theta/(p-1)$와 같은 경계 사례에서 해의 수명이 초깃값의 감쇠율 $A$에 대해 정확히 어떻게 의존하는가?
• RQ5 초깃값에 로그 보정이 있을 경우, $A = N$ 또는 $A = \theta/(p-1)$일 때 폭발 시간에 어떤 영향을 미치는가?

주요 결과

• 분수형 라플라스 연산자 $p > p_\theta = 1 + \theta/N$일 때, 초깃값 $\mu$가 $\sup_{x \in \mathbb{R}^N} \int_{B(x,\sigma)} \mu(y)\,dy \leq \gamma \sigma^{N - \frac{2}{p-1}}$ 를 만족하면, 작은 $\sigma > 0$ 에 대해 해가 시간에 국한된 형태로 존재한다. 여기서 $\gamma$ 는 $N$, $p$, $\theta$ 에 따라 달라진다.
• 분수형 라플라스 연산자 $p = p_\theta$ 일 때, 해가 존재하기 위한 필요 조건은 $\sup_{x \in \mathbb{R}^N} \mu(B(x,\sigma)) \leq \gamma |\log \sigma|^{-N/\theta}$ 를 만족해야 하며, 이는 고전적 로그 능력 조건을 일반화한다.
• 초깃값 $\mu(x) = \lambda \phi(x)$ 이고 $\phi(x) \sim |x|^{-A}$ 일 때, 수명 $T(\lambda\phi)$ 는 $A \neq N$ 이면 $T(\lambda\phi) \geq C \lambda^{-\left(\frac{1}{p-1} - \frac{1}{\theta} \min\{A,N\}\right)^{-1}}$ 를 만족하며, $A = N$ 일 때는 로그 보정이 나타나며 감쇠율에 대한 날카로운 의존성을 보여준다.
• 임계 경우 $p = p_\theta$ 및 $A = N$ 일 때, 수명은 $\log T(\lambda\phi) \leq C \lambda^{-\frac{p-1}{p}}$ 를 만족하며, 이는 이중 로그 스케일링의 폭발 시간을 나타낸다.
• 분수형 라플라스 연산자 $1 < p < p_\theta$ 일 때, $A = N$ 이면 수명은 $T(\lambda\phi) \leq C_2 \left( \frac{\lambda^{-1}}{\log \lambda^{-1}} \right)^{\left(\frac{1}{p-1} - \frac{N}{\theta}\right)^{-1}}$ 으로 상한이 존재하며, 이는 초임계 경우보다 느린 폭발을 나타낸다.
• 논문은 비음수 해의 초깃값 트레이스가 유일한 라돈 측도임을 증명하며, 심지어 $\mu \in L^1_{\text{loc}} \setminus L^\infty$ 와 같은 특이 경우에도 해가 존재하는 초깃값의 완전한 특성화를 제공한다.