Searcharxiv⌕ Search

arXiv subjects

Tristan Pryer

Publications and source records attributed to Tristan Pryer.

At least 73 records · Page 4Linked to original sources

A posteriori analysis for dynamic model adaptation in convection dominated problems

In this work we present an a posteriori error indicator for approximation schemes of Runge-Kutta-discontinuous-Galerkin type arising in applications of compressible fluid flows. The purpose of this indicator is not only for mesh adaptivity, we also make use of this to drive model adaptivity. This is where a perhaps costly complex model and a cheaper simple model are solved over different parts of the domain. The a posteriori bound we derive indicates the regions where the complex model can be relatively well approximated with the cheaper one. One such example which we choose to highlight is that of the Navier-Stokes-Fourier equations approximated by Euler's equations.

math.NA↗

Recovered Finite Element Methods

We introduce a family of Galerkin finite element methods which are constructed via recovery operators over element-wise discontinuous approximation spaces. This new family, termed collectively as recovered finite element methods (R-FEM) has a number of attractive features over both classical finite element and discontinuous Galerkin approaches, most important of which is its potential to produce stable conforming approximations in a variety of settings. Moreover, for special choices of recovery operators, R-FEM produces the same approximate solution as the classical conforming finite element method, while, trivially, one can recast (primal formulation) discontinuous Galerkin methods. A priori error bounds are shown for linear second order boundary value problems, verifying the optimality of the proposed method. Residual-type a posteriori bounds are also derived, highlighting the potential of R-FEM in the context of adaptive computations. Numerical experiments highlight the good approximation properties of the method in practice. A discussion on the potential use of R-FEM in various settings is also included.

math.NA↗

A posteriori error estimates for the virtual element method

An posteriori error analysis for the virtual element method (VEM) applied to general elliptic problems is presented. The resulting error estimator is of residual-type and applies on very general polygonal/polyhedral meshes. The estimator is fully computable as it relies only on quantities available from the VEM solution, namely its degrees of freedom and element-wise polynomial projection. Upper and lower bounds of the error estimator with respect to the VEM approximation error are proven. The error estimator is used to drive adaptive mesh refinement in a number of test problems. Mesh adaptation is particularly simple to implement since elements with consecutive co-planar edges/faces are allowed and, therefore, locally adapted meshes do not require any local mesh post-processing.

math.NA↗

Analysis of Discontinuous Galerkin Methods using Mesh-Dependent Norms and Applications to Problems with Rough Data

We prove the inf-sup stability of a discontinuous Galerkin scheme for second order elliptic operators in (unbalanced) mesh-dependent norms for quasi-uniform meshes for all spatial dimensions. This results in a priori error bounds in these norms. As an application we examine a problem with rough source term where the solution can not be characterised as a weak solution and show quasi-optimal error control.

math.NA↗

A numerical implementation of the unified Fokas transform for evolution problems on a finite interval

We present the numerical solution of two-point boundary value problems for a third order linear PDE, representing a linear evolution in one space dimension. The difficulty of this problem is in the numerical imposition of the boundary conditions, and to our knowledge, no such computations exist. Instead of computing the evolution numerically, we evaluate the solution representation formula obtained by the unified transform of Fokas. This representation involves complex line integrals, but in order to evaluate these integrals numerically, it is necessary to deform the integration contours using appropriate deformation mappings. We formulate a strategy to implement effectively this deformation, which allows us to obtain accurate numerical results.

math.NA↗

On the Numerical Approximation of $\infty$-Harmonic Mappings

Given a map $u : Ω\subseteq \mathbb{R}^n \longrightarrow \mathbb{R}^N$, the $\infty$-Laplacian is the system \[ \label{1} Δ_\infty u \, :=\, \Big(\text{D}u \otimes \text{D}u + |\text{D}u|^2 [\text{D}u]^\bot \! \otimes I \Big) : \text{D}^2 u\, = \, 0. \tag{1} \] \eqref{1} is the model system of vectorial Calculus of Variations in $L^\infty$ and arises as the "Euler-Lagrange" equation in relation to the supremal functional \[ \label{2} E_\infty(u,Ω)\, :=\, \| \text{D}u \|_{L^\infty(Ω)}. \tag{2} \] The scalar case of \eqref{1} has been introduced by Aronsson in the 1960s and by now is relatively classical and well understood. The general system \eqref{1} has been discovered and studied by the first author in a series of recent papers. Supremal functionals are fundamental for applications because they provide more realistic models as opposed to conventional integral models. Herein we provide numerical approximations of solutions to the Dirichlet problem when $n=2$ and $N=2,3$ for certain carefully selected boundary data on the unit square. Our experiments demonstrate interesting and unexpected phenomena occurring in $L^\infty$ and provide insights on the structure of general solutions and the natural separation to phases they present.

math.AP↗

Discontinuous Galerkin methods for the $p$--biharmonic equation from a discrete variational perspective

We study discontinuous Galerkin approximations of the $p$--biharmonic equation from a variational perspective. We propose a discrete variational formulation of the problem based on a appropriate definition of a finite element Hessian and study convergence of the method (without rates) using a weak lower semicontinuity argument. We present numerical experiments aimed at testing the robustness of the method. We also note a superconvergence effect for some values of $p$.

math.NA↗

An a posteriori analysis of some inconsistent, nonconforming Galerkin methods approximating elliptic problems

