Regularization and bang-bang conjugate times in optimal control

(1)

HAL Id: tel-00585376

https://tel.archives-ouvertes.fr/tel-00585376

Submitted on 12 Apr 2011

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Regularization and bang-bang conjugate times in optimal control

Cristiana Silva

To cite this version:

Cristiana Silva. Regularization and bang-bang conjugate times in optimal control. General Mathe- matics [math.GM]. Université d’Orléans, 2010. English. �NNT : 2010ORLE2027�. �tel-00585376�

(2)

!""

#$ %#& '$%' !"#$

**'(#%) *+,#(#'(-(**

**+#$ +%.* $ /% +*%**

$(' +1

23**# % %& #' ( ) *+

23 %4* %& #' (' - .- *+

551

2* 3#566 .**& #' /0 23 %*#2 %& #' 1

33333333333333333333333333333333333333333333333333333333333333333333 781

232# %2%& #' ('- 45 23**# % %& #' ( ) *+&

23 %4* %& #' (' - .- *+

23*9: 6 .%& #' ( 2* 325 %& #'

2* 3#566 .**& #' /0 23% %& #' ('

(3)

I would like to acknowledge my two supervisors Dr. Delfim Torres and Dr.

Emmanuel Trélat for accepting me as their student. Their constant support, their trust and confidence made me fell lucky for having them as supervisors.

Their enthusiastic way of being and scientific skills were the source of my inspiration. I am very grateful for the interesting young and senior researchers whom I met during my PhD. I thank both my supervisors for always welcome me with a smile, they are undoubtedly the persons that I will remember with more affection of the years of my thesis.

I thank The Portuguese Foundation for Science and Technology (FCT) for the financial support through the PhD fellowship SFRH/BD/27272/2006, without which this work wouldn't be possible.

I am grateful to the director of the Department of Mathematic of the University of Aveiro Dr. João Santos, and the Director of MAPMO of the University of Orléans, Dr. Stéphane Cordier for the excellent conditions in both laboratories.

A special acknowledge to the secretaries of MAPMO for their kindness.

I acknowledge Dr. Laura Poggiolini and Dr. Gianna Stefani for the important remarks and interesting ideas, and I thank especially Laura for her attention and support.

Je remercie mes collègues de bureau du MAPMO, en particulier à Chi, Guillaume et Roland. Je remercie la patience et la compréhension qu’ils ont toujours eu avec moi, les moments de detente pendant les pauses café et les soirées amusantes. Je remercie Bassirou, Jradeh et Radouen pour la sympathie et bonne humeur.

Agradeço a todas as pessoas que tão bem me acolheram no Departamento de Matemática da Universidade de Aveiro durante os meses da tese que passei em Portugal.

Agradeço aos meus amigos. Em especial, ao Cromo (João Pedro) por nunca ter deixado de me ir telefonando, por ter continuado a ser meu amigo como se estivéssemos a apenas alguns quilómetros de distância. Agradeço à Inês, à Silvia e à Zélia pela amizade e atenção. Agradeço a todos aqueles que se ligaram ao messenger para falarem comigo e me fazerem um pouco de companhia!

Agradeço ao Daniel pelo carinho e apoio incondicional, pela atenção diária e infinita paciência. Muito obrigada por nunca teres deixado que me sentisse sozinha.

Agradeço à minha família. Aos meus pais, pela preocupação que sempre tiveram para que tudo corresse bem. Aos meus irmãos e às suas famílias, por serem a minha família.

(4)

!"#$%&"($! )

!"#$%&%'("%#)*' +,-%&($.*'-"*$ /0#*"1 2

! "#$%&'($*&#! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! +

!, -.&%$.*/$&%*01 &23%2*34 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 5

!6 7*#30% &8$*901 &#$%&1 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! :

!6! -$0$393#$ &;$.38%&<139 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! :

!6!, =&#$%&110<*1*$>? '3@#*$*&#0#' 03//*<13/3$ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! !

!6!6 A*#*901 $*938%&<139 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 6

!6!B CD09813? &8$*901 &#$%&1 &;0#.0%9&#*&/*110$&% E1*#30%0/3F! ! ! ! ! +

!B G&#1*#30% &8$*901 &#$%&1 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! H

!B! -$0$393#$ &;$.38%&<139 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! H

!B!, C#'I8&*#$ 9088*#J ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! :

!B!6 K3//*<13 /3$0#' &#$%&110<*1*$> ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ,

!B!B -*#J(10%&#$%&1/ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ,6

!B!+ CD*/$3#3&;&8$*901 $%0L3$&%*3/ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ,6

!B!M N&#$%>0J*# 90D*9(9 8%*#*813 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ,+

!B!5 CD09813? &8$*901 &#$%&1 &;0#.0%9&#*&/*110$&% E#&#1*#30% 0/3F ! ! 6

!B!H CD09813? G34$&#O/8%&<139&;9*#*901 %3/*/$0#3 ! ! ! ! ! ! ! ! ! ! ! ! 6,

!+ N%&&; &;$.3N&#$%>0J*# 90D*9(9 8%*#*813 ;&%0J3#3%01 9*#*901$*938%&<139 BB

!+! G33'13I1*P320%*0$*&#/! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! B+

!+!, =&#* "981**$Q(#$*&#R.3&%39 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! B:

!+!6 70J%0#J3 9(1$*81*3%/0#' N&#$%>0J*# 90D*9(98%*#*813 ! ! ! ! ! ! ! ! ! +S

!M T3#3%01*U3'&#$%&1/ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! +

!M! T3#3%01*U3'&#$%&1 '3@#*$*&# ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! +,

!M!, A*#*901 $*938%&<139 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! +6

!M!6 V0%*0$*&# &;J3#3%01*U3' &#$%&1/0#' N&#$%>0J*#90D*9*U0$*&# &#'*$*&# +6

3 4&**-0 "#56$("%7(-%*' *89('5:9('5 *,-%&($ *'-"*$ ,"*9$#&) 2<

,! "#$%&'($*&#! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! +5

,!, -$0$393#$ &;$.3 8%&<139 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! +H

(5)

!3 4,*5/)'+6)&+$% 7'$,95',! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 1:

!1 ;$%<,'*,%, ',05/&0! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! =>

!= ?-).7/,0 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! @>

!=!> AB,4)(/,+*B.+%+.)/&+.,$%&'$/ 7'$C/,. ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! @>

!=! D+%+.)/ &+.,$7&+.)/ $%&'$/ 7'$C/,.+%<$/<+%*)0+%*5/)' )' ! ! ! ! ! @"

