[論文レビュー] Fundamental Solutions for Hyperbolic Operators with Variable Coefficients

Karen Yagdjian|arXiv (Cornell University)|Jan 19, 2010

Differential Equations and Boundary Problems参考文献 23被引用数 9

ひとこと要約

本稿では、ガウスの超幾何関数を含むカーネルを介して定数係数問題への変換を用いることで、変数係数をもつ非線形偏微分方程式に対する基本解を構成する新しい積分作用素法を提案する。この手法は、数学的宇宙論および波動理論における方程式の取り扱いを統一的にし、de Sitter や Einstein-de Sitter 時空における半線形方程式の明示的表現、$L_p$-$L_q$ 評価、および爆発結果をもたらす。

ABSTRACT

In this article we describe the novel method to construct fundamental solutions for operators with variable coefficients. That method was introduced in "A note on the fundamental solution for the Tricomi-type equation in the hyperbolic domain"(J. Differential Equations,206(2004)227--252) to study the Tricomi-type equation. More precisely, the new integral operator is suggested which transforms the family of the fundamental solutions of the Cauchy problem for the equation with the constant coefficients to the fundamental solutions for the operators with variable coefficients.

研究の動機と目的

• 非定数係数のため、通常は困難である変数係数をもつ双曲型作用素に対する基本解を構成する一般的手法を開発すること。
• de Sitter や anti-de Sitter、Einstein-de Sitter などの曲がった時空における、Tricomi型、Klein-Gordon、波動方程式などの多様な方程式を、同一の枠組みで統一的に取り扱うこと。
• ダランベールの原理を、フーリエ積分作用素と超幾何関数カーネルをもつ新しい積分作用素との合成として再定式化すること。
• 半線形方程式の局所的・大域的解の存在および爆発現象を含む、明示的表現式、$L_p$-$L_q$ 評価、および結果を導出すること。
• 距離関数と伝播錐に基づく積分カーネルを導入することで、変数係数をもつ双曲型方程式の解法に階層的構造を確立すること。

提案手法

• 定数係数初期値問題の解を、変数係数問題の解に変換する新しい積分作用素 $\mathcal{K}$ を導入すること。
• 解作用素 $G = \mathcal{K} \circ \mathcal{W}E$ を構築し、ここで $\mathcal{W}E$ は最初の初期データをもつ波動方程式を解くフーリエ積分作用素であり、$\mathcal{K}$ は時変伝播錐に沿って積分する。
• Klein-Gordon 方程式にはカーネル $K(t;r,b) = J_0(\sqrt{(t-b)^2 - r^2})$ を、他の方程式には超幾何関数を用い、正しい伝播速度と特異性構造を保証すること。
• 有限伝播速度をモデル化するため距離関数 $\phi(t) = t$（一般には $\phi(t)$）を定義し、因果的伝播を反映させるために内積分の上限を $|\phi(t) - \phi(b)|$ に設定すること。
• 時空の幾何に適応してカーネルと距離関数を調整することで、de Sitter や Einstein-de Sitter 時空における方程式にこの手法を適用し、解の公式の構造を保存すること。
• 漸近解析と特殊関数の評価（例：超幾何関数およびベッセル関数）を用いて、解の $L_p$-$L_q$ 評価および減衰率を導出すること。

実験結果

リサーチクエスチョン

• RQ1 変数係数をもつ双曲型作用素に対する基本解を、特に曲がった時空において、体系的にどのように構成できるか？
• RQ2 de Sitter や Einstein-de Sitter 時空における Tricomi型、Klein-Gordon、波動方程式を、同一の統一的枠組みで取り扱うことは可能か？
• RQ3 定数係数解から変数係数解に変換する積分作用素のカーネルに含まれる超幾何関数の役割は何か？
• RQ4 提案された積分表現から、半線形方程式における $L_p$-$L_q$ 評価および爆発現象はどのように生じるか？
• RQ5 超幾何関数カーネルのパラメータ $a$ に対して、解の正確な減衰挙動は空間変数 $x$ に対してどのように依存するか？

主な発見

• 本手法は、1次元ミンコフスキー時空におけるKlein-Gordon方程式に対して、カーネル $J_0(\sqrt{(t-b)^2 - r^2})$ を用いて、積分作用素 $\mathcal{K}$ を介して明示的解公式を構成することに成功した。
• Einstein-de Sitter 時空における波動方程式に対しては、超幾何関数カーネルを含む解表現が得られ、漸近的評価を用いて $L_p$-$L_q$ 評価が導出された。
• 解作用素 $G = \mathcal{K} \circ \mathcal{W}E$ は、変数係数をもつ複数の方程式における初期値問題の表現式を統一的に導出する枠組みを提供する。
• 本手法により鋭い $L_p$-$L_q$ 評価が得られた：$a < 1/2$ の場合、解は $z^{-1/2}(1 + z(1-x))^{1/2-a}$ のように減衰し、$a \in (1/2,1)$ の場合、対数因子 $1 + \ln z$ を含む。
• $C_0 = 0$ の場合、解 $T(x,t)$ は $C z^b (1 + \ln z) z^{-1/2} (1 + z(1-x))^{1/2 - b}$ で上から抑えられ、$z = e^t$ に対して $1/2 < b < 1$ のとき対数的増加を示す。
• 本手法により、半線形方程式における爆発現象、自己相似解、大域的解の存在結果が、同一の枠組みで導出可能であり、広範な適用可能性が示された。