Introductory Lecture 2 Suzanne Lenhart University of Tennessee, - - PowerPoint PPT Presentation

introductory lecture 2
SMART_READER_LITE
LIVE PREVIEW

Introductory Lecture 2 Suzanne Lenhart University of Tennessee, - - PowerPoint PPT Presentation

Introductory Lecture 2 Suzanne Lenhart University of Tennessee, Knoxville Departments of Mathematics Supported by NIH grant Lecture2 p.1/25


slide-1
SLIDE 1

Introductory Lecture 2

Suzanne Lenhart University of Tennessee, Knoxville Departments of Mathematics Supported by NIH grant

Lecture2 – p.1/25

slide-2
SLIDE 2

Salvage Term

✂ ✄ ☎✝✆ ☎ ✞ ✟ ✟ ✠ ✡ ☛ ☞ ☎✍✌✏✎ ✆ ☎✍✌ ✟ ✎ ✑ ☎✍✌ ✟ ✟ ✒ ✌ ✆ ✓ ✔ ✕ ☎✍✌ ✎ ✆ ✎ ✑ ✟ ✆ ☎ ✖ ✟ ✔ ✆ ☛

where

✄ ☎ ✆ ☎ ✞ ✟ ✟

is final payoff. What change results?

✗ ☎✝✘ ✟ ✔ ✡ ☛ ☞ ☎✍✌ ✎ ✙ ☎✍✌✏✎ ✘ ✟ ✎ ✑ ✚ ✠ ✘ ✛ ✟ ✒ ✌ ✠ ✄ ☎ ✙ ☎ ✞ ✎ ✘ ✟ ✟

. . .

✜ ✗ ✜ ✘ ☎ ✖ ✟ ✔ ✖ ✔ ✡ ☛ ✢ ✣ ✣ ✣ ✤ ✒ ✌

same as before

✥ ✦ ☎ ✞ ✟ ✜ ✙ ✜ ✘ ☎ ✞ ✎ ✖ ✟ ✠ ✄ ✓ ☎✝✆ ✚ ☎ ✞ ✟ ✟ ✜ ✙ ✜ ✘ ☎ ✞ ✎ ✖ ✟

Lecture2 – p.2/25

slide-3
SLIDE 3

Only change

✧ ★ ✩ ✪ ✫ ★✭✬ ✮ ★ ✩ ✩

Example

✯ ✰ ✱ ✲✳✬ ✴ ★ ✩ ✵ ✶ ★✸✷ ✹ ✬ ✹ ✺ ✩ ✻ ✷ ★✭✬ ✩ ✪ ✲ ✬ ✴ ✫ ✪ ✼✽ ✬ ✧ ★ ✩ ✪ ✼✽ ✬ ✮ ★ ✩

Lecture2 – p.3/25

slide-4
SLIDE 4

Example

✾ ✿✍❀ ❁

Number of cancer cells at time

(exponential growth)

State

❂ ✿✍❀ ❁

Drug concentration Control

❃ ✾ ❃ ❀ ❄ ❅ ✾ ✿✍❀ ❁❇❆ ❂ ✿✍❀ ❁ ✾ ✿ ❈ ❁ ❄ ✾❊❉

known initial data

  • ■❍
✾ ✿ ❏ ❁▲❑ ▼ ❉ ❂ ◆ ✿✍❀ ❁ ❃ ❀

where the first term is number of cancer cells at final time

and the second term is the harmful effects of drug on body.

Lecture2 – p.4/25

slide-5
SLIDE 5 ❖ P ◗ ❘ ❙✭❚ ❯❲❱ P ❳ ❨ ❨ P ❖ ❩ P ❱ ❘ ❖ ❬

at

P ❭ P ❭ ❖ ❘ ❩ ❘ ❪ ❖ ❱ ❨ ❨ ❯ ❖ ❱ ❚ ❘ ❘ ❖ ❘❴❫ ❵ ❛ ❜ ❝ ❘ ❙ ❳ ❖ ❞

transversality condition

❙ ❯ ❳ ❖ ❯❢❡ ❪ ❙ ❯ ❳ ❖ ❞ ❯ ❙ ❳ ❣ ❫ P ◗ ❙✸❤ ❳ ✐ ❤

here

❙ ❯ ❳ ❖ ❯❢❥

Lecture2 – p.5/25

slide-6
SLIDE 6

Contd.

