Professional Documents
Culture Documents
9, SEPTEMBER 2012
Abstract—We consider the use of energy harvesters, in place of even essential. Examples of energy that can be harvested include
conventional batteries with fixed energy storage, for point-to-point solar energy, piezoelectric energy and thermal energy, etc.
wireless communications. In addition to the challenge of transmit- For transmitters that are powered by energy harvesters, the
ting in a channel with time selective fading, energy harvesters pro- energy that can potentially be harvested is unlimited. Typically,
vide a perpetual but unreliable energy source. In this paper, we energy is replenished by the energy harvester, while expended
consider the problem of energy allocation over a finite horizon,
taking into account channel conditions and energy sources that are
for communications or other processing; any unused energy is
time varying, so as to maximize the throughput. Two types of side then stored in an energy storage, such as a rechargeable battery.
information (SI) on the channel conditions and harvested energy However, unlike conventional communication devices that are
are assumed to be available: causal SI (of the past and present slots) subject only to a power constraint or a sum energy constraint,
or full SI (of the past, present and future slots). We obtain struc- transmitters with energy harvesting capabilities are, in addition,
tural results for the optimal energy allocation, via the use of dy- subject to other energy harvesting constraints. Specifically, in
namic programming and convex optimization techniques. In par- every time slot, each transmitter is constrained to use at most the
ticular, if unlimited energy can be stored in the battery with har- amount of stored energy currently available, although more en-
vested energy and the full SI is available, we prove the optimality of ergy may become available in the future slots. Thus, a causality
a water-filling energy allocation solution where the so-called water
levels follow a staircase function.
constraint is imposed on the use of the harvested energy.
Several contributions in the literature have considered using
Index Terms—Convex optimization, dynamic programming, en- energy harvester as an energy source, in particular based on
ergy harvesting, optimal policy, wireless communications. the technique of dynamic programming [1]. In [2], the problem
of maximizing a reward that is linear with the energy used is
studied. In [3], the discounted throughput is maximized over
I. INTRODUCTION
an infinite horizon, where queuing for data is also considered.
where and are independent of . In (3), we In (6), the th summation term represents the throughput of
have also assumed that the harvested energy and the SNR are packet (after expectation); its expectation is performed over
independent, which is reasonable in most practical scenarios. all (relevant) random variables given initial state and policy
In this paper, we assume that the joint distribution (3) is known, .
which may be obtained via long-term measurements in practice. For example, if and a given policy, (6) simplifies as
4) Overall Dynamics: Let us denote the state
, or simply if the index is arbitrary.
Let the accumulated states be . (7)
We assume the initial state to be always
known at the transmitter, which may be obtained causally prior subject to for the first term and
to any transmission. From (2) and (3), given , the states for the second term. Clearly, the
thus follow a first-order Markov model: transmission energy in the first slot affects the stored energy
available in the second slot, which in turn affects the energy
to be allocated.
(4) In general the optimization of cannot be performed in-
dependently due to the energy harvesting constraints, as shown
also in the above example. Instead, for the above example, we
In particular, (4) includes the special cases where the states can first optimize given all possible (and hence all pos-
are independent, i.e., , or where the sible ), then optimize for with replaced by the opti-
states are deterministic rather than random, i.e., mized value (as a function of ). This approach, as will be
, where is the Dirac delta function. suggested by dynamic programming in the general case, will
In the next three sections, we consider the problem of maxi- be shown to be optimal.
mizing the throughput subject to energy harvesting constraints,
given either causal SI or full SI.
B. Optimal Solution
III. CAUSAL SIDE INFORMATION The optimization problem (5) is solved by dynamic program-
ming in Lemma 1.
A. Problem Statement Lemma 1: Given initial state , the max-
imum throughput is given by , which can be com-
We first consider the case of causal SI, in which the trans- puted recursively based on Bellman’s equations, starting from
mitter is given knowledge2 of before packet is transmitted, , , and so on until :
where . That is, at slot the transmitter only knows the
present channel SNR , past harvested energy and present
energy stored in the battery . In practice, for instance, the (8a)
receiver feeds back shortly before transmission, while the
(8b)
transmitter infers and from its energy storage device.
We say that causal SI is available as future states are not a priori
known. Thus, this allows us to model and treat the unpredictable for , where
nature of the wireless channel and harvesting environment.
The causal SI is used to decide the amount of energy for
transmitting packet . We want to maximize the throughput, i.e.,
the expected mutual information summed over a finite horizon (9)
of time slots, by choosing a deterministic power allocation
policy . The policy can be In (9), denotes the harvested energy in the present slot given
optimized offline and implemented in real time via a lookup the harvested energy in the past slot, and denotes the SNR
table that is stored at the transmitter. in the next slot given the SNR in the present slot. An optimal
A policy is feasible if the energy harvesting constraints policy is denoted as , where
is satisfied for all possible and all ; we is the optimal that solves (8).
denote the space of all feasible policies as . Mathematically, Proof: The proof follows by applying Bellman’s equation
given , the maximum throughput is [1] and using (2) and (3).
In (8a), the optimal maximization is trivial: the interpretation
(5) is that we use all available energy for transmission in slot .
We can interpret the maximization in (8b) as a tradeoff between
where the present and future rewards. This is because the mutual infor-
mation represents the present reward, while , com-
monly known as the value function, is the expected future mu-
(6) tual information accumulated from slot until slot .
Next, we obtain structural properties of the maximum
2It can be shown that having knowledge of previous states does not throughput in (5) and the corresponding optimal policy
improve throughput, due to the Markovian property of the states in (4). in Theorems 1 and 2. The proofs are given in the Appendix.
HO AND ZHANG: OPTIMAL ENERGY ALLOCATION FOR WIRELESS COMMUNICATIONS WITH ENERGY HARVESTING CONSTRAINTS 4811
(13)
C. Numerical Computations
In AWGN channels, by inspection in Lemma 1 is
From (8a), we get the optimal solution for slot as independent of for all , but still dependent on . Hence, the
. Now, consider the problem of finding the optimization problem for each still has to be solved
optimal to obtain . Let recursively, rather than as decoupled optimization problems.
us fix the SNR and harvested energy as , respectively,
and drop these arguments when possible to simplify notations.
Consider the unconstrained maximization over all , i.e., IV. FULL SIDE INFORMATION: ARBITRARY
not subject to any energy harvesting constraint: The initial battery energy is always known by the trans-
mitter. We say that full SI is available if the transmitter also
(10) has priori knowledge of the harvest power and SNR
before any transmission begins. This corresponds to the ideal
case of a predictable environment where the harvest power and
where we denote . Since channel SNR are both known in advance, and also gives an
is concave, and is concave due to Theorem 1, upper bound to the maximum throughput for any distribu-
the objective function is concave. Thus, the maximization tion (3).
over all gives a unique solution , easily solved using nu- In this section, we consider the general case where may
merical techniques such as a bisection search [11]. Also, The- be finite. Corollary 1, as a consequence of Lemma 1, gives the
orem 2 helps to reduce the search space by restricting the search optimal throughput for the same problem (5) but with full
to be in one direction for different . Alternatively, if SI available.
is differentiable and available in closed-form, is given by Corollary 1: Given full SI , the maximum
solving . Finally, we get the optimal solution for (8b) throughput is given by
by restricting the maximization in (10) to be over
to give
(14)
(15a)
This is because if the (concave) objective function
must be decreasing for ; if the objective
function must be increasing for . (15b)
for
D. I.I.D. SNR and Harvested Energy Proof: All side information are a priori known and hence
the SI is deterministic rather than random. Corollary 1 thus fol-
We consider the i.i.d. SI scenario where both and lows immediately from Lemma 1, by replacing the pdfs in (4)
are independent and identically distributed (i.i.d.) over for by Dirac delta functions accordingly.
analytical tractability. Even with i.i.d. SI, the optimization In general, power may be allocated via these modes:
problem in Lemma 1 is not decoupled as it still depends on • greedy : use all stored energy whenever available;
the past harvested energy . Intuitively, this is because the • conservative : save as much stored energy as possible
present transmission energy (whose maximum allowable (without wasting any harvested energy) to the last slot;
depends on ) will still affect the future storage energy • balanced : stored energy is traded among slots accord-
. ingly to channel conditions.
If we assume a Rayleigh fading channel with ex- For the last slot, or if where there is only one slot, from
pected SNR given by , i.e., the statistics of the SNR is (15a) it is optimal to allocate all power for transmission. For the
4812 IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 60, NO. 9, SEPTEMBER 2012
case , Corollary 2 obtains the optimal power allocation A non-negative power allocation is feasible if and only if
for the first slot. The proof is given in the Appendix. . The throughput maximization problem
Corollary 2: Consider slots. Suppose that the solved in Corollary 1 can then be formulated as follows:
mutual information function is given by (1). Given full SI
, the optimal transmission energy for slot 1 is
given by (corresponding to the , , modes, respectively)
(19a)
or subject to (19b)
and (16)
and or
however, both Corollary 3 and its converse hold, i.e., the optimal subject to the power allocation satisfying
power allocation is non-decreasing over slots if and only if the the constraints in (19b). A brute force search based on (24) is
SNR is non-decreasing over slots. of a high computational complexity. Nevertheless, it turns out
We give an intuitive understanding of Corollary 3, and why that it is optimal to simply employ a forward-search procedure,
the converse does not hold, to shed some light on how the en- starting with the search of the optimal , then of the optimal
ergy harvesting constraints lead to a different optimal power al- , and so on until the last optimal TS equals , at which
location. First, let us consider the AWGN channel where the point the optimal size is also obtained.
SNR is constant over slots. If all the harvested energy is already The first optimal TS can be found in Lemma 2 given
available in the first slot, i.e., there is only a single sum-power below; by induction, the search of the subsequent optimal
constraint, a uniform power allocation is optimal for the AWGN TSs will follow similarly. Lemma 2 requires the following
channel. However, in an energy harvesting system, maintaining feasible-search procedure for a given optimization problem
a uniform power allocation may not be always possible due to (19):
the causal arrival of the harvested energy. Due to this non-uni- 1) Initialize as an empty set.
form availability of harvested energy over slots, more energy 2) For , obtain the optimal power allocation
only becomes available for transmission in the latter slots. In- from slot 1 to slot by using a water-filling algorithm
tuitively, we also expect more energy to be allocated for trans- (such as Algorithm 1) assuming that all harvested energy
mission in the latter slots such that the energy harvesting con- is available, i.e., the sum power constraint is
straints in (19b) are satisfied. This type of strategy is optimal .
from Corollary 3, which applies since the SNR is constant and 3) Admit in the set if the corresponding optimal power
hence also non-decreasing. Next, consider the case where the allocation satisfies the constraint (19b) for .
SNR is non-decreasing over slots. From the water-filling algo- The set is non-empty; it contains at least the element ,
rithm under a single sum-power constraint, to achieve the max- as the constraint (19b) in Step 3 is equivalent to the sum power
imum throughput it is optimal to allocate more power to the constraint in Step 2 . Moreover, the set includes all possible
latter slots that have higher SNRs. This is consistent with the candidates for the optimal ; the only candidates that are not
earlier observation that more power should be allocated to the included are those where at least one of the constraint in (19b)
latter slots such that the constraints in (19b) are satisfied. Hence, is not satisfied for slot .
it is also optimal to allocate more power to the latter slots. In Lemma 2: Let be the feasible set of obtained by the
general if the SNR is arbitrary, however, the high-SNR slots may feasible-search procedure. Then the optimal TS is given by the
not correspond to the latter slots; hence intuitively the converse largest element in , i.e.,
of Corollary 3 may not hold in general.
2) Efficient Implementation: Based on the structural prop- (25)
erties, we now develop an efficient algorithm to implement the
staircase water-filling. Proof: If , then that only must be optimal.
Some definitions are in order. For convenience, let . Henceforth, assume . Consider two TSs ,
We refer to the slot interval, where , as the where . Denote their respective optimal WLs obtained
slots between the and TS, specifically in the TS from the water-filling algorithm as . Then . Oth-
set . Thus, and erwise if , more power is allocated for each time slot
for . The optimal set of TSs corresponding to an optimal if the WL is used, compared to the case where
power allocation is denoted as the WL is used. But since the power allocation with WL
Corollary 4: The optimal power allocation performs stair- has used all available power at slot due to property in The-
case water-filling as follows: for every slot interval, where orem 3, the power allocation with WL is infeasible and thus
, conventional water-filling is performed subject cannot be optimal.
to the sum power constraint of , where we We now show that cannot be the optimal by contradic-
denote for notational simplicity. tion. Suppose that , i.e., water-filling is used from slot 1
Proof: From property , all the harvested energy available to slot with WL . The WL for the power allocation must then
in the slot interval, namely , is used during the slot subsequently decrease at some slot , otherwise the
interval. This follows by induction for . Moreover, sum power allocated from slots 1 to slot will be more than the
the optimal power allocation in (23) is equivalent to conventional sum power allocated with the (constant) WL , which violates
water-filling. To maximize throughput, the optimal power allo- the sum power constraint. But from property in Theorem 3,
cation must then be to use conventional water-filling with sum the optimal WL is non-decreasing. Thus, by contradic-
power constraint of for every slot interval. tion. By induction, all elements in , except for the largest one,
From Corollary 4, without loss of optimality the staircase are suboptimal. The only candidate left, namely the largest ele-
water-filling solution comprises of multiple conventional water- ment, must then be optimal.
filling solutions, one for each slot interval. The original opti- We now propose Algorithm 2 below to solve (24), which is
mization problem (19) can thus be reduced to a search for the optimal according to Theorem 4 below. Briefly, Algorithm 2
optimal TS set that has a size from 1 to at most : performs a forward-search procedure (starting from slot 1) in
each of the outer iteration for until . Given
that is found, to obtain , an inner iteration is
performed via a backward-search procedure, starting from slot
(24) until slot 1.
HO AND ZHANG: OPTIMAL ENERGY ALLOCATION FOR WIRELESS COMMUNICATIONS WITH ENERGY HARVESTING CONSTRAINTS 4815
Fig. 4. AWGN channel: optimal throughput when causal SI (blue with “ ” Fig. 6. Throughput based on the power-halving scheme. The optimal
markers) or full SI (red with “ ” markers) is available for . throughput when full SI is also plotted for comparison.
how much energy is harvested from the environment and ex- is unique. From Lemma 3, is thus non-decreasing
pended for transmission in the previous slot. We studied the in ,
problem of maximizing the throughput via power allocation
over a finite horizon of slots, given either causal SI or full APPENDIX III
SI. We obtained structural results for the optimal power alloca- PROOF OF COROLLARY 2
tion in both cases, which allows us to obtain efficient computa-
Since and full SI is available, from (1), (15) we get
tion of the optimal throughput. Finally, we proposed a heuristic
scheme where numerical results show that the throughput per (27)
slot increases as increases and performs relatively well com-
pared to a naive scheme.
where the objective function is given by
.
APPENDIX I Suppose . Then
PROOF OF THEOREM 1 given . The optimal that solves (27) is then
With fixed, we prove by induction that and (28)
are concave in and , respectively, for de-
creasing . Suppose . Assume that
Consider . Suppose that Then , and so the
is concave in . We note that optimal to maximize subject to
is concave in , as it is the minimum of is given by the largest value in the variable space, namely
(a constant independent of ) and the concave function Thus, in general the optimal solution in (27)
. It follows that is concave satisfies , where .
in , since expectation preserves concavity. From (8b), is a Without loss of generality, we can thus express as
supremal convolution of two concave functions in , namely
and (with fixed). It follows that is concave in (29)
, since the infimal convolution of convex functions is convex
[12, Theorem 5.4]. To complete the proof by induction, we note if . Now if , we have
that is concave in by assumption on , which
the mutual information function . is differentiable and concave. Observe that in (17) solves the
equation , i.e., is the optimal solution for the un-
APPENDIX II constrained optimization problem . By concavity of
PROOF OF THEOREM 2 , we can then obtain (29) as
We need Lemma 3 to prove Theorem 2.
Lemma 3: Consider , where
the maximization is over interval that de-
pends on . If are non-decreasing in , and if
has non-decreasing differences in , i.e.,
,
[7] A. J. Goldsmith and P. Varaiya, “Capacity of fading channels with cations, energy efficient communications, and communications under energy
channel side information,” IEEE Trans. Inf. Theory, vol. 43, no. 6, pp. harvesting constraints.
1986–1992, Nov. 1997.
[8] T. M. Cover and J. A. Thomas, Elements of Information Theory, 2nd
ed. New York: Wiley, 2006.
[9] P. Sadeghi, R. Kennedy, P. Rapajic, and R. Shams, “Finite-state Rui Zhang (S’00–M’07) received the B.Eng. (First-
Markov modeling of fading channels—Survey of principles and Class Hons.) and M.Eng. degrees from the National
applications,” IEEE Signal Process. Mag., vol. 25, no. 5, pp. 57–80, University of Singapore in 2000 and 2001, respec-
Sep. 2008. tively, and the Ph.D. degree from the Stanford Uni-
[10] C. K. Ho, D. K. Pham, and C. M. Pang, “Markovian models for har- versity, Stanford, CA, in 2007, all in electrical engi-
vested energy in wireless communications,” presented at the IEEE Int. neering.
Conf. Commun. Syst. (ICCS), Singapore, Nov. 17–20, 2010. Since 2007, he has worked with the Institute for In-
[11] S. Boyd and L. Vandenberghe, Convex Optimization. Cambridge, focomm Research, A*STAR, Singapore, where he is
U.K.: Cambridge Univ. Press, 2004. currently a Senior Research Scientist. Since 2010, he
[12] R. T. Rockafellar, Convex Analysis. Princeton, NJ: Princeton Univ. has also served as an Assistant Professor with the De-
Press, 1970. partment of Electrical and Computer Engineering at
[13] R. Amir, “Supermodularity and complementarity in economics: An el- the National University of Singapore. He has authored/coauthored over 100 in-
ementary survey,” Southern Econ. J., vol. 71, no. 3, pp. 636–660, Jan. ternationally refereed journal and conference papers. His current research inter-
2005. ests include wireless communications (e.g., multiuser MIMO, cognitive radio,
cooperative communication, energy efficiency and energy harvesting), wireless
power and information transfer, smart grid, and optimization theory for appli-
cations in communication and power networks.
Chin Keong Ho (S’05–M’07) received the B.Eng. Dr. Zhang was the corecipient of the Best Paper Award from the IEEE PIMRC
(First-Class Hons.) and M. Eng degrees from the De- in 2005. He was Guest Editor of the EURASIP Journal on Applied Signal Pro-
partment of Electrical Engineering, National Univer- cessing Special Issue on Advanced Signal Processing for Cognitive Radio Net-
sity of Singapore, in 1999 and 2001, respectively. works in 2010, the Journal of Communications and Networks (JCN) Special
Since August 2000, he has been with the Institute Issue on Energy Harvesting in Wireless Networks in 2011, and the EURASIP
for Infocomm Research (I2R), A*STAR, Singapore. Journal on Wireless Communications and Networking Special Issue on Recent
He took leave in 2004–2007 to obtain the Ph.D. Advances in Optimization Techniques in Wireless Communication Networks in
degree at the Eindhoven University of Technology, 2012. He has also served for various IEEE conferences as Technical Program
Eindhoven, The Netherlands. Concurrently during Committee (TPC) member and Organizing Committee member. He was the re-
his leave, he conducted research work at Philips cipient of the Sixth IEEE ComSoc Asia-Pacific Best Young Researcher Award
Research. Prior to this leave, he worked on signal in 2010 and the Young Investigator Award of the National University of Sin-
processing aspects of multi-carrier and multi-antenna communications. His gapore in 2011. He is an elected member for IEEE Signal Processing Society
current research interest lies in cooperative and adaptive wireless communi- SPCOM Technical Committee.