Keyvan Zari
, Soene Affes
Universit e du Qu ebec, INRS-EMT, Montreal, QC, H5A 1K6, Canada, Email: zaidi,zari,affes@emt.inrs.ca
1
= 0 and A
l
R for l = 1, . . . , L. The following common
assumptions are also used:
A1) Scattering and reection effects from the transmitters
to the nodes are negligible [1]-[4]. The channel gain from
the l-th transmitter to the k-th node can be then represented
as [g
l
]
k
= c
l
e
j(2/)d
kl
where c
l
is the signal path-loss,
is the wavelength, and d
kl
is the distance between the two
terminals. Using the fact that A
l
R and, hence, d
kl
A
l
r
k
cos(
k
l
), [g
l
]
k
can be approximated by b
l
[ g
l
]
k
with [ g
l
]
k
e
j(2/)r
k
cos(
k
l
)
and b
l
c
l
e
j(2/)A
l
[1].
A2) The channel gain [f ]
k
between the k-th node and the
receiver is a zero-mean unit-variance circular Gaussian random
variable.
978-1-4244-2519-8/10/$26.00 2010 IEEE
A3) Transmitted signals s
l
, l = 1, . . . , L are zero-mean
identically distributed random variables while noises at nodes
and the receiver are zero-mean Gaussian random variables with
variances
v
2
and
n
2
, respectively. All signals, noises, and
the nodes forward channel gains are mutually independent.
A4) The k-th node is aware of its own coordinates (r
k
,
k
),
its forward channel [f ]
k
, the directions of the transmitting
terminals
l
, l = 1, . . . , L, and the nodes permitted total
transmit power P
max
,
2
v
, and
2
n
, while being oblivious to
the locations and the forward channels of all other nodes in
the network.
A1-A3 are common in the literature of array processing
for planar waves and are frequently adopted in the context
of collaborative beamforming for WSNs. In particular, A1 is
reasonable since the transmitters distances from WSN are
much larger than the size of WSN. In such a case, the large-
scale fading plays the dominant role [2]. In turn, A2 is valid
when R is relatively small, and, therefore, the small scale
fading effects are dominant [2]. Finally, note that A4 is due to
the distributed and decentralized feature of WSNs.
Fig. 1. System model.
III. SINR-OPTIMAL BEAMFORMER
The transmission from the L transmitters to the receiver is
performed in two time slots. All transmitters send their signals
in the rst time slot, while each node k multiplies its received
signal by a beamforming weight w
k
and forwards it to the
receiver in the second time slot. It can be readily shown that
the received signal at O is given by
r = b
1
s
1
w
H
h
1
+w
H
H
1
Bs
1
+w
H
(f v) + n (1)
where w [w
1
. . . w
K
] is the beamforming vector, n and
v are respectively the receiver and nodes noises, B
diagb
2
, . . . , b
L
, s
1
[s
2
. . . s
L
]
T
, h
1
f g
1
and
H
1
[f g
2
. . . f g
L
] with g
l
[[ g
l
]
1
. . . [ g
l
]
K
]
T
for
l = 1, . . . , L and f [[f ]
1
. . . [f ]
K
]
T
.
It follows from (1) that the received power from the source,
the received power from the interferences, and the aggregate
noise power due to the thermal noise at the receiver and
the forwarded noise from the beamforming nodes can be
respectively written as
P
S
= p
1
[b
1
w
H
h
1
[
2
(2)
P
I
= w
H
H
1
BP
1
B
H
H
H
1
w (3)
P
N
= w
H
w+
2
n
(4)
where
2
v
diag[[f ]
1
[
2
, . . . , [[f ]
k
[
2
, p
1
is the source signal
power, and P
1
diagp
2
, . . . , p
L
with p
l
, l = 2, . . . , L
being the l-th transmitter signal power. It directly follows from
(2)-(4) that the SINR at the receiver is given by
SINR =
p
1
[b
1
w
H
h
1
[
2
w
H
_
H
1
BP
1
B
H
H
H
1
+
_
w+
2
n
. (5)
To achieve a reliable transmission, the objective is to nd a
beamforming vector w
opt
that maximizes the SINR subject to
the nodes total transmit power constraint. It can be proved that
w
opt
is given by
w
opt
=
_
1
h
1
1
H
1
c
_
(6)
where
c
_
_
BP
1
B
H
_
1
+H
H
1
1
H
1
_
1
H
H
1
1
h
1
, (7)
+
_
2
n
B/P
max
_
I with B =
2
v
+
L
l=1
[b
l
[
2
p
l
, and
=
_
P
max
B
_
h
H
1
2
h
1
d
H
c c
H
d +c
H
Dc
_
_
1/2
(8)
with d = H
H
1
2
h
1
and D = H
H
1
2
H
1
. Note that is
chosen such that the nodes total transmit power is equal to
P
max
.
The beamforming vector w
opt
is implementable only if the
k-th node can compute its corresponding beamforming weight
[w
opt
]
k
=
_
[]
1
kk
[h
1
]
k
[]
1
kk
L1
l=1
[H
1
]
kl
[c]
l
_
. (9)
As can be observed from (9), , []
kk
, [h
1
]
k
, the k-th row of
H
1
, and all entries of c must be locally computable at the k-th
node. As []
kk
, [h
1
]
k
and the k-th row of H
1
depend only on
the information available at the kth node, they satisfy the latter
requirement. However, and the entries of c are functions
of all nodes locations and forward channels and, according
to A4, they cannot be computed at each node. Therefore,
although w
opt
maximizes the SINR, it cannot be implemented
in the distributed network of our concern. A new decentralized
collaborative beamformer is proposed in Section IV that well-
approximates w
opt
and, further, its weights depend solely on
the information available at the corresponding nodes.
IV. PROPOSED DECENTRALIZED COLLABORATIVE
BEAMFORMER
An approach to get around the problem exposed in the
previous section is to substitute c and with quantities
that not only can be computed at each individual node, but
also well-approximate their original counterparts. Note that
when the nodes total transmit power is xed, the transmit
power from each node is inversely proportional to K and the
SINR linearly increases with K. Therefore, it makes practical
sense to use a larger K in the collaborative beamforming
procedure. In such a case, c and can be substituted with
c lim
K
c and lim
K
, respectively. While c
and are good approximations of their original counterparts,
they must also solely depend on the information commonly
available at all the nodes. In what follows, we will prove that
these approximations satisfy the latter requirement.
As lim
K
1/
_
K[b
l
[
2
p
l
_
= 0, it can be shown that
c =
_
lim
K
1
K
H
H
1
1
H
1
_
1
_
lim
K
1
K
H
H
1
1
h
1
_
. (10)
First, let us derive the limit of the rst expression in the right-
hand side (RHS) of (10). It follows from the denitions of H
1
and that
[H
H
1
1
H
1
]
mn
=
K
k=1
[[f ]
k
[
2
e
j(m+1n+1)z
k
2
v
[[f ]
k
[
2
+
2
n
B
Pmax
(11)
where z
k
r
k
sin (
k
(
m+1
+
n+1
) /2) /R and ()
4Rsin(/2)/. Using the strong law of large numbers and
the fact that [f ]
k
, r
k
and
k
are all mutually statistically inde-
pendent and the nodes are uniformly distributed on D(O, R),
we obtain that
lim
K
1
K
[H
H
1
1
H
1
]
mn
p1
2qE (12)
where E is an L 1 L 1 matrix with
[E]
mn
_
J1((m+1n+1))
(m+1n+1)
m ,= n
1
2
m = n
(13)
and
q E
_
[[f ]
k
[
2
2
v
[[f ]
k
[
2
+
2
n
B
Pmax
_
=
1
2
v
_
0
xe
x
dx
x +
=
1
2
v
(e
E
i
() + 1) . (14)
In (14), =
2
n
B/
2
v
P
max
and E
i
(x) =
_
x
(e
t
/t)dt is the
exponential integral function. Following a similar approach as
in (11), it can also be shown that
lim
K
1
K
_
H
H
1
1
h
1
m
p1
2q [z]
m
(15)
where z is an L 1 1 vector with
[z]
m
_
J1((m+1))
(m+1)
m+1
,= 0
1
2
m+1
= 0
. (16)
Therefore, it follows from (12) and (15) that
c
ep1
E
1
z. (17)
Equations (13) and (16) show that E and z depend only on
the directions of the interferences and, hence, according to A4,
all the entries of c can be locally computed at each individual
node.
Now, let us turn our attention to compute . Using (13) and
(16), it can be shown that
lim
K
1
K
_
h
H
1
2
h
1
_
p1
q (18)
lim
K
1
K
_
d
H
m
p1
2 q
_
z
T
m
(19)
lim
K
1
K
[D]
mn
p1
2 q[E]
mn
(20)
lim
K
1
K
[d]
m
p1
2 q[z]
m
(21)
where
q E
[[f ]
k
[
2
_
2
v
[[f ]
k
[
2
+
2
n
B
Pmax
_
2
=
1
4
v
_
0
xe
x
dx
(x + )
2
=
1
4
v
(e
E
i
()(1 + ) + 1) . (22)
Thus, can be expressed as
p1
_
P
max
K qB(1 2z
T
E
1
z)
_
1/2
. (23)
It can be observed from (23) that does not depend on the
locations and the forward channels of any nodes and, therefore,
it is locally computable at each individual node. Using (17) and
(23) we introduce
w =
_
1
h
1
1
H
1
E
1
z
_
. (24)
The above beamforming vector not only can be implemented in
a decentralized fashion, but also well-approximates its optimal
counterpart w
opt
for a large K. In Section V, we derive the
average beampattern expression associated with w and study
its proprieties.
V. AVERAGE BEAMPATTERN
Beampattern is the received power from a transmitter at
an arbitrary location (A
). Therefore, it is a performance
measure that can evaluate the efciency of the beamformer in
increasing the received power from the source at (A
1
,
1
= 0)
and reducing the received power from the interfering terminals
at (A
l
,
l
) l = 2, . . . , L.
Assuming that the transmitter at (A
) = p
w
H
(f g
2
(25)
where g
[[g
]
1
. . . [g
]
K
]
T
is the channel gain vector with
[g
]
k
b
e
j(2/)r
k
cos(
k
)
. (26)
In (26), b
e
j(2/)A
and c
is the path-loss.
To verify the efciency of the proposed beamforming
technique, we need to show that the beampattern has a
narrow mainbeam centered at (A
1
,
1
= 0) and minima
at (A
l
,
l
) l = 2, . . . , L. As P(A
) is a function of
the random variables r
k
,
k
, [f ]
k
k = 1, . . . , K, it is more
practical to investigate the behavior of the average beampattern
P
av
(A
) = EP(A
) = (A
)(
) (27)
where
(A
) =
[b
[
2
p
P
max
qB
(28)
and
(
) = p +
4(K 1)q
2
(1 2z
T
E
1
z)
_
J
1
((
))
(
)
z
T
E
1
z
_
2
(29)
with z
]
l
_
J1((
l+1
))
(
l+1
)
,=
l+1
1
2
=
l+1
(30)
and
p = E
[[f ]
k
[
4
_
2
v
[[f ]
k
[
2
+
2
n
B
Pmax
_
2
=
1
4
v
_
0
x
2
e
x
dx
(x + )
2
=
1
4
v
(e
E
i
()(2 + ) + + 1) . (31)
It follows from (27) that the average beampattern value at
the location of the desired source is
P
av
(A
1
,
1
= 0) = (A
1
)
_
p + (K 1)q
2
_
1 2z
T
E
1
z
__
.
(32)
In turn, it can be readily proved that the average beampattern
at the location of the l-th interference is [6]
P
av
(A
l
,
l
) =
[b
l
[
2
p
l
P
max
p
qB
. (33)
As can be observed from (32) and (33), the received power
from the desired source linearly increases with K while the
received power from the interferences remains constant. This
verify the efciency of the proposed beamformer in increasing
the desired signal power and, hence, the SINR. It can also be
shown that [6]
lim
K
P(A
)
p1
lim
K
P
av
(A
). (34)
Equation (34) implies that as long as K is large enough, any
realization of the beampattern has similar proprieties as the
average beampattern.
5 6 7 8 9 10 11 12 13 14 15
36
35.8
35.6
35.4
35.2
35
34.8
34.6
34.4
34.2
(deg)
)
(
d
B
)
5 0 5
40
30
20
10
0
Fig. 2. () in the case that [
2
,
3
,
4
,
5
] = [6, 7, 9, 10](deg).
10 9 8 7 6 5 4 3 2 1 0 1 2 3 4 5 6 7 8 9 10
40
35
30
25
20
15
10
5
0
(deg)
)
(
d
B
)
K=40
K=30
K=20
K=10
Fig. 3. () for K = 10, 20, 30, 40.
VI. SIMULATION
Computer simulations are used to validate the analytical
results. We consider L = 5 and assume that all transmitters
have equal powers and that the noises powers
2
n
and
2
v
are 20dB below the nodes permitted total transmit power
P
max
. Fig. 3 shows (
) = (