Extrema points, function of three variable

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
4 replies · 11K views
GreenGoblin
Messages
68
Reaction score
0
"Show that if a>b>c>0, then the function $f(x,y,z) = (ax^{2} + by^{2} + cz^{2})e^{-x^{2}-y^{2}-z^{2}}$ has two local maxima, one local minima, and four saddle points"
 
Last edited:
Physics news on Phys.org
Your Latex isn't rendering and has tons of unnecessary code. Can you clean it up to make it more readable please?
 
I have edited it out from hand and started again
Thanks

What I have done is taken derivatives of the partials in the first and second order, do i need to do third order (fxxx, fxxy, fxxz, fxyy etc?) i know the second derivative test for function of two variables, but for three variables? do ineed third derivative test? how does it work, is there another test? what determinants do i need to take
 
GreenGoblin said:
What I have done is taken derivatives of the partials in the first and second order, do i need to do third order (fxxx, fxxy, fxxz, fxyy etc?) i know the second derivative test for function of two variables, but for three variables? do ineed third derivative test? how does it work, is there another test? what determinants do i need to take

First, find the points where $\displaystyle f_x,\ f_y,\ f_z$ vanish. These are the critical points. To find the nature of the critical points, use the method explained in http://www.math.northwestern.edu/~clark/232/handouts/max-2deriv.pdf.
 
Last edited:
In the strictest sense, the "derivative" of a function of three variables, f(x,y,z), at [tex](x_0, y_0, z_0)[/tex], is the linear function, from [tex]R^3[/tex] to R, [tex]U(x,y,z)= f_{x}(x_0,y_0,z_0)(x- x_0)+ f_y(x_0, y_0, z_0)(y- y_0)+ f_z(x_0,y_0,z_0)(z- z_0)[/tex] which we can think of as the vector dot product [tex]<f_x(x_0, y_0,z_0), f_y(x_0,y_0,z_0), f_z(x_0, y_0, z_0)>\cdot<(x- x_0, y-y_0, z-z_0>[/tex] and so can be "represented" by the gradient vector [tex]<f_x(x_0, y_0,z_0), f_y(x_0, y_0, z_0), f_z(x_0, y_0, z_0)>[/tex].

In that same sense, the second derivative of a function of three variables is the linear function from [tex]R^3[/tex] to the set of such gradient vectors which are themselves in [tex]R^3[/tex] which can be represented by the three by three matrix:
[tex]\begin{bmatrix}f_{xx} & f_{xy} & f_{xz} \\ f_{yx} & f_{yy} & f_{yz} \\ f_{zx} & f_{zy} & f_{zz}\end{bmatrix}[/tex]

Now, because the mixed derivatives are equal: [tex]f_{xy}= f_{yx}[/tex], [tex]f_{yz}= f_{zy}[/tex], and [tex]f_{xz}= f_{zx}[/tex], that is a symmetric matrix which means it is diagonalizable. That is, there exist some coordinates system, x', y', z', in which all mixed derivatives are 0 and the matrix is
[tex]\begin{bmatrix}f_{x'x'} & 0 & 0 \\ 0 & f_{y'y'} & 0 \\ 0 & 0 & f_{z'z'}\end{bmatrix}[/tex]
where those second derivatives, [tex]f_{x'x'}[/tex], [tex]f_{y'y'}[/tex], [tex]f_{z'z'}[/tex], evaluated at [tex](x_0, y_0, z_0)[/tex] are the eigenvalues of the matrix.

And that, in turn, means that in that coordinate system we can write
[tex]f(x',y',z')= f(x_0,y_0, z_0)+ f_{x'x"}(x'- x_0)^2+ f_{y'y'}(y'- y_0)^2+ f_{z'z'}(z'- z_0)^2[/tex] Now we can see: if all of those eigenvalues are positive, [itex](x-0, y_0, z_0)[/tex] is a minimum, if all negative, a minimum, if some positive and some negative then a saddle point. Now, if this were <b>two</b> variables, x and y, say, our matrix would be 2 by 2:<br /> [tex]\begin{bmatrix}f_{xx} & f_{xy} \\ f_{yx} & f_{zz}\end{bmatrix}[/tex]<br /> or, in the x', y', z' coordinate system in which it is diagonal,<br /> [tex]\begin{bmatrix}f_{x'x'} & 0 \\ 0 & f_{y'y'}\end{bmatrix}[/tex]<br /> Notice that that last matrix has determinant [tex]f_{x'x'}f_{y'y'}[/tex] and so is positive if and only if [tex]f_{x'x'}[/tex] and [tex]f_{y'y'}[/tex] have the same sign and negative if and only if they have different sign. But the determinant is independent of the coordinate system so we can say that f has a saddle point if and only if [tex]f_{xx}f_{yy}- f_{xy}^2< 0[/tex] and a max or min if it is positive (in that case [tex]f_{xx}[/tex] and [tex]f_{yy}[/tex] must have the same sign so you can check either to see whether it is a max or min). <br /> <br /> Unfortunately, it isn't that easy with three variables. If the determinant is positive, it might be that all three eigenvalues are positive (so a minimum) or that one is positive and the other two negative (a saddle point) or if the determinant is negative, it might be that all three eigenvaues are negative (so a maximum) or that one is negative and the other two positive (a saddle point). You really need to identify all three eigenvalues of the "second derivative matrix" in order to know what you have.[/itex]