 Solution

Let $f(x)=-{\sum }_i\log ({\alpha }_i+x_i)$. The feasible probability simplex is a nonempty compact convex set, so the extreme value theorem guarantees a minimizer. Its Hessian matrix is diagonal with positive entries $({\alpha }_i+x_i{)}^{-2}$, making $f$ a strictly convex function. Hence the minimizer is unique.

Use the Lagrange multipliers $\lambda$ for the sum constraint and ${\nu }_i\ge 0$ for $-x_i\le 0$. The Lagrangian isThe KKT conditions areA strictly positive feasible allocation exists, so the Slater condition holds. These conditions are necessary and sufficient for this convex optimization. At least one coordinate is positive, giving $\lambda >0$. Put $\tau =1/\lambda$. For a positive coordinate, complementary slackness gives ${\alpha }_i+x_i=\tau$. At a zero coordinate, stationarity gives ${\nu }_i=1/\tau -1/{\alpha }_i\ge 0$, or ${\alpha }_i\ge \tau$. ThusHere $(u{)}_{+}=\max (u,0)$. This logarithmic water filling raises the smaller baseline values to a common level. The scalar left side is a continuous function and strictly increasing above ${\min }_i{\alpha }_i$, starts at zero, and tends to infinity, so exactly one $\tau$ solves it. One can find it by interval bisection, or sort the baseline values increasingly and find an index $k$ for whichusing ${\alpha }_{(n+1)}=+\infty$. Equality at the next baseline simply gives a zero allocation. Sorting and a running sum implement the water-filling algorithm in $O(n\log n)$ time.