7.2
CiteScore
3.7
Impact Factor
Generic selectors
Exact matches only
Search in title
Search in content
Post Type Selectors
Search in posts
Search in pages
Filter by Categories
ABUNDANCE ESTIMATION IN AN ARID ENVIRONMENT
Case Study
Editorial
Invited review
Letter to the Editor
Original Article
REVIEW
Review Article
SHORT COMMUNICATION
7.2
CiteScore
3.7
Impact Factor
Generic selectors
Exact matches only
Search in title
Search in content
Post Type Selectors
Search in posts
Search in pages
Filter by Categories
ABUNDANCE ESTIMATION IN AN ARID ENVIRONMENT
Case Study
Editorial
Invited review
Letter to the Editor
Original Article
REVIEW
Review Article
SHORT COMMUNICATION
View/Download PDF

Translate this page into:

Original article
31 (
2
); 252-256
doi:
10.1016/j.jksus.2018.04.015

Derivation of quantum propagator for coupled harmonic oscillator with uniform electric field in a single harmonic oscillator environment using white noise functional approach

Department of Physics, Mindanao State University-Main Campus, 9700 Marawi City, Philippines
Department of Physics, Mindanao State University-Iligan Institute of Technology, 9200 Iligan City, Philippines

⁎Corresponding author at: Room 222, Math-Phys Building, Mindanao State University, 9700 Marawi City, Philippines. azis.norodinp6@gmail.com (Norodin A. Rangaig)

Disclaimer:
This article was originally published by Elsevier and was migrated to Scientific Scholar after the change of Publisher.

Peer review under responsibility of King Saud University.

Abstract

The use of white noise analysis is utilized in this study. We consider an open quantum system of coupled harmonic oscillator with uniform two dimensional electric field in a single harmonic oscillator environment. We obtain the quantum propagator for the said system by considering the Feynman path integral as a white noise functional. In addition, the resulting quantum propagator was consistent with the previous literature and also, this study gives more general form due to the inclusion of the electric field.

Keywords

Harmonic oscillator
Quantum propagator
Feynman path integral
White noise functional
Lagrangian
1

1 Introduction

In order to describe any physical object is to study its properties and its interaction with its environment. We already know that everything is made up of particles, so studying the dynamics of the particle gives meaning to everything that has physical manifestation. One way to describe the particle is to assume that it is a wave that propagates along a given space at a given time. Harmonic oscillation is a solid classical theory that describes the properties of the wave. Perhaps, the very difficult part in describing the particle as a wave is to know its position and what path it might take during its motion because of the randomness. One equation that describes the particle as a wave is the Schrodinger equation, although it may not give an exact position of the particle at a specific time, it gives us hint or idea where the particle might be, but still due to the probabilistic nature of the Scrodinger equation stems for the measurement which is one of the difficult aspects to understand.

In 20th century, solution in determining the final state of a particle throughout its motion was discovered by Feynman and Hibbs (1965) and developed a path integral that describes the path taken by the particle at a given range of time. The path integral includes spaces of the possible dynamics of the system between its initial state to final state. A very common form of the path integral is called the propagator which has a mathematical notation given by K ( r 1 , r 2 ; t ) = N exp i S [ r ] D r

The propagator gives a probability amplitude for a particle to travel from initial to final position in a given time. It was named after Richard Feynman itself as Feynman integral. It is a more effective tool within the framework of an infinite dimensional analysis known as white noise analysis (Somerado and Convicto, 2017). Many authors have studied the use of white noise analysis formulated by Hida (1971) in different interaction. In Butanas and Caballar (2016) and Pabalay and Bornales (2008), it is shown that the propagator can be derived even if there is a coupled term of the systems.

In this paper, we will derive the quantum propagator of a coupled harmonic oscillator in uniform mass and frequency which is the same as proposed in Butanas and Caballar (2016) but this time, there is an inclusion effect of the electric field in the harmonic oscillator of the system coupled to multimode harmonic oscillator. Lastly, the obtained result is consistent with the obtained result in Somerado and Convicto (2017), Hida (1971), Butanas and Caballar (2016).

