[論文レビュー] On Pasting and Reversing operations over some rings

Primitivo B. Acosta-Humánez, Adriana Lorena+1 more|arXiv (Cornell University)|Oct 10, 2010

Rings, Modules, and Algebras参考文献 14被引用数 7

ひとこと要約

本稿では、多項式環および線形微分作用素環上で、貼り付け（Pasting）および反転（Reversing）の操作を導入し、その代数的性質を分析している。具体的には、可逆性、加法および乗法との整合性、回文的・反回文的構造との関係が明らかにされている。主な結果として、微分作用素とその反転の積は、∂+1で割り切れることが示されており、これによりこれらの操作が微分方程式の解と関連していることが示唆されている。

ABSTRACT

In this paper we study two operations, Pasting and Reversing, defined from a natural way to be applied over some rings such as the ring of polynomials and the ring of linear differential operators, which is a differential ring. We obtain some properties of these operations over these rings, in particular over the set of natural numbers, in where we rewrite some properties incoming from recreational mathematics.

研究の動機と目的

• 貼り付けと反転を、特に多項式および線形微分作用素の環上で形式化する。
• これらの操作の構造的性質を調査する。特に、可逆性、環演算との整合性、対称性を含む。
• 反転操作と微分作用素の根や解空間との関係を探索する。
• 組合せ論、微分ガロア理論、および数理物理学への将来的な応用のための基礎的結果を確立する。

提案手法

• 多項式における反転操作を係数の反転として定義し、$\widetilde{P}(x) = x^n P(1/x)$ として形式化する。ここで $n+1 = \text{deg}(P)+1$ である。
• 線形微分作用素 $\mathcal{L} = \sum a_k \partial^k$ の表現において、係数の順序を反転することで、反転操作を線形微分作用素へ拡張する。
• 二つの作用素または多項式の係数列を連結するような操作として、貼り付け演算 $\diamond$ を導入する。
• 反転が対合的（involution）であることを証明する（$\widetilde{\widetilde{P}} = P$）、かつ、同じ長さの条件下で加法および乗法を保存することを示す。
• 特性多項式の性質と、$a \in \mathbb{C}$ に対して $\partial a = a\partial$ が成り立つ可換性を用いて、微分作用素の構造的結果を導出する。
• 回文的および反回文的微分作用素を分析し、それらの積がこのような対称性を保存または生成することを示す。

実験結果

リサーチクエスチョン

• RQ1 貼り付けと反転の操作は、多項式環上で加法および乗法に関してどのように代数的に振る舞うか？
• RQ2 多項式の根とその反転の根との間にはどのような関係があるか？
• RQ3 反転操作は線形微分作用素へどのように一般化できるか？また、どのような代数的性質を保つのか？
• RQ4 貼り付けおよび反転の操作によって、微分作用素の構造的性質（例：回文的・反回文的）はどのように保存されるか？
• RQ5 貼り付けと反転の操作を用いて、$e^{-x}$ を含む微分方程式の解を特徴づけられるか？

主な発見

• 反転操作は $\widetilde{P}(x) = x^n P(1/x)$ を満たし、$n+1 = \text{deg}(P)+1$ であるため、閉形式の表現が得られる。
• 反転操作は対合的である：$\widetilde{\widetilde{P}} = P$ であり、係数の数も保存される：$\mathcal{C}(P) = \mathcal{C}(\widetilde{P})$。
• 反転操作は加法および乗法と可換である：$\widetilde{P+Q} = \widetilde{P} + \widetilde{Q}$ および $\widetilde{P \cdot Q} = \widetilde{P} \cdot \widetilde{Q}$ が成り立ち、$\mathcal{C}(P) = \mathcal{C}(Q)$ の条件下で成立する。
• 微分作用素 $\mathcal{L}$ に対して、$\mathcal{C}(\mathcal{L} \diamond \widetilde{\mathcal{L}})$ が偶数であり、かつ作用素が回文的である場合、$\partial + 1$ は $\mathcal{L} \diamond \widetilde{\mathcal{L}}$ を割り切る。
• $\widetilde{\mathcal{L}}$ の核は、$x^k e^{-\lambda_i x}$ からなることが、$x^k e^{\lambda_i x}$ が $\mathcal{L}$ の核に属するときかつそのときに限り成り立つ。これにより、解空間に双対性が存在することが示される。
• 二つの回文的微分作用素の積は回文的であり、二つの反回文的作用素の積も回文的である。一方、回文的と反回文的作用素の積は反回文的となる。