Next Article in Journal
Investigation of Snake Robot Locomotion Possibilities in a Pipe
Previous Article in Journal
Subclasses of Starlike and Convex Functions Associated with the Limaçon Domain
Previous Article in Special Issue
Dark Matter Candidates with Dark Energy Interiors Determined by Energy Conditions
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Solution of Non-Autonomous Schrödinger Equation for Quantized de Sitter Klein-Gordon Oscillator Modes Undergoing Attraction-Repulsion Transition

1
Department of Mathematics and Statistics, La Trobe University, Bundoora, VIC 3086, Australia
2
School of Physical Sciences, University of Adelaide, Adelaide, SA 5005, Australia
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Symmetry 2020, 12(6), 943; https://doi.org/10.3390/sym12060943
Submission received: 22 April 2020 / Revised: 22 May 2020 / Accepted: 29 May 2020 / Published: 3 June 2020
(This article belongs to the Special Issue Symmetries in the Universe)

Abstract

:
For a scalar field in an exponentially expanding universe, constituent modes of elementary excitation become unstable consecutively at shorter wavelength. After canonical quantization, a Bogoliubov transformation reduces the minimally coupled scalar field to independent 1D modes of two inequivalent types, leading eventually to a cosmological partitioning of energy. Due to accelerated expansion of the coupled space-time, each underlying mode transits from an attractive oscillator with discrete energy spectrum to a repulsive unit with continuous unbounded energy spectrum. The underlying non-autonomous Schrödinger equation is solved here as the wave function evolves through the attraction-repulsion transition and ceases to oscillate.

Graphical Abstract

1. Introduction

Due to the accelerated expansion of the universe, fundamental modes of a weakly coupled scalar field eventually become unstable. It is shown here that a Bogoliubov transformation may reduce the system to a collection of oscillators with time dependent frequencies that become pure imaginary at times of attraction–repulsion transition. The main question to be answered here is what the Schrödinger wave function looks like as it evolves across the attraction–repulsion transition. That is answered by solving the non-autonomous Schrödinger equation exactly. Before that, the spectral properties of the quantum field are analysed in the Fock picture. Possible implications in cosmology and in the mathematical representation theory of Boson fields, are discussed.
Over the last decade it has become generally accepted that over intergalactic scales the universe is isotropic, spatially flat, expanding, and accelerating [1,2,3,4,5,6,7,8]. These assumptions lead to a simple form of the Friedmann equation (e.g., [9]). Neglecting the radiation component of energy,
a ˙ ( t ) a 2 = 8 π G 3 ρ ( t ) + Λ c 2 3
where G is the universal gravitational constant, ρ is the mass density of matter, and Λ is the cosmological constant which is assumed to be positive to produce an accelerating universe. The energy density of the dark component is Λ c 4 8 π G . As time increases and the universe expands, the mass density will decrease. Therefore at large times, a ( t ) will be asymptotic to e Λ / 3 c t . Carroll and Chatwin-Davies [10] view this as a consequence of the second law of thermodynamics, even without reference to general relativity. The FLRW universe with this scale factor is equivalent by a change of coordinates to half of the maximally symmetric de Sitter space which can be defined as a four dimensional hyper-surface satisfying
z 0 2 z 1 2 z 2 2 z 3 2 z 4 2 = 3 Λ ,
and embedded in 1+4-dimensional flat Minkowski space (e.g., Chap. 5.4 of [11].)
The field equations are routinely solved exactly in terms of a discrete expansion of spherical harmonics satisfying appropriate boundary conditions. The consideration of boundary conditions is not straightforward [12]. The choice of boundary conditions, and its relativistic consequences, are discussed in Appendix B. Consideration of the canonical stress-energy tensor constructed from a de Sitter-invariant Lagrangian, lead to a boundary condition that is unusual in this context. The set-up of the classical boundary value problem and its standard solution by separation of variables are given in Section 2.1 and Appendix A. This construction is well known but it is needed to explain the origin of repulsive modes.
Section 2.2 is concerned with the energy spectrum. After second quantization, a Bogoliubov transformation is applied to reduce the Hamiltonian to that of a sum of independent subsystems of minimal degrees of freedom. However, unlike in usual free Boson field theory (e.g., [13]) and unlike in the many-body theory of condensed matter (e.g., [14]), the Hamiltonian is not a sum of quasi-particle number operators. The indefinite Hamiltonian involves two of the six types of Broadbridge’s inequivalent normal forms [15] for quadratic Boson operators. After canonical quantization, the Hamiltonian is composed of light and a dark components, quantum oscillators as well as quantum repulsive units . The repulsive units have a continuous spectrum of energy eigen-distributions akin to Schroer’s “jelly states” [16]. As time increases, modes of progressively high wave number cease to be oscillatory and join the collection of unbounded repulsive units. The fundamental non-autonomous modes are analysed in two ways. The first is to classify the spectrum of the modal Hamiltonian that is frozen in time (Section 2.2). The second, which is the main objective, is to directly solve the non-autonomous Schrödinger equation that evolves from a harmonic oscillator to a repulsive unit (Section 2.3). Initializing from the well defined vacuum in the distant past, it is demonstrated that the expectation value of each quantum field mode progresses through a finite number of oscillations before it remains on one side or another of ϕ = 0 . The solution is readily extended to other initial conditions in the distant past. The example is given of a linear combination of the past vacuum with a past single particle state.
The covariant massless Klein-Gordon field develops unstable modes when it is minimally coupled to an exponentially accelerating de Sitter universe [17,18]. However when unstable classical modes are quantized the Fock representation is no longer physically relevant [19,20,21,22]. The absence of number operators [23] in the commutant of the Hamiltonian is associated with the breakdown of the Fock-Cook representation of the quantum algebra. It has been proven [24] that no de Sitter-invariant Fock vacuum state exists for a massless minimally coupled field on de Sitter space. Allen concludes that either (1) the standard Fock space construction must be abandoned or (2) the vacuum state must break full de Sitter invariance. Since breaking invariance is a far less radical idea than the abandonment of the familiar Fock representation, there has been much investigation into possible vacua for the massless minimally coupled field that are invariant under a subgroup of O ( 4 , 1 ) [24,25,26,27]. This is in contradistinction with the weakly coupled massive scalar field for which there are many fully invariant states, including the Bunch-Davies vacuum [28] which coincides with the minimum energy state in the distant past. One may instead, consider Allen’s first option: the abandonment of the Fock space construction. The break-down of the Fock representation is entirely due to the unstable modes and as we will show, there are only finitely many of these modes at any time. The repulsive modes that are discussed further in Section 3 are dark in the sense that they have no particle or radiation interpretation and so cannot be detected by usual methods that rely on absorption and scattering of particles and oscillatory waves. This phenomenon occurs already at the level of semi-classical quantization wherein the scalar field is quantized but the gravitational tensor field is classical.
The inflationary period is most simply represented by a scalar inflaton field [29] that was coupled to a universe that was expanding exponentially as a ( t ) = e Λ / 3 c t , with Λ very large [30,31]. The radius of the observable universe is estimated to be 47 billion light years compared to only 14 billion light years for the Hubble radius c t H [32]. The favoured explanation is expansion that is evidenced by correlations over large space-like separations observed in the cosmic microwave background [33]. The inflationary exponential time scale 3 / Λ c 2 must be several orders of magnitude smaller than the duration of the inflation period, which is supposed to be 10 32 s . After the sharp big bang, dynamical fields should have a broad frequency spectrum. As discussed in Section 3.1, after many dynamical modes have been destabilised at successively higher energy, the critical radial wave number is proportional to a ( t ) . As is familiar from spherical harmonic expansions, the n t h principal quantum energy levels have degeneracy of order n 2 . These two facts combined, ensure that the dark energy density is approximately constant in time during inflation.
Section 3.2 is a discussion on the existence of a preferred physical representation of the quantum field algebra of observables, which is conventionally taken to be a C*-algebra generated by the Weyl operators [34]. Use of a countable basis of exact field solutions in a finite universe has resulted in the number of repulsive units remaining finite, although increasing with time. This means that although the repulsive modes have neither a natural vacuum representation nor a particle interpretation, Stone’s theorem guarantees that the Hilbert space representation is unique, modulo a unitary automorphism. This preferred physical representation enables meaningful calculations and predictions about the system. This result is significantly different from that of the approximate continuous Fourier expansion [18], since approximation of finite space by spatially infinite space, artificially leads to a problematic infinite number of unstable modes. The remaining infinitely many quantum oscillator modes still have a unique Fock-Cook representation, so overall there is still a well defined preferred physical representation.

2. Canonical Field Quantization and Unstable Modes

2.1. Classical Klein-Gordon Field in an Accelerating Space-Time

Assuming the geometry of a spatially isotropic expanding universe, the standard metric is
d s 2 = g μ ν d x μ d x ν = c 2 d t 2 a ( t ) 2 i = 1 3 d x i d x i .
Here, x 0 = c t , x i are to be interpreted as material coordinates that maintain fixed values on matter that is moving with the mean expansion of the universe and t is cosmic time that would be measured in such a reference frame. The generally covariant Klein-Gordon equation is
ν ν Φ ( x , t ) + ( m 2 c 2 2 + ξ R ) Φ = 0
where ν represents the covariant derivative, m is the particle rest mass, ξ is the coupling constant for matter wave-gravity interaction, and R = 6 c 2 a 2 ( a a ¨ ( t ) + a ˙ 2 ) is the Ricci Scalar.
ν ν is the divergence of the gradient or the Laplace-Beltrami operator,
ν ν Φ = | det g | 1 / 2 μ | det g | 1 / 2 g μ ν ν Φ .
Changing to a conformal time coordinate,
η = 0 t 1 a ( t 1 ) d t 1 ,
then the metric conforms to that of Minkowski,
d s 2 = a ( t ) 2 ( c 2 d η 2 i = 1 3 d x i d x i ) .
From here on, attention will be focussed on exponential expansion with Hubble time
t h = 1 c 3 Λ 1 / 2 , so that
a ( t ) = e Λ / 3 c t ,
c η = 3 / Λ 1 e Λ / 3 t ,
a = η η η with c η = 3 Λ .
Defining ϕ = a Φ , as explained in [18], (1) is expressed as
ϕ + μ 2 ϕ = 0
where
μ 2 = 3 m 2 Λ 2 12 γ c 2 ( η η ) 2 ,
γ = 1 6 ξ and □ is the standard d’Alembertian operator. In these coordinates, the Klein-Gordon equation resembles the standard Lorentz-invariant scalar wave equation, allowing one to develop an illustrative quantum field theory using the familiar notation of canonical quantization.
For minimal coupling, ξ = 0 and γ = 1 / 6 . In that case the ratio of the mass-dependent term to the mass-independent term within μ 2 is 3 m 2 c 2 / 2 Λ 2 . Even for the massive Higgs particle, during the inflation period this ratio is smaller than 10 20 , due to the large value of Λ . During inflation, particle rest mass has little influence on field dynamics. For illustrative purposes, we will consider m = 0 . Then with minimal coupling ξ = 0 ,
μ = i 2 c ( η η ) = i 2 c t H e t / t H .
The focus from here will be on separated modes with distinct radial wave number k. This analysis will make no further assumptions about the effective potential energy function of the mean inflaton field that would allow for development of observed structures. In fact, in the minimal chaotic inflaton field model, the effective potential is indeed quadratic at small- φ but it needs a higher-order plateau at large- φ (e.g., [35] ).
When examining the analytic structure of relativistic wave equations, it is convenient to assume that (Planck’s constant divided by 2 π ), speed of light c and reference radius R 0 have been scaled to unity. The length scale s , time scale t s and mass scale m s may be chosen so that
R 0 / s = 1 , c / [ s t s 1 ] = 1 , / [ m s s 2 t s 1 ] = 1
s = R 0 , t s = R 0 / c , m s = / c R 0 .
After this choice of scaling, other important constants such as G and Λ will be scaled to non-unit dimensionless values:
Λ ^ = Λ s 2 = 3 R 0 c t H 2 G ^ = G c 3 R 0 2 .
The reference radius is the universal radius at a particular reference time. In epochs well after inflation, the reference time is usually taken to be the present, labelled here as t = 0 . For studies of inflation dynamics, a more appropriate reference time would be around 10 35 s after the singularity at a = 0 . From the perspective of de Sitter space, the singularity at t = may be viewed as a coordinate singularity. The standard FLRW coordinate system covers only half of de Sitter space. There is another coordinate patch that covers an earlier period of FLRW contraction. There is no consideration here of the structure of the inflaton field prior to exponential expansion when the de Sitter model is inappropriate. For convenience, the circumflex will be left off dimensionless variables x ^ i = x i / s , r ^ = r / s , t ^ = t / t s and η ^ = η / t s . However, the numerical values of dimensional quantities will be recalled in later discussions when necessary.
As discussed in Appendix B, there exists a reference frame with a system of co-moving (material) space-like coordinates, by which the universe is described as the interior of a sphere x · x < 1 within which the de Sitter metric applies. The scalar field will be supplemented by the boundary condition
ϕ r = 0 .
It can be seen by constructing the canonical stress-energy tensor that this condition guarantees zero flux of energy across the material boundary which is a moving boundary in another system of physical coordinates.
By separation of variables (Appendix A), the solution to (7) may be expanded in terms of spherical harmonic basis functions
F n l ( r ) Y l m ( θ , φ ) { a n l m f n ( η ) + b n l m f n * ( η ) }
where a n l m and b n l m are expansion coefficients. F n l ( r ) are solutions of
1 F r r 2 F r + k n , 2 r 2 = l ( l + 1 ) ,
wherein k n , are eigenvalues of the radial wave number, to be determined from the boundary conditions. f n ( η ) satisfies a non-autonomous differential equation whose solutions are nevertheless well known in terms of Hankel functions or equivalently as Bessel functions,
f n ( η ) = f n ( 1 ) ( η ) + i f n ( 2 ) ( η ) , with
f n ( 1 ) ( η ) = η η J 1 2 1 + 48 γ , k n , ( η η )
and
f n ( 2 ) ( η ) = η η Y 1 2 1 + 48 γ , k n , ( η η ) ,
where J ( ν , · ) and Y ( ν , · ) are Bessel functions of order ν , of the first and second kind respectively. F n are well-known spherical Bessel functions
F n ( r ) = A J l + 1 2 ( k n , r ) k n , r + B Y l + 1 2 ( k n , r ) k n , r .
As recounted in Appendix A, the classical time-dependence of a dynamical mode with radial wave number k may be expressed in terms of a time-dependent angular frequency ω ,
f ( η ) f = k 2 c 2 + 2 ( η η ) 2 .
This leads to a time dependent dispersion relation (Figure 1),
ω 2 = k 2 c 2 2 ( η η ) 2 = k 2 c 2 2 t H 2 e 2 t / t H .
Since the Bessel function of the second kind is singular at r = 0 , a finite-valued ϕ requires B = 0 . A is absorbed into a n l m and b n l m . Equation (13) with the boundary condition (10) determines that in Equation (11), k n , covers the set of eigenvalues of a Sturm-Liouville problem, satisfying
k J l + 1 2 ( k ) 1 2 J l + 1 2 ( k ) = 0 .
It follows that the set of admissible eigenvalues k n is the set of zeros of the derivative spherical Bessel function,
j ( k ) = 0 ,
where is any non-negative integer. k can take one of a discrete set of values being the s’th positive zero of j . In the notation of Antosiewicz [36], k can be a , s ; = 0 , 1 , 2 , ; s = 1 , 2 , . It is known that the zeros of j and of j + 1 are interlaced [37]:
a , 1 < a + 1 , 1 < a , 2 < a + 1 , 2 < a , 3 <
This statement requires a 0 , 1 to be interpreted as 0. The ordering of zeros of j is not fully understood. However from Sec. 10.1.58 of [36], for s > > ,
a , s β + O ( β 1 ) ; β = [ s + 1 2 ( 1 ) ] π ,
which is approximately a monotonic function of the integer part n of β / π ,
n = [ β / π ] = [ s + 1 2 ( 1 ) ] .
It is convenient to choose
k n , = a , [ n + 1 2 ] .
The ordering in the following summation is complete, covering all positive zeros of derivative spherical Bessel functions within the factor F n ( r ) = j ( k n , r ) . It is practically monotonic in n and has the advantage of simple enumeration.
ϕ = n = 1 l = 0 2 n m = F n ( r ) Y m ( θ , φ ) { a n l m f n ( η ) + b n l m f n * ( η ) } .
This expansion is analogous to that which uses the standard ordered basis of energy eigenfunctions of central force systems [38]. n is analogous to the principal quantum number but the r-dependence is different because the assumed material surface boundary condition replaces square integrability on R 3 . The time dependence is not merely trigonometric since the governing equation is non-autonomous. The basis functions f n are chosen to be complex, so that canonical second quantization may proceed just as in the autonomous free field case for which f n ( t ) are complex sinusoids e i ω n t .
The number of independent basis eigenfunctions with quantum number n is ( 2 n + 1 ) 2 . Hence, the number of radial wave number eigenvalues that are less than or equal to a 0 , n + 1 is similarly of order n 2 .

