1: \begin{abstract}

2: This paper studies formulations of

3: second-order elliptic partial differential

4: equations in nondivergence form on convex domains

5: as equivalent variational problems.

6: The first formulation is that of

7: Smears \& S\"uli [SIAM J.\ Numer.\ Anal.\ 51(2013), pp.\ 2088--2106.],

8: and

9: the second one is a new symmetric formulation based on a least-squares

10: functional.

11: These formulations enable the use of

12: standard finite element techniques for variational problems

13: in subspaces of $H^2$ as well as mixed finite element methods

14: from the context of fluid computations.

15: Besides the immediate quasi-optimal a~priori error bounds,

16: the variational setting allows for a~posteriori

17: error control with explicit constants

18: and adaptive mesh-refinement.

19: The convergence of an adaptive algorithm is proved.

20: Numerical results on uniform and adaptive meshes are included.

21: \end{abstract}

22: