Sei sulla pagina 1di 44

Lecture Notes

Wireless Communications I

- Part 1 The Physical Wireless Channel

A Course of the Undergraduate Program


in Electrical and Computer Engineering
Jacobs University Bremen

Prof. Dr. Giuseppe Abreu


August 30, 2015

Lecture 1
Taking to the Air and Back to the Wire
Emission of Linear Antenna in Free Space
A short linear antenna of length L excited with an alternate current I =
I0 ej2f t , produces at a point at a distance r making an angle with the
antenna, the following electro-magnetic waves:


c
I0 L cos 1

+
ej2f (tr/c)
(0.1)
E =
20 c
r2
j2f r3


c
c2
I0 L sin j2f
ej2f (tr/c)
(0.2)
+
+
E=
40 c2
r
r2
j2f r3


I0 L sin j2f
c
H=
+ 2 ej2f (tr/c)
(0.3)
40 c2
r
r
where 0 is the permittivity of the medium (vacuum/air).
In the near field things are messy!
Far away (far-field), only E and H are significant, and simply to
E
r1

H
r1

jI0 Lf sin j2f (tr/c)


e
2r0 c2

(0.4)

jI0 Lf sin j2f (tr/c)


e
2r0 c2

(0.5)

In the far field E and H are equivalent!

Response of Linear Antenna in Free Space


Although it is clear from equations (0.4) and (0.5) that E and H are
mathematically equivalent (in the far field), it is actually the magnetic
field H that induces a current at the receivers antenna, specifically
Ir =


dH
I0 Lf 2 sin
=
exp j2f (t r/c)
2
dt
r0 c


= exp j2f (t r/c)


r

where = I0 Lf 2 sin /0 c2 .

(0.6)

Note: Many (or most!) text books are, strictly speaking, incorrect in
talking about propagation over the electric field E. While not an issue
on far field, in near field (e.g. body area networks) more care must be
taken.

Large Scale Effects


Power Loss: Free space, stationary
Let us study some of the effects the physical environment impose over the effectively received signal under stationary, free space conditions i.e.,

Er , < {Ir } = cos (2f (t r/c))


(0.7)
r
The amplitude of the signal reduces with 1/r:
The power of the signal reduces with 1/r2 :
E[Er2 ] =

2
2r2

(0.8)

Free space is very similar to the wire channel!


E[I 2 ] =

P
E[V 2 ]
= 2
2

Doppler Distortion: Free space, mobile


Consider a mobile receiver with velocity ~v . Let v denote the scalar speed on
direction of the line between transmitter and receiver. Then
r0 = r + vt
Er =

cos (2f (1 v/c)t 2f r/c)


r + vt

(0.9)
(0.10)

The power of the electric field stays the same:


E[Er2 ] =

2
E[cos2 (2f (1 v/c)t 2f r/c)]
E[(r + vt)2 ]
2

r1
2r2
T 1/f

(0.11)

The frequency of the electric field varies with v:


f 0 = f (1 v/c)

(Doppler shift)

(0.12)

Doppler shift causes distortion!

Shadowing: Free space, two paths, stationary


If two paths of lengths r1 and r2 exist between transmitter and receiver, then:
Er =

cos (2f (t r1 /c))


cos (2f (t r2 /c))
r1
r2

(0.13)

A deterministic phase difference is observed:


1 = 2f r1 /c;

2 = 2f r2 /c +

= 2f

r
+
c

(0.14)
(0.15)

The power of the electric field varies with the location:


E[Er2 ]

r1
T 1/f

2
2

E[cos (2f t) cos (2f t + )]


r2
r2

(0.16)

Shadowing is perceived as blind spots.


The phenomenon is technically known as spatial selectivity!

Note: Simplistic definitions of delay spread and coherence bandwidth can be made at this point:
(delay spread)

r
1
Bc ,
c

(coherence bandwidth)

Figure 1: Interference of two sinusoidal waves of same frequency.

The reciprocal relationship between delay spread and coherence


bandwidth is general. However, different proportionality constants
may be adopted (see e.g. [1, pp. 15]).

Path Loss Exponent: Ground plane reflection


Consider the special case where the second path is due to a ground plane
reflection, as depicted in figure . Then
r1
hs hr
hs

r2

hs + hr

hr

Figure 2: Geometry of the ground plane two-path channel.


The Delay spread varies with the inverse of r.

Homework 1: Show that


,
r(hs ,hr )

Hint: Use the asymptotic result

2hs hr
rc

(0.17)

1 + x 1 + x/2.
x1

The amplitude of the received signal decreases with 1/r 2


Homework 2: Show that
Er =

cos (2f (t r1 /c))


cos (2f (t r2 /c))
r1
r2
4f hs hr

sin[2f (t r1 /c)]
cr2
rf /c

(0.18)

Hint: Assume that r1 r2 .


Homework 3: Show the same without assuming that r1 r2 .
Hint: Use the asymptotic result (1 + x)1 1 x.
x1

The power of the received signal decreases with 1/r 4


E[Er2 ]

r1
T 1/f

where =

2
2r4

(0.19)

4f hs hr
.
c

Fresnel Diffraction: Knife-edge Obstacle


Consider the special case where the second path is due to diffraction at a
knife-edge obstacle, as depicted in figure . Then

h0

T
d1

2
d2
R

