Hamiltonian and Feynman aspects of secondary quantization (Q378153)

Following \textit{V. V. Kozlov} and \textit{O. G. Smolyanov} [Dokl. Math. 85, No. 3, 416--420 (2012); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 444, No. 6, 607--611 (2012; Zbl 1260.81092)], hereafter referred to as [1], Hamiltonian aspect of secondary quantization of \((E,\mathbb{I},{\mathcal H})\) is discussed. Where \(E= Q\times P\), \(Q\) is a reflective Banach space, \(P= Q^*\), \(\mathbb{I}\) is a constant Poisson operator and \({\mathcal H}\) is a Hamiltonian function. Then describe the evolution of quantum systems obtained by quantizing infinite-dimensional Hamiltonian systems (Feynman formulas) are presented assuming both Schrödinger group and semigroup exist (Th.1, Th.2). Secondary quantization of Hamitonian systems are defined as Schrödinger quantization, which uses complex Hilbert space \(L^2(Q,\nu)\), \(\nu\) is a nonnegative measure. Then motivated the case \(\dim Q\) is finite, quantization of \(\widehat{\mathcal H}_\nu\) of \({\mathcal H}\), \(\widehat{\mathcal H}\) is the pseudodifferential operator whose symbol is \({\mathcal H}\), is defined by \[ \widehat{\mathcal H} (f,\sqrt{\nu})=(\widehat{\mathcal H}_\nu f)\sqrt{\nu} \] (cf.[1]. Quoted number (2) in the last paragraph of p. 289 should be changed to (1)).Then detailed study of \(\widehat{\mathcal H}_\nu\), in the case \(Q\) is a Hilbert space and \(\nu\) is a Gaussian cylindrical measure is given (\S1). Let \({\mathcal E}= L^2(Q,\mathbb{R})\oplus iL^2(Q,\mathbb{R})\) and define a function \(\mathbb{H}_{\widehat{\mathcal H}}\) on \({\mathcal E}\) by \[ \mathbb{H}_{\widehat{\mathcal H}}(f)= {1\over 2} (\widehat{\mathcal H} f,f), \] then by the results in \S1, it is shown the Hamiltonian equation for the Hamiltonian system \(({\mathcal E},\mathbb{I}_{{\mathcal E}},\mathbb{H}_{\widehat{\mathcal H}})\) coincides with the Schrödinger equation obtained by quantizing the initial Hamiltonian system with phase space \(E\) and the Hamiltonian function \({\mathcal H}\) (cf.[1]). The \(\mathbb{H}_{\widehat{\mathcal H}}\)-quantization in the natural sense is equivalent to the secondary quantization of systems without interaction. The authors remark this quantization can be extend to interacting systems (\S2, cf [i]). In \S3, the last section, assuming existence both Schrödinger group and semigroup, Feynman formulas are derived by using Chernoff's theorem [\textit{K.-J. Engel} and \textit{R. Nagel}, One-parameter semigroups for linear evolution equations. Berlin: Springer (2000; Zbl 0952.47036)]. The authors note, this result is formal, because the existence conditions of Schrödinger group and semigroup are not explicitly specified.