2.2. Reduction of Time-Frozen Hamiltonian by Bogoliubov Transformation

The method of canonical quantization will be the long established approach, similar to that of Pauli [13]. For aspects of coupling with curved space-times, the reader is referred to the standard texts [11,39,40].
Under canonical quantization, the field ϕ becomes a self-adjoint operator of the same form as (11) but with a n l m and b n l m now operators.
Noting that ( Y m ) * = ( 1 ) m ( Y m ) , the requirement that ϕ be self adjoint implies b n l m = ( 1 ) m a n l m , where superscript dagger represents the operator adjoint. Therefore the second quantized field is
ϕ = n = 1 l = 0 2 n m = l l J l + 1 2 ( k n l r ) k n l r Y l m ( θ , φ ) { a n l m f n ( η ) + ( 1 ) m a n l m f n * ( η ) } .
Now the field Equation (7) is the Euler-Lagrange equation generated by the Lagrangian density
L = 1 2 ϕ , η 2 1 2 ( ϕ ) 2 1 2 μ 2 ϕ 2 ,
so the canonical conjugate field variable is
π ( x , η ) = L ϕ ˙ = n = 1 l = 0 2 n m = l l J l + 1 2 ( k n , l r ) k n l r Y l m ( θ , φ ) { a n l m f n ( η ) + ( 1 ) m a n l m f n * ( η ) } ,
with ϕ ˙ = ϕ , η . For Boson fields the field variable and its corresponding canonical conjugate field variable will obey the equal-time commutation relations:
[ ϕ ( x , η ) , ϕ ( y , η ) ] = 0
[ π ( x , η ) , π ( y , η ) ] = 0
[ ϕ ( x , η ) , π ( y , η ) ] = i δ ( x y ) ,
which taken with (20) and (21) imply
[ a n l m , a n l m ] = 0
[ a n l m , a n l m ] = 0
[ a n l m , a n l m ] = i W n A n l δ n n δ l l δ m m
where W n is the Wronskian W ( f n , f n * ) and from (Equation 11.4.5 of Luke [41]),
A n = 0 1 J + 1 2 2 ( k n , r ) k n , r d r = 1 2 k n , 3 [ k n , 2 ( + 1 ) ] J + 1 2 2 ( k n , ) .
Since A n is a real constant and W n = 4 i k n , / π is a purely imaginary constant, one can normalize f n to
f n ( η ) = 1 2 π k n , A n [ f n ( 1 ) ( η ) + i f n ( 2 ) ( η ) ]
so that W n = i A n whereby (25)–(27) are the standard Boson commutation relations and we may interpret a n l m and a n l m as Boson creation and annihilation operators respectively.
The canonical Hamiltonian is
H = Ω 1 2 ϕ , η 2 + 1 2 ( ϕ ) 2 + 1 2 μ 2 ϕ 2 d V ,
where Ω is the sectioned 3-space given by η = constant and d V is the spatial volume element. To avoid the difficulty of integrating the second term we note that the boundary condition (10) with Green’s identity
Ω ϕ 2 ψ + ϕ · ψ d V = Ω ϕ n ^ · ψ d S
where Ω is the surface of all space, implies that
H = 1 2 Ω ϕ , η 2 ϕ ϕ , η η d V = 1 2 n = 1 l = 0 2 n m = l l { W ( f n , f n * ) ( a n l m a n l m + a n l m a n l m ) + ( 1 ) m W ( f n , f n ) a n l m a n l m + ( 1 ) m W ( f n * , f n * ) a n l m a n l m } = n , l H n l 0 + 1 2 n , , m A n l { W ( f n , f n * ) ( a n l m a n l m + a n l m a n l m + a n l m a n l m + a n l m a n l m ) + ( 1 ) m W ( f n , f n ) ( a n l m a n l m + a n l m a n l m ) + ( 1 ) m W ( f n * , f n * ) ( a n l m a n l m + a n l m a n l m ) } .
The Hamiltonian is a sum of commuting quadratic Boson terms
H n l 0 = 1 2 { W ( f n , f n * ) ( a n l 0 a n l 0 + a n l 0 a n l 0 ) + W ( f n , f n ) a n l 0 a n l 0 + W ( f n * , f n * ) a n l 0 a n l 0 }
and
H n l m = 1 2 a n l m a n l m a n l m a n l m D n l m a n l m a n l m a n l m a n l m for m 0
where D n l m = A n l ×
W ( f n , f n * ) 0 0 ( 1 ) m W ( f n * , f n * ) 0 W ( f n , f n * ) ( 1 ) m W ( f n * , f n * ) 0 0 ( 1 ) m W ( f n , f n ) W ( f n , f n * ) 0 ( 1 ) m W ( f n , f n ) 0 0 W ( f n , f n * )
The eigenvalues of I ^ D n l m , where I ^ = diag [ 1 , 1 , 1 , 1 ] , that are invariants of the group of Bogoliubov transformations, are
ω n l = ± A n l ( W ( f n , f n * ) 2 W ( f n , f n ) W ( f n * , f n * ) ) 1 2 .
These eigenvalues are real when μ 2 + k n , l 2 > 0 and purely imaginary ω n l = i α n l when μ 2 + k n , l 2 < 0 . These are the same criteria for real and imaginary frequency found by Mijic [17]. By the theory of equivalence classes of quadratic Hamiltonians [15], there exists a Bogoliubov transformation by which the Hamiltonian in terms of new annihilation operators b n l m is
H = H L + H D
with
H L = n , l k n , l 2 > | μ 2 | ω n l ( η ) 2 b n l 0 b n l 0 + b n l 0 b n l 0 + ω n l ( η ) 2 m = 1 l b n l m b n l m + b n l m b n l m + b n l m b n l m + b n l m b n l m
and
H D = n , l k n , l 2 < | μ 2 | i α n , l ( η ) 2 b n l 0 b n l 0 b n l 0 b n l 0 + i α n , l ( η ) 2 m = 1 l b n l m b n l m + b n l m b n l m b n l m b n l m b n l m b n l m .
We can regard H L and H D respectively as a collection of quantum oscillators with time dependent frequency ω k and quantum repulsive units with time dependent Hooke coefficient α k . An analogous partitioning occurs between propagating and evanescent modes in optics [42]. Note that H L and H D commute and they each may be further decomposed into a sum of commuting Hamiltonian components for independent elementary modes of one degree of freedom. Unlike H L , H D cannot be transformed to a linear combination of number operators since the frequencies are purely imaginary ω k = i α k for all wave numbers k 2 < | μ 2 | .
The expansion in terms of the countable basis of spherical harmonics results in the number of repulsive modes, although increasing with time, remaining finite since for any finite value of μ there are only finitely many solutions to (15) with k 2 < | μ 2 | . The basis modes in (20) have an r-dependent factor
J l + 1 / 2 ( k n l r ) k n l r = ( 1 ) m + 1 2 π 1 k n l r cos ( k n l r ) + O ( [ k n l r ] 3 / 2 ) for l = 2 p Z = ( 1 ) m + 1 2 π 1 k n l r sin ( k n l r ) + O ( [ k n l r ] 3 / 2 ) for l = 2 p + 1 Z .
In this sense, k n l resembles a wave number. However, at any time, a field dynamical mode with radial wave number less than | μ ( η ) | will be non-oscillatory, reaching its last extremum near to the time that k n l 2 | μ ( η ) | 2 becomes negative. At the level of second quantization, that dynamical mode is a harmonic oscillator with time dependent squared angular frequency ω 2 ( t ) that becomes negative at some finite time. The Pauli formulation [13] represents a quantized field as an infinite system of harmonic oscillators. When the field is minimally coupled to an accelerating expanding space-time, there is also a finite number of quantum field modes that may be represented as repulsive units with pure imaginary frequency.
In the Fock representation of quantum mechanics, a single harmonic oscillator is represented by the Hamiltonian
H = ω 2 [ b b + b b ] = ω [ b b + 1 ] ,
with [ b , b ] = 1 . This can be expressed as
H = 1 2 p 2 + 1 2 ω 2 q 2 q = ( 2 ω ) 1 / 2 [ b + b ] , p = i ( ω / 2 ) 1 / 2 [ b b ] , q , p = i .
However if the decreasing angular frequency ω ( η ) becomes zero, the above correspondence between canonical variables ( q , p ) and creation/annihilation operators ( b , b ) breaks down. When the real angular frequency ω becomes pure imaginary i α , the self-adjoint time-frozen Hamiltonian H has a continuous spectrum instead of a discrete spectrum (Figure 1) and it can no longer be written in terms of a number operator b b + 1 . Instead, the normal form [15] for such a repulsive dynamical mode is i α 2 [ b b b b ] as in the components of H D in (36).

