English

Heat equation and Schr\"{o}dinger equation with translation invariance on the infinite-dimensional vector space $\mathbb R^\infty$

General Mathematics 2025-12-19 v5

Abstract

The standard Laplacian Rn-\triangle_{\mathbb R^n} in L2(Rn)L^2(\mathbb R^n) is self-adjoint and translation invariant on the finite-dimensional linear space Rn\mathbb R^n. In this paper, we define a translation invariant operator R-\triangle_{\mathbb R^\infty} on R\mathbb R^\infty as a non-negative self-adjoint operator in some non-separable Hilbert space L2(R)L^2(\mathbb R^\infty). The set L2(R)L^2(\mathbb R^\infty) is a translation invariant subset of the set CM(R)CM(\mathbb R^\infty) of all complex measures on the product measurable space R\mathbb R^\infty. Furthermore, we show that for any fL2(Rn)f\in L^2(\mathbb R^n) and any uL2(R)u\in L^2(\mathbb R^\infty), the separations of variables eRt(fu)=(eRntf)(eRtu) (t[0,+))e^{\triangle_{\mathbb R^\infty}t}(f\otimes u) =(e^{\triangle_{\mathbb R^n}t}f)\otimes (e^{\triangle_{\mathbb R^\infty}t}u) \ (t\in [0,+\infty)) and e1Rt(fu)=(e1Rntf)(e1Rtu) (t(,+))e^{\sqrt{-1}\triangle_{\mathbb R^\infty}t}(f\otimes u) =(e^{\sqrt{-1}\triangle_{\mathbb R^n}t}f)\otimes (e^{\sqrt{-1}\triangle_{\mathbb R^\infty}t}u) \ (t\in (-\infty,+\infty)) hold. This clearly shows that R-\triangle_{\mathbb R^\infty} is an analog of Rn-\triangle_{\mathbb R^n}. The starting point for the discussion in this paper is to naturally introduce a translation invariant structure of Hilbert space into CM(R)CM(\mathbb R^\infty). L2(R)L^2(\mathbb R^\infty) is a closed linear subspace of CM(R)CM(\mathbb R^\infty). The inner product of L2(R)L^2(\mathbb R^\infty) is defined as that of CM(R)CM(\mathbb R^\infty). For a manifold, H\"{o}rmander defined an inner product that does not depend on a particular measure. In fact, the way we introduce the inner product into CM(R)CM(\mathbb R^\infty) is a generalization of his. Not only is a statistical manifold on R\mathbb R^\infty a submanifold of CM(R)CM(\mathbb R^\infty), but the real inner product Re(,CM(R))\mathrm{Re}(\langle \cdot, \cdot \rangle_{CM(\mathbb R^\infty)}) induces Fisher information metric.

Keywords

Cite

@article{arxiv.2306.01758,
  title  = {Heat equation and Schr\"{o}dinger equation with translation invariance on the infinite-dimensional vector space $\mathbb R^\infty$},
  author = {Hiroki Yagisita},
  journal= {arXiv preprint arXiv:2306.01758},
  year   = {2025}
}