[論文レビュー] The semilinear Euler-Poisson-Darboux equation: a case of wave with critical dissipation

Marcello D’Abbicco|arXiv (Cornell University)|Aug 19, 2020

Advanced Mathematical Physics Problems参考文献 65被引用数 5

ひとこと要約

本稿では、臨界的減衰 $\mu t^{-1}u_t$ を有する半線形オイラー＝ポisson＝ダーボウグ方程式に対して、時間全域におけるエネルギー解の存在を確立する。減衰項 $\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 = 0$）と拡散的挙動（$\mu$ が大きい）の間のギャップを埋めるために、臨界指数が $\mu$ に依存する仕組みを分析すること。
• 非減衰波動方程式および半線形熱方程式における既知の臨界指数結果を、臨界減衰の間題的状況に拡張すること。
• $p$ がフジタ指数を上回り、$\mu$ が十分に大きい場合に、多次元EPD方程式における全局的解の存在を確立すること。

提案手法

• 線形化問題に対するエネルギー評価と $L^q$ 型の減衰評価を用いた解析であり、特に基本解のスケーリング特性を活用する。
• 鍵となる技術は、時間依存重み $t^{-\gamma_q}$ を用いた重み付き $L^q$ ノルムの使用であり、ここで $\gamma_q$ は空間次元 $n$、指数 $q$、および減衰パラメータ $\mu$ に依存する。
• 解空間 $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_{\text{crit}}$ が波動方程式のストラウス指数 $p_0$ と熱方程式のフジタ指数の間でどのように補間されるか？
• RQ3 $p$ がフジタ指数を上回り、$\mu$ が十分に大きい場合に、多次元EPD方程式に対して全局的解を確立できるか？
• RQ4 パrameter $\mu$ は、線形化解の減衰プロファイルとそれによる非線形評価にどのように寄与するか？

主な発見

• すべての $p > \max\{p_0(1+\mu), 3\}$ に対して、エネルギー解が存在する。ここで $p_0(k)$ は空間次元 $k$ におけるストラウス指数であり、3 は1次元におけるフジタ指数である。
• $\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}}$ のときには存在しない。