2.3. Non-Autonomous Quantum Evolution: Solution with Finitely Many Extrema

The spectral properties of the time-frozen Hamiltonian do not give the complete picture of the dynamics of a single component non-autonomous oscillator. In the next section, operators q and p will be represented in the usual Schrödinger picture as operators on L 2 ( R ) with q : Ψ ( x ) x Ψ ( x ) and p : Ψ ( x , η ) i x Ψ ( x , η ) . Thereafter, the relevant non-autonomous Schrödinger equation will be solved exactly. Full spatial dependence of the field ϕ is temporarily disregarded as attention is focused on a dynamical mode with a single degree of freedom labelled by ( n l m ) , with a single pair of canonical variables ( q n l m , p n l m ) that are now operators. In the following section, if x is to be regarded as the classical version of quantum variable q, then that variable is associated with the displacement of a single independent dynamical mode of the field ϕ . However, as in the Pauli construction by Fourier inversion, after each of those separate quantum dynamical modes have been solved exactly, they may be recombined to construct the full space-time-dependent field, even though this reconstruction is no longer standard Fourier inversion.

2.3.1. Transforming to an Autonomous Schrödinger Equation

The aim is to solve the non-autonomous Schrödinger equation
Ψ x x + 2 i Ψ η ω 2 ( η ) x 2 Ψ = 0
where
ω 2 ( η ) = k 2 2 ( η η ) 2 = k 2 2 η ¯ 2
with η ¯ = η η < 0 , η = 3 / Λ ^ , and Λ ^ is the cosmological constant, where η ( , η ) and η ¯ ( , 0 ) . Note that time evolution, under the non-autonomous equation, is still unitary. In Dirac notation,
d d η | Ψ = i H ( η ) | Ψ ,
where H ( η ) is self adjoint and time dependent. If | χ evolves under the same time evolution,
d d η Ψ ( η ) | χ ( η ) = i H Ψ | χ + Ψ | i H χ = Ψ | i H χ + Ψ | i H χ = 0 .
By analogous results of Bluman and Kumei [43] on non-autonomous diffusion equations, it is possible to transform to a new function
W = G ( x , η ) Ψ satisfying the autonomous Schrödinger equation
W z 1 z 1 + 2 i W z 2 k 2 z 1 2 W = 0 ,
in terms of transformed variables of the form
z 1 ( x , η ) , z 2 ( η )
with inverse transformation
x ( z 1 , z 2 ) , η ( z 2 ) .
The above transformation can be made to approach the identity transformation in the distant past, so that the non-autonomous Equation (37) agrees asymptotically with the autonomous Equation (38). Initial conditions for the original pde and the transformed pde will coincide, at a time taken sufficiently far back in the past. We need to find suitable functions z 1 ( x , η ) , z 2 ( η ) and G ( x , η ) .
Now the target autonomous PDE (38) implies
x z 1 2 G Ψ x x + 2 x z 1 2 G + 2 x z 1 2 G x + 2 i x z 2 G Ψ x + 2 i η z 2 G Ψ η + 2 x z 1 2 G x + x z 1 2 2 G x 2 + 2 i x z 2 G x + 2 i η z 2 G η k 2 z 1 2 G Ψ = 0 .
Equating coefficients with those of original Schrödinger equation (37) gives the following set of PDEs that we must solve, in order to find z 1 ( x , η ) , z 2 ( η ) and G ( x , η ) .
The ratio of the coefficient of the Ψ η term to the coefficient of the ψ x x term in (37) must agree with that in (39). Therefore,
d η d z 2 = x z 1 2 = T 2 ,
where T is an unknown function of z 2 only. Then this gives
η = T 2 d z 2 and x = T z 1 + S ( z 2 )
z 2 = 1 T 2 d η and z 1 = 1 T ( x S ) ,
where S is some function of z 2 . Consequently,
2 x z 1 2 = 0 .
With a primed variable denoting a total derivative with respect to η , we also have
x z 2 = T 2 T T ( x S ) + S .
Now matching the Ψ x terms:
G x G = i T T x + i S T T i S , so that G ( x , η ) = exp i 2 T T x 2 + i S T T x i S x + F ( η ) ,
for some function F.
This establishes the form of the three functions z 1 , z 2 and G but we need to specify the three newly introduced functions T, S and F. From (42) we find
G x x G = i T T + i T T x + i S T T i S 2
and
G η G = i 2 T T T T 2 x 2 + i S T T T T 2 x + i S T T x i S x + F ( η ) .
By comparing the ratios of the Ψ coefficient to the Ψ η coefficient in (37) and in (39), it follows that:
2 x z 1 2 G x + x z 1 2 2 G x 2 + 2 i x z 2 G x + 2 i η z 2 G η k 2 z 1 2 G = x z 1 2 G ω 2 x 2 T 2 i T T + i T T x + i S T T i S 2 G + 2 i T 2 T T ( x S ) + S i T T x + i S T T i S G + 2 i T 2 G η k 2 1 T ( x S ) 2 G = T 2 G ω 2 x 2 2 G η G = i T T 2 k 2 T 4 + ω 2 x 2 + 2 i T T 2 S + T T S + k 2 T 4 S x + T T + i 2 T T S S + T T 2 S 2 + ( S ) 2 k 2 T 4 S 2 .
Now compare coefficients with those of the previous expression (43) for G η / G .
From the x-coefficient:
T T 2 S + T T S + k 2 T 4 S = T T S T T 2 S + T T S S S = ω ( η ) 2 S ,
which has general solution
S = | η ¯ | C 1 J 3 / 2 ( k η ¯ ) + C 2 Y 3 / 2 ( k η ¯ )
but we will simply choose S = 0 , because this will be most convenient.
From the x 2 - coefficient:
T T 2 k 2 T 4 + ω 2 = T T + T T 2 T k 2 T 3 + ω 2 T = 0
which is the Ermakov-Pinney equation with solution
C 3 T 2 = k 2 u 2 + u 2 C 4 + C 3 1 u 2 d η 2
where u ( η ) satisfies
u + ω 2 u = 0 .
We take the simplest non-zero solution for u,
u = k | η ¯ | J 3 / 2 ( k η ¯ ) = 2 π ( k η ¯ ) 2 [ k η ¯ cos ( k η ¯ ) sin ( k η ¯ ) ] 2 .
Then
1 u 2 d η = 1 k 1 u 2 d ( k η ¯ ) = 1 k 1 k η ¯ J 3 / 2 2 ( k η ¯ ) d ( k η ¯ ) = π 2 k k η ¯ sin ( k η ¯ ) + cos ( k η ¯ ) k η ¯ cos ( k η ¯ ) + sin ( k η ¯ ) .
The singularities due to the zeros in the denominator are cancelled by part of the Bessel term when we multiply by u, resulting in T being a well behaved function. We would also like to remove the oscillatory behaviour in T due to the trigonometric and Bessel functions, so that the transformations to z 1 and z 2 are one-to-one and invertible. This can be done by choosing C 3 = 2 k 2 / π and C 4 = 0 , so that
2 k 2 π T 2 = k 2 u 2 + u 2 2 k 2 π 1 u 2 d η 2 , T 2 = ( k η ¯ ) 2 k η ¯ cos ( k η ¯ ) + sin ( k η ¯ ) 2 + k η ¯ sin ( k η ¯ ) + cos ( k η ¯ ) 2 = 1 + ( k η ¯ ) 2 ,
which is 1-1 for all times in the domain η ¯ ( , 0 ) .
From the x 0 -coefficient:
2 F ( η ) = T T + i 2 T T S S + T T 2 S 2 + ( S ) 2 k 2 T 4 S 2 .
With the choice, S = 0 ,
2 F ( η ) = T T
F = log ( T ) .
We can now substitute these into the transformations.
z 2 = 1 k 1 T 2 d ( k η ¯ ) = 1 k 1 1 + ( k η ¯ ) 2 d ( k η ¯ ) = 1 k ( k η ¯ arctan ( k η ¯ ) ) + const .
To ensure that the transformation approaches the identity in the distant past (ie as η or N ) we choose
z 2 = η ¯ 1 k arctan ( k η ¯ ) π 2 k + η = η 1 k arctan ( k [ η η ] ) π 2 k .
Next we simply have
z 1 = 1 T ( x S )
z 1 = x T
which approaches x in the distant past, as desired.
Letting S = 0 also simplifies G so we have
G ( x , η ) = T exp ( i 2 T T x 2 ) = ( 1 + ( k η ¯ ) 2 ) 1 / 4 exp i 2 k x 2 ( k η ¯ ) 3 1 + ( k η ¯ ) 2 ,
which approaches 1 in the distant past, as desired.

2.3.2. Harmonic Oscillator Initially in Ground State

We take W to have the form of a simple harmonic oscillator in the ground state with frequency k (in the distant past, the frequency ω ( η ) approaches k). W ( z 1 , z 2 ) = ( k π ) 1 / 4 e i 2 k z 2 e 1 2 k z 1 2 , so
ψ ( x , η ) = W ( z 1 , z 2 ) G ( x , η ) = k π 1 / 4 ( 1 + ( k η ¯ ) 2 ) 1 / 4 × exp k x 2 2 1 i ( k η ¯ ) 3 1 + ( k η ¯ ) 2 + i 2 arctan ( k η ¯ ) i 2 k η ¯ + i 2 [ π 4 k η ] .
The probability density is
ψ ψ * = k π ( 1 + ( k η ¯ ) 2 ) 1 / 2 exp k x 2 1 + ( k η ¯ ) 2 .
Compared to the usual stationary Gaussian probability density of the time-independent oscillator in its ground state, the Gaussian probability density spreads as the particle wave number effectively decreases in time, as
k ¯ = k ( η η ) 2 ( η η ) 2 + 1 .

2.3.3. Superposition of Harmonic Oscillator Ground State and First Excited State

As an example of an oscillating asymmetric state, we take the solution to (38) to be a superposition of the ground state and the first excited state. We choose the probability density to be predominantly on one side initially.
W ( z 1 , z 2 ) = cos Θ Ψ 0 ( z 1 , z 2 ) + sin Θ Ψ 1 ( z 1 , z 2 ) ,
which is automatically normalised for any value of Θ . With Θ = π / 4 ,
W ( z 1 , z 2 ) = 1 2 ( Ψ 0 ( z 1 , z 2 ) + Ψ 1 ( z 1 , z 2 ) ) = 1 2 k π 1 4 e i k 2 z 2 + 2 k z 1 e i 3 2 k z 2 e k 2 z 1 2
and
W W * = 1 2 k π e i k 2 z 2 + 2 k z 1 e i 3 2 k z 2 e i k 2 z 2 + 2 k z 1 e i 3 2 k z 2 e k z 1 2 = 1 2 k π 1 + 2 k z 1 2 + 2 2 k z 1 cos ( k z 2 ) e k z 1 2 .
In the original coordinates, the probability density is
Ψ ( x , η ) Ψ * ( x , η ) = W W * G G * = 1 T W W * = 1 2 T k π 1 + 2 k x 2 T 2 + 2 2 k x T cos ( k z 2 ) e x 2 T 2
where
cos ( k z 2 ) = cos ( k η arctan ( k η ¯ ) π 2 ) = k η ¯ cos ( k η ) + sin ( k η ) 1 + ( k η ¯ ) 2
which will approach sin ( k η ) , a constant between −1 and 1 that is related to the exact value of the cosmological constant, since η = 3 Λ ^ .
Now using
0 e x 2 a d x = π a 2 , 0 x e x 2 a d x = a 2 , and 0 x 2 e x 2 a d x = 1 4 π a 3 2 ,
the total probability to the right of the origin is
0 Ψ Ψ * d x = 1 2 T k π 0 1 + 2 k x 2 T 2 + 2 2 k x T cos ( k z 2 ) e x 2 T 2 d x = 1 2 + 1 2 π cos ( k z 2 ) .
The probabilistically favoured location oscillates from side to side but eventually the oscillations cease. The extrema in the probability of x > 0 occur at times
z 2 = n π k ( , η π 2 k ) ( with n Z ) .
The final extremum occurs at time z 2 = P π k , where P is the largest integer less than k π η 1 2 . The final distribution will depend on the cosmological constant and the limit of cos ( k z 2 ) . In that final distribution, the probability of x being positive is 1 2 + 1 2 π sin ( k η ) .

3. Discussion

3.1. Cosmological Implications

The highest radial wave number for an unstable mode is given by
k N , l 2 μ 2 = O ( η η ) 2 = O ( a ( t ) 2 )
for some index ( N , l ) . Combining this with (17), N = O ( a ( t ) ) . With n fixed, the number of independent basis functions is approximately ( 2 n + 1 ) 2 . Hence the number of independent unstable non-particulate modes, is approximately the number of basis functions with n N , which is
n = 1 N ( 2 n + 1 ) 2 = 4 3 N 3 + O ( N 2 ) .
The number of independent non-oscillatory modes is of order a ( t ) 3 . If one assumes equipartition of energy among modes originating from a broad-spectrum sharp explosion, then the energy density summed over non-particulate modes will remain approximately constant during the expansion. In more detail, the critical radial wave number is
k N , l = | μ ( t ) | = 2 Λ ^ 3 1 / 2 a ( t ) N π .
The number of independent unstable modes is
n = 1 N ( 2 n + 1 ) 2 = 4 3 N 3 + 6 N 2 + 17 N 3 .
If the dimensionless mean energy distributed to each unstable mode is E, then the dark energy density is
ρ Λ = 4 3 N 3 E 4 3 π a 3 = 2 3 / 2 π 4 Λ ^ 3 3 / 2 E .
This could not account for all dark energy Λ ^ / 8 π G ^ that is consistent with the Friedmann equation unless the energy per unstable mode were to be
E = 3 2 3 / 2 π 3 Λ ^ 1 / 2 G ^ .
E diverges as Λ approaches zero, consistent with unstable quantum field modes not being prevalent when accelerated expansion is negligible. Conversely, when Λ is very large, the dark energy is allocated in small amounts among very many unstable discrete modes, consistent with the classical continuum approximation that is inherent in the Friedmann equation.
The above presentation includes a number of assumptions that may be rough approximations. The eigenvalue label n is not exactly proportional to k n , l . The Hamiltonian is not constant but decreasing in time. Similarly, E ( t ) may be decreasing in time as would be the case at thermal equilibrium with radiation at decreasing temperature. Assume that the best-fit power law is
k N , l = k 0 N 1 / ( 1 + δ ) = | μ ( t ) | = 2 Λ 3 1 / 2 a ( t ) .
Then the dark energy density will be
ρ Λ = N 3 E ( t ) π a ( t ) 3 = E ( t ) 2 Λ ^ 3 k 0 2 3 ( 1 + δ ) / 2 a ( t ) 3 δ π .
This agrees with the Friedmann equation if and only if
E ( t ) = 1 8 3 2 k 0 2 3 ( 1 + δ ) / 2 G ^ 1 a ( t ) 3 δ .
In the unlikely event that dark energy modes remain in thermal equilibrium with radiation modes whose temperature decreases as a ( t ) 1 , δ would be 1 3 . In the more likely event that dark energy modes do not freely interact with radiation modes so that they are not in thermal equilibrium, but remain near the energy levels at which they became unstable, δ would be much less than 1 3 , consistent with the approximation of k N , l being proportional to N.
A scalar inflaton field would have converted a large amount of energy to non-particulate form. This is not the case for the expansion rate that is inferred at the present age of the universe. The Hubble time t H is currently estimated to be 14 billion years and the estimated age is 13.7 billion years. Due to expansion, the radius of the observable universe is much greater than c t H , around 47 billion light years [32]. Since the material radius is scaled here to r = 1 , the dimensionless Hubble radius is less than 14/47. The first positive zero of the spherical Bessel functions is k 1 , 1 = a 1 , 1 2 . 2 . This mode becomes unstable when k 1 , 1 = | μ ( t ) | . Equivalently from (9) in dimensionless form,
a 1 , 1 = 2 t H e t / t H
t t H 0.77 ,
which occurred at around 0.23 times the age of the universe which is within the matter-dominated era which lasted until about 0.7 times current age [44]. Here, t = 0 denotes the present time when a = 1 . At the present time, the critical radial wave number is k = 2 Λ 3 a ( t ) = 2 / t H 4.7 . If there were already a large number of unstable modes, then we would have 4.7 k N , l N π . This implies N = O ( 1 ) which contradicts the assumption of large N unless material radius is much larger than observable radius.
Destabilization of the classical field has been examined in detail here only for a massless spin-0 scalar field but we expect that this effect is indicative of more general integer-spin fields. We expect that a similar effect will occur for a massless spin-1 field and that Bose quantization of the unstable modes will again require a representation with non-particulate eigenstates of the Hamiltonian. The black body spectrum of the cosmic microwave background peaks at 1.07 μm. In the scalar field, according to (53), modes of this wavelength will become repulsive after an exponential expansion of approximately 100 t H duration. Although at the present time, large-scale cosmogenic field instability is barely incipient and therefore has no practical consequence, the unstable non-particulate quantum modes might dominate the energy spectrum in the far-distant future.

3.2. Existence of Preferred Physical Representation

There is no preferred Fock representation of the Weyl quantum algebra of observables for fields that are unstable. Even if we freeze the form of the Hamiltonian at a particular time, there is no time-invariant vacuum state of zero energy, there is no number operator that commutes with the total Hamiltonian [23] and the energy spectrum of each quantized unstable mode is unbounded below. This is more dramatic than the Unruh effect [45] in which observers in different accelerating reference frames ascribe different vacuum states and different n-particle states in the same Hilbert space. It is more dramatic than the van Hove effect [46] (which in turn is stronger than the Unruh effect), in which the strength of interaction requires unitarily inequivalent vacuum representations of the quantum algebra at different times. When a classical mode becomes exponentially unstable, the cyclic representation of the quantum algebra based on a time invariant vacuum state is no longer possible [19,20,22]. Each independent unstable mode contributes a continuous spectrum with corresponding generalized eigenfunctions of the Hamiltonian that are distributions in the dual of the Hilbert space. These eigenfunctions are neither oscillatory nor particulate in character, but related to Schroer’s “jelly” states [16].
Despite these technical difficulties, there are only finitely many unstable modes at any given time, so that for the unstable subsystem, the Stone-von Neumann theorem will guarantee an irreducible separable quantum Hilbert space representation that is unique up to unitary equivalence. In this sense, Isidro and Fernández Córdoba [47] are correct to say that the finite extent of the universe allows for unambiguous measurement of universal quantities such as the total Boltzmann entropy. Since the remaining countably infinite set of stable modes can be represented in terms of simultaneous eigenstates of number operators and of the Hamiltonian, they can be interpreted as absorption of any number of quanta above the vacuum level. The usual preferred Fock-Cook representation [34,48,49] of the stable field component can be extended in a uniquely defined way simply by taking a direct product with the representation of the unstable component that has finite degrees of freedom and whose Hilbert space representation is uniquely determined by the Stone-von Neumann theorem [50,51].

4. Conclusions

The effectively massless scalar field minimally coupled to a spatially flat but rapidly expanding FLRW universe with positive cosmological constant, is an example of an exactly solvable quantum field theory. It has been shown how each of the contributing non-autonomous quantum dynamical modes may be solved exactly even when they evolve from being attractive to repulsive. Like all well-known successful 20th Century quantum field theories, the model is semi-classical in the sense that the primary fields are operators but the space-time background is classical. The pseudo-Riemannian space-time is associated with a classical gravitational field. Because of the exponential expansion of the universe, the fundamental dynamical modes of the system become unstable at progressively shorter material wavelengths at progressively later times. Much of the energy of the inflaton field would have been converted to a non-oscillatory form. Apart from the inflation period, the current universe would admit a relatively small number of unstable Klein-Gordon modes. The simple model with minimal coupling already demonstrates the influence of unstable modes on the quantized energy spectrum. A single unstable mode contributes a continuous spectrum of the quantized time-frozen Hamiltonian, associated with eigenstates that can be viewed as neither oscillatory radiation nor particles. There is no particle number operator that commutes with the time-frozen Hamiltonian of an unstable mode. This non-oscillatory character pertains also when the full non-autonomous system is solved; wave components eventually cease to oscillate in time. The destabilised energy eigenstates are dark in the sense that neither particle detectors nor wave detectors are designed to interact with them. The appearance of these states follows from nothing more than the standard canonical field quantization procedure that has been used for more than 75 years. It requires no additional physical postulates.
The increasing number of independent unstable modes remains finite, whereas the number of stable modes is countably infinite. This allows one to specify a preferred Hilbert space representation with a Fock representation accounting for all of the stable modes. By considering cosmological effects in semi-classical quantization we have focused on effects at extremely long wavelengths. However it is conceivable that a similar mechanism of dark energy generation at short wavelengths may occur in a quantum gravity theory. The conformal metric is expanding exponentially so one would not expect all dynamical modes of the gravitational field to be expressible in terms of gravitational waves and graviton particles.

Author Contributions

The authors contributed equally to this project. All authors have read and agreed to the published version of the manuscript.

Funding

The second author gratefully acknowledges support of the Australian Research Council for project DP160101366.

Acknowledgments

Kerry Hinton guided the authors on the physics literature. Sarah Becirevic assisted with a literature search and classification of non-autonomous Schrödinger equations.

Conflicts of Interest

The authors declare no conflict of interest. The funders had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, or in the decision to publish the results.

Abbreviations

The following abbreviations are used in this manuscript:
MDPIMultidisciplinary Digital Publishing Institute
DOAJDirectory of open access journals
FLRWFriedmann Lemaitre Robertson Walker
PDEpartial differential equation

Appendix A. Separation of Variables

From the non-autonomous Klein-Gordon Equation (7),
2 ϕ η 2 2 ϕ 12 γ ( η η ) 2 ϕ = 0 .
In spherical polar coordinates ( r , θ , φ ) ,
2 ϕ η 2 2 ϕ r 2 2 r ϕ r 1 r 2 sin θ θ sin θ ϕ θ 1 r 2 sin 2 θ 2 ϕ φ 2 12 γ ( η η ) 2 ϕ = 0 .
Consider a separated solution ϕ = F ( r ) L ( θ ) Z ( φ ) f ( η ) satisfying
f ( η ) f r 2 sin 2 θ 12 γ r 2 sin 2 θ ( η η ) 2 F ( r ) F r 2 sin 2 θ 2 r F ( r ) F r 2 sin 2 θ sin θ L ( θ ) d d θ [ sin ( θ ) L ( θ ) ] = Z ( φ ) Z = m 2 ( separation constant ) .
In order for Z ( φ ) to be 2 π -periodic, m can be any integer; consequently Z ( φ ) = e i m φ . Now separating the independent variable θ ,
F ( r ) F r 2 2 r F ( r ) F + f ( η ) f r 2 12 γ r 2 ( η η ) 2 = 1 sin ( θ ) L ( θ ) d d θ [ sin ( θ ) L ( θ ) ] m 2 sin 2 θ = ( + 1 ) ( separation constant ) .
The separated equation for L ( θ ) is equivalent to Legendre’s equation
( 1 x 2 ) d 2 L d x 2 2 x d L d x m 2 L 1 x 2 + ( + 1 ) L = 0 ,
where x = cos ( θ ) . L is finite for all θ if and only if is a non-negative integer. Then L ( θ ) = P m ( cos θ ) , a Legendre function of z.
Separating the remaining independent variables η and r,
F ( r ) F + 2 r F ( r ) F ( + 1 ) r 2 = f ( η ) f 12 γ ( η η ) 2 = k 2 ( separation constant ) .
The separated equation for f ( η ) is equivalent to
( η η ) 2 g ( η ) ( η η ) g ( η ) + [ ( 12 γ + 1 4 ) + k 2 ( η η ) 2 ] g = 0 ,
where g ( η ) = ( η η ) 1 / 2 f ( η ) . Hence the solutions f ( η ) are linear combinations of
( η η ) 1 / 2 J 12 γ + 1 / 4 ( k [ η η ] ) and ( η η ) 1 / 2 Y 12 γ + 1 / 4 ( k [ η η ] ) .
Finally, F ( r ) satisfies
r 2 F ( r ) + 2 r F ( r ) ( + 1 ) F + k 2 r 2 F = 0 .
G ( r ) = r 1 / 2 F ( r ) satisfies Bessel’s equation, resulting in the solutions for F being spherical Bessel functions F ( r ) = j ( k r ) = J + 1 / 2 ( k r ) / k r . This neglects the second kind y ( k r ) that is undefined at r = 0 .

Appendix B. Choice of Boundary Conditions

