[論文レビュー] A finite-dimensional representation of the quantum angular momentum operator

Rafael G. Campos, Luis O. Pimentel+1 more|ArXiv.org|Aug 28, 2000

Quantum Mechanics and Non-Hermitian Physics参考文献 3被引用数 6

ひとこと要約

本稿では、三角関数補間およびスペクトルコロケーション法を用いて連続的な角運動量微分方程式を離散的な節点に射影することにより、量子角運動量演算子 $L^2$ の有限次元行列表現を提示する。得られる $N\times N$ 行列は、正確な固有値 $n(n+1)$ と、特定の節点における球面調和関数に一致する固有ベクトルを再現し、有限次元離散的設定において主要な量子力学的性質を保持する。

ABSTRACT

A useful finite-dimensional matrix representation of the derivative of periodic functions is obtained by using some elementary facts of trigonometric interpolation. This NxN matrix becomes a projection of the angular derivative into polynomial subspaces of finite dimension and it can be interpreted as a generator of discrete rotations associated to the z-component of the projection of the angular momentum operator in such subspaces, inheriting thus some properties of the continuum operator. The group associated to these discrete rotations is the cyclic group of order N. Since the square of the quantum angular momentum L^2 is associated to a partial differential boundary value problem in the angular variables $θ$ and $ϕ$ whose solution is given in terms of the spherical harmonics, we can project such a differential equation to obtain an eigenvalue matrix problem of finite dimension by extending to several variables a projection technique for solving numerically two point boundary value problems and using the matrix representation of the angular derivative found before. The eigenvalues of the matrix representing L^2 are found to have the exact form n(n+1), counting the degeneracy, and the eigenvectors are found to coincide exactly with the corresponding spherical harmonics evaluated at a certain set of points.

研究の動機と目的

• 連続的演算子のスペクトル的性質を保つ有限次元行列表現としての量子角運動量演算子 $L^2$ を開発すること。
• 三角関数補間およびコロケーション技術を用いて、$L^2$ の偏微分方程式を有限次元部分空間に射影すること。
• 得られる行列表現が正しい固有値 $n(n+1)$ と、離散的点における球面調和関数に対応する固有ベクトルを継承することを保証すること。
• 数値的に安定で物理的に整合性のある角運動量の離散的モデルを確立すること。

提案手法

• 離散的回転の生成子と解釈される $d/d\theta$ の $N\times N$ 行列表現を、三角関数補間を用いて構築する。
• ラグランジュ補間に基づくガラーキン–コロケーション型手法を適用し、複数変数の偏微分の行列表現を導出する。
• 導関数の行列表現を用いて、標準的な公式 $L^2 = -\partial^2/\partial\theta^2 - \cot\theta\, \partial/\partial\theta - \partial^2/\partial\varphi^2 \csc^2\theta$ を用いて離散的 $L^2$ 演算子を構築する。
• 類似変換および節点選択（例えば、チェビシェフ多項式の根など）を用いて、行列 $L^2$ が正半定値かつスペクトル的に正確であることを保証する。
• $\theta$ および $\varphi$ の多次元テンソル積グリッドへの1次元導関数行列の拡張にクロネッカー積を用いる。
• 重み関数 $\sin\theta$ に関連する条件を満たす節点 $\theta_j$ を選択し、三角関数多項式におけるスペクトル的正確性を確保する。

実験結果

リサーチクエスチョン

• RQ1 量子角運動量演算子 $L^2$ の有限次元行列表現を構築でき、正確に固有値 $n(n+1)$ を再現できるか？
• RQ2 連続的な $L^2$ の偏微分方程式を、物理的およびスペクトル的性質を保ちながら有限次元行列固有値問題に射影する方法は何か？
• RQ3 離散的 $L^2$ 行列の固有ベクトルは、どの程度まで離散的節点における球面調和関数に対応するか？
• RQ4 どの節点分布が、離散的 $L^2$ 行列のスペクトル的正確性および正半定値性を保証するか？

主な発見

• $N$ が奇数のとき、$(N+1)^2/4$ 個の状態まで、有限次元行列表現の固有値は正確に $n(n+1)$ の形で得られ、 degeneracy を数える。
• 離散的 $L^2$ 行列の固有ベクトルは、選択された節点における $\theta$ および $\varphi$ での球面調和関数と正確に一致する。
• $N$ が奇数で $M=2N+1$ のとき、偶関数・奇関数の明確な対称性を持つ三角関数多項式を用いた改良型行列表現により、標準的多項式アプローチの $(N+1)^2/4$ 個の状態に比べ、$(N+1)^2$ 個の状態まで正確な固有値と固有ベクトルが得られる。
• 類似変換を施した後、離散的 $L^2$ 行列は正半定値であることが保証され、数値的および物理的に整合性が保たれる。
• この手法により、$z$ 成分の角運動量が離散的回転の生成子として保持され、$N$ 階の巡回群を形成する。
• 節点数 $N$ が増加するにつれて、離散スペクトルは $L^2$ の完全な連続スペクトルに収束し、量子角運動量問題の正確な数値的解法が可能になる。