hs
hr

Figure 3: Geometry of knife-edge two-path channel.


A deterministic phase difference is observed:

= 2
2
with
d1 + d2
=h
d d
r 1 2
2d1 d2
=
(d1 + d2 )

(0.20)

(0.21)
(0.22)

where , are the Fresnel coefficient and Fresnel diffraction angle,


respectively.
The amplitude of the received signal varies with :
Er F () cos(2f t )

(0.23)

h(d1 ,d2 )

where F () is the Fresnel diffraction loss




Z
1+j
jx2
F () =
exp
dx
2
2

(0.24)

Homework 4: Show that for > 1, the Fresnel loss |F ()| is tightly
approximated by
|F ()|

1
2

(0.25)

Hint: Start by showing that








Z
jx2
1
1
exp
dx =
C() j
S()
2
2
2

where

Z
C() =

cos x2 dx;

Z
S() =

(0.26)

sin x2 dx

(0.27)

Fresnel Diffraction Loss

1.2
1.1
1
0.9
0.8
Loss: |F ()|

0.7
0.6
0.5
0.4
0.3
0.2
0.1
0
5

0
1
Coefficient:

Figure 4: Behavior of Fresnel Diffraction Loss/Gain.

Mandatory Reading
- Goldsmith [2]: Chapter 2
Advised Reading
- Tse&Viswanath [1]: Chapter 2 (Section 2.1)
Recommended
- MIT Course: Principles of Digital Communications [3],
- Lecture 21 by Prof. Gallager (MIT)

Lecture 2
Small Scale Effects
Two-path Fading: Free space, two paths, mobile
Let v1 and v2 denote scalar velocities projected on the lines between transmitter
and receiver, and between the specular image of the transmitter and the receiver,
respectively. Then
r10 = r1 + v1 t;
Er =

r20 = r2 + v2 t

(0.28)

cos (2f (1 v1 /c)t 2f r1 /c)


r1 + v1 t

cos (2f (1 v2 /c)t 2f r2 /c)


r2 + v2 t

(0.29)

The power of the signal varies rapidly with time:


E[Er2 ] r

1
i
T 1/f

2 2
E[cos (2f t(1 v1 /c))cos (2f t(1 v2 /c) + )] (0.30)
r2 r2

Note: Simplistic definitions of Doppler spread and coherence time can be


made at this point:
(Doppler spread)

f , f (v1 v2 )/c Tc ,

1
f

(coherence time)

Time selectivity (fading)!

Model 1: Ray tracing


Consider the folowing generalization of the two-path model
X

Er =
i (t, f ) cos 2f (t i (t))
i

(
= <

)
X
i

i (t, f ) exp j2f (t i (t))

For example, for the two-path model:

1 =
; 2 =
r1 + v1 t
r2 + v2 t
1
v2 t + r2
2
v1 t + r1
1 =

; 2 =

c
2f
c
2f
1 = 0; 2 =

(0.31)

Model 2: Ray tracing in narrowband complex domain


Consider further the following simplification and generalization to the complex
domain
X

Er =
i (t) exp j2f (t i (t))
(0.32)
i

whereby
We neglect the antennas frequency selectivity
i (t, f ) i (t)

(0.33)

We neglect the bandwidth


F[cos 2f t] = 21 [(2f ) + (2f )]
jF[sin 2f t] = 21 [(2f ) (2f )]
F[exp(j2f t)] = (2f )
Attention to the short-hand notation: (2f ) is a spike at 2f

Model 3: Channel impulse response


Define the time-variant channel response function in frequency, which in
terms of Fourier transform is
Z
h(f, t) =

h(, t) exp(j2f )d

(0.34)

F 1

h(f, t) h(, t)
F

(0.35)

Attention to the short-hand notation: F{h(t)} = h(f )


The response of the channel to an arbitrary input:
F 1

x(t) x(f )
F

10

(0.36)

is given by
Z
x(f )h(f, t) exp(j2f t)df

Er (t) =

(0.37)

Z
Er (t) =

x(f )

h(, t) exp(j2f )d exp(j2f t)df

Z
Er (t) =

h(, t)

Er (t) =

x(f ) exp(j2f (t ))df d


h(, t)x(t )d

(0.38)

A signal in the wireless channel undergoes a time-varying


convolution with the channels response function!

For the ray tracing case:


h(f, t) ,

X
i


i (t) exp j2f i (t)

h(, t)


i (t) i (t)

such that the response to an input x(t) is


X

Er (t) =
i (t)x i (t)

(0.39)

(0.40)

(0.41)

Where did the frequency dependence go?!


The impulse response model arises as a consequence of ignoring
frequency dependence in each path response!

Homework 5: Explain why the absence of frequency dependence on


the ray tracing response to a narrowband signal as shown in (0.41)
is intuitively correct.
Hint: Study equation (0.37) qualitatively.

11

Note: Compare equation (0.41) with equation (0.32), and see that the
former is indeed the response to the input x(t) = exp(j2f t)!

Model 4: Baseband Impulse Response


Define the baseband time-variant response function in frequency


h(f + f c, t) if f + fc > 0
hb (f, t) =
0
if f + fc 6 0

(0.42)

F 1

hb (f, t) hb (, t)

(0.43)

The response of the channel to an arbitrary input is:


