二元函数极值问题

浅谈二元函数的极值问题

摘 要：本文首先给出二元函数极值的定义，实例分析了二元函数极值存在的必要条件和充分条件，并通过实例解析了求二元函数极值的步骤.

关键词：二元函数; 极值;必要条件;充分条件

To discuss the extreme-value problem of the binary

function shallowly

Abstract : In this paper, the definition and conditions of the extreme of binary function are firstly given, on the basis, steps of finding the extreme value are discussed, and specific examples of relevant to this are given to expound them.

Key words: binary function; extreme; necessary condition; sufficient condition

前言

函数极值在数学、工程、金融风险管理等多领域都有广泛应用，本文以二元函数为例，讨论函数极值的若干方面问题.

1. 预备知识

定义 设函数f 在点00(,)x y 0p 的某领域0()U p 内有定义，若对于任意点

0(,)()p x y U p ∈，成立不等式

0()()f p f p ≤ （或0()()f p f p ≥）

， 则称函数f 在点0p 取得极大（或极小）值，点0p 称为f 的极大（或极小）值点，极大值、极小值统称极值，极大值点、极小值点统称极值点. 注意：这里所讨论的极值点仅限于定义域的内点.

2. 二元函数存在极值的实例分析

例1 二元函数2243y x z +=在点)0,0(处存在极小值.

因为点)0,0(的任一邻域内异于)0,0(的点的函数值都为正,而在点()0,0处的函数值为零.从几何上看这是显然的,因为点)0,0,0(是开口朝上的椭圆抛物面2243y x z +=的顶点 .

例2 二元函数22y x z +-=在点)0,0(处存在极大值.

因为点)0,0(是位于xoy 面下方的锥面22y x z +-=的顶点,所以二元函数

22y x z +-=在点)0,0(处存在极大值 .

3. 极值的条件

3.1极值的必要条件

若函数f 在点00(,)x y 0p 存在偏导数，且在0p 取得极值，则有

00(,)0x f x y =，00(,)0y f x y =. （1）

反之，若函数f 在点0p 满足（1），则称0p 为f 的稳定点.上述极值的必要条件指出：若f 存在偏导，则其极值点必为稳定点，但稳定点并不都是极值点，例如函数(,)h x y xy =，原点为其稳定点，但它在原点并不取得极值点. 此外，函数在偏导数不存在的点仍然可能有极值，例如：

,0

,0x x z x x ≥⎧=⎨

-<⎩

， 它是交于Y 轴的两个平面.显然，凡0x =的点都是函数的极小值点.但是，

0x >时，

1,z x ∂=∂ 0x <时，1z

x

∂=-∂. 因此在0x =时偏导数不存在. 由此可见，函数的极值点必为f x ∂∂及f

y

∂∂同时为零或至少有一个偏导数不存在的点.

3.2极值的充分条件

设函数),(y x f z =在点的某个邻域内连续且有二阶连续偏导数,又

0),(00'

=y x f x 且0),(00'=y x fy ,记二阶连续偏导数为

A y x f

xx =),(00'

,B y x f

xy

=),(00'

,C y x f

yy

=),(00'

,AC B -=∆2,则

函数),(y x f z =在),(00y x 点处是否取得极值的条件如下: (1) 当0<∆且0A 时,函数),(y x f z =在点),(00y x 处取得极小值; (3) 当0>∆时,函数),(y x f z =在点),(00y x 处不取得极值;

(4) 当0=∆时,函数),(y x f z =在点),(00y x 处可能取得极值,也可能不取得极值.

4. 求二元函数的极值的步骤

要求函数的极值，首先要求出所有使函数的偏导数等于零或偏导数不存在的点，然后讨论该点周围函数的变化情形，以进一步判断是否有极值，为此我们讨论f ∆，若(,)f x y 的一切二阶导数连续，则由泰勒公式并注意到在极值点必须0x y f f ==，就有

222

000000200001

(,)(,)((,)22(,)(,))

x xy y f f x x y y f x y f x x y y x f x x y y x y f x x y y y θθθθθθ∆=+∆+∆-=+∆+∆∆++∆+∆∆∆++∆+∆∆.

由于(,)f x y 的一切二阶偏导数在00(,)x y 连续，记200(,)x A f x y =，

00(,)xy B f x y =，200(,)y C f x y =，那就有

200(,),0(0,0)x f x x y y A x y θθαα+∆+∆=+→∆→∆→ 00(,),0(0,0)xy f x x y y B x y θθββ+∆+∆=+→∆→∆→

200(,),0(0,0)y f x x y y C x y θθγγ+∆+∆=+→∆→∆→

于是

222211

[2][2]22

f A x B x y C y x x y y αβγ∆=∆+∆∆+∆+∆+∆∆+∆.

当二次形式222kf A x B x y C y =∆+∆∆+∆不为零时，注意到0,0x y ∆→∆→时，