❦ ❧ ❦♥♠ ♦ ♣ q r s ❦ t ✉ ❧ ✈ ❦ ♠ ❧ ♦ q ✇ ❦ ❧ ♦ ♣ q ① r ♣ ✇ ② ③ ④ ❧ ⑤ ③❲⑥ ⑦ ❧ ⑤ ③ ⑥ ♦ ♣ q ① r ♣ ✇ ② ⑧ ③ ④ ⑥ ⑤ ③ ❧ ⑥ ♦ ♣ q ① r ♣ ✇ ② ⑧ ⑨ ♦ ♣ q r ③ ⑩ ④ ❧ ⑥ ♦ ♣ ❶ q r ♦ q ✇ ⑧ ③ ❷ t✸❸ ✉ ❧ ♦ q r ③ ♠ ♦ q ✇ t ♦ ♣ q r ⑥ ♦ q r ✉ ❹ ⑤

Lecture2 – p.6/25

slide-7
SLIDE 7

Well Stirred Bioreactor

Contaminant and bacteria present in spatially uniform time varying concentrations

❺ ❻✸❼ ❽ ❾

concentration of contaminant

❿ ❻✸❼ ❽ ❾

concentration of bacteria bioreactor rich in all nutrients except one

➀ ❻✸❼ ❽ ❾

concentration of input nutrient

bacteria degrades contaminant via co-metabolism.

Lecture2 – p.7/25

slide-8
SLIDE 8 ➁ ➂ ➃✍➄ ➅➇➆ ➈ ➃✝➉ ➅ ➁ ➃✍➄ ➅❇➊ ➋ ➃ ➁ ➃✍➄ ➅ ➅ ➌

where

➈ ➃✝➉ ➅➇➆ ➈ ➉ ➍➏➎ ➉ ➐ ➂ ➃✍➄ ➅ ➆ ➊ ➑ ➐ ➃✍➄ ➅ ➁ ➃✍➄ ➅

where

➉ ➃ ➄ ➅

is control and

➁ ➃ ➒ ➅ ➓ ➐ ➃ ➒ ➅

are known. Objective functional:

➔ ➃✝➉ ➅➇➆ → ➣ ➃ ➑ ➁ ➃✍➄ ➅ ➊ ➉ ➃✍➄ ➅ ➅ ↔ ➄

Find

➉ ↕

to maximize

➔ ➔ ➃✝➉ ↕ ➅➇➆ ➙ ➛ ➜ ➔ ➃✝➉ ➅

maximize bacteria and minimize input nutrient cost.

Lecture2 – p.8/25

slide-9
SLIDE 9 ➝ ➞✸➟ ➠ ➡ ➝➤➢ ➥ ➦ ➧ ➨ ➩ ➢ ➫ ➞✭➭ ➠ ➯ ➭ ➩ ➢ ➫ ➞ ➭ ➠ ➯ ➭ ➡ ➨ ➲➵➳ ➝ ➞ ➠ ➝✸➢ ➸ ➞✭➺ ➠

penalizes large values of

at final time . Can eliminate

variable and work with

➫ ➞ ➟ ➠
  • nly.

Lecture2 – p.9/25

slide-10
SLIDE 10 ➻ ➼❲➽ ➾ ➚ ➾ ➼ ➾ ➽ ➼ ➪ ➶ ➶ ➾ ➻ ➽ ➹ ➚ ➼ ➶ ➶ ➾ ➾ ➼ ➾ ➻ ➘

at

➾ ➴ ➽ ➹ ➚ ➼ ➷ ➾ ➬ ➪ ➻ ➘ ➚ ➼ ➻ ➷ ➾ ➬ ➪ ➷ ➚ ➼ ➬ ➮ ➱ ➪ ➻ ➾ ➾ ➴ ➻ ➷ ➚ ➼ ➬ ➮ ➱ ➪ ➽

Lecture2 – p.10/25

slide-11
SLIDE 11 ✃ ❐❢❒ ❮ ❰ Ï ❰ÑÐ ❒ ❮ ✃ ÒÔÓ Ï Õ Ó ❮ Ö × Ð Õ Ø ✃ Ù Ú Û ❒ Ü ✃ ❐❢❒ ❮ ✃ Ò Ý Ù ✃ Ð Ò Ï Û Þ ß à ❮ Ï á Ï Õ â Ù ✃ Ð Ò Ï Û Þ ß à ❮ Ï ã ❮ Ö × Ð Õ Ø Ð ❐ä❒ Ò Ý Ù ✃ Ð Ò Ï Û Þ ß à ❮ Ï á Ï Õ Ù ✃ Ð Ò Ï Û Þ ß à ❮ Ï ❮ × Ð à Ð Ù Ü Û ❒ Ð❊å

