Top

previous article A posteriori error estimates of hp spectral ele...

next article How to compute the minimum norm least squares s...

Hint

Swipe to navigate through the articles of this issue

21-05-2019 | Original Paper | Issue 3/2020

Parameter-robust preconditioning for the optimal control of the wave equation

Journal:: Numerical Algorithms > Issue 3/2020

Authors:: Jun Liu, John W. Pearson

» Get access to the full-text

Important notes

Jun Liu’s research was supported by a “Seed Grants for Transitional and Exploratory Projects” (STEP) Award (FY2019) from the SIUE Graduate School. John W. Pearson’s research was supported by the Engineering and Physical Research Council (EPSRC) Fellowship EP/M018857/2, and a Fellowship of The Alan Turing Institute in London.

Publisher’s note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Abstract

In this paper, we propose and analyze a new matching-type Schur complement preconditioner for solving the discretized first-order necessary optimality conditions that characterize the optimal control of wave equations. Coupled with this is a recently developed second-order implicit finite difference scheme used for the full space-time discretization of the optimality system of PDEs. Eigenvalue bounds for the preconditioned system are derived, which provide insights into the convergence rates of the preconditioned Krylov subspace method applied. Numerical examples are presented to validate our theoretical analysis and demonstrate the effectiveness of the proposed preconditioner, in particular its robustness with respect to very small regularization parameters, and all mesh sizes in the spatial variables.

Please log in to get access to this content

To get access to this content you need the following product:

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 58.000 Bücher
über 300 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Testen Sie jetzt 30 Tage kostenlos.

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 50.000 Bücher
über 380 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Umwelt
Maschinenbau + Werkstoffe

Testen Sie jetzt 30 Tage kostenlos.

inform now

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 69.000 Bücher
über 500 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Umwelt
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Testen Sie jetzt 30 Tage kostenlos.

inform now

Borzì, A., Kunisch, K., Kwak, D.Y.: Accuracy and convergence properties of the finite difference multigrid solution of an optimal control optimality system. SIAM J. Control Optim. 41(5), 1477–1497 (2003) MathSciNetMATH

Borzì, A., Schulz, V.: Computational Optimization of Systems Governed by Partial Differential Equations. SIAM, Philadelphia (2012) MATH

Hinze, M., Pinnau, R., Ulbrich, M., Ulbrich, S.: Optimization with PDE Constraints. Springer, New York (2009) MATH

Lions, J. -L.: Optimal Control of Systems Governed by Partial Differential Equations. Springer, New York (1971) MATH

Tröltzsch, F.: Optimal Control of Partial Differential Equations. AMS, Providence (2010) MATH

Gunzburger, M.D.: Perspectives in Flow Control and Optimization. SIAM, Philadelphia (2003) MATH

Jameson, A.: Aerodynamic design via control theory. J. Sci. Comput. 3(3), 233–260 (1988) MathSciNetMATH

Bergounioux, M., Bonnefond, X., Haberkorn, T., Privat, Y.: An optimal control problem in photoacoustic tomography. Math. Model. Methods Appl. Sci. 24 (12), 2525–2548 (2014) MathSciNetMATH

Pearson, J.W., Wathen, A.J.: A new approximation of the Schur complement in preconditioners for PDE-constrained optimization. Numer. Linear Alg. Appl. 19 (5), 816–829 (2012) MathSciNetMATH

10.

Pearson, J.W., Wathen, A.J.: Fast iterative solvers for convection–diffusion control problems. Electron. Trans. Numer. Anal. 40, 294–310 (2013) MathSciNetMATH

11.

Pearson, J.W., Stoll, M., Wathen, A.J.: Regularization-robust preconditioners for time-dependent PDE-constrained optimization problems. SIAM J. Matrix Anal. Appl. 33(4), 1126–1152 (2012) MathSciNetMATH

12.

Pearson, J.W., Stoll, M.: Fast iterative solution of reaction–diffusion control problems arising from chemical processes. SIAM J. Sci. Comput. 35(5), B987–B1009 (2013) MathSciNetMATH

13.

Schöberl, J., Zulehner, W.: Symmetric indefinite preconditioners for saddle point problems with applications to PDE-constrained optimization problems. SIAM J. Matrix Anal. Appl. 29(3), 752–773 (2007) MathSciNetMATH

14.

