The Damped Waves Equation and generalized Cosine and Sine families on Banach spaces

技術要約：バナッハ空間における減衰波方程式および一般化された余弦・正弦族

問題設定
本論文は、バナッハ空間 $X$ 上の抽象的な二階減衰波方程式を研究している：
$$u''(t) + 2Bu'(t) = Au(t), \quad t \in \mathbb{R},$$
初期条件を $u(0) = x$ および $u'(1) = y$ とする。主な焦点は、減衰演算子 $B$ が非有界である場合である。著者らは、減衰がない場合（$B=0$）において、$A$ が $C_0$-余弦族を生成しないために適切に解が存在しないシナリオに対処することを目的としており、そのような状況において、減衰の存在が適切性を回復させるような、線形非有界演算子 $A$ および $B$ の広範なクラスを特定することを目指している。

手法
著者らは、一次形式への還元戦略を採用している。変数 $v = u' + Bu$ という置換を導入することで、二階方程式を以下の一次系へと書き換える：
$$\begin{pmatrix} u \\ v \end{pmatrix}' = G \begin{pmatrix} u \\ v \end{pmatrix}, \quad \begin{pmatrix} u(0) \\ v(0) \end{pmatrix} = \begin{pmatrix} x \\ Bx + y \end{pmatrix},$$
ここで、ブロック演算子 $G$ は次のように定義される：
$$G = \begin{bmatrix} -B & I \\ A + B^2 & -B \end{bmatrix}.$$
手法の核心は、$G$ が適切な位相空間 $Y \times X$ 上で強連続（$C_0$）群を生成するための条件を確立することにある。ここで、$Y$ は $X$ に連続的に埋め込まれたバナッハ空間である。

論文では、主に2つの仮説を導入している：

1. 仮説 (HAB): $C_0$-群を生成し、かつ可換である「主要項」演算子 $A_0$ および $B_0$ に関する構造的仮定。この仮説は、 $A$ と $B$ が全域的には可換ではなくとも、その主要項が可換であるケースを含む、具体的な偏微分方程式（PDE）の例に対して検証しやすいように設計されている。
2. 仮説 (ABY): $G$ が位相空間 $Y$ 上で $C_0$-群を生成するという仮定に基づく、関数解析的な枠組み。

著者らは、(HAB) が (ABY) を導くことを証明している。彼らは、 $G$ のレゾルベントを特徴付けるために、二次ペンシル $Q(\lambda) := \lambda^2 I + 2\lambda B - A$ を利用している。$Q(\lambda)$ の可逆性と、生成される群 $\{T(t)\}_{t \in \mathbb{R}}$ の性質を分析することにより、一般化された余弦および正弦族を構成している。

主要な貢献と結果

• 一般化された余弦および正弦族: 本論文は、減衰方程式の解演算子として機能する2つの強連続な演算子族 $\{C_{A,B}(t)\}_{t \in \mathbb{R}}$ および $\{S_{A,B}(t)\}_{t \in \mathbb{R}}$ を構成している。無減衰の古典的なケースとは異なり、これらの族は必ずしも時間に関する偶関数や奇関数ではない。

  • $C_{A,B}(t)$ は $\text{dom}(B)$ から $X$ への写像である。
  • $S_{A,B}(t)$ は $X$ から $Y$ への写像である（および $Y$ から $\text{dom}(A)$ への写像である）。
  • 弱解は $u(t) = C_{A,B}(t)x + S_{A,B}(t)y$ で与えられる。

• 解概念の同値性: 著者らは、2種類の弱解を定義している：

  1. ラプラス変換による弱解: 周波数領域におけるペンシル $Q(\lambda)$ の可逆性を通じて定義される。
  2. 積分による弱解: ボルテラ型の積分方程式を通じて定義される。
     論文では、仮説 (ABY) の下で、これら2つの定義が同値であることを証明している。

• 正則性と不変性: 本研究は、これらの族の軌跡に関する精密な正則性条件を確立している：

  • 軌跡 $S_{A,B}(\cdot)x$ は、任意の $x \in X$ に対して $C^1$ 級であり、$x \in Y$ に対しては $C^2$ 級である。
  • 軌跡 $C_{A,B}(\cdot)x$ は、$x \in Y$ に対して $C^1$ 級であり、$x \in \text{dom}(A)$ に対しては $C^2$ 級である。
  • 不変部分空間が特定されている：$Y$ および $\text{dom}(A)$ は $C_{A,B}(t)$ の下で不変であり、$S_{A,B}(t)$ は $X$ を $Y$ へ、$Y$ を $\text{dom}(A)$ へ写す。

• 三角関数恒等式: 論文では、$C_{A,B}$ および $S_{A,B}$ に関する一般化された三角関数恒等式を導出している。減衰の影響により、これらの恒等式には演算子 $B$ を含む追加の積分項が含まれており、これらは無減衰の場合（$B=0$）には消失する。これらの恒等式は、非同次方程式および関連する $C_0$-群の性質を用いて導出されている。

• 非同次方程式: この枠組みは、非同次方程式 $u'' + 2Bu' - Au = f(t)$にも拡張されている。著者らは、この場合の古典的および弱解の存在と一意性を、$S_{A,B}$と強制項$f$ との畳み込みを含む定数変化の公式を用いて証明している。

意義と範囲
本論文は、バナッハ空間における減衰波方程式の一般的な枠組みを提供すると主張しており、古典的な理論（通常、$B=0$ であるか、あるいはヒルベルト空間において $A$ が自己共役であることを想定している）を、非有界な減衰を伴うケースへと拡張している。強調されている主要な意義は、減衰項が適切性のために不可欠な状況、具体的には、無減衰の演算子 $A$ が余弦族を生成しないが、 $B$ の構造によって減衰系が適切となるケースを扱える点にある。

著者らは、以下の幅広い例に対して自らの仮説の適用可能性を示している：

• 変数係数を持つ二階偏微分方程式（PDE）。
• 高階の偏微分方程式（例：四階および六階の方程式）。
• 減衰波方程式の結合系。
• 局在パターンに沿った非線形偏微分方程式の線形化。

本研究は、抽象的な演算子理論と具体的な偏微分方程式モデルとの間の溝を埋めるものであり、標準的なヒルベルト空間のツール（自己共役性など）が利用できない減衰系を分析するための統一的なアプローチを提供している。論文は、位相空間 $Y \times X$ が一次系の適切性によって一意に決定されることを述べることで、無減衰の場合との理論的な並行関係を完結させている。