Boundary conditions in relativistic field theories are guided by symmetry principles. The exponentially expanding FLRW universe may be embedded in de Sitter space (e.g., Chap. 5.4 of [11] ), which is flat 1+4 -dimensional Minkowski space coordinatised as ( z 0 , z i , z 4 ; i = 1 , 2 , 3 ) and restricted to the isometry-invariant hyperbolic surface
z 0 2 i = 1 3 z i 2 z 4 2 = 3 c 2 / Λ = ( c t H ) 2 .
Here, z i : i = 1 , 2 , 3 are grouped together because they are closely related to FLRW material coordinates:
z 0 = c t H sinh ( t / t H ) + r 2 2 c t H e t / t H z i = e t / t H x i ; i = 1 , 2 , 3 , z 4 = c t H cosh ( t / t H ) r 2 2 c t H e t / t H .
This then results in the FLRW metric with exponential expansion:
d s 2 = c 2 d t 2 e 2 t / t H i = 1 3 ( d x i ) 2 .
In material polar coordinates ( t , r , θ , ρ ) ,
d s 2 = c 2 d t 2 e 2 t / t H [ d r 2 + r 2 d θ 2 + r 2 sin 2 θ d ρ 2 ] .
The coordinate patch given by x μ covers only half of de Sitter space. In the context of de Sitter space, the singularity at t = is merely a coordinate singularity, not a geometric singularity. The other half of de Sitter space could be covered by a second FLRW patch in which a ( t ) is decreasing. This second patch is currently well beyond the realm of practical science.
It is straightforward to calculate Killing vectors, being tangent vectors of isometries in de Sitter space. A coordinate transformation then results in ten independent Killing vectors for the FLRW space. This was done by Schrödinger [52], neatly summarised by Hari Dass and Desiraju [53] who related the isometries to zero modes of the Laplace-Beltrami operator. Because of the exponential form of expansion, the maximally invariant de Sitter version of FLRW has an additional scaling isometry
r ¯ = e ϵ r ; t ¯ = t + ϵ ; θ ¯ = θ ; ρ ¯ = ρ .
The radius of a sphere is not even invariant under this simplest of isometries. The spherical surface r = 1 is not invariant under Lorentz transformations that contract lengths in the direction of an observer’s velocity. The invariant surface containing the points with r = r 0 and t = 0 is the space-time hyperboloid given by r = r 0 2 + c 2 t 2 e t / t H . However in continuum mechanics the boundary is physically defined by parcels of co-moving matter each of which, by definition, has a constant location in material coordinates ( r , θ , ρ ) . Hence in order to state a boundary condition on the sphere, one needs an additional postulate that the isotropic space-time has a special locally Lorentz frame in which each time-section is a sphere. It is an anathema to the principle of relativity that there should be a physically distinguished frame. However it has recently been demonstrated that the cosmic microwave background is isotropic only in a special reference frame. Relative to that frame, the earth has a speed of 370 km s 1 [54].
Standard physical boundary conditions are commonly stated in terms of components of the canonical stress-energy tensor which is constructed from the de Sitter-invariant Lagrangian density
T λ ν = g λ ν L + L ϕ , λ ϕ , ν .
In terms of polar radial coordinates and in units chosen so that c = 1 and h ¯ =1, the Lagrangian density for the scalar field equation is
L = 1 2 ϕ , η 2 1 2 ϕ , r 2 + 1 r 2 ϕ , θ 2 + 1 r 2 sin 2 θ ϕ , ρ 2 1 2 μ 2 ϕ 2 .
The ( η , r ) component of the stress energy tensor is T 01 = a ( η ) 2 ϕ , η ϕ , r which must be equal to the energy flux in the radial direction. In the material coordinate system, an expanding spherical boundary has a constant material radius coordinate r = 1 . Since this is in a material coordinate system, zero-transport across the location r = 1 really means zero-transport relative to a moving location r * = a ( t ) in terms of a system of physical coordinates. The material coordinate system is convenient for expressing a moving boundary condition in a simple way. In that case the required physical condition of no transport of energy across the boundary implies either ϕ , r = 0 or ϕ , η = 0 . There is no generally agreed boundary condition for the universe. The viewpoint here is that each fundamental single-particle mode will have only a finite number of oscillations in time before it transitions to a dark non-oscillatory mode. At any time instant, each propagating mode will have only a finite number of local extrema. If the boundary condition ϕ r = 0 is imposed, then the last of the finite number of extrema of each mode will occur at the boundary. Since zeros of ϕ ( η , r ) are interlaced between extrema, the mode decomposition will be virtually the same if the boundary condition were given as ϕ = 0 .

