Zagadnienia

8.1 Zagadnienie Mayera
8.2 Zagadnienie Bolzy

8. Istnienie sterowania optymalnego

W tym rozdziale zajmiemy się warunkiem wystarczającym istnienia sterowania optymalnego. W całym rozdziale zakładamy, że Ω=-1,1.

8.1. Zagadnienie Mayera

Rozważamy najpierw zagadnienie Mayera (M):

x˙=f⁢t,x,u⁢,⁢x⁢0=x0⁢,⁢u∈Um

(8.1)

z funkcjonałem kosztu

C⁢u=g⁢t1,x⁢t1⁢,

(8.2)

gdzie x(t1)=x(t1;x0,u(.)) oraz f i g są zadanymi funkcjami o wartościach w Rn i R1, odpowiednio.

Sformułujemy twierdzenia mówiące o istnieniu sterowania optymalnego, tzn. takiego u*∈Um, że warunek (6.2) jest spełniony.

Analogia: Zagadnienie minimum rzeczywistej funkcji h w obszarze D∈Rn. Warunkiem wystarczającym (the sufficient condition) istnienia minimum jest:

D jest zbiorem zwartym (compact) i h jest funkcją ciągłą.

Wprowadzamy następujące oznaczenie

Definicja 8.1

Dla T>0 zbiór Δ⁢T⊂Um jest zbiorem sterowań, które prowadzą x0 do T⁢t1 w czasie t1, gdzie 0<t1≤T.

Podstawowymi założeniami są

Założenie 8.1

Funkcja

f⁢:⁢0,T⁢Rn⁢Ω⁢→⁢Rn

jest ciągła względem wszystkich zmiennych, różniczkowalna w sposób ciągły

względem x∈Rn oraz spełnia

f⁢t,x,v≤const.⁢1+x⁢,⁢∀⁢t,x,v∈0,T⁢Rn⁢Ω⁢.

(8.3)

Założenie (8.3) może byc zastąpione innym, gwarantującym jednostajne oszacowanie odpowiedzi.

Założenie 8.2

Zbiór

f⁢t,x,Ω=f⁢t,x,v⁢:⁢v∈Ω

(8.4)

jest zbiorem wypukłym (convex) dla wszystkich t∈0,T, x∈Rn.

Założenie 8.2 gwarantuje domkniętość zbioru trajektorii — por. [14].

Przy powyższych założeniach można sformułować twierdzenie o istnieniu sterowania optymalnego dla zagadnienia Mayera:

Twierdzenie 8.1 (Istnienie sterowania optymalnego dla zagadnienia Mayera)

Niech będą spełnione następujące warunki dla T>0:

funkcja f spełnia założenia 8.1 oraz 8.2;
funkcja g⁢:⁢0,T⁢Rn⁢→⁢R1 jest ciągła;
zbiór T⁢t jest domknięty dla każdego t∈0,T
Δ⁢T≠∅

Wówczas istnieje optymalne sterowanie.

Szkic dowodu

[14], str. 89.

Ogólna idea dowodu istnienia sterowania optymalnego jest następująca: bada się (skomplikowane, nieliniowe) przekształcenie

C⁢:⁢Um⁢→⁢R1

i pokazuje następujące fakty

istnieje ciąg uj ,,minimalizujący” z odpowiedziami xj⁢t,
pewien podciąg xjk ciągu xj zbiega do pewnej granicy x*,
istnieje u*∈Um, dla którego x* jest odpowiedzią,
odpowiedź x* spełnia wszystkie określone warunki.

Uwaga 8.1

W ogólnym przypadku nie wiemy czy ujk zbiega do u*. Dla zagadnień z liniową zależnością od sterowania można pokazać zbieżność ujk do u*.

∎

Przykład 8.1 ([14], str. 91)

Zagadnienie optymalnego sterowania dla

x˙=x2⁢⁢u⁢,⁢x0=1⁢,

g⁢t1,x⁢t1=-x⁢t1⁢.

Cel nie jest ustalony, (zagadnienie swobodnego punktu końcowego), czas dotarcia t1>0 jest ustalony.

