1
$\begingroup$

Does anyone know if the following optimization problem has an elegant solution? Let $A=\{a_1, a_2, \ldots, a_n\}$ be positive real numbers. Let $B=\{b_1, b_2, \ldots, b_n\}$ be unknown positive real values that sum to a fixed total $L$. Given $L$ and $A$, choose values for $b_1, b_2, \ldots, b_n$ to minimize $J(B)=\sum_{i=1}^n \frac{a_i}{\sqrt{b_i}}$.

$\endgroup$
3
  • 1
    $\begingroup$ Lagrange multipliers should work nicely. $\endgroup$ Commented Jan 14, 2014 at 6:19
  • $\begingroup$ Yes, @AndréNicolas, I know I could find the solution numerically using Lagrange multipliers, but I was hoping for a solution that would give me more insight. Thanks! $\endgroup$ Commented Jan 14, 2014 at 6:36
  • $\begingroup$ It is not exactly numerically. One obtains an explicit expression in terms of the $a_i$. $\endgroup$ Commented Jan 14, 2014 at 6:38

1 Answer 1

1
$\begingroup$

Lagrange multipliers should work fine as always to give you an analytic solution.

Alternately, you have from Holder's inequality: $J^2L \ge \left(\sum a_i^{2/3}\right)^3$. The equality (i.e. minimum) is achieved when the $b_i$ are proportional to $a_i^{2/3}$.


By Holder's Inequality, we have that if $x_i, y_i, z_i$ are sequences of positive real numbers, then $$\left(\sum x_i^3 \right)^{\frac13} \cdot \left(\sum y_i^3 \right)^{\frac13}\cdot \left(\sum z_i^3 \right)^{\frac13} \ge \sum x_i y_i z_i $$ Equality holds iff there are real numbers $\alpha, \beta$ such that $x_i : y_i = \alpha$ and $x_i : z_i = \beta$ for all $i$.
Now consider $x_i^3 = y_i^3 = \frac{a_i}{\sqrt{b_i}}$ and $z_i^3 = b_i$.

$\endgroup$
3
  • $\begingroup$ This looks promising, but can you spell this out in a bit more detail? How does this map to Holder's inequality? $\endgroup$ Commented Jan 14, 2014 at 22:00
  • $\begingroup$ OK I will detail a bit. You should be able to work out the rest.. $\endgroup$
    – Macavity
    Commented Jan 15, 2014 at 3:29
  • $\begingroup$ That works! Thank-you very much. $\endgroup$ Commented Jan 15, 2014 at 4:12

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .