{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,20]],"date-time":"2026-05-20T22:16:52Z","timestamp":1779315412096,"version":"3.51.4"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2023,12,19]],"date-time":"2023-12-19T00:00:00Z","timestamp":1702944000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,12,19]],"date-time":"2023-12-19T00:00:00Z","timestamp":1702944000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100000082","name":"Division of Graduate Education","doi-asserted-by":"publisher","award":["2038238"],"award-info":[{"award-number":["2038238"]}],"id":[{"id":"10.13039\/100000082","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000121","name":"Division of Mathematical Sciences","doi-asserted-by":"publisher","award":["1813635"],"award-info":[{"award-number":["1813635"]}],"id":[{"id":"10.13039\/100000121","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000121","name":"Division of Mathematical Sciences","doi-asserted-by":"publisher","award":["1345013"],"award-info":[{"award-number":["1345013"]}],"id":[{"id":"10.13039\/100000121","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-18-1-0288"],"award-info":[{"award-number":["FA9550-18-1-0288"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Nonlinear Sci"],"published-print":{"date-parts":[[2024,2]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Adjoint systems are widely used to inform control, optimization, and design in systems described by ordinary differential equations or differential-algebraic equations. In this paper, we explore the geometric properties and develop methods for such adjoint systems. In particular, we utilize symplectic and presymplectic geometry to investigate the properties of adjoint systems associated with ordinary differential equations and differential-algebraic equations, respectively. We show that the adjoint variational quadratic conservation laws, which are key to adjoint sensitivity analysis, arise from (pre)symplecticity of such adjoint systems. We discuss various additional geometric properties of adjoint systems, such as symmetries and variational characterizations. For adjoint systems associated with a differential-algebraic equation, we relate the index of the differential-algebraic equation to the presymplectic constraint algorithm of Gotay et al. (J Math Phys 19(11):2388\u20132399, 1978). As an application of this geometric framework, we discuss how the adjoint variational quadratic conservation laws can be used to compute sensitivities of terminal or running cost functions. Furthermore, we develop structure-preserving numerical methods for such systems using Galerkin Hamiltonian variational integrators (Leok and Zhang in IMA J. Numer. Anal. 31(4):1497\u20131532, 2011) which admit discrete analogues of these quadratic conservation laws. We additionally show that such methods are natural, in the sense that reduction, forming the adjoint system, and discretization all commute, for suitable choices of these processes. We utilize this naturality to derive a variational error analysis result for the presymplectic variational integrator that we use to discretize the adjoint DAE system. Finally, we discuss the application of adjoint systems in the context of optimal control problems, where we prove a similar naturality result.\n<\/jats:p>","DOI":"10.1007\/s00332-023-09999-7","type":"journal-article","created":{"date-parts":[[2023,12,19]],"date-time":"2023-12-19T06:02:27Z","timestamp":1702965747000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Geometric Methods for Adjoint Systems"],"prefix":"10.1007","volume":"34","author":[{"given":"Brian Kha","family":"Tran","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8326-0830","authenticated-orcid":false,"given":"Melvin","family":"Leok","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,12,19]]},"reference":[{"key":"9999_CR1","doi-asserted-by":"publisher","DOI":"10.1515\/9781400830244","volume-title":"Optimization Algorithms on Matrix Manifolds","author":"P-A Absil","year":"2008","unstructured":"Absil, P.-A., Mahony, R., Sepulchre, R.: Optimization Algorithms on Matrix Manifolds. Princeton University Press, Princeton (2008)"},{"issue":"1","key":"9999_CR2","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1109\/TAC.2020.2976042","volume":"66","author":"MA Aguiar","year":"2021","unstructured":"Aguiar, M.A., Camponogara, E., Foss, B.: An augmented Lagrangian for optimal control of DAE systems: algorithm and properties. IEEE Trans. Autom. Control 66(1), 261\u2013266 (2021)","journal-title":"IEEE Trans. Autom. Control"},{"key":"9999_CR3","doi-asserted-by":"crossref","unstructured":"Barbero-Li\u00f1\u00e1n, M., Mart\u00edn de Diego, D.: Retraction maps: a seed of geometric integrators. arXiv:2106.00607 (2021)","DOI":"10.1007\/s10208-022-09571-x"},{"key":"9999_CR4","doi-asserted-by":"crossref","unstructured":"Barbero-Li\u00f1\u00e1n, M., Mart\u00edn de Diego, D.: Presymplectic integrators for optimal control problems via retraction maps. arXiv:2203.00790 (2022)","DOI":"10.1007\/978-3-031-10047-5_65"},{"issue":"2","key":"9999_CR5","doi-asserted-by":"publisher","first-page":"171","DOI":"10.3934\/jcd.2019009","volume":"6","author":"M Benning","year":"2019","unstructured":"Benning, M., Celledoni, E., Ehrhardt, M.J., Owren, B., Sch\u00f6nlieb, C.-B.: Deep learning as optimal control problems: models and numerical methods. J. Comput. Dyn. 6(2), 171\u2013198 (2019)","journal-title":"J. Comput. Dyn."},{"key":"9999_CR6","unstructured":"Berglund, N.: Perturbation Theory of Dynamical Systems. DEA (2007)"},{"key":"9999_CR7","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898719383","volume-title":"Nonlinear Programming: Concepts, Algorithms, and Applications to Chemical Processes","author":"LT Biegler","year":"2010","unstructured":"Biegler, L.T.: Nonlinear Programming: Concepts, Algorithms, and Applications to Chemical Processes. Society for Industrial and Applied Mathematics, Philadelphia (2010)"},{"key":"9999_CR8","unstructured":"Bullo, F., Lewis, A.\u00a0D.: Supplementary chapters for Geometric Control of Mechanical Systems (2014). http:\/\/motion.mee.ucsb.edu\/book-gcms\/"},{"key":"9999_CR9","doi-asserted-by":"publisher","DOI":"10.1016\/j.cnsns.2020.105289","volume":"89","author":"JW Burby","year":"2020","unstructured":"Burby, J.W., Klotz, T.J.: Slow manifold reduction for plasma science. Commun. Nonlinear Sci. Numer. Simul. 89, 105289 (2020)","journal-title":"Commun. Nonlinear Sci. Numer. Simul."},{"issue":"12","key":"9999_CR10","doi-asserted-by":"publisher","first-page":"2794","DOI":"10.1063\/1.525186","volume":"22","author":"DG Cacuci","year":"1981","unstructured":"Cacuci, D.G.: Sensitivity theory for nonlinear systems. I. Nonlinear functional analysis approach. J. Math. Phys. 22(12), 2794\u20132802 (1981)","journal-title":"J. Math. Phys."},{"issue":"3","key":"9999_CR11","doi-asserted-by":"publisher","first-page":"1076","DOI":"10.1137\/S1064827501380630","volume":"24","author":"Y Cao","year":"2003","unstructured":"Cao, Y., Li, S., Petzold, L., Serban, R.: Adjoint sensitivity analysis for differential-algebraic equations: the adjoint DAE system and its numerical solution. SIAM J. Sci. Comput. 24(3), 1076\u20131089 (2003)","journal-title":"SIAM J. Sci. Comput."},{"issue":"2","key":"9999_CR12","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/BF02721479","volume":"98","author":"JF Cari\u00f1ena","year":"1987","unstructured":"Cari\u00f1ena, J.F., Ibort, L.A., Gomis, J., Rom\u00e1n-Roy, N.: Applications of the canonical-transformation theory for presymplectic systems. Il Nuovo Cimento B (1971\u20131996) 98(2), 172\u2013196 (1987)","journal-title":"Il Nuovo Cimento B (1971\u20131996)"},{"key":"9999_CR13","doi-asserted-by":"crossref","unstructured":"Chen, Y., Trenn, S.: An approximation for nonlinear differential-algebraic equations via singular perturbation theory. arXiv:2103.12146 (2021)","DOI":"10.1016\/j.ifacol.2021.08.496"},{"issue":"1","key":"9999_CR14","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/S0034-4877(04)90004-3","volume":"53","author":"Manuel de Le\u00f3n","year":"2004","unstructured":"de Le\u00f3n, Manuel, Cort\u00e9s, Jorge, de Diego, Mart\u00edn, Mart\u00ednez, Sonia: General symmetries in optimal control. Rep. Math. Phys. 53(1), 55\u201378 (2004)","journal-title":"Rep. Math. Phys."},{"issue":"2","key":"9999_CR15","first-page":"129","volume":"18","author":"M Delgado-T\u00e9llez","year":"2003","unstructured":"Delgado-T\u00e9llez, M., Ibort, A.: A panorama of geometrical optimal control theory. Extracta Math. 18(2), 129\u2013151 (2003)","journal-title":"Extracta Math."},{"issue":"1","key":"9999_CR16","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/S0034-4877(03)90006-1","volume":"52","author":"A Echeverr\u00eda-Enr\u00edquez","year":"2003","unstructured":"Echeverr\u00eda-Enr\u00edquez, A., Mar\u00edn-Solano, J., Mu\u00f1oz-Lecanda, M.C., Rom\u00e1n-Roy, N.: Geometric reduction in optimal control theory with symmetries. Rep. Math. Phys. 52(1), 89\u2013113 (2003)","journal-title":"Rep. Math. Phys."},{"issue":"3","key":"9999_CR17","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1023\/A:1011430410075","volume":"65","author":"MB Giles","year":"2000","unstructured":"Giles, M.B., Pierce, N.A.: An introduction to the adjoint approach to design. Flow Turbul. Combust. 65(3), 393\u2013415 (2000)","journal-title":"Flow Turbul. Combust."},{"issue":"2","key":"9999_CR18","first-page":"129","volume":"30","author":"MJ Gotay","year":"1979","unstructured":"Gotay, M.J., Nester, J.M.: Presymplectic Lagrangian systems. I: the constraint algorithm and the equivalence theorem. Ann. de l\u2019I.H.P. Phys. Th\u00e9orique 30(2), 129\u2013142 (1979)","journal-title":"Ann. de l\u2019I.H.P. Phys. Th\u00e9orique"},{"issue":"11","key":"9999_CR19","doi-asserted-by":"publisher","first-page":"2388","DOI":"10.1063\/1.523597","volume":"19","author":"MJ Gotay","year":"1978","unstructured":"Gotay, M.J., Nester, J.M., Hinds, G.: Presymplectic manifolds and the Dirac\u2013Bergmann theory of constraints. J. Math. Phys. 19(11), 2388\u20132399 (1978)","journal-title":"J. Math. Phys."},{"key":"9999_CR20","doi-asserted-by":"crossref","unstructured":"Griewank, A.: A mathematical view of automatic differentiation. In: Acta Numer., vol.\u00a012, pp. 321\u2013398. Cambridge University Press (2003)","DOI":"10.1017\/S0962492902000132"},{"issue":"2","key":"9999_CR21","doi-asserted-by":"publisher","first-page":"742","DOI":"10.1016\/j.jmaa.2005.11.012","volume":"318","author":"NH Ibragimov","year":"2006","unstructured":"Ibragimov, N.H.: Integrating factors, adjoint equations and Lagrangians. J. Math. Anal. Appl. 318(2), 742\u2013757 (2006)","journal-title":"J. Math. Anal. Appl."},{"issue":"1","key":"9999_CR22","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/j.jmaa.2006.10.078","volume":"333","author":"NH Ibragimov","year":"2007","unstructured":"Ibragimov, N.H.: A new conservation theorem. J. Math. Anal. Appl. 333(1), 311\u2013328 (2007)","journal-title":"J. Math. Anal. Appl."},{"issue":"5","key":"9999_CR23","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/s10208-011-9096-2","volume":"11","author":"M Leok","year":"2011","unstructured":"Leok, M., Ohsawa, T.: Variational and geometric structures of discrete Dirac mechanics. Found. Comput. Math. 11(5), 529\u2013562 (2011)","journal-title":"Found. Comput. Math."},{"issue":"4","key":"9999_CR24","doi-asserted-by":"publisher","first-page":"1497","DOI":"10.1093\/imanum\/drq027","volume":"31","author":"M Leok","year":"2011","unstructured":"Leok, M., Zhang, J.: Discrete Hamiltonian variational integrators. IMA J. Numer. Anal. 31(4), 1497\u20131532 (2011)","journal-title":"IMA J. Numer. Anal."},{"issue":"1","key":"9999_CR25","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1016\/j.jcp.2003.01.001","volume":"198","author":"S Li","year":"2004","unstructured":"Li, S., Petzold, L.: Adjoint sensitivity analysis for time-dependent partial differential equations with adaptive mesh refinement. J. Comput. Phys. 198(1), 310\u2013325 (2004)","journal-title":"J. Comput. Phys."},{"key":"9999_CR26","doi-asserted-by":"crossref","unstructured":"Li, S., Petzold, L.\u00a0R.: Solution adapted mesh refinement and sensitivity analysis for parabolic partial differential equation systems. In: Biegler, L.\u00a0T., Heinkenschloss, M., Ghattas, O., van Bloemen\u00a0Waanders, B., (eds) Large-Scale PDE-Constrained Optimization, pp. 117\u2013132. Springer, Berlin (2003)","DOI":"10.1007\/978-3-642-55508-4_7"},{"issue":"3","key":"9999_CR27","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1137\/0914043","volume":"14","author":"SE Mattsson","year":"1993","unstructured":"Mattsson, S.E., S\u00f6derlind, G.: Index reduction in differential-algebraic equations using dummy derivatives. SIAM J. Sci. Comput. 14(3), 677\u2013692 (1993)","journal-title":"SIAM J. Sci. Comput."},{"issue":"C","key":"9999_CR28","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/j.automatica.2016.01.031","volume":"67","author":"VT Nguyen","year":"2016","unstructured":"Nguyen, V.T., Georges, D., Besan\u00e7on, G.: State and parameter estimation in 1-D hyperbolic PDEs based on an adjoint method. Automatica 67(C), 185\u2013191 (2016)","journal-title":"Automatica"},{"issue":"2","key":"9999_CR29","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1137\/S0036144598349423","volume":"42","author":"NA Pierce","year":"2000","unstructured":"Pierce, N.A., Giles, M.B.: Adjoint recovery of superconvergent functionals from PDE approximations. SIAM Rev. 42(2), 247\u2013264 (2000)","journal-title":"SIAM Rev."},{"issue":"1","key":"9999_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1111\/1467-9590.00159","volume":"106","author":"GJ Reid","year":"2001","unstructured":"Reid, G.J., Lin, P., Wittkopf, A.D.: Differential elimination-completion algorithms for DAE and PDAE. Stud. Appl. Math. 106(1), 1\u201345 (2001)","journal-title":"Stud. Appl. Math."},{"issue":"4","key":"9999_CR31","doi-asserted-by":"publisher","first-page":"963","DOI":"10.1137\/0726053","volume":"26","author":"M Roche","year":"1989","unstructured":"Roche, M.: Implicit Runge\u2013Kutta methods for differential algebraic equations. SIAM J. Numer. Anal. 26(4), 963\u2013975 (1989)","journal-title":"SIAM J. Numer. Anal."},{"issue":"1","key":"9999_CR32","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1196\/annals.1370.015","volume":"1065","author":"IM Ross","year":"2005","unstructured":"Ross, I.M.: A roadmap for optimal control: the right way to commute. Ann. NY Acad. Sci. 1065(1), 210\u2013231 (2005)","journal-title":"Ann. NY Acad. Sci."},{"issue":"13","key":"9999_CR33","first-page":"543","volume":"34","author":"M Ross","year":"2001","unstructured":"Ross, M., Fahroo, F.: A pseudospectral transformation of the convectors of optimal control systems. IFAC Proc. Ser. 34(13), 543\u2013548 (2001)","journal-title":"IFAC Proc. Ser."},{"issue":"1","key":"9999_CR34","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1137\/151002769","volume":"58","author":"JM Sanz-Serna","year":"2016","unstructured":"Sanz-Serna, J.M.: Symplectic Runge\u2013Kutta schemes for adjoint equations, automatic differentiation, optimal control, and more. SIAM Rev. 58(1), 3\u201333 (2016)","journal-title":"SIAM Rev."},{"issue":"1","key":"9999_CR35","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1093\/imanum\/drx010","volume":"38","author":"JM Schmitt","year":"2017","unstructured":"Schmitt, J.M., Leok, M.: Properties of Hamiltonian variational integrators. IMA J. Numer. Anal. 38(1), 377\u2013398 (2017)","journal-title":"IMA J. Numer. Anal."},{"issue":"12","key":"9999_CR36","doi-asserted-by":"publisher","first-page":"3373","DOI":"10.1175\/1520-0493(1997)125<3373:FDOAOA>2.0.CO;2","volume":"125","author":"Z Sirkes","year":"1997","unstructured":"Sirkes, Z., Tziperman, E.: Finite difference of adjoint or adjoint of finite difference? Mon. Weather Rev. 125(12), 3373\u20133378 (1997)","journal-title":"Mon. Weather Rev."},{"issue":"1","key":"9999_CR37","first-page":"113","volume":"99","author":"B Tran","year":"2022","unstructured":"Tran, B., Leok, M.: Multisymplectic Hamiltonian variational integrators. Int. J. Comput. Math. (Special Issue on Geometric Numerical Integration, Twenty-Five Years Later) 99(1), 113\u2013157 (2022)","journal-title":"Int. J. Comput. Math. (Special Issue on Geometric Numerical Integration, Twenty-Five Years Later)"},{"key":"9999_CR38","doi-asserted-by":"crossref","unstructured":"Vankerschaver, J., Yoshimura, H., Leok, M.: The Hamilton\u2013Pontryagin principle and multi-Dirac structures for classical field theories. J. Math. Phys. 53(7), 072903 (25 pages) (2012)","DOI":"10.1063\/1.4731481"},{"issue":"3","key":"9999_CR39","doi-asserted-by":"publisher","first-page":"581","DOI":"10.2514\/1.J051264","volume":"50","author":"Q Wang","year":"2012","unstructured":"Wang, Q., Duraisamy, K., Alonso, J.J., Iaccarino, G.: Risk assessment of scramjet unstart using adjoint-based sampling. AIAA J. 50(3), 581\u2013592 (2012)","journal-title":"AIAA J."},{"key":"9999_CR40","unstructured":"Yano, K., Ishihara, S.: Tangent and Cotangent Bundles: Differential Geometry. Pure Appl. Math., No. 16. Marcel Dekker, Inc., New York (1973)"},{"issue":"1","key":"9999_CR41","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/j.geomphys.2006.02.009","volume":"57","author":"H Yoshimura","year":"2006","unstructured":"Yoshimura, H., Marsden, J.E.: Dirac structures in Lagrangian mechanics Part I: implicit Lagrangian systems. J. Geom. Phys. 57(1), 133\u2013156 (2006)","journal-title":"J. Geom. Phys."},{"issue":"1","key":"9999_CR42","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/j.geomphys.2006.02.012","volume":"57","author":"H Yoshimura","year":"2006","unstructured":"Yoshimura, H., Marsden, J.E.: Dirac structures in Lagrangian mechanics Part II: variational structures. J. Geom. Phys. 57(1), 209\u2013250 (2006)","journal-title":"J. Geom. Phys."}],"container-title":["Journal of Nonlinear Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00332-023-09999-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00332-023-09999-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00332-023-09999-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,15]],"date-time":"2024-02-15T17:11:54Z","timestamp":1708017114000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00332-023-09999-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,19]]},"references-count":42,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,2]]}},"alternative-id":["9999"],"URL":"https:\/\/doi.org\/10.1007\/s00332-023-09999-7","relation":{},"ISSN":["0938-8974","1432-1467"],"issn-type":[{"value":"0938-8974","type":"print"},{"value":"1432-1467","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,12,19]]},"assertion":[{"value":"5 May 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 November 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 December 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"25"}}