上海海事大学文理学院，上海

收稿日期：2021年2月9日；录用日期：2021年3月4日；发布日期：2021年3月12日

摘要

本文主要讨论了多元函数在驻点处利用充分定理判别极值失效时的一些问题，借用一元函数或二元泰勒公式进行推广探讨极值的存在性，并利用结论解决一些实例。

关键词

多元函数，驻点，极值

Discussion on the Extreme Value of Functions of Two Variables When the Discriminant Is Zero

Chunbao Chen

College of Arts and Sciences, Shanghai Maritime University, Shanghai

Received: Feb. 9^th, 2021; accepted: Mar. 4^th, 2021; published: Mar. 12^th, 2021

ABSTRACT

The second derivative test for local extreme values of a function with two variables may be inconclusive. In this paper, the author mainly considers above case and discusses the existence of local extremum based on univariate functions and Taylor’s formula for functions of two variables. According to the conclusion of this paper, the author also analyzes the behavior of several specific functions at the stationary point.

Keywords:Functions of Several Variables, Stationary Point, Local Extremum of a Function

Copyright © 2021 by author(s) and Hans Publishers Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

1. 引言

二元函数极值是高等数学课程中一个重要的数学问题，它广泛应用于长度、面积、体积及部分物理，经济问题最值，运筹学最优化问题等的讨论。而讨论二元函数极值时，其判别方法远比一元函数麻烦，下面就二元函数极值判别的充分定理失效后，极值是否存在作一些探讨。

2. 二元函数极值讨论

二元函数极值的充分定理是：当 $z=f\left(x,y\right)$ 在 $\left(x_0,y_0\right)$ 的邻域内具有二阶连续偏导数，当 $\left(x_0,y_0\right)$ 为驻点，记 $A={f^{″}}_{xx}\left(x_0,y_0\right),B={f^{″}}_{xy}\left(x_0,y_0\right),C={f^{″}}_{yy}\left(x_0,y_0\right)$，则 $AC-B^2>0$ 取得极值， $AC-B^2<0$ 不取得极值 [1]。

那么当 $AC-B^2=0$ 如何讨论，本文解决一些特殊情形下的极值讨论。

1、当 $z=f\left(x,y\right)$ 在 $\left(x_0,y_0\right)$ 的邻域内具有三阶连续偏导数，当 $\left(x_0,y_0\right)$ 为驻点，记 $A={f^{″}}_{xx}\left(x_0,y_0\right),B={f^{″}}_{xy}\left(x_0,y_0\right),C={f^{″}}_{yy}\left(x_0,y_0\right)$，且满足 $AC-B^2=0$，$A=0$ 或 $C=0$,显然 $B=0$，如果 $A=0$ 但 ${f^{‴}}_{xxx}\left(x_0,y_0\right)\ne 0$，则 $\left(x_0,y_0\right)$ 不是极值点。

