• No results found

Optimality System Proper Orthogonal Decomposition for Optimal Control Problems with Control and State Constraints

N/A
N/A
Protected

Academic year: 2021

Share "Optimality System Proper Orthogonal Decomposition for Optimal Control Problems with Control and State Constraints"

Copied!
12
0
0

Loading.... (view fulltext now)

Full text

(1)

Optimality System Proper Orthogonal Decomposition

for Optimal Control Problems

with Control and State Constraints

Seminar INRIA

Martin Gubisch

University of Konstanz

March 15, 2014

Martin Gubisch (University of Konstanz) CMAP, Ecole Polytechnique, Saclay (2015) March 15, 2014 1 / 23

Outline

1 The optimal control problem

2 Model reduction

3 Numerical experiments

(2)

The optimal control problem Problem formulation

Problem formulation

We consider the optimal control problem min y,u,wJ(y, u, w) = Z Θ 1 2ky(t) − yd(t)k 2 H + σu 2 ku(t)k 2 RNu + σw 2 kw(t)k 2 RNw dt (OCP)

on the time interval Θ = [0, T] subject to the linear parabolic pde constraint

h˙y(t), ϕiV?,V + hAy(t), ϕiV?,V = hBu(t) + f (t), ϕiV?,V ∀ϕ ∈ V

hy(0), ϕiH = hy◦, ϕiH ∀ϕ ∈ H

and the control and state constraints

ya(t) ≤ εw(t)+(Iy)(t) ≤ yb(t) & ua(t) ≤ u(t) ≤ ub(t),

with the operators B : L2(Θ, RNu) → L2(Θ, H) and I : L2(Θ, H) → L2(Θ, RNw),

(Bu)(t, x) = Nu X i=1 ui(t)χi(x), (Iy)i(t) = Z Ω πi(x) y(t, x)dx.

Martin Gubisch (University of Konstanz) CMAP, Ecole Polytechnique, Saclay (2015) March 15, 2014 3 / 23

The optimal control problem Transformation on pure box constraints

Transformation on pure box constraints

Introducing a transformed penalty ω(t) = εw(t) + Iy(t), we get the equivalent transformed optimal control problem (TOCP)

min y,u,ω ˜ J(y, u, ω) = Z Θ 1 2ky(t) − ˆyd(t)k 2 H + σu 2 ku(t)k 2 RNu + σw 2ε2kω(t) − Iy(t)k 2 RNw dt

subject to the homogeneous pde

E(y, u) = ˙y(t) + Ay(t) − Bu(t) = 0 & y(0) = 0

and the explicit penalty and control constraints

ˆya(t) ≤ ω(t) ≤ ˆyb(t) & ua(t) ≤ u(t) ≤ ub(t)

where ˆyd = yd − ˆy, ˆya = ya− Iˆy, ˆyb = yb− Iˆy and ˆy solves

(3)

The optimal control problem Well-posedness and optimality conditions

Well-posedness and optimality conditions

THEOREM. Assume that the closed, convex and bounded set

{(y, u, ω) | ˙y + Ay = Bu & y(0) = 0 & u ∈ [ua, ub] & ω ∈ [ˆya, ˆyb]}

is nonempty. Then there exists a unique solution (¯y, ¯u, ¯ω) to (TOCP).

Introducing the Langange function

L (y, u, ω, p) = ˜J(y, u, ω) + Z

Θ

hE(y, u)(t), p(t)iV0,V dt,

we get the variational optimality conditions

Ly(¯y, ¯u, ¯ω, ¯p)y = 0 ∀y ∈ Yhom;

Lu(¯y, ¯u, ¯ω, ¯p)(u − ¯u) ≥ 0 ∀u ∈ [ua, ub];

Lω(¯y, ¯u, ¯ω, ¯p)(ω − ¯ω) ≥ 0 ∀¯ω ∈ [ˆya, ˆyb].

Martin Gubisch (University of Konstanz) CMAP, Ecole Polytechnique, Saclay (2015) March 15, 2014 5 / 23

