In this paper the Nelson’s stochastic mechanics is extended to general diffusion motions. A representation theorem is proved which gives a one-to-one correspondence between solutions of certain Schrödinger equations and diffusion processes satisfying appropriate regularity conditions. Exploiting results of stochastic mechanics on Riemannian manifolds it is shown that the real part of the Schrödinger equations corresponding to the considered diffusions can be interpreted as Newton’s second law where the force is produced by generalized electromagnetic potentials.
In Nelson [10], it is shown that for each solution of a Schr\"odinger equation
ϕ(x,t), x∈Rd, t≧0 , with
∥ϕ∥=1 , there exists a diffusion process which has ... probability density at time
t given byMore precisely the following is shown in [10]: suppose that we are given a real valued function
V(x), x∈Rd , and a complex valued function
ϕ0(x), x∈Rd , with
∥ϕ0∥=1 , and consider the Schrodinger equation Then, under the assumption that
ϕ and
b~ are sufficiently regular, there exists a diffusion process
{Xt}, t≧0 , with initial density
∣ϕ0(x)∣2 and generator
(1/2)Δ+b~(x,t)⋅∇ such that the probability density of this diffusion at time
t≧0 is
∣ϕ(x,t)∣2 .In addition, in [10] it is also shown that the diffusion process
{Xt}, t≧0 , solves the second order stochastic differential equation
(1/2)(D∗D+DD∗)Xt=−∇V(Xt) , where
D and
D∗ are Nelson's forward and backward stochastic derivatives.Generally sPeaking, the functions
ϕ and
b~ may be singular, and the existence of the corresponding diffusion process must be studied carefully.Carlen
[1,2] , Meyer and Zheng [8] and Nagasawa [9] considered rigorously the construction of a diffusion process with a given initial density and a generator.
ln order to construct a Markovian propagator for the diffusion process, Carlen
[1,2] used partial differential equation methods.Meyer and Zheng [8] restricted themselves to the case when
ϕ(x,t)=ϕ0(x), ∀t≧0 and considered the construction of the diffusion process through the relationships between Markov processes and Dirichlet forms.We may consult Nagasawa [9] about recent developments of this area.In Carlen [1], it is assumed that
V(x), x∈Rd , is a Rellich class potential and
∥∇ϕ0∥2<∞ , and shown that there exists a diffusion process
{Xt}, t≧0 , which has the probability density
∣ϕ(x,t)∣2 at time
t≧0 and admits the representation
Solutions to the Schrödinger, heat and stochastic Schrödinger equation with rather general potentials are represented, both in x- and p-representations, as integrals over the path space with respect to σ-finite measures. In the case of x-representation, the corresponding measure is concentrated on the Cameron–Martin Hilbert space of curves with L2-integrable derivatives. The case of the Schrödinger equation is treated by means of a regularization based on the introduction of either complex times or continuous non-demolition observations.
We study the convergence of the Feynman path integral formulated through broken line paths in nonrelativistic quantum mechanics. The rigorous proof of its convergence had been given little except for special cases for a long time. In the preceding paper the author showed for a class of potentials that this path integral converges and gives the probability amplitude, i.e. the solution of the Schrödinger equation. In the present paper we generalize this result, showing the boundedness theorem on the weighted Sobolev spaces for some integral operators and joining this boundedness theorem to the method in the preceding paper. We note that the result obtained is gauge invariant.
In a recent paper [Europhys. Lett. 95, 13001 (2011)] the question of whether the density of a time-dependent quantum system determines its external potential was reformulated as a fixed-point problem. This idea was used to generalize the existence and uniqueness theorems underlying time-dependent density-functional theory. In this work we extend this proof to allow for more general norms and provide a numerical implementation of the fixed-point iteration scheme. We focus on the one-dimensional case because it allows for a more in-depth analysis using singular Sturm-Liouville theory and at the same time provides an easy visualization of the numerical applications in space and time. We give an explicit relation between the boundary conditions on the density and the convergence properties of the fixed-point procedure via the spectral properties of the associated Sturm-Liouville operator. We show precisely under which conditions discrete and continuous spectra arise and give explicit examples. These conditions are then used to show that, in the most physically relevant cases, the fixed-point procedure converges. This is further demonstrated with an example.