2

2 The white noise theory

A key feature of the White noise analysis is that it operates in the (Kou, 1996)

(1)
S ( R ) L 2 S ( R ) linking the spaces of Hida distribution S and test function S through a Hilbert space of square integrable functions L 2 . Via Minlo’s theorem, we can formulate a Hida white noise space ( S , B , μ ) where μ is the probability measure and B is the σ -algebra generated on S and can be constructed by fixing the characteristic function in the following way,
(2)
C ( ξ ) = exp ( ω , ξ ) d μ ( ω ) = exp - 1 2 ξ 2 d τ
where ξ S and the white noise Gaussian measure d μ ( ω ) is given by
(3)
d μ ( ω ) = N ω exp - 1 2 ω ( τ ) 2 d τ d ω
with N ω = 1 ( 2 π ) n as a normalization constant. The exponential term in d μ ( ω ) is responsible for the Gaussian fall-off of the propagator function. Formally, a white noise is a stochastic process z ( t ) such that z ( t ) ’s are independent for each t, has zero mean and has a covariant in the form E z ( t ) z ( s ) = δ ( t - s ) where E is the expectation value of the two variables. This expression shows that white noise is delta correlated and can be regarded as a time derivative of Brownian motion i,e ω = db dt , where ω is the Gaussian white noise. Furthermore, we can write the Gaussian white noise in terms of Wiener’s Brownian motion as B ( t ) = t o t ω ( τ ) d τ = ω , 1 [ t o , t ) .

White noise can also be considered as a generalized stochastic process which means that for each test function ξ ( x ) = ξ ( x 1 , x 2 , , x n ) , X ( ξ ) is a gaussian random variable with zero mean and covariance R ξ 2 ( t ) dt , we can write

(4)
X ( ξ ) ω ( ξ ) = ω , ξ = ω ( τ ) ξ ( τ ) d τ

Now, a key feature of Hida’s formulation is the treatment of the set ω ( τ ) at different instants of time, ω ( τ ) ; t R as a continuum coordinate system. For the sum over all routes or histories in the path integral, paths starting from initial point x o and propagating in Brownian fluctuations are parametrized within the white noise framework as

(5)
x ( t ) = x o + m o t ω ( τ ) d τ

Evaluating the Feynman integral in the context of white noise analysis is carried by the evaluation of the Gaussian white noise measure, where the white noise functionals can be described through their S - and T -Transforms. For the T -transform of a generalized white noise functional H ( ω ) has the form Bernido and Carpio-Berdino (2002)

(6)
TH ( ξ : ξ S ) = S exp ( ω , ξ ) H ( ω ) d μ ( ω )

Similarly, the S -Transform of the white noise functional is given by

(7)
SH ( ξ : ξ S ) = C ( ξ ) S exp ( ω , ξ ) H ( ω ) d μ ( ω )

This implies that S - and T -Transform are related in this manner (Butanas and Caballar, 2016)

(8)
SH ( ξ ) = C ( ξ ) TH ( - i ξ ) where C ( ξ ) is the characteristic functional given in Eq. (2).

3

3 Feynman path integral as a White noise functional

Hamilton’s Principle states that the least action is the path of motion of object that it will take (Thornton and Marion, 2004) and the action can be represented by the expression

(9)
S = t o t L ( x , x ̇ ) d τ where L ( x , x ̇ ) is the Lagrangian of the system, and as prescribed by Feynman and Hibbs (1965), the propagator can be expressed as
(10)
K ( x , x o ; τ ) = exp i S x D x
which is the summation of all the possible paths of the particle to take from initial to final position where D x is known as the infinite-dimensional Lebesgue measure. Now, parametrizing the path of the taken with the Wernier’s Brownian motion in Eq. (5) and taking its derivative (Bernido and Carpio-Berdino, 2002; Butanas and Caballar, 2016), we can write the Gaussian integral in (10) as
(11)
i S x = i 2 0 t ω 2 ( τ ) d τ - i 0 t V ( x ) d τ
which is in the case for the Lagrangian having the form L ( x , x ̇ ) = 1 2 m x ̇ 2 - V ( x )

Now, evaluating the Lebesgue measure D x will lead us to integrate it over the Gaussian White noise measure d μ ( ω ) with the relation (Butanas and Caballar, 2016)

(12)
D x = lim N 0 N A j N - 1 ( dx j ) = Nd x with
(13)
Nd x Nd ω = exp 1 2 0 t ω 2 ( τ ) d τ d μ ( ω )
where N is the normalization constant. Observe that in Eq. (5), only the initial point is fixed but throughout its position is random. So, to fix the final trajectory of the particle, we use the Fourier decomposition of the Donsker-Delta (Arfken, 1985) as
(14)
δ x ( t ) - x = 1 2 π - + exp ( i λ ( x ( t ) - x ) ) d λ

With this, the position of particle is located at time t. Thus, with the Eqs. (11), (13) and (14) we can now rewrite the Feynman propagator in the framework of white noise analysis as

(15)
K ( x , x o ; τ ) = N exp i + 1 2 0 t ω 2 ( τ ) d τ × exp - i 0 t V ( x ) d τ δ x ( t ) - x d μ ( ω )

4

4 Evaluation of Feynman path integral for coupled harmonic oscillator with uniform electric field in a bath using white noise analysis

The Lagrangian for a coupled harmonic oscillator with two-dimensional electric field and coupled in bath with uniform mass and frequency is

(16)
L 1 = 1 2 m x ̇ 2 + y ̇ 2 - 1 2 m Ω 2 x 2 + y 2 + qE ( x + y ) - σ xy - γ z ( x + y )
(17)
L 2 = 1 2 m z ̇ 2 - 1 2 m Ω z 2 z 2

Changing the coordinates x X + qE m Ω 2 and y Y + qE m Ω 2 (Somerado and Convicto, 2017) and we can now write L 1 as

(18)
L 1 = 1 2 m X ̇ 2 + Y ̇ 2 - 1 2 m Ω 2 X 2 + Y 2 + 1 2 q 2 E 2 m Ω 2 - σ XY - γ z ( X + Y )

Notice that we neglected the coupling of the coordinate and the term qE m Ω 2 to maintain the system-system coupling and system-bath coupling. Furthermore, we utilize a transformation of coordinates (Pabalay and Bornales, 2008) to decouple X and Y, by doing so, we need the relation

(19)
X = X | cos ϕ + Y | sin ϕ
(20)
Y = - X | sin ϕ + Y | cos ϕ

Substituting Eqs. (19) and (20) into Eq. (18) yields

(21)
L 1 = 1 2 m X | ̇ 2 + Y | ̇ 2 - 1 2 m Ω 2 X | 2 + Y | 2 + 1 2 q 2 E 2 m Ω 2 - σ - X | 2 cos ϕ sin ϕ + X | Y | cos 2 ϕ + Y | 2 cos ϕ sin ϕ - γ z [ X | ( cos ϕ - sin ϕ ) + Y | ( cos ϕ - sin ϕ ) ] and imposing the condition ϕ = 2 n + 1 4 π to eliminate the system-system coupling will yield
(22)
L 1 = 1 2 m X | ̇ 2 + Y | ̇ 2 - 1 2 m Ω x 2 X | 2 - 1 2 m Ω y 2 Y | 2 + q 2 E 2 m Ω x 2 + Ω y 2 - 2 γ zY |
(23)
L 2 = 1 2 m z ̇ 2 - 1 2 m Ω z 2 z 2
where

Ω x 2 = Ω 2 - σ m

Ω y 2 = Ω 2 + σ m

Eqs. (22) and (23) are our new Lagrangian, in the last term of Eq. (22) is the remaining coupling term by system-bath coupling. Following the previous step but this time ϕ θ . Thus, we can successfully decoupled the Lagrangian for harmonic oscillator as

