Äîêóìåíò âçÿò èç êýøà ïîèñêîâîé ìàøèíû. Àäðåñ îðèãèíàëüíîãî äîêóìåíòà : http://pont2008.cs.msu.ru/files/ru/abstracts/Gamkrelidze.pdf
Äàòà èçìåíåíèÿ: Mon Jan 7 23:54:43 2008
Äàòà èíäåêñèðîâàíèÿ: Mon Oct 1 19:56:29 2012
Êîäèðîâêà: koi8-r
Ú þ ÿïüñð ð ñæÿ ü ñ õñðüæù
Ú ¹ÿ ï Ú ¸ ¸

ð¨â ÿ ýÿûÿ òæð òï

ÿ ÿ ºæ âºæû

¸

º ׺ ݺ

º×º

ݸ
¹ ¹ ¹ ¹ ¹ ¹ º ¸ ¹ ¹ ¹ ¸ ¹ ¹

¸

º ¸ ¸

¸

¸

¸

¸ ¸ ¸

¸

¸ºº ºÚ ¹ ¹ ¹ ¸ º

¸

¸ ×

¸ºº

¹ ¹ ¹ ¹ ¸ ¹ ¹ ¹ ¹

º×

¸ µ¸ µ ´

¸´ º º ¸ º ¸

µ ´

¸


¸ º
dx = X (x, u) = X, dt X u

¹ ¹ ¹

× º ¸
uU

X uU

xM

´

¸

¸

T M ¸ H

X

=

- - HX - - HX

T M

¸


¸
uU

¸ º ¹ HX (, u)¸ T M ¸ ¹ Tx M T M ¸ ¹ µ ¹ HX º T M, M ¸ / ¹ (t)¸ (0) = ¸ ¹

M¸ x M U

HX ( (t),u(t)) = max HX ( (t),u).

¸

X¸ T M

- - HX

¸
adX

¸
X M

¹ ¹

adX a = Xa a C (M ), adX Y = [X, Y ] Y Vect M . LX etX TM ¸ etX

¸ºº
TM

¸

¸

¹

etLX = etX .

×
etX < , Y >=< etLX , etadX Y > etadX = e-tLX


etLX

etadX
(1)

¸

¹

Y V ect M , = etLX
-1

(M ),

ºº

¸ ¾

etLX

, - - HX

¸ º

¹


LX

µ

adX

´
X < , Y >=< LX , Y > + < , adX Y > Y V ect M ,
(1)

¹

(M ).

º × ´ ¸

¹
etLX = etX etX

¸

LX

¸

µ

- - HX = adX

ºº ½ ¸ º ¸ ºº ¸´

¸

LX

¹ ¸

¸ × ¸

¹ ¹
adX V ect M

V ect M

¸

T M

¸

C (M )

¹ ¹

º

µ¸

¹

¿