[論文レビュー] An algebraic analysis framework for quantum calculus

Piotr Multarzyński|arXiv (Cornell University)|Jul 27, 2010

Algebraic structures and combinatorial models参考文献 3被引用数 3

ひとこと要約

本稿は、集合 M に張力構造を備えた2つの可換な全単射 τ および σ を用いた、量子微積分の統一的代数的枠組みを提示する。これは h-および q-微積分を一般化するものであり、右逆演算子と関連する定積分を初期演算子を用いて定義することで、Dτ,σ という量子微分作用素を確立する。特定の τ および σ の選択により、既知の微積分形式が回復される。

ABSTRACT

An algebraic analysis framework for quantum calculus is proposed. The quantum derivative operator $D_{τ,σ}$ is based on two commuting bijections $τ$ and $σ$ defined on an arbitrary set $M$ equipped with a tension structure determined by a single tension function $θ$, i.e. a 1-dimensional case is analyzed here. The well known cases, i.e. $h$- and $q$-calculi together with their symmetric versions, can be obtained owing to special choice of mappings $τ$ and $σ$.

研究の動機と目的

• 離散的および連続的設定に適用可能な、量子微積分の一般化された代数的解析枠組みの構築。
• 2つの可換な全単射 τ および σ を用いて、h-微積分と q-微積分を1つの作用素枠組みに統合すること。
• 集合 M 上の張力関数 θ を用いて定義される量子微分作用素 Dτ,σ の定義。
• 初期演算子と右逆数を用いた定積分の形式化。これは代数的解析における積分概念の一般化である。
• 微分作用素に類似した性質を示す、修正されたライブニッツ則を満たす高階差分型作用素への枠組みの拡張。

提案手法

• 集合 M に張力関数 θ を備えた2つの可換な全単射 τ および σ を用いて、量子微分作用素 Dτ,σ を定義する。
• 右逆演算子 D ∈ R(X) 及びその右逆数 R ∈ RD を導入し、右逆数の族は R = R1 + (I - R1D)A (A ∈ L0(X)) の形に特徴づけられる。
• 不定積分 I(x) = Rx + ZD を、すべての x の原始関数の集合として定義する。ここで ZD は D の核である。
• 初期演算子 F ∈ FD を用いて定積分 Iαβ = FβR - FαR を構成する。ここで F = I - RD であり、F は ZD への射影である。
• 定積分と初期値の間の重要な関係式 IαβD = Fβ - Fα を確立する。
• 高階作用素に一般化する際、δτ,σ を、δ(f1f2) = f2(τ)δ(f1) + f1(σ)δ(f2) - f1(σ)f2(τ)δ(1) を満たすように定義する。δ(1) = 0 とすることで、微分作用素に類似した性質を実現する。

実験結果

リサーチクエスチョン

• RQ1 2つの可換な全単射 τ および σ を用いて、h-微積分と q-微積分をどのように統一的な代数的枠組みに統合できるか。
• RQ2 張力関数 θ は、一般の集合 M 上での量子微分作用素 Dτ,σ の定義において果たす役割は何か。
• RQ3 代数的解析枠組みにおける右逆数と初期演算子は、量子微積分における定積分をどのように一般化するか。
• RQ4 高階作用素 δτ,σ が微分作用素に類似した修正されたライブニッツ則を満たすために必要な条件は何か。
• RQ5 特定の τ、σ、θ の選択により、この枠組みは既知の h-および q-微積分の結果を回復できるか。

主な発見

• 量子微分作用素 Dτ,σ は h-および q-微積分を一般化しており、τ(x) = x + h および σ(x) = x と選択することで h-微積分が回復される。
• q-微積分は τ(x) = qx および σ(x) = x と選択し、適切な張力関数 θ を用いることで回復される。
• 定積分 Iαβ = FβR - FαR は IαβD = Fβ - Fα を満たし、初期値理論と整合的であることが保証される。
• 任意の右逆数 R および初期演算子 F に対して、不定積分は I(x) = Rx + ZD で与えられ、ここで ZD は D の核である。
• この枠組みにより、一般化されたライブニッツ則を満たす高階量子 (τ,σ)-差分型作用素の構成が可能になる。
• δ(1) = 0 のとき、作用素 δτ,σ は量子 (τ,σ)-微分作用素に変換され、τ = σ = idM の場合、標準的な1階微分作用素に簡約される。