[論文レビュー] Parametrix for a hyperbolic initial value problem with dissipation in some region

Christiaan C. Stolk|arXiv (Cornell University)|Dec 5, 2003

Advanced Mathematical Physics Problems参考文献 6被引用数 7

ひとこと要約

本稿では、$\gamma > 0$ の順序をもつ減衰項を伴う一階双曲型初期値問題に対して、主記号が消える点でその微分が $L-1$ 階まで消えるという条件下で、パラメトリックスを構成する。$2\gamma < L$ を仮定する。得られるパラメトリックスは、$\rho = 1 - \gamma/L$ のタイプであるフーリエ積分作用素であり、非ゼロの減衰領域における双曲型的伝播と減衰効果を捉える微局所的解構造を提供する。

ABSTRACT

We consider the initial value problem for a pseudodifferential equation with first order hyperbolic part, and an order $γ&gt; 0$ dissipative term. Under an assumption, depending on an integer parameter $L \geq 2$ such that $2 γ&lt; L$, we construct for this initial value problem a parametrix that is a Fourier integral operator of type $ρ= 1 - γ/L$. The assumption implies that where the principal symbol of the dissipative term is zero, the terms of order up to $L-1$ in its Taylor series also vanish.

研究の動機と目的

• 一階双曲型初期値問題に、$\gamma > 0$ の順序をもつ減衰型擬微分作用素 $B$ を摂動項として加えた場合のパラメトリックスの構築。
• 解の微局所的構造を、減衰項の台の境界で高次にまで消える場合に特徴づけること。
• 古典的なフーリエ積分作用素の枠組みを、減衰項の記号が原点で $L-1$ 階まで消える場合にまで拡張すること。
• 符号クラス $S^\mu_{\rho,\delta}$ におけるパラメトリックスの正則性とタイプを、$\rho = 1 - \gamma/L$ の形で確立すること。
• パラメトリックスが双曲的特徴線に 沿った伝播と、減衰に起因する指数的減衰の両方を捉えられることを保証すること。

提案手法

• 双曲的部 $A(z,x,D_x)$ から得られる位相関数を用いたフーリエ積分作用素としてパラメトリックスを構成し、特徴線に 沿った $b$ の積分 $I$ を含む振幅 $\exp(-I)$ を組み込む。
• 非標準的な減衰を扱うために、$\rho = 1 - \gamma/L$、$\delta = \gamma/L$ の $S^\mu_{\rho,\delta}$ クラスに基づく記号計算を用いる。
• パラメトリックス記号 $W = \sum W^{(j)}$ の再帰的漸近展開を適用し、各 $W^{(j)}$ が $S^{-j(1 - 2\gamma/L)}_{1 - \gamma/L, \gamma/L}$ に属することを保証し、記号クラス内での収束を確保する。
• $|\partial^{\alpha}_{(z,x)}\partial^{\beta}_{\xi} b| \leq C(1+|\xi|)^{-|\beta| + \frac{|\alpha|+|\beta|}{L}\gamma}(1+b)^{1 - \frac{|\alpha|+|\beta|}{L}}$ （$|\alpha|+|\beta| < L$）という条件により、$b$ の微分が $b=0$ で $L-1$ 階まで消えることを示す。
• エゴロフの定理を用いて、パラメトリックスの記号正則性を特徴線フローに沿って共役作用素に移し、記号クラスを保存する。
• 周波数空間におけるカットオフ $\chi$ を用いて解作用素を滑らか項と主要項の和に分解し、主要成分がタイプ $\rho = 1 - \gamma/L$ のフーリエ積分作用素となるように保証する。

実験結果

リサーチクエスチョン

• RQ1 減衰項 $b$ がどの程度の条件下に、$\gamma > 0$ の順序をもつ $B$ を伴う双曲型初期値問題に対してパラメトリックスを構成できるか。
• RQ2 $b$ の微分が $b=0$ で $L-1$ 階まで消えるという条件が、得られるパラメトリックスの正則性とタイプにどのように影響するか。
• RQ3 $2\gamma < L$ を満たす減衰項が満たすとき、パラメトリックスの正確な符号クラス $S^\mu_{\rho,\delta}$ は何か。
• RQ4 パラメトリックスはフーリエ積分作用素として表現可能か。そのタイプ $\rho$ は $\gamma$ と $L$ の関数としてどのように表されるか。
• RQ5 $I(z,x,\xi) = \int_{z_0}^z b(z', \Gamma_x(z',z,x,\xi), \Gamma_\xi(z',z,x,\xi)) \, dz'$ という積分が、振幅および解の減衰構造にどのように影響するか。

主な発見

• 仮定 $2\gamma < L$ の下で、初期値問題のパラメトリックスはタイプ $\rho = 1 - \gamma/L$、$\delta = \gamma/L$ のフーリエ積分作用素である。
• $|\alpha|+|\beta| < L$ のとき $|\partial^{\alpha}_{(z,x)}\partial^{\beta}_{\xi} b| \leq C(1+|\xi|)^{-|\beta| + \frac{|\alpha|+|\beta|}{L}\gamma}(1+b)^{1 - \frac{|\alpha|+|\beta|}{L}}$ という条件により、$b=0$ で $b$ のすべての微分が $L-1$ 階まで消えることが保証される。
• 振幅因子 $\exp(-I(z,x,\xi))$ は $S^0$ の標準的記号ではないが、$S^\mu_{1 - \gamma/L, \gamma/L}$ クラスを用いることで取り扱われ、適切に定義されたパラメトリックスの構成が可能になる。
• 解作用素 $E$ は微局所的にタイプ $\rho = 1 - \gamma/L$ のフーリエ積分作用素と同等であり、パラメトリックスは双曲型的伝播と減衰に起因する減衰の両方を捉えている。
• $b(z,x,\xi) = |\xi|^\gamma W(z,x,\xi/|\xi|) h(\rho(z,x,\xi/|\xi|))$ の形をとる $b$ に対して、$h$ が滑らかで非負であり、$y=0$ で $L-1$ 階まで消える場合、条件 (2) が満たされるため、$|h^{(j)}(y)| \leq C h(y)^{1 - j/L}$ （$j=1,\dots,L-1$）を満たす必要十分条件となる。
• パラメトリックスの構成は、$W$ が下から有界であるという仮定のもとで安定であり、$h>0$ となる領域で減衰項が非退化していることを保証する。また、特徴線フローに沿って記号クラスの正則性が保存される。