On the capacity region of the Gaussian MAC with batteryless energy harvesting transmitters

We consider the two-user additive Gaussian multiple access channel (MAC) where the transmitters communicate by using energy harvested from nature. Energy arrivals of the users are i.i.d. in time, and for any given time, they are distributed according to a joint distribution. Energy arrivals cause time-variations for the amplitude constraints of the users. We first consider the static amplitude constrained Gaussian MAC and prove that the boundary of the capacity region is achieved by discrete input distributions of finite support. When both of the transmitters are equipped with no battery, Shannon strategies applied by users provide an inner bound for the capacity region. We prove that the boundary of this inner bound is achieved by input distributions with support set of zero Lebesgue measure.