(24)
L 1 = 1 2 m X | ̇ 2 + Y | | ̇ 2 - 1 2 m Ω x 2 X | 2 - 1 2 m Φ 1 2 Y | | 2 + q 2 E 2 m Ω x 2 + Ω y 2
(25)
L 2 = 1 2 m z | ̇ 2 - 1 2 m Φ 2 2 z | 2
where the new frequencies are

Ω x 2 = Ω 2 - σ m

Ω y 2 = Ω 2 + σ m

Φ 1 2 = Ω 2 + σ - 2 γ m

Φ 2 2 = Ω 2 + σ + 2 γ m

Eq. (24) is identical to the obtained Lagrangian of Somerado and Convicto (2017) which enabled us to solve for the Feynman path integral in the framework of white noise analysis. For simplicity, we will define another variable Q that generalizes the coordinate. Then parametrizing the possible path taken (as shown in Eq. (5)) we have

(26)
Q ( t ) = Q O + m 0 t ω ( τ ) d τ with this, we can write our propagator as
(27)
K ( Q , Q O ; τ ) = exp i S Q D Q
where the Feynman integrand for the free particle can be written as
(28)
exp i S Q = exp i 2 ω 2 ( τ ) d τ = exp i ω , ω
which contains a second degree white noise and makes us difficult to deal with. Now, with the aid of Taylor series expansion (Arfken, 1985), we can write the classical action in (28) as
(29)
S Q = S Q O + 1 1 ! ω ( τ ) S Q O ω ( τ ) d τ + 1 2 ! ω ( τ 1 ) ω ( τ 2 ) 2 S Q O ω ( τ 1 ) ω ( τ 2 ) d τ 1 d τ 2

Consequently, the propagator takes the form

(30)
K ( Q , Q O ; τ ) = exp i S Q O + ω , S + 1 2 ω , S ω + q 2 E 2 m Ω x 2 + Ω y 2 D Q where
(31)
S = S Q O ω = m τ V ( Q O ) d τ
(32)
S = 2 S Q O ω 1 ω 2 = m τ 1 τ 2 V ( Q O ) d τ

For convenience, we choose Q O = 0 which gives S ( Q O ) = 0 and since path is extremal at Q O = 0 , it follows that

(33)
S = S 0 ω = m τ V ( 0 ) d τ 0 ,
(34)
S = 2 S 0 ω 1 ω 2 = m τ 1 τ 2 V ( 0 ) d τ ω Q ( t - τ 1 τ 2 )

With these assumptions, we can now construct the Feynman Propagator to be

(35)
K ( Q , 0 ; τ ) = N exp i + 1 2 ω , ω , - i ω , S ω + i q 2 E 2 2 m Ω Q δ ( Q ( t ) - Q ) d μ ( ω )

Where the first,second and third term of Eq. (35) is the relation of the flat and Gaussian measure, due to the harmonic potential and the potential due to the uniform electric field. Now, the role of the Donsker-Delta is to specify the trajectory of the particle to any Q at time t and defined as

(36)
δ ( Q ( t ) - Q ) = 1 2 π λ exp i λ m ω ( τ ) d τ exp - i λ Q d λ

Now, we let

(37)
I R = exp i + 1 2 ω , ω , - i ω , S ω + i q 2 E 2 2 m Ω Q to become white noise functional and to simply write (35) as
(38)
K ( Q , 0 ; τ ) = N I R δ ( Q ( t ) - Q ) d μ ( ω )

We can evaluate the Gaussian white noise measure where our white noise functional I R can be described by its S - and T -Transforms. Substituting the integrand of (38) to (7) we can have our S-Transform of our functional

(39)
SI R ( ξ ) = 1 2 π C ( ξ ) N exp i q 2 E 2 2 m Ω Q 2 t exp ( - i λ Q ) d λ × exp 1 2 ω , - ( i + 1 ) ω + i S ω exp ω , ξ + i λ ω 1 [ 0 , t ] d μ ( ω )

