[論文レビュー] The twisted Mellin transform

Zuoqin Wang|ArXiv.org|Jun 18, 2007

Mathematical functions and polynomials参考文献 5被引用数 3

ひとこと要約

本稿では、微分作用素 $ d/dx $ と有限差分作用素 $ \nabla f = f(x) - f(x-1) $ を混合する修正された古典的メリン変換であるねじれメリン変換を導入する。次数 $ k $ の記号的関数に対して漸近展開を導出し、$ \mathcal{M}f(s) \sim \sum_r \frac{1}{r!} f^{(r)}(s) f_r(s) $ を示す。ここで $ f_r(s) $ は再帰的定義により与えられる次数 $ [r/2] $ の多項式であり、スターリング数や組合せ論と深いつながりを持つ。

ABSTRACT

The "twisted Mellin transform" is a slightly modified version of the usual classical Mellin transform on $L^2(\mathbb R)$. In this short note we investigate some of its basic properties. From the point of views of combinatorics one of its most important interesting properties is that it intertwines the differential operator, $df/dx$, with its finite difference analogue, $ abla f= f(x)-f(x-1)$. From the point of view of analysis one of its most important properties is that it describes the asymptotics of one dimensional quantum states in Bargmann quantization.

研究の動機と目的

• 量子状態と組合せ論における漸近的性質を解析するための道具として、$ \mathcal{M}f(s) = \frac{\int_0^\infty f(x)x^s e^{-x} dx}{\Gamma(s+1)} $ として定義されるねじれメリン変換を定義し、その性質を研究すること。
• 微分作用素 $ d/dx $ と有限差分作用素 $ \nabla f = f(x) - f(x-1) $ を結びつけること、すなわち $ \mathcal{M} $ がそれらを交換するように作用することを確立し、アンブレル計算の新しい明示的実現を与えること。
• 関数 $ f $ が次数 $ k $ の記号的関数である場合に、$ \mathcal{M}f(s) $ の漸近展開を導出し、$ f $ の微分を重みとする多項式 $ f_r(s) $ の級数として表現すること。
• 漸近展開に現れる多項式 $ f_r(s) $ が示す組合せ論的意味を明らかにし、第一種スターリング数やその他の整数列と関連付けること。

提案手法

• 関数の多項式的成長を満たす関数に制限した領域において、$ x^s e^{-x} $ のメリン変換を正規化することで変換を定義する。
• 部分積分とガンマ関数の恒等式を用いて、スケーリング、平行移動、微分に関する基本的性質を導出する。
• 積分表現に勾配降下法（steepest descent）を適用し、漸近展開 $ \mathcal{M}f(s) \sim \sum_r \frac{1}{r!} f^{(r)}(s) f_r(s) $ を得る。
• 初期条件 $ f_0(s) = f_1(s) = 1 $ を持つ再帰的関係 $ f_r(s) = r f_{r-1}(s) + (r-1)s f_{r-2}(s) $ を用いて多項式 $ f_r(s) $ を計算する。
• 指数型母関数 $ \sum_{r=0}^\infty f_r(s) \frac{x^r}{r!} = \frac{e^{-sx}}{(1-x)^{1+s}} $ を導出し、組合せ論的解釈を可能にする。
• 大 $ N $ における変種 $ A_N(f)(s) $ を解析し、$ N $ の逆数のべき級数として展開を得る。これはトーリック多様体におけるスペクトル漸近論に有用である。

実験結果

リサーチクエスチョン

• RQ1 ねじれメリン変換は古典的メリン変換とどのように関係しており、どのような利点を提供するか？
• RQ2 ねじれメリン変換は微分作用素と有限差分作用素をどのように結びつけるか？
• RQ3 次数 $ k $ の記号的関数に対して、ねじれメリン変換の漸近的挙動はどのようなものか？
• RQ4 漸近展開に現れる多項式 $ f_r(s) $ を支える組合せ論的構造は何か？
• RQ5 ねじれメリン変換はどのようにしてトーリック多様体のスペクトル密度関数を研究するのに利用できるか？

主な発見

• ねじれメリン変換は $ \mathcal{M}(f')(s) = \mathcal{M}f(s) - \mathcal{M}f(s-1) $ を満たし、$ d/dx $ と $ \nabla $ を結びつけることを証明する。
• 次数 $ k $ の記号的関数に対して、変換は漸近展開 $ \mathcal{M}f(s) \sim \sum_r \frac{1}{r!} f^{(r)}(s) f_r(s) $ を持つ。ここで $ f_r(s) $ は次数 $ [r/2] $ の多項式である。
• 多項式 $ f_r(s) $ は初期条件 $ f_0(s) = f_1(s) = 1 $ を持つ再帰的関係 $ f_r(s) = r f_{r-1}(s) + (r-1)s f_{r-2}(s) $ を満たす。
• 多項式 $ f_r(s) = \sum_{i=0}^{[r/2]} a_{r,i} s^i $ の係数 $ a_{r,i} $ は、$ a_{r,i} = r a_{r-1,i} + (r-1) a_{r-2,i-1} $ を満たし、$ a_{r,0} = r! $ および $ a_{2k,k} = (2k-1)!! $ である。
• 指数型母関数 $ \sum_{r=0}^\infty f_r(s) \frac{x^r}{r!} = \frac{e^{-sx}}{(1-x)^{1+s}} $ が導出され、多項式がスターリング数の母関数と関連していることが示される。
• 大 $ N $ に対して、$ N $-ねじれ変換 $ A_N(f)(s) $ は展開 $ f(s) + \frac{1}{N}\left(f'(s) + f''(s)\frac{s}{2}\right) + \frac{1}{N^2}\left(f''(s) + f'''(s)\frac{5s}{6} + f^{(4)}(s)\frac{s^2}{8}\right) + O(N^{-3}) $ を持つ。