Existence of solutions for time-dependent Signorini-type problems in linearised viscoelasticity

技術要約：線形粘弾性における時間依存型シニョリ問題の解の存在性

問題定式化
本論文は、規定された半空間内に留まるよう拘束された、三次元の線形粘弾性体の数学的モデリングを扱う。物体は時間依存の外部体積力を受け、等方性かつ均質な材料特性を持つ線形弾性理論を用いてモデル化されている。拘束はシニョリ型の条件によって制御されており、これは変形した物体の構成が、単位法線ベクトル $q$ によって定義される半空間の境界を横切らないことを要求するものである。

核心となる課題は、メモリ依存の構成則（粘性）と一意的接触拘束を組み込んだ、双曲型変分不等式に関する適切に設定された（well-posed）初期値境界値問題を定式化することにある。本研究の特定の焦点は、従来の文献ではモデルの制限により除外されることが多かった、時刻 $t=0$ において物体が既に障害物に接触している可能性のある初期条件の取り扱いにある。記述された問題 $P(\Omega)$ は、慣性、弾性、粘性、および外力を含む双曲型変分不等式を満たす変位場 $u$ を求め、特定の正則性を要求する。

手法
解の存在性は、二層の近似戦略を通じて確立される：

1. ペナルティ法（Penalization）: 一意的拘束は、ペナルティパラメータ $\kappa > 0$ を導入することで緩和される。これにより、変分不等式はペナルティ化された変分方程式の列 $P_\kappa(\Omega)$ へと変換される。このペナルティ項は、隙間関数（gap function）の負の部分を用いた非線形作用素を用いて構成され、拘束条件に違反することによるエネルギーコストを表している。
2. ガラーキン近似（Galerkin Discretization）: ペナルティ化された問題は、ガラーキン法を用いて空間的に離散化される。直交基底によって張られる有限次元部分空間への射影により、偏微分方程式は常微分方程式（ODE）の系へと簡約される。非線形ペナルティ項のリプシッツ連続性により、これらのODE系の解の存在は標準的な定理によって保証される。

主要な解析手法と結果
離散化次元 $m \to \infty$ およびペナルティパラメータ $\kappa \to 0$ の極限への移行は、いくつかの重要な解析的ステップに依存している：

• エネルギー評価（Energy Estimates）: 近似解に対して、適切なソボレフ・ボッシュ（Sobolev-Bochner）空間（$L^\infty(0, T; V(\Omega))$, $L^\infty(0, T; L^2(\Omega))$ など）における一様有界性が導かれる。これらの評価には、コーンの不等式、弾性と粘性のテンソルの正定値性、およびグロンウォールの不等式が利用される。
• トレース作用素のコンパクト性: 本論文の極めて重要な貢献は、補題 4.2 において示される、時間依存型のトレース作用素のコンパクト性の確立である。この結果は、接触条件から生じる境界項を扱うために不可欠であり、オービン＝リオン＝シモン（Aubin-Lions-Simon）の定理を用いて証明されている。
• 単調性と収束（Monotonicity and Convergence）: ペナルティ作用素の単調性とリプシッツ連続性により、ミンティ・ブロウダー（Minty-Browder）型の議論の適用が可能となる。これにより、ペナルティ化された解の極限が元の変分不等式を満たし、極限において拘束が厳密に強制されることが保証される。
• 初期条件: 本手法は、初期速度データ $u_1$ を明示的に扱い、初期変位 $u_0$ が障害物に接触している状態（$u_0 \in U(\Omega)$）も許容する。これは、非接触の初期状態を要求したり終端条件を課したりしていた従来のアプローチの限界を克服するものである。

主要定理

• 定理 4.4: 作用する体積力 $f$ が $H^1(0, T; L^2(\Omega))$ に属するという仮定の下で、本論文は時間依存型シニョリ問題 $P(\Omega)$ の解が少なくとも一つ存在することを証明する。その解は、正則性 $u \in L^\infty(0, T; U(\Omega))$ および $\dot{u} \in C^0([0, T]; L^2(\Omega)) \cap L^2(0, T; V(\Omega))$ を有する。
• 定理 4.5: 質量密度、弾性、および粘性定数の間の特定の「小ささの条件」（粘性効果に対する弾性の優位性を意味する）を満たす材料について、本論文は漸近安定性を実証する。具体的には、時刻 $T_0$ 以降に外力が除去された場合、物体は指数的な減衰率で基準構成へと戻る。これはケルビン・フォークト（Kelvin-Voigt）材料の理論的挙動と一致する。

意義と新規性
本論文は、粘弾性障害物問題に関する文献に対し、以下の明確な貢献を主張している：

1. 新しい解の概念: 線形粘弾性における時間依存型シニョリ問題に対する、古典的な楕円型障害物問題と整合し、初期接触を許容する解の概念を導入している。
2. 手法の進展: ベクトル値測量に依存したり終端条件を課したりする従来の研究とは異なり、本アプローチはペナルティ法とトレース作用素に関する新しいコンパクト性の結果を組み合わせている。
3. 広範な適用可能性: 本手法は三次元におけるベクトル大きさの問題に適用可能であり、関連研究でしばしば見られる追加の正則性仮定や特定の初期構成（非接触）を必要としない。
4. 漸近解析: 外力が取り除かれた際の解の指数減衰を厳密に証明しており、拘束下にあるケルビン・フォークト粘弾性体のエネルギー散逸という物理的直感を裏付けている。

本研究は、変分不等式、幾何学的拘束フレームワーク、および進化方程式論の概念を統合することで、三次元の時間依存型粘弾性における文脈でこれまで未解決とされていたクラスの問題に対する存在性の問題を解決している。