[論文レビュー] Functional determinants in the presence of zero modes

Klaus Kirsten, Alan J. McKane|ArXiv.org|Jul 1, 2005

Spectral Theory in Mathematical Physics参考文献 3被引用数 3

ひとこと要約

本稿では、2階微分作用素の関数的行列式を計算するための輪郭積分法を提示する。特に、ゼロモードの存在による課題に焦点を当てる。zeta関数を輪郭積分を用いて再定式化し、得られた式を解析接続することで、ゼロモードが存在する場合の関数的行列式の閉形式の公式を導出する。主な結果は、$-\ln\det L = -\ln(2f_0)$ であり、ここで $f_0$ は境界におけるゼロモードの微分から得られる。

ABSTRACT

We present a simple and accessible method which uses contour integration methods to derive formulae for functional determinants. To make the presentation as clear as possible we illustrate the general ideas using the Laplacian with Dirichlet boundary conditions on the interval. Afterwards, we indicate how more general operators as well as general boundary conditions can be covered.

研究の動機と目的

• 量子場理論および数理物理学においてゼロモードが存在する場合の関数的行列式を計算するための体系的な手法を開発すること。
• 従来、非退化な場合にのみ適用可能であった輪郭積分技法を、標準的なzeta関数正則化が失敗するゼロモードを有する作用素へと拡張すること。
• ゼロモードの寄与を境界データを用いて明示的に分離する閉形式の関数的行列式を導出すること。
• 対称的または単純な場合に限らない、任意の境界条件およびポテンシャルを有するスツルム＝リウヴィル作用素へとこの手法を一般化すること。

提案手法

• ラプラシアンの固有値方程式 $\sin k = 0$ に起因するzeta関数を、複素 $k$-平面における輪郭積分として表現する。
• $k=0$ における特異性を除去するため、$\ln \sin k$ を $\ln(\sin k / k)$ に置き換えることでzeta関数の表現を修正し、輪郭変形を可能にする。
• 積分路を虚軸にずらし、$k$ が虚数のときの恒等式 $\sinh k / k$ を用い、zeta関数を $\ln(\sinh k / k)$ を含む積分として表現する。
• $k \to \infty$ および $k \to 0$ における漸近展開の差し引きを用いて解析接続を行い、$s=0$ での評価を可能にする。
• ゼロモードの場合は、$u_k(1)$ を $u_k(1) = -k^2 f_k$ で定義される正則化関数 $f_k$ に置き換えることで、$k=0$ における特異性に対処する。
• 最終的な行列式の公式は、$f_k$ の対数微分を $k=0$ で評価することで得られ、$\zeta_L'(0) = -\ln(2f_0)$ となる。

実験結果

リサーチクエスチョン

• RQ1 標準的なzeta関数正則化が無効となるゼロモードを有する作用素に対して、関数的行列式はどのように計算可能か？
• RQ2 固有値方程式にゼロモードがもたらす特異性に対処するため、輪郭積分技法にどのような修正が必要か？
• RQ3 境界におけるゼロモードの微分に明示的に依存する閉形式の行列式は導出可能か？
• RQ4 この手法は、任意の境界条件およびポテンシャルを有するスツルム＝リウヴィル作用素へとどのように一般化可能か？
• RQ5 $u_k(1)$ が $k=0$ で消える場合に、$f_k$ が行列式計算を正則化する役割を果たす仕組みは何か？

主な発見

• ディリクレ境界条件を満たす $[0,1]$ 上のラプラシアンに対する関数的行列式は $\det L = 2$ であり、既知の結果と整合する。
• ゼロモードを有する作用素に対しては、$\zeta_L'(0) = -\ln(2f_0)$ が成り立ち、ここで $f_0 = -u_0'(1)/2$ であり、$u_0$ はゼロモードを表す。
• $u_k(1)$ を $f_k$ に置き換えることで、$k=0$ における特異性が適切に処理され、$f_k$ は $k=0$ で有限かつ非ゼロのままである。
• $k \to \infty$ における漸近的挙動は正則化によっても保たれ、非ゼロモードの場合と同一の寄与が行列式に与えられる。
• 1階系の定式化と行列型境界条件を用いることで、任意の境界条件を有するスツルム＝リウヴィル作用素へとこの手法を一般化可能である。
• 固有値が負であっても、複素平方根の分岐切断を正の実軸から離れた位置に選べば、この手法は有効である。