1: \begin{abstract}
2: We derive a formulation of the nonhydrostatic equations in
3: spherical geometry with a Lorenz staggered vertical discretization. The combination conserves a
4: discrete
5: energy in exact time integration when coupled with a mimetic horizontal
6: discretization. The formulation is a version of \citeA{DubosTort2014} rewritten in terms of
7: primitive variables. It is valid for terrain following mass or
8: height coordinates and for both Eulerian or vertically Lagrangian discretizations.
9: The discretization relies on an extension to \citeA{SB81} vertical differencing
10: which we show obeys a discrete derivative product rule.
11: This product rule allows us to simplify the treatment of the
12: vertical transport terms. Energy conservation is obtained via a term-by-term balance in the kinetic,
13: internal and potential energy budgets, ensuring an energy-consistent
14: discretization with no spurious sources of energy. We demonstrate convergence with respect to
15: time truncation error in a spectral element code with a HEVI IMEX
16: timestepping algorithm.
17: \end{abstract}
18: