A NNALES DE L ’I. H. P., SECTION A
S. K. S RINIVASAN R. V ASUDEVAN
Fluctuating density fields
Annales de l’I. H. P., section A, tome 7, n
o4 (1967), p. 303-318
<http://www.numdam.org/item?id=AIHPA_1967__7_4_303_0>
© Gauthier-Villars, 1967, tous droits réservés.
L’accès aux archives de la revue « Annales de l’I. H. P., section A » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.
org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright.
Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques
http://www.numdam.org/
p. 303
Fluctuating density fields
S. K. SRINIVASAN
R. VASUDEVAN
Department
ofMathematics,
Indian Institute of
Technology,
Madras-36The Institute of Mathematical
Sciences,
Madras-36
(India).
Vol. VII, n° 4, 1967, Physique
théorique.
1. - INTRODUCTION
The
concept
of afluctuating driving
force in its verygeneral
form isimbedded in many a
physical phenomenon
as the motive cause behindthem. The motion of a Brownian
particle suffering
randomchanges
inits accelerations
provides
anexample
of such a process. The theoreticalimplications
of such a motion and itsimpact
onphysics
ingeneral
was notrealised to an
appreciable
extent until1905,
when Einstein[1] published
his
investigations
on the statisticalproperties
of thedisplacements
expe- riencedby
such aparticle.
Detailedstudy
of such afluctuating
forceF(t)
and the resultant Brownian motion was carried out
by
Uhlenbeck and Ornstein[2],
Chandrasekhar[3]
andWang
and Uhlenbeck[4].
In factthe
particles executing
Brownian oscillationsobey
theequation
where u is the
velocity
of theparticle.
The influence of thesurrounding
medium has been visualised to consist
essentially
of twoparts : (1)
A deter-ANN. INST. POINCARE, A-VH-4 22
304 S. K. SRINIVASAN AND R. VASUDEVAN
ministic
part - fu
which causes friction(2)
A stochasticpart F(t)
charac-terised
by
thefollowing
twoproperties :
(i)
The mean ofF(t)
at agiven t,
over an ensemble ofparticles
is zero(ii)
The values ofF(t)
at two differenttimes ti and t2
are not correlated at allexcept
forextremely
small intervals of t i. e. for small valuesof I t 1 2014 ~ ! ’
More
precisely
where is a function with a very
sharp
maximum at x = 0. If wesuperpose on the above the
following
restrictions on thehigher
order corre-la tions
of F(t),
we obtain a
complet description
for u and such a process is known as the Uhlenbeck-Ornstein process.However it may be worthwhile to
explore
thepossibility
ofgenerating
the Uhlenbeck-Ornstein process from a force field
F(t)
which need notnecessarily
be of Gaussian character. It is relevant in this context to visualise certaindensity
fields introducedby
Ambarzumian[5]
and Chan-drasekhar
[6]
who have studied the distribution of interstellar matter in thegalectic region.
Aparticular
model of afluctuating density
field hasbeen
investigated by
Ramakrishnan[7]
in detail.In this paper we propose to
investigate,
thepossibility
ofrepresenting
ageneral density
fieldby
a Markovian processp(t ) evolving
with t anddepending
on alarge parameter
a. Theparameter a
can be related in a way to the distance(measured along t)
within which the correlationspersist.
It is shown that there exist a wide class of distributions forF(t)
which will
give
rise tophysical phenomena
like Brownian Motion.Section 2 of the paper contains a short discussion on the Fokker-Planck
equation
and its solution withspecial
reference to Markovian features ofF(t)
andu(t).
Since the authors have not come across anyproof
of theMarkovian character of
u(t)
in theliterature,
a short discussion of this aspect has been considered to be notentirely
out of context. The modelof the
density
fieldp(t)
is introduced in section 3 which also contains anexplicit
demonstration of theapproximate equivalence
of the solution with the Uhlenbeck-Ornstein process.Physical applications
of the model arediscussed in the final section.
2. - GAUSSIAN PROCESS
AND FOKKER-PLANCK
EQUATIONS
As mentioned in section
1, (1.1)
has been thestarting point
of manyan
investigation
in this field. Ourobject
is to solve(1.1) using
thegiven
random characteristics of
F(t). By
solution we mean theprobability
fre-quency function of u at different times. In
solving
for the distribution function of u, it istacitly
assumed thatu(t)
constitutes a Markov process(see
forexample
Chandrasekhar[7a],
p. 32 remarks underequation (218)).
The markovian
assumption implies
thatP(u Mo, t ) (where P(u Mo, t)
dudenotes the
probability
thatu(t)
has a value between u and u + dugiven u(t)
had a value uo at t =0)
isgiven by (1)
Smoluchowskiequation
If we consider
where
O(u)
is anarbitrary
smooth function of utending
to zero as M 2014~ ± 00and feed
(2.1)
into(2.2),
we obtain after somemanipulation,
where we have assumed
(~)
We have also assumed that the process is homogeneous.306 S. K. SRINIVASAN AND R. VASUDEVAN
An
application
of this method toP(u Mo, t)
whereu(t)
satisfies theLangevin equation (1.1)
leads to the familiarequation
if 03B2
=flm
where it has been
tacitly
assumed thatu(t)
is markovian and also thatIt is
interesting
to note that(2.3)
is not agood approximation,
if every one of the moments ofAt)
isproportional
to At(see
forexample
Lax
[8]).
In fact there exist avariety
ofphenomena
whereinP(u’ ] u; At)
is
given by
and in such a case we obtain the
generalized
Fokker-Planckequation
where
(2.8)
is still based on the markovian character ofu(t). Though
the mar-kovian character is
quite plausible
from intuitivephysical argument (see
Chandrasekhar
[7a]
andMoyal [9]),
it is worthwhile toinvestigate
whetherthe
Langevin equation (1.1) together
with the conditionsimposed
onF(t)
do
imply
such aproperty
ofu(t).
To this end we first notice that the vector(u, F)
constitutes a Markov process and hence we haveLet us consider
where
W(u, F)
is anarbitrary
smooth function of u and Fvanishing
at ± oo .Using (2.10)
in the firstintegral
andexpanding F)
about(u’, F’),
we obtain
where
It is easy to note that
and P in turn due to the delta correlated nature of the process
F,
can be assumed to be of the formIn view of the
Langevin equation (1.1)
and the nature ofassumptions
onF(t),
it follows thatand
Also 03B101 = 0 and
adopting
the sametechnique
as that used in obtain-ing (2 . 3),
we arrive at a Fockker-Planckequation
forF [ uo, Fo ; t) involving
Ct20, 03B102, Q0 1 and oclo.If we
integrate
both sides of such anequation
over the entire domain ofF,
remembering
that both n and~,
are well behaved at ± oo, weregain
308 S. K. SRINIVASAN AND R. VASUDEVAN
the usual Fokker-Planck
equation, corresponding
to theLangevin equation
without
starting
with the usual markovianassumption
for theu(t )
process3. - A PROBABILISTIC MODEL OF DENSITY FIELD
The
object
of thepresent
section is to demonstrateexplicitly
thepossibility
of
arriving
at a Gaussian distribution as anapproximation.
Weemphasise
on the word
approximation
since the deviation from Gaussian law can bereadily
deduced on more detailed considerations. Towards this end let usassume that
p(t)
describes a processevolving
withrespect
to t. t can stand for time orspacial
coordinate and we shall take p to be adensity
field andhence assumes
positive
values for p. Thus with every t we can associatea function
po
t,to)
wherepo
t,to)
denotes theprobability
that
p(t)
takes a value between p and p+ dp
at theparametric value t, given
that p had assumed a value po at to. If the process ishomogeneous
than
po ; t, to)
is a functiononly
of(t
-to)
and we denote-
to) by I Po, t)~ setting
to = 0. We next make use of the markovian nature ofp(t)
to writeIn the derivation of Fokker-Planck
equation
it isusually
assumed that] p’ ; At)
is of such a nature thatare
proportional
to At while thehigher
moments of(p - p’)
are of smallerorder of
magnitude
than At. However it is worthwhile to examine whether thefollowing conditions, imposed
on] p’ ; At)
can lead tophysicalIy meaningful
results :(i)
Theprobability
that in the interval(t,
t+ At),
pjumps
to a valuedifferent from the one that it has assumed at t, is
proportional
to At.(ii)
Theprobability
that p continues to take the same value as it had at t,in the interval
(t, t + At)
isapproximately equal
to 1. Statedprecisely
the
asymptotic
form for 1t for small At isgiven by
Thus
n(p ] p’, t)
satisfies theKolmogorov
forwardequation
Next we assume
R(p’ (see
Ramakrishnan[7])
is functiononly
ofp’.
This
yields
where
This
equation
can be solvedusing
the initial conditionThus
Notice
(3 . 3)
admits asationary
solution :where
~(p)
is notnecessarily
a Gaussian distribution.It is
interesting
to compare the differentialequation (3.5)
with thecorresponding
Fokker-Planckequation
for 7r itself. The coefficients al, a2, ..., a~, can be calculated in terms of the moments ofR(p).
310 S. K. SRINIVASAN AND R. VASUDEVAN
We notice
a"(p)
is apolynomial,
in p, ofdegree
utmostequal
to n. How-ever, we can arrive at the usual Fokker-Planck
equation
ifan(p) «
1 forn > 2. We shall show that this is
exactly
the case if we make a suitablechoice of the distribution
~r(p).
-Apart
from thesegeneral
comments, let us ask a definitequestion:
Is the
density
correlation at twopoints
the same as thatexpected
from aGaussian law? This can be answered
by merely stipulating
that a bevery
large.
In factlarger
the a, more wild is the fluctuation for a denotes the totalprobability
per unit t of achange
in p.If t
~> -
then e-at isvanishingly
small and the second term can beneglected.
a
Thus
probability
distribution of thedensity
at t isindependent
of thatat t
=
0. On the other hand if t== - ,
then the densities are correlated.a
The statement a is very
large implies
the substitution rulewhere 5 is the Dirac delta function.
To
get
a clearpicture
of thedistribution,
we calculate the correlation functions of different orders. The second order correlation isgiven by
where
If we wish to calculate the
higher
order moments then we need thejoint probability frequency
function p2, ..., pn, ti, t2, ..., This can be calculatedby
the markovian nature of theproblem.
There are manyapproaches
to theproblem.
In the work ofRamakrishnan,
all momentsof p are assumed to be of order
unity
We will take the role
played by a
moreexplicitly by noting
where a is very
large
andWe can
expect a)dp
to bedependent
on a. We can think ofmany
models,
and some of these are listed in the tablebelow, along
withthe
expressions
for the moments.P
P2
PnI
!
a 2a2 ann ! ta
II a 2a2 ann ! t
III
a1 ~~
2a tIV 2a t
The
joint probability frequency-function
..., pn,tl,
...,tn)
forlarge
values of tl, t2, ...,
t,~
isgiven by
We can
easily
calculate the correlations of the variable312 S. K. SRINIVASAN AND R. VASUDEVAN
Thus the
only nonvanishing
term in the mth order correlation has a factor(1 a)I(m+1 2)
where
I(m+1 2 )
is theintegral part of (m
+1)/2.
Let us findthe mean and moments of the
integral
of p over t definedby
If we take the model
we have
Removing
the timeordering
within each bracketgives 1 2n
andremoving
the
ordering 0, t2, t4, ... , t2n- 2
of the brackets relative to each other weobtain another n !.
Finally
we arrive atneglecting
lower order terms. IfE(x2)
is of order less than a, for agiven distribution,
we are led to the result that skewness and flatness factor vanish toorder ~ .
a
All the old moments lead to terms of order
0 a£ 1
8 > 0. Thus in thisapproximation
we get the usual moments of the Gaussian distribution.However,
if p = 0 and p is distributed over the interval - 00 to + 00 as2
the odd moments of p areautomatically
zero. ° Theprobability frequency
function is therefore the well-known one for the Gaussian pro-cess. We can obtain this result in a more
straightforward
manner if weconstruct the
generalised
Fokker-Planckequation
from the forward equa- tions. Beforegoing
tothis,
let us find the moments of the stochasticvariable in the above
approximation
since all the odd moments of M vanish. Thus
(3.28)
is useful in the determination of the fluctuations inbrightness
ofMilky
way considered in reference[7]
and we shall illustrate this in the final section of this paper.4. - LANGEVIN
EQUATIONS
For convenience we shall rewrite
(1.1)
aswhere
Let us assume that
p(t)
is afluctuating density
field of thetype
described in section 3. Sincep(t)
ismarkovian,
it is clear that the vector process(u, p)
is
again
markovian and hence we can obtain apartial
differentialequation
for p,
t)
thejoint probability frequency
function of u and pby
theforward differential
equation technique of Kolomogorov (see Feller, 1951).
Thus if we increase t
by
A we notice that there are twomutually
exclusiveevents
according
as whether or not the random variable p makes a transi- tion to a different value in the infinitesimal interval.Using elementary
probability arguments
andtaking
into account thechanges
in u asgoverned
by (4 .1 ),
we notice314 S. K. SRINIVASAN AND R. VASUDEVAN
Proceeding
to the limit as e --~0,
we obtainThe above deviation can be
suitably
modified to lead to the usual Fokker- Planckequation
if we take note of the fact that pchanges
veryrapidly,
incomparison
with the variations in u, in the time At. Toincorporate
thiswe
replace (4 . 3) by
thefollowing :
which can be rewritten in view of the
Langevin equation
asr+e
where
M(4) - p(t’)dt’. Expanding right hand side in Taylor series,
we obtain after
integrating
overdp
on bothsides,
in the limit A -0,
thefollowing:
If is of such a
type,
thate { (p - p’)2 ~
or e{ M(A2) }
is oforder At and
higher
moments of order0(At), s(p 2014 p’)
ande { M(A) }
areequal
to zero, when we take the limit A - 0 and when weintegrate
both(2)
We use the same symbol r to denote theprobability frequency
functionof u(t ).
sides of
(4.6)
withrespect
to p, we are left with the usual Focker Planckequation
In
equation (4.7)
it is to bepointed
out that the mixed term~203C0 ~u~03C1
whichmay be
muitipiied by
Lim20142014.20142014
does not survive since when inte-grated
over /?,~03C0(u,03C1,t) ~u
is well behavedenough
to go to zero at the limitsof one of its
arguments
p.Now we can examine whether we can obtain a Fokker-Planck
equation
for
7:(M, ~). Using
thetechnique employed
in section2,
we obtainwhere
We shall assume that the mean value of p is zero. It is easy to note
The rest of the
am, ns
are evaluatedby making
use of themagnitude
of theparameter
a.Using (3.19),
we findin some suitable units.
Next we calculate the coefficients
aoms :
Using
the form(3.8)
for the p. f. f. ofp(t)
and form IV for~(p)
we findaom = is a
polynomial
in p, ofhighest
power m =f ’~(p). (4 .14)
316 S. K. SRINIVASAN AND R. VASUDEVAN
Thus the Fokker-Planck
equation
for p,t)
isgiven by
Integrating
over the entire domain of p andmaking
use of the smoothnessproperty
of p,t)
we obtainwhich is identical with the
corresponding equation
if p were to be takena Gaussian random process.
5. - APPLICATION
TO AN ASTROPHYSICAL PROBLEM
We shall next consider how Chandrasekhar’s
theory
of fluctuations inbrightness
ofMilky Way
can be described in terms of ourfluctuating density
field.Following
the ref.[7]
we willattempt
to solve theproblem
of moments of the
intensity
distributionby assuming
thedensity
of theinterstellar matter to vary in a continuous but
fluctuating
albeitwidly.
The
problem
is treatedessentially
as a one dimensionalproblem
and theobserver at the
origin t
= 0 measures theintensity
received at theorigin
due to the stars which are
uniformly
distributedalong
the line ofsight.
If k is the
absorption
coefficient and p thedensity
of interstellar matter, thenM(t)
= kt0 03C1d03C4
is theoptical
thickness of mattercorresponding
tothe distance t. K can be
put equal
to1/s { p ~
without loss ofgenerality by suitably choosing
the unit of t. Thus unitintensity,
onpassing through
matter of
extension t,
is cut down to anintensity
e-M(t) whereAssuming
theproduction
ofintensity
to bef3dï:
in any intervaldi,
andtaking f3
=1,
without l oss ofgenerality
the cumulative netintensity
observedat t = 0 is
given by
and it is the variable
I(t)
whoseprobability frequency
function we seek.Thus the nth moment of
I(t)
isgiven by
where
We next order the variables t1, t2, ...,
tnandevaluatee {Y(tl)Y(t2)...
by taking
overequation (3.28).
The ...Y(tn) }
can be writtendown
by visualising
andadding
up the intensities allowed to passthrough
from the
intervals, t
totn-l
to tn - 2, ..., ti = 0 whereIf we
write 2014-20142014 =
B we obtain for the nth order moment(as
mediumextends up to
00 )
Taking
to beequal
to1, according
to the normalization in equa- tion(5.1)
andsubstituting
forrx2 = ~ ) " [e(p)]" ~~
and To= ~-~
a weobtain
The second term in the
right
hand side ofexpression (5.6)
differ from theexpressions
obtained in reference[7] by
some factors.ACKNOWLEDGEMENT
The authors thank Professor Alladi Ramakrishnan for fruitful discussions.
[1] A. EINSTEIN, Ann. d.
Physik,
t.17,
1905, p. 549; t.19, 1906,
p. 371.[2] G. E. UHLENBECK and L. S. ORNSTEIN, Phys. Rev., t.
36, 1930,
p. 823.[3] S. CHANDRASEKHAR, Rev. Mod.
Phys.,
t.15,
1943, p. 1.318 S. K. SRINIVASAN AND R. VASUDEVAN
[4]
M. C. WANG and G. E. UHLENBECK, Rev. Mod. Phys., t.17,
1945, p. 323.[5] W. A.
AMBARZUMIAN,
Math. Rev., t.14, 1953,
p. 192.[6] S. CHANDRASEKHAR and G.
MUNCH,
A. P. J., t.115, 1952,
p. 103.[7] A. RAMAKRISHNAN, A. P. J., t.
119,
1954, p. 443.[7a] S.
CHANDRASEKHAR,
Article selected papers on Noise and Stochastic Pro- cesses, edited by Nelson Wax. DoverPublications,
1954.[8] M. LAX, Rev. Mod.
Phys.,
t.32,
1960, p. 25.[9]
J.E. MOYAL,
J.Roy.
Stat. Soc., B11, 1949,
p. 150.(Manuscrit reçu le 26 mai