证明：不妨设 ${f^{‴}}_{xxx}\left(x_0,y_0\right)>0$，${f^{‴}}_{xxx}\left(x_0,y_0\right)=\underset{h\to 0}{\lim }\frac{{f^{″}}_{xx}\left(x_0+h,y_0\right)-A}{h}$，则有保号性定理存在 $\left(x_0,y_0\right)$ 的某个邻域，使得 $\frac{{f^{″}}_{xx}\left(x_0+h,y_0\right)}{h}\ge 0$，在 $y=y_0$ 平面上曲线 $\{\begin{array}{l}z=f\left(x,y\right)\\ y=y_0\end{array}$，$\left(x_0,y_0\right)$ 为曲线的拐点且可导，所以不是极值点 [2]，即曲线上在该点邻域内既有比该点函数值大的点，也有小的点，所以二元函数 $z=f\left(x,y\right)$ 在 $\left(x_0,y_0\right)$ 不取极值。

例1.讨论 $z=x^3+y^4$ 的极值

解：由 $\{\begin{array}{l}{z^{\prime }}_x=3x^2=0\\ {z^{\prime }}_y=4y^3=0\end{array}$ $\left(0,0\right)$ 得为驻点，且 $A=0,B=0,C=0,AC-B^2=0$，${f^{‴}}_{xxx}\left(x_0,y_0\right)=6\ne 0$，故 $\left(0,0\right)$ 不是该函数的极值点。

2、当 $z=f\left(x,y\right)$ 在 $\left(x_0,y_0\right)$ 的邻域内具有二阶连续偏导数，当 $\left(x_0,y_0\right)$ 为驻点，记 $A={f^{″}}_{xx}\left(x_0,y_0\right)$，$B={f^{″}}_{xy}\left(x_0,y_0\right)$，$C={f^{″}}_{yy}\left(x_0,y_0\right)$，且满足 $AC-B^2=0$，$A\ne 0$ 且 $C\ne 0$,如果在 $\left(x_0,y_0\right)$ 邻域内 ${f^{″}}_{xx}\left(x_0+k,y_0+h\right){f^{″}}_{yy}\left(x_0+k,y_0+h\right)-{\left[{f^{″}}_{xy}\left(x_0+k,y_0+h\right)\right]}^2\ge 0$，则 $\left(x_0,y_0\right)$ 是极值点。

证明：在驻点 $\left(x_0,y_0\right)$ 处，由二元函数泰勒公式得

$\begin{array}{c}\Delta z={f^{\prime }}_x\left(x_0,y_0\right)k+{f^{\prime }}_y\left(x_0,y_0\right)h+\frac{1}{2}{f^{″}}_{xx}\left(x_0+\theta k,y_0+\theta h\right)k^2\\ +{f^{″}}_{xy}\left(x_0+\theta k,y_0+\theta h\right)kh+\frac{1}{2}{f^{″}}_{yy}\left(x_0+\theta k,y_0+\theta h\right)h^2\\ =\frac{1}{2{f^{″}}_{xx}\left(x_0+\theta k,y_0+\theta h\right)}\{{\left[{f^{″}}_{xx}\left(x_0+\theta k,y_0+\theta h\right)k\right]}^2+{\left[{f^{″}}_{xy}\left(x_0+\theta k,y_0+\theta h\right)h\right]}^2\\ +2{f^{″}}_{xx}\left(x_0+\theta k,y_0+\theta h\right){f^{″}}_{xy}\left(x_0+\theta k,y_0+\theta h\right)kh-{\left[{f^{″}}_{xy}\left(x_0+\theta k,y_0+\theta h\right)h\right]}^2\\ {}_{}{}^{{}^{}}+{f^{″}}_{xx}\left(x_0+\theta k,y_0+\theta h\right){f^{″}}_{yy}\left(x_0+\theta k,y_0+\theta h\right)h^2\}\end{array}$

$\begin{array}{l}=\frac{1}{2{f^{″}}_{xx}\left(x_0+\theta k,y_0+\theta h\right)}\{{\left[{f^{″}}_{xx}\left(x_0+\theta k,y_0+\theta h\right)k+{f^{″}}_{xy}\left(x_0+\theta k,y_0+\theta h\right)h\right]}^2\\ +h^2\left[{f^{″}}_{xx}\left(x_0+k,y_0+h\right){f^{″}}_{yy}\left(x_0+k,y_0+h\right)-{\left[{f^{″}}_{xy}\left(x_0+k,y_0+h\right)\right]}^2\right]\}\end{array}$

当 $k,h$ 不同时为0时， $\Delta z$ 与 ${f^{″}}_{xx}\left(x_0+\theta k,y_0+\theta h\right)$ 同号，所以当 $A>0$ 时，由保号性定理在驻点邻域内 ${f^{″}}_{xx}\left(x_0+\theta k,y_0+\theta h\right)>0$,所以 $\Delta z>0$，函数值为极小值，同理， $A<0$，函数值为极大值，可推广到 $C\ne 0$

例2.讨论 $z={\text{e}}^{x^2+y^2}+2xy$ 的极值

解：由 $\{\begin{array}{l}{z^{\prime }}_x=2x{\text{e}}^{x^2+y^2}+2y=0\\ {z^{\prime }}_y=2y{\text{e}}^{x^2+y^2}+2x=0\end{array}$ 得 $\left(0,0\right)$ 为驻点， $\{\begin{array}{l}{z^{″}}_{xx}=\left(2+4x^2\right){\text{e}}^{x^2+y^2}\\ {z^{″}}_{xy}=4xy{\text{e}}^{x^2+y^2}+2\\ {z^{″}}_{\text{yy}}=\left(2+4y^2\right){\text{e}}^{x^2+y^2}\end{array}$

所以在 $\left(0,0\right)$ 点， $A=2,B=2,C=2,AC-B^2=0$，

${f^{″}}_{xx}\left(k,h\right)=\left(2+4k^2\right){\text{e}}^{k^2+h^2}>0$，${f^{″}}_{yy}\left(k,h\right)=\left(2+4h^2\right){\text{e}}^{k^2+h^2}$，

${f^{″}}_{xy}\left(k,h\right)=4kh{\text{e}}^{k^2+h^2}+2$，因为 ${\text{e}}^{k^2+h^2}\ge 1$，所以

$\Delta =4{\left({\text{e}}^{k^2+h^2}\right)}^2-4+8{\text{e}}^{k^2+h^2}\left({\text{e}}^{k^2+h^2}\left(k^2+h^2\right)-2kh\right)\ge 0$

故 $\left(0,0\right)$ 是该函数的极小值点

3、添加辅助函数说明极值不存在，当 $z=f\left(x,y\right),g=\left(x,y\right)$ 在 $\left(x_0,y_0\right)$ 取得极小（大）值，则 $z=f\left(x,y\right)+g\left(x,y\right)$ 在 $\left(x_0,y_0\right)$ 也取得极小（大）值。

例3.讨论函数 $f\left(x,y\right)=x^4+y^4-2x^2-2y^2+4xy$ 在 $\left(0,0\right)$ 是否取得极值?

解： $\{\begin{array}{l}{f^{\prime }}_x=4x^3-4x+4y\\ {f^{\prime }}_y=4y^3-4y+4x\end{array}$，$\{\begin{array}{l}{f^{″}}_{xx}=12x^2-4\\ {f^{″}}_{xy}=4\\ {f^{″}}_{yy}=12y^2-4\end{array}$

在 $\left(0,0\right)$ 处， $A=C=-4,B=4,\Delta =AC-B^2=0$，无法判别。

取 $y=x,f\left(x,y\right)=x^4+y^4\ge 0$，故0不可能是极大值，不妨设 $\left(0,0\right)$ 为 $f\left(x,y\right)=x^4+y^4-2x^2-2y^2+4xy$ 的极小点，构造函数 $g\left(x,y\right)=2x^2+2y^2$，由充分定理判别得 $\left(0,0\right)$ 为 $g\left(x,y\right)=2x^2+2y^2$ 极小点。

令 $h\left(x,y\right)=f\left(x,y\right)+g\left(x,y\right)=x^4+y^4+4xy$ 所以得 $\left(0,0\right)$ 为 $h\left(x,y\right)$ 的极小点。

但对于 $h\left(x,y\right)$，$\{\begin{array}{l}{h^{\prime }}_x=4x^3+4y\\ {h^{\prime }}_y=4y^3+4x\end{array}$，$\{\begin{array}{l}{h^{″}}_{xx}=12x^2\\ {h^{″}}_{xy}=4\\ {h^{″}}_{yy}=12y^2\end{array}$

所以在 $\left(0,0\right)$ 处 $A=C=0,B=4,\Delta =AC-B^2=-16<0$ 得到矛盾， $\left(0,0\right)$ 不是极小点，从而不是极值点。

3. 结论

二元函数极值判别方法很多，但都没有完善的理论，本文也仅仅是判别法的一个补充。

文章引用

陈春宝. 关于二元函数极值判别中判别式为零时的几个讨论
Discussion on the Extreme Value of Functions of Two Variables When the Discriminant Is Zero[J]. 教育进展, 2021, 11(02): 368-371. https://doi.org/10.12677/AE.2021.112059

参考文献