[論文レビュー] Asymptotic analysis of vibrating system containing stiff-heavy and flexible-light parts

Natalia Babych, Yuriy Golovaty|ArXiv.org|Dec 5, 2007

Advanced Mathematical Modeling in Engineering参考文献 15被引用数 4

ひとこと要約

本稿は、剛性と質量密度の比がそれぞれεおよびε⁻¹に比例する、強く対照的な剛性と質量密度を有する1次元振動系における固有値および固有関数の漸近的挙動を分析する。元の問題はパラメータに依存する重み付き空間において自己共役であるが、極限作用素は非自己共役であり、ジョルダン細胞を有し、標準的L²空間において固有値の分岐と完全性の喪失を引き起こす。主な貢献は、固有値および固有関数の完全な漸近展開を厳密に構成し、密接に近接した固有値が二重固有値に収束し、それに対応する根空間が極限作用素の一般化固有空間を近似することを示したことである。

ABSTRACT

A model of strongly inhomogeneous medium with simultaneous perturbation of rigidity and mass density is studied. The medium has strongly contrasting physical characteristics in two parts with the ratio of rigidities being proportional to a small parameter $ε$. Additionally, the ratio of mass densities is of order $ε^{-1}$. We investigate the asymptotic behaviour of spectrum and eigensubspaces as $ε o 0$. Complete asymptotic expansions of eigenvalues and eigenfunctions are constructed and justified. We show that the limit operator is nonself-adjoint in general and possesses two-dimensional Jordan cells in spite of the singular perturbed problem is associated with a self-adjoint operator in appropriated Hilbert space $L_ε$. This may happen if the metric in which the problem is self-adjoint depends on small parameter $ε$ in a singular way. In particular, it leads to a loss of completeness for the eigenfunction collection. We describe how root spaces of the limit operator approximate eigenspaces of the perturbed operator.

研究の動機と目的

• 剛性および質量密度における同時特異摂動を伴う1次元振動系のスペクトル漸近挙動を研究すること。
• 微小パラメータε → 0における固有値および固有関数の挙動を、剛性比がεで密度比がε⁻¹である臨界ケースにおいて分析すること。
• 摂動問題がεに依存するヒルベルト空間において自己共役であるのに対し、極限作用素がジョルダン細胞を有する非自己共役となるという表面的矛盾を解明すること。
• 摂動系における固有関数の分岐と、極限非自己共役作用素の根空間構造との関係を確立すること。
• 固有値および固有関数の完全な漸近展開を正当化し、摂動系における固有関数平面が極限作用素の根部分空間に収束することを示すこと。

提案手法

• 剛性・質量が著しく異なる2つの領域に分割された領域におけるスペクトル問題を定式化する：(a,0)では小剛性・大密度の「剛性・重い」部分、(0,b)では大剛性・小密度の「柔軟・軽い」部分。
• εに依存する重み付きL²空間Lεを定義し、各ε > 0に対して摂動問題が自己共役となるようにする。
• ビショフ＝リュスティニク法を用いて、ε^{1/2}のべき級数としての固有値および固有関数の形式的漸近展開を構成する。
• 準モードを導入し、極限において二重固有値から分岐する2つの近接固有値の存在を検証する。
• 直交射影および収束解析を用いて、摂動系における2つの固有関数が張る平面が、極限作用素の根部分空間にノルム収束することを示す。
• 固有関数が同じ極限固有関数Uに収束する一方で、その差をε^{-1/2}でスケーリングしたものが、極限作用素の付随関数（アドジョイント関数）γU∗に収束することを証明し、根空間構造を確立する。

実験結果

リサーチクエスチョン

• RQ1 微小パラメータεに特異的に依存する計量を持つ自己共役問題の極限作用素が、なぜ非自己共役となるのか。
• RQ2 剛性と密度の摂動が逆比例する臨界ケース（k1/k2 = ε、r1/r2 = ε⁻¹）において、固有値はどのように分岐するか。
• RQ3 この特異的摂動を伴う振動系において、ε → 0における固有関数および固有値の漸近的構造は何か。
• RQ4 εに依存するLε空間では正規直交性が保たれるにもかかわらず、標準的L²空間においてなぜ固有関数の完全性が失われるのか。
• RQ5 摂動系における固有関数平面は、極限非自己共役作用素の根部分空間にどのように収束するか。

主な発見

• 極限作用素は非自己共役であり、二重のジョルダン細胞を有するが、摂動問題はεに依存するヒルベルト空間Lεにおいて自己共役である。
• 固有値λ⁻_εおよびλ⁺_εは、二重固有値µjから分岐し、漸近展開λ±_ε / ε = µj ± √ε ω + ε ν±₂ + ⋯ + ε^{n/2} ν±_n + O(ε^{(n+1)/2})を満たす。
• 固有関数uε,jおよびuε,j+1は同じ極限固有関数Uに収束するが、その差をε^{-1/2}でスケーリングしたものは、極限作用素の付随関数γU∗に収束する。
• uε,jとuε,j+1が張る平面π(ε)は、ノルム収束により二重固有値µjに対応する根部分空間πに収束し、ε → 0で∥Pπ(ε) − Pπ∥ → 0を満たす。
• 漸近展開における剰余項の推定は、固有値ではO(ε^{(n+1)/2})、固有関数誤差のH¹ノルムではO(ε^{(n+1)/2})のオーダーである。
• 固有関数の集合はL²(a,b)において完全性を失うが、極限非自己共役作用素に関して、固有関数とその付随関数を用いた一般化された意味での完全性は保たれる。