[論文レビュー] Hopf algebra techniques to handle dynamical systems and numerical integrators

Ander Murua, J. M. Sanz‐Serna|arXiv (Cornell University)|Feb 27, 2017

Numerical methods for differential equations参考文献 23被引用数 5

ひとこと要約

この論文は、シャッフルおよびコンネス＝クライマーのホップ代数を超えてより一般的なホップ代数に一般化することで、力学系および数値積分法の解析にホップ代数技法を拡張し、分割積分法における高次平均系および修正方程式の計算をより効率的に行う。主な貢献は、抽象的なホップ代数の文字から、リー代数の準同型を介して微分系における具体的な解へと写像する統一的な代数的枠組みを提供することであり、周期的外力や摂動された可積分系のような問題におけるアルゴリズム的効率を著しく向上させる。

ABSTRACT

In a series of papers the present authors and their coworkers have developed a family of algebraic techniques to solve a number of problems in the theory of discrete or continuous dynamical systems and to analyze numerical integrators. Given a specific problem, those techniques construct an abstract, {\em universal} version of it which is solved algebraically; then, the results are tranferred to the original problem with the help of a suitable morphism. In earlier contributions, the abstract problem is formulated either in the dual of the shuffle Hopf algebra or in the dual of the Connes-Kreimer Hopf algebra. In the present contribution we extend these techniques to more general Hopf algebras, which in some cases lead to more efficient computations.

研究の動機と目的

• 古典的なシャッフルおよびコンネス＝クライマーの構成を超えて、力学系および数値積分法の解析にホップ代数を用いる一般化された代数的枠組みを構築すること。
• より一般的なホップ代数を活用することで、分割積分法における高次平均系および修正方程式の解法における計算効率を向上させること。
• 摂動された微分系における平均化、正規形、誤差解析の取り扱いを、抽象的ホップ代数からベクトル場のリー代数への準同型を通じて統一すること。
• 語系列およびB系列の概念を、より広範なホップ代数的構造へと一般化し、形式的解の体系的計算を可能とすること。
• 一般化されたホップ代数的構造から導かれる修正方程式を用いて、ストラング積分法および他の積分法の分析のための枠組みを提供すること。

提案手法

• 滑らかな関数上の作用素微分方程式として力学系を定式化し、自己準同型のリー代数内の微分作用素を用いる。
• 階数付き可換ホップ代数 H の文字の群における抽象的系を構築し、抽象的設定において代数的に解く。
• 階数付きリー代数 g̃ から微分作用素のリー代数へのリー代数準同型 Ψ を適用し、抽象的解を元の系における具体的な解へ写像する。
• ホップ代数の双対を用いて形式的級数の合成則を定義し、語系列またはB系列表現の体系的導出を可能にする。
• 群作用を符号化するコモジュール写像を用いて H₀ と H から新しいホップ代数 H̄ を構成することで、積群および半直積リー代数の構造を含むように枠組みを一般化する。
• 一般化されたホップ代数の文字群における群元の像として、修正系の形式的解を特定することにより、数値積分法の修正方程式を導出する。

実験結果

リサーチクエスチョン

• RQ1 シャッフルおよびコンネス＝クライマーのホップ代数を超えて、力学系の解析における計算効率を向上させるために、ホップ代数技法をどのように一般化できるか？
• RQ2 Ψ における準同型は、ホップ代数の文字群における抽象的代数的解を微分系における具体的な解へ写像する際に果たす役割は何か？
• RQ3 ホップ代数の構造をどのように変更すれば、周期的外力が作用する微分方程式における高次平均系を効率的に計算できるか？
• RQ4 この枠組みはストラング公式のような分割積分法へと拡張可能か？ また、誤差解析に用いる修正方程式はどのように得られるか？
• RQ5 一般化されたホップ代数は、複雑な系のダイナミクスをモデル化するための積群および半直積リー代数構造をどのように可能にするか？

主な発見

• 本論文は、古典的なシャッフルまたはコンネス＝クライマーのホップ代数に代えてより一般的なホップ代数を用いることで、力学系における高次平均系の計算がより効率的に行えることを示している。
• 一般化されたホップ代数の文字群における抽象的解は、Ψ を介して元の微分系における語系列またはB系列の形式的解へ写像される。
• ストラング積分法に対しては、その解が修正方程式の解と形式的に一致する修正方程式が導出され、厳密な誤差解析が可能になる。
• 摂動された可積分系のための修正方程式の構築は、数値フローが修正されたベクトル場を持つ系の解と一致する形式的指数 β^τ を特定することによって可能になる。
• 本論文は、コモジュール写像および双対リー余代数を用いて構成された一般化されたホップ代数 H̄ から、解析に用いられる積群および半直積リー代数構造が導出可能であることを確立している。
• 本手法は、平均化、正規形、中心多様体計算などの問題に対する体系的取り扱いを可能とするように、拡張された語系列をより広範な代数的構造へ一般化している。