Z
Er,b (t) =
x(f )hb (f, t) exp(j2f t)df

(0.44)

Z
Er,b (t) =

x(f )

hb (, t) exp(j2(f + fc ) )d exp(j2f t)df

Z
Er,b (t) =

h(, t)

x(f ) exp(j2f (t ))df exp(j2fc )d

Z
Z
Er,b (t) = h(, t)x(t ) exp(j2fc )d = hb (, t)x(t )d

(0.45)

Note: Recall the Fourier transform frequency shift property


x(t) exp(j2fc t) x(f + fc )
F

For the ray tracing case:


X

hb (f, t) ,
i (t) exp j2(f + fc )i (t)

(0.46)

hb (, t)
F

Er,b (t) =

X
i

X
i


i (t) i (t) exp(j2fc i (t))


i (t)x i (t) exp(j2fc i (t))

12

(0.47)
(0.48)

Recall that the propagation delay is




vi t
ri
i
fD
i (t) =
+

= i0 + i t
c
c
2f
fc

(0.49)

where fDi (fc , vi ) , fc vi /c is the Doppler shift.


For the ray tracing case:
X

Er,b (t) =
i (t) x i (t) exp(j2(fc i0 + fDi t))

(0.50a)


i (t) exp(j2fc i0 ) x i (t) exp(j2fDi t) (0.50b)

i0 (t, i0 ) x i (t) exp(j2fDi t)

(0.50c)

where i0 (t, i0 ) , i (t) exp(j2fc i0 ) with i (t) ,

such that
ri + vi t

|i0 (t)| = |i (t)|

Frequency carrier affects the Doppler shift, but


does not affect the path coefficient!

Note: Of course different frequencies have different absorption


factors, but this is not a small scale effect!
Impulse response, i.e., response to input x(t) = exp(j2f t)
X

Er,b (t) =
i0 (t, i0 ) i (t) exp(j2fDi (fc , vi ) t)

(0.51)

Doppler shift causes violent and random phase rotations!


Specifically, exp(j2fDi (fc , vi ) t) goes from 1 to 0 every t =

1
4|fDi |

Doppler shift is random, since it is affected by the carrier


frequency and the relative velocity between the
transmitter/receiver pair!

Multiple paths with mismatched Doppler shifts cause fading!

13

Statistical Characteristics of Fading Channels


Let us now pursue a small scale statistical perspective of the wireless channel
(valid for short periods of time). Inspired in the models discussed in the previous
lecture, consider the more abstract, if simpler, baseband multi path channel
model below
X
hb (t) =
i exp(ji (t))
(0.52)
i

where the dependence of i with time ignored, while all the other physical parameters of interest such as Doppler shifts, propagation delay etc. are embedded
in the time-varying phase i (t)
i (t) , 2fc i0 + 2fDi t

(0.53)

Autocorrelation Function under Multipath Narrowband Model


Let us furthermore split hb (t) into I and Q components
P
hI (t) = i cos(i (t))
i
P
hQ (t) = i sin(i (t))

(0.54)
(0.55)

The autocorrelation function of the in-phase component is given by


X  
AI ( ) , E [hI (t)hI (t + )] =
E i2 E [cos(i (t)) cos(i (t + ))]
i

(0.56)
which can be simplified to
AI ( ) =

1 X  2
E i E [cos(2fDi )]
2 i

(0.57)

Homework 6: Prove equation (0.57).


Hint: Substitute equation (0.53) into (0.56) and simplify.

Autocorrelation Function under Clarkes Multipath Model


The average powers of all paths are the same:
 
E i2 = 2P/N

(0.58)

The Doppler shift of each path is proportional to its angle-of-arrival:


fDi =

fc vi
fc v

cos i
c
c
14

(0.59)

The angles-of-arrival are uniformly distributed:


i

2i
= i
N

(0.60)

where , 2/N .
Substituting the approximations above we obtain



P X
2fc vi0
AI ( ) =
E cos
cos i
N i
c


P X
2fc vi0
=
cos
cos i
2 i
c

(0.61)

Taking the number of terms to infinity (N )


P
AI ( ) =
2

Z2


cos


2fc v
cos d = P J0 (2fD )
c

(0.62)

where we finally dropped the i and from the notation for simplicity,
and since those no longer have meaning in the continuous model above.
Note: It is trivial to show that AQ ( ) = AI ( ).

Coherence Time and Doppler Spread


Let us start by emphasizing that the expectation taken in equation (0.61), and
the integration performed in equation (0.62), fD represents the aggregate contribution of all phase mismatches caused by the Doppler shifts of all paths.
In other words, fD is now to be interpreted (and referred to) as a Doppler
Spread.
The Coherence Time of a (dense) multi path channel is defined as the
time it takes for the channel to become uncorrelated, i.e.
Tc = min{ }|A( ) = 0

Homework 7: Prove that Tc =

3
.
8fD
r

Hint: Use the approximation J (x)

15


2
cos x 2 4 .
x

(0.63)

Bessel Function of the First Kind

0.8

J0 (2fD )

0.6

0.4

0.2

0.2

0.4
0

0.5

1.5
fD

2.5

Figure 5: Normalized autocorrelation function of uniformly dense wireless channel (Clarkes) model.
The Fourier Transform of the Autocorrelation Function of a channel is referred to as the Power Spectral Density. For the narrowband
dense multi path model above (Clarkes):

