• Keine Ergebnisse gefunden

V4E2 - Numerical Simulation

N/A
N/A
Protected

Academic year: 2021

Aktie "V4E2 - Numerical Simulation"

Copied!
2
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

V4E2 - Numerical Simulation

Sommersemester 2017 Prof. Dr. J. Garcke

G. Byrenheid

Exercise sheet 8. To be handed in on Tuesday, 27.06.2017.

The minimum time problem

Description of the problem

We study problems with inital state x ∈ T c := R N \T , whose dynamics ( y 0 (t) = f (y(t), α(t)), t > 0,

y(0) = x,

is stopped and the payoff computed when the system reaches the closed set T , where int T 6= ∅,

∂T is sufficiently regular. We are interested in the minimal time function T (x) := inf

α∈A t x (α) where the first time of arrival is defined by

t x (α) :=

( +∞ if {t : y x (t, α) ∈ T } = ∅, inf{t : y x (t, α) ∈ T } otherwise.

Additionally we define the reachable set as

R := {x ∈ R N : T (x) < +∞},

which describes the set of initial states from which it is possible to reach the target T . Further prerequisites

Let A ⊂ R M compact.

(A 0 )

f : R N × A → R N is continuous, (A 3 )

(f (x, a) − f(y, a)) · (x − y) ≤ L|x − y| 2 for all x, y ∈ R N , a ∈ A.

Exercises

Exercise 1. (Dynamic Programming Principle) Prove: Assume (A 0 ), (A 3 ). Then, for all x ∈ R,

T (x) = inf

α∈A {min{t, t x (α)} + χ {t≤t

x

(α)} T(y x (t, α))}, for all t ≥ 0 and

T (x) = inf

α∈A {t + T (y x (t, α))}, for all t ∈ [0, T (x)].

1

(2)

(6 Punkte) Exercise 2. Let a function S : R N → [0, +∞] satisfy the Dynamic Programming Principle (DPP) at given point x ∈ R, that is

S(x) = inf

α∈A {t ∧ t x (α) + χ {t≤t

x

(α)} S(y x (t, α))}, for all t ≥ 0.

Prove that S(x) = T (x).

(6 Punkte) Exercise 3. Prove: If R\T is open and T is continuous, then T is is a viscosity solution of

( H(x, DT (x)) = 0, x ∈ R\T , T (x) = 0, x ∈ ∂T , where

H(x, p) := sup

α∈A

{−p · f (x, a)} − 1.

Hints:

• Ignore/skip the boundary condition.

• Apply the DPP.

(6 Punkte)

2

Referenzen

ÄHNLICHE DOKUMENTE

V4E2 - Numerical Simulation. Sommersemester

Prove monotonicity and consistency for

– Discretisation of partial differential equations, in particular the Finite-Volume method – Iterative solution of linear equation systems.. –

– Discretisation of partial differential equations, in particular the Finite-Volume method – Iterative solution of linear equation systems.. –

Roth (2005), Soil Physics - Lecture Notes v1.0, Institut f¨ ur Umweltphysik, Universit¨ at Heidelberg

Linear partial PDE’s of second order are a case of specific interest.. Remarks on PDE

Olaf Ippisch (IWR) Numerical Simulation of Transport Processes in Porous Media November 3, 2009 2 /

• Dirichlet boundary conditions can easily be integrated by rearranging the equation systems and bringing them to the right side of the equation. • Neumann boundary conditions