Journal of Scientific Computing

, Volume 70, Issue 2, pp 717–743 | Cite as

Two-Level Space–Time Domain Decomposition Methods for Flow Control Problems

  • Haijian Yang
  • Xiao-Chuan CaiEmail author


For time-dependent control problems, the class of sub-optimal algorithms is popular and the parallelization is usually applied in the spatial dimension only. In the paper, we develop a class of fully-optimal methods based on space–time domain decomposition methods for some boundary and distributed control of fluid flow and heat transfer problems. In the fully-optimal approach, we focus on the use of an inexact Newton solver for the necessary optimality condition arising from the implicit discretization of the optimization problem and the use of one-level and two-level space–time overlapping Schwarz preconditioners for the Jacobian system. We show that the numerical solution from the fully-optimal approach is generally better than the solution from the sub-optimal approach in terms of meeting the objective of the optimization problem. To demonstrate the robustness and parallel scalability and efficiency of the proposed algorithm, we present some numerical results obtained on a parallel computer with a few thousand processors.


Time-dependent PDE-constrained optimization Boundary and distributed flow control Domain decomposition Space–time method Parallel computing 



The authors would like to express their appreciations to the anonymous reviewers for the invaluable comments that have greatly improved the quality of the manuscript. This research was supported by the NSFC Grants 11571100 and 91330111. Haijian Yang was also supported in part by the NSFC Grant 11272352 and the Planned Science and Technology Project of Hunan Province under grant 2015JC3055.


  1. 1.
    Akcelik, V., Biros, G., Draganescu, A., Ghattas, O., Hill, J.,Waanders, B.: Dynamic data-driven inversion for terascale simulations: real-time identification of airborne contaminants. In: Proceedings of Supercomputing, Seattle, WA (2005)Google Scholar
  2. 2.
    Balay, S., Abhyankar, S., Adams, F.A., Brown, J., Brune, P., Buschelman, K., Dalcin, L., Eijkhout, V., Gropp, W.D., Kaushik, D., Knepley, M.G., McInnes, L.C., Rupp, K., Smith, B.F., Zampini, S., Zhang, H.: PETSc Users Manual. Argonne National Laboratory, Illinois (2015)Google Scholar
  3. 3.
    Barker, A., Stoll, M.: Domain decomposition in time for PDE-constrained optimization. Comput. Phys. Commun. 197, 136–143 (2015)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Bewley, T.R.: Flow control: new challenges for a new renaissance. Prog. Aerosp. Sci. 37, 21–58 (2001)CrossRefGoogle Scholar
  5. 5.
    Bewley, T.R., Temam, R., Ziane, M.: A general framework for robust control in fluid mechanics. Phys. D 138, 360–392 (2000)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Biegler, L.T., Ghattas, O., Heinkenschloss, M., Keyes, D., Van Bloemen Waanders, B.: Real-Time PDE-Constrained Optimization, Computer Science Engineering. SIAM, Philadelphia (2007)CrossRefzbMATHGoogle Scholar
  7. 7.
    Biros, G., Ghattas, O.: Parallel Lagrange–Newton–Krylov–Schur methods for PDE-constrained optimization, part I: the Krylov–Schur solver. SIAM J. Sci. Comput. 27, 687–713 (2005)CrossRefzbMATHGoogle Scholar
  8. 8.
    Biros, G., Ghattas, O.: Parallel Lagrange–Newton–Krylov–Schur methods for PDE-constrained optimization, part II: the Lagrange–Newton solver and its application to optimal control of steady viscous flows. SIAM J. Sci. Comput. 27, 714–739 (2005)CrossRefzbMATHGoogle Scholar
  9. 9.
    Cai, X.-C., Gropp, W.D., Keyes, D.E., Melvin, R.G., Young, D.P.: Parallel Newton–Krylov–Schwarz algorithms for the transonic full potential equation. SIAM J. Sci. Comput. 19, 246–265 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
  10. 10.
    Chen, R., Cai, X.-C.: Parallel one-shot Lagrange–Newton–Krylov–Schwarz algorithms for shape optimization of steady incompressible flows. SIAM J. Sci. Comput. 34, B584–B605 (2012)MathSciNetCrossRefzbMATHGoogle Scholar
  11. 11.
    Chen, R., Cai, X.-C.: A parallel two-level domain decomposition based one-shot method for shape optimization problems. Int. J. Numer. Meth. Eng. 99, 945–965 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Deng, X.M., Cai, X.-C., Zou, J.: A parallel space-time domain decomposition method for unsteady source inversion problems. Inverse Probl. Imag. 9, 1069–1091 (2015)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Deng, X.M., Cai, X.-C., Zou, J.: Two-level space–time domain decomposition methods for three-dimensional unsteady inverse source problems. J. Sci. Comput. 67, 860–882 (2016)MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Dembo, R.S., Eisenstat, S.C., Steihaug, T.: Inexact Newton methods. SIAM J. Numer. Anal. 19, 400–408 (1982)MathSciNetCrossRefzbMATHGoogle Scholar
  15. 15.
    Dennis, J.E., Schnabel, R.B.: Numerical Methods for Unconstrained Optimization and Nonlinear Equations. SIAM, Philadelphia (1996)CrossRefzbMATHGoogle Scholar
  16. 16.
    Du, X., Sarkis, M., Schaerer, C.E., Szyld, D.B.: Inexact and truncated parareal-in-time Krylov subspace methods for parabolic optimal control problems. ETNA 40, 36–57 (2013)MathSciNetzbMATHGoogle Scholar
  17. 17.
    Eisenstat, S.C., Walker, H.F.: Globally convergent inexact Newton method. SIAM J. Optim. 4, 393–422 (1994)MathSciNetCrossRefzbMATHGoogle Scholar
  18. 18.
    Evans, K.J., Knoll, D.A.: Temporal accuracy of phase change convection simulations using the JFNK-SIMPLE algorithm. Int. J. Numer. Meth. Fluids 55, 637–655 (2007)CrossRefzbMATHGoogle Scholar
  19. 19.
    Ghattas, O., Bark, J.-H.: Optimal control of two- and three-dimensional incompressible Navier-Stokes flows. J. Comput. Phys. 136, 231–244 (1997)CrossRefzbMATHGoogle Scholar
  20. 20.
    Gunzburger, M., Hou, L., Svobodny, T.: The approximation of boundary control problems for fluid flows with an application to control by heating and cooling. Comput. Fluids 22, 239–251 (1993)CrossRefzbMATHGoogle Scholar
  21. 21.
    Gunzburger, M., Manservis, S.: The velocity tracking problem for Navier-Stokes flows with bounded distributed control. SIAM J. Control Optim. 37, 1913–1945 (1999)MathSciNetCrossRefzbMATHGoogle Scholar
  22. 22.
    Gunzburger, M., Manservis, S.: The velocity tracking problem for Navier-Stokes flow with boundary control. SIAM J. Numer. Anal. 39, 594–634 (2000)MathSciNetGoogle Scholar
  23. 23.
    Gunzburger, M., Manservis, S.: Analysis and approximation of the velocity tracking problem for Navier–Stokes flows with distributed control. SIAM J. Numer. Anal. 37, 481–1512 (2000)MathSciNetGoogle Scholar
  24. 24.
    Gunzburger, M.: Perspectives in Flow Control and Optimization, 1st edn. SIAM, Philadelphia (2003)zbMATHGoogle Scholar
  25. 25.
    Heinkenschloss, M.: A time-domain decomposition iterative method for the solution of distributed linear quadratic optimal control problems. J. Comput. Appl. Math. 173, 169–198 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
  26. 26.
    Hinze, M., Köster, M., Turek S.: A hierarchical space-time solver for distributed control of the stokes equation. Priority Programme 1253, Technical Report SPP1253-16-01 (2008)Google Scholar
  27. 27.
    Hinze, M., Köster, M., Turek, S.: Space–Time Newton-Multigrid Strategies for Nonstationary Distributed and Boundary Flow Control Problems. Springer, New York (2014)CrossRefzbMATHGoogle Scholar
  28. 28.
    Ito, K., Ravindran, S.S.: Optimal control of thermally convected flows. SIAM J. Sci. Comput. 19, 1847–1869 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
  29. 29.
    Knoll, D.A., Chacón, L., Margolin, L.G., Mousseau, V.A.: On balanced approximations for time integration of multiple time scale systems. J. Comput. Phys. 185, 583–611 (2003)CrossRefzbMATHGoogle Scholar
  30. 30.
    Knoll, D.A., Keyes, D.E.: Jacobian-free Newton–Krylov methods: a survey of approaches and applications. J. Comput. Phys. 193, 357–397 (2004)MathSciNetCrossRefzbMATHGoogle Scholar
  31. 31.
    Kunisch, K., Sachs, E.W.: Reduced SQP methods for parameter identification problems. SIAM J. Numer. Anal. 29, 1793–1820 (1992)MathSciNetCrossRefzbMATHGoogle Scholar
  32. 32.
    Kupfer, F.S., Sachs, E.W.: Numerical solution of a nonlinear parabolic control problem by a reduced SQP method. Comput. Optim. Appl. 1, 113–135 (1992)MathSciNetCrossRefzbMATHGoogle Scholar
  33. 33.
    Li, S., Cai, X.-C.: Convergence analysis of two-level space–time additive Schwarz method for parabolic equations. SIAM J. Numer. Anal. 53, 2727–2751 (2015)MathSciNetCrossRefzbMATHGoogle Scholar
  34. 34.
    Moin, P., Bewley, T.R.: Feedback control of turbulence. Appl. Mech. Rev. 47, 3–13 (1994)CrossRefGoogle Scholar
  35. 35.
    Prudencio, E., Byrd, R., Cai, X.-C.: Parallel full space SQP Lagrange–Newton–Krylov–Schwarz algorithms for PDE-constrained optimization problems. SIAM J. Sci. Comput. 27, 1305–1328 (2006)MathSciNetCrossRefzbMATHGoogle Scholar
  36. 36.
    Prudencio, E., Cai, X.-C.: Parallel multilevel restricted Schwarz preconditioners with pollution removing for PDE-constrained optimization. SIAM J. Sci. Comput. 29, 964–985 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  37. 37.
    Quartapelle, L.: Numerical Solution of the Incompressible Navier–Stokes Equations. International Series of Numerical Mathematics, vol. 113. Birkhäuser Verlag, Basel (1996)Google Scholar
  38. 38.
    Ravindran, S.S.: Adaptive reduced-order controllers for a thermal flow system using proper orthogonal decomposition. SIAM J. Sci. Comput. 23, 1924–1942 (2002)MathSciNetCrossRefzbMATHGoogle Scholar
  39. 39.
    Ravindran, S.S.: Numerical approximation of optimal control of unsteady flows using SQP and time decomposition. Int. J. Numer. Meth. Fluids 45, 21–42 (2004)MathSciNetCrossRefzbMATHGoogle Scholar
  40. 40.
    Saad, Y.: Iterative Methods for Sparse Linear Systems, 2nd edn. SIAM, Philadelphia (2003)CrossRefzbMATHGoogle Scholar
  41. 41.
    Schulz, V.: Solving discretized optimization problems by partially reduced SQP methods. Comput. Vis. Sci. 1, 83–96 (1998)CrossRefzbMATHGoogle Scholar
  42. 42.
    Smith, B., Bjørstad, P., Gropp, W.: Domain Decomposition: Parallel Multilevel Methods for Elliptic Partial Differential Equations. Cambridge University Press, Cambridge (1996)zbMATHGoogle Scholar
  43. 43.
    Stoll, M., Wathen, A.: All-at-once solution of time-dependent PDE-constrained optimization problems. Technical Report. University of Oxford (2010)Google Scholar
  44. 44.
    Stoll, M., Wathen, A.: All-at-once solution of time-dependent Stokes control. J. Comput. Phys. 232, 498–515 (2013)MathSciNetCrossRefGoogle Scholar
  45. 45.
    Toselli, A., Widlund, O.: Domain Decomposition Methods-Algorithms and Theory. Springer, Berlin (2005)CrossRefzbMATHGoogle Scholar
  46. 46.
    Wu, Y., Cai, X.-C.: A fully implicit domain decomposition based ALE framework for three-dimensional fluid-structure interaction with application in blood flow computation. J. Comput. Phys. 258, 524–537 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
  47. 47.
    Yan, Y., Keyes, D.E.: Smooth and robust solutions for Dirichlet boundary control of fluid-solid conjugate heat transfer problems. J. Comput. Phys. 281, 759–786 (2015)MathSciNetCrossRefzbMATHGoogle Scholar
  48. 48.
    Yang, C., Cai, X.-C.: Parallel multilevel methods for implicit solution of shallow water equations with nonsmooth topography on cubed-sphere. J. Comput. Phys. 230, 2523–2539 (2011)MathSciNetCrossRefzbMATHGoogle Scholar
  49. 49.
    Yang, C., Cai, X.-C.: A scalable fully implicit compressible Euler solver for mesoscale nonhydrostatic simulation of atmospheric flows. SIAM J. Sci. Comput. 35, S23–S47 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
  50. 50.
    Yang, H., Cai, X.-C.: Scalable parallel algorithms for boundary control of thermally convective flows. 13th IEEE International Workshop on Parallel and Distributed Scientific and Engineering Computing, Shanghai, pp. 1387–1396 (2012)Google Scholar
  51. 51.
    Yang, H., Cai, X.-C.: Parallel fully implicit two-grid Lagrange–Newton–Krylov–Schwarz methods for distributed control of unsteady incompressible flows. Int. J. Numer. Meth. Fluids 72, 1–21 (2013)CrossRefGoogle Scholar
  52. 52.
    Yang, H., Hwang, F.-N., Cai, X.-C.: Nonlinear preconditioning techniques for full-space Lagrange–Newton solution of PDE-constrained optimization problems. SIAM J. Sci. Comput. (2016) (to appear)Google Scholar
  53. 53.
    Yang, H., Prudencio, E., Cai, X.-C.: Fully implicit Lagrange–Newton–Krylov–Schwarz algorithms for boundary control of unsteady incompressible flows. Int. J. Numer. Meth. Eng. 91, 644–665 (2012)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer Science+Business Media New York 2016

Authors and Affiliations

  1. 1.College of Mathematics and EconometricsHunan UniversityChangshaPeople’s Republic of China
  2. 2.Department of Computer ScienceUniversity of Colorado BoulderBoulderUSA

Personalised recommendations