핵심 개념
The adjoint system associated with an evolutionary partial differential equation has an infinite-dimensional Hamiltonian structure, which is useful for connecting the fully continuous, semi-discrete, and fully discrete levels. The discretize-then-optimize and optimize-then-discretize methods can be uniquely characterized in terms of an adjoint-variational quadratic conservation law.
초록
The paper investigates the geometric structure of adjoint systems associated with evolutionary partial differential equations (PDEs) at the fully continuous, semi-discrete, and fully discrete levels, and the relations between these levels.
Key highlights:
- The adjoint system associated with an evolutionary PDE has an infinite-dimensional Hamiltonian structure, which is useful for connecting the different levels of discretization.
- The authors show that semi-discretization and adjoining commute, and characterize the associated dual semi-discretization as the unique semi-discretization of the adjoint system that satisfies a semi-discrete analogue of the adjoint-variational quadratic conservation law.
- For time integration via one-step methods, the authors show that time integration and adjoining commute precisely when the one-step method for the adjoint system is the cotangent lift of the one-step method for the forward equation.
- The authors combine the results for semi-discretization and time integration to discuss the natural relations between the fully continuous, semi-discrete, and fully discrete levels of the adjoint system.
- The geometric characterization of the discretize-then-optimize and optimize-then-discretize methods in terms of the adjoint-variational quadratic conservation law addresses the observed discrepancies between these two approaches.