known

æ

Solve for

Ðèç ✃

numerically.

Lecture2 – p.11/25

slide-12
SLIDE 12

Problems

é ê ë ì í î ï ð ñ ò ó

What if:

ì í î ï ð ñ ò ë ô õ í î ô õ ì í î ï ð ñ ò ó ö ô õ

Need additional constraint

ô é ì✸÷ ï ø

Lecture2 – p.12/25

slide-13
SLIDE 13

Fishery Model

ù ú❢û ü ù ý þ ù ÿ þ
  • ù
ù ý✂✁ ÿ

population level of fish

  • ý✂✁
ÿ

harvesting control Maximizing net profit:

✄ ☎ ✆ ✝ ✞ ✟ ✠☛✡ ☞
  • ù
þ ✡ ✌ ý
  • ù
ÿ ✌ þ ✍ ☞
✏ ✁

where

✆ ✝ ✞ ✟

is discount factor,

✡ ☞✒✑ ✡ ✌ ✑ ✍ ☞

terms represent profit from sale of fish, diminishing returns when there is a large amount of fish to sell and cost of fishing.

✑ ✡ ☞ ✑ ✡ ✌ ✑ ✍ ☞

are positive constants.

Lecture2 – p.13/25

slide-14
SLIDE 14

Contd.

✓ ✔ ✕ ✖ ✗ ✘✚✙ ✛ ✜✢ ✣ ✙ ✤ ✥ ✜✢ ✦ ✤ ✣ ✧ ✛ ✜ ★ ✩ ✥ ✢ ✥ ✣ ✢ ✦ ✣ ✜✢ ✦ ✩ ✪ ✓ ✣ ✫ ✫ ✢ ✓ ✣ ✬ ✔ ✕ ✖ ✗ ✥ ✙ ✛ ✜ ✣ ✭ ✙ ✤ ✜ ✤ ✢ ✦ ✩ ✥ ✣ ✭ ✢ ✣ ✜ ✦✮ ✫ ✫ ✜ ✓ ✔ ✕ ✖ ✗ ✥ ✙ ✛ ✢ ✣ ✭ ✙ ✤ ✜ ✢ ✤ ✣ ✧ ✛ ✦ ✩ ✥ ✣ ✢ ✦ ✓ ✯ ✜ ✰ ✓ ✣ ✩ ✢ ✰ ✔ ✕ ✖ ✗ ✥ ✙ ✛ ✢ ✰ ✣ ✧ ✛ ✦ ✭ ✔ ✕ ✖ ✗ ✙ ✤ ✥ ✢ ✰ ✦ ✤

Lecture2 – p.14/25

slide-15
SLIDE 15

Contd.

Solve for

✱ ✲ ✳ ✴ ✲ ✳ ✵

numerically. Need control bounds

✶ ✱ ✷✹✸ ✺ ✻✽✼

Ref: B D Craven book Control and Optimization

Lecture2 – p.15/25

slide-16
SLIDE 16

Interpretation of Adjoint

✾ ✿ ❀ ❁ ❂❄❃ ❂❄❅ ❆✹❇ ❈ ❉ ❈ ❊ ❋
❍ ❆ ❉✽■ ❈ ❇ ■ ❋

( Definition of value function )

❉ ❏ ❑ ▲ ❆✹❇ ❈ ❉ ❈ ❊ ❋ ❉ ❆ ❇ ■ ❋ ❑ ❉ ■ ▼ ▼ ❉ ❆ ❉ ■ ❈ ❇ ■ ❋ ❑ ◆ ❆✹❇ ■ ❋ ❖ P ✾ ◗ ❘ ■ ❆ ❉ ■ ❙ ❈ ❇ ■ ❋ ❚ ❆ ❉❯■ ❈ ❇ ■ ❋ ❙

Units: money/unit item in profit problems.

Lecture2 – p.16/25

slide-17
SLIDE 17 ❱ ❲✹❳❩❨ ❬

= marginal variation in the optimal objective functional value of the state value at

❳ ❨

. “Shadow price”

additional money associated with addi- tional increment of the state variable

