Partial derivatives of second order
We can also calculate further on, namely calculate second order derivatives. In the case of , the first order derivatives are: , , , so the second order derivatives are . In our case: , , , , and .
Notice that (if a function is fine enough), the order of differentiation is not relevant.
Similarly as in the one-dimensional case we can find local maxima and minima by analysing derivatives. The necessary condition (for fine enough functions) is that the first partial derivatives equal zero. But this condition is not enough and we have to look into the second derivatives also in the point with zero first derivatives.
Second derivatives can be viewed as a so called differential of a function in a given point. A differential of (assume that it is a function of two variables), is . If this differential gives only positive values for any (except when both equal zero), there is a local minimum in . If it gives always negative values, we get a maximum. If it allows negative and positive values depending on , there is no extreme in this point.
Let us check this using function . First derivatives: , , are equal zero for and or . Let us calculate second derivatives: , , , so the differential in is: , and is always positive, so we have a minimum here. For , we get , which gives for h_1=1, h_2=0 and for , so it is not an extremum.
Supremum and infimum on a compact set
If a function is continuous and defined on a compact set, it achieves its supremum and infimum. The candidates are: local extrema (we can consider a larger set of all points in which the first order partial derivatives are zero) and the boundary of the set (the values there can be described also by a function, of one variable).
E.g. let and let us consider set which is a square with vertices .
The partial derivatives are and , which equal zero for . At this point the value is . Edges are: , so , extremum for equal to , , so , extremum for equal to , , so , extremum for equal to , , so , extremum for equal to , and the values at vertices and are respectively . Thus, and .