Schöberl, J., Simon, R., Zulehner, W.: A robust multigrid method for elliptic optimal control problems. SIAM J. Numer. Anal. 49(4), 1482–1503 (2011) MathSciNetMATH

15.

Zulehner, W.: Nonstandard norms and robust estimates for saddle point problems. SIAM J. Matrix Anal. Appl. 32(2), 536–560 (2011) MathSciNetMATH

16.

Bai, Z. -Z.: Block preconditioners for elliptic PDE-constrained optimization problems. Computing 91(4), 379–395 (2010) MathSciNetMATH

17.

Bai, Z. -Z., Benzi, M., Chen, F., Wang, Z. -Q.: Preconditioned MHSS iteration methods for a class of block two-by-two linear systems with applications to distributed control problems. IMA J. Numer. Anal. 33(1), 343–369 (2012) MathSciNetMATH

18.

Heinkenschloss, M.: A time-domain decomposition iterative method for the solution of distributed linear quadratic optimal control problems. J. Comput. Appl. Math. 173(1), 169–198 (2005) MathSciNetMATH

19.

Rincon, A., Liu, I. -S.: On numerical approximation of an optimal control problem in linear elasticity. Divulg. Mat. 11(2), 91–107 (2003) MathSciNetMATH

20.

Bergounioux, M., Ito, K., Kunisch, K.: Primal-dual strategy for constrained optimal control problems. SIAM J. Control Optim. 37(4), 1176–1194 (1999) MathSciNetMATH

21.

Li, B., Liu, J., Xiao, M.: A fast and stable preconditioned iterative method for optimal control problem of wave equations. SIAM J. Sci Comput. 37(6), A2508–A2534 (2015) MathSciNetMATH

22.

Porcelli, M., Simoncini, V., Tani, M.: Preconditioning of active-set Newton methods for PDE-constrained optimal control problems. SIAM J. Sci. Comput. 37 (5), S472–S502 (2015) MathSciNetMATH

23.

Schiela, A., Ulbrich, S.: Operator preconditioning for a class of inequality constrained optimal control problems. SIAM J. Optim. 24(1), 435–466 (2014) MathSciNetMATH

24.

Stoll, M., Wathen, A.: Preconditioning for partial differential equation constrained optimization with control constraints. Numer. Linear Alg. Appl. 19(1), 53–71 (2012) MathSciNetMATH

25.

Elvetun, O.L., Nielsen, B.F.: PDE-constrained optimization with local control and boundary observations: Robust preconditioners. SIAM J. Sci. Comput. 38(6), A3461–A3491 (2016) MathSciNetMATH

26.

Mardal, K. -A., Nielsen, B.F., Nordaas, M.: Robust preconditioners for PDE-constrained optimization with limited observations. BIT Numer. Math. 57(2), 405–431 (2017) MathSciNetMATH

27.

Pearson, J.W., Gondzio, J.: Fast interior point solution of quadratic programming problems arising from PDE-constrained optimization. Numer. Math. 137(4), 959–999 (2017) MathSciNetMATH

28.

Benzi, M., Golub, G.H., Liesen, J.: Numerical solution of saddle point problems. Acta Numer. 14, 1–137 (2005) MathSciNetMATH

29.

Chen, K.: Matrix Preconditioning Techniques and Applications. Cambridge University Press, Cambridge (2005) MATH

30.

Saad, Y.: Iterative Methods for Sparse Linear Systems, 2nd edn. SIAM, Philadelphia (2003)

31.

Pearson, J.W., Wathen, A.: Matching Schur Complement Approximations for Certain Saddle-Point Systems. In: Dick, J., Kuo, F. Y., Wozniakowski, H. (eds.) Contemporary Computational Mathematics – A Celebration of the 80th Birthday of Ian Sloan. Springer (2018)

32.

Paige, C.C., Saunders, M.A.: Solution of sparse indefinite systems of linear equations. SIAM J. Numer. Anal. 12(4), 617–629 (1975) MathSciNetMATH

33.

Hackbusch, W.: Elliptic Differential Equations: Theory and Numerical Treatment. Springer, Berlin (2017) MATH

34.

Ernst, O.G.: Residual-minimizing Krylov subspace methods for stabilized discretizations of convection–diffusion equations. SIAM J. Matrix Anal. Appl. 21(4), 1079–1101 (2000) MathSciNetMATH

