HAL Id: jpa-00208142
https://hal.archives-ouvertes.fr/jpa-00208142
Submitted on 1 Jan 1974
HAL
is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire
HAL, estdestinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
Harmonic analysis and P-representation of generalized Gaussian fields
M Rousseau
To cite this version:
M Rousseau. Harmonic analysis and P-representation of generalized Gaussian fields. Journal de
Physique, 1974, 35 (3), pp.193-198. �10.1051/jphys:01974003503019300�. �jpa-00208142�
LE JOURNAL DE PHYSIQUE
HARMONIC ANALYSIS AND P-REPRESENTATION OF GENERALIZED GAUSSIAN FIELDS
M. ROUSSEAU
Laboratoire d’étude des Phénomènes
Aléatoires,
Université deParis-Sud,
Centred’Orsay,
Bâtiment210,
91405
Orsay,
France(Reçu
le 8février
1973, révisé le 2 octobre1973)
Résumé. 2014 Nous établissons classiquement la distribution de probabilité (P-distribution) des amplitudes complexes de
champs
optiques multimodes et monomodes formant la classe des champsGaussiens généralisés. Ce résultat donne immédiatement la
représentation-P
unique pour cette classe de champs. Mais, excepté lechamp
chaotique, ils ne sont pas totalement stationnaires ; on peut néanmoins construire un champ stationnaire équivalent à chacun d’eux, qui a la même inten- sité. Nous exprimons la représentation-P de cechamp
stationnaire équivalent dans le cas monomode.Abstract. 2014 We establish classically the probability distribution (P-distribution) for the complex amplitudes of multimodal and unimodal
optical
fieldsbelonging
to the class of generalized Gaussian fields recently introduced. From this result follows immediately the unique P-representation forthis class of fields. However, all the generalized Gaussian fields, except the chaotic field, are not fully stationary. To each of them we can associate a stationary equivalent field which possesses the same
intensity.
We give the P-representation of this stationary equivalent field in the monomode case.Classification
Physics Abstracts
1.140 - 1.650 - 2.400
1. Introduction. - The class of
generalized
Gaus-sian fields was
recently presented [1] from
a classicalpoint
of view. Let us recall that theseelectromagne-
tic
(e. m.)
fields areGaussian,
so that the chaoticfield is a
particular
element of this class.They present
theadvantage
ofbeing experimentally
realizable[2]
and possess some
interesting properties
whenthey
are detected and also in information
theory [3].
Infact,
it was established[1] that,
among thegeneralized
Gaussian
fields,
the chaotic field possesses the smallest’ °bunching
effect(h
=2)
forphotoelectrons,
whereasthe real Gaussian field possesses the greatest
(h = 3) [2].
In this paper we
study
the harmonicanalysis
ofgeneralized gaussian
fields. We are interested infinding ,the unique P-representation
of such fields.So far as we
know,
thisproblem
is stillunsolved,
even . for the well-known chaotic,field for whichGlauber [6]
’
gave a
P-representation,
each modebeing
chaoticand
independent
of the others. But Mollow[9] proved
later that when the
length
of thecavity
tends toinfinity,
it is not necessary tosuppose
anyparticular property
for eachmode,
the sufficient condition for the field to be chaotic isindependence
between the modes.So,
we can ask about theuniqueness
of theP-representation, furthermore,
this quantum des-cription
does not seem to be welladapted
when thelength
of thecavity
tends toinfinity.
To establish the
unique P-representation
of eachgeneralized gaussian field,
weadopt
the artifice ofsolving
theproblem classically by using
the well-known harmonic
analysis
ofgaussian
random func- tions[r. f.’s].
-First of all we consider the e. m. field in free space, with a continuous
spectrum.
Such a field cannot be studied inquantum mechanics,
unless it is consideredas the limit of a field in a
cavity ;
but what is then themeaning
of theP-representation ?
On the otherhand, free-space
e. m. fields can be studied classi-cally owing
to thetheory
of r.f., which
has beendeveloped
since 1944[ 11 ].
Let us recall the most
important
result. about thedecomposition
of atemporal
random functionE(x, t),
its harmonic
analysis.
It can be written for x =0,
aswhere
de(v)
is a differential element of a r. f.e(v)
thatArticle published online by EDP Sciences and available at http://dx.doi.org/10.1051/jphys:01974003503019300
194
can be obtained from
E(t) by
linearfiltering [4]
through
a filter that cuts out all thefrequencies greater
than v,This new r. f.
e(v)
is veryspecial,
for it has no deri-vative
(even
ifE(x, t)
isdifferentiable),
unlike deter- ministictemporal functions,
so that we canonly
consider its increments
e(v
+Av) - e(v).
Through
linearfiltering theory,
the statistical pro-perties
ofE(O, t)
areequivalent
to those ofe(v).
When
E(O, t)
isGaussian, e(v)
is Gaussian too since anylinearly
filtered Gaussian function is still Gaus- sian. Forgeneralized
Gaussian fields wespecify
some’of the
properties
ofe(v) [§§ 2 .1
and3 . 2 .1 ].
After that we treat the discrete
spectrum
as a par- ticular case of the continuousspectrum
for which thefrequencies
are distributed on Dirac masses.When an e. m. field is inserted in a
cavity,
it canbe written as
where L is the
length
of thecavity
and c thespeed
oflight.
The statistical
properties
of the classical field describedby
eq.(3)
are all defined when we know the multidimensional distribution P{ Cn }
of therandom variables
(r. v.) Cn ;
we call it the P-distribu- tion.Let us show that P
{ Cn }
can be obtained from the harmonicanalysis
of thecorresponding
Gaussianfield in the free space. In
fact,
eq.(1)
and(3)
areequivalent
when we setIntegrating
fromobtain
Hence the
complex amplitudes
of the different modes of an e. m. field enclosed in acavity
can be obtainedby
a linearfiltering
ofE(t)
sincethey
areonly
linearcombinations of
e(vi).
For each
generalized
Gaussian field we set up theunique
P-distribution(§§ 2.2, 3.2.2, 4).
Now let us retum to thé quantum
description
ofsuch
fields which can be very useful forsolving
somephysical problems [3]
- forinstance,
the interac- tion of radiation with matter, the Ramaneffect, multiphoton absorption
and so on... It is now wellknown that every classical field can be described quantum
mechanically by taking
thecorresponding
P-distribution as its
P-representation.
Thusby using
the harmonic
analysis,
we have established theunique P-representation
for the set ofgeneralized
Gaussian fields.
In section 5 we discuss some aspects of the quantum
description
ofgeneralized
Gaussianfields, especially
the chaotic fields
(§ 5.1)
and theirstationarity (§ 5.2).
Any generalized
Gaussian field other than a chaoticone is
only quasi-stationary
and notfully stationary,
but
by introducing
auniformly
distributedphase
wecan construct a
fully stationary.
e. m. field that has the sameintensity
as the Gaussian one but which isno
longer
Gaussian. We call it thestationary equi-
valentfield
and wegive
itsP-representation
in the.unimodal case.
2. The P-distribution for the chaotic field. - 2.1 CHAOTIC FIELD IN THE FREE SPACE. - We are
going
to show that the random functione(v) appearing
in the harmonic
analysis
of anelectromagnetic
fieldin free space
(eq. (2)) is,
for a chaoticfield,
a randomGaussian function with
independent increments,
whichis
commonly
known inprobability theory
as aWiener-Lévy
process. Infact,
the functione(v)
isobviously
Gaussian since it is filtered fromE(t)
whichis Gaussian
[4]. Therefore,
every incrementis a Gaussian r. v.
Moreover,
as the functionE(t)
isfully stationary [7],
the second moments of
de(v) satisfy
theequations
Let us
decompose
thecomplex
incrementAe(v)
intoits real and
imaginary parts :
From eq.
(7),
we can prove that the real incrementsare
independent
and that thecomplex
incrementsAe(v)
and
Ae(v’)
for twodisjoint
intervals(Av, Av’)
arealso
independent..
.
Therefore, if
ther. f. e(v)
is a Gaussianr. f.
withindependent
increments, then it is acomplex
Wiener-Lévy
process whose real andimaginary
parts areindependent Wiener-Lévy
processes.2.2 NECESSARY AND SUFFICIENT CONDITION FOR A FIELD ENCLOSED IN A CAVITY TO BE CHAOTIC. - Neces- sary condition. - An
electromagnetic
field enclosed ina
cavity
can be describedby
çq.(3),
orby
the groupof eq.
(1), (2)
and(5)
as well. If the functionE(t)
isstationary ’and Gaussian,
the resultsof paragraph
2 .1are
valid,
and thecomplex
r. v.Cn
are circular inde-pendent
Gaussian r. v.(with uniformly
distributedphase).
Hence their multidimensionalprobability
distribution
(P-distribution)
iswhere
Ck = C kx
+iCk, and 2013
is the commonvariance of the r. v.
Ckx
andCky.
The
sufficient
condition is evident. When we start from eq.(9),
we can show after a brief calculation that the field has the same moments as the chaotic field.z
3.
P-representation
of the real Gaussian field. - 3. 1 Let us recall that the real Gaussian field wasexperimentally
obtained[2] by
modulation of a laser beampassing through
a KD* Pcrystal
insertedbetween two crossed
polarizers.
Theintensity
of theemerging light,
when avoltage x(t)
isapplied along
the
optical
axis of thecrystal,
is thenproportional
to the square of the
voltage only
for smallvoltages,
Here a is a constant related to the
crystal
andIo
isthe
intensity
of the incident laserlight.
When theelectrical source
x(t)
is a Gaussiannoise,
theintensity
of the
light
is the square of a Gaussian r.f.,
so thatthe
electromagnetic
fieldproduced by
such a devicecan be described
by
theanalytic signal
whose
amplitude
is a real Gaussian function. We therefore we call it a realGaussian field.
Let us recallthat the
analytic signal
of a chaotic field iswhere
z(t)
is acomplex
Gaussian r. f. whose real andimaginary parts
are Hilbert transforms of each other.Let us recall too, that the conditional
probability density
ofdetecting
onephoton
at time t + T, ifanother one has been detected at time t is propor- tional to
which is
equal
to3 I >
for a real Gaussianfield,
whereas it
equals only 2 I >
for a chaoticfield ;
the real Gaussian field therefore has a
bunching
effect greater than the chaotic field.
The r. f. described
by
eq.(11)
is notfully stationary sine x(tl) x(t 2) > =1=
0. Let us consider thefully stationary
r. f. that has the sameintensity
asE(t)
given by
eq.( 11 ),
where 9 is a
uniformly
distributedphase.
The e. m.field
E(t)
is nolonger Gaussian ;
we shall present its P-distribution in section 5.3.2 HARMONIC ANALYSIS OF THE REAL GAUSSIAN
FIELD. - 3 .2.1 The real Gaussian
field
in thefree
space. - Let us
decompose x(t)
into itsnegative
andpositive frequency parts :
where
de(v)
is the differential incrementappearing
in the harmonic
analysis
of the real Gaussian field describedby
eq.(11)
and 2 nvo = coo. The r. f.e(v)
.filtered from
E(t)
is thenGaussian ;
moreover,x(t)
is a real
function,
so thatHence the differential increments are not
indepen- dent,
butsymmetrically
correlated inpairs.
Theoptical
spectrum is indeedsymmetric
sincex(t)
andits correlation function
Fx(-r)
are real functions.Let us suppose that
x(t)
is astationary
r.f. ;
thusFrom eq.
(17)
it follows thatAe(vo
+v) given by
eq.
(6)
satisfiesTherefore the r. v.
Ae(vo
+v)
are circular Gaussianr. v.
3.2.2 Field in a
cavity.
- From the last results ofparagraph 3.2,
and from eq.(5)
it follows that thecomplex amplitudes Cn
are also circular Gaussianr. v.,
correlated, by pairs, symmetrically,
with respectHence their P-distribution is
given by
196
where
( n >no+m
is the varianceof Cno+m I2.
Whenthe real Gaussian field is
unimodal,
eq.(20)
reduces towhere C =
Cx
+iCy.
4. Generalized Gaussian fields. - These are defined in classical
theory [1] ] by
eq.(12)
wherez(t)
is anystationary
Gaussian r. f. whose correlation functionsare
rzz( 7:)
andrzz*( 7:).
We are
going
togive
their P-distribution in terms of these second moments.When the
generalized
Gaussian field is enclosed incavity,
thecomplex amplitude
of theanalytic signal E(t)
can beexpanded
asSince
zL(t)
is astationary
r.f.,
Hence,
as for the real Gaussianfield,
for any genera- lized Gaussian fieldexcept
the chaoticfield,
the r. v.{ Cn }
are circular and correlatedby pairs,
symme-trically
with respect to the meanfrequency
VO.We shall express the characteristic function of the r. v.
in terms of the Fourier transform of
TZZ(i)
andTi (z)
where (k, j) = (z, z*).
Identifying
the moment ofzi(t)
we obtainwhere
Eq. (23)
to(26)
lead to thefollowing
relations :where we set
fn
= ocn +if3 n.
The characteristic function of the set of Gaussian
r. v. can thus be written as
where wm is the colum vector
(um vm
u-mv-m)
andF.
the correlation matrix of
(xm ym X-m y -m)
The P-distribution is thus the Fourier transform of this characteristic function :
where
Vm
=(xm ym x _ m Y - m)
and from eq.(12)
weconclude that
where the function on the
right
hand side isgiven by
eq.(30).
We can
verify for y
= 0(or y
=kx),
which cor-responds
to the real Gaussianfield,
that eq.(30)
and
(31)
are identical to the P-distribution of the real Gaussian field(eq. (20)).
Moreover,
if we introduce the relationswhich characterize the chaotic field
(i.
e. a,, =/3n
=0),
we obtain
Thus the characteristic function can be
factorized,
the modes are
independent,
and eq.(30)
leads to theP-distribution of the chaotic field in eq.
(9).
5. Extension to quantum mechanics. - We
explain-
ed in the introduction
why
we have established these last results from the classicaltheory,
and wehave now obtained the P-distribution of the
complex
amplitudes
forchaotic,
realGaussian,
and genera- lized Gaussian fields(eq. (9), (20)
and(30)).
If weconsider as
equivalent
twooptical
fields that have the same set of moments,determining
the P-distri- bution in classical mechanics is the sameproblem
as
finding
theP-representation
in quantum mecha-nics
[5], [6].
Hence eq.(9), (20)
and(30) give
theP-representation
ofchaotic,
realGaussian,
and gene-ralized Gaussian
fields, ( nk >
in eq.(9) being
themean number of
photons
in the kth mode.Let us now consider two further
points.
For thechaotic field we shall
give
threeequivalent definitions,
and then we shall present a
stationary
field with thesame
intensity
as eachgeneralized
Gaussian field.5. 1 THE CHAOTIC FIELD : 1 THREE EQUIVALENT DEFI- NITIONS. - We started
by defining
the chaotic fieldas the
only
one that is Gaussian andfully stationary [1] ]
and in section
2.2,
weproved
that the modes of achaotic field are
necessarily independent
and Gaussian.We shall now show that an
equivalent
definitionof this field related to the entropy concept, is the
following.
For a chaotic Gaussian field the modes areindependent
and forgiven
mean numbers ofpho- tons
nk>,
theentropy
in each mode is minimum.To prove that this definition is
equivalent
to theprevious
one, we can write thedensity
matrix in twodifférent ways, on the basis of the
photon
numberstates
[6] 1 { nk } >,
or on the basis of the coherent states[6] 1 { llk } >.
or
when the
P-representation
exists.The coherent states are linear combinations of the
photon
number states as :The identification of eq.
(33)
and(35)
enables us toobtain the matrix elements p{nk,mk} when the
P-repre-
sentation is known.
For the chaotic
field,
since the modes areindepen- dent,
the identification iseasy and
we obtainThis
expression corresponds
to the maximum of the functionSk
= -Tr {
Pklog Pk }
which characterizes the entropy in the k mode[8].
Therefore
astationary
Gaussian e. m.field
in acavity
is afield
whose modes areindependent
andfor
which the entropy is maximum in each
mode ;
we candefine
in aunique
way such a chaoticfield
in quantummechanics,
eitherby
itsP-representation (eq. (9))
orby
the distributiongiven
in eq.(36)
on the basisof
then
photons
states.5.2 STATIONARY EQUIVALENT FIELD. - Let us now treat the consequences of
nonstationarity
for thegeneralized
Gaussian fields(§ 3,
eq.(11».
Any generalized
Gaussian field except the chaoticone is
only quasi-stationary
and notfully stationary,
i. e. second moments such
as ( E(t1) E(t2) +
are notfunctions
of , (tl - t2).
Wesupposed only
that themoments E(tl) £*(t2) >
are functions of(tl
-t2).
We said
previously
that it ispossible
to obtain from such aquasi-stationary
fieldE(t),
afully stationary
field
É(t) by introducing
a uniformphase (see
eq.(14))
Hence every moment such
as E(t)p >
vanishes. Thisnew field
£(1)
has the sameintensity
asE(t)
but is notGaussian
(cf. § 5.2,
eq.(45)).
All the fieldsdiffering
from
E(t) only by
aphase
fàctorbelong
to the sameequivalence
class(J)
with respect to theintensity.
In quantum
mechanics,
thestationarity
condition iswhich
corresponds
to the classical one of invarianceof all the moments under time
translation,
i. e. thestationarity
in the strict sense. We shall examine theparticular
case of unimodal fields.The relation
(38)
for an unimodal e. m. field reduces[10]
to thefollowing
condition on thedensity
matrixWe can prove that this relation is
equivalent
to thecondition that the
P-representation
is a functiononly
of the modulus r of a = r ejqJ.
The matrix elements in the basis of the
photon
states are
This
expression
vanishes for all(n, m) only
ifP(r, ç)
is
independent
of ç because eq.(40)
represents the Fourier coefficients of theperiodic
functiondefined in
(0,
2n).
The condition pnm = 0V(n, m)
isequivalent
toCk
= 0 for all k =1= 0 orf«({J) = 2,
i. e.
P(a)
isindependent
of ç. Hence for an unimodale. m.
field,
there is anequivalence
between the threerelations
r" -1 - a 1
.
198
Now we show that the
P-representation
of oneof the elements of this
equivalence
class(J)
issubject
to the condition
where
Ps(1 ri. 1)
is theP-representation
of the statio- nary fieldÉ(t)
in thisclass,
andP( oc 1, ç)
represents theP-representation
inpolar
coordinates.As a matter of
fact,
the statisticalproperties
of theintensity
of an e. m. field are describedby
the set ofmoments 6’"’"
{ tb ti }
We see from eq.
(43)
that all fields whoseP-represen-
tation satisfies eq.
(42)
have the same set of momentsG n,n(j ti ti })
i. e.they
areequivalent
as far as thestatistical
properties
of theintensity
are concerned.The
only
one among them that isfully stationary
hasa
P-representation
that isindependent
of 0 inpolar
coordinates and
depends only
of the modulus of a.Hence each
generalized
Gaussian field that is notfully stationary
has the sameintensity properties
asa
fully stationary
field which we call thestationary equivalent
field and whoseP-representation
isgiven by
eq.(42).
For
example,
theP-representation
of a unimodalgeneralized
Gaussian field isgiven by
the two dimen-sional Gaussian
probability
distribution for correlatedr. v. X = a cos ç and Y =
LJ, sin cp :
where
The
P-representation
of thestationary equivalent field,
for (J i = Q2 = 6, can be obtained from eq.(42) :
where dt is the modified Bessel
function of order zero.
References
[1] PICINBONO, B. and ROUSSEAU, M., Phys. Rev. A 1 (1970) 635.
[2] BENDJABALLAH, C. and PERROT, F., Opt. Commun. 3 (1971) 21.
PERROT, F., Thèse de 3e Cycle, Université de Paris XI (1971).
[3] ROUSSEAU, M., Thèse de Doctorat d’Etat, Université de Paris XI (1972).
[4] BLANC-LAPIERRE, A. et FORTET, R., Théorie des fonctions aléatoires (Masson) 1953.
[5] GLAUBER, R. J., Proceeding of the 10th session of the Scottish Universities Summer School in Physics 1969. Ed. by
S. M. Kay and A. Maitland (Academic Press).
[6] GLAUBER, R. J., Quantum Optics and Electronics (Les Houches) 1964, Ed. by C. de Witt, A. Blandin and C. Cohen-
Tannoudji (Gordon and Breach Science Publ. inc, N. Y.) 1965.
[7] We show in ref. [1] that the chaotic field is, among all the Gaussian fields, the only one which is fully stationary.
This property derives : from the fact that the moments
like E*(t1) E*(t2) > are identical to zero for all (t1, t2).
[8] LANDAU, L. D. and LIFSCHITZ, E. M., Statistical Physics (Pergamon Press), 1959, p. 25.
See also YvoN, J., Les corrélations et l’entropie en mécanique statistique classique (Dunod), 1965, p. 83.
[9] MOLLOW, B. R., Phys. Rev. 175 (1968) 1555.
[10] KANO, Y., Ann. Phys. 30 (1964) 127.
[11] RICE, S., Bell. Syst. Tech. Journal 23 (1944) 282 and 24 (1945) 46.
LOÈVE, M., C. R. Hebd. Séan. Acad. Sci. 220 (1945) 380.