Self-adjoint Laplace operator with translation invariance on infinite-dimensional space $\mathbb R^\infty$

Hiroki Yagisita

2024-08-15

Abstract:The standard Laplacian $-\triangle_{\mathbb R^n}$ in $L^2(\mathbb R^n)$ is self-adjoint and translation invariant on the finite-dimensional vector space $\mathbb R^n$. In this paper, using some quadratic form, we define a translation invariant operator $-\triangle_{\mathbb R^\infty}$ on $\mathbb R^\infty$ as a non-negative self-adjoint operator in some non-separable Hilbert space $L^2(\mathbb R^\infty)$, which is a translation invariant subset of the set $CM(\mathbb R^\infty)$ of all complex measures on the product measurable space $\mathbb R^\infty$. Furthermore, we show that for any $f\in L^2(\mathbb R^n)$ and any $u\in L^2(\mathbb R^\infty)$, $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))$ and $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))$ hold. This clearly shows that $-\triangle_{\mathbb R^\infty}$ is an analog of $-\triangle_{\mathbb R^n}$. The starting point for the discussion in this paper is to naturally introduce a translation invariant Hilbert space structure into $CM(\mathbb R^\infty)$. $L^2(\mathbb R^\infty)$ is a closed linear subspace of $CM(\mathbb R^\infty)$ and the inner product of $L^2(\mathbb R^\infty)$ is defined as that of $CM(\mathbb R^\infty)$. For a manifold, Hörmander defined an inner product that does not depend on a particular measure. In fact, the way we introduce the inner product into $CM(\mathbb R^\infty)$ is a generalization of his.

General Mathematics