[論文レビュー] Invariant-based approach to symmetry class detection

Nicolas Auffray, Boris Kolev+1 more|arXiv (Cornell University)|Nov 3, 2011

Elasticity and Material Modeling参考文献 32被引用数 3

ひとこと要約

本稿では、弾性テンソルの調和分解から得られる多項式不変量を用いて、不変量に基づく方法により弾性テンソルの対称性クラスを同定する手法を提示する。$\mathbb{H}^4$ 内の二次形式および高次不変量の可約表現空間における分析を通じて、直交異方性、三重対称性、テトラゴナル、面対称性、立方対称性の各クラスを特徴付ける代数的条件を導出する。本手法は、ノイズや異方性を持つ材料における対称性検出のための数値的に安定したスペクトル法の代替手段を提供する。

ABSTRACT

In this paper, the problem of the identification of the symmetry class of a given tensor is asked. Contrary to classical approaches which are based on the spectral properties of the linear operator describing the elasticity, our setting is based on the invariants of the irreducible tensors appearing in the harmonic decomposition of the elasticity tensor [Forte-Vianello, 1996]. To that aim we first introduce a geometrical description of the space of elasticity tensors. This framework is used to derive invariant-based conditions that characterize symmetry classes. For low order symmetry classes, such conditions are given on a triplet of quadratic forms extracted from the harmonic decomposition of the elasticity tensor $C$, meanwhile for higher-order classes conditions are provided in terms of elements of $H^{4}$, the higher irreducible space in the decomposition of $C$. Proceeding in such a way some well known conditions appearing in the Mehrabadi-Cowin theorem for the existence of a symmetry plane are retrieved, and a set of algebraic relations on polynomial invariants characterizing the orthotropic, trigonal, tetragonal, transverse isotropic and cubic symmetry classes are provided. Using a genericity assumption on the elasticity tensor under study, an algorithm to identify the symmetry class of a large set of tensors is finally provided.

研究の動機と目的

• 座標系に依存せず、ノイズに強く、与えられた弾性テンソルの対称性クラスを同定する手法の開発。
• 特徴多項式の根を求める必要があるため、摂動に対して不適切なスペクトル法の数値的不安定性を克服すること。
• 特に弾性テンソルの調和分解における可約成分に注目した、不変量および共変量に基づく幾何学的かつ代数的枠組みの構築。
• 直交異方性、三重対称性、テトラゴナル、面対称性、立方対称性の5つの対称性クラスに対して、$\mathbb{H}^4$ の要素を用いた明示的な代数的条件を提供すること。
• やや弱い仮定の下で、一般化されたアルゴリズムを提示し、大規模な弾性テンソル集合への実用的応用を可能にすること。

提案手法

• 本手法は、弾性テンソル$\mathbf{C}$ の調和分解に基づくもので、$\mathbb{E}\mathrm{la}$ を可約表現に分解し、4階対称テンソルのための$\mathbb{H}^4$ 空間を含む。
• 特に$\mathrm{SO(3)}$ の作用における弾性テンソルの多項式不変量および共変量に着目する。
• 低対称性クラス（例：直交異方性）に対しては、調和分解から抽出された3つの二次形式に基づく条件を導出する。
• 高対称性クラス（例：立方対称性、面対称性）に対しては、$\mathbb{H}^4$ 内の高次不変量を用い、群論的道具を用いて明示的な代数的関係を導出する。
• テンソル空間の等方性の階層構造を活用し、正規化群および固定点集合論を用いて対称性タイプを特徴付ける。
• 導出された不変量が同定に十分であることを保証するため、一般性仮定を適用し、テンソル分類のための実用的なアルゴリズムパイプラインを可能にする。

実験結果

リサーチクエスチョン

• RQ1 特徴多項式の根を求める必要があるため、数値的に不安定なスペクトル分解に依存せずに、4階弾性テンソルの対称性クラスをどのように同定できるか。
• RQ2 直交異方性、三重対称性、テトラゴナル、面対称性、立方対称性などの特定の対称性クラスに対応する弾性テンソルの代数的不変量は何か。
• RQ3 弾性テンソルの調和分解を用いて、各対称性クラスを特徴付ける明示的かつ多項式ベースの条件を導出できるか。
• RQ4 $\mathbb{H}^4$ 成分の不変量は、全弾性テンソルの対称性タイプとどのように関係するか。
• RQ5 $\mathrm{SO(3)}$ の下での弾性テンソルの軌道空間の構造は何か。また、その構造を用いて、頑健な分類アルゴリズムを定義できるか。

主な発見

• 著者らは、不変量に基づく枠組みを用いて、古典的な Mehrabadi-Cowin 条件（対称面の存在）を再取得した。
• 直交異方性（$[\mathbb{D}_2]$）、三重対称性（$[\mathbb{D}_3]$）、テトラゴナル（$[\mathbb{D}_4]$）、面対称性（$[\mathrm{SO}(2)]$）、立方対称性（$[\mathbb{O}]$）の各対称性クラスについて、$\mathbb{H}^4$ 内の多項式不変量を用いた明示的な代数的条件が導出された。
• 各対称性群（$\mathbb{Z}n$、$\mathbb{D}n$、$\mathbb{O}$ など）の正規化群が計算され、商群が明示的に決定され、等方性タイプの完全な分類が可能になった。
• 立方対称性クラスにおいて、固定点空間$V^{\mathbb{O}}$ の次元は、$k/p$ の床関数を含むトレース公式で与えられ、計算可能な不変量条件を提供する。
• ノイズの影響下でも、特徴多項式の根を求める問題が不適切になるスペクトルベース分類の代替手段として、本手法は数値的に安定である。
• 一般性仮定の下で、本稿は、多項式不変量およびそれらの代数的関係のみを用いて、大規模な弾性テンソル集合の対称性クラスを同定する実用的アルゴリズムを提示した。