1
P p
for |f | 6 fD
2fD 1 (f /fD )2
SI (f ) , F{AI ( )} =
(0.64)

0
otherwise

Notice how as fD increases, the Power Spectral Density SI (f ) tends


to a pair of spikes at fD and fD , implying that the
Autocorrelation Function tends to a sinusoidal waveform.
What does that mean?
Conversely, as fD 0, the Power Spectral Density SI (f ) tends to a
rectangular function at the origin. What does that mean?
sinc(x) =

sin( )

rect(f ) = u (f + fD ) u (f fD )
r1

16

Power Spectral Density

3.5

fD = 2

2.5

fD = 4

S(f )

1.5
fD = 8

0.5

0
9

Figure 6: Power Spectral Density of Narrowband Dense Multipath Channel.

Question: What is the integral of SI (f ) over its entire domain,


and what does it represent?

Mandatory Reading
- Goldsmith [2]: Chapter 3
Additional Reading
- Rappaport [4]: Chapter 5
- Tse&Viswanath [1]: Chapter 2
Recommendend
- Principles of Digital Communications [3],
- Lecture 21 by Prof. Gallager (MIT)
- At: http://www.youtube.com/watch?v=2DbwtCePzWg

17

Lecture 3
Statistical Characteristics of Fading Channels (Cont.)
Let us return to the baseband channels time-domain response function
X

hb (, t) =
i (t) i (t) exp(j2fc i (t))
(0.65)
i

I
1

i1
q1
1
N

N 1

N
Delay

Figure 7: Illustration of a baseband impulse response.

The function P( ) below is known as the Power Delay Profile of the


channel, at the location z.
P( ) , Et|z [|hb (, t)|2 ]
where is normalizing constant.

18

(0.66)

P
1

N
1

Delay

Figure 8: Illustration of the Power Delay Profile function.


Note: Recognize that the Power Delay Profile is actually a large scale
characteristic of the channel!
Given a certain PDP, its corresponding average and rms delays can also
be defined as
Z
P( )d
= Z0
(0.67)
P( )d
0

21

( ) P( )d

P( )d

(0.68)

A widely used PDP model (supported by empirical and analytical evidence) is the exponential profile
P( ) =

1
exp( /).

(0.69)

Homework 8: Prove that the mean and rms delays of an exponential


PDP shown in equation (0.69) as are both equal, i.e., = = .

19

Homework 9: Prove that under an exponential PDP as shown in


equation (0.69), the number of paths N that arrive in a time T is a
Poisson random variable with intensity 1/. Or, mathematically
P {no. paths in T = N } =

eT /
N!

 N
T
.

nP
N

o
i < T .

(0.70)

What is the average number of paths?


Hint 1: Study P

nP
N +1
i

i > T

and P

Hint 2: Recall that the sum of exponential variates follow the


Erlang distribution which yield a Poisson.

n
Tm =

n+1

Pm

i=1 i

Figure 9: Illustration of exponential arrivals.

Envelope Spectral Crosscorr. and Power Delay Profile


Let us now consider the following simplification of the channel response function
hb ( ) =

N
X
i=1

hi i

(0.71)

where we have neglected the temporal dependence of i with time, and included
the time-varying phase rotations caused by Doppler shifts into the complex
gains hi .
Recall that N is typically also a random variable!

Let the Power Delay Profile of the channel be given by


P , [|h1 |2 , , |hN |2 ] = [P1 , , PN ]

20

(0.72)

If the channel gains hi are independent, the associated covariance matrix


is
Rh , E[hh ] = diag[P1 , , PN ]
(0.73)
where

denotes transpose conjugate, and h , [h1 , , hN ].

Due to the fast rotation of the phases of hi , these random variates can
also be assumed to be zero mean.
Next, consider the frequency domain response function of the channel, given
by the Fourier transform of hb ( ), i.e.
Z

hb ( ) exp(j2f )d =

hb (f ) ,

N
X

hi exp(j2f i )

(0.74)

i=1

Consider a pair of sinusoidal signals with frequencies f1 and f2 , and define


the associated vectors
wk , [exp(j2fk 1 ), , exp(j2fk N )]

(0.75)

Notice the positive arguments!

The responses to each of these sinusoidal signals in the frequency domain can be written in matrix form as
yk = wk h

(0.76)

Let us define also the quantities


y = [y1 , y2 ]
rk = |yk |

(Envelope Response)
f = f1 f2

(0.77)
(0.78)
(0.79)

The cross-correlation coefficient between the envelope responses in


the frequency domain is given by.
C(r1 , r2 ) =

E[r1 r2 ] E[r1 ] E[r2 ]


E[r12 ] E[r1 ]2

21

(0.80)

It can be shown [5] that

P
2
E[r12 ] = P

E[r1 ] =

(0.81)
(0.82)
2 2

E[r1 r2 ] = 2 F1 12 , 12 ; 1; 2

 P (1 )
4

(0.83)

P
where P ,
Pi , 2 F1 (a, b; c; z) is the Gaussian hypergeometric function and 2 is the Fourier transform of the sample correlation function
of the Power Delay Profile, specifically
2

PN PN

Pn Pm exp(j2f (n m ))
P2

(0.84)

From equation (0.83) one obtains [5]


