[論文レビュー] On the asymptotics of certain Wiener-Hopf-plus-Hankel determinants

Estelle Basor, Torsten Ehrhardt|ArXiv.org|Feb 2, 2005

Random Matrices and Applications参考文献 19被引用数 11

ひとこと要約

本稿は、$ R \to \infty $ のとき、$ a(x) = \left(\frac{x^2}{1+x^2}\right)^\beta $ の形の記号に対する、切り捨てられたウィーナー・ホプフ加ヘンケル作用素の行列式の漸近的挙動を、ボロディン・オクウンコフ恒等式の離散版とバーナーズ G-関数との関係を用いて確立する。主な結果は、$ \mathrm{Re\,}\beta > -1/2 $ の範囲で、バーナーズ G-関数の積と $ R $ のべき乗則を含む正確な漸近公式である。

ABSTRACT

In this paper we determine the asymptotics of the determinants of truncated Wiener-Hopf plus Hankel operators $\det(W_R(a)\pm H_R(a))$ as $R$ tends to infinity for symbols $a(x)=(x^2/(1+x^2))^β$ with the parameter $β$ being of small size.

研究の動機と目的

• 記号に $ x=0 $ における特異性を持つ偶関数のクラスについて、$ R \to \infty $ のとき $ \det(W_R(a) \pm H_R(a)) $ の漸近的挙動を特定すること。
• フィッシャー・ハートウィッグ予想の枠組みを、単一のフィッシャー・ハートウィッグ型特異性を持つウィーナー・ホプフ加ヘンケル作用素へ拡張すること。
• 連続的ウィーナー・ホプフ加ヘンケル行列式と離散的トーペリッツ加ヘンケル行列式との間の関係を、ボロディン・オクウンコフ恒等式の連続版を用いて確立すること。
• 記号 $ a(x) = \left(\frac{x^2}{1+x^2}\right)^\beta $ の場合に、$ W_R(a) \pm H_R(a) $ の行列式に対する明示的な漸近公式をバーナーズ G-関数を用いて導出すること。
• 正則化技術と $ r \to 1 $、$ \varepsilon \to 0 $ の極限を用いて、漸近公式における定数因子を評価すること。

提案手法

• 連続版ボロディン・オクウンコフ恒等式を用いて、$ \det(W_R(a) \pm H_R(a)) $ の漸近的挙動を、$ R \sim 2n $ に対応する離散的トーペリッツ加ヘンケル行列式 $ \det(T_n(a) \pm H_n(a)) $ の漸近的挙動と関連付ける。
• フィッシャー・ハートウィッグ記号を用いた既知の離散的トーペリッツ加ヘンケル行列式の漸近的結果を適用し、特にジャンプ不連続性を持つ偶関数に対して有効であることを確認する。
• 切り捨てと極限操作を用いた正則化スキームを構築し、$ \varepsilon \to 0 $ および $ r \to 1 $ を用いて、漸近公式における定数 $ C_{\pm\beta} $ を定義および評価する。
• 正則化作用素 $ \Pi_{[\varepsilon,1]} K_\beta^0 \Pi_{[\varepsilon,1]} $ の行列式を、$ s = -\log \varepsilon $ を用いたウィーナー・ホプフ行列式 $ \det W_s(1 \pm a_\beta) $ として表現し、それに対して補題 3.26 を適用する。
• 無限積展開におけるガンマ関数の積をバーナーズ G-関数を用いて表現する。
• ウィーナー・ホプフ因数分解と対数留数技術を用いて、$ r \to 1 $ のときの $ \det(I \pm H(u_{\beta,r})) $ を計算し、$ \varepsilon = (1-r)/(1+r) $ におけるべき乗則の挙動を導出する。

実験結果

リサーチクエスチョン

• RQ1 記号 $ a(x) = \left(\frac{x^2}{1+x^2}\right)^\beta $ のとき、$ R \to \infty $ のとき $ \det(W_R(a) \pm H_R(a)) $ の漸近的挙動は何か？
• RQ2 記号に $ x=0 $ におけるゼロまたは極があると、ウィーナー・ホプフ加ヘンケル行列式の漸近的挙動にどのような影響を与えるか？
• RQ3 連続版ボロディン・オクウンコフ恒等式を用いて、連続的ウィーナー・ホプフ加ヘンケル行列式の漸近的挙動と離散的トーペリッツ加ヘンケル行列式の漸近的挙動との関係を確立できるか？
• RQ4 漸近展開における定数因子の正確な形は何か？ また、正則化と極限操作からどのように導出されるか？
• RQ5 バーナーズ G-関数は、行列式の漸近公式にどのように現れ、$ \beta $ における関数的依存性をどのように捉えているか？

主な発見

• 行列式 $ \hat{D}_R^+(\beta) = \det(W_R(\hat{v}_\beta) + H_R(\hat{v}_\beta)) $ の漸近公式は、$ \sim C_\beta \cdot R^{\beta^2/2} \cdot G^{2}(3/2 + \beta/2) G^{2}(1 + \beta/2) G^{2}(1 - \beta/2) G^{2}(1/2 - \beta/2) / (G(1/2) G(3/2) G(3/2 + \beta) G(1/2 - \beta)) $ である。ここで $ C_\beta = 2^{\beta^2} \cdot \text{バーナーズ } G\text{-関数の比} $ である。
• $ \mathrm{Re\,}\beta > -1/2 $ の範囲で、行列式 $ \det(W_R(\hat{v}_\beta) \pm H_R(\hat{v}_\beta)) $ は $ R $ に対してべき乗則的成長を示し、指数は $ \beta^2/2 $ であり、$ x=0 $ における特異性の強さを反映している。
• 漸近公式における定数 $ C_{\pm\beta} $ は、$ r \to 1 $ および $ \varepsilon \to 0 $ の極限における行列式比の極限として導出され、明示的にバーナーズ G-関数の形で表現されている。
• $ \det(I \pm H(u_{\beta,r})) $ の $ r \to 1 $ における漸近的挙動は、$ \sim \varepsilon^{\pm \beta/2 + \beta^2/2} \cdot 2^{\beta^2} $ であり、最終的な公式におけるべき乗則依存性と一致する。
• 投影 $ \Pi_{[\varepsilon,1]} $ を用いたウィーナー・ホプフ作用素の正則化は、$ \det W_s(1 \pm a_\beta) $ に等価な行列式を生じ、その漸近的挙動は補題 3.26 を用いて計算され、バーナーズ G-関数の積が得られる。
• 定数 $ E[\phi_\beta] $ の無限積表現は、有限のバーナーズ G-関数の比に簡略化され、積の恒等式における $ R \to \infty $ の極限が正確に 1 に等しいことから、最終的な公式が確認される。