Automated derivation of the adjoint of high-level transient finite element programs

SIAM Journal on Scientific Computing

Volumn 35, Issue 4, 2013, Pages

  Farrell, P E ^a,b   Ham, D A ^a   Funke, S W ^a   Rognes, M E ^b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b SIMULA RESEARCH LABORATORY   (Norway)

Author keywords

Adjoint; Code generation; Dolfin adjoint; FEniCS project; Libadjoint; Tangent linear

Indexed keywords

APPLICATION PROGRAMMING INTERFACES (API); AUTOMATION; C++ (PROGRAMMING LANGUAGE); NONLINEAR SYSTEMS;

ADJOINT MODELLING; ADJOINTS; CODEGENERATION; DOLFIN-ADJOINT; FENICS PROJECT; LIBADJOINT; NON-LINEAR MODELLING; TANGENT LINEAR; TANGENT LINEAR MODELS;

FINITE ELEMENT METHOD;

EID: 84886840970     PISSN: 10648275     EISSN: 10957200     Source Type: Journal    
DOI: 10.1137/120873558     Document Type: Article

References (55)

1. M. S. Alnæs, UFL: A finite element form language, in Automated Solution of Differential Equations by the Finite Element Method, A. Logg, K. A. Mardal, and G. N. Wells, eds., Springer, New York, 2011, pp. 299-334.
2. M. S. Alnæs, 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, preprint, arXiv:1211.4047, 2012.
3. S. Balay, J. Brown, K. Buschelman, V. Eijkhout, W. D. Gropp, D. Kaushik, M. G. Knepley, L. Curfman McInnes, B. F. Smith, and H. Zhang, PETSc Users Manual, v. 3.1, Technical Report ANL-95/11, Argonne National Laboratory, Lamont, IL, 2010.
4. R. Becker and R. Rannacher, An optimal control approach to a posteriori error estimation in finite element methods, Acta Numer., 10 (2001), pp. 1-102. (Pubitemid 33305809)
5. M. Burger, S.-Y. Chu, P. A. Markowich, and C. B Schonlieb, The Willmore functional and instabilities in the Cahn-Hilliard equation, Comm. Math. Sci., 6 (2008), pp. 309-329.
6. D. G. Cacuci, Sensitivity theory for nonlinear systems. I. Nonlinear functional analysis approach, J. Math. Phys., 22 (1981), pp. 2794-2802.
7. J. W. Cahn, On spinoidal decomposition, Acta Metall., 9 (1961), pp. 795-801.
8. J.W. Cahn and J. E. Hilliard, Free energy of a nonuniform system. I. Interfacial free energy, J. Chem. Phys., 28 (1958), pp. 258-267.
9. T. F. Coleman, F. Santosa, and A. Verma, Semi-automatic differentiation, in Computational Methods for Optimal Design and Control: Proceedings of the AFOSR Workshop on Optimal Design and Control, Arlington, VA, 1998, Birkhäuser, Boston, pp. 113-126.
10. J. Crank and P. Nicolson, A practical method for numerical evaluation of solutions of partial differential equations of the heat-conduction type, Proc. Cambridge Philos. Soc., 43 (1947), pp. 50-67.
11. D. R. Davies, C. R. Wilson, and S. C. Kramer, Fluidity: A fully unstructured anisotropic adaptive mesh computational modeling framework for geodynamics, Geochem. Geophys. Geosystems, 12 (2011).
12. M. Förster, U. Naumann, and J. Utke, Toward Adjoint OpenMP, Technical Report AIB- 2011-13, RWTH Aachen, Aachen, Germany, 2011.
13. N. R. Gauger, A. Walther, C. Moldenhauer, and M. Widhalm, Automatic differentiation of an entire design chain for aerodynamic shape optimization, in New Results in Numerical and Experimental Fluid Mechanics VI, C. Tropea, S. Jakirlic, H.-J. Heinemann, R. Henke, and H. Hönlinger, eds., Notes on Numerical Fluid Mech. Multidisciplinary Design 96, Springer, New York, 2008, pp. 454-461.
14. J. C. Gilbert, Automatic differentiation and iterative processes, Optim. Methods Software, 1 (1992), pp. 13-21.
15. M. B. Giles, D. Ghate, and M. C. Duta, Using automatic differentiation for adjoint CFD code development, in Proceedings of the Post-SAROD Indo-French Workshop on Recent Developments in Tools for Aerodynamics & Multidisciplinary Optimization, Bangalore, 2005.
16. D. Greitz, Unraveling the riddle of syringomyelia, Neurosurgical Rev., 29 (2006), pp. 251-264.
17. A. Griewank, Achieving logarithmic growth of temporal and spatial complexity in reverse automatic differentiation, Optim. Methods Software, 1 (1992), pp. 35-54. (Pubitemid 23615795)
18. A. Griewank and A. Walther, Algorithm 799: Revolve: An implementation of checkpointing for the reverse or adjoint mode of computational differentiation, ACM Trans. Math. Software, 26 (2000), pp. 19-45.
19. J. Grimm, L. Pottier, and N. Rostaing-Schmidt, Optimal time and minimum space-time product for reversing a certain class of programs, in Computational Differentiation: Techniques, Applications, and Tools, M. Berz, C. Bischof, G. Corliss, and A. Griewank, eds., SIAM, Philadelphia, 1996, pp. 95-106.
20. M. D. Gunzburger, Perspectives in Flow Control and Optimization, Adv. Des. Control 5, SIAM, Philadelphia, 2002.
21. P. Heimbach, C. Hill, and R. Giering, Automatic generation of efficient adjoint code for a parallel Navier-Stokes solver, in Computational Science - ICCS 2002, P. Sloot, A. Hoekstra, C. Tan, and J. Dongarra, eds., Lecture Notes in Comput. Sci. 2330, Springer, New York, 2002, pp. 1019-1028.
22. P. Heimbach, C. Hill, and R. Giering, An efficient exact adjoint of the parallel MIT general circulation model, generated via automatic differentiation, Fut. Gen. Comp. Sys., 21 (2005), pp. 1356-1371. (Pubitemid 41214600)
23. J. D. Heiss, N. Patronas, H. L. DeVroom, T. Shawker, R. Ennis,W. Kammerer, A. Eidsath, T. Talbot, J. Morris, E. Eskioglu, and E. H. Oldfield, Elucidating the pathophysiology of syringomyelia, J. Neurosurgery, 91 (1999), pp. 553-562. (Pubitemid 30133450)
24. M. Hinze and J. Sternberg, A-revolve: An adaptive memory-reduced procedure for calculating adjoints; with an application to computing adjoints of the instationary Navier-Stokes system, Optim. Methods Software, 20 (2005), pp. 645-663. (Pubitemid 43024422)
25. P. Hovland, B. Norris, and B. Smith, Making automatic differentiation truly automatic: Coupling PETSc with ADIC, in Computational Science - ICCS 2002, P. Sloot, A. Hoekstra, C. Tan, and J. Dongarra, eds., Lecture Notes in Comput. Sci. 2330, Springer, New York, 2002, pp. 1087-1096.
26. R. C. Kirby and A. Logg, A compiler for variational forms, ACM Trans. Math. Software, 32 (2006), pp. 417-444. (Pubitemid 44495249)
27. R. C. Kirby and A. Logg, Efficient compilation of a class of variational forms, ACMTrans. Math. Software, 33 (2007), pp. 93-138.
28. F.-X. Le Dimet and O. Talagrand, Variational algorithms for analysis and assimilation of meteorological observations: Theoretical aspects, Tellus A, 38A (1986), pp. 97-110.
29. D. N. Levine, The pathogenesis of syringomyelia associated with lesions at the foramen magnum: A critical review of existing theories and proposal of a new hypothesis, J. Neurological Sci., 220 (2004), pp. 3-21. (Pubitemid 38655959)
30. J. L. Lions, Optimal Control of Systems Governed by Partial Differential Equations, Springer- Verlag, Berlin, 1971.
31. A. Logg, Automating the finite element method, Arch. Comput. Methods Engrg., 14 (2007), pp. 93-138. (Pubitemid 351202239)
32. A. Logg, K. A. Mardal, and G. N. Wells, eds., Automated Solution of Differential Equations by the Finite Element Method, Springer, New York, 2011.
33. A. Logg and G. N. Wells, DOLFIN: Automated finite element computing, ACM Trans. Math. Software, 37 (2010), 20.
34. A. Logg, G. N. Wells, and J. Hake, DOLFIN: A C++/Python finite element library, in Automated Solution of Differential Equations by the Finite Element Method, A. Logg, K. A. Mardal, and G. N. Wells, eds., Springer, New York, 2011, pp. 171-222.
35. K. Long, R. Kirby, and B. Van BloemenWaanders, Unified embedded parallel finite element computations via software-based Fréchet differentiation, SIAM J. Sci. Comput., 32 (2010), pp. 3323-3351.
36. E. N. Lorenz, A study of the predictability of a 28-variable atmospheric model, Tellus, 17 (1965), pp. 321-333.
37. G. R. Markall, A. Slemmer, D. A. Ham, P. H. J. Kelly, C. D. Cantwell, and S. J. Sherwin, Finite element assembly strategies on multi-core and many-core architectures, Int. J. Numer. Methods Fluids, 71 (2013), pp. 80-97.
38. A. C. Marta, C. A. Mader, J. R. R. A. Martins, E. Van der Weide, and J. J. Alonso, A methodology for the development of discrete adjoint solvers using automatic differentiation tools, Int. J. Comput. Fluid Dynam., 21 (2007), pp. 307-327.
39. U. Naumann, The Art of Differentiating Computer Programs: An Introduction to Algorithmic Differentiation, Software Environ. Tools 24, SIAM, Philadelphia, 2012.
40. I. M. Navon, Practical and theoretical aspects of adjoint parameter estimation and identifiability in meteorology and oceanography, Dynam. Atmos. Oceans, 27 (1998), pp. 55-79.
41. K. B. Ølgaard and G. N. Wells, Optimizations for quadrature representations of finite element tensors through automated code generation, ACM Trans. Math. Software, 37 (2010), 8.
42. T. N. Palmer, R. Gelaro, J. Barkmeijer, and R. Buizza, Singular vectors, metrics, and adaptive observations, J. Atmospheric Sci., 55 (1998), pp. 633-653.
43. C. Prud'homme, A domain specific embedded language in C++ for automatic differentiation, projection, integration and variational formulations, Sci. Program., 14 (2006), pp. 81-110.
44. K. Ren, G. Bal, and A. H. Hielscher, Frequency domain optical tomography based on the equation of radiative transfer, SIAM J. Sci. Comput., 28 (2006), pp. 1463-1489. (Pubitemid 47109346)
45. M. E. Rognes and R. Winther, Mixed finite element methods for viscoelasticity with weak symmetry, Math. Models Methods Appl. Sci., 20 (2010), pp. 955-985.
46. M. Schanen, U. Naumann, L. Hascoët, and J. Utke, Interpretative adjoints for numerical simulation codes using MPI, Proc. Comput. Sci., 1 (2010), pp. 1825-1833.
47. S. Schmidt, C. Ilic, V. Schulz, and N. R. Gauger, Airfoil design for compressible inviscid flow based on shape calculus, Optim. Engrg., 12 (2011), pp. 349-369.
48. S. Schmidt and V. Schulz, Shape derivatives for general objective functions and the incompressible Navier-Stokes equations, Control Cybernet., 39 (2010), pp. 677-713.
49. P. Stumm and A. Walther, Multistage approaches for optimal offline checkpointing, SIAM J. Sci. Comput., 31 (2009), pp. 1946-1967.
50. P. Stumm and A. Walther, New algorithms for optimal online checkpointing, SIAM J. Sci. Comput., 32 (2010), pp. 836-854.
51. M. H. Tber, L. Hascoët, A. Vidard, and B. Dauvergne, Building the Tangent and Adjoint Codes of the Ocean General Circulation Model OPA with the Automatic Differentiation Tool TAPENADE, Technical Report RR-6372, INRIA, Sophia Antipolis, France, 2007.
52. J. Utke, L. Hascoët, P. Heimbach, C. Hill, P. Hovland, and U. Naumann, Toward adjoinable MPI, in Proceedings of the IEEE International Symposium on Parallel Distributed Processing (IPDPS 2009), Rome, Italy, 2009, pp. 1-8.
53. A. Vidard, F. Vigilant, C. Deltel, and R. Benshila, NEMO Tangent & Adjoint Models (NemoTam): Reference Manual & User's Guide, report ANR-08-COSI-016, Agence Nationale de la Recherche, Paris, 2008.
54. L. Vynnytska, S. R. Clark, and M. E. Rognes, Dynamic simulations of convection in the earth's mantle, in Automated Solution of Differential Equations by the Finite Element Method, A. Logg, K.-A. Mardal, and G. N. Wells, eds., Springer, New York, 2011, pp. 587-602.
55. Q. Wang, P. Moin, and G. Iaccarino, Minimal repetition dynamic checkpointing algorithm for unsteady adjoint calculation, SIAM J. Sci. Comput., 31 (2009), pp. 2549-2567.