C(r1 r2 ) =

2 F1


12 , 12 ; 1; 2 1
4/ 1

(0.85)

Note: The result holds for arbitrary Power Delay Profiles!

Finally, let us show that the Envelope Spectral Cross-correlation


Coefficient is the same as the Fourier transform of the Power Delay
Profile.
Homework 10: Show from equation (0.85) that C(r1 r2 ) 2 .
Hint 1: What is the maximum value of 2 ?.

Hint 2: Use the approximation 2 F1 21 , 12 ; 1; 2 (4/ 1)2 + 1,
for 0 6 2 6 1.
The Envelope Spectral Cross-correlation Coefficient is the
Fourier Transform of the Power Delay Profile!

22

Gaussian Hypergeometric Function

1.3

1.25

2 F1 (1/2, 1/2; 1;

1.2

1.15

1.1

1.05

1
0

0.1

0.2

0.3

0.4

0.5
2

0.6

0.7

0.8

0.9


Figure 10: Gaussian Hypergeometric Function 2 F1 12 , 12 ; 1; 2 and a linear
approximation (4/ 1)2 + 1.

Coherence Bandwidth and RMS Delay


The coherence bandwidth of the channel is defined as the bandwidth over
which the envelope spectral cross-correlation coefficient is greater than a given
threshold .




f = f C(r1 , r2 ) =

(0.86)

From the above, we may replace the envelope spectral cross-correlation coefficient by the Fourier Transform of the PDP. Consider the Exponential
PDP of equation (0.69)
P(f ) =

|F {exp( / )} |
1
=p
.

1 + (2f )2

(0.87)

Assuming that 2f  1, we have


f =

23

1
.
2

(0.88)

The coherence frequency is proportional to the


inverse of the rms delay!

Statistical Fading Channel Models


Let us now pursue a large scale statistical perspective of the small scale
variations of amplitude (envelope) and phase observed in the wireless channel.
Again, start form the baseband multipath channel model below
X
hb (t) =
i exp(ji (t))
(0.89)
i

Then, consider the extension of the model above to the following


P
z(t) = i cos(i (t)) + ji sin(i (t))

(0.90)

z(t) = x(t) + jy(t)

(0.91)

where in (0.90) we accommodate for the possibility (so far ignored) that the
path gains may be distinct on the different complex dimensions (polarization),
while in (0.91) we assume that the contributions of the sum of a large number
of sinusoidal functions with random phases and amplitudes amount to
the independent random processes x(t) and y(t).
The problem of determining the probability density functions
(PDFs) of the amplitude r , |z| and phase , z of random
processes with the structure shown above is often
referred to as the Random Phase Problem.

The Central Limit Theorem


Let {x1 , , xN } be independent, random variates with arbitrary distribu2
tions. Define X , EN [xi ] and X
, EN [x2i ] E2N [xi ], where EN denotes
expectation over the set of N samples. Then, the quantity
N

ZN =

X Yi
N X N N X

=
X N
N
i=1

(0.92)

converges to the standard Normal distribution.


Proof: Notice that Yi implicitly defined above has a zero-mean and unit variance. By force of Taylors theorem,
Y (t) = 1

t2
+ o(t2 ),
2
24

t0

(0.93)

where Y (t) denotes the characteristic function of the distribution of Y and


o(t2 ) denotes a term that decreases faster then t2 as t 0.
Since the characteristic function of a sum is the product of characteristic functions, and due to a simple change of variables, it follows that
n 


 2 n
2
t2
t
t
= 1
et /2 , n .
(0.94)
Y
+o
2n
n
n
2

It is then identified that the et /2 is the characteristic function of the standard Normal distribution, which concludes the proof.


If paths are independent, in large quantities, and statistically


equivalent (that is, no dominant), then by force of the
Central Limit Theorem, equation (0.91) describes
a complex Gaussian process.

Side Note: Maximum Entropy Distributions


Let us momentarily depart from the discussion about the Random Phase Problem and highlight the important property of entropy maximality that a few
important distributions (two of which already appeared so far) exhibit.
In what follows we shall make use of the following optimization technique known
as Lagrange Multiplier method.

Lagrange Multiplier Method


Consider the following constrained optimization problem
minimize/maximize f (x)
subject to g(x) = c
Define the function



(x, ) , f (x) + g(x) c

(0.95)
(0.96)

(0.97)

Then, the solution of the problem is amongst the solutions of


(x, ) = 0

(0.98)

where denotes gradient.


The solutions of equation (0.98) are in general inflection points.
One must therefore verify/choose an admissible solution.

25

Example 1: Entropy Maximality of Uniform Distribution


Let p(x) be a non-negative function in [a, b] such that
b

p(x) dx = 1.

(0.99)

Due to the non-negativity of p(x) and the normalization constraint given by


equation (0.99), p(x) is a probability distribution1 .
Next, consider the entropy of p(x)
H(p) ,

Z
a

p(x) ln p(x) dx =

p ln p dx.

(0.100)

So, we are interested in the problem:


maximize
Z

p ln p dx

(0.101)

a
b

subject to

p dx = 1

(0.102)

Applying the Lagrange Multiplier method, the Lagrangean (on p) is


!
Z
Z
b

(p) =

p ln p dx +
a

p dx 1

(0.103)

In this case the gradient reduces to a simple derivative on p, namely


(p)
= ln p(x) 1 +
p(x) dx

(0.104)

from which it follows (solving the root) that


p(x) = e1 .

(0.105)

Notice from equation (0.105) that p(x) does not depend on x!


Finally, substituting equation (0.105) into (0.99) so as to find the value of
that satisfied the normalization constraint yields
= 1 ln(b a)

(0.106)

1 Rigorously speaking these are only two of the three Kolmogorov axioms required of probability distributions. The third (countable additivity) is implied in the (assumed) integrability
of p(x).

26

Thus, finally we obtain


p(x) =

1
,
ba

a 6 x 6 b (Uniform Distribution)

(0.107)

The maximum entropy distribution in [a, b] without


prior information is the Uniform Distribution!

Example 2: Entropy Maximality in R with Known and


Now, what is the maximally entropic distribution in R with known mean and
variance?
In other words, what is the solution of the problem:
maximize

Z
p(x) ln p(x) dx

(0.108)

subject to

and

and

p(x) dx = 1

(0.109)

x p(x) dx =

(0.110)

(x )2 p(x) dx = 2

(0.111)

Before we continue, notice that


Z
Z
p(x) ln p(x) dx =
p(x ) ln p(x ) dx
R

(0.112)

which can be proved by simple substitution of variables.


The mean constraint is irrelevant!
In other words, we may consider, w.l.g., the spacial case where = 0, such that
the maximization problem reduces to In other words, what is the solution of the

27

problem:
maximize

Z
p(x) ln p(x) dx

(0.113)

Z
subject to

and

p(x) dx = 1

(0.114)

x2 p(x) dx = 2

(0.115)

The Lagrange function, taking into account this constraint is then


Z
Z
Z
(p) , p(x) ln p(x) dx+1 p(x) dx 1 2 x2 p(x) dx 2

(0.116)
And the derivative on p is
p
= ln p(x) 1 + 1 2 x2 = 0,
p(x) dx
such that

p(x) = e(1 1)2 x = e(1 1) e2 x .

(0.117)

(0.118)

Substituting equation (0.118) into the normalization and variance constraints,


respectively, yields
e

(1 1)

e(1 1)

2 x2

r
dx =

x2 e2 x dx =

e(1 1) = 1
2
r

e(1 1)
432

2 =
2 2
=

e(1 1) = 1

= 2
2

(0.119)

Substituting equation (0.119) into (0.118) we have


p(x) =

x2
1
e 22 .
2

(0.120)

The maximum entropy distribution in R with prior knowledge of


variance is the Gaussian Distribution!

28

Example 3: Entropy Maximality of Exp. Distribution


Homework 11: Prove that the maximum entropy distribution in
R+ (non-negative Real support) with a known mean is the Exponential Distribution.
Hint: Use the Lagrance Multiplier method.

Recall from Lecture 4 that the Exponential model is commonly used


to describe the Power Delay Profile of wireless channels.

Back to the Random Phase Problem...


Let us return to the Random Phase Problem
X
z(t) =
i cos(i (t)) + ji sin(i (t)) = x(t) + jy(t).
i

With the conviction that x(t) and y(t) can be assumed to be Gaussian random functions, let us attempt to derive corresponding Fading distributions.
In so-doing, pay close attention to the impact of different choices that
and exercise on the resulting fading models!

Rayleigh Solution of the Random Phase Problem


Assume that x and y are independent and identically distributed
(i.i.d) Gaussian variates with zero mean and variance 2
x p(x) =

x2
1
e 22
2

y p(y) =

y
1
e 22
2

(0.121)

Due to independence, the joint distribution of x and y is


2

p(x, y) =

(x +y
1
2 2
e
2 2

(0.122)

Going from density to probability


P {x, y} = p(x, y)dxdy

29

(0.123)

Going from cartesian to polar coordinates


p
r = x2 + y 2
= atan xy
dxdy rdr d
P {r, } =

(0.125)

r 2
r
2 2 dr d
e
2 2

p(r, ) =

(0.124)

(0.126)

r 2
r
e 22
2
2

(0.127)

Marginalizing
Z2
p(r) =

r 2
r
r r22
2 2 d =
e
e 2 , r > 0
2 2
2

(Rayleigh PDF) (0.128)

Z
p() =

r 2
1
r
2 2 dr =
e
, 0 6 6 2
2
2
2

(0.129)

Notice that the envelope and phase distributions turn up to be


independent since p(r, ) = p(r) p().
Rayleigh channels arise when no line-of-sight between transmitter
and receiver exists, and waves are scattered equally in I and Q.

30

Rayleigh Fading Distribution

0.7

0.6
=1

0.5

p(r; )

0.4

=2

0.3

=3

0.2

0.1

0
0

5
r

10

Figure 11: Examples of Rayleigh PDFs.

Discrete-time Rayleigh variates can be generated via the Box-M


uller
Transform

x = ln u1 sin(2u2 )
(0.130a)

(0.130b)
y = ln u2 cos(2u1 )
where ui are i.i.d. standard uniform random variates.
Continuous-time Rayleigh variates can be generated via the so-called Jakes
Method
#
"N
X
1
jn
R(t, k) = 2 2
(0.131)
e
cos (2fn t + n,k ) + cos 2fD t
2
n=1
where fD is the Doppler spread and the remaining parameters are
n
N +1
n + 2(k1)
N +1

n =
n,k =

There are many improved variations of the Jakes Model!

31

(0.132)
(0.133)

Figure 12: Illustration of probability regions of Rayleigh fading.

Rice Solution of the Random Phase Problem


Assume that x and y are independent Gaussian variates with the
same variance 2 , but unequal means
2

x p(x) =

(x)
1
e 22
2

y p(y) =

y
1
e 22
2

(0.134)

Due to independence, the joint distribution and joint probability of


x and y are
2

p(x, y) =

(x +y ) ( 2x)
1
2 2
e 22 e
2
2

P {x, y} = p(x, y)dxdy (0.135)

Going from cartesian to polar coordinates


2

P {r, } =

) 1 r cos
r (r +
e 22
e 2 dr d
2

2
2

p(r, ) =

) 1 r cos
r (r +
e 22
e 2
2

32

(0.136)

(0.137)

Marginalizing
Z2
p(r) =

r (r + ) 1
p(r, )d = 2 e 22

Z2
e

r cos
2
,

r>0

0
2

 r 
)
r (r +
2 2
e
I
0
2
2

(Rice PDF)

(0.138)

K cos())),

