[論文レビュー] Infinite Bar-Joint Frameworks, Crystals and Operator Theory

J. C. Owen, S. C. Power|arXiv (Cornell University)|Sep 20, 2010

Structural Analysis and Optimization参考文献 36被引用数 43

ひとこと要約

本稿では、剛性行列の行列式記号関数を導入することで、無限大のバー・ジョイントフレームワーク、特に結晶フレームワークを厳密に解析するための作用素論的枠組みを構築する。平方可 summable な無限小剛性および可動性は、この関数のスペクトル的性質によって決定され、主な結果として、RUM（剛性単位モード）スペクトルが記号関数の行列式のゼロ集合に一致することが示され、四面体結晶に対するWegnerの結果を一般化する。

ABSTRACT

A theory of flexibility and rigidity is developed for general infinite bar-joint frameworks (G,p). Determinations of nondeformability through vanishing flexibility are obtained as well as sufficient conditions for deformability. Forms of infinitesimal flexibility are defined in terms of the operator theory of the associated infinite rigidity matrix R(G,p). The matricial symbol function of an abstract crystal framework is introduced, being the matrix-valued function on the $d$-torus representing R(G,p) as a Hilbert space operator. The symbol function is related to infinitesimal flexibility, deformability and isostaticity. Various generic abstract crystal frameworks which are in Maxwellian equilibrium, such as certain 4-regular planar frameworks, are proven to be square-summably infinitesimally rigid as well as smoothly deformable in infinitely many ways. The symbol function of a three-dimensional crystal framework determines the infinitesimal wave flexes in models for the low energy vibrational modes (RUMs) in material crystals. For crystal frameworks with inversion symmetry it is shown that the RUMS appear in surfaces, generalising a result of F. Wegner for tetrahedral crystals.

研究の動機と目的

• 有限近似を超えた無限大のバー・ジョイントフレームワークの剛性および柔軟性に関する包括的な数学的理論を構築すること。
• 無限大の剛性行列に作用素論を適用することで、無限小の柔軟性および剛性を形式化すること。
• 行列式記号関数のスペクトル的性質と結晶フレームワークにおける物理的低エネルギー振動モード（RUM）との関係を確立すること。
• 四面体結晶におけるRUMに関するWegnerの結果を一般化し、逆対称性を有する結晶フレームワークにおいてRUMが3次トーラス上に表面として現れることを証明すること。
• 結晶モチーフのデータからRUMを計算的および理論的に最初から同定するための道具を提供すること。

提案手法

• フレームワークの一次的制約を表す有界線形作用素としての剛性行列 $ R(G,p) $ を $ \ell^2 $ 上に導入する。
• 結晶フレームワークのモチーフから導かれる作用素論的表現として、$ d $-トーラス上の行列式記号関数 $ \Phi(z) $ を定義する。
• フーリエ解析および群表現論を用いて、無限小のゆがみを波動モード $ e^{2\pi i k \cdot x} \xi $ として表現し、ここで $ \xi $ は $ \Phi(z) $ の核に属する。
• 行列式 $ \det \Phi(z) $ のゼロ集合を分析してRUMスペクトルを同定し、モードの重複度関数 $ \mu(z) $ によって重複度を定める。
• 対称性の簡約とコンピュータ代数を用いて、カゴメ格子やコーナー結合正方形といった特定のフレームワークの $ \Phi(z) $ を計算する。
• 逆対称性を有する結晶フレームワークに対して、RUM集合が実代数的表面の和集合であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 作用素論を用いた無限大のバー・ジョイントフレームワークにおける無限小の柔軟性および剛性をどのように形式化できるか。
• RQ2 行列式記号関数は、結晶フレームワークにおける周期的および波動的無限小ゆがみをどのように特徴づけるか。
• RQ3 記号関数の行列式のゼロは、物質結晶で観測される物理的Rigid Unit Modes（RUM）とどのように関係するか。
• RQ4 結晶フレームワークが平方可 summable に無限小的に剛性である条件は何か。また、滑らかに変形可能である条件は何か。
• RQ5 シミュレーションを用いずに、モチーフと対称性からRUMスペクトルを解析的に導出できるか。

主な発見

• カゴメ格子フレームワークが平方可 summable に静定的であり、内部の無限小ゆがみを一切持たないことが証明され、そのモード重複度関数 $ \mu(z) $ は3次トーラス内における6つの平面の交点にのみ支持される。
• カゴメ格子のモチーフ剛性行列の行列式が、$ (z-1)(w-1)(u-1)(z-w)(w-u)(u-z) $ のスカラー倍であることが示され、RUMスペクトルの代数的構造が裏付けられる。
• 逆対称性を有する結晶フレームワークに対して、RUM集合が実代数的表面の和集合であることが示され、四面体結晶に対するWegnerの結果が一般化される。
• 行列式記号関数 $ \Phi(z) $ は、無限小波動ゆがみを完全に特徴づけることができ、$ \xi \in \ker \Phi(z) $ は $ z $-周期的な波動モードに対応する。
• コーナー結合正方形フレームワークは、そのゆがみにおいて一意にアフィン的に収縮し、1つの1セル周期の無限小ゆがみを有しており、平方可 summable に剛性であることが示される。
• 理論により、Maxwell数え上げ法が $ \ell^2 $-剛性と整合的であることが確立され、またMaxwellの法則を満たすフレームワークであっても、無限に多くの方法で柔軟に変形可能である可能性がある。