35.

Liesen, J., Strakos, Z.: Convergence of GMRES for tridiagonal Toeplitz matrices. SIAM J. Matrix Anal. Appl. 26(1), 233–251 (2004) MathSciNetMATH

36.

Noschese, S., Pasquini, L., Reichel, L.: Tridiagonal Toeplitz matrices: properties and novel applications. Numer. Linear Alg. Appl. 20(2), 302–326 (2012) MathSciNetMATH

37.

Smith, G.D.: Numerical Solution of Partial Differential Equations: Finite Difference Methods, 3rd edn. Clarendon Press, Oxford (1985)

38.

Saad, Y., Schultz, M.H.: GMRES: a generalized minimal residual algorithm for solving nonsymmetric matrix systems. SIAM. J. Sci. Stat. Comput. 7(3), 856–869 (1986) MATH

39.

Bai, Z. -Z.: Structured preconditioners for nonsingular matrices of block two-by-two structures. Math. Comp. 75(254), 791–816 (2005) MathSciNetMATH

40.

Govaerts, W., Pryce, J.: A singular value inequality for block matrices. Linear Alg. Appl. 125, 141–148 (1989) MathSciNetMATH

41.

Murphy, M.F., Golub, G.H., Wathen, A.J.: A note on preconditioning for indefinite linear systems. SIAM J. Sci. Comput. 21(6), 1969–1972 (2000) MathSciNetMATH

42.

Notay, Y.: A new analysis of block preconditioners for saddle point problems. SIAM J. Matrix Anal. Appl. 35(1), 143–173 (2014) MathSciNetMATH

43.

Silvester, D., Elman, H., Ramage, A.: Incompressible Flow and Iterative Solver Software (IFISS) version 3.6, http://www.manchester.ac.uk/ifiss/ (February 2019)

44.

Elman, H., Ramage, A., Silvester, D.: Algorithm 866: IFISS, a Matlab toolbox for modelling incompressible flow. ACM Trans. Math. Softw. 33, 2–14 (2007) MATH

45.

Elman, H., Ramage, A., Silvester, D.: IFISS: A computational laboratory for investigating incompressible flow problems. SIAM Rev. 56, 261–273 (2014) MathSciNetMATH

46.

Kröner, A., Kunisch, K., Vexler, B.: Semismooth Newton methods for optimal control of the wave equation with control constraints. SIAM J. Control Optim. 49(2), 830–858 (2011) MathSciNetMATH

47.

Maday, Y., Turinici, G.: A parareal in time procedure for the control of partial differential equations. C. R. Math. 335(4), 387–392 (2002) MathSciNetMATH

48.

Mathew, T.P., Sarkis, M., Schaerer, C.E.: Analysis of block parareal preconditioners for parabolic optimal control problems. SIAM J. Sci. Comput. 32(3), 1180–1200 (2010) MathSciNetMATH

49.

Choi, H., Hinze, M., Kunisch, K.: Instantaneous control of backward-facing step flows. Appl. Numer. Math. 31(2), 133–158 (1999) MathSciNetMATH

Title: Parameter-robust preconditioning for the optimal control of the wave equation
Authors:: Jun Liu
John W. Pearson
Publication date: 21-05-2019
DOI: https://doi.org/10.1007/s11075-019-00720-y
Publisher: Springer US
Journal: Numerical Algorithms
Issue 3/2020
Print ISSN: 1017-1398
Electronic ISSN: 1572-9265

Premium Partner

Image Credits

Springer Professional

Hint

Swipe to navigate through the articles of this issue

Publisher’s note

Abstract

Please log in to get access to this content

To get access to this content you need the following product:

Springer Professional "Wirtschaft"

Springer Professional "Technik"

Springer Professional "Wirtschaft+Technik"

Other articles of this Issue 3/2020

A posteriori error estimates of hp spectral element methods for optimal control problems with L2-norm state constraint

A computational approach for the non-smooth solution of non-linear weakly singular Volterra integral equation with proportional delay

A matrix analysis approach to discrete comparison principles for nonmonotone PDE

Two families of scaled three-term conjugate gradient methods with sufficient descent property for nonconvex optimization

Quadrature rules from a RII type recurrence relation and associated quadrature rules on the unit circle

How to compute the minimum norm least squares solution of singular linear system by using the preconditioned HSS method?

Premium Partner