1: \begin{abstract}

2: 

3: With this contribution, we shed light on the relation between the

4: discrete adjoints of multistep backward differentiation formula (BDF) methods

5: and the solution of the adjoint differential equation. To this end, we develop a

6: functional-analytic framework based on a constrained variational problem and

7: introduce the notion of weak adjoint solutions. We devise a finite element

8: Petrov-Galerkin interpretation of the BDF method together with its discrete

9: adjoint scheme obtained by reverse internal numerical differentiation.

10: We show how the finite element approximation of the weak adjoint is computed by

11: the discrete adjoint scheme and prove its asymptotic convergence in

12: the space of normalized functions of bounded variation. We also obtain

13: asymptotic convergence of the discrete adjoints to the classical adjoints

14: on the inner time interval. Finally, we give

15: numerical results for non-adaptive and fully adaptive BDF schemes. The presented

16: framework opens the way to carry over the existing theory on global error

17: estimation techniques from finite element methods to BDF methods.

18: %

19: 

20: \keywords{BDF methods \and discrete adjoints \and Petrov-Galerkin

21: discretization}

22: %

23: \subclass{65L06 \and 65L60 \and 49K40 \and 65L20}

24: \end{abstract}

25: