zbMATH — the first resource for mathematics

Automated adjoints of coupled PDE-ODE systems. (English) Zbl 1420.65077
Summary: Mathematical models that couple partial differential equations (PDEs) and spatially distributed ordinary differential equations (ODEs) arise in biology, medicine, chemistry, and many other fields. In this paper we discuss an extension to the FEniCS finite element software for expressing and efficiently solving such coupled systems. Given an ODE described using an augmentation of the Unified Form Language (UFL) and a discretization described by an arbitrary Butcher tableau, efficient code is automatically generated for the parallel solution of the ODE. The high-level description of the solution algorithm also facilitates the automatic derivation of the adjoint and tangent linearization of coupled PDE-ODE solvers. We demonstrate the capabilities of the approach on examples from cardiac electrophysiology and mitochondrial swelling.
Reviewer: Reviewer (Berlin)
65L06 Multistep, Runge-Kutta and extrapolation methods for ordinary differential equations
65M60 Finite element, Rayleigh-Ritz and Galerkin methods for initial value and initial-boundary value problems involving PDEs
65M32 Numerical methods for inverse problems for initial value and initial-boundary value problems involving PDEs
35Q92 PDEs in connection with biology, chemistry and other natural sciences
Full Text: DOI
[1] M. S. Aln\aes, J. Blechta, J. Hake, A. Johansson, B. Kehlet, A. Logg, C. Richardson, J. Ring, M. E. Rognes, and G. N. Wells, The fenics project version 1.5, Arch. Numer. Softw., 3 (2015), https://doi.org/10.11588/ans.2015.100.20553.
[2] M. S. Aln\aes, A. Logg, K.-A. Mardal, O. Skavhaug, and H. P. Langtangen, Unified framework for finite element assembly, Int. J. Comput. Sci. Engrg., 4 (2009), pp. 231–244, https://doi.org/10.1504/IJCSE.2009.029160.
[3] M. S. Aln\aes, A. Logg, K. B. Ølgaard, M. E. Rognes, and G. N. Wells, Unified form language: A domain-specific language for weak formulations of partial differential equations, ACM Trans. Math. Softw., 40 (2014), https://doi.org/10.1145/2566630. · Zbl 1308.65175
[4] H. J. Arevalo, F. Vadakkumpadan, E. Guallar, A. Jebb, P. Malamas, K. C. Wu, and N. A. Trayanova, Arrhythmia risk stratification of patients after myocardial infarction using personalized heart models, Nature Commun., 7 (2016), 11437.
[5] R. Becker and R. Rannacher, An optimal control approach to a posteriori error estimation in finite element methods, Acta Numerica, 10 (2001), pp. 1–102, https://doi.org/10.1017/S0962492901000010. · Zbl 1105.65349
[6] G. W. Beeler and H. Reuter, Reconstruction of the action potential of ventricular myocardial fibres, J. Physiology, 268 (1977), pp. 177–210.
[7] G. J. Bignell and P. R. Johnston, Split operator finite element method for modelling pulmonary gas exchange, in Proceedings of the 13th Biennial Computational Techniques and Applications Conference, CTAC-2006, W. Read and A. J. Roberts, eds., vol. 48 of ANZIAM J., Aug. 2007, pp. C364–C380. http://anziamj.austms.org.au/ojs/index.php/ANZIAMJ/article/view/125. · Zbl 1334.92102
[8] J. C. Butcher, Numerical Methods for Ordinary Differential Equations, John Wiley & Sons, New York, 2008.
[9] P. Deuflhard, Newton Methods for Nonlinear Problems, Springer Series in Computational Mathematics 35, Springer-Verlag, New York, 2011.
[10] S. Eisenhofer, A coupled system of ordinary and partial differential equations modeling the swelling of mitochondria, PhD thesis, Technical University of Munich, 2013.
[11] P. E. Farrell, J. E. Hake, S. W. Funke, and M. E. Rognes, Supplementary code for “Automated adjoints of coupled PDE-ODE systems” , Aug. 2017, https://doi.org/10.5281/zenodo.843495.
[12] P. E. Farrell, D. A. Ham, S. W. Funke, and M. E. Rognes, Automated derivation of the adjoint of high-level transient finite element programs, SIAM J. Sci. Comput., 35 (2013), pp. C369–C393, https://doi.org/10.1137/120873558.
[13] R. FitzHugh, Impulses and physiological states in theoretical models of nerve membrane, Biophys. J., 1 (1961), pp. 445–466.
[14] J. Geiser, Iterative operator splitting method for coupled problems: Transport and electric fields, J. Informatics Math. Sci., 3 (2011), pp. 107–125.
[15] R. Glowinski, S. J. Osher, and W. Yin, Splitting Methods in Communication, Imaging, Science, and Engineering, Springer, New York, 2017.
[16] E. Grandi, F. S. Pasqualini, and D. M. Bers, A novel computational model of the human ventricular action potential and ca transient, J. Molecular Cellular Cardiology, 48 (2010), pp. 112–121.
[17] A. Griewank and A. Walther, Algorithm 799: Revolve: An implementation of checkpointing for the reverse or adjoint mode of computational differentiation, ACM Trans. Math. Softw., 26 (2000), pp. 19–45. · Zbl 1137.65330
[18] M. D. Gunzburger, Perspectives in Flow Control and Optimization, Advances in Design and Control, SIAM, 2003.
[19] S. Kallhovd, M. M. Maleckar, and M. E. Rognes, Inverse estimation of cardiac ACTIVATION times via gradient-based optimisation, Int. J. Numer. Methods Biomed. Engrg., 34 (2018), e2919, https://doi.org/10.1002/cnm.2919.
[20] A. Kv, Singly diagonally implicit Runge–Kutta methods with an explicit first stage, BIT, 44 (2004), pp. 489–502.
[21] A. Logg, K.-A. Mardal, G. N. Wells, et al., Automated Solution of Differential Equations by the Finite Element Method, Springer, New York, 2012, https://doi.org/10.1007/978-3-642-23099-8. · Zbl 1247.65105
[22] A. Logg, K. B. Ølgaard, M. E. Rognes, and G. N. Wells, FFC: the FEniCS Form Compiler, Springer, New York, 2012.
[23] A. Logg and G. N. Wells, Dolfin: Automated finite element computing, ACM Trans. Math. Softw., 37 (2010), https://doi.org/10.1145/1731022.1731030. · Zbl 1364.65254
[24] J. Lotz, U. Naumann, R. Hannemann-Tamás, T. Ploch, and A. Mitsos, Higher-order discrete adjoint ODE solver in C++ for dynamic optimization, Procedia Comput. Sci., 51 (2015), pp. 256–265.
[25] R. I. McLachlan and G. R. W. Quispel, Splitting methods, Acta Numerica, 11 (2002), pp. 341–434.
[26] G. R. Mirams, C. J. Arthurs, M. O. Bernabeu, R. Bordas, J. Cooper, A. Corrias, Y. Davit, S.-J. Dunn, A. G. Fletcher, D. G. Harvey, et al., Chaste: An open source C++ library for computational physiology and biology, PLoS Comput. Biol., 9 (2013), e1002970.
[27] S. Niederer, L. Mitchell, N. Smith, and G. Plank, Simulating human cardiac electrophysiology on clinical time-scales, Frontiers Physiology, 2 (2011), 14, https://doi.org/10.3389/fphys.2011.00014.
[28] T. O’Hara, L. Virág, A. Varró, and Y. Rudy, Simulation of the undiseased human cardiac ventricular action potential: model formulation and experimental validation, PLoS Comput. Biol., 7 (2011), e1002061.
[29] C. Prud’Homme, V. Chabannes, V. Doyeux, M. Ismail, A. Samake, and G. Pena, Feel++: A Computational Framework for Galerkin Methods and Advanced Numerical Methods, ESAIM: Proceedings, 38 (2012), pp. 429–455, https://doi.org/10.1051/proc/201238024. · Zbl 1329.65277
[30] F. Rathgeber, D. A. Ham, L. Mitchell, M. Lange, F. Luporini, A. T. T. McRae, G.-T. Bercea, G. R. Markall, and P. H. J. Kelly, Firedrake: Automating the finite element method by composing abstractions, preprint, , 2015, http://arxiv.org/abs/1501.01809. · Zbl 1396.65144
[31] C. N. Richardson and G. N. Wells, Parallel scaling of DOLFIN on ARCHER Retrieved: 11 35, May 29, 2017 (GMT), 2015, https://doi.org/10.6084/m9.figshare.1304537.v1.
[32] S. Rush and H. Larsen, A practical algorithm for solving dynamic membrane equations, IEEE Trans. Biomed. Eng., 25 (1978), pp. 389–392, https://doi.org/10.1109/TBME.1978.326270.
[33] R. Serban and A. C. Hindmarsh, CVODES: The sensitivity-enabled ode solver in sundials, in ASME 2005 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, American Society of Mechanical Engineers, Long Beach, CA, 2005, pp. 257–269.
[34] G. Strang, On the construction and comparison of difference schemes, SIAM J. Numer. Anal., 5 (1968), pp. 506–517. · Zbl 0184.38503
[35] J. Sundnes, R. Artebrant, O. Skavhaug, and A. Tveito, A second-order algorithm for solving dynamic cell membrane equations., IEEE Trans. Biomed. Eng., 56 (2009), pp. 2546–2548, https://doi.org/10.1109/TBME.2009.2014739.
[36] J. Sundnes, G. T. Lines, X. Cai, B. F. Nielsen, K.-A. Mardal, and A. Tveito, Computing the Electrical Activity in the Heart, Springer-Verlag, New York, 2006. · Zbl 1182.92020
[37] K. ten Tusscher and A. Panfilov, Cell model for efficient simulation of wave propagation in human ventricular tissue under normal and pathological conditions, Phys. Med. Biol., 51 (2006), pp. 6141–6156.
[38] E. Vigmond, R. W. Dos Santos, A. Prassl, M. Deo, and G. Plank, Solvers for the cardiac bidomain equations, Progress Biophys. Molecular Biol., 96 (2008), pp. 3–18.
[39] F. Wang, J. Bright, and J. Hadfield, Simulating nitrate transport in an alluvial aquifer: a three dimensional n-dynamics model, J. Hydrology, 42 (2003), pp. 145–162.
[40] P. J. Whiteley, J. D. Gavaghan, and E. C. Hahn, Mathematical modelling of pulmonary gas transport, J. Math. Biol., 47 (2003), pp. 79–99, https://doi.org/10.1007/s00285-003-0196-8. · Zbl 1023.92005
[41] H. Zhang and A. Sandu, FATODE: A library for forward, adjoint, and tangent linear integration of ODEs, SIAM J. Sci. Comput., 36 (2014), pp. C504–C523.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.