Consider Optimization problem in the form $$\min ~ f(x) \quad \quad \text{subject to}\quad \quad F(x) \in C \subseteq Y $$

Where $F: X \to Y$ is continuously differentiable between banach spaces $X$ and $Y$ and $f$ is lipschitz function, and $C$ is closed convex set in $Y$. I'm wondering is there any class of optimal control problems fitted in above framework ?

I'm asking this, because KKT condition is available for above problem in literatures, and yet expert people in optimal control take different approach to ge necessary optimality condition! To my understanding an optimal control problem is just an Infinite dimensional optimization problem, why we can't employ one single approach to solve both.

My Guess:

I think the assumption $F$ be differentiable (in Frechet sense) is strong, and might make trouble to cover large class of optimal control problems. I'm asking this, because I found that expert people in optimal control take different approach to solve problem,

  • 2
    $\begingroup$ Sure, for example pure state-constrained or bang-bang problems with sparsity constraints. Whether you apply abstract constraint qualifications or a more direct approach is often a matter of taste; it also can be much more tedious to verify abstract conditions (which try to cover as many cases as possible) than to directly derive the optimality system. Working with the specific problem also may allow you to derive sharper results (for example, using hidden regularity of the adjoint equation that you don't see in the abstract formulation). $\endgroup$ – Christian Clason Jul 3 '19 at 6:33
  • $\begingroup$ @ChristianClason why not make it an answer? :-) $\endgroup$ – Hannes Jul 3 '19 at 7:01

Sure, for example sparse control of PDEs with state constraints ($f(x) = \|x\|_{L^1}$, $F(x)$ the solution operator to your favorite PDE, and $C = \{x(t)\leq 1 \text{ for all }t\}$ -- although care needs to be taken to ensure existence of a solution).

For differentiable $f$, casting such optimal control problems for PDEs in the language of nonlinear optimization in Banach spaces is rather well-known and popular; for example, it's the approach used in the popular textbook by Fredi Tröltzsch [1]. The standard constraint qualification used is based on that by Zowe and Kurcyusz [2]. The case of non-differentiable and in particular non-convex $f$ (and $C$) in optimal control is currently a very active field, where it is a matter of preference whether people work with the (mainly equivalent) generalized derivatives of the indicator function of $C$ or directly with its tangent and normal cones as in nonlinear optimization.

(I'm focusing on optimal control of PDEs here; the situation may be different in optimal control of ODEs, where (non-smooth) Pontryagin-type maximum principles seem to be more popular.)

In general, whether you derive necessary optimality conditions using constraint qualifications, (rigorous) Lagrangian approaches, generalized chain rules, or directly using adjoint equations is also a matter of taste -- in the end, you should end up with the same system, and the crucial condition that you need to verify is also the same at heart: the surjectivity of $F'(\bar x)^*$ is needed to verify the Zowe--Kurcyusz condition, the existence of a Lagrange multiplier, the applicability of the chain rule, or the solvability of the adjoint equation.

However, while an abstract, "one-size-fits-all", theory is nice, it can get to the point where verifying the abstract conditions can be more work than deriving an optimality system by hand, in particular since the spaces only match up nicely in simple examples. (For example, in the initial example, $Y$ needs to be a subspace of the space of continuous functions, while your solution operator will map to some Sobolev space; this means you need embedding theorems that restrict the space dimension you can consider.) On the other hand, showing existence of a solution to a specific adjoint equation can make use of the specific right-hand side etc. In addition, you can make use of additional properties such as hidden regularity of the adjoint equation to derive additional properties of the control that you don't see in the abstract formulation.

The situation gets even worse in the non-smooth case: While you can derive abstract optimality conditions using generalized tangent and normal cones in Banach spaces [3,4], if you try to actually characterize them for concrete optimal control problems so you can get explicit optimality conditions, you may find these to be -- in the words of a colleague -- "unpleasantly large" [5]. In these cases, you may actually get stronger -- or at least more explicit -- conditions by deriving them by hand (e.g., through a limiting process on the level of the PDE).

[1] Tröltzsch, Fredi, Optimal control of partial differential equations. Theory, procedures, and applications., Wiesbaden: Vieweg (ISBN 3-528-03224-3). x, 297 p. (2005). ZBL1142.49001.

[2] Zowe, J.; Kurcyusz, S., Regularity and stability for the mathematical programming problem in Banach spaces, Appl. Math. Optimization 5, 49-62 (1979). ZBL0401.90104.

[3] Mordukhovich, Boris S., Variational analysis and applications, Springer Monographs in Mathematics. Cham: Springer (ISBN 978-3-319-92773-2/hbk; 978-3-319-92775-6/ebook). xix, 622 p. (2018). ZBL1402.49003.

[4] Ioffe, Alexander D., Variational analysis of regular mappings. Theory and applications, Springer Monographs in Mathematics. Cham: Springer (ISBN 978-3-319-64276-5/hbk; 978-3-319-64277-2/ebook). xxi, 495 p. (2017). ZBL1381.49001.

[5] Harder, Felix; Wachsmuth, Gerd, The limiting normal cone of a complementarity set in Sobolev spaces, Optimization 67, No. 10, 1579-1603 (2018). ZBL1407.49010.

  • $\begingroup$ I do research on non-smooth optimization problem in finite dimension, mostly second order Analysis. I realized many thing there can be extended to any banach space, at least first order. Once In an optimal control class, I asked my advisor (Boris Mordukhovich) why just not proceed in abstract format, which requires similar technique, He only said in optimal control we need keep specified framework, he didn't elaborate much, and I didn't push more. That's why I'm confused, I just want to know , it is really worth to do research on infinite dimensional optimization problem in abstract form? $\endgroup$ – Red shoes Jul 4 '19 at 19:09
  • $\begingroup$ Of course it's worth it; an abstract framework can be very useful in relating different approaches and suggesting new ones. And insisting on doing everything by hand is just as one-sided as insisting on using only abstract results. It's important to have more than one tool so you can pick the right one for each problem. Also, the main point I wanted to get across is that there is a conservation law for mathematical difficulties -- the "simpler" it is to obtain a result from an abstract framework, the harder one usually has to work to show that the framework actually applies... $\endgroup$ – Christian Clason Jul 5 '19 at 9:27
  • $\begingroup$ Thanks for great Answer. $\endgroup$ – Red shoes Jul 6 '19 at 17:14
  • $\begingroup$ Just one more question, when you say "$F(x)$ the solution operator to your favorite PDE", what are exactly $X$ and $Y$ and $F$. Like could you please provide and simple example. $\endgroup$ – Red shoes Jul 7 '19 at 15:48

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.