(0.139)

Z
p() =

p(r, )dr,

0 6 6 2

2
1+2 Kcos()e4K cos ()
4K
2e

(1+erf(2

where K , 2 /2 2 (i.e., ratio between the power of direct component and the power of indirect component)
is referred
to as the Rice


5 7
Factor, and the the phase shift = 4 , 3
4 , 4 , 4 .
Notice that if we define = 2 + 2 2 (total channel power), the
following variation of the Rice PDF can be written
!
r
2
K(1 + K)
2(1 + K)r K (1+K)r

p(r) =
e
I0 2r
(0.140)

Rice variates can be generated similarly to Rayleigh simply by adding


the constant .
Rice fading occurs when a dominant LOS path
exists amidst the scattered paths.

The Rice PDF reduces to the Rayleigh PDF is = 0.

Notice that equation (0.139) implies that Rice fading


is quadrant-stable for large .

33

Rice Fading Distribution

0.7

0.6
= 0; = 1

0.5

p(r; , )

= 1; = 1

0.4

0.3
= 1; = 2
= 2; = 2

0.2

0.1

0
0

5
r

10

Figure 13: Examples of Rice PDFs.

Hoyt Solution of the Random Phase Problem


Assume that x and y are independent zero-mean Gaussian variates
with the distinct variances

x p(x; b, ) = p

1
(1 + b) 2
1

x2
(1+b) 2

(0.141a)

y2
(1b) 2

(0.141b)

y p(y; b, ) = p
e
(1 b) 2
where 0 6 b 6 1.
The variances of the I and Q components are
2
(1 + b)
2
2
(1 b)
y2 =
2

x2 =

such that 2 = x2 + y2 .

34

(0.142)
(0.143)

Proceeding as before, the PDFs of the envelope and phase are




r2
2r
br2
2 (1b2 )

p(r; b, ) =
e
I0
2 (1 b2 )
2 1 b2

1 b2
p(; b) =
2(1 b cos(2))

(Hoyt PDF)
(0.144)
(0.145)

Homework 12: Prove equations (0.144) and (0.145).


Hint: Start by showing that the joint PDF is
p(r, ) =

1b cos(2) 2
r

e 2 (1b2 )
2
2
1b

Alternatively, Hoyt PDFs can be expressed as




2 2 2
) r
(1 + q 2 )r (1+q
(1 q 4 )r2
2 2
4q
p(r; q, ) =
e
I0
q 2
4q 2 2
2 2
q
p(; q) =
2
2(1 + q )(sin2 + q 2 cos2 )

(0.146)
(0.147)

where 1 6 q 6 1.
Homework 13: Prove equation (0.146).
Hint: Compare equations (0.144) and (0.146). What is the relationship
between b and q?.

35

Hoyt Fading Distribution

0.7
b = 0.8; = 0.5

0.6

0.5

p(r; b, )

b = 0.6; = 1

0.4
b = 0.2; = 2

0.3

0.2

0.1

0
0

0.5

1.5

2.5

3
r

3.5

4.5

5.5

Figure 14: Examples of Hoyt PDFs.

Figure 15: Examples of the phase distributions of Rician and Hoyt fading.

36

(a) Hoyt (b = 0.5)

(b) Hoyt (b = 0.75)

Figure 16: Probability regions of signals under Hoyt fading.

Hoyt channels are found in satellite communications.

Notice the pola rization effect of Hoyt channels.

The Hoyt PDF also reduces to the


Half-normal PDF when b = 0.

Nakagami Solution of the Random Phase Problem


No assumption over the statistics of x and y!
Derivation is very hard but yields

2
m m 2m1
p(r; m, 2 ) = (m)
r
exp( m2 r2 )
2
p(; m) =

(m)
m1
2m (m/2)2 | sin(2)|

(Nakagami PDF)

(Nakagami Phase PDF)

Discrete-time Nakagami-m variates can be generated with


r

z=
(ux x + juy y ),
2m

(0.148)

where ux and uy are independent and uniformly distributed random numbers belonging to the set {1, 1}, while x and y are i.i.d. Gamma
37

variates with shape parameter m/2 and scale parameter 2, i.e.,


i (m/2, 2)

(0.149)

The parameter m is known as the fading figure

Piecewise continuous Nakagami-m processes with half-integer fading


figure m can be constructed via

v
v
s
ubmc
udme
u
u
X
X

t
x2i (t) + juy (t|T )t
yi2 (t) ,
z(t|T ) =
ux (t|T )
dme + bmc
i=1
i=1
(0.150)
where de and bc denote the ceil and floor operators, and the processes
x2i (t) and yi2 (t) are as prescribed in the Jakes method.
For arbitrary real m, the best approximate method so far is [6]
(
zL with probability
z=
(0.151)
zU with probability 1
where mL , b2mc/2, mU , mL + 0.5 and
zL pz (z; mL , )

(0.152)

zU pz (z; mU , )

(0.153)

=2

mL
(mU m)
m

38

(0.154)

Nakagami-m Fading Distribution

1.5
m = 0.2; = 0.5

1.25
m = 1.5; = 0.5

p(r; m, )

m = 0.5; = 1

0.75
m = 1; = 2

0.5

0.25

0
0

0.5

1.5

2
r

2.5

3.5

Figure 17: Examples of the Nakagami-m PDFs.

(a) Nakagami (m = 1.25)

(b) Nakagami (m = 2.5)

Figure 18: Probability regions of signals under Nakagami-m fading.

39

Trajectory Plots of Piecewise Continuous ComplexValued


Nakagami m Channels (4 Snapshots; m = 2)
2

1.5

Imag(z)

0.5

0.5

1.5

2
2

1.5

0.5

0
Real(z)

0.5

1.5

Figure 19: Snapshots of the piecewise continuous Nakagami-m processes.

Nakagami-m channels reduce to Rayleigh for m = 1,


approximate Hoyt for 0.5 6 m < 1, and Rice for m > 1.
Due to this flexibility and also to the simple expression,
the Nakagami-m model is the most popular after Rayleigh.

Circular Central-Limit Theorem: Tikhonov PDF


Circular variates are variates with 2-periodic density
r p(mod(r, 2))

(0.155)

The Tikhonov or von Mises distribution is the equivalent of the


Gaussian distribution for circular variates
- Closed-form
40

pT (x; , ) ,

1
e cos(x) , x S , [, ]
2I0 ()

- Jacobi-Anger infinite series representation


pT (x; , ) =

X
Ik ()
1
+2
cos(k(x ))
2
I ()
k=1 0

Tikhonov variates can be generated efficiently as described in [7].


The Tikhonov distribution is also known as
von Mises distribution.
It is associated with the phase error at the output of
a Phase Locked Loop (PLL) with input power
proportional to the parameter alpha.

Tikhonov Phase Distribution

1
0.9

= 5; = /4

0.8
0.7

= 3; = 0

p(; , )

0.6
0.5
0.4
= 1; = /2

0.3
0.2
0.1
0
1

0.8

0.6

0.4

0.2

0.2

0.4

0.6

Figure 20: Examples of Tikhonov PDFs.

41

0.8

Mandatory Reading
- Goldsmith [2]: Chapter 3 (Sections 3.2 and 3.3)
Additional Reading
- Rappaport [4]: Chapter 5 (Sections 5.4 to end)
- Tse&Viswanath [1]: Chapter 2 (Section 2.3 to end)
- Proakis [8]: Chapter 2 (Section 2.1.4)
Recommendend
- Website: Lagrange Multiplier Method
. http://en.wikipedia.org/wiki/Lagrange_multiplier
- Article: Q. T. Zhang and S. H. Song, Exact expression for the
coherence bandwidth of Rayleigh fading channels, IEEE Trans.
Commun., vol. 55, no. 7, pp. 1296 1299, 2007.
- Article: G. T. F. de Abreu, On the moment-determinance and
random mixture of Nakagami-m variates, IEEE Transactions on
Communications, vol. 58, no. 9, pp. 2561 - 2575, Sep. 2010.
- Article: G. T. F. de Abreu, On the generation of Tikhonov
variates, IEEE Transactions on Communications, vol. 56, no. 7, pp.
1157 - 1168, Jul. 2008.

42

References
[1] D. Tse and P. Viswanath, Fundamentals of Wireless Communications.
Cambridge University Press, 2008.
[2] A. Goldsmith, Wireless Communications.
2005.

Cambridge University Press,

[3] Gallager, http://www.youtube.com/watch?v=2DbwtCePzWg.


[4] T. S. Rappaport, Wireless Communications:
Prentice-Hall, 2002.

Principles and Practice.

[5] Q. T. Zhang and S. H. Song, Exact expression for the coherence bandwidth
of rayleigh fading channels, IEEE Trans. Commun., vol. 55, no. 7, pp. 1296
1299, 2007.
[6] G. T. F. de Abreu, On the moment-determinance and random mixture of
Nakagami-m variates, IEEE Trans. Commun., vol. 58, no. 9, pp. 2561
2575, Sep. 2010.
[7] , On the generation of Tikhonov variates, IEEE Trans. Communications, vol. 56, no. 7, pp. 11571168, Jul. 2008.
[8] J. G. Proakis, Digital Communications, Fourth Edition.
Mc-Graw-Hill, 2000.

43

New York, NY:

Potrebbero piacerti anche