Abstract
It is well-known that in the case of a sufficiently nonlinear general optimal control problem there is very frequently the necessity for a compactness argument in order to pass to the limit in the state equation in the standard "calculus of variations" proof for the existence of optimal controls. For time-dependent state equations, i.e., evolution equations, this is in particular unfortunate due to the difficult structure of compact sets in Bochner-type spaces. In this paper, we propose an abstract function space and a suitable regularization- or Tychonov term for the objective functional which allows for the usual standard reasoning in the proof of existence of optimal controls and which admits a reasonably favorable structure in the characterization of optimal solutions via first order necessary conditions in, generally, the form of a variational inequality of obstacle-type in time. We establish the necessary properties of and and derive the aforementioned variational inequality. The variational inequality can then be reformulated as a projection identity for the optimal control under additional assumptions. We give sufficient conditions on when these are satisfied. The considerations are complemented with a series of practical examples of possible constellations and choices in dependence on the varying control spaces required for the evolution equations at hand.
References
- Ya. Alber: Metric and generalized projection operators in Banach spaces: properties and applications, in: Theory and Applications of Nonlinear Operators of Accretive and Monotone Type, A. Kartsatos (ed.), Dekker, New York (1996) 15–50.Google Scholar
- H. Amann: Linear and Quasilinear Parabolic Problems, Birkhäuser, Basel (1995).https://doi.org/10.1007/978-3-0348-9221-6Google Scholar
- H. Amann: Compact embeddings of vector-valued Sobolev and Besov Spaces, Glasnik Matematicki 35(55) (2000) 161–177.Google Scholar
- J.-P. Aubin: Un théoreme de compacité, Cont. Rend. Acad. Sci. Paris 256(24) (1963) 5042–5044.Google Scholar
- M. Biegert: On traces of Sobolev functions on the boundary of extension domains, Proc. Amer. Math. Soc. 137(12) (2009) 4169–4176.https://doi.org/10.1090/S0002-9939-09-10045-XGoogle Scholar
- J. F. Bonnans, A. Shapiro: Pertubation Analysis of Optimization Problems, Springer Series in Operations Research, Springer, Berlin (2000).https://doi.org/10.1007/978-1-4612-1394-9Google Scholar
- C. Christof: Sensitivity Analysis of Elliptic Variational Inequalities of the First and Second Kind, PhD Thests, Technical University of Dortmund, Dortmund (2018).Google Scholar
- C. Christof, G. Wachsmuth: Differential sensitivity analysis of variational inequalities with locally Lipschitz continuous solution operators, Appl. Math. Optimization (2018) 1–40.https://doi.org/10.1007/s00245-018-09553-yGoogle Scholar
- I. Cioranescu: Geometry of Banach Spaces, Duality Mappings and Nonlinear Problems, Kluwer Academic Publishers, Dordrecht (1990).https://doi.org/10.1007/978-94-009-2121-4Google Scholar
- R. Dautray, J.-J. Lions: Mathematical Analysis and Numerical Methods for Science and Technology. Vol. 5, Springer, Berlin (1992).Google Scholar
- R. Deville, G. Godefroy, V. Zizler: Smoothness and Renormings in Banach Spaces, Pitman Monographs and Surveys in Pure and Applied Mathematics 64, Longman, Scientific and Technical, London (1993).Google Scholar
- J. Diestel, J. J. Uhl jun.: Vector measures, Mathematical Surveys 15, American Mathematical Society, Providence (1977).https://doi.org/10.1090/surv/015Google Scholar
- K. Disser, H.-C. Kaiser, J. Rehberg: Optimal Sobolev regularity for linear second-order divergence elliptic operators occurring in real-world problems, SIAM J. Math. Anal. 47(3) (2015) 1719–1746.https://doi.org/10.1137/140982969Google Scholar
- C. N. Do: Generalized second-order derivatives of convex functions in reflexive Banach spaces, Trans. Amer. Math. Soc. 334(1) (1992) 281–301.https://doi.org/10.1090/S0002-9947-1992-1088019-1Google Scholar
- Yu. A. Dubinskii: Weak convergence for nonlinear elliptic and parabolic equations, Mat. Sb. (N.S.) 67(4) (1965) 609–642.Google Scholar
- L. C. Evans, R. F. Gariepy: Measure Theory and Fine Properties of Functions, Studies in Advanced Mathematics, CRC Press, Boca Raton (1992).Google Scholar
- D. Gilbarg, N. S. Trudinger: Elliptic Partial Differential Equations of Second Order, Springer, Berlin (2001).https://doi.org/10.1007/978-3-642-61798-0Google Scholar
- H. Goldberg, F. Tröltzsch: Second-order sufficient optimality conditions for a class of nonlinear parabolic boundary control problems, SIAM J. Control Optimization 31(4) (1993) 1007–1025.https://doi.org/10.1137/0331045Google Scholar
- P. Grisvard: Elliptic Problems in Nonsmooth Domains, Society for Industrial and Applied Mathematics, Philadelphia (2011).https://doi.org/10.1137/1.9781611972030Google Scholar
- R. Haller-Dintelmann, J. Rehberg: Maximal parabolic regularity for divergence operators including mixed boundary conditions, J. Differential Equations 247(5) (2009) 1354–1396.https://doi.org/10.1016/j.jde.2009.06.001Google Scholar
- R. Haller-Dintelmann, J. Rehberg: Coercivity for elliptic operators and positivity of solutions on Lipschitz domains, Arch. Math. (Basel) 95(5) (2010) 457–468.https://doi.org/10.1007/s00013-010-0184-3Google Scholar
- A. Haraux: How to differentiate the projection on a convex set in Hilbert space. Some applications to variational inequalities, J. Math. Soc. Japan 29(4) (1977) 615–631.https://doi.org/10.2969/jmsj/02940615Google Scholar
- M. Hieber, J. Rehberg: Quasilinear parabolic systems with mixed boundary conditions on nonsmooth domains, SIAM J. Math. Analysis 40(1) (2008) 292–305.https://doi.org/10.1137/070683829Google Scholar
- D. Hoemberg, K. Krumbiegel, J. Rehberg: Optimal control of a parabolic equation with dynamic boundary condition, Appl. Math. Optim. 67(1) (2012) 3–31.https://doi.org/10.1007/s00245-012-9178-9Google Scholar
- D. Hoemberg, C. Meyer, J. Rehberg, W. Ring: Optimal control for the thermistor problem, SIAM J. Control Optimization 48(5) (2010) 3449–3481.https://doi.org/10.1137/080736259Google Scholar
- S. Lang: Real and Functional Analysis, Graduate Texts in Mathematics, Springer, New York (1993).https://doi.org/10.1007/978-1-4612-0897-6Google Scholar
- I. E. Leonard, K. Sundaresan: Geometry of Lebesgue-Bochner function spaces – smoothness, Trans. Amer. Math. Soc. 198 (1974) 229–229.https://doi.org/10.1090/S0002-9947-1974-0367652-5Google Scholar
- I. E. Leonard, K. Sundaresan: Smoothness and duality in Lp (E, µ), J. Math. Anal. Appl. 46 (1974) 513–522.https://doi.org/10.1016/0022-247X(74)90257-1Google Scholar
- J. Li: The generalized projection operator on reflexive Banach spaces and its applications, J. Math. Anal. Appl. 306(1) (2005) 55–71.https://doi.org/10.1016/j.jmaa.2004.11.007Google Scholar
- J.-L. Lions: Quelques Méthodes de Résolution des Problèmes aux Limites Non Linéaires, Dunod, Paris (1969).Google Scholar
- V. Maz’ya: Sobolev Spaces, Grundlehren der Mathematischen Wissenschaften, Springer, Berlin (2011).https://doi.org/10.1007/978-3-642-15564-2Google Scholar
- H. Meinlschmidt, C. Meyer, J. Rehberg: Optimal control of the thermistor problem in three spatial dimensions. Part 1: Existence of optimal solutions, SIAM J. Control Optimization 55(5) (2017) 2876–2904.https://doi.org/10.1137/16M1072644Google Scholar
- H. Meinlschmidt, C. Meyer, J. Rehberg: Optimal control of the thermistor problem in three spatial dimensions. Part 2: Optimality conditions, SIAM J. Control Optimiation 55(4) (2017) 2368–2392.https://doi.org/10.1137/16M1072656Google Scholar
- F. Mignot: Contrôle dans les inéquations variationelles elliptiques, J. Functional Analysis 22(2) (1976) 130–185.https://doi.org/10.1016/0022-1236(76)90017-3Google Scholar
- F. Murat: Compacité par compensation, Ann. Sc. Norm. Super. Pisa Cl. Sci. 4 (1978) 489–507.Google Scholar
- I. Neitzel, F. Tröltzsch: On convergence of regularization methods for nonlinear parabolic optimal control problems with control and state constraints, Control Cybernetics 37(4) (2008) 1013–1043.Google Scholar
- I. Neitzel, B. Vexler: A priori error estimates for space – time finite element discretization of semilinear parabolic optimal control problems, Numer. Math. 120(2) (2011) 345–386.https://doi.org/10.1007/s00211-011-0409-9Google Scholar
- L. Nirenberg: On elliptic partial differential equations, Ann. Scuola. Norm. Sup. Pisa 13 (1959) 115–162.Google Scholar
- J. Pruess, R. Schnaubelt: Solvability and maximal regularity of parabolic evolution equations with coefficients continuous in time, J. Math. Anal. Appl. 256(2) (2001) 405–430.https://doi.org/10.1006/jmaa.2000.7247Google Scholar
- J.-P. Raymond, F. Tröltzsch: Second order sufficient optimality conditions for nonlinear parabolic control problems with state constraints, Discrete Continuous Dynamical Systems 6 (2006) 431–450.https://doi.org/10.3934/dcds.2000.6.431Google Scholar
- W. Schirotzek: Nonsmooth Analysis, Springer, Berlin (2007).https://doi.org/10.1007/978-3-540-71333-3Google Scholar
- T. Schuster, B. Kaltenbacher, B. Hofmann, K. Kazimierski: Regularization in Banach Spaces, De Gruyter Berlin (2012).https://doi.org/10.1515/9783110255720Google Scholar
- J. Simon: Compact sets in the space Lp (0, T; B), Ann. Mat. Pura Appl. (4) 146(1) (1986) 65–96.https://doi.org/10.1007/BF01762360Google Scholar
- L. Tartar: Compensated Compactness and Applications to Partial Differential Equations, Nonlinear Analysis and Mechanics: Heriot-Watt Symposium, vol. 4, R. J. Knops (ed.), Pitman Press, London (1979).Google Scholar
- A. F. M. ter Elst, M. Meyries, J. Rehberg: Parabolic equations with dynamical boundary conditions and source terms on interfaces, Ann. Mat. Pura Appl. 193(5) (2014) 1295–1318.https://doi.org/10.1007/s10231-013-0329-7Google Scholar
- H. Triebel: Interpolation theory, function spaces, differential operators, North-Holland, Amsterdam (1978).Google Scholar
- M. Ulbrich: Semismooth Newton Methods for Variational Inequalities and Constrained Optimization Problems in Function Spaces, Society for Industrial and Applied Mathematics, Philadelphia (2011).https://doi.org/10.1137/1.9781611970692Google Scholar
- G. Wachsmuth: A guided tour of polyhedric sets: Basic properties, new results on intersections and applications, J. Convex Analysis 26(1) (2019) 153–188.https://doi.org/10.68381/jca26010Google Scholar
Suggested citation
Published by Heldermann Verlag, 2020. Rights now held by Banach Press LLC.