!=!" AB,B)'.$%+ $0+//)&$' 7'$C/,.E/+%,)')0,F ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! @=

!=!3 D+%+.)/ &+.,$%&'$/ $G)H)%9,'#$/ $0+//)&$'! ! ! ! ! ! ! ! ! ! ! ! ! ! @:

!"#$%&'&( *%%+'*, '- '-./0*&1 %'(-&" 2'+ 3*-043*-0 '-&+'5 %+'351$" 6

"!> I%&'$95&+$%! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 2"

"!>!> J&)&,.,%& $G&B,7'$C/,. ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 23

"!>! K)%*LC)%*#$%&'()*+% ,-&',.)/0 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 23

"!>!" J,$%9$'9,' $7&+.)/+&( $%9+&+$%0 )%9 C)%*LC)%*$%M5*)&, &+.,0 ! ! ! 2=

"!>!3 4,*5/)'+6)&+$% 7'$,95', ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! :

"!>!1 ;$%M5*)&,&+.,0+% &B,0.$$&B)0, ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! :"

"! ;$%<,'*,%, ',05/&0! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! :1

"!" ?-).7/,0 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! >N>

"!"!> O+'0&,-).7/,P 4)(/,+*B.+%+.)/&+.,$%&'$/ 7'$C/,. ! ! ! ! ! ! ! ! ! ! >N>

"!"! J,$%9,-).7/,! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! >N@

!"$%&'!" (") !*+" *,!-$+.& ///

0**+")'1 //2

! 7(+"& *-8 "1'-8 '+81+"/9(1-& '%&($*5(&# '-8(&('-" (- &,1 -'+$*5 *"1 ::

Q!> ?-).7/,P 4)(/,+*B.+%+.)/ &+.,$%&'$/ 7'$C/,. ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! >>2

3+4+,+"+& /5/

6")+1 /2/

(6)

! "#$% "#&%$%' (& $!)&%"$*+"& "#& ,$!$,+- "$,& ./"$,+- 01!"21- 3214-&, !"#$ 512

%$!*-&6$!/7"1!"21-6+9!& %:%"&,%$! ;

n

˙

x=X(x) +u₁Y₁(x),

($"#<=&>$!$"$+- +!> <!+-"$,&%1!>$"$1!%

x(0) = ˆx0, x(tf) = ˆx1,

(#&2& X ^+!> Y1 ^+2& ^%,11"# )&"12 <&->%'+!> "#&1!"21- u1 ^$% ⁺,&+%72+4-& %+-+2 57!"$1!

%+"$%5:$!* "#&1!%"2+$!"

|u1(t)| ≤1, ∀t∈[0, tf]

($"# t_f "#& <!+- "$,&? @& >&)&-1/ 2&*7-+2$A+"$1! /21&>72&% $! 12>&2 "1 1,/7"& %,11"#

+//21=$,+"$1!% 15"#&+41)& 4+!*64+!*1!"21- /214-&,' +!> "11,/7"&1!B7*+"& "$,&%?

C#&<2%"1!B7*+"&"$,&15+"2+B&"12:x(·)^$%"#&"$,&+"(#$#$"-1%&%$"%-1+-1/"$,+-$":?

C#& >&<!$"$1! +!> 1,/7"+"$1! 151!B7*+"& /1$!"% +2& +!$,/12"+!" "1/$ $! "#& "#&12: 15

+-7-7%15)+2$+"$1!%D%&&&?*?EFG ℄I? !EJJ℄"#&$!)&%"$*+"$1!15"#&>&<!$"$1!+!>1,/7"+"$1!

15 1!B7*+"& /1$!"% 512 ,$!$,+- "$,& 1!"21- /214-&,% $% 4+%&> 1! "#& %"7>: 15 !&&%%+2:

+!>K12 %79$&!" %&1!> 12>&2 1!>$"$1!%? ! EFFL℄' "#& "#&12: 15 &!)&-1/&% +!> 1!B7*+"&

/1$!"% $%7%&>512 "#&%"7>: 15"#&%"27"72& 15 -1+--: 1/"$,+- 4+!*64+!* "2+B&"12$&%512"#&

/214-&, !"#$ $! ;

2

+!> ;

3

M "#&%& 2&%7-"% (&2& *&!&2+-$A&> $! ENL ℄? ! EOF 'FLL℄ <2%" +!>

%&1!>12>&2 %79$&!"1/"$,+-$": 1!>$"$1!% +2&>&2$)&> $! "&2,%15+P7+>2+"$ 512, Qt^' ⁵¹²

+ ,$!$,+- "$,& 1!"21- /214-&, ($"# 1!"21-6+9!& %:%"&,%? !EFLL ℄ L¹^6-1+- 1/"$,+-$": $%

1!%$>&2&>+!>$!EOF℄ %"21!*-1+-1/"$,+-$":? !EQ℄"#&+7"#12%>&2$)&%&1!>12>&2%79$&!"

1!>$"$1!%' 7!>&2 "#& %+,& 2&*7-+2$": +%%7,/"$1!% +% EOF℄' 512 +! 1/"$,+- 1!"21- /214-&,

$! "#& R+:&2 512, ($"# <=&> <!+- "$,&' ($"# 1!"21-6+9!& %:%"&,% +!> 4+!*64+!* 1/"$,+-

1!"21-%? !EJL ℄ "#&+7"#12% /21)&> "#& &P7$)+-&!& 15"#& %&1!>12>&2 %79$&!" 1!>$"$1!%

*$)&! $!EOF ℄($"#"#& 1!&%*$)&! $!EQ℄? !EJQ ℄+!+!+-1*17%P7+>2+"$ 512, "1"#& 1!&$! EQ℄

$% >&<!&>' 47" "#& %79$&!" 1/"$,+-$": 1!>$"$1!% >&2$)&> +2& )+-$> 512 + %"21!*&2 S$!> 15

1/"$,+-$": D%"+"&-1+- 1/"$,+-$":I?

C#& 1,4$!+"$1! 15!&&%%+2:+!> %79$&!" 1!>$"$1!% 5124+!*64+!* &="2&,+-% /21)$>&>

$!EG'Q 'OF'OT 'JQ ℄+--1(%"12&-+"&"#&-1+-%"21!*1/"$,+-$":%"+"7%15+"2+B&"12:x(·)^($"#"#&

(7)

('0,6,%+76,%+ !$0 -,2$0,) $'03x(·)^,%9^$5:*,90,$"('0-Qt^"#1'#"$"; 9 <%"$ '%[0, t]⁴

$5 % x(·) ^"#^2',223 '1$"-,2 ('0 10'62 - !"#$ "% $5 C⁰ ^$'1'2'+3 ^'% [0, t] ⁼ ^{>? 4}^@A4^@B4^{C? ℄E.}

F( G ,##*- -'0 '; 04 $5,$ x(·) ^5,# ^, ^*%":* ^{!$0 -,2} ^2"($ ^=*1 ^$' ^, -*2$"12",$"; #,2,0E

(x(·), p(·), p⁰, u₁(·))⁴ ^G5"5 ^"# ^{-'0 '; 0} ^%'0-,2 (p⁰ = −1) ^,%9 x(·) ^"# ^2',223 '1$"-,2 "% C⁰

$'1'2'+3 ('010'62 - !"#$'%[0, t]^{$5 %}Q_t ^"#%'%% +,$"; =>H ℄E. I%9 0$5 # ,##*-1$"'%#4

$5 $"- # t⁴ t >0⁴ ^#*5 ^$5,$ ^$5 :*,90,$" ('0- Q_t ^5,# ^, $0";",2J 0% 2 ,0 "#'2,$ 9 ,%9 ,%

'%23 '%#"#$ '( #'- #G"$5"%+ $"- # '( $5 6,%+76,%+ !$0 -,2 '%$0'2 =# >?℄EK $5 !"#

%&'()*#+ #,-+ t_c ^'(^, ^6,%+76,%+ ^#$0'%+ ^2',223 '1$"-,2 $0,) $'03 x(·) =#$,0$"%+ (0'- xˆ₀^E ^"#

$5 %9 <% 9 63

t_c= sup{t| Q_t ^"#1'#"$"; 9 <%"$ }= inf{t|Q_t ^"#"%9 <%"$ }.

L5 1'"%$ x(tc)^"#^{,22 9} ^$5^!"# %&'()*#+ .%,&# '($5 $0,) $'03 x(·)^.

M*N" %$ '1$"-,2"$3 '%9"$"'%#,0 9 ; 2'1 9"%>@B ℄=# ,2#' >AAH ℄E6,# 9'%$5 - $5'9

'(5,0,$ 0"#$"# ,%9$5 $5 '03'( !$0 -,2 < 29#. M*N" %$ '1$"-,2"$3 '%9"$"'%# ,0 +"; %

('0 -6 99"%+ ,0 ( 0 % $0,) $'03"%$',2',2< 29'(60'J % !$0 -,2#. F%>A4O4?4C? ℄4*#"%+

P,-"2$'%",% - $5'9# ,%9 $5 !$0 -,2 < 29 $5 '034 $5 ,*$5'0# '%#$0*$4 *%9 0 0$,"%

'%9"$"'%#4, %'%7"%$ 0# $"%+< 29 '(#$,$ !$0 -,2# $5,$'; 0# , +"; % !$0 -,2 $0,) $'03

x(·)^. ^F%^>?4^QA4^@B℄^$5 ^,*$5'0#,##'",$ $5 '*00 % '( ,'%)*+,$ 1'"%$G"$5 ,/%01 .%,&#

'( $5 R'G '( $5 !$0 -,2 < 294 $5,$ "#4 , #'7,22 9 '; 02,1 '( $5 R'G % ,0 $5 #G"$5"%+

#*0(, .

L5 '-1*$,$"'%'('%)*+,$ $"- #"%$5 6,%+76,%+,# "#9"N*2$"%10,$" . F%$5 2,#$

3 ,0# G'0J#5,; 6 % 9 ; 2'1 9 '%$5 %*- 0",2"-12 - %$,$"'% '(# '%9'09 0 #*N" %$

'1$"-,2"$3 '%9"$"'%# =# 4 .+.4 >QA4B@4@A ℄ ,%9 0 ( 0 % # "$ 9 $5 0 "%E. L5 # 10' 9*0 #

,22'G $5 5,0,$ 0"S,$"'%'($5 <0#$'%)*+,$ $"- 4('06,%+76,%+'1$"-,2 '%$0'2 10'62 -#

G"$5'%$0'27,N% #3#$ -#4G5 % ; 0"$ !"#$#,%9"#,$$,"% 9,$,j^th#G"$5"%+$"- . P'G ; 04

"%10,$" 4"(j^"#^$''^2,0+^{$5 %}^$5%*- 0",2'-1*$,$"'%-,36 '- ; 039"N*2$. T #"9 #4

$5 '0 $",2 ,%9 10,$",2 "##* # ('0'%)*+,$ $"- $5 '03 ,0 G 22 J%'G% "% $5 #-''$5,#

=# .+.>U4@Q ℄E4,%9 N" %$ "-12 - %$,$"'% $''2#,0 ,;,"2,62 =# >A? ℄E.

L5 '%$0"6*$"'%# '($5"#$5 #"#,0 $5 ('22'G"%+.

V 10'1'# , 0 +*2,0"S,$"'% 10' 9*0 G5"51 0-"$# $' *# $5 N" %$ $''2#'('-1*7

$,$"'% '('%)*+,$ $"- # "%$5 #-''$5,# 10';"9 9 "%>A?℄ ('0$5 '-1*$,$"'% '($5 <0#$

'%)*+,$ $"- '( $5 10'62 - !"#$ . L5 0 +*2,0"S,$"'% 10' 9*0 "#$5 ('22'G"%+. 8 $ ε

6 ,1'#"$"; 0 ,21,0,- $ 0,%92 $Y₂, . . . , Y_m⁶m−1,06"$0,03#-''$5; $'0< 29#'%FW

n

4

G5 0 m ≥ 2 ^"#^,% "%$ + 0. V '%#"9 0 $5 -"%"-,2 $"- 10'62 - !"#$

ε ^('0^$5 ^'%$0'2

#3#$ -

˙

x^ε(t) =X(x^ε(t)) +u^ε₁(t)Y₁(x^ε(t)) +ε

m

X

i=2

u^ε_i(t)Y_i(x^ε(t)),

(8)

!"#$ %&#(!)%$*+!%

m

X

i=1

(u^ε_i(t))²≤1,

,+%&%&#-.#" /( !"*$0(!"+%+(!)x^ε(0) = ˆx₀¹x^ε(t_f) = ˆx₁ ⁽²^%&# ^+!+%+*3^4$(/3#5 ^!"#$6

7!%&#!#.%%&#($#5 ,#"#$+8# !+#(!8#$9#!# 4$(4#$%+#)6

%&'()'* +,+,- :26 ;&*4%#$ < 1 46 =>?, !!"#$ %&'% %&$ ()*+,$# !"#$ &'! ' "-./"$

!*,"%.*- x(·)⁰ ^1$2-$1 ^*- [0, t_f]⁰ ^'!!*.'%$1 ^4.%& ^' ^*-%)*, u₁(·) ^*- [0, t_f]⁵ ^6*)$*7$)0 ^'!!"#$

%&'% x(·) ^&'! ^' "-./"$ $8%)$#', ,.9% :"( %* ' #",%.(,.'%.7$ !',');0 %&'% .! #*)$*7$) -*)#',0 '-1 1$-*%$1 (x(·), p(·),−1, u₁(·))⁵

<&$-0 "-1$) %&$ '!!"#(%.*-Span{Y_i | i= 1, . . . , m}=⁼^>ⁿ⁰ ^%&$)$ ^$8.!%! ε₀>0 !"& %&'%0 9*) $7$)? ε ∈(0, ε₀)⁰ ^%&$ ^()*+,$# ^!"#$_ε ^&'! ^'% ^,$'!% ^*-$ !*,"%.*- x^ε(·)⁰ ^1$2-$1 ^*- [0, t^ε_f]

4.%& t^ε_f ≤ t_f⁰ ^'!!*.'%$1 ^4.%& ^' ^!#**%& ^*-%)*, u^ε = (u^ε₁, . . . , u^ε_m) ^!'%.!9?.-@ ^%&$ ^*-!%)'.-%

m

X

i=1

(u^ε_i(t))² ≤ 1⁰ ^$7$)? ^$8%)$#', ^,.9% ^*9 4&.& .! -*)#',5 A$% (x^ε(·), p^ε(·),−1, u^ε(·)) ^+$ !"& ' -*)#',$8%)$#', ,.9%5 <&$-0 '!ε ^%$-1! ^%* 0⁰

• t^ε_f ^*-7$)@$! ^%* t_f^B

• x^ε(·) ^*-7$)@$! "-.9*)#,? %* x(·)⁰ ^'-1p^ε(·) ^*-7$)@$! "-.9*)#,? %*p(·) ^*-[0, t_f]^B

• u^ε₁(·) ^*-7$)@$! ^4$^'C,? ^%* u₁(·) ^9*)^%&$ ^4$'C L¹(0, t_f) ^%*(*,*@?5

=9 %&$ *-%)*, u₁(·) ^.! ^#*)$*7$) ^+'-@D+'-@0 ^.5$50 ^.9 ^%&$ :*-%.-"*"!; !4.%&.-@ 9"-%.*-ϕ(t) = hp(t), Y₁(x(t))i ^1*$! ^-*%^7'-.!&^*- ^'-?!"+.-%$)7', *9[0, t_f]⁰^%&$- u^ε₁(·) ^*-7$)@$! ^%* u₁(·) ^'-1 u^ε_i(·)⁰ i = 2, . . . , m⁰ ^*-7$)@$ ^%* 0 ^',#*!%$7$)?4&$)$ *- [0, t_f]⁰ ^'-1 %&"! .- (')%.",') 9*) %&$

!%)*-@ L¹(0, t_f) ^%*(*,*@?5

@# 4$(8+"#*! #.*543#,&#$# %&#(4%+5*3 (!%$(3 (2%&# +!+%+*3 )0)%#5 +) !(%/*!9A/*!9

:+%&*)*)+!9 3*$ *$? *!" 2($,&+&%&#*35()%#8#$0,&#$# (!8#$9#!#2*+3)6

B5(!9%&#! 5#$( )! 5#$+*35#%&(")%&*%#.+)%%()(38#(4%+5*3(!%$(3 4$(/3#5)1%&#

!&**%.-@ #$%&*1! (!)+)% +! )(38+!91 8+* C#,%(!A3+D# 5#%&(")1 %&# %,(A4(+!% ($ 5 3%+A4(+!%

/( !"*$0 8*3 # 4$(/3#5 *$+)+!9 2$(5 %&# *443+*%+(! (2 %&# E(!%$0*9+! 5*.+5 5 4$+!+43#6

F($%&#5+!+5*3%+5#4$(/3#5 !"#$1(4%+5*3 (!%$(3)5*0 /#"+)(!%+! ( )1 *!"+%2(33(,)

%&*% %&#)&((%+!92 !%+(!+) !(%)5((%&(!7G

n

+! 9#!#$*36 B% *330+% 5*0 /# !(! "+H#$#!A

%+*/3#(!),+%&+!9) $2*#)6 I&+)+543+#)%,("+J 3%+#),&#! )+!9*)&((%+!95#%&("6 F+$)%1

+2 (!# "(#) !(%D!(, * 4$+($+%&# )%$ % $# (2 %&#(4%+5*3 (!%$(31 %&#!+% 5*0 /#8#$0 "+JA

3% %( +!+%+*3+K#4$(4#$30%&# )&((%+!9 5#%&("1 *!" +!9#!#$*3 %&# +%#$*%#) (2%&# !"#$30+!9

C#,%(!5#%&(",+33/# !*/3# %($())/*$$+#$)9#!#$*%#"/0),+%&+!9) $2*#):)###696LM> ℄?6

O#(!"1 %&# ! 5#$+*3 (54 %*%+(! (2 %&# )&((%+!9 2 !%+(! *!" (2 +%) "+H#$#!%+*3 5*0 /#

!"# !$%&$'&$'(")#*(+","-.$%)#",$&x(0)∈M0^(),x(1)∈M1^.!$&$M0 ^(),M1^(&$^0.%^%'1(0

#$0#%-23

n

4#$$5!(10$&678