[논문 리뷰] Threshold and strong threshold solutions of a semilinear parabolic equation

Pavol Quíttner|arXiv (Cornell University)|2016. 05. 24.

Nonlinear Partial Differential Equations인용 수 5

한 줄 요약

이 논문은 $ p > 1 + 2/n $ 인 경우 $ \mathbb{R}^n $ 에서 반선형 포물선형 방정식 $ u_t - \Delta u = u^p $ 에 대해 임계값 및 강한 임계값 해의 존재성과 분류를 확립한다. $ p > p_F $ 이면 약한 해와 강한 해 모두 존재하며, 강한 임계값 해는 전역적으로 정의되지만 소규모 변화에 대해 불안정한 자가유사 프로파일로서 나타나며, Barenblatt 유형 스케일링과 관련된 임계 감쇠 속도 $ L^* $ 를 통해 폭발 또는 전역 존재 성질을 특성화한다.

ABSTRACT

If $p>1+2/n$ then the equation $u_t-Δu = u^p, \quad x\in{\mathbb R}^n,\ t>0,$ possesses both positive global solutions and positive solutions which blow up in finite time. We study the large time behavior of radial positive solutions lying on the borderline between global existence and blow-up.

연구 동기 및 목표

• 반선형 포물선형 방정식 $ u_t - \Delta u = u^p $ 의 반경대칭 양수 해를 전역 존재와 유한시간 폭발 사이의 경계선에 놓인 해로 분류한다.
• 해가 약한지 강한지, 즉 초기 자료에 대한 소규모 변화에 대해 안정적인지 여부를 결정한다.
• 강한 임계값 해의 존재를 확립한다—즉, 초임계적 변화에서는 폭발하고, 초임계적 변화에서는 전역 존재하는 해이다.
• 초기 자료가 임계 행동을 결정하는 데 있어 무한대에서의 임계 감쇠 속도 $ L^* $ 를 특성화한다.

제안 방법

• 초기 자료의 곱셈적 변화에 대한 안정성에 기반해 임계값 및 강한 임계값 해의 개념을 도입한다.
• 장기적 행동을 분석하고 프로파일 $ w $ 가 만족하는 변환된 상미분방정식을 유도하기 위해 형태 $ u(x,t) = t^{-1/(p-1)} w(|x|/\sqrt{t}) $ 의 자가유사 해를 사용한다.
• 비교 원리와 $ L^\infty $ 에서의 연속적 의존성을 적용하여, 임계 수준보다 위 또는 아래인 초기 자료를 가진 해들을 비교한다.
• 자기유사 프로파일 주변 선형화된 연산자의 가중치 있는 고유함수 $ \phi $ 를 사용해 폭발을 유도하는 소규모 변화를 구성한다.
• 변형된 자가유사 변수에서의 변화를 분석하여, 초기 해가 임계값에 있을 때 소규모 양수 변화가 폭발을 유도함을 보인다.
• 특히 $ p \geq p_S $ 이고 $ p < p_{JL} $ 인 경우, $ w $ 보다 큰 정체 상태가 존재하지 않음을 이용해 양의 정체 상태로의 수렴 가능성을 배제하고 폭발을 강제한다.

실험 결과

연구 질문

• RQ1 $ p > 1 + 2/n $ 인 경우, 어떤 초임계적 변화에서도 폭발하고, 어떤 초임계적 변화에서도 전역 존재하는 강한 임계값 해가 존재하는가?
• RQ2 전역 존재와 유한시간 폭발을 분리하는 초기 자료의 정확한 감쇠 속도는 무엇인가?
• RQ3 $ p < p_{JL} $ 와 $ p \geq p_{JL} $ 의 경우에 임계값 해의 행동이 어떻게 다를까? 특히 안정성과 장기적 역학 측면에서.
• RQ4 자기유사 해 프로파일을 이용해 편미분 분석을 통해 강한 임계값 해를 구성할 수 있는가?
• RQ5 초기 자료가 $ |x|^{-2/(p-1)} $ 와 같이 감쇠하는 해가 전역적으로 정의되거나 폭발하는 데 필요한 조건은 무엇인가?

주요 결과

• $ p_F = 1 + 2/n $ 이면 모든 $ p > p_F $ 에 대해 약한 해와 강한 해 모두 존재하며, 이는 이전에 확인되지 않은 존재성 문제를 해결한다.
• $ p < p_{JL} $ 이면 $ L^*(n,p) > L(n,p) $ 이고, $ p \geq p_{JL} $ 이면 $ L^*(n,p) = L(n,p) $ 이며, 여기서 $ L(n,p) $ 는 특이 정체 상태의 계수이다.
• $ p < p_{JL} $ 이면 $ u_0(x)|x|^{2/(p-1)} \leq L^* $ 를 만족하는 초기 자료를 가진 해는 전역적으로 존재하며, $ t^{-1/(p-1)} $ 속도로 감쇠한다.
• $ \liminf_{|x|\to\infty} u_0(x)|x|^{2/(p-1)} > L^* $ 를 만족하는 해는 유한시간 내에 폭발한다.
• 형태 $ \tilde{u}(x,t) = t^{-1/(p-1)} w(|x|/\sqrt{t}) $ 인 자가유사 해는 $ w $ 가 정적 상미분방정식을 만족할 때 임의의 $ t_0 > 0 $ 에 대해 강한 임계값 해이며, 그 변화는 폭발을 유도한다.
• $ p \geq p_S $ 이면 선형화된 연산자의 양의, 반경대칭적이고 감소하는, $ L^1 $-적분 가능한 고유함수 $ \phi $ 가 존재하므로, 폭발을 유도하는 임의로 작은 변화를 구성할 수 있으며, 이는 강한 임계값 행동을 확인한다.