In this work we present an a posteriori analysis for classes of inconsistent, nonconforming schemes approximating elliptic problems. We show the estimates coincide with existing ones for interior penalty type discontinuous Galerkin approximations of the Laplacian and give new estimates for inconsistent discontinuous Galerkin approximation schemes of elliptic problems under quadrature approximation. We also examine the effect of inconsistencies on the a posteriori analysis of schemes applied to an unbalanced problem.

math.NA↗

Noether type discrete conserved quantities arising from a finite element approximation of a variational problem

In this work we prove a weak Noether type theorem for a class of variational problems which include broken extremals. We then use this result to prove discrete Noether type conservation laws for certain classes of 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 1st Theorem (E. Noether 1918). We summarise extensive numerical tests, illustrating the conservativity of the discrete Noether law using the $p$--Laplacian as an example.

math.NA↗

Reduced relative entropy techniques for a priori analysis of multiphase problems in elastodynamics

We give an a priori analysis of a semi-discrete discontinuous Galerkin scheme approximating solutions to a model of multiphase elastodynamics which involves an energy density depending not only on the strain but also the strain gradient. A key component in the analysis is the reduced relative entropy stability framework developed in [Gie14]. We prove optimal bounds for the strain in an appropriate norm and suboptimal bounds for the velocity.

math.NA↗

Reduced relative entropy techniques for a posteriori analysis of multiphase problems in elastodynamics

We give an a posteriori analysis of a semi-discrete discontinuous Galerkin scheme approximating solutions to a model of multiphase elastodynamics, which involves an energy density depending not only on the strain but also the strain gradient. A key component in the analysis is the reduced relative entropy stability framework developed in [Giesselmann 2014]. This framework allows energy type arguments to be applied to continuous functions. Since we advocate the use of discontinuous Galerkin methods we make use of two families of reconstructions, one set of discrete reconstructions [Makridakis and Nochetto 2006] and a set of elliptic reconstructions [Makridakis and Nochetto 2003] to apply the reduced relative entropy framework in this setting.

math.NA↗

A posteriori analysis of discontinuous Galerkin schemes for systems of hyperbolic conservation laws

In this work we construct reliable a posteriori estimates for some discontinuous Galerkin schemes applied to nonlinear systems of hyperbolic conservation laws. We make use of appropriate reconstructions of the discrete solution together with the relative entropy stability framework. The methodology we use is quite general and allows for a posteriori control of discontinuous Galerkin schemes with standard flux choices which appear in the approximation of conservation laws. In addition to the analysis, we conduct some numerical benchmarking to test the robustness of the resultant estimator.

math.NA↗

Energy consistent discontinuous Galerkin methods for a quasi-incompressible diffuse two phase flow model

We design consistent discontinuous Galerkin finite element schemes for the approximation of a quasi-incompressible two phase flow model of Allen-Cahn/Cahn-Hilliard/Navier-Stokes-Korteweg type which allows for phase transitions. We show that the scheme is mass conservative and monotonically energy dissipative. In this case the dissipation is isolated to discrete equivalents of those effects already causing dissipation on the continuous level, that is, there is no artificial numerical dissipation added into the scheme. In this sense the methods are consistent with the energy dissipation of the continuous PDE system.

math.NA↗

An adaptive finite element method for the infinity Laplacian

We construct a finite element method (FEM) for the infinity Laplacian. Solutions of this problem may be singular, which has prompted us to conduct an a posteriori analysis of the method deriving residual based estimators to drive an adaptive algorithm. It is numerically shown that the optimal convergence rates are regained upon using the adaptive procedure.

math.NA↗

Discontinuous Galerkin methods for nonvariational problems

We extend the finite element method introduced by Lakkis and Pryer [2011] to approximate the solution of second order elliptic problems in nonvariational form to incorporate the discontinuous Galerkin (DG) framework. This is done by viewing the NVFEM as a mixed method whereby the finite element Hessian is an auxiliary variable in the formulation. Representing the finite element Hessian in a discontinuous setting yields a linear system of the same size and having the same sparsity pattern of the compact DG methods for variational elliptic problems. Furthermore, the system matrix is very easy to assemble, Thus this approach greatly reduces the computational complexity of the discretisation compared to the continuous approach. We conduct a stability and consistency analysis making use of the unified framework set out in Arnold et. al. [2001]. We also give an apriori analysis of the method. The analysis applies to any consistent representation of the finite element Hessian, thus is applicable to the previous works making use of continuous Galerkin approximations.

math.NA↗

A finite element method for fully nonlinear elliptic problems

We present a continuous finite element method for some examples of fully nonlinear elliptic equation. A key tool is the discretisation proposed in Lakkis & Pryer (2011, SISC) allowing us to work directly on the strong form of a linear PDE. An added benefit to making use of this discretisation method is that a recovered (finite element) Hessian is a biproduct of the solution process. We build on the linear basis and ultimately construct two different methodologies for the solution of second order fully nonlinear PDEs. Benchmark numerical results illustrate the convergence properties of the scheme for some test problems including the Monge-Ampère equation and Pucci's equation.

math.NA↗

Energy consistent DG methods for the Navier-Stokes-Korteweg system

We design consistent discontinuous Galerkin finite element schemes for the approximation of the Euler-Korteweg and the Navier-Stokes-Korteweg systems. We show that the scheme for the Euler-Korteweg system is energy and mass conservative and that the scheme for the Navier-Stokes-Korteweg system is mass conservative and monotonically energy dissipative. In this case the dissipation is isolated to viscous effects, that is, there is no numerical dissipation. In this sense the methods is consistent with the energy dissipation of the continuous PDE systems.

math.NA↗