Imposing the definition of the Gaussian measure and letting the second integral of (39) as

(40)
R = 1 2 π n exp 1 2 ω , - ( i + 1 ) ω + i S ω exp ω , ξ + i λ ω 1 [ 0 , t ] d ( ω ) and consider a Gaussian Integral of the form
(41)
exp - ax 2 2 + bx dx = 2 π a exp b 2 2 a
then we can write Eq. (40) as
(42)
R = 1 ( 2 π ) n + 1 2 ( 2 π ) n det ( 1 - - 1 S ) exp 1 2 ξ + i λ 1 [ 0 , t ] , ( 1 - - 1 S ) - 1 ξ + i λ 1 [ 0 , t ]
for ξ = 0 , then we can write the S -Transform Eq. (39) as
(43)
SI ( ξ = 0 ) = 1 2 π C ( ξ ) N det ( 1 - - 1 S ) - 1 2 × exp i q 2 E 2 2 m Ω Q 2 t λ exp - i 2 m λ 2 1 [ o , t ] , ( 1 - - 1 S ) - 1 1 [ o , t ] exp ( - i λ Q ) d λ

Since for ξ = 0 SI = TI and applying the Gaussian integral shown in (41) to (38). Thus we can have the propagator as

(44)
K ( Q , 0 ; τ ) = SI ( ξ = 0 ) = det ( 1 - - 1 S ) - 1 2 m 2 π i t e , ( 1 - - 1 S ) - 1 e × exp imQ 2 2 t e , ( 1 - - 1 S ) - 1 e where the unit vector e = t - 1 2 1 [ 0 , t ] (Pabalay and Bornales, 2008) and in the diagonalization of ( 1 - - 1 S ) , then defined the
(45)
e , ( 1 - - 1 S ) - 1 e = 1 Ω Q t tan ( Ω Q t )

Now, defining the eigenvalues of ( 1 - - 1 S ) as

(46)
A k = 1 - Ω Q t ( k - 1 2 ) π 2 which solves
(47)
det ( 1 - - 1 S ) - 1 2 = 1 cos Ω Q t 1 2

Hence, for the Gaussian integral for shown in (41) we have the propagator

(48)
K ( Q , 0 ; τ ) = m Ω Q 2 π i sin Ω Q t exp im Ω Q 2 Q 2 cot ( Ω Q t )

Now, using (37) as Gaussian Integral and for ξ = 0 , we have the S - transform

(49)
SI R = m Ω Q 2 π i sin Ω Q t exp i q 2 E 2 2 m Ω Q 2 t + imQ 2 2 t e , ( 1 - - 1 S ) - 1 e

Finally, we can have our propagator for X | and Y | | as

(50)
K X | , Y | | ; τ = m 2 π i Ω x Φ 1 ( sin Ω x t ) ( sin Φ 1 t ) exp i q 2 E 2 m Ω x 2 + Ω y 2 t × exp im Ω x 4 cot ( Ω x t ) X | - qE m Ω x 2 + Ω y 2 2 × exp im Φ 1 4 cot ( Φ 1 t ) Y | | + qE m Ω x 2 + Ω y 2 2

Our next step is to obtain the full propagator and by doing so, we need to transform back the transformed coordinate to their respective original coordinates and gives the following relations Y | | = Y | cos θ - z | sin θ z | = Y | sin θ + z | cos θ and imposing the condition θ = 2 n + 1 4 π we have the expressions Y | | 1 2 ( Y | - z ) z | 1 2 ( Y | + z )

Repeating the process above to get X and Y X | = X cos θ - Y sin θ Y | = X sin θ + Y cos θ

In Addition, imposing the condition ϕ = 2 n + 1 4 π to get X | 1 2 ( X - Y ) Y | 1 2 ( X + Y )

