無限次元空間上の平行移動不変性を持つ自己共役なLaplace作用素の正当化

原稿の紹介です。

https://www.researchgate.net/publication/370472897

前原稿によって、加算直積空間${\mathbb{R}}^{\mathrm{\infty }}$上の自己共役なLaplace作用素が定義されている。その平行移動不変性は、前原稿において明示的には言及しなかった。そこで、本原稿では平行移動不変性を示す（もちろん、これは難しくない）。また、${\mathbb{R}}^{\mathrm{\infty }}$上のLaplace作用素と呼称することのさらなる正当化として、$\{f_k{\}}_k$が$\parallel f_k{\parallel }_{L^2}=1$である$\mathbb{R}$上の非負値関数の列であるとき、「$\sum _k\parallel f_k^{\prime \prime }{\parallel }_{L^2}<+\mathrm{\infty }$」という（恐らく技術的な？）付加条件の下で、「$u_k$を初期値問題$\frac{d{u}_k}{dt}=\sqrt{-1}{u}_k^{\prime \prime },u_k(0)=f_k$の解とすると、その無限テンソル積$\prod _k{u}_k(x_k)(:=\underset{n}{lim}((\prod _{k=1}^{n-1}{u}_k(x_k)|u_k(x_k)|d{x}_k)(\prod _{k=n}^{\mathrm{\infty }}{f}_k(x_k)|f_k(x_k)|d{x}_k)))$は、${\mathbb{R}}^{\mathrm{\infty }}$上のLaplace作用素が定めるSchrodinger方程式の解である」こと、及び、「$u_k$を初期値問題$\frac{d{u}_k}{dt}=u_k^{\prime \prime },u_k(0)=f_k$の解とすると、その無限テンソル積は、${\mathbb{R}}^{\mathrm{\infty }}$上のLaplace作用素が定める熱方程式の解である」ことを示す。

ところで、前原稿で「密度の平方根の（BornとHeisenbergによる量子力学的波動関数の確率解釈に触発された）少なくとも、解析学者にとっては極めて初等的な導入を与える。」と記載したが、BornとHeisenbergによる量子力学的波動関数の確率解釈に触発されたことの事情について明示的に言及はしなかった。この事情は、$\mathrm{\Omega }$を可測空間とするとき、$\mathrm{\Omega }$上の測度$\mu$と$0<\parallel f{\parallel }_{L^2(\mu )}<+\mathrm{\infty }$である関数$f$に対して、状態ベクトル$f$の位置の測定に関する確率解釈は$\mathrm{\Omega }$上の確率測度$\frac{|f{|}^2}{\parallel f{\parallel }_{L^2(\mu )}^2}d\mu$であるが、この確率測度は$\mathrm{\Omega }$上の複素測度$$\underset{―}{f|f|d\mu }$$の全変動の規格化である（そこで、例えば、状態ベクトルを$\mathrm{\Omega }$上の複素測度として、Schrodinger方程式をその時間発展を定める方程式として考える）ということである。従って、例えば、$u_k\in L^2(d{x}_k)$に対応する状態ベクトルは$\mathbb{R}$上の複素測度$u_k(x_k)|u_k(x_k)|d{x}_k$である。