References

  1. Aldrovandi, R. Nonrelativistic spacetimes with cosmological constant. Class. Quantum Grav. 1999, 16, 495–506. [Google Scholar] [CrossRef] [Green Version]
  2. Balbi, A. Constraints on cosmological parameters from MAXIMA-1. Astrophys. J. 2000, 545, L1–L5. [Google Scholar] [CrossRef] [Green Version]
  3. De Bernardis, P. A flat Universe from high-resolution maps of the cosmic microwave background radiation. Nature 2000, 404, 955–959. [Google Scholar] [CrossRef] [PubMed]
  4. Peacock, J.A.; Cole, S.; Norberg, P.; Baugh, C.M.; Bland-Hawthorn, J.; Bridges, T.; Cannon, R.D.; Colless, M.; Collins, C.; Couch, W.; et al. (Hubble Space Telescope Project Consortium). A measurement of the cosmological mass density from clustering in the 2dF. Galaxy Redshift Survey. Nature 2001, 410, 169–173. [Google Scholar] [CrossRef] [PubMed]
  5. Perlmutter, S.; Aldering, G.; Goldhaber, G.; Knop, R.A.; Nugent, P.; Castro, P.G.; Deustua, S.; Fabbro, S.; Goobar, A.; Groom, D.E.; et al. (Supernova Cosmology Project Consortium). Measurements of Ω and Λ from 42 high-redshift supernovae. Astrophys. J. 1999, 517, 565–587. [Google Scholar] [CrossRef]
  6. Riess, A.G.; Strolger, L.G.; Tonry, J.; Casertano, S.; Ferguson, H.C.; Mobasher, B.; Challis, P.; Filippenko, A.V.; Jha, S.; Li, W.; et al. Type Ia supernova discoveries at z > 1 from the Hubble Space Telescope: Evidence for past deceleration and constraints on dark energy evolution. Astrophys. J. 2004, 607, 665–688. [Google Scholar] [CrossRef] [Green Version]
  7. Spergel, D.N.; Verde, L.; Peiris, H.V.; Komatsu, E.; Nolta, M.R.; Bennett, C.L.; Halpern, M.; Hinshaw, G.; Jarosik, N.; Kogut, A.; et al. (WMAP Team). First-Year Wilkinson Microwave Anisotropy Probe (WMAP) Observations: Determination of Cosmological Parameters. Astrophys. J. Supp. 2003, 148, 175–195. [Google Scholar] [CrossRef] [Green Version]
  8. Tegmark, M.; Strauss, M.A.; Blanton, M.R.; Abazajian, K.; Dodelson, S.; Sandvik, H.; Wang, X.; Weinberg, D.H.; Zehavi, I.; Bahcall, N.A.; et al. (WMAP team). Cosmological parameters from SDSS and WMAP. Phys. Rev. D. 2004, 69, 103501-1–103501-26. [Google Scholar] [CrossRef] [Green Version]
  9. Carroll, S.M. Spacetime and Geometry: An Introduction to General Relativity; Benjamin Cummings: San Francisco, CA, USA, 2003. [Google Scholar]
  10. Carroll, S.M.; Chatwin-Davies, M. Cosmic equilibration: A holographic no-hair theorem from the generalized second law. Phys. Rev. D 2017, 97, 046012. [Google Scholar] [CrossRef] [Green Version]
  11. Birrell, N.D.; Davies, P.C.W. Quantum Fields in Curved Space; Cambridge University Press: Cambridge, UK, 1982. [Google Scholar]
  12. Esposito, G.; Kamenshchik, A.Y.; Pollifrone, G. Euclidean Quantum Gravity on Manifolds with Boundary; Kluwer/Springer: Dordrecht, The Netherlands, 2007. [Google Scholar]
  13. Pauli, W. Relativistic field theory of elementary particles. Rev. Mod. Phys. 1941, 13, 203–232. [Google Scholar] [CrossRef]
  14. Thouless, D.J. The Quantum Mechanics of Many-Body Systems, 2nd. ed.; Dover Publications: New York, NY, USA, 1992. [Google Scholar]
  15. Broadbridge, P. Normal forms for classical and Boson systems. Phys. A 1979, 99, 494–512. [Google Scholar] [CrossRef]
  16. Schroer, B. Quantization of m2 < 0 field equations. Phys. Rev. D 1971, 3, 1764–1770. [Google Scholar]
  17. Mijic, M. Particle production and classical condensates in de Sitter space. Phys. Rev. D 1998, 57, 2138–2146. [Google Scholar] [CrossRef] [Green Version]
  18. Broadbridge, P.; Zulkowski, P. Dark Energy States from Quantization of Boson Fields in a Universe with Unstable Modes. Rep. Math. Phys. 2006, 57, 27–40. [Google Scholar] [CrossRef]
  19. Broadbridge, P.; Hurst, C.A. Existence of a complex Structure for Quadratic Hamiltonians? Ann. Phys. 1981, 131, 104–117. [Google Scholar] [CrossRef]
  20. Paneitz, S.M. Unitarization of symplectics and stability for causal differential equations in Hilbert space. J. Funct. Anal. 1981, 41, 315–326. [Google Scholar] [CrossRef] [Green Version]
  21. Broadbridge, P. Problems in the quantization of quadratic Hamiltonians. Hadron. J. 1981, 4, 899–948. [Google Scholar]
  22. Broadbridge, P. Existence Theorems for Segal Quantization via Spectral Theory in Krein Space. J. Austral. Math. Soc. B 1983, 24, 439–460. [Google Scholar] [CrossRef] [Green Version]
  23. Chaiken, J.M. Number operators for representations of the canonical commutation relations. Commun. Math. Phys. 1968, 8, 164–184. [Google Scholar] [CrossRef]
  24. Allen, B. Vacuum states in de Sitter space. Phys. Rev. D 1985, 32, 3136–3149. [Google Scholar] [CrossRef] [Green Version]
  25. Allen, B.; Folacci, A. Massless minimally coupled scalar field in de Sitter space. Phys. Rev. D 1987, 35, 3771–3778. [Google Scholar] [CrossRef] [Green Version]
  26. Kirsten, K.; Garriga, J. Massless minimally coupled fields in de Sitter space: O(4)-symmetric states versus de Sitter-invariant vacuum. Phys. Rev. D 1993, 48, 567–577. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  27. Polarski, D. Infrared divergences in de Sitter space. Phys. Rev. D 1991, 43, 1892–1895. [Google Scholar] [CrossRef] [PubMed]
  28. Bunch, T.S.; Davies, P.C.W. Quantum field theory in de Sitter space—Renormalization by point-splitting. Proc. Roy. Soc. A. 1978, 360, 117–134. [Google Scholar]
  29. Guth, A.H. Inflation. Proc. Natl. Acad. Sci. USA 1993, 90, 4871–4877. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  30. Starobinsky, A.A. A new type of isotropic cosmological models without singularity. Phys. Lett. 1980, 91B, 99–102. [Google Scholar] [CrossRef]
  31. Kazanas, D. Dynamics of the universe and spontaneous symmetry breaking. Astrophys. J. 1980, 241, L59–L63. [Google Scholar] [CrossRef]
  32. Taylor Redd, N. How Big is the Universe? Available online: https://www.space.com/24073-how-big-is-the-universe.html (accessed on 10 June 2017).
  33. Adam, R.; Ade, P.A.; Aghanim, N.; Akrami, Y.; Alves, M.I.R.; Argüeso, F.; Arnaud, M.; Arroja, F.; Ashdown, M.; Aumont, J.; et al. (The Planck Collaboration). Planck 2015 results. I. Overview of products and scientific results. Astron. Astrophys. 2016, 594, A16. [Google Scholar]
  34. Segal, I.E. Mathematical Problems of Relativistic Physics; American Mathematical Soc.: Providence, RI, USA, 1963. [Google Scholar]
  35. Harigaya, K.; Ibe, M.; Kawasaki, M.; Yanagida, T.T. Revisiting the minimal chaotic inflation model. Phys. Lett. B 2016, 756, 113–117. [Google Scholar] [CrossRef] [Green Version]
  36. Antosiewicz, H.A. Bessel Functions of Fractional Order. In Handbook of Mathematical Functions; Abramowicz, M., Stegun, I.A., Eds.; National Bureau of Standards: Washington, DC, USA, 1964; pp. 435–478. [Google Scholar]
  37. Liu, H.; Zou, J. Zeros of the Bessel and spherical Bessel functions and their applications for uniqueness in inverse acoustic obstacle scattering. IMA J. Appl. Math. 2007, 72, 817–831. [Google Scholar] [CrossRef] [Green Version]
  38. Messiah, A. Quantum Mechanics; North-Holland: Amsterdam, The Netherlands, 1961; Volume 1, Chapter 9. [Google Scholar]
  39. Fulling, S.A. Aspects of Quantum Field Theory in Curved Space-Time; Cambridge University Press: Cambridge, UK, 1989. [Google Scholar]
  40. Mukhanov, V.F.; Winitski, S. Introduction to Quantum Effects in Gravity; Cambridge University Press: Cambridge, UK, 2007. [Google Scholar]
  41. Luke, Y.L. Integrals of Bessel Functions. In Handbook of Mathematical Functions; Abramowicz, M., Stegun, I.A., Eds.; National Bureau of Standards: Washington, DC, USA, 1964; p. 485. [Google Scholar]
  42. Aiello, A. Field theory of monochromatic optical beams. 1. Classical fields. J. Opt. 2019, 22, 014001. [Google Scholar] [CrossRef] [Green Version]
  43. Bluman, G.W.; Kumei, S. Symmetry-based algorithms to relate partial differential equations. 1. Local symmetries. Euro. J. Appl. Math. 1990, 1, 189–216. [Google Scholar] [CrossRef] [Green Version]
  44. Ryden, B. Introduction to Cosmology; Cambridge University Press: Cambridge, UK, 2006. [Google Scholar]
  45. Unruh, W.G. Notes on black-hole evaporation. Phys. Rev. D 1984, 14, 870–892. [Google Scholar] [CrossRef] [Green Version]
  46. Van Hove, L. Les difficultés de divergences pour un modele particulier de champ quantifié. Physica 1952, 18, 145–159. [Google Scholar] [CrossRef]
  47. Isidro, J.M.; Fernández de Córdoba, P. On the Holographic Bound in Newtonian Cosmology. Entropy 2018, 20, 83. [Google Scholar] [CrossRef] [Green Version]
  48. Fock, V. Konfigurationsraum und zweite Quantelung. Z. Phys. 1932, 75, 622–647. [Google Scholar] [CrossRef]
  49. Cook, J. The mathematics of second quantization. Trans. Am. Math. Soc. 1953, 74, 222–245. [Google Scholar] [CrossRef]
  50. Stone, M.H. On one-parameter unitary groups in Hilbert Space. Ann. Math. 1932, 33, 643–648. [Google Scholar] [CrossRef]
  51. Von Neumann, J. Die Eindeutigkeit der Schrödingerschen Operatoren. Math. Ann. 1931, 104, 570–578. [Google Scholar] [CrossRef]
  52. Schrödinger, E. Expanding Universes; Cambridge University Press: Cambridge, UK, 1956. [Google Scholar]
  53. Hari Dass, N.D.; Desiraju, H. Killing vectors of FLRW metric (in comoving coordinates) and zero modes of the scalar Laplacian. arXiv, 2016; arXiv:1511.07142v3. [Google Scholar]
  54. Collaboration, P.; Akrami, Y.; Arroja, F.; Ashdown, M.; Aumont, J.; Baccigalupi, C.; Ballardini, M.; Banday, A.J.; Barreiro, R.B.; Bartolo, N.; et al. (The Planck Collaboration). Planck 2018 results. I. Overview, and the cosmological legacy of Planck. arXiv, 2018; arXiv:180706205P. [Google Scholar]
Figure 1. (a) Time dependent dispersion relation (schematic) for minimally coupled Klein-Gordon equation. ω 2 for the minimum discrete wave number k becomes negative at critical time t c . (b) Classical potential energy and quantum energy levels for time-dependent Hamiltonian. As time increases, the attractive force weakens and discrete energy gaps narrow between bound eigenstates. At times t > t c , the force is repulsive and the Hamiltonian has continuous spectrum with no lower bound.
Figure 1. (a) Time dependent dispersion relation (schematic) for minimally coupled Klein-Gordon equation. ω 2 for the minimum discrete wave number k becomes negative at critical time t c . (b) Classical potential energy and quantum energy levels for time-dependent Hamiltonian. As time increases, the attractive force weakens and discrete energy gaps narrow between bound eigenstates. At times t > t c , the force is repulsive and the Hamiltonian has continuous spectrum with no lower bound.
Symmetry 12 00943 g001

Share and Cite

MDPI and ACS Style

Broadbridge, P.; Deutscher, K. Solution of Non-Autonomous Schrödinger Equation for Quantized de Sitter Klein-Gordon Oscillator Modes Undergoing Attraction-Repulsion Transition. Symmetry 2020, 12, 943. https://doi.org/10.3390/sym12060943

AMA Style

Broadbridge P, Deutscher K. Solution of Non-Autonomous Schrödinger Equation for Quantized de Sitter Klein-Gordon Oscillator Modes Undergoing Attraction-Repulsion Transition. Symmetry. 2020; 12(6):943. https://doi.org/10.3390/sym12060943

Chicago/Turabian Style

Broadbridge, Philip, and Kathryn Deutscher. 2020. "Solution of Non-Autonomous Schrödinger Equation for Quantized de Sitter Klein-Gordon Oscillator Modes Undergoing Attraction-Repulsion Transition" Symmetry 12, no. 6: 943. https://doi.org/10.3390/sym12060943

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop