Abstract
Two approaches are suggested for constructing a probabilistic approximation of the evolution operator e–itH, where \(H = \tfrac{{{{{( - 1)}}^{m}}}}{{(2m)!}}\tfrac{{{{d}^{{2m}}}}}{{d{{x}^{{2m}}}}}\), in the strong operator topology. In the first approach, the approximating operators have the form of expectations of functionals of a certain Poisson point field, while, in the second approach, the approximating operators have the form of expectations of functionals of sums of independent identically distributed random variables with finite moments of order 2m + 2.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Consider the Cauchy problem for the heat equation (\(\sigma \in {\mathbf{R}}\))
where the initial function φ is assumed to be continuous and bounded. It is well known that the solution of problem (1) has a probabilistic representation
where w(t) is a standard Wiener process.
If the real number σ in Eq. (1) is replaced by the complex number \(\sigma = {{e}^{{\frac{{i\pi }}{4}}}}\), then heat equation (1) turns into the Schrödinger equation (see [8]). In this case, representation (2) makes no sense, since the complex value \(x + \sigma w(t)\) would be substituted into a function of a real argument. Formally, the solution of the Cauchy problem for the Schrödinger equation can be written using an integral (known as Feynman’s path integral) with respect to the Feynman measure. The Feynman measure is a complex-valued finite additive function of a set defined on the algebra of cylinder sets and cannot be extended to a measure on the corresponding \(\sigma \)-algebra (see [1]).
A purely probabilistic method for approximating the solution of the Cauchy problem for the Schrödinger equation by mean values of functionals of stochastic processes was proposed in [2–4]. Two types of approximation of the solution to the Cauchy problem were constructed. In the first case, the solution was approximated by mean values of functionals of a Poisson point field, while, in the second case, it was approximated by mean values of functionals of normed sums of independent random variables with an identical symmetric distribution and a finite fourth moment.
The goal of this paper is to construct a probabilistic approximation of the solution to the Cauchy problem for the high-order Schrödinger equation
where m is an arbitrary positive integer. As in [3], two approaches are proposed for approximating the solution of the Cauchy problem by mean values of functionals of stochastic processes. More specifically, the stochastic process is defined as an integral over a Poisson point field in the first approach and as normed sums of independent identically distributed random variables with a finite moment of order 2m + 2 in the second approach. Note that approximations of the solution to the Cauchy problem for a Schrödinger-type equation with a right-hand side involving a fractional derivative of order \(\alpha \in \bigcup\limits_{m = 2}^\infty \,(m - 1,m)\) were constructed in [5–7].
APPROXIMATION OF THE SOLUTION TO THE CAUCHY PROBLEM BY MEAN VALUES OF FUNCTIONALS OF A POISSON POINT FIELD
Let ν be a Poisson random measure on \((0,\infty )\) × (0, ∞ ) with intensity \({\mathbf{E}}\nu (dt,dx) = dt\mu (dx),\) where the measure μ has the form
Given ε > 0, the compound Poisson process \({{\xi }_{\varepsilon }}(t)\) is defined by setting
where e is the base of the natural logarithm.
Let \(\hat {\varphi }(p)\) denote the direct Fourier transform of the function φ:
The initial function φ is represented in the form of a sum
where P+ and P– are Riesz projectors defined on \({{L}_{2}}({\mathbf{R}}) \cap {{L}_{1}}({\mathbf{R}})\) as
Note that the function φ+ analytically extends to the upper half-plane, while the function φ– analytically extends to the lower half-plane.
Let \(\sigma = {{e}^{{\frac{{\pi i}}{2}\left( {1 - \frac{1}{{2m}}} \right)}}}.\) The complex number σ thus defined belongs to the upper half-plane C+\({\text{(Re}}\sigma > 0)\) and satisfies the relation \({{(i\sigma )}^{{2m}}} = - i\).
For a fixed ε > 0, the operator semigroup \(P_{\varepsilon }^{t}\) acting on \(\varphi \in {{L}_{2}}({\mathbf{R}})\) is defined as
where the function \({{h}_{\varepsilon }}(x)\) is defined by its Fourier transform
Note that \({{\hat {h}}_{\varepsilon }}(p) \in {{L}_{q}}({\mathbf{R}})\) for all \(1 \leqslant q \leqslant \infty \), since \({\text{Re}}{{(i\sigma )}^{{2m + 1}}} > 0\).
Theorem 1. (i) The operator\(P_{\varepsilon }^{t}\)is a pseudodifferential operator with the symbol
where
(ii) For any\(t,\varepsilon ,p\), it is true that\({\text{|}}H(t,\varepsilon ,p){\text{|}} \leqslant 1.\)
Let \(W_{2}^{k}({\mathbf{R}})\) denote the Sobolev space of functions defined on R that have square integrable generalized derivatives up to the order k inclusive (see [9, p. 146]). The standard norm in \(W_{2}^{k}({\mathbf{R}})\) is defined by the formula
It is convenient to equip \(W_{2}^{k}({\mathbf{R}})\) with a different norm equivalent to the standard one (see [9, p. 190]), namely,
Let P t denote the semigroup P t=\(\exp\left( {\tfrac{{it{{{( - 1)}}^{{m + 1}}}}}{{(2m)!}}\tfrac{{{{d}^{{2m}}}}}{{d{{x}^{{2m}}}}}} \right).\) By definition, P t maps the initial function φ to a solution of Cauchy problem (3) (see, e.g., [8, 10]).
Theorem 2.There exists a number C > 0 such that, for any function\(\varphi \in W_{2}^{{2m + 2}}({\mathbf{R}})\)andall\(t \geqslant 0\),
Corollary 1.For any function\(\varphi \in {{L}_{2}}({\mathbf{R}})\),
APPROXIMATION OF THE SOLUTION TO THE CAUCHY PROBLEM BY MEAN VALUES OF FUNCTIONALS OF SUMS OF INDEPENDENT RANDOM VARIABLES
Let \(\{ {{\xi }_{j}}\} _{{j = 1}}^{\infty }\) be a sequence of independent identically distributed nonnegative random variables. Denote by \(\mathcal{P}\) the distribution of the random variable ξ1. Assume that ξ1 has a finite moment of order 2m + 2 and \({\mathbf{E}}\xi _{1}^{{2m}} = 1.\)
Let \(\eta (t)\), \(t \in [0,\infty )\), be a Poisson process of intensity 1 independent of the sequence {ξj}. Define \({{\kappa }_{1}} = {\mathbf{E}}\xi _{1}^{1}\), \({{\kappa }_{2}}\) = E\(\xi _{1}^{2}\), …, \({{\kappa }_{{2m + 2}}}\) = E\(\xi _{1}^{{2m + 2}}\). For each positive integer n, the stochastic process \({{\zeta }_{n}}(t),\)\(t \in [0,T]\), is defined as
For each positive integer n and \(\varphi \in {{L}_{2}}({\mathbf{R}})\), the operator semigroup \(P_{n}^{t}\) is defined by setting
where, as before, the functions \({{\varphi }_{ \pm }}\) are given by formu-la (4) and \(\sigma = {{e}^{{\frac{{\pi i}}{2}\left( {1 - \frac{1}{{2m}}} \right)}}}\). The function \(R_{n}^{t}(x)\) is defined by its Fourier transform
Theorem 3. (i) The operator\(P_{n}^{t}\)is a pseudodifferential operator with symbol\({{r}_{{n,t}}}(p) = \exp\left( { - \tfrac{{it{{p}^{{2m}}}}}{{(2m)!}}} \right){{H}_{n}}(t,p),\)where
(ii) For any\(n,t,p\), it is true that\({\text{|}}{{H}_{n}}(t,p){\text{|}} \leqslant 1.\)
Theorem 4. There exists a number С > 0 such that, for any function\(\varphi \in W_{2}^{{2m + 2}}({\mathbf{R}})\)andall\(t \geqslant 0\),
Corollary 2.For any function\(\varphi \in {{L}_{2}}({\mathbf{R}})\),
REFERENCES
Yu. L. Dalecky and S. V. Fomin, Measures and Differential Equations in Infinite-Dimensional Space (Nauka, Moscow, 1983; Kluwer, Dordrecht, 1992).
I. A. Ibragimov, N. V. Smorodina, and M. M. Faddeev, J. Math. Sci. 188 (6), 700–716 (2013).
I. A. Ibragimov, N. V. Smorodina, and M. M. Faddeev, J. Math. Sci. 229 (6), 702–713 (2018).
I. A. Ibragimov, N. V. Smorodina, and M. M. Faddeev, Funct. Anal. Appl. 52 (2), 101–112 (2018).
M. V. Platonova and S. V. Tsykin, Zap. Nauchn. Semin. POMI 466, 257–272 (2017).
M. V. Platonova and S. V. Tsykin, Zap. Nauchn. Semin. POMI 474, 199–212 (2018).
M. V. Platonova and S. V. Tsykin, Zap. Nauchn. Semin. POMI 486, 254–264 (2019).
M. C. Reed and B. Simon, Methods of Modern Mathematical Physics, Vol. 1: Functional Analysis (Academic, New York, 1972).
D. K. Faddeev, B. Z. Vulikh, and N. N. Ural’tseva, Selected Topics in Analysis and Higher Algebra (Leningrad. Gos. Univ., Leningrad, 1981) [in Russian].
J. M. Kim, A. Arnold, and X. Yao, Monatsh. Math. 168, 253–266 (2012).
ACKNOWLEDGMENTS
We are grateful to N.V. Smorodina for her interest in this work and helpful comments.
Author information
Authors and Affiliations
Corresponding authors
Additional information
Translated by I. Ruzanova
Rights and permissions
About this article
Cite this article
Platonova, M.V., Tcykin, S.V. Probabilistic Approximation of the Evolution Operator e –itH where \(H = \tfrac{{{{{( - 1)}}^{m}}}}{{(2m)!}}\tfrac{{{{d}^{{2m}}}}}{{d{{x}^{{2m}}}}}\) . Dokl. Math. 101, 144–146 (2020). https://doi.org/10.1134/S1064562420020192
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S1064562420020192