多元函数极值问题探究--0932098--李开
- 格式:docx
- 大小:1.09 MB
- 文档页数:26
中央民族大学学士论文Bachelor Thesis of Minzu University of China多元函数极值问题探究An Extremum Exploration of Multivariate Function姓名:李开学号:0932098年级:09级院系:理学院专业:信息与计算科学指导老师:李成岳日期:2013/4/24摘要本文首先介绍了二元函数极值的定义,并运用二元函数的泰勒公式和连续性定理证明了二元函数取极值的必要条件和充分条件,着重讨论了临界条件下判别式等于零的情况,并给出了进一步讨论的方法,之后利用曲面理论引进了二元函数极值问题的几何意义并结合坐标平移法给出了求一些无稳定点的二元函数的极值的方法。
本文接着将二元函数推广至多元函数,又结合高等代数中二次型理论及微分几何中曲面第二基本形式理论给出了多元函数极值的定义,必要条件,充分条件和几何意义并予以了证明。
本文还介绍了多元函数条件极值的定义,必要条件和充分条件,并引入了拉格朗日乘数法这一求条件极值的有力工具。
本文最后给出了多元函数极值理论的一些应用,如最小二乘法,空间距离和不等式的证明以及在实际运用多元函数极值理论求解时的一些注意事项和技巧策略。
关键词:泰勒公式二次型曲面基本形式II拉格朗日乘数法AbstractFirstly this thesis introduces the definition of binary function extremum, proves the necessary and sufficient conditions of the binary function at its extremal point using T aylor’s formula and continuity theorem, offers a method of further exploration on critical condition where the discriminant equals to zero, explains the geometrical meaning of binary functionextremum based on curved surface theory, and puts forward a method of seeking the extremal point ofsome binary functions without stationary points using coordinate translation. Secondly this thesis extends binary function extremum to multivariate, introduces its definition, proves its necessary and sufficient conditions at its extremal point, and explains its geometrical meaning combined with the quadraticformtheory of advanced algebra and the second fundamental formtheory of curved surface of differential geometry. Besides this thesis describes the definition of multivariate function conditional extremum, and introduces Lagrange multiplier method, a useful tool solving conditional extremum problems, when proving its necessary and sufficient conditions. Finally this thesis introduces some applications of multivariate function extremum theory, such as least square method, problems concerning spatial distance and inequality proof, and some precautions and strategies when solving problems involved using multivariate function extremum theory.Key words:T aylor’s Formula, QuadraticForm, the Second Fundamental Form of Curved Surface, Lagrange Multiplier Method正文一、二元函数极值1.二元函数极值的定义设二元函数(,)f x y 在点(,)P a b 的邻域G 内有定义。
若(,)a h b k G ∀++∈,有(,)(,)f a h b k f a b ++≤((,)(,)f a h b k f a b ++≥),则称点(,)P a b 为函数(,)f x y 的极大点(极小点),极大点(极小点)的函数值(,)f a b 称为函数(,)f x y 的极大值(极小值)。
极大点与极小点统称为极值点,极大值与极小值统称为极值。
2.二元函数极值存在的必要条件若二元函数(,)f x y 在点(,)P a b 存在两个偏导数,且(,)P a b 是函数(,)f x y 的极值点,则'(,)0x f a b =与'(,)0y f a b =。
而由方程组''(,)0(,)0x y f a b f a b ⎧=⎪⎨=⎪⎩确定的解(坐标平面上的某些点)称为函数(,)f x y 的稳定点。
需要指出的是二元函数的极值点一定是稳定点,但稳定点不一定是极值点。
3.二元函数极值存在的充分条件设二元函数(,)f x y 有稳定点(,)P a b ,且在点(,)P a b 的邻域G 内存在二阶连续偏导数,令''(,)xx A f a b =,''(,)xy B f a b =,''(,)yy C f a b =.2B AC ∆=- .1) 若0∆<,则点(,)P a b 是函数(,)f x y 的极值点: i)0(0)A C >>或,点(,)P a b 是函数(,)f x y 的极小点; ii)0(0)A C <<或,点(,)P a b 是函数(,)f x y 的极大点。
2) 若0∆>,则点(,)P a b 不是函数(,)f x y 的极值点。
3) 若0∆=,需作进一步的讨论。
证明:已知点(,)P a b 是函数(,)f x y 的稳定点,则有'(,)0x f a b =与'(,)0y f a b =当h 与k 充分小时,讨论(,)(,)f a h b k f a b ++-的符号,由二元函数泰勒公式2111(,)(,)()(,)()(,)+1!2!11()(,)()(,),(01)!(1)!n n f a h b k f a b h k f a b h k f a b x y x yh k f a b h k f a h b k n x y n x y θθθ+∂∂∂∂++=+++++∂∂∂∂∂∂∂∂+++++<<∂∂+∂∂…当1n =时,有''''2''''21(,)(,)(,)(,)[(,)22(,)(,)],01x y xx xy yy f a h b k f a b f a b h f a b k f a h b k h f a h b k hk f a h b k k θθθθθθθ++-=++++++++++<<由本题中的''(,)(,)0x y f a b f a b ==,则''2''''21(,)(,)[(,)2(,)2(,)],01xx xy yy f a h b k f a b f a h b k h f a h b k hk f a h b k k θθθθθθθ++-=++++++++<<又已知二阶偏导数在点(,)P a b 连续,当0h →与0k →时,有''''(,)(,),0xx xx f a h b k f a b A θθααα++=+=+→ ''''(,)(,),0xy xy f a h b k f a b B θθβββ++=+=+→ ''''(,)(,),0yy yy f a h b k f a b C θθγγγ++=+=+→于是222211(,)(,)(2)(2)22f a h b k f a b Ah Bhk Ck h hk k αβγ++-=+++++其中222h hk k αβγ++比222h k ρρ=+()是高阶无穷小,因此当h 与k 充分小时,(,)(,)f a h b k f a b ++-的符号由222Ah Bhk Ck ++决定。
因为h 和k 不能同时为零,不妨设0k ≠(当0,0k h =≠时,可得得到相同的结论)22222=[()2]h hAh Bhk Ck k A B C k k++++令ht k=,则(,)(,)f a h b k f ab ++-的符号由22D At Bt C =++的符号决定。
由一元二次方程根的判别式,有1) 若判别式22(2)40B AC B AC ∆=-=-<,对任意实数t ,D 与()A C 或有相同的符号,即点(,)P a b 是函数(,)f x y 的极值点:i )0(0)A C >>或,有(,)(,)0f a h b k f a b ++->恒成立,即点(,)P a b 是函数(,)f x y 的极小点;ii )0(0)A C <<或,有(,)(,)0f a h b k f a b ++-<恒成立,即点(,)P a b 是函数(,)f x y 的极大点。
2) 若判别式20B AC ∆=->,方程0D =有两个不同的实根1t 与2t ,设12t t <,D 在区间12(,)t t 内与在12(,)t t 外有相反的符号,即点(,)P a b 不是函数(,)f x y 的极值点。