*Notes to a video lecture on http://www.unizor.com*

__Partial Derivatives Properties - Stationary Points__

We will mostly be concerned with partial derivatives of functions with two arguments.

The theory can be extended to functions of any number of arguments, but it's outside of the scope of this course.

Besides, functions of two arguments can be visualized as surfaces in three-dimensional space to better understand their properties.

*Stationary points*are those, where both partial derivatives of function

*of two arguments are equal to zero.*

**f(x,y)**Let

**g(x,y)**=∂**f(x,y)**/∂**x**

**h(x,y)**=∂**f(x,y)**/∂**y***Definition:*

Point

*is a*

**(a,b)***stationary point*for function

*if*

**f(x,y)***and*

**g(a,b)=0***.*

**h(a,b)=0***Theorem*

A smooth function

*of two variables that has a local maximum at point*

**f(x,y)***has both of its partial derivatives at this point equal to zero.*

**(a,b)***Proof*

Let's prove that

*∂*

**f(x,y)**/∂**x=0***and*

**x=a***. The proof for other partial derivative*

**y=b***∂*

**f(x,y)**/∂**y**So, we fix variable

*and calculate the partial derivative of*

**y=b***by*

**f(x,y)***at point*

**x***as follows:*

**x=a***[*

*∂*{at**f(x,y)**/∂**x**=*} = lim***x=a,y=b***Δ*

**f(a+***]/Δ*

**x,b)−f(a,b)**

**x**(the limit is taken as Δ

*)*

**x→0**Since point

*is a local maximum, the numerator [*

**(a,b)***Δ*

**f(a+***] is negative, while the denominator*

**x,b)−f(a,b)***Δ*

**x=(x+**

**x)−x***Δ*

**x+**

**x ≤ x***Δ*

**x+**

**x ≥ x**For a sufficiently smooth function (at least, we need the continuity of partial derivatives) this implies that the limit above must be equal to zero.

So, we have proven that for a smooth function of two variables the necessary condition for having a local maximum at point

*is the equality of its partial derivatives to zero at this point.*

**(a,b)**The situation with local minimum is analogous and the equality of partial derivatives to zero at some point is a necessary condition for having a local minimum at this point.

IMPORTANT NOTE

The equality of partial derivatives to zero at some point is only a necessary condition for a function to have a local maximum or minimum at that point. It's not a sufficient condition.

This is similar to a situation with functions of one variable, when a derivative can be zero at some point, but a function can have an inflection point like function

*at point*

**y=x³***.*

**x=0**For a function of two variables a situation like this might occur when it has a

*saddle*point.

Here is an example:

At the point in the middle of this "saddle" both partial derivatives are equal to zero, but this point is not a local minimum or maximum of a function.

Obviously, we would like to differentiate cases of a stationary point being a local maximum, a local minimum or a saddle point similarly to a situation with functions of one argument, where the second derivative sign (positive or negative) indicated whether a stationary point is minimum, maximum or inflection point.

Here is the rule, which we provide without rigorous proof.

Let's assume that function

*can be partially differentiated twice (that is,*

**f(x,y)***/∂*

**f(x,y)**

**x***/∂*

**f(x,y)**

**y***/∂*

**f(x,y)***²*

**x***/∂*

**f(x,y)***²*

**y***/∂*

**f(x,y)***∂*

**x**

**y**Let's further assume that at point

*both first partial derivatives equal to zero:*

**(a,b)***/∂*

**f(x,y)**

**x = 0**

**x=a, y=b***/∂*

**f(x,y)**

**y = 0**

**x=a, y=b**Consider the expression

**Δ**=

*/∂*

**f(x,y)***²*

**x***/∂*

**f(x,y)***²*

**y***/∂*

**f(x,y)***∂*

**x**

**y**at point

*.*

**x=a, y=b**The rule is:

if

**Δ**<

*,*

**0***is a saddle point;*

**(a,b)**if

**Δ**>

*,*

**0***is a local minimum or local maximum point and the sign of*

**(a,b)***/∂*

**f(x,y)***²*

**x***/∂*

**f(x,y)***²*

**y****Δ**would be negative).

All other cases are not sufficient to determine the behavior of the function at this point.

*Example 1*

**f(x,y)=1/(1+x²+y²)**∂

*/∂*

**f(x,y)**

**x = −2x/(1+x²+y²)²**∂

*/∂*

**f(x,y)**

**y = −2y/(1+x²+y²)²**At point

*both partial derivatives are equal to zero, therefore*

**(0,0)***is a stationary point.*

**(0,0)**Examine the second derivatives.

∂²

*/∂*

**f(x,y)***² =*

**x**

**(6x²−2y²−2)/(1+x²+y²)³**∂²

*/∂*

**f(x,y)***² =*

**y**

**(6y²−2x²−2)/(1+x²+y²)³**∂²

*/∂*

**f(x,y)***∂*

**x***=*

**y**

**8x·y/(1+x²+y²)³**At point

*the three expressions above can be used to calculate*

**x=0, y=0****Δ**=

**(−2)·(−2)−0² = 4**Since

**Δ**is positive, we have a local minimum or maximum at point

*. To distinguish between them, look at the sign of the second partial derivative by*

**(0,0)***. It is negative. Therefore, we have a local maximum as is obvious from the graph above.*

**x***Example 2*

**f(x,y)=x·y**∂

*/∂*

**f(x,y)**

**x = y**∂

*/∂*

**f(x,y)**

**y = x**At point

*both partial derivatives are equal to zero, therefore*

**(0,0)***is a stationary point.*

**(0,0)**Examine the second derivatives.

∂²

*/∂*

**f(x,y)***² =*

**x**

**0**∂²

*/∂*

**f(x,y)***² =*

**y**

**0**∂²

*/∂*

**f(x,y)***∂*

**x***=*

**y**

**1**At point

*the three expressions above can be used to calculate*

**x=0, y=0****Δ**=

**0·0−1² = −1**Since

**Δ**is negative, we have a local saddle point

*, as is obvious from the graph above.*

**(0,0)**
## No comments:

Post a Comment