The optimal control problem Well-posedness and optimality conditions

Well-posedness and optimality conditions

Defining the active and inactive sets Aua = {t | σ1 uB ?¯ p < ua}, Aub = {t | σ1 uB ?¯ p > ua}, Aui = Θ\(Aua∪ Aub) Aya = {t | I¯y < ˆya}, A y b = {t | I¯y > ˆyb}, A y i = Θ\(A y a∪ A y b),

the following first-order optimality system (OS) is fulfilled:

˙¯y(t) + Ay(t) − B¯u(t) = 0, ¯y(0) = 0,

− ˙¯p(t) + Ap(t) + σw ε2(I ?(Iy(t) − ω(t))) + (y(t) − ˆ yd(t)) = 0, ¯p(T) = 0, ¯ u(t) − σ1 uχ u i(t)B ? ¯ p(t) − (χua(t)ua(t) + χub(t)ub(t)) = 0, ¯ ω(t) − χyi(t)I¯y(t) − (χya(t)ˆya(t) + χ y b(t)ˆyb(t)) = 0.

(4)

The optimal control problem Primal-dual active set strategy

Primal-dual active set strategy (PDASS)

Algorithm (Primal-dual active set strategy)

Require: Initial state-adjoint state pair (y0, p0).

1: Set k = 0

2: repeat

3: Calculate the six active and inactive sets with respect to (yk, pk).

4: Solve linear primal-dual system (OS) with these fix sets to get (yk+1, pk+1)

5: Set k = k + 1

6: until the current and the previous active and inactive sets coincide.

7: Return control ¯u∈ L2(Θ, RNu) and penalty ¯w = 1

ε(ω − Iy) ∈ L

2

(Θ, RNw).

Martin Gubisch (University of Konstanz) CMAP, Ecole Polytechnique, Saclay (2015) March 15, 2014 7 / 23

Model reduction Proper orthogonal decomposition

Proper orthogonal decomposition (POD)

Problem: After elimination of u, ω, the discrete linear system (OS) is still of the

dimension 2NtNx.

Idea: For `  Nx, find an optimal orthonormal system ψ = (ψ1, ..., ψ`) ∈ V` such

that the projection error of ¯yon the space span(ψ) is minimal:

min φ∈V`ONB Z Θ ¯y(t) − ` X i=1 h¯y(t), φiiVφi 2 V dt. (POD)

Realization: Perform an eigenvalue decomposition of a compact, self-adjoint,

non-negative operator R : V → V which includes the dynamics of the state solution. Challange: The optimal Galerkin ansatz requires the knowledge of the state solution ¯

(5)

Model reduction Proper orthogonal decomposition

Proper orthogonal decomposition (POD)

THEOREM. (Continuous version) Let y ∈ C(0, T; V) be an arbitrary state and let

(λi, ψi)i∈N be an eigenvalue decomposition of

R(y) : V → V, R(y)ϕ =

Z

Θ

hy(t), ϕiVy(t) dt.

with λi ≥ λi+1 for all i ∈ N.

Then (ψi)i∈N is a complete orthonormal system in V and the rank-` POD basis

ψ` = (ψ1, ..., ψ`) is a solution to (POD).

A priori estimate: The projection error of y on V` = span(ψ) fulfills

Z Θ y(t) − ` X i=1 hy(t), φiiVφi 2 V = ∞ X i=`+1 λi.

Martin Gubisch (University of Konstanz) CMAP, Ecole Polytechnique, Saclay (2015) March 15, 2014 9 / 23

Model reduction Proper orthogonal decomposition

Proper orthogonal decomposition (POD)

Discrete POD: Let (t1, ..., tNt) ⊆ Θ be a time discretization scheme with stepsize ∆t

and let ϕ = (ϕ1, ..., ϕNx) ⊆ V be a finite element basis with corresponding weights

matrix X = (hϕi, ϕjiV). Let Y ∈ RNx×Nt be the coefficient matrix of a state

yFE(tj, x) = Nx

X

i=1

Yijϕi(x).

Then the coefficient matrix of a rank-` POD basis ψ ∈ RNx×` for yFE is given by the

discrete eigenvalue problem

∆tYYTXψl = λlψl

and the l-th POD element in VNx = span(ϕ) is represented by

ψl =

Nx

X

i=1

ψilϕi.

With Y` = YTXψ ∈ R`×Nt, the POD approximation yPOD of yFE is given by

yPOD(tj, x) = `

