+ N; v$ a e) [9 t7 S ) z; m- l+ c! F - c, o* \. u8 N* K0 Q% y( L5 L# k* n# z, X
, M/ J) d7 i. E; v, V& i1.4 极值与变分 ! I; W+ P$ R* ? ~2 {利用变分的表达式(4)可以得到泛函极值与变分的关系: 7 l2 n4 J, P- m! ?8 c) ^ 2 |2 b8 W1 {5 p0 u7 O8 N* w- c8 U v) q! r
, O& l* G0 \, g% c& S' r8 w: j" Z8 x
1.5. 变分法的基本引理 5 S$ i5 ~$ p5 k2 U) `3 h$ ^) m+ k; O& b+ n# {" r+ t + y: I0 w/ K4 X9 P$ A. ] y, v7 ~% Z) z2 无约束条件的泛函极值 5 p" _8 D k; W$ }" F) I% D$ { 0 L4 ]3 G t; {7 ^% S8 J& `8 d8 |/ r
; [5 C H4 v) E* D- h& |5 O& i
2.1 端点固定的情况 3 k# N6 g- Y3 m1 A" @- \5 c# r. K& n4 ^8 b6 m5 ? $ @2 J4 j- s' O: ^0 h( o9 z& B; Y
$ \( ~& E; P6 G2 z* P$ Z" h) E0 @
, Y5 o w: C2 X* d5 l
2.2 最简泛函的几种特殊情形' R* n7 E% o) l" r5 N7 o0 G
: l0 b( m L; w' ~4 ?/ Z/ f) {* t) W, N& T
6 H1 n W2 ?% p& M- C & m9 H' ?' Y/ q例 1 (最速降线问题) : X$ }9 x! A& c* X Y) R
最速降线问题是历史上变分法开始发展的第一个问题。它是约翰·贝努里(J. Bernoulli)于 1696 年提出的。问题的提法是这样的:设 A 和 B 是铅 直平面上不在同一铅直线上的两点,在所有连结 A 和 B 的平面曲线中,求一曲线,当 质点仅受重力作用,且初速为零,沿此曲线从 A 滑行至 B 时,使所需时间最短。1 f7 c( B$ Y7 [
# m- [( c4 A& p4 k 3 Y& b4 m, Y0 y |* b& B, K# n 2 x/ Y0 W2 S" c0 o1 Q 8 _+ C X5 }+ u7 q; ~* @* @8 f7 C$ _5 s1 w% N3 V7 I
例 2 最小旋转面问题 、悬链线方程 F8 O; a. V- u# M U
. E/ U3 d* ]1 U# A! Q# _; T" o , Q8 z b$ F2 |
& {0 a& h, [7 o. k# F3 z
2.3 最简泛函的推广 1 L) n* R1 Y0 z7 ?% Q; d$ X最简泛函取极值的必要条件可以推广到其它情况。# S5 N& I% Q8 J% N8 ~
|. I5 g, ?7 c5 c/ U% R# v9 Z8 O
(ⅰ)含多个函数的泛函 5 A$ T" T+ @. X2 v9 `2 x9 F 5 g6 x" ]* D4 O 8 z n- D. B# W3 ^' y3 D# q1 H! P + V- U% S* q" h) A T(ii)含高阶导数的泛函0 T8 R7 T# }7 D1 ~8 h- g) C
2 k0 f1 U( ^0 j/ B7 e. G 3 ]7 \' q1 x. N9 s4 D. M; }* L" X5 t% j8 s/ j3 R7 Z0 H
(iii) 含多元函数的泛函、奥式方程 9 J7 N. }4 O8 J8 @0 y! G" f: C) [ 0 H+ d: B& D$ q# M7 Y) z7 S7 z* U- ~! C+ U2 ]
U$ y8 P& t2 ?8 E+ f1 n8 f
2.4 端点变动的情况(横截条件). b$ U0 b4 z6 C L, {
1 j. |8 g& K7 K, ~. a" V" g. H# ?9 r5 ^2 @3 u" t5 T
$ y( {/ ?$ }0 W% C$ F. C& l$ F 2 Q: D7 {9 w; w# v8 u5 Y4 ~* d
横截条件有两种常见的特殊情况: $ O( i* l% f: e 0 ?3 E, g4 n& c9 j : I. f/ |% v) e0 V' p+ S0 [# | , X! j! p- Z* i0 I* q9 U注意,横截条件与欧拉方程联立才能构成泛函极值的必要条件。 $ ~. q% o5 i& G5 p. s+ e! L ' I! _$ }3 h3 c# Y" @; f 3 有约束条件的泛函极值 7 w8 k7 R# {0 J9 t5 z在最优控制系统中,常常要涉及到有约束条件泛函的极值问题,其典型形式是对动态系统3 R5 E& E% d3 J9 G2 I0 a' B8 ^
" I, w, {; X- P' y ; a; w' k# N. w* r' D. u& d0 c5 ]- e3 n: f7 Q 3 X1 p+ X# I2 t" H5 j' H6 x
% ]5 g% Q) b3 S! ~* H 2 O1 \2 ~+ D. O9 D: D & s5 W" A0 y3 L. z) v1 L* U4 {/ u( i, c7 w6 e
. |5 _+ T n0 \/ L W7 G2 }2 _* u/ a4 最大(小)值原理% N/ ~/ m, t- _- a, b% i: y" F! y