Answer on question 35970 – Math – Multivariable calculus
Given the function g ( t 1 , t 2 ) = 2 / ( t 1 t 2 ) + t 1 t 2 + t 1 g(t1, t2) = 2 / (t1t2) + t1t2 + t1 g ( t 1 , t 2 ) = 2/ ( t 1 t 2 ) + t 1 t 2 + t 1 . Show that there is no solution to the problem of minimizing this function over t 1 > 0 t1 > 0 t 1 > 0 , t 2 > 0 t2 > 0 t 2 > 0 . Can g ( t 1 , t 2 ) g(t1, t2) g ( t 1 , t 2 ) ever be smaller than 2 2 2\sqrt{2} 2 2 ?
Solution
{ g ( t 1 , t 2 ) = 2 t 1 t 2 + t 1 t 2 + t 1 → min t 1 > 0 t 2 > 0 \left\{ \begin{array}{c} g (t _ {1}, t _ {2}) = \frac {2}{t _ {1} t _ {2}} + t _ {1} t _ {2} + t _ {1} \to \min \\ t _ {1} > 0 \\ t _ {2} > 0 \end{array} \right. ⎩ ⎨ ⎧ g ( t 1 , t 2 ) = t 1 t 2 2 + t 1 t 2 + t 1 → min t 1 > 0 t 2 > 0
According to the necessary condition for an extrema of function of two variables we need to find the solution of the following system
{ ∂ g ( t 1 , t 2 ) ∂ t 1 = 0 ∂ g ( t 1 , t 2 ) ∂ t 2 = 0 { − 2 t 1 2 t 2 + t 2 + 1 = 0 − 2 t 1 t 2 2 + t 1 = 0 \left\{ \begin{array}{l} \frac {\partial g \left(t _ {1} , t _ {2}\right)}{\partial t _ {1}} = 0 \\ \frac {\partial g \left(t _ {1} , t _ {2}\right)}{\partial t _ {2}} = 0 \end{array} \right. \quad \left\{ \begin{array}{l} - \frac {2}{t _ {1} ^ {2} t _ {2}} + t _ {2} + 1 = 0 \\ - \frac {2}{t _ {1} t _ {2} ^ {2}} + t _ {1} = 0 \end{array} \right. { ∂ t 1 ∂ g ( t 1 , t 2 ) = 0 ∂ t 2 ∂ g ( t 1 , t 2 ) = 0 { − t 1 2 t 2 2 + t 2 + 1 = 0 − t 1 t 2 2 2 + t 1 = 0
From the second equation we get
t 1 2 = 2 t 2 2 t _ {1} ^ {2} = \frac {2}{t _ {2} ^ {2}} t 1 2 = t 2 2 2
Substitute this into the first equation
− 2 t 2 2 2 t 2 + t 2 + 1 = 0 , 1 = 0. - \frac {2 t _ {2} ^ {2}}{2 t _ {2}} + t _ {2} + 1 = 0, \qquad 1 = 0. − 2 t 2 2 t 2 2 + t 2 + 1 = 0 , 1 = 0.
This equation has no solutions.
Therefore, the system of equations has no solution and the function g ( t 1 , t 2 ) g(t_{1},t_{2}) g ( t 1 , t 2 ) has no extrema.
Now let us consider the function f ( t 1 , t 2 ) = 2 t 1 t 2 + t 1 t 2 f(t_{1},t_{2}) = \frac{2}{t_{1}t_{2}} + t_{1}t_{2} f ( t 1 , t 2 ) = t 1 t 2 2 + t 1 t 2 , where t 1 > 0 , t 2 > 0 t_1 > 0, t_2 > 0 t 1 > 0 , t 2 > 0 . Obviously that f ( t 1 , t 2 ) < g ( t 1 , t 2 ) f(t_{1},t_{2}) < g(t_{1},t_{2}) f ( t 1 , t 2 ) < g ( t 1 , t 2 ) .
Find the minimum of the function f ( t 1 , t 2 ) = 2 t 1 t 2 + t 1 t 2 f(t_{1},t_{2}) = \frac{2}{t_{1}t_{2}} + t_{1}t_{2} f ( t 1 , t 2 ) = t 1 t 2 2 + t 1 t 2 . Let t 1 t 2 = x t_1t_2 = x t 1 t 2 = x then f ( x ) = 2 x + x f(x) = \frac{2}{x} +x f ( x ) = x 2 + x .
f ′ ( x ) = − 2 x 2 + 1 = x 2 − 2 x 2 = 0 f ^ {\prime} (x) = - \frac {2}{x ^ {2}} + 1 = \frac {x ^ {2} - 2}{x ^ {2}} = 0 f ′ ( x ) = − x 2 2 + 1 = x 2 x 2 − 2 = 0 x = 2 . x = \sqrt {2}. x = 2 .
At the point 2 \sqrt{2} 2 this function has a minimum.
f ( 2 ) = 2 2 + 2 = 4 2 = 2 2 . f \left(\sqrt {2}\right) = \frac {2}{\sqrt {2}} + \sqrt {2} = \frac {4}{\sqrt {2}} = 2 \sqrt {2}. f ( 2 ) = 2 2 + 2 = 2 4 = 2 2 .
And we get 2 2 ≤ f ( t 1 , t 2 ) < g ( t 1 , t 2 ) 2\sqrt{2} \leq f(t_{1}, t_{2}) < g(t_{1}, t_{2}) 2 2 ≤ f ( t 1 , t 2 ) < g ( t 1 , t 2 ) .
**Answer**: the function g ( t 1 , t 2 ) g(t_{1}, t_{2}) g ( t 1 , t 2 ) has no extrema and never be smaller than 2 2 2\sqrt{2} 2 2 .