SLIDE 1 Differential Sensitivity in Rate Independent Problems
Martin Brokate Department of Mathematics, TU München
Control of State Constrained Dynamical Systems, Padova, 25.-29.9.2017
SLIDE 2
Parabolic control problem with hysteresis
Minimize
SLIDE 3
Parabolic control problem with hysteresis
Minimize not monotone
SLIDE 4
Rate Independence
Input-output system Inputs Outputs
SLIDE 6 Play
v w r
if (interior) if (boundary)
SLIDE 9 Play: Derivatives ?
v w r
you expect:
SLIDE 10 Play: Derivatives ?
v w r
Moreover: Does exist ?
SLIDE 11 v w r
Play: Directional differentiability
v w
(accumulated maximum)
- M. Brokate, P. Krejci, Weak differentiability of scalar hysteresis operators,
Discrete Cont. Dyn. Syst. Ser. A 35 (2015), 2405-2421
SLIDE 12 v w
Locally, the play can be represented as a finite composition of variants of the accumulated maximum.
r
SLIDE 13
From maximum to play
Maximum: Accumulated maximum: (gliding maximum) Play:
SLIDE 14
Maximum functional: Directional derivative
Directional derivative: convex, Lipschitz Directional derivative is a Hadamard derivative:
SLIDE 15
Bouligand derivative
The directional derivative is called a Bouligand derivative if Still nonlinear w.r.t the direction h. Better approximation property than the directional derivative: Limit process is uniform w.r.t. the direction h is directionally differentiable Assume:
SLIDE 16
Maximum functional: Bouligand derivative
is not a Bouligand derivative is a Bouligand derivative
SLIDE 17
Newton derivative
Semismooth Newton method:
SLIDE 18
Newton derivative (Set valued)
Semismooth Newton method:
SLIDE 19
Maximum functional: Newton derivative
Directional derivative:
SLIDE 20
Maximum functional: Newton derivative
is not a Newton derivative is a Newton derivative
SLIDE 21
Proof
SLIDE 22
Upper semicontinuity
SLIDE 23
Upper semicontinuity
SLIDE 24
From maximum to play
Maximum: Accumulated maximum: (gliding maximum) Play:
SLIDE 25
Accumulated maximum
Directional derivative exists ``pointwise in time‘‘: Denote
SLIDE 26
Accumulated maximum
The pointwise derivative is a regulated function, but discontinuous in general. Thus, is not directionally differentiable But is directionally differentiable.
SLIDE 27
Accumulated maximum: Newton derivative
is a Newton derivative weakly measurable,
SLIDE 28
Accumulated maximum: Usc
which is upper semicontinuous.
SLIDE 29
Accumulated maximum: Usc
which is upper semicontinuous.
SLIDE 30 Play: Newton derivative
- Theorem. The play operator
is Newton differentiable. The proof uses the chain rule for Newton derivatives, and yields a recursive formula based on the successive accumulated maxima.
- M. Brokate, Newton and Bouligand derivatives of the scalar play and stop operator,
arXiv:1607.07344, 2016
SLIDE 31
Play: Newton derivative
Newton derivative Newton derivative is globally bounded (in particular, the bound does not depend on the local description of the play in , nor on r)
SLIDE 32
Play: Newton derivative
Can be improved to
SLIDE 33 Play: Bouligand derivative
- Theorem. The play operator
is Bouligand differentiable. A refined remainder estimate holds as in the Newton case.
SLIDE 34
SLIDE 35 Parabolic problem
Solution operator
- M. Brokate, K. Fellner, M. Lang-Batsching, Weak differentiability of the control-to-state mapping
in a parabolic control problem with hysteresis, Preprint IGDK 1754
SLIDE 36
Parabolic problem
Solution operator Assumptions: Then
SLIDE 37
Parabolic problem
Theorem: (Visintin, Hilpert) Solution operator
SLIDE 38
First order problem
Theorem: (variant of Visintin)
SLIDE 39
Auxiliary estimates
Assume Then
SLIDE 40
First order problem
Theorem:
SLIDE 41
Sensitivity result
Theorem: The control-to-state mapping has a Bouligand derivative when considered as a mapping Proof: Estimates for the remainder problem
SLIDE 42
Sensitivity result
Theorem: The control-to-state mapping has a Bouligand derivative when considered as a mapping An analogous result holds for the Newton derivative, for the special case of the accumulated maximum.
SLIDE 43
Parabolic control problem with hysteresis
Minimize
SLIDE 44
Optimality condition
Reduced cost functional