X

l=1

(6)

Model reduction Reduced order model

Reduced order model (ROM)

1 ROM components:

M = (hψi, ψjiH) ∈ R`×` and A = (hAψi, ψjiV?,V) ∈ R`×`.

B = (hB?j , ψiiV?,V) ∈ R`×Nu and I = (Ijψi) ∈ RNw×`.

ˆyd(t) = (hˆyd(t), ψiiH) ∈ R`.

2 ROM system:

M ˙y(t) + Ay(t) − Bu(t) = 0, y(0) = 0,

−M ˙p(t) + Ap(t) + σw ε2 (I T (Iy(t) − ω(t))) + (My(t) − ˆyd(t)) = 0, p(T) = 0, u(t) − σ1 uχ u i(t)B Tp(t) − (χu i(t)ua(t) + χub(t)ub(t)) = 0, ω(t) − χyi(t)Iy(t) − (χya(t)ˆya(t) + χ y b(t)ˆyb(t)) = 0. 3 ROM expansions: y`(t) = ` X l=1 yl(t)ψl, p`(t) = ` X l=1 pl(t)ψl, u` = u, ω` = ω

Martin Gubisch (University of Konstanz) CMAP, Ecole Polytechnique, Saclay (2015) March 15, 2014 11 / 23

Model reduction Reduced order model

Reduced order model (ROM)

A posteriori error bound: Let (u, ω) be any suboptimal control-penalty pair. Then

there exists some computable ζ ∈ L2(Θ, RNu × RNw) such that

Z Θ ku(t) − ¯u(t)k2RNu + kω(t) − ¯ω(t)k2RNw dt ≤ 1 min(σ2 u, σw2) Z Θ kζ(t)k2RNu×RNw dt+ C(∆t + ∆x2).

Let ˆJ(u, ω) = ˜J(y(u), u, ω), then ζ is the negative gradient −(ˆJu, ˆJω) with cut-offs on

[ua, ub] × [ˆya, ˆyb].

Similar results are available for nonlinear PDEs; then second-order information – the

smallest eigenvalue of the Hessian ˆJ00 – is required (numerically expensive!).

(7)

Model reduction Reduced order model

Reduced order model (ROM)

Algorithm (Model reduction with iterative POD basis updates (IPOD))

Require: Initial control-penalty pair (u(0), ω(0)), POD basis rank `, desired exactness

ε, maximal iteration number kmax.

1: Set k = 0

2: repeat

3: Solve the full state equation for y(k) and the full adjoint state equation for p(k).

4: Solve the POD eigenvalue problem for the rank-` basis ψ(k).

5: Choose PDASS initialization (y, p) = ((hy(k), ψliH), (hp(k), ψliH)) and provide

the PDASS algorithm to solve the ROM system; get feedback (u(k), ω(k)).

6: Set k = k + 1

7: until Aposti(u(k), ω(k)) < ε or k > kmax.

8: Return control u(k) ∈ L2(Θ, RNu) and penalty w(k) = 1

ε(ω

(k) − Iy) ∈ L2

(Θ, RNw).

Martin Gubisch (University of Konstanz) CMAP, Ecole Polytechnique, Saclay (2015) March 15, 2014 13 / 23

Model reduction Optimality system proper orthogonal decomposition

Optimality system proper orthogonal decomp. (OSPOD)

The optimal state required to determine the POD basis is known implicitly:

min y,u,ω,ψ ˜J(y, u, ω, ψ) = Z Θ 1 2 ` X l=1 ylψl − ˆyd 2 H + σu 2 kuk 2 RNu + σw 2ε2kω − I(ψ)yk 2 RNw dt

