[論文レビュー] On decompositions of trigonometric polynomials

Fedor Pakovich|arXiv (Cornell University)|Jul 22, 2013

Advanced Topics in Algebra参考文献 25被引用数 4

ひとこと要約

本稿は、非定数多項式 $ P_1, P_2 \in \mathbb{R}[x] $ および非定数三角多項式 $ w_1, w_2 \in \mathbb{R}_t[\theta] $ に対して、関数方程式 $ P_1 \circ w_1 = P_2 \circ w_2 $ のすべての解を完全に分類する。代数的および複素解析的技法、特にローラン多項式の分解とチェビシェフ型恒等式を用いて、著者らはすべての解がアフィン同値を除いて、チェビシェフ多項式の可換性または $ \cos(k\theta + b) $ と $ \sin(k\theta + b) $ を含む三角恒等式に起因することを示している。

ABSTRACT

Let $\mathbb R_t[θ]$ be the ring generated over $\mathbb R$ by $\cosθ$ and $\sinθ$, and $\mathbb R_t(θ)$ be its quotient field. In this paper we study the ways in which an element p of $\mathbb R_t[θ]$ can be decomposed into a composition of functions of the form $p=R(q),$ where $\mathbb R\in \mathbb R(x)$ and $q\in \mathbb R_t(θ)$. In particular, we describe all possible solutions of the functional equation $R_1(q_1)=R_2(q_2)$, where $R_1, R_2 \in \mathbb R[x]$ and $q_1,q_2\in \mathbb R_t[θ].$

研究の動機と目的

• 関数方程式 $ P_1 \circ w_1 = P_2 \circ w_2 $ のすべての解を、$ P_1, P_2 \in \mathbb{R}[x] $ および $ w_1, w_2 \in \mathbb{R}_t[\theta] $ を満たし、アフィン同値を除いて分類すること。
• 実数体上での三角多項式へのリット型分解理論を、多項式の文脈から拡張すること、特に三角モーメント問題の文脈において。
• 多項式分解理論に類似したが、三角関数的設定に適合させた $ \mathbb{R}_t[\theta] $ の関数的分解の構造的特徴づけを確立すること。
• 三角モーメント問題および三角係数をもつアベル型微分方程式の中心問題に中心的な役割を果たす、三角多項式の多重分解の構造を解明すること。

提案手法

• 著者らは、三角多項式をローラン多項式へ写像する変換 $ \varphi $ を用い、問題を $ \mathbb{C}(z) $ 内の分解に還元する。
• 彼らは先行研究におけるローラン多項式分解の分類（定理3.2）を適用し、関連する有理関数の構造に基づいて解を5つのケースに分類する。
• 各ケースについて、$ w_1, w_2 \in \mathbb{R}_t[\theta] $ および $ P_1, P_2 \in \mathbb{R}[x] $ を満たすために、係数の実数性と関数形の対称性を複素共役と対称性の議論を用いて分析する。
• 彼らはチェビシェフ多項式 $ T_n $、三角恒等式、および関数 $ U_n $、$ V_n $ を用いて、$ \cos(k\theta + b) $、$ \sin(k\theta + b) $、およびそれらの組み合わせを含む解をモデル化する。
• アフィン同値を用いて解を正規化する：$ w_1 \sim \widetilde{w}_1 $、$ P_1 \sim \widetilde{P}_1 $、一次多項式 $ \mu \in \mathbb{R}[x] $ を用いて、分類を標準形に還元する。
• 係数制約 $ \overline{c} = 1/c $ および $ |c| = 1 $ を用いた背理法により、特定のケース（例：ケース5）を除外し、実数値性と整合しないことを示している。

実験結果

リサーチクエスチョン

• RQ1 関数方程式 $ P_1 \circ w_1 = P_2 \circ w_2 $ のすべての可能な解は、$ P_1, P_2 \in \mathbb{R}[x] $、$ w_1, w_2 \in \mathbb{R}_t[\theta] $ を満たし、アフィン同値を除いて、どのように分類できるか？
• RQ2 三角多項式の分解は、三角モーメント問題および三角係数をもつアベル微分方程式の中心問題とどのように関係しているか？
• RQ3 多項式に対するリット型分解理論を三角多項式へ拡張することは可能か？ もしそうであれば、解の新しい構造的形態は何か？
• RQ4 チェビシェフ多項式および三角恒等式（例：$ \sin^2\theta = 1 - \cos^2\theta $）は、関数方程式の解を生成するためにどのように機能するか？
• RQ5 ローラン多項式分解分類におけるどのケースが実数値の三角多項式解をもたらし、非実数ケースはどのように除外できるか？

主な発見

• 関数方程式 $ P_1 \circ w_1 = P_2 \circ w_2 $ において、$ P_1, P_2 \in \mathbb{R}[x] $、$ w_1, w_2 \in \mathbb{R}_t[\theta] $ を満たすすべての解は、アフィン同値を除いて、チェビシェフ多項式の可換性 $ T_n \circ T_m = T_m \circ T_n $ または $ \cos(k\theta + b) $ と $ \sin(k\theta + b) $ を含む三角恒等式に起因する。
• 分類のケース3) では、$ w_1 = \mu_1 \circ \cos(k\theta + b) S(\sin(k\theta + b)) $、$ w_2 = \mu_2 \circ \sin(k\theta + b) $ の形を取り、$ \mu_1, \mu_2 \in \mathbb{R}[x] $、$ S \in \mathbb{R}[x] $、$ c = \cos a + i\sin a $、$ a \in \mathbb{R} $ である。
• ケース4) では、$ w_1 = \mu_1 \circ U_m(\varepsilon z) \circ (cz^k) $、$ w_2 = \mu_2 \circ U_n(z) \circ (cz^k) $ に対応し、$ \varepsilon^{nlm} = -1 $、$ c \in \mathbb{C}^* $、$ |c| = 1 $、$ \mu_1, \mu_2 \in \mathbb{R}[x] $、$ F \in \mathbb{R}[x] $ である。
• 関数 $ \frac{i}{\sqrt{3}}V_2 + \frac{2\sqrt{2}}{\sqrt{3}}U_1 $ を含むケースは、係数の共役における矛盾 $ \overline{c}c = -1 $ により除外されるが、これは $ c \in \mathbb{C}^* $ かつ $ |c| = 1 $ の条件下では不可能である。
• 著者らは、任意の解が、先に述べたアフィン変換を施して先頭係数を正規化し、実数値性を保証した後、$ \cos(k\theta + b) $、$ \sin(k\theta + b) $、および実多項式を含む合成構造から生じることを証明している。
• 分類は完全である：すべての解は、アフィン同値を除いて、2つの標準的族—チェビシェフ型可換性と $ \cos(k\theta + b) $、$ \sin(k\theta + b) $、および実多項式を含む三角多項式の合成—によってカバーされている。