[論文レビュー] Genuine Lie semigroups and semi-symmetries of PDEs

Elemér E Rosinger|ArXiv.org|Apr 26, 2006

Mathematical and Theoretical Analysis参考文献 8被引用数 3

ひとこと要約

この論文は、真のリー半群（GLS）を導入する—$ \mathcal{C}^\infty(M,M)$ 内の滑らかで可逆でない座標変換であり、古典的なリー群の対称性を可逆でない写像へと拡張するものである。偏微分方程式（PDE）の解をグラフとして埋め込み、パラメトリック表現を用いることで、GLSは解空間全体に作用し、可逆性を要しない半対称性を可能にし、解の構造を保存する。これにより、微分同相写像に制限されないリーの対称性手法が一般化される。

ABSTRACT

Any Lie group G acting on a Euclidean nonvoid open subset M can be seen as a subgroup of the smooth diffeomorphisms Diff^\infty(M,M) of M into itself. Thus actions by such Lie groups G correspond to smooth coordinate transforms on M which, in particular, have smooth inverses. In Rosinger [1, chap. 13], the study of Lie semigroups G in the vastly larger semigroup C^\infty(M,M) of smooth maps of M into itself was initiated. Such semigroups were named "genuine Lie semigroups", or in short, GLS, since they are no longer contained in Diff^\infty(M,M), thus they correspond to smooth coordinate transforms which need not have smooth inverses. Genuine Lie semigroups, or GLS, have a major interest since they still can transform solutions of linear or nonlinear PDEs into other solutions of the respective equations, thus leading to the vastly larger class of "semi-symmetries" of such equations. Certain Lie semigroups have earlier been studied in the literature, Hilgert, et.al. However, such semigroups have always been contained in suitable Lie groups, thus they have been contained in Diff^\infty(M,M) as sub-semigroups. In particular, the coordinate transforms defined by them were always invertible, unlike in the case of "genuine Lie semigroups", or GLS, studied here.

研究の動機と目的

• 偏微分方程式（PDE）の古典的なリー群の対称性を、可逆な微分同相写像を超えて、非可逆な滑らかな変換へと拡張すること。
• 可逆性を要しない、滑らかな写像による解のグラフへのグローバル作用を、パラメトリック表現を用いて定義すること。
• 可逆でないが滑らかな写像のクラスである真のリー半群（GLS）を用いて、$\\mathcal{C}^\\infty(M,M)$ 内で半対称性の枠組みを確立すること。ただし、GLSは $\\mathrm{Diff}^\\infty(M,M)$ に含まれない。
• 解を保存する変換が可逆である必要がないことを示し、線形および非線形PDEの古典的対称性手法を一般化すること。

提案手法

• PDEの解 $U: \Omega \to \mathbb{R}$ を、$M = \Omega \times \mathbb{R}$ 内のグラフ $\gamma_U = \{(x, U(x)) \mid x \in \Omega\}$ として埋め込む。
• パラメトリック写像 $V: \Lambda \to M$（$\Lambda \subset \mathbb{R}^n$ は開集合）を用いて解を表現し、より広い変換クラスを可能にする。
• 写像 $g: M \to M$ が滑らかであるとき、$gV = g \circ V$ として、パラメトリック表現に対するグローバルな群作用を定義する。
• この作用をリー群から真のリー半群（GLS）へ一般化する。GLSは $\mathcal{C}^\infty(M,M)$ の部分半群であり、$\\mathrm{Diff}^\\infty(M,M)$ には含まれない。
• 合成が $\mathcal{C}^\infty(M,M)$ 内で結合的で単位元を持つことを利用し、可逆性がなくても半群作用が可能であることを活用する。
• パラメトリック表現を用いることで、変換 $g$ の逆像を要求しない関数への作用を定義できる。

実験結果

リサーチクエスチョン

• RQ1 PDEの解を保存する変換を、可逆な微分同相写像を超えて、非可逆な滑らかな写像へと拡張できるか？
• RQ2 可逆でないが滑らかな写像のクラスである $\mathcal{C}^\infty(M,M)$ 内の半群の構造と役割は何か？
• RQ3 パラメトリック表現を用いて、解のグラフへのリー群作用を非可逆な滑らかな写像へと一般化できるか？
• RQ4 このような一般化された作用が、線形および非線形PDEの対称性理論に与える影響は何か？
• RQ5 真のリー半群を用いて、半対称性を体系的かつ分類的に定義できるか？

主な発見

• 真のリー半群（GLS）は、$\mathcal{C}^\infty(M,M)$ の部分半群であり、$\\mathrm{Diff}^\\infty(M,M)$ に含まれない。これにより、非可逆な滑らかな座標変換が可能となる。
• このような半群によるPDEの解への作用は、パラメトリック表現 $V: \Lambda \to M$ との合成 $gV = g \circ V$ を通じて定義され、変換の可逆性を要しない。
• グローバル作用 $G \times \mathcal{C}^\infty_n(M) \to \mathcal{C}^\infty_n(M)$ は、$gV = g \circ V$ として定義され、微分同相写像に限らず、$\mathcal{C}^\infty(M,M)$ 内のすべての滑らかな写像へ自然に拡張可能である。
• PDEの解はGLS作用のもとで保存され、$V$ が解であれば $gV$ も解となる。これは $g$ が可逆でない場合でも成り立つ。
• この枠組みにより、可逆性が不要な「半対称性」を導入することで、リーの古典的対称性手法が一般化され、対称性のクラスが著しく拡大される。
• パラメトリック表現のアプローチにより、解の変換が統一的に扱えるようになり、可逆性ではなく滑らかさが主な要件となる。