[논문 리뷰] Local well-posedness and global existence for the biharmonic heat equation with exponential nonlinearity

Mohamed Majdoub, Sarah Otsmane외 1명|arXiv (Cornell University)|2016. 06. 23.

Advanced Mathematical Physics Problems인용 수 6

한 줄 요약

이 논문은 오르리치 공간 $ \exp L^2 $ 에서 지수 비선형성 $ f(u) \sim e^{u^2} $ 을 갖는 비harmonic 열 방정식에 대해 국소 적으로 잘 정의된 해와 전역 존재성을 확립한다. $ \exp L^2_0 $ 와 $ \exp L^2 $ 에서 고정점 추론을 사용하여, 초기 데이터가 작고, 영근처에서 거듭제곱 형태의 성장이 있는 경우에 유일한 국소 해와 전역 해의 존재를 증명한다. 또한 비harmonic 반구군의 $ L^p-L^q $ 추정을 통해 시간이 흐름에 따라 감쇠 추정을 도출한다.

ABSTRACT

In this paper we prove local well-posedness in Orlicz spaces for the biharmonic heat equation $\partial_{t} u+ Δ^2 u=f(u),\;t>0,\;x\in\R^N,$ with $f(u)\sim \mbox{e}^{u^2}$ for large $u.$ Under smallness condition on the initial data and for exponential nonlinearity $f$ such that $f(u)\sim u^m$ as $u o 0,$ $m$ integer and $N(m-1)/4\geq 2$, we show that the solution is global. Moreover, we obtain a decay estimates for large time for the nonlinear biharmonic heat equation as well as for the nonlinear heat equation. Our results extend to the nonlinear polyharmonic heat equation.

연구 동기 및 목표

• 지수 비선형성 $ f(u) \sim e^{u^2} $ 을 갖는 비harmonic 열 방정식에 대해 오르리치 공간 $ \exp L^2_0(\mathbb{R}^N) $ 에서 국소 적으로 잘 정의된 해를 확립하는 것.
• 초기 데이터가 작고, 영근처에서 거듭제곱 형태의 비선형성 $ |f(u)| \sim |u|^m $ 이 성립할 때, $ m \geq 2 $ 이고 $ N(m-1)/4 \geq 2 $ 인 조건 하에서 전역 존재성을 증명하는 것.
• 비harmonic 반구군의 $ L^p-L^q $ 추정을 사용하여 비선형 비harmonic 열 방정식과 표준 열 방정식의 해에 대해 장기적인 감쇠 추정을 도출하는 것.
• 다항항열 방정식 $ \partial_t u + (-\Delta)^d u = f(u) $ 에 대해 $ d \geq 2 $ 인 경우에 결과를 확장하는 것.

제안 방법

• 초기값 문제를 연구하기 위해 적분 표현식 $ u(t) = e^{-t\Delta^2}u_0 + \int_0^t e^{-(t-s)\Delta^2} f(u(s))\,ds $ 의 사용.
• 국소 적으로 잘 정의된 해를 위해 $ \exp L^2_0(\mathbb{R}^N) $ 에서 고정점 추론을 적용하고, 전역 존재성을 위해 $ L^\infty(0,\infty; \exp L^2) $ 에서 고정점 추론을 적용하는 것.
• 비harmonic 반구군 $ e^{-t\Delta^2} $ 에 대한 $ L^p-L^q $ 추정의 활용으로, $ \|e^{-t\Delta^2}\varphi\|_q \leq \mathcal{H} t^{-\frac{N}{4}(\frac{1}{p}-\frac{1}{q})} \|\varphi\|_p $ 와 같은 추정을 확보하는 것.
• 지수 성장하는 비선형성을 다루기 위해 오르리치 공간 노름, 특히 루젠베르크 노름 $ \|u\|_{\exp L^2} $ 의 사용.
• 지수 적으로 적분 가능한 성질을 활용하여, $ \|f(u)\|_r $ 를 $ \|u\|_{\exp L^2} $ 에 대해 제어하기 위해 헬더 및 얀형 부등식의 응용.
• 반구군의 $ L^p-L^q $ 추정을 $ e^{-t(-\Delta)^d} $ 에 대해 확장하여, 스케일링 $ t^{-\frac{N}{2d}(\frac{1}{p}-\frac{1}{q})} $ 을 갖는다.

실험 결과

연구 질문

• RQ1 지수 비선형성 $ f(u) \sim e^{u^2} $ 을 갖는 비harmonic 열 방정식이 오르리치 공간에서 국소 해를 갖는 조건은 무엇인가?
• RQ2 초기 데이터에 대한 어떤 작고성 조건이 영근처에서 거듭제곱 형태 비선형성의 비harmonic 방정식에 대해 전역 존재성을 보장하는가?
• RQ3 비선형 비harmonic 열 방정식의 해에 대해 $ t \to \infty $ 일 때 어떤 감쇠 속도를 확립할 수 있는가?
• RQ4 비harmonic 방정식에 대한 결과를 고차 다항항열 방정식 $ \partial_t u + (-\Delta)^d u = f(u) $ 에 확장할 수 있는가?
• RQ5 비harmonic 반구군의 $ L^p-L^q $ 추정이 해의 존재성과 감쇠에 어떤 영향을 미치는가?

주요 결과

• 초기 데이터 $ u_0 \in \exp L^2_0(\mathbb{R}^N) $ 에 대해 $ \exp L^2_0(\mathbb{R}^N) $ 에서 국소 적으로 잘 정의된 해가 존재하며, 유일한 해 $ u \in C([0,T]; \exp L^2_0) $ 가 존재한다.
• 초기 데이터의 노름이 $ \|u_0\|_{\exp L^2} \leq \varepsilon $ 인 조건에서, $ \varepsilon > 0 $ 이 충분히 작을 때, 조건 $ N(m-1)/4 \geq 2 $ 과 $ m \geq 2 $ 를 만족할 경우 전역 존재성이 확보된다.
• 해는 감쇠 추정 $ \|u(t)\|_p \leq C t^{-\sigma} $ 을 만족하며, $ \sigma = \frac{1}{m-1} - \frac{N}{2dp} > 0 $ 이고, $ N $ 과 $ d $ 에 따라 정해진 범위의 $ p $ 에 대해 유효하다.
• 비harmonic 반구군 $ e^{-t\Delta^2} $ 는 $ \exp L^2_0(\mathbb{R}^N) $ 에서는 연속적이지만, $ \exp L^2(\mathbb{R}^N) $ 에서는 연속적이지 않다.
• 다항항열 방정식 $ \partial_t u + (-\Delta)^d u = f(u) $ 에 대해서도 유사한 $ L^p-L^q $ 추정과 고정점 추론을 사용하여 결과가 확장된다. $ d \geq 2 $.
• 지수 비선형성 $ f(u) \sim e^{u^2} $ 에 대해 오르리치 공간 $ \exp L^2 $ 는 자연스러운 프레임워크이며, 이는 모든 $ q \geq 2 $ 에 대해 $ L^q $ 에 포함되며, 반구군 작용에 대해 불변이다.