Now we can write the Transformed coordinate as X | 1 2 ( X - Y ) Y | | 1 2 ( X + Y - 2 z ) z | 1 2 ( X + Y + 2 z )

Substituting these relations in Eq. (50), therefore, the full propagator can be written as

(51)
K ( X , Y , Z ; t ) = m 2 π i 3 2 Ω x Φ 1 Φ 2 ( sin Ω x t ) ( sin Φ 1 t ) ( sin Φ 2 t ) exp i q 2 E 2 m Ω x 2 + Ω y 2 t × exp im Ω x 4 cot ( Ω x t ) 1 2 ( X - Y ) - qE m Ω x 2 + Ω y 2 2 × exp im Φ 1 4 cot ( Φ 1 t ) 1 2 ( X + Y - 2 z ) + qE m Ω x 2 + Ω y 2 2 × exp im Φ 2 4 cot ( Φ 2 t ) 1 2 ( X + Y + 2 z ) 2

Which is the exact propagator when there is an effect of uniform electric field on the coupled harmonic oscillators in a single multimode harmonic oscillator. Eq. (51) agrees with the result in Butanas and Caballar (2016) when E = 0 ; in Pabalay and Bornales (2008) when E = 0 and z = 0 ; and in Somerado and Convicto (2017) when z = 0 .

5

5 Conclusion

We solved the Feynman propagator for a system of coupled harmonic oscillator with two dimensional electric field interacting with a bath consisting a single multimode harmonic oscillator in the framework of white noise analysis. By having a two successive transformation of coordinates, the full propagator was obtained by multiplying the propagator where there is a presence of electric field and the propagator along the bath coordinate. In addition, the obtained full propagator was consistent with some previous articles for different cases.

It has been shown that the method of white noise analysis (Hida, 2001) can be used. To evaluate the propagators for open quantum systems and quantum mechanical problems. Particularly, it can also be applied to systems with N coupled harmonic oscillators which are all coupled to an environment, which can then be used to model quantum transport of energy excitations in solid state and biological systems (Butanas and Caballar, 2017). Furthermore, an extension of this study is to explore (Butanas and Caballar, 2017) with an inclusion of electric and magnetic fields and consider a non-quadratic form of the Lagrangian such as in the form of Virial theorem in thermodynamics.

6

6 Conflict of interest

None.

Acknowledgements

The authors would like to thank the Department of Physics, Mindanao State University-Main Campus for the support extended on this paper. Norodin A. Rangaig wishes to thank and acknowledge the Department of Science and Technology of the Philippines (DOST-SEI), for the financial support throughout the years.

References

  1. , . Mathematical Methods for Physicist (4th ed.). New York: Academic Press; .
  2. , , . White noise analysis and the Feynman path integral. In: Proceedings of the 3rd Jagna International Workshop. . p. :18-31.
    [Google Scholar]
  3. , , . Coupled harmonic oscillator in a multimode harmonic oscillator bath: derivation of quantum propagator and master equation. J. Phys. Res. Gate Publ. 2016
    [Google Scholar]
  4. , , . Quantum propagator dynamics of a harmonic oscillator in a multimode harmonic oscillators environment using white noise functional analysis. J. Phys. Res. Gate Publ. 2017
    [Google Scholar]
  5. , , . Quantum Mechanics and Path Integral. New York: McGraw-Hill; .
  6. , . Quadratic functional of Brownian motion. J. Multivariate Anal.. 1971;58–69
    [Google Scholar]
  7. Hida, T., 2001. White noise approach to feynman integrals, J. Kor. Math. Soc. 38(2) 275–281.
  8. , . White Noise Theory. CRS Press Inc.; .
  9. Pabalay, J.R., Bornales, J.B., 2008. Coupled harmonic oscillators: a white noise functional approach, research gate.
  10. , , . Analytical solution of perturbed two-dimensional harmonic oscillator using white noise path integral approach. Mindanao State University-Marawi City; . (Undergraduate thesis)
  11. , , . Classical Dynamics of Particles and Systems. Academic Press; .
Show Sections