Chapter 10 Smoluchowski Equation for Potentials: Extremum Principle and Spectral Expansion Contents 10.1MinimumPrinciplefortheSmoluchowskiEquation...122 10.2SimilaritytoSelf-AdjointOperator...125 10.3EigenfunctionsandEigenvaluesoftheSmoluchowskiOperator...127 10.4 Brownian Oscillator...131 In this section we will consider the general properties of the solution p(r,t) of the Smoluchowski equation in the case that the force field is derived from a potential, i.e., F (r) = U(r) andthat the potential is finite everywhere in the diffusion doamain. We will demonstrate first that the solutions, in case of reaction-free boundary conditions, obey an extremum principle, namely, that during the time evolution of p(r,t) the total free energy decreases until it reaches a minimum value corresponding to the Boltzmann distribution. We will then characterize the time-evolution through a so-called spectral expansion, i.e., an expansion in terms of eigenfunctions of the Smoluchowski operator L(r). Since this operator is not self-adjoint, expressed through the fact that, except for free diffusion, the adjoint operator L (r) as given by (7.22) or (7.38) is not equal to L(r), the existence of appropriate eigenvalues and eigenfunctions is not evident. However, in the present case F (r) = U(r)] the operators L(r) and L (r) are similar to a self-adjoint operator for which a complete set of orthonormal eigenfunctions exist. These functions and their associated eigenvalues can be transferred to L(r) andl (r) and a spectral expansion can be constructed. The expansion will be formulated in terms of projection operators and the so-called propagator, which corresponds to the solutions p(r,t r 0,t0), will be stated in a general form. A pointed out, we consider in this chapter specifically solutions of the Smoluchowski equation t p(r,t) = L(r) p(r,t) (10.1) in case of diffusion in a potential U(r), i.e., for a Smoluchowski operator of the form (7.3) L(r) = D(r) e βu(r) e βu(r). (10.2) 121
122 Spectral Expansion We assume the general initial condition p(r,t o ) = f(r) (10.3) and appropriate boundary conditions as specified by equations (7.4 7.6). It is understood that the initial distribution is properly normalized dr f(r) = 1. (10.4) The results of the present section are fundamental for many direct applications as well as for a formal approach to the evaluation of observables, e.g., correlation functions, which serves to formulate useful approximations. We have employed already, in Chapter 2, spectral expansions for free diffusion, a casew in which the Smoluchowski operator L(r) =D 2 is self-adjoint (L(r) =L (r)). In the present chapter we consider spectral expansion for diffusion in arbitrary potentials U(x) and demonstrate the expansion for a harmonic potential. 10.1 Minimum Principle for the Smoluchowski Equation In case of diffusion in a domain with a non-reactive boundary the total free energy of the system develops toward a minimum value characterized through the Boltzmann distribution. This property will be demonstrated now. The stated boundary condition is according to (7.4) where the flux j(r,t) is c.f. (4.19)] ˆn(r) j(r,t) = 0 (10.5) j(r,t) = D(r) e βu(r) e βu(r) p(r,t). (10.6) The total free energy for a given distribution p(r,t), i.e., the quantity which develops towards a minimum during the diffusion process, is a functional defined through Gp(r,t)] = dr g(r,t) (10.7) where g(r,t) is the free energy density connected with p(r,t) g(r,t) = U(r) p(r,t) + k B Tp(r,t)ln p(r,t). (10.8) Here is a constant which serves to make the argument of ln( ) unitless. adds effectively only a constant to Gp(r,t)] since, for the present boundary condition (10.5) use (10.1, 10.2)], t dr p(r,t) = dr t p(r,t) = dr D(r) e βu(r) e βu(r) p(r,t) = da D(r) e βu(r) e βu(r) p(r,t) = 0. (10.9) From this follows that dr p(r,t) is constant and, hence, the contribution stemming from, i.e., k B Tp(r,t)ln contributes only a constant to Gp(r,t)] in (10.7). The first term on the r.h.s. of (10.7) describes the local energy density u(r,t) = U(r) p(r,t) (10.10) November 12, 1999 Preliminary version
10.1: Variational Principle 123 and the second term, written as T s(r,t), the local entropy density 1 We want to assume for some t s(r,t) = kp(r,t)ln p(r,t). (10.11) p(r,t) > 0 r, r. (10.12) This assumption can be made for the initial condition, i.e., at t = t o, since a negative initial distribution could not be reconciled with the interpretation of p(r,t) as a probability. We will see below that if, at any moment, (10.12) does apply, p(r,t) cannot vanish anywhere in at later times. For the time derivative of Gp(r,t)] can be stated t Gp(r,t)] = dr t g(r,t) (10.13) where, according to the definition (10.8), t g(r,t) = U(r) + k B T ln p(r,t) ] + k B T t p(r,t). (10.14) Using the definition of the local flux density one can write (10.14) t g(r,t) = U(r) +k B T ln p(r,t) ] + kt j(r,t) (10.15) or, employing w(r)v(r) = w(r) v(r) + v(r) w(r), { t g(r,t) = U(r) + k B T ln p(r,t) ] } + k B T j(r,t) j(r,t) U(r) +k B T ln p(r,t) + k B T ]. (10.16) Using U(r) + k B T ln p(r,t) ] + k B T = F (r) + k BT p(r,t) p(r,t) = + k BT p(r,t) β F (r) p(r,t)] p(r,t) = k B T j(r,t) p(r,t) (10.17) one can write (10.16) t g(r,t) = k { BT p(r,t) j 2 (r,t) + U(r) + k B T ln p(r,t) ] + k B T } j(r,t). (10.18) 1 For a definition and explanation of the entropy term, often referred to as mixing entropy, see a textbook on Statistical Mechanics, e.g., Course in Theoretical Physics, Vol. 5, Statistical Physics, Part 1, 3rd Edition, L.D. Landau and E.M. Lifshitz, Pergamon Press, Oxford) Preliminary version November 12, 1999
124 Spectral Expansion For the total free energy holds then, according to (10.13), t Gp(r,t)] = dr k BT p(r,t) j 2 (r,t) { + da U(r) +k B T ln p(r,t) ] + k B T } j(r,t). (10.19) Due to the boundary condition (10.5) the second term on the r.h.s. vanishes and one can conclude t Gp(r,t)] = dr k BT p(r,t) j 2 (r,t) 0. (10.20) According to (10.20) the free energy, during the time course of Smoluchowski dynamics, develops towards a state p o (r) which minimizes the total free energy G. This state is characterized through the condition t G = 0, i.e., through The Boltzmann distribution j o (r) = D(r) e βu(r) e βu(r) p o (r) = 0. (10.21) p o (r) = Ne βu(r), N 1 = dr p o (r) (10.22) obeys this condition which we, in fact, enforced onto the Smoluchowski equation as outlined in Chapter 3 cf. (4.5 4.19)]. Hence, the solution of (10.1 10.3, 10.5) will develop asymptotically, i.e., for t, towards the Boltzmann distribution. We want to determine now the difference between the free energy density g(r,t) and the equilibrium free energy density. For this purpose we note U(r) p(r,t) = k B Tp(r,t)ln e βu(r)] (10.23) and, hence, according to (10.8) g(r,t) = k B Tp(r,t)ln p(r,t). (10.24) e βu(r) Choosing ρo 1 = dr exp βu(r)] one obtains, from (10.22) g(r,t) = k B Tp(r,t)ln p(r,t) p o (r). (10.25) For p(r,t) p o (r) this expression vanishes, i.e., g(r,t) is the difference between the free energy density g(r,t) and the equilibrium free energy density. We can demonstrate now that the solution p(r,t) of (10.1 10.3, 10.5) remains positive, as long as the initial distribution (10.3) is positive. This follows from the observation that for positive distributions the expression (10.25) is properly defined. In case that p(r,t) would then become very small in some region of, the free energy would become, except if balanced by a large positive potential energy U(r). However, since we assumed that U(r) is finite everywhere in, the distribution cannot vanish anywhere, lest the total free energy would fall below the zero equilibrium value of (10.25). We conclude that p(r,t) cannot vanish anywhere, hence, once positive everywhere the distribution p(r,t) can nowhere vanish or, as a result, become negative. November 12, 1999 Preliminary version
10.2. SIMILARITY TO SELF-ADJOINT OPERATOR 125 10.2 Similarity to Self-Adjoint Operator In case of diffusion in a potential U(r) the respective Smoluchowski operator (10.2) is related, through a similarity transformation, to a self-adjoint or Hermitean operator L h. This has important ramifications for its eigenvalues and its eigenfunctions as we will demonstrate now. The Smoluchowski operator L acts in a function space with elements f,g,... We consider the following transformation in this space f(r), g(r) f(r) = e 1 2 βu(r) f(r), g(r) = e 1 2 βu(r) g(r). Note that such transformation is accompanied by a change of boundary conditions. A relationship implies where L h, g = L(r) f(r) (10.26) g = L h (r) f(r) (10.27) L h (r) = e 1 2 βu(r) L(r) e 1 2 βu(r) (10.28) is connected with L through a similarity transformation. Using (10.2) one can write L h (r) = e 1 2 βu(r) D(r) e βu(r) e 1 2 βu(r). (10.29) We want to prove now that L h (r), as given by (10.29), is a self-adjoint operator for suitable boundary conditions restricting the elements of the function space considered. Using, for some scalar test function f, the property exp 1 2 βu(r)] f =exp1 2 βu(r)] f 1 2βF f yields L h (r) = e 1 2 βu(r) D(r) e 1 2 βu(r) 1 ] 2 F. (10.30) Employing the property exp 1 2 βu(r)] v =exp 1 2 βu(r)] ( v + 1 2βF v), which holds for some vector-valued function v, leadsto L h (r) = D 1 2 β DF + 1 2 βf ( D 1 βf ). (10.31) 2 The identity DF f = DF f + f DF allows one to express finally L h (r) = D + 1 2 β(( F )) 1 4 β2 F 2 (10.32) where (( )) indicates a multiplicative operator, i.e., indicates that the operator inside the double brackets acts solely on functions within the bracket. One can write the operator (10.32) also in the form L h (r) = L oh (r) + U(r) (10.33) L oh (r) = D (10.34) U(r) = 1 2 β(( F )) 1 4 β2 F 2 (10.35) Preliminary version November 12, 1999
126 Spectral Expansion where it should be noted that U(r) is a multiplicative operator. One can show now, using (7.20 7.23), that Eqs. (10.33 10.35) define a self-adjoint operator. For this purpose we note that the term (10.35) of L h is self-adjoint for any pair of functions f, g, i.e., dr g(r) U(r) f(r) = dr f(r) U(r) g(r). (10.36) Applying (7.20 7.23) for the operator L oh (r), i.e., using (7.20 7.23) in the case F 0, implies dr g(r) L oh (r) f(r) = dr f(r) L oh (r) g(r) + da P ( g, f) (10.37) L oh (r) = D(r) (10.38) P ( g, f) = g(r)d(r) f(r) f(r)d(r) g(r). (10.39) In the present case holds L oh (r) =L oh (r), i.e., in the space of functions which obey ˆn(r) P ( g, f) = 0 for r (10.40) the operator L oh is self-adjoint. The boundary condition (10.40) implies (ĩ) n(r) D(r) f(r) = 0, r (10.41) (ĩı) f(r) = 0, r (10.42) ( ııı) n(r) D(r) f(r) = w(r) f(r), r (10.43) and the same for g(r), i.e., (ĩ) mustholdforboth f and g, or(ĩı) mustholdforboth f and g, or ( ııı) must hold for both f and g. In the function space characterized through the boundary conditions (10.41 10.43) the operator L h is then also self-adjoint. This property implies that eigenfunctions ũ n (r) with real eigenvalues exists, i.e., L h (r)ũ n (r) = λ n ũ n (r),n =0, 1, 2,..., λ n R (10.44) a property, which is discussed at length in textbooks of quantum mechanics regrading the eigenfunctions and eigenvalues of the Hamiltonian operator 2. The eigenfunctions and eigenvalues in (10.44) can form a discrete set, as indicated here, but may also form a continuous set or a mixture of both; continuous eigenvalues arise for diffusion in a space, an infinite subspace of which is accessible. We want to assume in the following a discrete set of eigenfunctions. The volume integral defines a scalar product in the function space f g = dr f(r) g(r). (10.45) With respect to this scalar product the eigenfunctions for different eigenvalues are orthogonal, i.e., This property follows from the identity ũ n ũ m = 0 for λ n λ m. (10.46) ũ n L h ũ m = L h ũ n ũ m (10.47) 2 See also textbooks on Linear Alegebra, e.g., Introduction to Linear Algebra, G. Strang (Wellesley-Cambridge Press, Wellesley, MA, 1993) November 12, 1999 Preliminary version
10.3. EIGENFUNCTIONS AND EIGENVALUES OF THE SMOLUCHOWSKI OPERATOR 127 which can be written, using (10.44), (λ n λ m ) ũ n ũ m = 0. (10.48) For λ n λ m follows ũ n ũ m = 0. A normalization condition ũ n ũ n = 1 can be satisfied for the present case of a finite diffusion domain or a confining potential in which case discrete spectra arise. The eigenfunctions for identical eigenvalues can also be chosen orthogonal, possibly requiring a linear transformation 3, and the functions can be normalized such that the following orthonormality property holds ũ n ũ m = δ nm. (10.49) Finally, the eigenfunctions form a complete basis, i.e., any function f in the respective function space, observing boundary conditions (10.41 10.43), can be expanded in terms of the eigenfunctions f(r) = α n ũ n (r) (10.50) α n = ũ n f. (10.51) The mathematical theory of such eigenfunctions is not trivial and has been carried out in connection with quantum mechanics for which the operator of the type L h, in case of constant D, playsthe role of the extensively studied Hamiltonian operator. We will assume, without further comments, that the operator L h gives rise to a set of eigenfunctions with properties (10.44, 10.49 10.51) 4. 10.3 Eigenfunctions and Eigenvalues of the Smoluchowski Operator The eigenfunctions ũ n (r) allow one to obtain the eigenfunctions v n (r) of the Smoluchowski operator L. It holds, inverting the transformation (10.2), For this function follows from (10.2, 10.28, 10.44) v n (r) = e βu/2 ũ n (r) (10.52) i.e., L v n = e βu/2 e βu/2 D(r) e βu(r) e βu(r)/2 ũ n = e βu/2 L h ũ n = e βu/2 λ n ũ n, (10.53) L(r) v n (r) = λ n v n (r). (10.54) The eigenfunctions w n of the adjoint Smoluchowski operator L (7.38) are given by and can be expressed equivalently, comparing (10.55) and (10.52), w n (r) = e βu(r)/2 ũ n (r) (10.55) w n (r) = e βu(r) v n (r). (10.56) 3 A method to obtain orthogonal eigenfunctions is the Schmitt orthogonalization. 4 see also Advanced Calculus for Applications, 2nd Ed. F.B.. Hildebrand, Prentice Hall 1976, ISBN 0-13-011189-9, which contains e.g., the proof of the orthogonality of eigenfunctions of the Smoluchowski operator. Preliminary version November 12, 1999
128 Spectral Expansion In fact, using (7.38, 10.2, 10.54), one obtains or L w n = e βu De βu e βu v n = e βu L v n = e βu λ n v n (10.57) L (r) w n (r) = λ n w n (r) (10.58) which proves the eigenfunction property. The orthonormality conditions (10.49) can be written δ nm = ũ n ũ m = dr ũ n (r)ũ m (r) = dr e βu(r)/2 ũ n (r) e βu(r)/2 ũ m (r). (10.59) or, using (10.52, 10.55), w n v m = δ nm. (10.60) Accordingly, the set of eigenfunctions {w n,n =0, 1,...} and {v n,n =0, 1,...}, defined in (10.55) and (10.52), form a so-called bi-orthonormal system, i.e., the elements of the sets {w n,n =0, 1,...} and {v n,, 1,...} are mutually orthonormal. We want to investigate now the boundary conditions obeyed by the functions e βu/2 f and e βu/2 g when f, g obey conditions (10.41 10.43). According to (10.2) holds, in case of e βu/2 f, According to (10.41 10.43), the function f obeys then e βu/2 f = e βu f. (10.61) (i) n(r) D(r) e βu f(r) = 0, r (10.62) (ii) e βu f(r) = 0, r (10.63) (iii) n(r) D(r) e βu f(r) = w(r) e βu f(r), r (10.64) which is equivalent to the conditions (7.7, 7.5, 7.8) for the solutions of the Smoluchowski equation. We have established, therefore, that the boundary conditions assumed for the function space connected with the self-adjoint Smoluchowski operator L h are consistent with the boundary conditions assumed previously for the Smoluchowski equation. One can veryfy similarly that the functions e βu/2 g imply the boundary conditions (7.7, 7.5, 7.8) for the adjoint Smoluchowski equation. Projection Operators We consider now the following operators defined through the pairs of eigenfunctions v n,w n of the Smoluchowski operators L, L where f is some test function. For these operators holds Ĵ n f = v n w n f (10.65) Ĵ n Ĵ m f = Ĵnv m w m f = v n w n v m w m f. (10.66) November 12, 1999 Preliminary version
10.3: Spectrum of Smoluchowski Operator 129 Using (10.60) one can write this and, hence, using the definition (10.65) Ĵ n Ĵ m f = v n δ nm w m f (10.67) Ĵ n Ĵ m = δ nm Ĵ m. (10.68) This property identifies the operators Ĵn,, 1, 2,... as mutually complementary projection operators, i.e., each Ĵn is a projection operator (Ĵ n 2 = Ĵn) and two different Ĵn and Ĵm project onto orthogonal subspaces of the function space. The completeness property (10.50, 10.51) of the set of eigenfunctions ũ n canbeexpressedinterms of the operators Ĵn. For this purpose we consider α n = ũ n f = dr ũ n f (10.69) Using ũ n = exp(βu/2) v n and f = exp(βu/2) f see (10.52, 10.2)] as well as (10.56) one can express this α n = dr exp(βu/2) v n exp(βu/2) f = dr exp(βu) v n f = w n f Equations (10.50, 10.51) read then for f =exp(βu/2) f f = e βu/2 u n w n f (10.70) and, using again (10.52) and (10.65) f = Ĵ n f (10.71) Since this holds for any f in the function space with proper boundary conditions we can conclude that within the function space considered holds Ĵ n = 1I. (10.72) The projection operators Ĵn obey, furthermore, the property This follows from the definition (10.65) together with (10.54). The Propagator L(r) Ĵn = λ m Ĵ n. (10.73) The solution of (10.1 10.3) can be written formally ] p(r,t) = e L(r)(t to) f(r). (10.74) bc Preliminary version November 12, 1999
130 Spectral Expansion The brackets ] bc indicate that the operator is defined in the space of functons which obey the chosen spatial boundary conditions. The exponential operator expl(r)(t t o )] in (10.74) is defined through the Taylor expansion e A ] bc = ν=0 1 ν! A]ν bc. (10.75) The operator expl(r)(t t o )] ] bc plays a central role for the Smoluchowski equation; it is referred to as the propagator. One can write, dropping the argument r, ] e L(t to) = bc el(t to) Ĵ n (10.76) since the projection operators project out the functions with proper boundary conditions. For any function Q(z), which has a convergent Taylor series for all z = λ n,, 1,...,holds and, hence, according to (10.73) Q(L) v n = Q(λ n ) v n (10.77) Q(L) Ĵn = Q(λ n ) Ĵn (10.78) This property, which can be proven by Taylor expansion of Q(L), states that if a function of L sees an eigenfunction v n, the operator L turns itself into the scalar λ n. Since the Taylor expansion of the exponential operator converges everywhere on the real axis, it holds e L(t to) v n = e λn(t to) v n. (10.79) The expansion can then be written ] e L(t to) = e λn(t to) Ĵ n. (10.80) bc We assume here and in the following the ordering of eigenvalues λ 0 λ 1 λ 2 (10.81) which can be achieved by choosing the labels n, n =0, 1,... in the appropriate manner. The Spectrum of the Smoluchowski Operator We want to comment finally on the eigenvalues λ n appearing in series (10.81). The minimum principle for the free energy Gp(r,t)] derived in the beginning of this section requires that for reflective boundary conditions (7.4, 7.32) any solution p(r,t) of the Smoluchowski equation (10.1 10.3), at long times, decays towards the equilibrium distribution (10.22) for which holds cf. (10.21)] L p o (r) = D(r) e βu(r) e βu(r) p o (r) = 0. (10.82) This identifies the equilibrium (Botzmann) distribution as the eigenfunction of L with vanishing eigenvalue. One can argue that this eigenvalue is, in fact, the largest eigenvalue of L, i.e., for the reflective boundary condition (7.4) λ 0 = 0 > λ 1 λ 2 (10.83) November 12, 1999 Preliminary version
10.4. BROWNIAN OSCILLATOR 131 The reason is that the minimum principle (10.20) for the free energy Gp(r,t)] implies that any solution of the Smoluchowski equation with reflective boundary condition must asymptotically, i.e., for t, decay towards p o (r) cf. (10.21, 10.22)]. One can identify p o (r) with an eigenfunction v no (r) ofl since Lv o = 0 implies that p o (r) isan eigenfunction with vanishing eigenvalue. According to (10.22) and (10.57) holds that w no (r), the respective eigenfunction of L, is a constant which one may choose Adopting the normalization w no v no = 1 implies w no 1. (10.84) v no (r) =p o (r). (10.85) One can expand then any solution of the Smoluchowski equation, using (10.74, 10.80) and λ no =0, p(r,t) = e λn(t to) Ĵ n f(r) = Ĵn o f(r) + n n o e λn(t to) Ĵ n f(r). (10.86) The definition of Ĵn o yields with (10.84, 10.85) and (10.4), p(r,t) = p o (r) + e λn(t to) v n (r) w)n f. (10.87) n n o The decay of p(r,t)towardsp o (r) fort implies then lim t eλn(t to) = 0 (10.88) from which follows λ n < 0forn n o. One can conclude for the spectrum of the Smuluchowski operator 10.4 Brownian Oscillator λ 0 =0>λ 1 λ 2 (10.89) We want to demonstrate the spectral expansion method, introduced in this chapter, to the case of a Brownian oscillator governed by the Smoluchowski equation for a harmonic potential U(x) = 1 2 fx2, (10.90) with the boundary condition and the initial condition namely, by t p(x, t x 0,t 0 )=D( 2 x + βf x x) p(x, t x 0,t 0 ) (10.91) lim x ± xn p(x, t x 0,t 0 )=0, n IN (10.92) p(x, t 0 x 0,t 0 )=δ(x x 0 ). (10.93) Preliminary version November 12, 1999
132 Spectral Expansion In order to simplify the analysis we follow the treatment of the Brownian oscillator in Chapter 3 and introduce dimensionless variables where ξ = x/ 2δ, τ = t/ τ, (10.94) δ = k B T/f, τ = 2δ 2 /D. (10.95) The Smoluchowski equation for the normalized distribution in ξ, given by is then again c.f. (4.98)] with the initial condition and the boundary condition q(ξ,τ ξ 0,τ 0 ) = 2 δp(x, t x 0,t 0 ), (10.96) τ q(ξ,τ ξ 0,τ 0 )=( 2 ξ +2 ξ ξ) q(ξ,τ ξ 0,τ 0 ) (10.97) q(ξ,τ 0 ξ 0,τ 0 ) = δ(ξ ξ 0 ) (10.98) lim ξ ± ξn q(ξ,τ ξ 0,τ 0 )=0, n IN. (10.99) This equation describes diffusion in thepotential Ũ(ξ) =ξ2. Using (11.9, 11.9, 10.90) one can show Ũ(ξ) =βu(x). We seek to expand q(ξ,τ 0 ξ 0,τ 0 ) in terms of the eigenfunctions of the operator restricting the functions to the space {h(ξ) The eigenfunctions f n (ξ) ofl(ξ) are defined through Corresponding functions, which also obey (11.14), are L(ξ) = 2 ξ +2 ξξ, (10.100) lim ξ ± ξn h(ξ) =0}. (10.101) L(ξ)f n (ξ) = λ n f n (ξ) (10.102) f n (ξ) =c n e ξ2 H n (ξ). (10.103) where H n (x) isthen-th Hermite polynomials and where c n is a normalization constant chosen below. The eigenvalues are λ n = 2n, (10.104) As demonstrated above, the eigenfunctions of the Smoluchowski operator do not form an orthonormal basis with the scalar product (3.129) and neither do the functions f n (ξ) in (11.18). Instead, they obey the orthogonality property + dξ e ξ2 H n (ξ)h m (ξ) =2 n n! πδ nm. (10.105) November 12, 1999 Preliminary version
10.4: Brownian Oscillator 133 which allows one to identify a bi-orthonormal system of functions. For this purpose we choose for f n (ξ) the normalization f n (ξ) = 1 2 n n! π e ξ2 H n (ξ) (10.106) and define g n (ξ) =H n (ξ). (10.107) One can readily recognize then from (11.20) the biorthonormality property g n f n = δ nm. (10.108) The functions g n (ξ) can be identified with the eigenfunctions of the adjoint operator obeying Comparing (11.18) and (11.22) one can, in fact, discern L + (ξ) = 2 ξ 2ξ ξ, (10.109) L + (ξ)g n (ξ) = λ n g n (ξ). (10.110) g n (ξ) e ξ2 g n (ξ). (10.111) and, since ξ 2 = fx 2 /2k B T c.f. (11.9, 11.11)], the functions g n (ξ), according to (10.56), are the eigenfunctions of L + (ξ). The eigenfunctions f n (ξ) form a complete basis for all functions with the property (11.14). Hence, we can expand q(ξ,τ ξ 0,τ 0 ) q(ξ,τ ξ 0,τ 0 )= Inserting this into the Smoluchowski equation (11.12, 11.15) results in α n (t)f n (ξ). (10.112) α n (τ)f n (ξ) = λ n α n (τ) f n (ξ). (10.113) Exploiting the bi-orthogonality property (11.23) one derives α m (τ) = λ m α m (τ). (10.114) The general solution of of this differential equation is α m (τ) =β m e λmτ. (10.115) Upon substitution into (11.27), the initial condition (11.13) reads β n e λnτ 0 f n (ξ) =δ(ξ ξ 0 ). (10.116) Preliminary version November 12, 1999
134 Spectral Expansion Taking again the scalar product with g m (ξ) and using (11.23) results in β m e λmτ 0 = g m (ξ 0 ), (10.117) or β m = e λmτ 0 g m (ξ 0 ). (10.118) Hence, we obtain finally or, explicitly, q(ξ,τ ξ 0,τ 0 )= e λn(τ τ0) g n (ξ 0 ) f n (ξ), (10.119) q(ξ,τ ξ 0,τ 0 )= 1 2 n n! π e 2n(τ τ 0) H n (ξ 0 ) e ξ2 H n (ξ). (10.120) Expression (11.35) can be simplified using the generating function of a product of two Hermit polynomials ] 1 exp 1 π(1 s 2 ) 2 (y2 + y0 2) 1+s2 s +2yy 1 s 2 0 1 s 2 Using one can show q(ξ,τ ξ 0,τ 0 ) = s n 2 n n! π H n(y) e y2 /2 H n (y 0 ) e y2 0 /2. (10.121) s = e 2(τ τ 0), (10.122) = 1 π(1 s 2 ) exp 1 2 (ξ2 + ξ0 2 ) 1+s2 1 s 2 +2ξξ s 0 1 s 2 1 2 ξ2 + 1 ] 2 ξ2 0. (10.123) We denote the exponent on the r.h.s. by E and evaluate We obtain then E = ξ 2 1 1 s 2 ξ2 0 1 s 2 +2ξξ 1 0 1 s 2 = 1 1 s 2 (ξ2 2ξξ 0 s + ξ0s 2 2 ) s 2 = (ξ ξ 0s) 2 1 s 2 (10.124) q(ξ,τ ξ 0,τ 0 )= 1 π(1 s 2 ) exp (ξ ξ 0s) 2 ] 1 s 2, (10.125) November 12, 1999 Preliminary version
10.4: Brownian Oscillator 135 where s is given by (11.37). One can readily recognize that this result agrees with the solution (4.119) derived in Chapter 3 using transformation to time-dependent coordinates. Let us now consider the solution for an initial distribution f(ξ 0 ). The corresponding distribution q(ξ,τ) is(τ 0 =0) 1 q(ξ,τ) = dξ 0 π(1 e 4τ ) exp (ξ ξ 0e 2τ ) 2 ] 1 e 4τ f(ξ 0 ). (10.126) It is interesting to consider the asymptotic behaviour of this solution. For τ the distribution q(ξ,τ) relaxes to q(ξ) = 1 e ξ2 dξ 0 f(ξ 0 ). (10.127) π If one carries out a corresponding analysis using (11.34) one obtains q(ξ,τ) = e λnτ f n (ξ) f 0 (ξ) dξ 0 g n (ξ 0 ) f(ξ 0 ) (10.128) dξ 0 g n (ξ 0 ) f(ξ 0 ) as τ. (10.129) Using (11.21) and (11.22), this becomes q(ξ,τ) 1 π e ξ2 H 0 (ξ) }{{} =1 dξ 0 H 0 (ξ 0 ) f(ξ }{{} 0 ) (10.130) =1 in agreement with (11.42) as well as with (10.87). One can recognize from this result that the expansion (11.43), despite its appearance, conserves total probability dξ 0 f(ξ 0 ). One can also recoginze that, in general, the relaxation of an initial distribution f(ξ 0 ) to the Boltzmann distribution involves numerous relaxation times τ n = 1/λ n, even though the original Smoluchowski equation (11.1) contains only a single rate constant, the friction coefficient γ. Preliminary version November 12, 1999
136 Spectral Expansion November 12, 1999 Preliminary version