[논문 리뷰] Boundary value problem for a classical semilinear parabolic equation

Li Ma|arXiv (Cornell University)|2010. 12. 29.

Nonlinear Partial Differential Equations참고 문헌 2인용 수 4

한 줄 요약

이 논문은 유계 $C^1$ 도메인에서 반선형 포아송 방정식 $u_t - \Delta u = |u|^{p-1}u$ 에 대해, 수정된 리아푸노프 함수 $E_\lambda(u) = J(u) + \lambda M(u)$ 를 사용하여 새로운 불변 집합 $\tilde{W}$ 와 $\tilde{Z}$ 를 도입한다. 초기 조건이 $\tilde{W}$ 에 속해 있을 경우 전역 양해를 갖는다. 이때 $H^1$ 오메가 극한은 $\{0\}$ 이며, 초기 조건이 $\tilde{Z}$ 에 속해 있을 경우 유한 시간 내에 폭발한다. 이는 고전적인 네하리 함수 방법을 새로운 매개변수화된 에너지 프레임워크로 확장한다.

ABSTRACT

In this paper, we study the boundary value problem of the classical semilinear parabolic equations $$ u_t-Δu=|u|^{p-1}u, \ \ in \ \ Ω imes (0,T) $$ and $u=0$ on the boundary $\partialΩ imes [0,T)$ and $u=ϕ$ at $t=0$, where $Ω\subset R^n$ is a compact $C^1$ domain, $1

연구 동기 및 목표

• 반선형 포아송 방정식 $u_t - \Delta u = |u|^{p-1}u$ 에 대해 전역 존재성 또는 유한 시간 폭발을 유도하는 초기 조건을 분류하는 새로운 불변 집합 $\tilde{W}$ 와 $\tilde{Z}$ 를 규명하는 것.
• 고전적인 네하리 함수 방법을 확장하기 위해 매개변수화된 에너지 함수 $E_\lambda(u) = J(u) + \lambda M(u)$ 를 도입하여 전역 해와 폭발 해 사이의 임계 조건을 정밀화하는 것.
• $1 < p < p_S$ 인 경우, $\tilde{W} = \bigcup_{\lambda \geq 0} W_\lambda$ 에 속하는 초기 조건은 전역 해를 갖으며, 이때 $H^1$ 오메가 극한은 $\{0\}$ 이다. 반면 $\tilde{Z}$ 에 속하는 초기 조건은 유한 시간 폭발을 겪는다.
• 감쇠 항 $\delta v$ 를 가진 수정된 방정식을 사용한 비교 근거로 폭발을 증명하며, $u(t) \geq v(t)$ 이고 $t \to T_{\max} < \infty$ 일 때 $L^2$-노름이 유계가 아니게 된다.

제안 방법

• 에너지 함수 $E_\lambda(u) = J(u) + \lambda M(u)$ 를 정의한다. 여기서 $J(u) = \int \left( \frac{1}{2}|\nabla u|^2 - \frac{1}{p+1}|u|^{p+1} \right)$ 이고 $M(u) = \frac{1}{2}\int |u|^2$ 이다. 이를 통해 리아푸노프 유형 함수의 일차원 매개변수 가중치 가중치를 구성한다.
• 시간 도함수 $\frac{d}{dt}E_\lambda(u) = -|J'(u)|^2_2 - \lambda I(u)$ 를 사용하여, $I(u) < 0$ 인 경우 $E_\lambda(u)$ 가 해의 궤적을 따라 엄격히 감소함을 보이고, 이는 불변 집합의 구성에 기여한다.
• $d_\lambda = \inf\{E_\lambda(u) \mid u \in \Sigma, I(u) = 0\}$ 와 $W_\lambda = \{u \in \Sigma \mid E_\lambda(u) < d_\lambda, I(u) > 0\} \cup \{0\}$ 를 정의한다. 이때 $W_\lambda$ 가 흐름에 대해 불변임을 증명한다.
• $\lambda > 0$ 인 경우 $d_\lambda > d$ 를 증명함으로써 $W_\lambda$ 가 고전적 $W$ 집합보다 엄격히 크다는 것을 보이고, 전역 존재 조건을 정밀화한다.
• 폭발 분석을 위해 수정된 방정식 $v_t - \Delta v + \delta v = v^p$ ($\delta \geq 0$) 를 고려하고, $Z_\delta = \{u \in \Sigma_+ \mid J_\delta(u) < d_\delta, I_\delta(u) < 0\}$ 를 정의한다. 초기 조건 $\phi \in Z_\delta$ 에 대해 불변성과 폭발을 증명한다.
• 비교 원리를 사용한다: $u(t) \geq v(t)$ 이고 $v(t)$ 가 유한 시간 내에 폭발하며 $\|v(t)\|_{L^2} \to \infty$ 이면, $t \to T_{\max} < \infty$ 일 때 $\|u(t)\|_{L^2} \to \infty$ 가 되어 $u$ 도 폭발함을 의미한다.

실험 결과

연구 질문

• RQ1 반선형 포아송 방정식에서 전역 존재성과 폭발을 위한 고전적 네하리 함수 임계 조건을 개선하기 위해, 새로운 매개변수화된 에너지 함수 $E_\lambda(u)$ 를 구성할 수 있는가?
• RQ2 $\tilde{W} = \bigcup_{\lambda \geq 0} W_\lambda$ 는 고전적 $W$ 집합보다 엄격히 큰 전역 존재 영역을 제공하는가? 그리고 $\tilde{W}$ 내의 해는 $H^1$ 오메가 극한 $\{0\}$ 을 갖는가?
• RQ3 감쇠 항 $\delta v$ 를 가진 수정된 방정식을 사용한 비교 원리를 통해 폭발 행동을 특징화할 수 있는가? $v(t)$ 가 폭발할 경우 $u(t) \geq v(t)$ 는 $u$ 도 폭발을 유도하는가?
• RQ4 $\tilde{Z}$ 에 속하는 초기 조건에 대해 폭발 시간 $T_{\max}$ 는 유한한가? 그리고 $t \to T_{\max}$ 일 때 $\|u(t)\|_{L^2} \to \infty$ 인가?
• RQ5 $E_\lambda(u)$ 의 매개변수 $\lambda$ 는 임계 조건 $d_\lambda$ 에 어떤 영향을 미치며, 모든 $\lambda > 0$ 에 대해 $d_\lambda > d$ 인가?

주요 결과

• $1 < p < p_S$ 인 경우, $\tilde{W} = \bigcup_{\lambda \geq 0} W_\lambda$ 는 반선형 포아송 방정식의 흐름에 대해 불변이며, 임의의 초기 조건 $\phi \in \tilde{W}$ 는 전역 양해를 갖는다. 이때 $H^1$ 오메가 극한은 $\{0\}$ 이다.
• 매개변수화된 임계 조건 $d_\lambda$ 는 모든 $\lambda > 0$ 에 대해 $d_\lambda > d$ 를 만족한다. 이는 $W_\lambda$ 가 고전적 $W$ 집합보다 엄격히 크다는 것을 의미하며, 전역 존재 조건이 정밀화됨을 보여준다.
• $1 < p \leq p_S$ 인 경우, 초기 조건 $\phi \in \tilde{Z}$ 는 유한 시간 폭발을 겪으며, $t \to T_{\max} < \infty$ 일 때 $\|u(t)\|_{L^2} \to \infty$ 가 된다. 이는 수정된 방정식 $v_t - \Delta v + \delta v = v^p$ 의 해와의 비교를 통해 증명된다.
• 폭발 시간 $T_{\max}$ 는 유한한데, $\|v(t)\|_{L^2}$ 가 무한히 증가하고, 큰 $t$ 에서 미분 부등식 $\frac{d}{dt}M(v(t)) \geq \frac{1}{2}C(p,|\Omega|)M(v(t))^{(p+1)/2}$ 를 만족하기 때문이다. 이는 유한 시간 폭발을 암시한다.
• 비교 원리에 따르면, $\phi \in Z_\delta$ 이고 $\phi \geq v_\delta$ 이면 $u(t) \geq v(t)$ 가 되고, $v(t)$ 가 유한 시간 내에 폭발하므로 $u(t)$ 도 폭발한다. 이때 $t \to T_{\max}$ 일 때 $\|u(t)\|_{L^2} \to \infty$ 가 된다.
• $J_\delta(u) < d_\delta$ 와 $I_\delta(u) < 0$ 를 통해 $Z_\delta$ 를 구성함으로써 불변성과 폭발이 보장되며, $d_{\delta,\epsilon} \geq d_\delta - \frac{\epsilon}{p+1}$ 은 에너지 임계 조건에 대한 정량적 하한을 제공한다.