[論文レビュー] Complete families of solutions for the Dirac equation: an application of bicomplex pseudoanalytic function theory and transmutation operators

Hugo M. Campos, Vladislav V. Kravchenko+1 more|arXiv (Cornell University)|Nov 17, 2011

Algebraic and Geometric Analysis参考文献 16被引用数 12

ひとこと要約

この論文は、双複素擬解析関数論と移行作用素を用いて、空間的一変数に依存するスカラーポテンシャルを有するディラック方程式の解族の完全性を確立する。双複素ベクア方程式とコーシー・リーマン方程式を関連付ける移行作用素を構築することで、形式的べきの展開定理およびランゲ近似定理を証明し、構築された解族がすべての解の空間において完全であることを保証する。

ABSTRACT

The Dirac equation with a scalar and an electromagnetic potentials is considered. In the time-harmonic case and when all the involved functions depend only on two spatial variables it reduces to a pair of decoupled bicomplex Vekua-type equations [8]. Using the technique developed for complex Vekua equations a system of exact solutions for the bicomplex equation is conctructed under additional conditions, in particular when the electromagnetic potential is absent and the scalar potential is a function of one Cartesian variable. Introducing a transmutation operator relating the involved bicomplex Vekua equation with the Cauchy-Riemann equation we prove the expansion and the Runge approximation theorems corresponding to the constructed family of solutions.

研究の動機と目的

• 特定の対称性およびポテンシャル条件の下で、ディラック方程式の解族の完全性を確立すること。
• 従来、利用可能ではなかった双複素設定における、複素擬解析関数論の古典的結果を拡張すること。
• ディラック方程式から生じる双複素ベクア型方程式の解に対する展開定理およびランゲ近似定理を証明すること。
• 双複素設定における形式的べきが、有界な移行作用素の下で複素数のべきの像として得られることを示すこと。

提案手法

• 著者たちは、移行作用素を用いて双複素ベクア方程式とコーシー・リーマン方程式を関連付け、これらの作用素の既知の写像性質を活用する。
• シュレーディンガー方程式のダーブルックス変換に基づく移行作用素を構築し、作用素およびその逆作用素の有界性と可逆性を保証する。
• 双複素設定における形式的べきは、移行作用素による複素多項式の像として定義され、解析的構造が保存される。
• 移行作用素およびその逆作用素の有界性により、テイラー級数やランゲ近似などの解析関数論の結果が、双複素ベクア方程式の解へと転送可能となる。
• 導関数への移行作用素の作用に関する命題を用いて、高階の形式的べきを解析関数の導関数と関連付ける。
• 完全性の証明は、移行作用素が原点における値を保存し、級数展開の収束性を維持することに依拠している。

実験結果

リサーチクエスチョン

• RQ1 スカラー・ポテンシャルが空間的一変数に依存する場合、ディラック方程式に対して完全な解族を構築できるか？
• RQ2 双複素擬解析関数論における形式的べきは、展開定理およびランゲ近似定理を満たすか？
• RQ3 移行作用素を用いて双複素ベクア方程式とコーシー・リーマン方程式を関連付ける方法は、重要な解析的性質を保存するか？
• RQ4 考察の条件の下で、形式的べきによって生成される解族は、ディラック方程式のすべての解の空間において完全か？

主な発見

• 与えられた条件下で、双複素ベクア方程式から構築された形式的べきの族は、ディラック方程式のすべての解の空間において完全である。
• 双複素ベクア方程式の解は、対応する解析関数と同じ収束半径を持つ形式的べきのテイラー級数展開を有する。
• 形式的べきにおけるテイラー級数の係数は、原点における解の高階形式的導関数に等しく、古典的複素解析と類似している。
• 双複素ベクア方程式の任意の解は、コンパクト集合上で有限個の形式的べきの組み合わせにより一様近似可能であり、ランゲ近似性質が確立される。
• コーシー・リーマン方程式から双複素ベクア方程式へ写像する移行作用素は有界かつ可逆であり、収束性および解析的構造を保つ。
• 形式的べきは、移行作用素を介して複素多項式と明示的に関連付けられ、古典的複素解析の結果が双複素設定へと転送可能となる。