[논문 리뷰] Sign-changing stationary solutions and blowup for the nonlinear heat equation in dimension two

Flavio Dickstrein, Filomena Pacella외 1명|arXiv (Cornell University)|2013. 04. 09.

Nonlinear Partial Differential Equations참고 문헌 15인용 수 5

한 줄 요약

이 논문은 R²의 단위 원판에서 비선형 열 방정식에 대해, 고정된 수의 노드 영역을 가진 반지름 방향의 부호가 바뀌는 정상 해가 단위 스케일에서 약간의 편미분을 받을 경우, 만일 거듭제곱 $ p $ 가 충분히 크다면 유한 시간 내 폭발을 일으킴을 증명한다. 이 결과는 해의 점근적 행동과 관련된 선형화된 연산자의 분석에 기반하며, 스펙트럼 조건을 통해 불안정성이 발생하고 폭발이 유도됨을 입증한다.

ABSTRACT

Consider the nonlinear heat equation v_t-Δv=|v|^{p-1}v in the unit ball of R^2, with Dirichlet boundary condition. Let u_{p,K} be a radially symmetric, sign-changing stationary solution having a fixed number K of nodal regions. We prove that the solution of the equation with initial value λu_{p,K} blows up in finite time if |λ-1|>0 is sufficiently small and if p is sufficiently large. The proof is based on the analysis of the asymptotic behavior of $u_{p,K}$ and of the linearized operator L= -Δ- p |u_{p,K}|^{p-1}. To show this we consider the linearized operator L= -Δ- p|u_p|^{p-1} and study the behavior of its first eigenvalue and of its first normalized eigenfunction for large p.

연구 동기 및 목표

• 비선형 열 방정식의 두 차원에서 부호가 바뀌는 반지름 방향 정상 해의 안정성과 폭발 행동을 조사한다.
• 이러한 해의 작은 편미분이 유한 시간 폭발로 이어지는지, 특히 $ p $ 가 매우 클 때의 극한에서 이를 확인한다.
• 이전에 $ N=2 $ 에서 열려 있던 경우에 대해, 고차원에서의 비성형 전역 해 집합에 대한 이전 결과를 확장한다.
• 정상 해 주위의 선형화된 연산자의 스펙트럼 성질에 기반한 폭발 기준을 설정한다.
• 해와 그에 관련된 고유함수의 점근적 행동을 $ p \to \infty $ 에서 분석한다.

제안 방법

• 해의 점근적 프로파일을 분석하여, $ p \to \infty $ 일 때 반지름 방향의 정호가 바뀌는 정상 해 $ u_{p,\mathcal{K}} $ 의 행동을 분석하고, 스케일링 및 붕괴 기법을 사용한다.
• 해와 첫 번째 고유함수의 극한을 연구하기 위해 $ \mathbb{R}^2 $ 에서의 재스케일링 문제를 도입한다. 여기서 변환 $ x \mapsto \varepsilon_p x $ 에서 $ \varepsilon_p \to 0 $ 이다.
• 재스케일링된 첫 번째 고유함수 $ \tilde{\varphi}_{1,p} $ 가 $ L^2(\mathbb{R}^2) $ 에서 한정된 프로파일 $ \varphi_1^* $ 로 수렴함을 증명하고, 한정된 선형 연산자를 식별한다.
• 논문 [7]의 스펙트럼 기준(제1.2조)을 적용하여, 내적 $ \int_\Omega u \varphi_1 \neq 0 $ 의 부호가 근처의 초기 자료에 대한 폭발을 연결함을 보인다.
• 선형화된 연산자 $ L = -\Delta - p|u_{p,\mathcal{K}}|^{p-1} $ 의 첫 번째 고유값 $ \tilde{\lambda}_1(p) $ 의 변분 특성으로 그 행동을 추정하고, $ p \to \infty $ 일 때의 행동을 분석한다.
• 에르고드 불등식, 변수 변경, $ \tilde{\varphi}_{1,p} $ 의 감쇠 추정을 활용하여, 핵심 적분의 점근 전개에서 오차 항을 제어한다.

실험 결과

연구 질문

• RQ1 R²의 비선형 열 방정식에서 반지름 방향의 정호가 바뀌는 정상 해가 $ \lambda \approx 1 $ 인 스케일링된 해의 초기 자료에 대해 작은 편미분을 받을 경우, 유한 시간 내 폭발이 일어나는가?
• RQ2 해 $ u_{p,\mathcal{K}} $ 와 그에 관련된 선형화된 연산자의 점근적 행동은 $ p \to \infty $ 일 때 어떻게 되는가?
• RQ3 큰 $ p $ 에서 스펙트럼 조건 $ \int_\Omega u_{p,\mathcal{K}} \varphi_1 \neq 0 $ 가 확인될 수 있는가? 이는 알려진 불안정성 기준을 통해 폭발을 유도한다.
• RQ4 이전에 비성형 전역 해 집합이 존재한다는 결과가 있었던 $ N>2 $ 와 비교하여, 차원 $ N=2 $ 에서의 폭발 행동은 어떻게 다를까?
• RQ5 $ \lambda $ 의 폭발 임계값은 $ \lambda=1 $ 에 대해 대칭적인가, 아니면 편미분의 부호에 따라 달라지는가?

주요 결과

• 모든 고정된 $ \mathcal{K} \in \mathbb{N} $ 에 대해, $ p^* = p^*(\mathcal{K}) > 1 $ 이 존재하여, 모든 $ p > p^* $ 에 대해, $ 0 < |1 - \lambda| < \varepsilon $ 인 충분히 작은 $ \varepsilon > 0 $ 에 대해, 초기 자료 $ \lambda u_{p,\mathcal{K}} $ 를 가진 해는 유한 시간 내에 폭발한다.
• 핵심 적분 $ \int_\Omega |u_{p,\mathcal{K}}|^{p-1} u_{p,\mathcal{K}} \varphi_{1,p} $ 는 양수임을 보이고, $ p \to \infty $ 일 때 $ \int_{\mathbb{R}^2} e^{z^*} \varphi_1^* > 0 $ 와 점근적으로 동치임을 확인하여, 제1.2조의 스펙트럼 조건을 확인한다.
• 재스케일링된 첫 번째 고유함수 $ \tilde{\varphi}_{1,p} $ 는 $ L^2(\mathbb{R}^2) $ 에서 양의 극한 $ \varphi_1^* $ 로 강한 수렴을 보이며, 이는 한정된 연산자 $ -\Delta - e^{z^*} $ 의 첫 번째 고유함수이다.
• 점근적 분석은 선형화된 연산자의 첫 번째 고유값 $ \tilde{\lambda}_1(p) $ 가 양의 극한으로 수렴함을 확인하여, 불안정성에 대한 스펙트럼 조건을 보장한다.
• 폭발은 $ \lambda > 1 $ 과 $ \lambda < 1 $ 의 경우 모두 발생하므로, 전역 해 집합 $ \mathcal{G} $ 는 원점 중심으로 별개의 별형이 아니며, 정호가 바뀌는 해에 대해서도 마찬가지이다.
• 이 결과는 R²에서의 비선형 열 방정식에 대한 그림을 완성하며, 이전에 $ N \geq 3 $ 에서의 연구에서 남겨진 열린 경우를 해결한다.