[논문 리뷰] The semilinear Euler-Poisson-Darboux equation: a case of wave with critical dissipation

Marcello D’Abbicco|arXiv (Cornell University)|2020. 08. 19.

Advanced Mathematical Physics Problems참고 문헌 65인용 수 5

한 줄 요약

이 논문은 시간에 따라 변화하는 감쇠항 $\mu t^{-1}u_t$를 갖는 반선형 오일러-포아송-다르부와 방정식에 대해 전 시간에 걸쳐 에너지 해가 존재함을 증명한다. 감쇠항은 전역 존재의 임계 조건에 결정적인 영향을 미친다. 주요 결과는 $p > \max\{p_0(1+\mu), 3\}$일 때 전역 해가 존재한다는 것으로, 파동 방정식의 스트라우스 지수와 열 방정식의 푸지타 지수를 결합한 것으로, 감쇠 매개수 $\mu$에 대한 정확한 의존성을 보인다. 분석은 시간에 따라 변화하는 감쇠를 다루기 위해 특수하게 설계된 함수 공간에서 고정점 정리와 가중 $L^q$ 추정을 사용한다.

ABSTRACT

In this paper we study the existence of global-in-time energy solutions to the Cauchy problem for the Euler-Poisson-Darboux equation, with a power nonlinearity: $$u_{tt}-u_{xx} + \fracμ{t}\,u_t = |u|^p \,, \quad t>t_0, \ x\in\mathbb{R}\,.$$ Here either $t_0=0$ (singular problem) or $t_0>0$ (regular problem). This model represents a wave equation with critical dissipation, in the sense that the possibility to have global small data solutions depend not only on the power $p$, but also on the parameter $μ$. We prove that, assuming small initial data in $L^1$ and in the energy space, global-in-time energy solutions exist for $p>p_c =\max\{p_0(1+μ),3\}$, for any $μ>0$, where $p_0(k)$ is the critical exponent for the semilinear wave equation without dissipation in space dimension $k$, conjectured by W.A. Strauss, and $3$ is the critical exponent obtained by H. Fujita for semilinear heat equations. We also collect some global-in-time existence result of small data solutions for the multidimensional EPD equation $$u_{tt}-Δu + \fracμ{t}\,u_t = |u|^p \,, \quad t>t_0, \ x\in\mathbb{R}^n\,,$$ with powers $p$ greater than Fujita exponent and sufficiently large $μ$.

연구 동기 및 목표

• 시간에 따라 변화하는 감쇠항 \\mu t^{-1}u_t$를 갖는 반선형 오일러-포아송-다르부와 방정식에 대해 소규모 초기 데이터 에너지 해의 전 시간 존재성에 대한 정확한 임계 조건을 규명하는 것.
• 감쇠 매개수 $\mu$에 따라 파동 유사 행동($\mu = 0$)과 확산 유사 행동($\mu$가 크면) 사이의 격차를 메우기 위해 임계 지수의 $\mu$에 대한 의존성을 분석하는 것.
• 비진동 파동 방정식과 반선형 열 방정식에 대한 기존의 임계 지수 결과를 임계 감쇠의 중간 케이스로 확장하는 것.
• 다차원 EPD 방정식에 대해 푸지타 지수를 초월하고 $\mu$가 충분히 클 경우 전역 존재성을 확립하는 것.

제안 방법

• 선형화된 문제에 대해 에너지 추정과 $L^q$ 유형의 감쇠 추정을 사용하며, 특히 기본 해의 척도 행동을 활용한다.
• 핵심 기법은 공간 차원 $n$, 지수 $q$, 감쇠 매개수 $\mu$에 따라 달라지는 시간에 따라 변화하는 가중치 $t^{-\gamma_q}$를 갖는 가중 $L^q$ 노름을 사용하는 것이다.
• 해 공간 $X(T)$는 $t \in [t_0, T]$에서의 초과값을 포함하며, $L^q$ 노름에 $t^{\gamma_q}$를 가중하여 정의되며, $n=3$, $\mu=1$일 경우 로그 보정을 포함한다.
• 해 공간 $X(T)$에서 고정점 정리를 적용하여 해의 존재성을 증명하며, 호더의 부등식과 국소 리프시츠 조건을 이용해 비선형 항 $|u|^p$에 대한 추정에 의존한다.
• 해의 존재성에 따라 $\mu$가 2와 $n(1-2/q)$에 비해 어떤지에 따라 경우를 나누며, 비선형 항을 제어하기 위해 선형 문제로부터 유도된 다양한 감쇠 프로파일을 사용한다.
• 임계 지수 $p_{\text{crit}}$는 선형 해의 감쇠 속도와 비선형성의 성장 속도를 균형 맞추어 유도되며, 결과적으로 $p_{\text{crit}} = \max\{p_0(1+\mu), 3\}$이 된다.

실험 결과

연구 질문

• RQ1 임계 감쇠 $\mu t^{-1}u_t$를 갖는 반선형 EPD 방정식에 대해 소규모 초기 데이터 에너지 해의 전 시간 존재성에 대한 정확한 임계 조건 $p_{\text{crit}}$는 무엇인가?
• RQ2 감쇠 매개수 $\mu$가 증가함에 따라 파동 방정식의 스트라우스 지수 $p_0$와 열 방정식의 푸지타 지수 사이에서 임계 지수 $p_{\text{crit}}$는 어떻게 보간되는가?
• RQ3 $p$가 푸지타 지수를 초월하고 $\mu$가 충분히 클 경우, 다차원 EPD 방정식에 대해 전역 존재성을 확립할 수 있는가?
• RQ4 매개수 $\mu$는 선형화된 해의 감쇠 프로파일과 그에 따른 비선형 추정에 어떤 역할을 하는가?

주요 결과

• 모든 $p > \max\{p_0(1+\mu), 3\}$에 대해 전역 에너지 해가 존재하며, 여기서 $p_0(k)$는 차원 $k$에서의 스트라우스 지수이고, 3은 일차원에서의 푸지타 지수이다.
• $\mu \geq 2$ 또는 $n(1-2/q) \leq \mu$일 경우, 선형 해의 감쇠는 $t^{-\min(\mu,2)}$로 제어되며, 이는 해 공간에서의 가중치 선택에 영향을 준다.
• $\mu \in (1,2)$ 이고 $n(1-2/q) \geq \mu$일 경우, 감쇠는 $t^{-\mu/2}$이며, 이는 노름 추정에서 수정된 가중치 $t^{\delta + \mu/2}$가 필요하다.
• 증명은 $t^{\gamma_q}\|u(t,\cdot)\|_{L^q}$를 포함하는 노름을 갖는 함수 공간 $X(T)$에서 고정점 정리를 기반으로 하며, $\gamma_q$는 감쇠와 성장 사이의 균형을 맞추기 위해 선택된다.
• $n=3$, $\mu=1$일 경우, 경계 상태를 다루기 위해 노름에 $\log(t/t_0)^{-1}$의 로그 보정을 포함한다.
• 임계 지수 $p_{\text{crit}}$는 정확하다: 적절한 초기 데이터의 부호 조건 하에 $p > p_{\text{crit}}$일 경우 전역 해가 존재하지만, $p \leq p_{\text{crit}}$일 경우 존재하지 않는다.