动态过程的另一类问题是所谓的动态优化问题,这类问题一般要归结为求最优控制 函数使某个泛函达到极值。当控制函数可以事先确定为某种特殊的函数形式时,问题又 简化为求普通函数的极值。求解泛函极值问题的方法主要有变分法和最优控制理论方 法。 , v/ O5 u) E, v9 ?2 Y0 w4 t3 f @& G7 y
变分法简介# Q1 `6 c9 J9 q$ L1 o7 ~
2 |9 I9 O8 j4 m6 Z* h2 p; x
变分法是研究泛函极值问题的一种经典数学方法,有着广泛的应用。下面先介绍变 分法的基本概念和基本结果,然后介绍动态系统最优控制问题求解的必要条件和最大值 原理。 & U5 \ _" E4 f: r + \+ J- Q3 X6 B9 v$ C9 g9 K1 变分法的基本概念# d$ a* g1 ^" A5 X' w7 K6 e" @
1.1 泛函3 f8 W, Y0 C3 ?: g* d. F
/ d' c0 M* K" ^/ {( C 5 k: h5 h& T# h @" J0 W1 i$ U ! T; F5 w/ F/ ?$ L& r; }8 p & R/ E* I# X! P Q4 h5 T 1.2 泛函的极值* e6 Y. O4 Q5 U8 `
7 H9 }/ q8 C1 Z9 U) K9 U$ r' G$ e, Y9 ^/ w( \
: e* X+ @ y' f: c" J0 ^
1.3 泛函的变分 ' C0 _2 E' z) R, {' [# U w! X" G7 X5 r ! q/ w9 A1 a. [
D5 a( j4 _ k' d! P" T' N) b0 p # |- _* p, Q, @* t0 E
. H3 r! U2 ^3 [! c0 ]1.4 极值与变分 J: w. M' P8 |/ v) K1 Y; p9 @
利用变分的表达式(4)可以得到泛函极值与变分的关系: + ?" l6 I, c! m$ Z, I$ J: L% N5 } 5 Z" @& _' A8 D) ^3 c/ a' N 4 L1 t9 L5 L: Y1 a# ~. h( w6 s, `: H/ L1 V
1.5. 变分法的基本引理3 Z; s, X6 G/ ?4 a: p
" b0 _) }* r- P2 L" P 2 H) ~( Q" x) p6 A5 \6 l1 n9 }: u" C
2 无约束条件的泛函极值 2 v% n T& P* h4 a5 B* H + w: L1 B9 }& k( ?. K9 X7 w5 ?) @) }9 K K
. c* A% }- q! o' [% u
2.1 端点固定的情况 h! D) g7 y: Q8 H$ l: T3 C 6 C+ k3 e7 L1 \' y- l 4 l% S9 e$ E8 z5 F5 I, {# n' g. i' j* o& p
8 d) b" _; Q) }6 _& O1 R1 u
2.2 最简泛函的几种特殊情形 ( C! g1 D& `% K8 s( ? a4 j: U9 f6 T9 h3 n7 ~: D+ v, ~+ {4 g0 |& }
! e& a; W+ s. d6 I9 V; s0 q- v& A- a
例 1 (最速降线问题) . p' e" h: I0 r0 V( j" d! o( A) k
最速降线问题是历史上变分法开始发展的第一个问题。它是约翰·贝努里(J. Bernoulli)于 1696 年提出的。问题的提法是这样的:设 A 和 B 是铅 直平面上不在同一铅直线上的两点,在所有连结 A 和 B 的平面曲线中,求一曲线,当 质点仅受重力作用,且初速为零,沿此曲线从 A 滑行至 B 时,使所需时间最短。$ k( g$ u o1 q( {( E* t
. Q% D* P, q: @+ r/ p' @1 H) w2 [9 [2 i 5 E+ o( b, X# O8 Y! ?8 {3 [% S$ w8 B; {4 V) p1 d
) n1 Z3 c4 n/ ~( k1 c
例 2 最小旋转面问题 、悬链线方程 & z" T3 P- o c/ b5 L I/ P# ]& C2 O# p5 J) M7 M : S) y$ Z$ E6 v" ` ]. Q0 g0 G/ P7 ?9 l
2.3 最简泛函的推广 ( Y5 W H$ |: T# w3 G7 b/ J最简泛函取极值的必要条件可以推广到其它情况。 . Z9 y2 p7 e8 Q% {5 D w5 x& x W4 y$ r' _9 t
(ⅰ)含多个函数的泛函 * F' c- ]( q/ {8 U6 p 8 @, L% ^: G* O1 U _* P* v8 D8 x$ u- s( |# [
$ N: }$ K& F+ A) Y* Y/ S2 o(ii)含高阶导数的泛函* ^! z1 a" X6 ~) r6 d
, z8 r+ G w6 g8 Y% [3 f/ V : s7 {% H+ G) s 1 E% ]( i( J% U8 Q. q(iii) 含多元函数的泛函、奥式方程- {% R N, S) {
/ w& y+ X+ M1 w6 o1 P8 t4 a 1 Q0 \) {+ ?) J% j6 `1 ~/ n
1 }/ r/ C8 O' k; ]- W2.4 端点变动的情况(横截条件) ' f+ s/ f% N8 f3 U+ f ' M5 N( D/ }) a; m, @, ~& E3 O$ t% z( I5 G+ D; u
7 ~# D! T3 q+ R0 a 1 l* v* X: \* M
横截条件有两种常见的特殊情况:0 X* Q, l) j' W* Q; @ b c" v/ e
4 r2 x. @" j( d9 g 7 |6 A2 T. V' B, Y% c. n2 Y( L& c1 ~
注意,横截条件与欧拉方程联立才能构成泛函极值的必要条件。 8 w0 i3 n, x% C& N; S4 I/ Z$ c% W* X3 w) d' u* n4 H$ w: P. e5 S
3 有约束条件的泛函极值 & S( g4 ~; \' ]+ K3 g在最优控制系统中,常常要涉及到有约束条件泛函的极值问题,其典型形式是对动态系统1 c- ]( r. d/ j2 ]
9 q. V, q Y! c4 j) w# ~3 o! g 9 P( q; b5 H* G- E4 J% T" o( s) u3 L1 h' a: ?% k/ X8 Z0 K0 g. N' z, ^ 1 l& u: o( ?5 M5 K& Q9 J2 g, p/ f$ U) R3 w' P% A
$ g0 V* m. Y" q; T; L3 P6 ~ : e3 E4 t! M5 r6 d! ~& b ]
3 _6 J% v3 b: q- E0 u, g
$ O6 T2 U0 r( e; F. o4 最大(小)值原理8 `* [% z* h* a; s9 \0 O7 x