Wavelet Basis and Fourier Transform Approach to Path Integral Formulation of Electron Dynamics ()
1. Introduction
The path integral formulation of quantum dynamics was developed by Richard Feynman in 1948. It generalizes the action principle of classical mechanics. In path integral formulation, the transient state at time
of a quantum system is obtained from the initial state
by
(1)
where
is the time evolution operator and
is the dimensionality of the system,
,
or
. The kernel is given by
(2)
where the integration is carried out over all paths with
and
and the action is
(3)
where
is the Lagrangian of the system. See Ref. [1] for more details.
The path-integral method is often applied by using an imaginary time variable [2]. Svensson [3] discusses the computation of the hydrogen atom with the path integral method. Ho and Inomata [4] and Steiner [5] present an exact treatment of the hydrogen atom with path integral formulation. Path integral treatment of the quantum mechanical harmonic oscillator has been given, for example, by Ruokosenmäki and Rantala [6]. They used a real time variable.
Wavelets are a basis function set constructed by dilatations and translations of so-called mother scaling function and mother wavelet. Mathematical theory of interpolating wavelets has been developed by Chui and Li [7] and Donoho [8]. Höynälänmaa [9] has generalized these results for the multivariate case. Goedecker [10] gives an application-oriented introduction to interpolating wavelets. Höynälänmaa et al. [11] have made Hartree-Fock calculations of atoms using an interpolating wavelet basis. Höynälänmaa and Rantala [12] have also made three-dimensional Hartree-Fock and Density Functional Theory calculations using interpolating wavelets for some atoms and two-atom molecules. Orthonormal wavelets are presented, e.g., by Daubechies [13].
Here, we use the Deslauriers-Dubuc interpolating wavelets [14] [15] and Daubechies orthonormal wavelets [13]. Also, atomic units (
) and the unitary angular frequency definition of the Fourier transform are used throughout this article. We abbreviate “atomic units” by a.u. and units “Hartree” and “Bohr” by Ha and B. Also, a stationary wavefunction is denoted by
as the symbol
is used for wavelets.
2. Path Integral Formulation
For a stationary system, the time evolution operator is given by
(4)
where
is the Hamiltonian operator of the system. The time evolution of an eigenstate of a stationary system
is given by
(5)
where
is an eigenstate of the time-independent Hamiltonian and
is its energy.
In path integral formulation, the kernel (2) can be represented [1] as
(6)
For a one-particle system, the action
is given by [16]
(7)
and
(8)
We also define
. The Trotter kernel is an approximation of the path-integral kernel [6] given by
(9)
3. Wavelet Bases
3.1. Interpolating Wavelets
The basis function set is constructed in the same way as in Ref. [12] (Section 3). We assume that
is some Deslauriers-Dubuc mother scaling function [7]-[9] [14] [15] and
is the dimensionality of the domain
. The multiresolution analysis for interpolating wavelets may be constructed either in the space of bounded and uniformly continuous functions
or in the space of continuous functions vanishing at infinity
. Both of these spaces use the supremum norm.
The mother scaling function
satisfies the relation
(10)
and the mother wavelet is given by
. We assume that the filter
is finite in this article. This is true at least for Deslauriers-Dubuc wavelets. The doubly indexed scaling functions are given by
and the doubly indexed wavelets by
. The dual scaling functions are defined by
and the dual wavelets by
where
(11)
and
.
When an interpolating wavelet basis is constructed, we select the minimum resolution level
and an arbitrary function
in the space where the MRA is constructed can be represented as
(12)
where and
. In practical computations, we truncate the basis set to be finite. We also define
(13)
and
(14)
For the three-dimensional case, we define
(15)
(16)
(17)
(18)
where
,
, and
. Now, an arbitrary function in the space where the MRA is constructed can be represented as
(19)
where ,
, and
.
There is an alternative way to index the multi-dimensional basis functions in a three-dimensional point grid. In this formulation, the index is a point located at the “peak” of the basis function (for the mother scaling function, this peak is located at the origin).
Define
(20)
and
(21)
where
. Define sets
by
(22)
(23)
The point grid
shall be some finite subset of
. We use only bases with one or two resolution levels
in this article. We define
(24)
for
.
Define
(25)
(26)
When
and
define
(27)
and
(28)
where
.
One-dimensional case is similar. We set
and
,
for
.
3.2. Orthonormal Wavelets
We define the basis indices by
where
and
is a finite set of integer numbers (usually a range of integers). Now, the basis functions are defined by
(29)
where
,
is the mother scaling function of the wavelet family, and
is the mother wavelet of the wavelet family.
We have
(30)
(31)
where
is a positive integer,
are real numbers, and
.
An arbitrary function
can be represented as
(32)
where
(33)
and
(34)
4. Stationary State Energies and Wavefunctions
Fourier transform has been used to determine the energy spectrum of a quantum mechanical system with path integral formulation, e.g., by Gholizadehkalkhoran et al. [17].
A stationary state
of a quantum mechanical system can be represented by
(35)
where functions
are the eigenstates of the Hamiltonian operator of the system and
are complex numbers. The time evolution of the stationary states is given by
(36)
where
are the energies of the eigenstates. Suppose that we have a fixed point
and define
. By making a Fourier transform, we obtain
(37)
Thus, we may compute the eigenenergies of the system from the Fourier spectrum of function
.
Suppose that we have a stationary system with initial state
and final state
and assume that the time interval
is small. We have
(38)
from which we obtain
(39)
and
(40)
The initial function of the time evolution should be chosen so that it has a broad Fourier spectrum and it should also contain both even and odd terms. So, we chose to approximate the sum of delta function and its derivative at the origin with a scaling function centred at the origin and its derivative in the one-dimensional case. In some calculations function
is used instead of the derivative. In three dimensions, the tensor products of functions
are used.
The continuous Fourier transform is computed by the method described in [18] (Section 2). We have also generalized it into three dimensions.
Let
,
be the points where the wavefunction of state
shall be calculated. Let
and
be the spacing between points in the Fourier spectrum
. We have
(41)
where
is the number of discrete computation points for
and
is the time step. We approximate the Dirac
functions in Equation (37) with a Gaussian function and we assume that the overlaps of the approximated peaks can be neglected. The square of each Gaussian peak is another Gaussian peak and the peak
is fitted to the Gaussian distribution
(42)
using the computed values of
. Define
(43)
and
(44)
Note that
is the Fourier transform of the autocorrelation function of
multiplied by a constant. Let
be the undefined variables. We now set
(45)
and
(46)
It follows that
(47)
and
(48)
The FWHM (full width at half maximum)
of the peak
computed at point
determines quantity
:
(49)
The product of the height of a peak and its FWHM determines the probability density of eigenstate
at the point
where the spectrum is computed, see formulas (47) and (49).
5. Approximation of Path Integral Kernel
We assume that the potential
is time-independent. The kernel is approximated by setting
. Thus
(50)
We have
(51)
where
(52)
and
(53)
Now
(54)
We call this kernel the midpoint kernel.
If function
is radially symmetric (i.e., the potential is radially symmetric), we have
(55)
where
and
. Note that the Fourier transform of
in Equation (55) is one-dimensional. See Ref. [1] (Sections 3 - 11) for another Fourier transform-based approach to the path integral formulation.
6. Quantum Harmonic Oscillator and Hydrogen-Like Atom
The potential of the one-dimensional harmonic oscillator is
(56)
where
is the mass of the particle and
is the angular frequency. The potential of the isotropic three-dimensional harmonic oscillator is
(57)
The kernel for the one-dimensional harmonic oscillator can be computed exactly [1]. We have
(58)
where
is the classical action given by
(59)
By substituting the potential of the one-dimensional harmonic oscillator to Equation (53), we obtain
(60)
Define
(61)
and assume that
. Now
(62)
Similarly, in the three-dimensional case, we have
(63)
using Equation (55).
The potential of a hydrogen-like atom is
(64)
in one dimension and
(65)
in three dimensions. Here,
is the atomic number. The Trotter kernel for a hydrogen-like atom is computed by Equation (9) and the midpoint kernel by Equation (54).
7. Representation of Path-Integral Kernel in Wavelet Bases
7.1. Interpolating Wavelets
The interpolating mother scaling function can be represented as [7] [9]
(66)
where
is some nonnegative integer and
,
, are constants that depend on the mother scaling function and
. We define
to be the coefficients for
and
for
. We now have
(67)
for all
,
(68)
for all
and
even integer, and
(69)
for all
and
odd integer. We also have
(70)
for all
,
(71)
for all
, and
(72)
for all
.
The matrix of the time evolution operator in the interpolating wavelet basis is
(73)
It follows from Equation (11) that the dual wavelets
are finite sums of delta distributions. Consequently, the integration over
is actually a weighted sum of values of the function
in finite number of points
. When
, we have
(74)
In one-dimensional case, define
(75)
and the integral over
in Equation (74) is approximated by
(76)
where
and
or
. For the three-dimensional case, define
(77)
and
(78)
for
. Define also
and
(79)
Now, we can approximate
(80)
where
and
or
. We pick some value
and for
, we use value
in Equation (66) and
otherwise. The lower accuracy is used because the matrix elements where
belongs to the finer grid are significantly more complex to compute than the ones in the coarser grid.
We use 8th-order Deslauriers-Dubuc wavelets for one-dimensional calculations and 4th-order Deslauriers-Dubuc wavelets for three-dimensional calculations.
7.2. Orthonormal Wavelets
In order to compute the values of the orthonormal wavelets, we use the representation
(81)
where
is some nonnegative integer and
,
, are constants that depend on the mother scaling function and
. The matrix elements of the time-evolution operator are given by
(82)
with orthonormal wavelets. The 20th-order Daubechies wavelets are used in this study. We use only one-dimensional orthonormal wavelets.
8. Test Results
Unless otherwise stated, the calculations use Deslauriers-Dubuc wavelets. The vertical axes of the energy spectra contain quantity
, where
is an approximation of function
and function
is defined in Section 4. The notation of the spectra is the following:
The locations of the peaks determine the energy eigenstates of the system.
The heights and widths of the peaks determine the values of the probability densities at the points where the spectra are computed.
The construction of the basis sets has been presented in Section 3. For Deslauriers-Dubuc wavelets, the notation for the point grid
is
(83)
or
(84)
where
is the dimensionality of the system,
or
. For Daubechies wavelets, the notation for the basis set is
(85)
or
(86)
The time step
has been defined by Equations (6), (7), and (8). The scaling function resolution
has been defined in Section 7.
8.1. Harmonic Oscillator
The one-dimensional harmonic oscillator is calculated with the exact kernel, Trotter kernel, and midpoint kernel. We compute all these systems with both one and two resolution levels of the basis functions for
and one resolution level for
and
The mass of the particle is 1 a.u. and the angular frequency 0.1 radians. All these calculations yield the ground state energy 0.050265 Ha and the first excited state 0.150796 Ha or 0.149226 Ha. The basis
is used for one-level calculations and the basis
for two-level calculations. We use scaling function resolution
. The energy spectrum for the exact kernel is plotted in Figure 1 and for the midpoint kernel in Figure 2. Both of these calculations use two resolution levels. The wavefunction of the one-dimensional harmonic oscillator calculated with the method described in Section 4 is plotted in Figure 3.
The three-dimensional harmonic oscillator is calculated using the midpoint kernel and the Trotter kernel. The mass of the particle is 1 a.u. and the angular frequency 0.1 radians. We use basis
and mother scaling function resolution
. The resulting ground state energy for the midpoint kernel is
and the first excited state
for
For
, the energies are
and
. The energy spectrum for
is plotted in Figure 4. For the Trotter kernel, the energies are
and
for both
and
8.2. Hydrogen Atom
When the Deslauriers-Dubuc (interpolating) wavelets are used for the hydrogen atom the midpoint kernel calculations work for parameter
but not for
So, we calculated this system with Daubechies (orthonormal) wavelets using both Trotter and midpoint kernels. For one resolution level calculations, the basis
is used and for the two-level calculations, the basis
. We set the mother scaling function resolution to
. The resulting ground state energies and first excited state energies are presented in Figure 5 and Figure 6. It can be seen that for the same time parameter, the midpoint kernel yields usually better energy compared to the Trotter kernel, but the Trotter kernel accepts smaller time parameters. The best energy for the Trotter kernel is
and if the energies smaller than the exact energy are neglected, we get
. The best energy for the midpoint kernel is
. As regards the first excited state, the best energy for the Trotter kernel is
and for the midpoint kernel
.
The best energy spectrum for the Trotter kernel is plotted in Figure 7 and for the midpoint kernel in Figure 8. The radial probability density function of the hydrogen atom calculated in one dimension with the method described in Section 4 is plotted in Figure 9.
Figure 1. Energy spectrum of the one-dimensional harmonic oscillator computed with the exact kernel.
Figure 2. Energy spectrum of the one-dimensional harmonic oscillator computed with the midpoint kernel.
Figure 3. Probability density function
of the one-dimensional harmonic oscillator computed with the exact kernel.
Figure 4. Energy spectrum of the three-dimensional harmonic oscillator calculated with the midpoint kernel.
Figure 5. Energies of the hydrogen atom ground state. “Midpoint” and “Trotter” denote the kernel type and “r.l.” stands for number of resolution levels.
Figure 6. Energies of the first excited state of the hydrogen atom. “Midpoint” and “Trotter” denote the kernel type and “r.l.” stands for number of resolution levels.
Figure 7. Energy spectrum of the hydrogen atom computed with the Trotter kernel in one dimension.
Figure 8. Energy spectrum of the hydrogen atom computed with the midpoint kernel in one dimension.
Figure 9. Radial probability density function
of the hydrogen atom computed with the midpoint kernel in one dimension.
We make three-dimensional calculations of the hydrogen atom using the midpoint kernel and the Trotter kernel. The basis function set is
. The function
for the midpoint kernel is calculated with formula (55). The sign of the midpoint kernel (54) has to be inverted in order to get the energy computation to work. We get energy
for the midpoint kernel with parameter
and value
does not yield reasonable results. For the Trotter kernel, we get
with parameter
and value
does not give reasonable results.
9. Conclusions
The new issues in this article are:
Use of Deslauriers-Dubuc and Daubechies wavelets with the path integral formulation.
The midpoint kernel approximation of the path integral kernel.
A method to compute probability density of a quantum state with the path integral formulation.
We estimate the goodness of the test results by comparing the energy eigenvalues to the exact energies of the test systems and comparing the computed probability density curves to the exact ones. The relative errors of the computed energies were:
Ground state and first excited state of the one-dimensional harmonic oscillator: 0.5%.
Ground state and first excited state of the three-dimensional harmonic oscillator: 0.5%.
Hydrogen atom ground state computed with one dimension and the midpoint kernel: 0.7%.
Hydrogen atom first excited state computed with one dimension and the midpoint kernel: 4%.
Hydrogen atom ground state computed with three dimensions and the midpoint kernel: 7%.
These results are good except for the last two. However, these energies are reasonable approximations. Our algorithm gave good results for the probability density functions: the computed and exact curves were almost the same. Both the Deslauriers-Dubuc wavelets and Daubechies wavelets were useful basis sets for the computations. It turned out that when the time step parameter
is the same, the midpoint kernel usually gives better energy than the Trotter kernel for the hydrogen atom (one and three dimensions), but the Trotter kernel accepts smaller values for
. The two kernels yield approximately the same energy for the harmonic oscillator.
The purpose of the midpoint kernel is to be a more accurate approximation than the Trotter kernel while being practical to compute. For one-dimensional hydrogen atom computed with the midpoint kernel, the energies improve when the time step
is decreased. However, when the time step is too small, the results get worse. For one resolution level computation, this limit is about 0.125 and for two resolution levels, it is about 0.25.
Interpolating wavelets were chosen as the basis function set because the calculation of operator matrix elements is simpler with them compared to the orthonormal wavelets. The matrix elements are computed by numerical integration for the Daubechies wavelets. See Section 3.1 for the computation of matrix elements with interpolating wavelets. Daubechies wavelets were used for the one-dimensional hydrogen atom computations because interpolating wavelets did not work well for them. We use 4th degree Deslauriers-Dubuc wavelets for three-dimensional calculations because the filter
(10) for them is smaller than the corresponding filter for 8th degree wavelets and thus the matrix element computations using 4th order wavelets are faster. On the other hand, higher-order interpolating wavelets can represent higher-order polynomials accurately, leading to better approximations [10]. The computation grids were chosen, so that they cover the range where the wavefunctions are significantly different from zero. For two resolution-level computations, the finer grid was used near the origin.
Note that many different calculations yield exactly same energy values because the energy spectrum
is approximated by the Discrete Fourier Transform, for which the energy values are discrete. Ruokosenmäki [16] has discussed the behavior of the path integral kernel with small values of
, too.