Welcome to the OPTPDE Problem Collection

ccquas1 details:

Keywords: analytic solution

Global classification: nonlinear-quadratic

Functional: convex quadratic

Geometry: easy, fixed

Design: coupled via boundary values 1st order

Differential operator:

Design constraints:

State constraints:

Mixed constraints:

Submitted on 2013-02-05 by Roland Herzog. Published on 2013-02-12

ccquas1 description:


This is a boundary optimal control problem governed by a quasilinear elliptic equation. Problems involving quasilinear equations are particularly challenging with regard to their analysis, numerical analysis, and numerical solution.

This problem and the analytical example were published as the first example in Casas and Dhamo [2012] and in [Dhamo2012, Example 4.14].

Variables & Notation


u L2(Γ) control variable y H32(Ω)state variable

Given Data

The given data is chosen in a way which admits an analytic solution.

Ω = (0,π)2 computational domain Γ its boundary x = (x1,x2) coordinate in Ω α = 20 lower control bound β = 2 upper control bound a(x,y) = 1 + (x1 + x2)2 + y2 leading coefficient f(x,y) = 2ysin 2(x 1) + sin 2(x 2) potential term g1(x) = 2sin (x1)sin (x2)1 + (x1 + x2)2 + 6sin 3(x 1)sin 3(x2) (x1 + x2)sin (x1)cos (x2) + cos (x1)sin (x2)right hand side g2(x) = min {0,e(x) α} + max {0,e(x) β} boundary right hand side e(x) = 1 + (x1 + x2)2 sin (x 1 + x2)2 auxiliary term η(x) = 1 proj [α,β]e(x) coefficient in the objective yΩ(x) = sin (x1)sin (x2) 2sin 2(x 1) + sin 2(x 2) desired state

Note that the formula for the auxiliary term e(x) above has been corrected (a square was missing). The formula originally given in [Casas and Dhamo2012, p.753] and [Dhamo2012, p.117] does not match the function shown in [Dhamo2012, Figure 4.1]. Preference has been given to the reproduction of the figure.

Problem Description

Minimize1 2y yΩL2(Ω)2 + 1 2uL2(Γ)2 +Γηuds s.t. div a(x,y)y + f(x,y) = g1 in Ω a(x,y)y n = u + g2on Γ and α u βon Γ

Optimality System

The following optimality system for the state y H32(Ω), the control u L2(Γ) and the adjoint state φ H32(Ω), given in the strong form, represents a set of first-order necessary optimality conditions.

div a(x,y)y + f(x,y) = g1 in Ω a(x,y)y n = u + g2 on Γ div a(x,y)φ + a y(x,y)y φ + f y(x,y)φ = y yΩ in Ω a(x,y)φ n = 0 on Γ u = proj [α,β](η φ|Γ)on Γ

Supplementary Material

The following state, control and adjoint state variables are shown in Casas and Dhamo [2012] to satisfy first-order necessary conditions. Moreover, second-order sufficient conditions also hold due to the structure of the objective. Consequently, u is a local minimum (in the sense of L(Γ)).

y = sin (x1)sin (x2) in Ω φ = 1 in Ω u = proj [α,β]e = 1 ηon Γ

This solution is particular in the sense that the upper and lower bound constraints for the control are both active on nontrivial parts of the boundary, but never strongly active. In other words, strict comlementarity does not hold for this problem. A plot of the optimal control is provided in [Dhamo2012, Figure 4.1].


   E. Casas and V. Dhamo. Error estimates for the numerical approximation of Neumann control problems governed by a class of quasilinear elliptic equations. Computational Optimization and Applications. An International Journal, 52(3): 719–756, 2012. ISSN 0926-6003. doi: 10.1007/s10589-011-9440-0.

   V. Dhamo. Optimal Boundary Control of Quasilinear Partial Differential Equations: Theory and Numerical Analysis. PhD thesis, Technische Universität Berlin, 2012. URL http://opus.kobv.de/tuberlin/volltexte/2012/3511.