❪ ❪❴❫ ❲ ❫ ❵ ❲ ❳ ❬ ❛ ❳ ❬ ❜ ❱ ❲✹❳ ❬

for all

❳ ❨ ❳ ❳❞❝

“If one fish is added to the stock, how much is the value of the fishery affected ?"

Lecture2 – p.17/25

slide-18
SLIDE 18 ❡ ❡❴❢ ❣ ❢✽❤ ✐ ❥ ❤ ❦ ❧ ♠ ❣ ❥ ❤ ❦

Approximate

❣ ❢ ❤ ♥ ✐ ❥ ❤ ❦ ♦ ❣ ❢✹❤ ✐ ❥ ❤ ❦ ♥ ♣ ♠ ❣ ❥ ❤ ❦ ❣ ❢ ❤ ♥ ✐ ❥ ❤ ❦ ♣ ❣ ❢ ❤ ✐ ❥ ❤ ❦ ♠ ❣ ❥ ❤ ❦

New value Original value + adjoint

Lecture2 – p.18/25

slide-19
SLIDE 19

Principle of Optimality

If

q r s t r

is an optimal pair on

✉❩✈ ✉ ✉❩✇

and

✉❩✈ ① ✉ ✉❩✇

, then

q r s t r

is also optimal for the problem on

① ✉ ✉ ✉ ✇

:

② ③ ④ ⑤ ⑥⑧⑦ ⑨ ⑥ ⑩ ✉ s t s q ❶ ❷ ✉ t ❸ ❹ ❺ ⑩ ✉ s t s q ❶ t ⑩ ① ✉ ❶ ❹ t r ⑩ ① ✉ ❶

t x 0 t0 t t1 (t, x*(t )) x

Lecture2 – p.19/25

slide-20
SLIDE 20

Existence of Optimal Controls

“Sufficient conditions to guarantee existence of OC" Suppose

❻ ❼ ❽ ❾ ❼ ❽ ❿

satisfy

❾ ➀ ➁ ➂ ➃✹➄ ❽ ❾ ❽ ❻ ➅ ❾ ➃✹➄❩➆ ➅ ➁ ❾ ➆ ❿ ➀ ➁ ➇ ➃ ➈ ❿ ➂ ➈ ➅ ❿ ➃✹➄❩➉ ➅ ➁ ➊

is maximized w.r.t.

at

❻ ❼

plus set of controls compact

❽ ➂

jointly concave in

and

bounded state functions

Lecture2 – p.20/25

slide-21
SLIDE 21

For details about existence of OC see Macki and Strauss book Fleming and Rishel book

Back to exercise example

➋ ➌ ➍❩➎ ➏ ➐ ➑ ➒ ➎ ➓ ➔ → ➣ ➏ ↔ ➎ ➍➙↕ ➐ ➔ →

To guarantee the maximum value of

➛ ➍ ➏ ➐

would be finite, need a priori bound on state

, control

.

Lecture2 – p.21/25

slide-22
SLIDE 22

Optimality System

State system coupled with adjoint system

  • optimal control’s expressions substituted in

Uniqueness of Optimality System

Uniqueness of Optimal Control Uniqueness of Optimality System - only for small time

due to opposite time orientations BUT Uniqueness of Optimal Control

Uniqueness of Solutions of Optimality System To get uniqueness of OC directly, need strict concavity of

➟ ➠➢➡➥➤ ➦ ➠ ➡ ➧ ➧

.

Lecture2 – p.22/25

slide-23
SLIDE 23

Optimality System

State system coupled with adjoint system

  • optimal control’s expressions substituted in

Uniqueness of Optimality System - only for small time

due to opposite time orientations Numerical Solutions by Iterative Method

  • with Runge Kutta 4, Matlab or favorite ODE solver

(Characterization of OC non-smooth)

  • guess for controls, solve forward for states
  • solve backward for adjoints
  • update controls, using characterization
  • repeat forward and backwards sweeps and control

updates until convergence of iterates

Lecture2 – p.23/25

slide-24
SLIDE 24

Idea of Runge Kutta

Give handouts.

Lecture2 – p.24/25

slide-25
SLIDE 25

2 BC on one state

For Lab example Suppose

➩ ➫➙➭ ➯ ➲ ➩✽➳

and

➩ ➫ ➯ ➲ ➩✽➵

are BOTH GIVEN Then

doesnot have a boundary condition. Needs a type of shooting method.

Lecture2 – p.25/25