subject to the two state equations

˙y + Ay = Bu, y(0) = 0, (1)

M(ψ) ˙y + A(ψ)y = B(ψ)u, y(0) = 0, (2)

the POD eigenvalue problem

R(y)ψl − λlψl = 0, kψlk2V = 1 (3)

and the penalty and control constraints

(8)

Model reduction Optimality system proper orthogonal decomposition

A priori error estimates

If POD is provided with the snapshots y(¯u), we have the a priori error estimate

ky(u) − y`(u)k2L2(Θ,V) ≤ C(¯u)  ∞ X l=`+1 λl + ky◦− P`y◦k2H + Z Θ k˙y(u) − P`˙y(u)k2V dt 

where P` : V → V` is the projection φ 7→ P`l=1hφ, ψliVψl.

With y◦ = 0 and the usage of the additional snapshots ˙y(¯u), OS-POD admits decay

rates of the form

ky(u) − y`(u)k2L2(Θ,V)

C

` kuk

2 U.

Martin Gubisch (University of Konstanz) CMAP, Ecole Polytechnique, Saclay (2015) March 15, 2014 15 / 23

Model reduction Optimality system proper orthogonal decomposition

Optimality system proper orthogonal decomp. (OSPOD)

The corresponding dual system is similar to the optimality equations above:

− ˙p + Ap + ` X l=1 hy, ψliVµl + ` X l=1 hy, µliVψl = 0, (4) − M ˙p + Ap + σw ε2 I T (Iy − ω) + (My − ˆyd) = 0, (5) u− 1 σu χui(B?p+ BTp) − (χauua+ χubub) = 0, (6) ω − χyiIy − (χyaˆya + χybˆyb) = 0, (7) R(y)µl − λlµl + N (y, p, u, ω, ψ) = 0. (8)

with some nonlinear term N arising by the ψ-differential and the active sets Aua = {t | σ1 u(B ?¯ p+ BTp) < ua}, Aub = {t | 1 σu(B ?¯ p+ BTp) > ua}, Aya = {t | Iy < ˆya}, A y b = {t | Iy > ˆyb}.

(9)

Model reduction Optimality system proper orthogonal decomposition

Optimality system proper orthogonal decomp. (OSPOD)

Algorithm (Optimality System POD (OSPOD))

Require: Initial control-penalty pair (u, ω), POD basis rank `, desired exactness ε.

1: repeat

2: Solve the full state equation (1) for y.

3: Solve the eigenvalue problem (3) for ψ.

4: Solve the ROM problem (2), (5), (6), (7) for (y, p, u, ω).

5: Solve the “linearized eigenvalue problem” (8) for µ.

6: Solve the full adjoint equation (4) for p.

7: Provide a descent step in direction −σuu+ B?p+ BTp for u

8: Provide a descent step in direction −σw

ε2 (ω − Iy) for ω.

9: until Aposti(u, ω) < ε.

10: Return control u ∈ L2(Θ, RNu) and penalty w = 1

ε(ω − Iy) ∈ L

2

(Θ, RNw).

Martin Gubisch (University of Konstanz) CMAP, Ecole Polytechnique, Saclay (2015) March 15, 2014 17 / 23

Model reduction Conclusion: POD & OSPOD

Conclusion: POD & OSPOD

POD: Use a problem specific

Galerkin ansatz with respect to

some reference trajectory y.

OSPOD: Use the trajectory of the

optimal state ¯

y

to get the optimal

(10)

Numerical experiments Numerical experiments

Numerical experiments: Run 1

0 0.2 0.4 0.6 0.8 1 0 0.5 1 −1 −0.5 0 0.5 time t desired state direction x yQ (t ,x ) 0 0.2 0.4 0.6 0.8 1 0 0.5 1 −0.6 −0.4 −0.2 0 0.2 time t optimal state direction x ¯y (t , x ) 0 0.2 0.4 0.6 0.8 1 0 0.5 1 −10 −5 0 5 10 time t optimal control direction x B ¯u (t , x ) 0 0.2 0.4 0.6 0.8 1 0 0.5 1 −0.4 −0.3 −0.2 −0.1 0 time t optimal penalty direction x I ⋆¯w (t , x )

