Abstract
In this work, we prove a weak Noether-type Theorem for a class of variational problems that admit broken extremals. We use this result to prove discrete Noether-type conservation laws for a conforming finite element discretisation of a model elliptic problem. In addition, we study how well the finite element scheme satisfies the continuous conservation laws arising from the application of Noether’s first theorem (1918). We summarise extensive numerical tests, illustrating the conservation of the discrete Noether law using the p-Laplacian as an example and derive a geometric-based adaptive algorithm where an appropriate Noether quantity is the goal functional.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Historical Background
The purpose of this paper is to show that variational numerical problems have their own conservation laws which are derived from the same principle as that discovered by Noether, giving rise to discrete (numerical) forms of conservation laws which are automatically preserved by the scheme.
Symmetries are an extremely important and continually occurring feature of differential equations arising from many applicable areas, including mathematical physics, meteorology, and differential geometry, that was first developed by Sophus Lie for the purpose of studying solutions of differential equations in the late nineteenth century ([1, 2, 3, 4, 5, c.f.] and references therein).
Noether’s (first) Theorem [1, 5, 6] is a striking result which in the continuous setting connects these symmetries with conservation laws associated with the Euler–Lagrange equations of a variational problem. Roughly, the theorem states that given a variational problem with an underlying symmetry, there exists a natural conservation law associated with it. For example, a symmetry of translation with respect to the spatial coordinates results in a conservation of linear momentum, a symmetry of rotation results in conservation of angular momentum, and a symmetry of translation with respect to the temporal coordinate gives a conservation of energy. A famous example from meteorology is that of potential vorticity. This is a conservation law arising from a particle relabelling pseudo-group symmetry. This quantity is extremely important in studying the evolution of a cyclone [7, c.f.].
The work of Noether has gained public attention recently with the publication of an article in the New York Times [8] where the result is
“consider[ed] ...as important as Einstein’s theory of relativity; it underg[ir]ds much of today’s vanguard research in physics, including the hunt for the almighty Higgs boson.”
In the discrete setting, Noether’s Theorem has been studied in terms of difference equations [9, 10], where it was shown that a discrete equivalent of the conservation law holds when a smooth symmetry was built into the discrete Lagrangian. In this work, we turn our attention to the finite element method (FEM). FEMs form one of the most successful numerical methods for approximating the solution to partial differential equations (PDEs) [11, 12, 13, c.f.]. A topic which has been the subject of much ongoing research is that of constructing FEMs which inherit some property of the continuous problem. The notion of discretisations inheriting some geometric property from the continuous problem can be seen as a generalisation of geometric integration [14, c.f.] to the case of PDEs and is a rapidly developing area of research. Some of the properties studied in the discretisation of PDEs are the same as in the geometric integration of the ODE, for example the Hamiltonian structure of a given problem. Others are based on completely new notions, for example the recent development of the discrete exterior calculus [15, 16], which, as the name suggests, is a discrete equivalent to the Cartan-based exterior calculus. This has allowed for a rigorous description of discrete differential forms and the associated discrete function spaces as a discrete differential complex. This provides a framework which may be used as a first step in the construction of a variational complex in a similar light to that developed in [10] for difference equations. A first step in this direction was taken in [17]. A review of some of the huge quantity of topics arising from this area, including Lie group integrators, discrete gradient methods as well as FEMs for differential forms, is given in [18].
As opposed to geometric integrators, numerical methods with some geometric property of an ODE, the methods for PDEs are generally called mimetic methods. A class of FEMs which fall under the mimetic framework are the mixed methods, for example the Raviart–Thomas scheme [19]. Further, there are finite difference (FD) [20] and finite volume (FV) schemes which are characterised as mimetic. Relationships can exist between these; for example, an appropriate choice of quadrature for the Raviart–Thomas finite element scheme results in the mimetic FD scheme [21].
The Lagrangian piecewise polynomial FEM is not a mimetic method. Indeed, most standard methods cannot inherit geometric properties of the continuous PDE: There is an underlying algebraic condition which must be satisfied for differential geometric properties to be inherited by the approximation scheme [15, 17].
The classical Noether Theorem is only applicable to classical solutions of the variational problem. As such, we derive weaker versions of the theorem applicable to a wider class of solutions to the problem, including the broken extremals. We will discuss how these laws are naturally passed down to the Lagrangian finite element scheme and hence quantify a discrete Noether quantity associated with this FEM. That is, we write the exact Noether quantity for this discretisation, in the same spirit as [10]. We will also study how well the Lagrangian finite element scheme satisfies the strong conserved quantities arising from Noether’s Theorem measured in an appropriate weak norm. That is, we consider how well this finite element scheme approximates the Noether conservation law for the continuous problem (when one exists). We will also present some numerical results, quantifying the deviation of the approximation in terms of a computable estimator which we are able to use to construct an h-adaptive scheme (based on local mesh refinement) aimed at minimising the violation of the smooth conservation law to a user-specified tolerance.
We note related work by Christiansen and Halvorsen [22], which gives a Noether Theorem for a class of problems which includes a simplicial discretisation of the gauge invariant Yang Mills Lagrangian. The group action is assumed to preserve fibres and the conservation law yields the desired associated constraint preservation. Although the authors talk about “discrete gauge invariance”, it is important to realise that it is not the group action which has been discretised, but rather that the action is induced on a discretised base space and function space. The induced action must still be smooth in order to obtain a Noether conservation law.
The paper is set out as follows: In Sect. 2 we introduce some fundamental notation and the model problem we consider. In Sect. 3 we briefly describe Noether’s Theorem and the background material needed. To illustrate its application we apply the theorem to a simple model problem. In Sect. 4 we weaken the invariance criterion on which the classical Noether Theorem is based, ultimately allowing us to prove two versions of the theorem applicable to weaker solutions of the problem. In Sect. 5 we discuss how the results of Sect. 4 can be passed down to give discrete counterparts to our weak Noether’s Theorem. We perform numerical experiments to demonstrate that the quantities derived are indeed conserved at the discrete level. We also discuss trivial Lie group actions (those of translation with respect to the dependent variable) and how the mimetic methods relate to this case. Finally, in Sect. 6 we study the properties of the finite element solution with respect to the original (strong) Noether Theorem. We also detail the construction of a computable estimator, aimed at measuring the violation of the strong Noether Theorem in a weak norm for the Lagrangian finite element scheme. We perform some numerical experiments of the estimator over the finite element approximation of the solution to the Euler–Lagrange equations. We then proceed to test an adaptive scheme based on the estimate allowing us to minimise the violation of the continuous conserved quantity up to user-specified tolerance.
Finally, we thank the anonymous referees for their thorough reading and constructive criticism.
2 Notation
Let \(\Omega \subset \mathbb {R} ^d\) be a bounded domain with boundary \(\partial \Omega \). We begin by introducing the Sobolev spaces [13, 23]
which are equipped with the following norms and semi-norms:
where \(\varvec{\alpha }= \{ \alpha _1,\ldots ,\alpha _d\}\) is a multi-index, \(\left| \varvec{\alpha }\right| = \sum _{i=1}^d\alpha _i\) and derivatives \(\partial ^{\varvec{\alpha }}\) are understood in a weak sense. We pay particular attention to the cases \(k = 1,2\) and
Let \(L = L\left( {\varvec{x}, u, \nabla u}\right) \) be the Lagrangian. We will let
be known as the action functional. The problem arising from the calculus of variations is to seek a function extremising the action functional. For simplicity we will consider the minimisation problem, that is, to find \(u\in {\overset{{\scriptscriptstyle \circ }}{{\text {W}}}}{}^{1}_{p}(\Omega )\) such that
Note that we are implicitly coupling the minimisation problem with homogeneous Dirichlet boundary conditions.
We will use the notation that
denotes a column vector of spatial derivatives of a generic scalar valued function q, i.e., derivatives with respect to the independent variables. The derivative with respect to the dependent variable is denoted
Let \(\varvec{p} = {\left( {p_1,\ldots ,p_d}\right) }^{{\varvec{\intercal }}} = \nabla u\) then
denotes the vector of derivatives of q with respect to the gradient of u componentwise. We use \({\text {div}}\) to represent the spatial divergence of a vector-valued function, \(\varvec{q} = \left( {q_1, \ldots , q_d}\right) \), hence
The derivative with respect to the independent variable is then a column vector
and
With the above notations we may introduce the total derivative operator, defined for scalar valued functions as
and total divergence operator, for vector-valued functions as
where \({\varvec{X}}{:}{\varvec{Y}} = {\text {trace}}{{\varvec{X}}^{{\varvec{\intercal }}}{\varvec{Y}}}\) denotes the Frobenious inner product between matrices.
It is well known [23, 24, c.f.] that if u is a (smooth) minimiser of the variational problem (2.7) then it solves the quasilinear, second order PDE called the Euler–Lagrange equations
3 Noether’s First Theorem
For the readers benefit we will briefly describe Noether’s first Theorem in the classical case and necessary background material. We assume, in this section, that L is smooth and the minimisation problem (2.7) has a solution (not necessarily unique) which is at least \({\text {C}} ^{2}(\Omega )\), i.e., smooth enough to satisfy the Euler–Lagrange equations (2.16).
Definition 3.1
(one-parameter group) The transformation
is said to be a one-parameter group if the following conditions hold
-
(1)
The parameter choice of \(\epsilon = 0\) yields the identity, i.e.,
$$\begin{aligned} \left( {\varvec{x},u}\right) = \left( {\Xi (\varvec{x}, u;~0), \Phi (\varvec{x}, u;~0)}\right) . \end{aligned}$$ -
(2)
The inverse is given by the parameter \(-\epsilon \), i.e.,
$$\begin{aligned} \left( {\varvec{x},u}\right) = \left( {\Xi (\widetilde{\varvec{x}}, \widetilde{u};~-\epsilon ), \Phi (\widetilde{\varvec{x}}, \widetilde{u};~-\epsilon )}\right) . \end{aligned}$$ -
(3)
The transformation is closed under composition, specifically, if
$$\begin{aligned} \left( {\widehat{\varvec{x}}, \widehat{u}}\right) = \left( {\Xi (\widetilde{\varvec{x}}, \widetilde{u};~\delta ), \Phi (\widetilde{\varvec{x}}, \widetilde{u};~\delta )}\right) \end{aligned}$$then
$$\begin{aligned} \left( {\widehat{\varvec{x}}, \widehat{u}}\right) = \left( {\Xi ({\varvec{x}}, u;~\epsilon +\delta ), \Phi ({\varvec{x}}, u;~\epsilon +\delta )}\right) . \end{aligned}$$
Definition 3.2
(infinitesimal) The infinitesimals, \(\varvec{\xi }(\varvec{x},u)\) and \(\phi (\varvec{x},u)\) of the one-parameter group are defined as
Definition 3.3
(characteristics) We define the characteristics, which are given in terms of the infinitesimals of the group, to be
Definition 3.4
(variational symmetry) Let \(\Gamma := \left\{ {\left( {\varvec{x}, u(\varvec{x})}\right) : \varvec{x} \in \Upsilon }\right\} \) be the graph of u over a subdomain such that \(\overline{\Upsilon }\subset \Omega \). Also let \(\Upsilon _{\Xi } = \Xi \left( {\Gamma ; \epsilon }\right) \), then the transformation (3.1) is said to be a variational symmetry if
holds for any smooth subdomain \(\Upsilon \) of \(\Omega \).
Theorem 3.5
(infinitesimal invariance [5, Thm4.12]) A variational symmetry group with infinitesimals \(\varvec{\xi }, \phi \) and characteristics Q of the action functional
satisfies
Proof
See [5, Thm4.12]. \(\square \)
Theorem 3.6
(Noether’s first Theorem [5, Thm4.29]) Suppose the variational problem (2.7) is invariant under the action of a one-parameter group of symmetries with characteristics Q. Then, Q is also a characteristic of a conservation law of the Euler–Lagrange equation (2.16), that is, there exists a vector-valued functional \(\mathscr {C} = \mathscr {C} [u]\) such that
Hence, over solutions of the Euler–Lagrange equations \(\left( {\mathscr {E} \mathscr {L}}\right) [u] = 0\), we have that
For the problem we consider in this work, that of a first-order Lagrangian, the conservation law, \(\mathscr {C} \), takes the form
Proof
Using the result of Theorem 3.5, we have that
Noting by the product rule that
then it holds that
This concludes the proof with
as required. \(\square \)
Remark 3.7
(the form of \(\mathscr {C} \) ) It is clear from the identity (3.8) that for our model problem, that of minimising a first-order variational problem (2.7), we have \(\mathscr {C} = \mathscr {C} (u, \nabla u)\).
Remark 3.8
(the beauty of the theorem) What makes Theorem 3.6 truly remarkable is its constructive nature. For completeness, we will give an example of the construction of \(\mathscr {C} \) for the Laplacian.
Example 3.9
(Laplace’s problem) Let us consider the case \(f = f(\left| \varvec{x}\right| )\); then, the Lagrangian,
is invariant under the rotational group SO(d). For simplicity, we restrict to the case \(d=2\), set \(\varvec{x} = {\left( {x, y}\right) }^{{\varvec{\intercal }}}\); then, we calculate the infinitesimals from the group of rotations; note that, in this case, \(\Phi \equiv 0\) and
It then holds that
In this case, the characteristic of the group of rotations is
Making use of Theorem 3.6, we see
is a conservation law over solutions of \(\left( {\mathscr {E} \mathscr {L}}\right) [u] = 0\).
Remark 3.10
(trivial Lie group actions) For any variational problem, the Euler–Lagrange equations (2.16), as already mentioned, are given in variational (or divergence) form. As such, if we assume that L does not depend on u, that is, \(L = L(\varvec{x}, \nabla u)\), then the Euler–Lagrange equations themselves are a Noether conservation law. Indeed, consider the case of Example 3.9 with \(f\equiv 0\). It is clear by definition that \(\Delta u = {\text {div}}\left( {\nabla u}\right) = 0\) is a conservation law. It arises from Noether’s Theorem under the trivial Lie group action that of translation in the dependent variable
For this action, the infinitesimals are \(\varvec{\xi } = \varvec{0}\) and \(\phi = 1\).
4 Noether’s Theorem for Weak Solutions
Noether’s Theorem (Theorem 3.6) as it is stated in Sect. 3 only makes sense for classical solutions of the Euler–Lagrange equations (2.16). We wish to “weaken” the theorem such that it is applicable to extremals which are Lipschitz continuous, the so-called broken extremals [24]. We begin by defining a weaker invariance condition than that of Definition 3.4.
Definition 4.1
(weak variational symmetry) The transformation (3.1) is said to be a weak variational symmetry if
holds over the domain \(\Omega \).
Remark 4.2
(strong symmetry \(\,\Rightarrow \, \) weak symmetry) We note that any strong variational symmetry is also a weak symmetry, but the converse is not true.
Theorem 4.3
(Noether-type conserved quantities for weak variational symmetries) Suppose that the variational problem (2.7) has a weak variational symmetry. Let \(\phi \) and \(\varvec{\xi }\) be the infinitesimal generators of the symmetry as in Definition 3.2. Then,
Over smooth minimisers, i.e., if \(u\in {\text {C}} ^{2}(\Omega )\), we have
Remark 4.4
(structure of (4.2)) The weak conservation law given in Theorem 4.3 has a very clear structure. The first two terms in (4.2) represent the weak Euler–Lagrange equations. The last three terms in (4.2) represent the weak conservation law itself.
Proof of Theorem 4.3
Using the fact that the problem (2.7) has a weak variational symmetry, from Definition 4.1 we see that
noting that \(\widetilde{x}=\widetilde{x}(x,u(x),\epsilon )\), so that the first integrand is indeed defined on \(\Omega \). Making use of Definition 3.2 and the fact that
it holds that
as required for the first equality. The second arises from noting (4.6) implies
Using the fact that
we have that
upon applying Stokes Theorem and noting that u is now an extremal hence satisfies the Euler–Lagrange equations (modulo natural boundary conditions).
Note that if the group action is separable, we may separate the proof into computing the inner and outer variations with respect to the infinitesimals of the one-parameter group (see Definition 3.2) [24, c.f.], where the inner variations are with respect to the independent variables and the outer variation with respect to the dependent variables. \(\square \)
Corollary 4.5
(strong conservation law \(\,\Rightarrow \, \) weak conservation law) Let the variational problem (2.7) have a variational symmetry in the sense of Definition 3.4 and that the minimiser to the variational problem is smooth \(u\in {\text {C}} ^{2}(\Omega )\), then (4.2) holds.
Now, we have developed the framework sufficiently to state our main result in this section. Here, we are concerned with broken extremals, that is, functions whose derivatives have finitely many jump discontinuities.
Definition 4.6
(broken extremal) An extremal, \(u\in {\text {Lip}}(\Omega )\), the space of Lipschitz continuous functions over \(\Omega \), to the problem (2.7) is said to be a broken extremal if it is piecewise \({\text {C}} ^{2}(\Omega )\) over the domain \(\Omega \) with bounded derivative. That is, \(\Omega \) can be decomposed into finitely many open subsets, \(\{\Omega _i\}_{i=1}^N\), such that
-
(1)
the subsets make up the entire domain, i.e., \(\Omega = \bigcup _{i}\overline{\Omega _i}\),
-
(2)
they are non-overlapping, i.e., \(\Omega _i\cap \Omega _j = \emptyset \), and
-
(3)
the solution is smooth over each of the subsets, i.e., \(u\in {\text {C}} ^{2}(\Omega _i)\cap {\text {Lip}}(\Omega )\).
Definition 4.7
(skeleton and jumps) We define \(\mathscr {F} \) to be the skeleton of the decomposition, that is,
We will assume that the domain is decomposed in such a way that the skeleton is Lipschitz continuous. Let \(\varvec{n}_i\) be the outward pointing normal to \(\Omega _i\), we then define jumps of scalars and vector-valued functions as
respectively.
Definition 4.8
(piecewise variational symmetry) Let u be a broken extremal to the variational problem (2.7), and let \(\left\{ {\Omega _i}\right\} _{i=1}^N\) be the decomposed domain of u. Then, the transformation (3.1) is a piecewise variational symmetry if it is a variational symmetry over \(\Omega _i\) for each \(i=1,\ldots , N\).
Proposition 4.9
(a piecewise Noether result) Suppose the variational problem (2.7) has a piecewise variational symmetry. Then,
Hence, over solutions of the Euler–Lagrange equations \(\left( {\mathscr {E} \mathscr {L}}\right) [u] = 0\), we have that
Proof
The proof consists of applying Theorem 3.6 upon each subdivision \(\Omega _i\). \(\square \)
Definition 4.10
(piecewise weak variational symmetry) Let u be a broken extremal to the variational problem (2.7), and let \(\left\{ {\Omega _i}\right\} _{i=1}^N\) be the decomposed domain of u. Then, the transformation (3.1) is a piecewise weak variational symmetry if it is a weak variational symmetry over \(\Omega _i\) for each \(i=1,\ldots , N\).
Theorem 4.11
(conserved quantities for broken extremals of the variational problem) Suppose the variational problem (2.7) has a piecewise weak variational symmetry. Then,
Over broken extremals, we have that
Proof
The proof of this result follows the same lines as the proof of Theorem 4.3. Using (4.6), we have that for each \(\Omega _i\)
Integrating by parts, we see
Summing over each of the subdomains, we have
as required for the first equality. For the second, we note that over broken extremals the Euler–Lagrange equations vanish over each \(\Omega _i\), concluding the proof. \(\square \)
5 Finite Element Conservation Laws
5.1 Discretisation
In this section, we calculate the discrete counterpart to Theorem 4.11 in the finite element context. To that end, let \(\mathscr {T} ^{}\) be a conforming triangulation of \(\Omega \), namely \(\mathscr {T} ^{}\) is a finite family of sets such that
-
(1)
\(K\in \mathscr {T} ^{}\) implies K is an open simplex (segment for \(d=1\), triangle for \(d=2\), tetrahedron for \(d=3\)),
-
(2)
for any \(K,J\in \mathscr {T} ^{}\), we have that \(\overline{K}\cap \overline{J}\) is a full subsimplex (i.e. it is either \(\emptyset \), a vertex, an edge, a face, or the whole of \(\overline{K}\) and \(\overline{J}\)) of both \(\overline{K}\) and \(\overline{J}\) and
-
(3)
\(\bigcup _{K\in \mathscr {T} ^{}}\overline{K}=\overline{\Omega }\).
We let \(\mathscr {E} {}\) be the skeleton (set of internal common interfaces) of the triangulation \(\mathscr {T} ^{}\) and say \(e\in \mathscr {E} \) if e is on the interior of \(\Omega \) and \(e\in \partial \Omega \) if e lies on the boundary \(\partial \Omega \).
The shape regularity of \(\mathscr {T} ^{}\) is defined as
where \(\rho _K\) is the radius of the largest ball contained inside K, and \(h_K\) is the diameter of K. We use the convention where \(h:\Omega \rightarrow \mathbb {R} \) denotes the meshsize function of \(\mathscr {T} ^{}\), i.e.
where \(h_K\) is the diameter of an element K. We introduce the finite element spaces
where \(\mathbb {P} ^{k}\) denotes the linear space of polynomials in d variables of degree no higher than a positive integer k. We consider \(k\ge 1\) to be fixed and denote by .
The Galerkin approximation to the variational problem (2.7) is to seek such that
The finite element scheme defined by (5.5) is guaranteed to be well posed under some assumptions on L that allow us to invoke the Lax–Milgram Theorem or the more generally applicable inf-sup condition [25]. Henceforth, we make the following blanket assumption which guarantees the continuous minimisation problem admits a unique solution.
Assumption 5.1
(growth conditions and coercivity of L ) Let \(v\in {\text {W}} ^{1}_{p}(\Omega )\) for \(p\in (1,\infty )\); then, we assume there exists a constant \(C_1 > 0, C_2 \ge 0\) such that
and that \(L(\varvec{x}, u, \nabla u)\) is convex in the third variable.
We may now proceed to derive a finite element Noether-type conservation law. As already seen, the conservation law arises after taking inner and outer variations of the variational problem. The discrete outer variation can be characterised by the following Lemma.
Lemma 5.2
(discrete Euler–Lagrange equations) The discrete Euler–Lagrange equations associated with the variational minimisation problem (5.5) are to seek such that
where \(L=L(\varvec{x}, U, \nabla U)\) and \({\text {Div}}_{\mathscr {T} ^{}}\) denotes an elementwise (\(\mathscr {T} ^{}\)-wise) \({\text {Div}}\) operator.
Proof
Define the real-valued function which we call the outer variation operator
where is a discrete variation. Since is the discrete minimiser of the energy functional, we certainly have that \(o'(0) = 0\), and we may explicitly compute this quantity, the first outer variation,
Note that since \(\nabla U\) is not continuous over the skeleton of the triangulation \(\mathscr {T} ^{}\), we have that spatial derivatives of \(\partial _{3}{L} \) are, in general, not well defined. But \(\nabla U\) is smooth over the interior of each element. We thus split the integral into elementwise contributions and integrate by parts elementwise. For brevity, we note that the Lagrangian \(L = L\left( {\varvec{x}, U, \nabla U}\right) \) and drop the dependency.
We now use the identity
and hence
as required. \(\square \)
Example 5.3
(discrete Laplace’s problem) For example, the discrete Euler–Lagrange equations associated with Laplace’s problem (Example 3.9) are to find such that
where \(\Delta _{\mathscr {T} ^{}}\) is an elementwise Laplacian.
Note that if U is a piecewise linear function, the first term of (5.14) is zero. Hence, in this case, the discrete Laplacian can be completely characterised in terms of the jump of the gradient of U over the internal skeleton.
Definition 5.4
( \({\text {L}} _{2}(\Omega )\) projection operator) We define \({\text {P}}_{\mathbb V} :{\text {L}} _{2}(\Omega )\rightarrow \mathbb V\) such that for each \(w\in {\text {L}} _{2}(\Omega )\), we have
Theorem 5.5
(conserved quantities over \({\text {C}} ^{0}(\Omega )\)-finite element spaces) Let u be the unique weak extrema to the minimisation problem (2.7) and U be its finite element approximation. Suppose that this problem has a piecewise weak variational symmetry. Then, the finite element solution satisfies the following
Proof
Recall we have an energy functional of the form
We have that a finite element minimiser of this energy functional is continuous over the domain \(\Omega \), but its derivative is not. For clarity, we will assume the group actions are separable, that is, the group action acts on the dependant and independent variables separately, i.e., \(\widetilde{x} = \widetilde{x}(x,\epsilon )\), the inner variation, and \(\widetilde{u} = \widetilde{u}(u,\epsilon )\), the outer variation. For non-separable group actions, the proof of the result can be verified using techniques from the Proof of Theorem 4.3.
Using the argument from the proof of Lemma 5.2 with \({\text {P}}_{\mathbb V} \phi \) as the outer variation, we have
noting the additional boundary term arising since \({\text {P}}_{\mathbb V} \phi \) is not necessarily compactly supported.
The inner variation can be regarded as a change in variables on the independent variable [24, §3.3]. In a similar calculation to that of the Proof of Theorem 4.3, we let \(i(\epsilon ) = \mathscr {J} [U(\widetilde{\varvec{x}})]\) with \(\widetilde{\varvec{x}} = \varvec{x} + \epsilon \varvec{\xi }\). We again split the integral into subdomains to obtain
We note the coordinate transformation in the first integral from \(\Omega _\Xi \) to \(\Omega \) is nothing other than writing \(\widetilde{\varvec{x}}\) in terms of x and group parameters. So \(\widetilde{\varvec{x}} = \widetilde{\varvec{x}} (\varvec{x}, \epsilon )\).
Computing the quantities elementwise, we have
as required. \(\square \)
5.2 Applications to the p-Laplacian
In this section, we give a numerical verification to Theorem 5.5 for a model test problem, that of the p-Laplacian
where we will restrict \(p\in (1,\infty )\). The p-Laplacian is the Euler–Lagrange equation of the following minimisation problem: Find \(u\in {\overset{{\scriptscriptstyle \circ }}{{\text {W}}}}{}^{1}_{p}(\Omega )\) such that
with the (parameterised) action functional \(\mathscr {J} _p\) given by
Note that for \(p=2\), this problem coincides with the standard Laplace’s problem (see Example 3.9). For general p, it is well known that the problem is uniquely solvable.
The discrete weak formulation associated with the minimisation problem (5.22) is to find \(U\in \mathbb V\) such that
In this test, we choose f such that
solves the p-Laplace equation (5.21). We have that f can be written as \(f = f(\left| \varvec{x}\right| )\), and hence, the Lagrangian
is invariant under SO(d) group actions.
We fix \(d=2\) and take \(\mathscr {T} ^{}\) to be a structured triangulation of \(\Omega \), the unit circle, as given in Fig. 1.
It is well known [26, c.f.] that the finite element approximation (5.24) is well posed and has optimal convergence properties with respect to certain quasinorms. In Table 1, we show errors, convergence rates, and the values of the finite element Noether quantity as written in Theorem 5.5 for various cases of p. The tables also study the experimental order of convergence of the numerical approximation which we now define.
Definition 5.6
(experimental order of convergence) Given two sequences a(i) and \(h(i)\searrow 0\), \(i\in \left[ l:\right] \), we define experimental order of convergence (\({\text {EOC}}\)) to be the local slope of the \(\log a(i)\) versus \(\log h(i)\) curve, i.e.
Remark 5.7
(numerical conservation) In the numerical experiments shown in Table 1, we formulated (5.24) as a system of nonlinear equations, the solution to this is then approximated by a Newton method with tolerance set at \(10^{-10}\). At each Newton step, the solution to the linear system of equations is approximated using a stabilised conjugate gradient iterative solver with an algebraic multigrid preconditioner, also set at a tolerance of \(10^{-10}\). Since the solvers themselves only generate approximations to the numerical variational problem, the notion of conservation is only true up to a certain tolerance. In this case, the quantity will be conserved up to the tolerance of the solvers, \(10^{-10}\).
5.3 Mimetic Methods Weakly Enforce Discrete Conservation Laws Which are Derived from Trivial Lie Group Actions
The mimetic finite element framework consists of reformulating the Euler–Lagrange equations as a system of first-order PDEs. Consider our prototypical example for illustrative purposes. Poisson’s problem,
is the Euler–Lagrange equation of the minimisation problem
It can be written in mixed form by introducing an auxiliary variable \(\varvec{p}\) to represent the gradient and rewriting Poisson’s problem to seek \(\left( {u, \varvec{p}}\right) \) such that
These are then the Euler–Lagrange equations of the saddle point problem
The correct function space setting is to seek \(u\in {\text {L}} _{2}(\Omega )\) and \(\varvec{p} \in {\text {H}} ^{\text {div}}(\Omega ) := \left\{ \varvec{\Psi } :\;{\text {div}}{\varvec{\Psi }} \in {\text {L}} _{2}(\Omega ) \right\} \). A conformal approximation of this problem can be sought using the Raviart–Thomas and piecewise constant finite element pair [19], for example. A sufficient condition for the construction of a conformal finite element space of \({\text {H}} ^{\text {div}}(\Omega )\) is that the jumps of the discrete functions vanish over the skeleton of the domain [27, c.f.]. Recall Remark 3.10 concerned itself with the trivial Lie group action of translation in the dependent variable. For our model problem, we have that \(\nabla u\) is conserved. The mimetic scheme weakly enforces this conservation law.
6 Conservative Properties of Lagrangian FEs for Strong Solutions
In this section, we present results concerning the approximability of the strong continuous conservation laws arising from Theorem 3.6. We examine numerically the behaviour of the Lagrangian finite element method. In this sense, we wish to measure the quantity \({\text {Div}}\left( {\mathscr {C} [U]}\right) \) and evaluate how far it deviates from zero. For clarity of exposition, we will assume henceforth that the continuous minimisation problem takes the form: Find \(u\in {{\overset{{\scriptscriptstyle \circ }}{{\text {H}}}}{}^{1}(\Omega )}\) such that
Theorem 6.1
(Bound on the finite element approximation of Noether’s laws.) Let \(u\in {\text {H}} ^{2}(\Omega )\cap {\overset{{\scriptscriptstyle \circ }}{{\text {H}}}}{}^{1}(\Omega )\) be a strong extrema to the variational problem (2.7) (and hence a strong solution to the Euler–Lagrange equations (2.16)). Suppose we have that Theorem 3.6 holds under a variational symmetry group with infinitesimals \(\varvec{\xi }\) and \(\phi \).
In addition, assume that we have
Then, if \(U\in \mathbb V\) is the finite element approximation to u, there exists a constant C such that
Proof
We begin by noting that since u is a strong extremal, Theorem 3.6 holds, and we have that \({\text {Div}}\left( {\mathscr {C} [u]}\right) = 0\). Hence,
Now, we may use the fact that for a generic \(\varphi \in {\overset{{\scriptscriptstyle \circ }}{{\text {H}}}}{}^{1}(\Omega )\)
Since \(\varphi \) was generic, we may divide through by \(\left\| \nabla \varphi \right\| \) and take the supremum over \(\varphi \). Then, by the definition of the \({\text {H}} ^{-1}(\Omega )\) norm
By the definition of the Noether quantity \(\mathscr {C} \) from (3.10), we have that
where for clarity we have written the dependencies explicitly. Now, for each of the \(\mathscr {I} _i\), we add and subtract appropriate quantities and make use of the triangle inequality. We thus have the following bounds:
and
Since \(\phi \) and \(\varvec{\xi }\) are infinitesimals of a Lie group action, they are smooth, and under assumptions (6.2)–(6.3), we have that
Taking the sum of the \(\mathscr {I} _i\) gives the desired result. \(\square \)
Corollary 6.2
Let the conditions of Theorem 6.1 hold under the same variational symmetry group with infinitesimals \(\varvec{\xi }\) and \(\phi \). In addition, assume that the Lagrangian is sufficiently smooth such that both L and \(\partial _3L \) are (locally) Lipschitz with respect to the second and third variable. Then, the bound (6.4) can be simplified to
Remark 6.3
The results of Theorem 6.1 are not just applicable to the finite element solution, but to any function. Indeed, the result is actually a property of the conservation law \(\mathscr {C} [\cdot ]\) rather than the approximation U.
Remark 6.4
(relating to the 2-Laplacian) We may relate Theorem 6.1 to the 2-Laplacian studied in Sect. 5.2. We were considering the case that L was invariant under rotations in the independent variable. In that case, we have that \(\phi \equiv 0\) and that
since \(\varvec{\xi }\) is independent of u. Now, if we have that \(u\in {\text {W}} ^{1}_{\infty }(\Omega )\) and \(f\in {\text {L}} _{\infty }(\Omega )\), then \(U\in {\text {W}} ^{1}_{\infty }(\Omega )\) and
Hence, we may infer that
since for smooth solutions by Aubin–Nitsche duality arguments, we have \({\left\| u - U\right\| _{{\text {L}} _{2}(\Omega )} \le C\left\| \nabla u - \nabla U\right\| _{{\text {L}} _{2}(\Omega )}}\). In the case where u is more regular, say \(u\in {\text {H}} ^{k+1}(\Omega )\cap {\overset{{\scriptscriptstyle \circ }}{{\text {H}}}}{}^{1}(\Omega )\), where k was the degree of the finite element approximation, then
We turn our attention to a posteriori control of the quantity \({\mathscr {C} [U]}\).
6.1 An Adaptive Scheme for Convergence to the Smooth Law, Maintaining the Discrete Law
We derive an adaptive finite element scheme based on goal-oriented a posteriori analysis [28, c.f.]. At each stage, the discrete law holds. To simplify the presentation, we will limit our discussion to studying the 2-Laplacian (see Sect. 5.2) noting that what we present here is extendable to nonlinear problems at the expense of additional cumbersome notation. Here, we aim to illustrate the main idea.
Definition 6.5
(goal functional and dual problem) We introduce the goal functional
and the formal adjoint problem, find \(z\in {\overset{{\scriptscriptstyle \circ }}{{\text {H}}}}{}^{1}(\Omega )\) such that
Using this, we will construct a computable error bound for \(g(u) - g(U)\). The purpose was to try to construct a discrete solution, U, posed over an adaptively refined mesh, \(\mathscr {T} ^{}\), which (quasi) minimises the functional error. One would expect this to better respect the equality “\({\text {Div}}\left( {\mathscr {C} [U]}\right) = 0\)” than in the case of uniform refinement. Note that in view of Cauchy–Schwarz that
in view of Remark 6.4 so the resultant computable estimator should be of this order.
Lemma 6.6
(a goal-oriented error relation for the conservation law) Let \(u\in {\text {H}} ^{2}(\Omega )\cap {\overset{{\scriptscriptstyle \circ }}{{\text {H}}}}{}^{1}(\Omega )\) be a strong extrema to the variational problem defining Laplace’s problem given in Example 3.9. Suppose that Theorem 3.6 holds and that U is the finite element approximation to u, then for any \(z_h\in \mathbb V\)
where \(\varvec{n}_K\) denotes the outward pointing normal to K and z the solution of the dual problem given in Definition 6.5.
Proof
In view of the definition of the dual problem, we have
using Galerkin orthogonality. Now, by integrating by parts elementwise, we see
giving the desired result. \(\square \)
Remark 6.7
(computability of the estimator) The relation given in Lemma 6.6 takes the form of a residual, locally weighted by the dual problem. This is the basis of constructing dual weighted residual estimates. The relation is not a posteriori computable, however, as it depends upon the dual solution z which in turn depends upon the solution u. This presents issues in the practical realisation of the relation as an error estimator.
There are a variety of techniques developed to approximate the dual solution. Typically, such approximations are then substituted directly into the error relation given in Lemma 6.6. Taking \(z \approx \widehat{z}\) for some \(\widehat{z}\in \mathbb V\) is undesirable since the residual vanishes over \(\mathbb V\) in view of Galerkin orthogonality so a higher-order space than \(\mathbb V\) should be used. One successful technique is to approximate the dual solution on a finer mesh or by solving local problems, another is postprocessing using extrapolation [29] or difference quotients and heuristic error indicators [28].
Suppose we have computed the Ritz projection of the dual problem (6.19), Z and that \(\widehat{z}\) is some reconstruction of Z, based on some local postprocessing. We may then split the error relation from Lemma 6.6 into two parts
If \(\widehat{z}\) is a better approximation of z than Z is, then one would expect \(\mathscr {A} _1\) to be of higher order than \(\mathscr {A} _2\). Practically, this could lead to \(\mathscr {A} _1\) being neglected, but at coarse mesh scales, the approximation of the dual solution using these techniques without accounting for \(\mathscr {A} _1\) can be unreliable [30], although asymptotically, for fine enough mesh, the approximation would be justifiable [31].
Remark 6.8
(computational cost) In the next theorem, we will present a result based on approximating the dual problem on the same finite element space as the original problem and an a posteriori bound of the resultant approximation, allowing for any of the various postprocessing arguments already mentioned. Practically, at least in the self-adjoint case, the computation of this results in an extra inversion of a linear system which involves the same stiffness matrix as used in the computation of the original problem.
Theorem 6.9
(a computable upper bound for the goal error) Let \(Z\in \mathbb V\) be the finite element approximation of the dual problem given in Definition 6.5 and \(\widehat{z}\) be a postprocessor of Z. Suppose also that u is a strong extrema to the variational problem defining Laplace’s problem given in Example 3.9 and U its finite element approximation. Then, under the conditions of Lemma 6.6, there exists a constant C dependent on the shape regularity of \(\mathscr {T} ^{}\) such that
where
and \(\mathscr {R} _k\) is the Ritz projection of z into .
Remark 6.10
(structure of the estimate) The estimate has the following structure. The term \(E_1\) represents the usual term computed in a dual weighted residual estimate, it is exactly the residuals of the problem weighted by the majority of the dual error where \(\widehat{z}\) represents any postprocessed reconstruction chosen. The second term, \(E_2\), represents the dual residual and third term, \(E_3\), a reconstruction error. The second and third terms together quantify the additional error induced by \(\mathscr {A} _1\) from Remark 6.7. They are exactly the terms one would lose by only computing \(\mathscr {A} _1\).
Note that if we naively took , the terms \(E_1\) and \(E_3\) would vanish. What would remain is \(E_2\), the dual residual. As will be shown in the numerical experiments, this term can be the dominant contributor of the estimator.
Proposition 6.11
(trace inequality) We will often use the following trace inequality, that for \(v\in \mathbb V\) there exists a constant \(C>0\) such that
Proposition 6.12
(approximation properties of the Scott–Zhang interpolator [25, c.f.§1.130]) Let \(I_k\) denote the Scott–Zhang interpolant into \(\mathbb V\). Then, the following local approximation bounds over elements, \(K\in \mathscr {T} ^{}\) and faces \(e\in \mathscr {E} \) hold:
where \(\widehat{K}\) denotes a patch of an element K, the set of all elements sharing a common vertex with K.
Proof of Theorem 6.9
We begin by using the identity from Lemma 6.6 with \(z_h = \mathscr {R} _k z = Z\), where
\(\mathscr {R} _k\) is the Ritz projection operator and hence Z is the finite element approximation of z over \(\mathbb V\) and recall the goal error satisfies
for any \(\widehat{z}\). We will henceforth assume that \(\widehat{z}\) is computable only from Z, using, for example, any of the methodologies mentioned in Remark 6.7. We immediately have that \(\mathscr {A} _2\) is computable. Turning our attention to the other term, we see using Galerkin orthogonality
where \(\mathscr {R} _k\) is the Ritz projection operator defined in (6.32). Hence,
The idea now is to make use of the fact we have full elliptic regularity for u. Using the definition of the dual solution
Using that \(\mathscr {C} [U]\) is piecewise smooth, we split the integral elementwise and integrate by parts to see
Noting that \({\text {Div}}\left( {\mathscr {C} [u]}\right) = \llbracket \mathscr {C} [u] \rrbracket = 0\), by applying Cauchy–Schwarz inequality together with approximation properties of \(I_k u\) from Proposition 6.12 and elliptic regularity of u, we have
Note that higher regularity of u allows us to use higher-order approximability of \(I_k u\). Here, we restrict our attention to the case \(u\in {\text {H}} ^{2}(\Omega )\) as additional regularity does not yield further information in the estimate, just additional asymptotic convergence. Similarly, for the second term appearing in (6.35), we have
Combining (6.33), (6.38), and (6.39) yields the desired result. \(\square \)
Remark 6.13
(standard a posteriori estimates) The error relation (6.16) implies that one may also make use of standard a posteriori estimates which control the gradient error. These take the form
Although these are more computationally efficient to compute, they result in worse error control of \(\left\| {\text {Div}}{\mathscr {C} [U]}\right\| _{{\text {H}} ^{-1}(\Omega )}\) than the one presented in Theorem 6.9. The approximation of the dual problem gives additional information pertaining to the locality of the error and allows the construction of a better optimised mesh (Fig. 2).
6.1.1 Numerical Experiments
In Fig. 3, we show numerically the asymptotic behaviour of the estimate given in Theorem 6.9. All numerical experiments are conducted on the 2-Laplacian taking \(\Omega = B(0,1)\) which is discretised using an unstructured triangulation (as shown in Fig. 2b). We fix f such that u is given by either
The reconstruction \(\widehat{z}\) appearing in the estimates is obtained by using a higher-dimensional space. We take
that is, a piecewise polynomial space one degree higher than \(\mathbb V\) and define \(\widehat{z}\in \widehat{\mathbb V}\) through
Given a fixed degree of freedom \(\varvec{x}_i\) from \(\widehat{\mathbb V}\), the set \(\widehat{K_{\varvec{x}_i}}\) is the collection of degrees of freedom from \(\mathbb V\) who live on a common element to \(\varvec{x}_i\) (see Fig. 4). The reconstruction is nothing but a local averaging of the finite element solution Z.
6.1.2 Results
We conclude our numerical experiments by using the computable estimator E(U, f) defined in Theorem 6.9 to construct an adaptive scheme aimed at minimising E(U, f) (and hence \(\left\| {\text {Div}}{\mathscr {C} [U]}\right\| _{-1}\)). The adaptive algorithm we make use of is of standard type (SOLVE \(\rightarrow \) ESTIMATE \(\rightarrow \) MARK \(\rightarrow \) REFINE [32, c.f.]) utilising the maximum strategy marking and newest vertex bisection refinement. We conduct two experiments on different test problems. In both cases, we take \(\Omega \) as a polygonal approximation of the unit disc, the degree of the finite element method \(k=1\), and we fix the function \(f= f(\left| \varvec{x}\right| )\) in the Lagrangian, so that the classical solution u is known.
In Fig. 2, we choose u given by (6.41). We ran both uniform and adaptive strategies described above and found when using an adaptively refined mesh with \(\dim {\mathbb V} = 4988\) the estimator \(E\left( {U,f}\right) \approx 0.15\) and the gradient error \(\left\| \nabla u - \nabla U\right\| \approx 1.57\). Under uniform refinement when \(\dim {\mathbb V} = 8107\), we found the estimator \(E\left( {U,f}\right) \approx 0.15\) and the gradient error \(\left\| \nabla u - \nabla U\right\| \approx 1.64\).
In Fig. 5, we choose u given by (6.42). We again ran both uniform and adaptive strategies and found when using an adaptively refined mesh with \(\dim {\mathbb V} = 7885\), the estimator \(E\left( {U,f}\right) \approx 0.00019\) and the gradient error \(\left\| \nabla u - \nabla U\right\| \approx 0.056\). Under uniform refinement when \(\dim {\mathbb V} = 32269\), we found the estimator \(E\left( {U,f}\right) \approx 0.00019\) and the gradient error \(\left\| \nabla u - \nabla U\right\| \approx 0.064\).
In both cases, the adaptive approximation saves a significant number of degrees of freedom. The adaptive solution respects the conserved quantity better than the uniform refinement case and further yields a better approximation of the solution itself.
7 Conclusions and Outlook
In this work, we have generalised Noether’s first Theorem by proving a Noether-type Theorem for a specific class of weak extrema to a model variational problem, that is, those which are Lipschitz continuous. We have in addition proved an equivalent discrete theorem for the finite element approximation of the problem. We write the exact conserved quantity for the discrete scheme in the same spirit as [10]. We have demonstrated that the Lagrangian finite elements enjoy the property of asymptotically conserving the strong Noether conservation laws when approximating strong solutions of certain classes of variational problem and Lie group action.
In addition, we have studied the exact discrete conserved quantities numerically. These are conserved irrespective of whether the underlying symmetry is built into underlying mesh. We have also constructed a geometric-based adaptive scheme to conserve the approximate continuous quantities up to a user-specified tolerance. This means that upon each adaptive step, there is a discrete conserved quantity which can be taken as close to the continuous counterpart as the user specifies, at the expense of solving an additional problem.
References
George Bluman and Sukeyuki Kumei. Symmetries and Differential Equations, volume 154 of Applied Mathematical Sciences. Springer Verlag, New York, 1989 The alternative to Olver’s text.
Brian J. Cantwell. Introduction to Symmetry Analysis. Cambridge University Press, Cambridge, 2002. Symmetry methods with applied mathematics examples.
Peter E. Hydon. Symmetry methods for Differential Equations, A beginner’s guide. Cambridge University Press, Cambridge, 2000
Sophus Lie. Vorlesungen über continuierliche Gruppen mit Geometrischen und anderen Anwendungen. Chelsea Publishing Co., Bronx, N.Y., 1971. Bearbeitet und herausgegeben von Georg Scheffers, Nachdruck der Auflage des Jahres 1893.
Peter J. Olver. Applications of Lie groups to differential equations, volume 107 of Graduate Texts in Mathematics. Springer-Verlag, New York, second edition, 1993.
Emmy Noether. Invariant variation problems. Transport Theory Statist. Phys., 1(3):186–207, 1971. Translated from the German (Nachr. Akad. Wiss. Göttingen Math.-Phys. Kl. II 1918, 235–257).
Christopher A. Davis and Kerry A. Emanuel. Potential vorticity diagnostics of cyclogenesis. Monthly Weather Review, 119(8):1929–1953, 2013/01/24 1991.
Natalie Angier. The mighty mathematician you’ve never heard of. The New York Times, March 26, 2012.
Vladimir Dorodnitsyn. Noether-type theorems for difference equations. Appl. Numer. Math., 39(3–4):307–321, 2001. Special issue: Themes in geometric integration.
Peter E. Hydon and Elizabeth L. Mansfield. A variational complex for difference equations. Found. Comput. Math., 4(2):187–217, 2004.
Dietrich Braess. Finite elements. Cambridge University Press, Cambridge, second edition, 2001. Theory, fast solvers, and applications in solid mechanics, Translated from the 1992 German edition by Larry L. Schumaker.
Susanne C. Brenner and L. Ridgway Scott. The mathematical theory of finite element methods. Springer-Verlag, New York, 1994.
Philippe G. Ciarlet. The finite element method for elliptic problems. North-Holland Publishing Co., Amsterdam, 1978. Studies in Mathematics and its Applications, Vol. 4.
Ernst Hairer, Christian Lubich, and Gerhard Wanner. Geometric numerical integration, volume 31 of Springer Series in Computational Mathematics. Springer-Verlag, Berlin, second edition, 2006. Structure-preserving algorithms for ordinary differential equations.
Douglas N. Arnold, Richard S. Falk, and Ragnar Winther. Finite element exterior calculus: from Hodge theory to numerical stability. Bull. Amer. Math. Soc. (N.S.) , 47(2):281–354, 2010.
Nicolas Robidoux and Stanly Steinberg. A discrete vector calculus in tensor grids. Comput. Methods Appl. Math., 11(1):23–66, 2011.
Elizabeth L. Mansfield. Noether’s theorem for smooth, difference and finite element systems. In Foundations of computational mathematics, Santander 2005, volume 331 of London Math. Soc. Lecture Note Ser., pages 230–254. Cambridge Univ. Press, Cambridge, 2006.
Snorre H. Christiansen, Hans Z. Munthe-Kaas, and Brynjulf Owren. Topics in structure-preserving discretization. Acta Numer., 20:1–119, 2011.
P.-A. Raviart and J. M. Thomas. A mixed finite element method for 2nd order elliptic problems. In Mathematical aspects of finite element methods (Proc. Conf., Consiglio Naz. delle Ricerche (C.N.R.), Rome, 1975), pages 292–315. Lecture Notes in Math., Vol. 606. Springer, Berlin, 1977.
Franco Brezzi, Annalisa Buffa, and Konstantin Lipnikov. Mimetic finite differences for elliptic problems. M2AN Math. Model. Numer. Anal., 43(2):277–295, 2009.
Andrea Cangiani, Gianmarco Manzini, and Alessandro Russo. Convergence analysis of the mimetic finite difference method for elliptic problems. SIAM J. Numer. Anal., 47(4):2612–2637, 2009.
Snorre H. Christiansen and Tore G. Halvorsen. A simplicial gauge theory. Journal of Mathematical Physics, 53(3):-, 2012.
Lawrence C. Evans. Partial differential equations, volume 19 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 1998.
Mariano Giaquinta and Stefan Hildebrandt. Calculus of variations. I, volume 310 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, 1996. The Lagrangian formalism.
Alexandre Ern and Jean-Luc Guermond. Theory and practice of finite elements, volume 159 of Applied Mathematical Sciences. Springer-Verlag, New York, 2004.
John W. Barrett and W. B. Liu. Finite element approximation of the parabolic \(p\)-Laplacian. SIAM J. Numer. Anal., 31(2):413–428, 1994.
Franco Brezzi and Michel Fortin. Mixed and hybrid finite element methods, volume 15 of Springer Series in Computational Mathematics. Springer-Verlag, New York, 1991.
Roland Becker and Rolf Rannacher. An optimal control approach to a posteriori error estimation in finite element methods. Acta Numer., 10:1–102, 2001.
Marie E. Rognes and Anders Logg. Automated goal-oriented error control I: Stationary variational problems. SIAM J. Sci. Comput., 35(3):C173–C193, 2013.
Ricardo H. Nochetto, Andreas Veeser, and Marco Verani. A safeguarded dual weighted residual method. IMA Journal of Numerical Analysis, 29(1):126–140, 2009.
Carsten Carstensen. Estimation of higher Sobolev norm from lower order approximation. SIAM J. Numer. Anal., 42(5):2136–2147 (electronic), 2005.
Alfred Schmidt and Kunibert G. Siebert. Design of adaptive finite element software, volume 42 of Lecture Notes in Computational Science and Engineering. Springer-Verlag, Berlin, 2005. The finite element toolbox ALBERTA, With 1 CD-ROM (Unix/Linux).
Author information
Authors and Affiliations
Corresponding author
Additional information
Peter Olver.
The authors were supported by the EPSRC Grant EP/H024018/1.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Mansfield, E.L., Pryer, T. Noether-Type Discrete Conserved Quantities Arising from a Finite Element Approximation of a Variational Problem. Found Comput Math 17, 729–762 (2017). https://doi.org/10.1007/s10208-015-9298-0
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10208-015-9298-0