Dla każdego ε∈] 0,1[ określamy sterowanie

uε⁢t=⁡1dlat∈0,1-ε0dlat>1-ε⁢.⁢

Wówczas odpowiedź

xε⁢t=⁡⁢11-tdlat∈⁢ 0,1-ε⁢1εdlat>1-ε⁢.⁢⁢.

Jeżeli t1>1, to xε⁢t1=1ε. Zatem

g⁢t1,x⁢t1=-1ε⁢.

Nie ma więc sterowania optymalnego (ε może być dowolnie małe). To pokazuje, że oszacowanie (8.3) w założeniu 8.1, lub inne gwarantujące jednostajne oszacowanie, jest potrzebne.

Przykład 8.2 ([14], str. 92)

Zagadnienie optymalnego sterowania dla

x˙=u⁢,⁢x0=1⁢,

g⁢t1,x⁢t1=x⁢t1-1⁢sign⁢⁢x⁢t1⁢.

Infimium g to -1, ale nie jest nigdy osiągane. Funkcja g nie jest ciągła!

Założenie o wypukłości 8.2 można odrzucić dla układu liniowego względem stanu

x˙=A⁢t⁢x+b⁢t,u⁢.

Twierdzenie 8.2

Niech będą spełnione następujące warunki dla T>0:

A⁢t i b⁢t,v są macierzami n×n i n×1, odpowiednio, dla t∈0,T, v∈Ω oraz A, b są ciągłe;
funkcja g⁢:⁢0,T⁢Rn⁢→⁢R1 jest ciągła;
zbiór T⁢t jest domknięty dla każdego t∈0,T
Δ⁢T≠∅

Wówczas istnieje optymalne sterowanie.

Dowód: [14], str. 92.⁢♣

8.2. Zagadnienie Bolzy

Dla zagadnienia Bolzy (B) (lub zagadnienia Lagrange'a (L)) określamy

x0⁢t=∫0tf0⁢s,x⁢s,u⁢s⁢⁢d⁢s⁢,

wprowadzamy n+1–wymiarowy wektor

x⁢t=x0⁢t,xT⁢tT

oraz

f⁢t,x=f0,fTT⁢t,x⁢.

W ten sposób sprowadzamy zagadnienie Bolzy (B) do zagadnienia Mayera (M) dla

x˙=f⁢x,u⁢,

(8.5)

z C⁢u=x0⁢t1+g⁢t1,x⁢t1.

Twierdzenie o istnieniu sterowania optymalnego dla zagadnienia Bolzy wynika z twierdzenia 8.1. Założenie 8.2 jest zastąpione następującym:

Założenie 8.3

Zbiór

f(t,x,Ω)={(f0(t,x,v),fT(t,x,v))T,v∈Ω}

(8.6)

jest zbiorem wypukłym w Rn+1 dla wszystkich 0≤t≤T, x∈Rn.

Można sformułować twierdzenie o istnieniu sterowania optymalnego dla zagadnienia Bolzy:

Twierdzenie 8.3 (Istnienie sterowania optymalnego dla zagadnienia Bolzy)

Niech będą spełnione następujące warunki dla T>0:

funkcja f spełnia założenie 8.1;
funkcje f0⁢:⁢0,T⁢Rn⁢Ω⁢→⁢R1 oraz g⁢:⁢0,T⁢Rn⁢→⁢R1 są ciągłe;
jest spełniony założenie wypukłości 8.3;
zbiór T⁢t jest domknięty dla każdego t∈0,T
Δ⁢T≠∅

Wówczas istnieje optymalne sterowanie.

Dowód twierdzenia 8.3: [14], str. 94; [31], str. 92–95.⁢♣

Założenie 8.3 o wypukłości f⁢t,x,Ω dotyczy geometrii związku pomiędzy f0 i f, a nie odnosi się do wypukłości f0 i f.

Przykład 8.3 ([31], str. 91)

x˙=u12⁢,⁢C⁢u=∫0t1u⁢s12⁢x⁢s⁢⁢d⁢⁢s⁢,

f⁢t,x,Ω=v12⁢x⁢,⁢v12⁢:-1≤v≤1

jest wypukły, choć f nie jest funkcją wypukłą.

Przykład 8.4 ([31], str. 91)

x˙=u⁢,⁢C⁢u=∫0t1u⁢s2⁢⁢d⁢s⁢,

f⁢t,x,Ω=v2⁢,⁢v⁢:-1≤v≤1

nie jest wypukły, choć f jest liniowa, a f0 — wypukła.

Założenie 8.1 jest istotne. W poniższym przykładzie nieliniowość względem zmiennej x2 powoduje nieistnienie optymalnego sterowania.

Przykład 8.5 ([31], str. 83)

Niech n=2, m=1,

x=x1x2⁢,⁢x˙1=1⁢,⁢x˙2=x2+12⁢u⁢,⁢x0=-2

C⁢u=∫0t1f0⁢t,x,u⁢⁢d⁢⁢t

f0⁢t,x,u=⁡ 1⁢gdy⁢⁢x2<01x2+12⁢gdy⁢⁢x2≥0⁢

Cel jest ustalony T⁢t≡0.

Mamy x1⁢t=t-2, zatem musi być t1=2. Dla u≡+1 mamy x1⁢t=t-2, x2⁢t=t1-t, 0≤t<1, więc nie jest to odpowiedź pomyślna. Dla α∈] 0,1[ określmy

uα⁢t=⁡⁢α⁢dla⁢ 0≤t≤1-α⁢dla⁢ 1<t≤2⁢

Odpowiedzią (pomyślną) jest

xα1⁢t=t-2⁢,⁢xα2⁢t=⁡⁢α⁢⁢t1-α⁢⁢t⁢dla⁢ 0≤t≤1α⁢⁢2-t1-2-t⁢α⁢dla⁢ 1≤t≤2⁢

Rzeczywiście: na 0≤t≤1:

d⁢⁢x21+x22=α⁢⁢d⁢⁢t⁢⇒⁢-1+x2-1-2x2=α⁢⁢t

⇒-11+x2+11-2=α⁢⁢t⁢⇒⁢x2=α⁢⁢t1-α⁢⁢t

Na 1<t≤2: warunek początkowy dla t=1 ma postać x2=α1-α

-1+x2-1α1-αx2=-α⁢⁢t+α⁢⇒

-11+x2+11+α1-α=-α⁢⁢t-1⁢⇒-11+x2=2⁢α-1-α⁢t

⇒x2=-α⁢⁢t-21+α⁢⁢t-2

C⁢uα=∫0t111+x22⁢⁢d⁢t=∫0111+α⁢⁢t1-α⁢⁢t2⁢⁢d⁢t+∫1211+α⁢⁢2-t1-α⁢⁢2-t2⁢⁢d⁢t=

=∫01(αt)2dt+∫12(1-(2-t)α)2=α23+∫12((1-2α)+αt)2dt=

=⁢8⁢⁢α23+1-2⁢α2+3⁢1-2⁢α⁢α⁢.

Gdy α↑1 funkcja xα2⁢t zbiega do pewnej funkcji osobliwej w t=1.

Ponadto C⁢uα→23 gdy α↑1. Zatem optymalne sterowanie u* powinno spełniać warunek

C⁢u*≤23⁢.

Pokażemy, że każde pomyślne sterowanie daje koszt >23⁢.

Dla pomyślnego sterowania mamy x2⁢0=x2⁢2=0 oraz bezpośrednio z równania, dla -1≤u⁢t≤1 otrzymujemy

-x2⁢t+12≤x˙2⁢t≤x2⁢t+12⁢.

Stąd, z nierówności po prawej stronie (całkując od 0 do t<1),

-1x2⁢t+1+1≤t⁢,⁢czyli⁢⁢1x2⁢t+1≥1-t⁢,

dla 0≤t<1⁢.

Z nierówności po lewej stronie (całkując od t≥1 do 2),

-2+t≤-1+1x2+1⁢,⁢czyli⁢⁢t-1≤1x2+1⁢,

dla 1≤t≤2⁢.

Ale pomyślna odpowiedź musi być ograniczona (jako funkcja ciągła na zbiorze zwartym), więc pierwsza nierówność jest ostra. Zatem

C⁢u>∫011-t2⁢⁢d⁢t+∫12t-12⁢⁢d⁢t=23⁢.

Wniosek: nie istnieje optymalne sterowanie!

Następujący przykład pokazuje, ze nawet dla ograniczonych odpowiedzi, zależność od sterowania u może powodować nieistnienie optymalnego sterowania. Potrzebne jest więc dodatkowe założenie, n.p. o wypukłości 8.3.

Przykład 8.6 ([31], str. 85)

Niech n=3, m=1,

x=x1x2x3⁢,⁢x˙=sin⁡2⁢⁢π⁢⁢ucos⁡2⁢⁢π⁢⁢u-1⁢,⁢x0=001⁢.

C⁢u=∫0t1x1⁢t2+x2⁢t2⁢⁢d⁢t⁢.

Cel jest ustalony T⁢t≡0.

Mamy x3⁢t=1-t, zatem musi być t1=1

Każda odpowiedź spełnia x˙≤c, a zatem x⁢t≤x0+c⁢t≤c+1 dla 0≤t≤1.

Skonstruujemy ciąg sterowań ujj∈N, t.ż. C⁢uj→0 dla j→∞.

Ponieważ zawsze C⁢u≥0, każde sterowanie optymalne u* musiałoby spełniać C⁢u*=0

To prowadzi do sprzeczności, gdyż wtedy

x*1⁢t=x*2⁢t=0⁢,⁢p.w.,

a zatem x˙*1⁢t=x˙*2⁢t=0, co jest niemożliwe, gdyż

x˙*1⁢t=sin⁡2⁢⁢π⁢⁢u*⁢t⁢,⁢x˙*2⁢t=cos⁡2⁢⁢π⁢⁢u*⁢t⁢.

W.w. ciąg sterowań ma postać uj⁢t=j⁢t-j⁢t, j=1,2,….

Wówczas

sin⁡2⁢⁢π⁢⁢uj⁢t=sin⁡2⁢⁢π⁢⁢j⁢t⁢,⁢cos⁡2⁢⁢π⁢⁢uj⁢t=cos⁡2⁢⁢π⁢⁢j⁢t⁢.

Odpowiedź ma postać

xj1⁢t=1-cos⁡2⁢⁢π⁢⁢j⁢t2⁢⁢π⁢⁢j⁢,⁢xj2⁢t=sin⁡2⁢⁢π⁢⁢j⁢t2⁢⁢π⁢⁢j⁢,⁢xj3⁢t=1-t⁢.

Mamy więc

C⁢uj=∫012⁢⁢1-cos⁡2⁢⁢π⁢⁢j⁢t⁢⁢d⁢⁢t2⁢⁢π⁢⁢j2=12⁢⁢π2⁢⁢j2⁢,

czyli rzeczywiście C⁢uj→0 dla j→∞.

Treść automatycznie generowana z plików źródłowych LaTeXa za pomocą oprogramowania wykorzystującego LaTeXML.

Teoria sterowania

Zagadnienia

8. Istnienie sterowania optymalnego

8.1. Zagadnienie Mayera

Definicja 8.1

Założenie 8.1

Założenie 8.2

Twierdzenie 8.1 (Istnienie sterowania optymalnego dla zagadnienia Mayera)

Szkic dowodu

Uwaga 8.1

Przykład 8.1 ([14], str. 91)

Przykład 8.2 ([14], str. 92)

Twierdzenie 8.2

8.2. Zagadnienie Bolzy

Założenie 8.3

Twierdzenie 8.3 (Istnienie sterowania optymalnego dla zagadnienia Bolzy)

Przykład 8.3 ([31], str. 91)

Przykład 8.4 ([31], str. 91)

Przykład 8.5 ([31], str. 83)

Przykład 8.6 ([31], str. 85)