Martin Gubisch (University of Konstanz) CMAP, Ecole Polytechnique, Saclay (2015) March 15, 2014 19 / 23

Numerical experiments Numerical experiments

Numerical experiments: Run 2

0 0.2 0.4 0.6 0.8 1 0 0.5 1 −100 −50 0 50 100 time t optimal control direction x B ¯u (t , x ) 0 0.2 0.4 0.6 0.8 1 0 0.5 1 −1 −0.5 0 0.5 time t optimal state direction x ¯y (t , x ) 0 0.2 0.4 0.6 0.8 1 0 0.5 1 −100 −50 0 50 100 time t pod control direction x B ¯u ℓ(t , x ) 0 0.2 0.4 0.6 0.8 1 0 0.5 1 −1 −0.5 0 0.5 time t pod state direction x ¯y ℓ(t ,x )

(11)

Numerical experiments Numerical experiments (Boundary control)

Calculation times

method DoF CPU time efficiency

finite element system Nx = 500 860.75 sec 0.00%

initial basis ` = 35 110.77 sec 86.98%

iterative basis updates ` = 15 37.41 sec 95.60%

OS-POD basis selection ` = 13 18.39 sec 97.84%

optimal POD basis ` = 13 11.48 sec 98.65%

Martin Gubisch (University of Konstanz) CMAP, Ecole Polytechnique, Saclay (2015) March 15, 2014 21 / 23

References

References I

Arian, E., Fahl, M. & Sachs, E.: Trust-region proper orthogonal decomposition for flow control. Technical Report 2000, ICASE, vol. 25: pp. 1–15, 2000.

Gräßle, C.: POD based inexact SQP methods for optimal control problems governed by a semilinear heat equation. Master’s thesis, Universität Konstanz, 2014.

Grimm, E., Gubisch, M. & Volkwein, S.: A-Posteriori Error Analysis and OS-POD for Optimal Control. Comp. Eng., vol. 3: pp. 125–129, 2014.

Gubisch, M., Neitzel, I. & Volkwein, S.: POD a-posteriori analysis respecting finite element discretization errors. to appear 2015.

Gubisch, M. & Volkwein, S.: POD Reduced-Order Modelling for PDE Constrained Optimization. proceeding Model Reduction and Approximation (Luminy), submitted, Oct. 2013.

URL http://nbn-resolving.de/urn:nbn:de:bsz:352-250378.

Gubisch, M. & Volkwein, S.: POD a-posteriori error analysis for optimal control Problems with mixed constraints. Comp. Opt. Appl., vol. 58, no. 3: pp. 619–644, 2014.

Hintermüller, M., Kopacka, I. & Volkwein, S.: Mesh-independence and preconditioning for control problems. ESAIM: COVC, vol. 15: pp. 626–652, 2009.

Hinze, M. & Volkwein, S.: Error estimates for abstract linear-quadratic optimal control problems using POD. Comput. Optim. Appl., vol. 39: pp. 319–345, 2008.

Kammann, E., Tröltzsch, F. & Volkwein, S.: A-posteriori error estimation with application to POD. ESAIM M2AN, vol. 47: pp. 555–581, 2013.

(12)

References

References II

Kunisch, K. & Müller, M.: Uniform convergence of the Pod method and applications to optimal control. AIMS Journals, vol. ??, no. ??: pp. 1–26, 2014.

Kunisch, K. & Volkwein, S.: Proper orthogonal decomposition for optimality systems. ESAIM M2AN, vol. 42: pp. 1–23, 2008.

Rogg, S.: Trust Region POD for Optimal Boundary Control of a Semilinear Heat Equation. Master’s thesis, Universität Konstanz, 2014.

Tröltzsch, F. & Volkwein, S.: POD a-posteriori error estimates for linear-quadratic optimal control problems. Comput. Optim. Appl., vol. 44: pp. 319–345, 2008.

References

Related documents