Showing 1–8 of 8 results for author: Dokken, J S

DefElement: an encyclopedia of finite element definitions

Authors: Matthew W. Scroggs, Pablo D. Brubeck, Joseph P. Dean, Jørgen S. Dokken, India Marsden

Abstract: DefElement is an online encyclopedia of finite element definitions that was created and is maintained by the authors of this paper. DefElement aims to make information about elements defined in the literature easily available in a standard format. There are a number of open-source finite element libraries available, and it can be difficult to check that an implementation of an element in a library… ▽ More DefElement is an online encyclopedia of finite element definitions that was created and is maintained by the authors of this paper. DefElement aims to make information about elements defined in the literature easily available in a standard format. There are a number of open-source finite element libraries available, and it can be difficult to check that an implementation of an element in a library matches the element's definition in the literature or implementation in another library, especially when many libraries include variants of elements whose basis functions do not match exactly. In this paper, we carefully derive conditions under which elements can be considered equivalent and describe an algorithm that uses these conditions to verify that two implementations of a finite element are indeed variants of the same element. The results of scheduled runs of our implementation of this verification algorithm are included in the information available on DefElement. △ Less

Submitted 25 June, 2025; originally announced June 2025.

Comments: 33 pages

The latent variable proximal point algorithm for variational problems with inequality constraints

Authors: Jørgen S. Dokken, Patrick E. Farrell, Brendan Keith, Ioannis P. A. Papadopoulos, Thomas M. Surowiec

Abstract: The latent variable proximal point (LVPP) algorithm is a framework for solving infinite-dimensional variational problems with pointwise inequality constraints. The algorithm is a saddle point reformulation of the Bregman proximal point algorithm. At the continuous level, the two formulations are equivalent, but the saddle point formulation is more amenable to discretization because it introduces a… ▽ More The latent variable proximal point (LVPP) algorithm is a framework for solving infinite-dimensional variational problems with pointwise inequality constraints. The algorithm is a saddle point reformulation of the Bregman proximal point algorithm. At the continuous level, the two formulations are equivalent, but the saddle point formulation is more amenable to discretization because it introduces a structure-preserving transformation between a latent function space and the feasible set. Working in this latent space is much more convenient for enforcing inequality constraints than the feasible set, as discretizations can employ general linear combinations of suitable basis functions, and nonlinear solvers can involve general additive updates. LVPP yields numerical methods with observed mesh-independence for obstacle problems, contact, fracture, plasticity, and others besides; in many cases, for the first time. The framework also extends to more complex constraints, providing means to enforce convexity in the Monge--Ampère equation and handling quasi-variational inequalities, where the underlying constraint depends implicitly on the unknown solution. In this paper, we describe the LVPP algorithm in a general form and apply it to ten problems from across mathematics. △ Less

Submitted 30 June, 2025; v1 submitted 7 March, 2025; originally announced March 2025.

On the numerical evaluation of wall shear stress using the finite element method

Authors: Jana Brunátová, Jørgen Schartum Dokken, Kristian Valen-Sendstad, Jaroslav Hron

Abstract: Wall shear stress (WSS) is a crucial hemodynamic quantity extensively studied in cardiovascular research, yet its numerical computation is not straightforward. This work aims to compare WSS results obtained from two different finite element discretizations, quantify the differences between continuous and discontinuous stresses, and introduce a novel method for WSS evaluation through the formulatio… ▽ More Wall shear stress (WSS) is a crucial hemodynamic quantity extensively studied in cardiovascular research, yet its numerical computation is not straightforward. This work aims to compare WSS results obtained from two different finite element discretizations, quantify the differences between continuous and discontinuous stresses, and introduce a novel method for WSS evaluation through the formulation of a boundary-flux problem. Two benchmark problems are considered - a 2D Stokes flow on a unit square and a 3D Poiseuille flow through a cylindrical pipe. These are followed by investigations of steady-state Navier-Stokes flow in two patient-specific aneurysms. The study focuses on P1/P1 stabilized and Taylor-Hood P2/P1 mixed finite elements for velocity and pressure. WSS is computed using either the proposed boundary-flux method or as a projection of tangential traction onto First order Lagrange (P1), Discontinuous Galerkin first order (DG-1), or Discontinuous Galerkin zero order (DG-0) space. For the P1/P1 stabilized element, the boundary-flux and P1 projection methods yielded equivalent results. With the P2/P1 element, the boundary-flux evaluation demonstrated faster convergence in the Poiseuille flow example but showed increased sensitivity to pressure field inaccuracies in patient-specific geometries compared to the projection method. In patient-specific cases, the P2/P1 element exhibited superior robustness to mesh size when evaluating average WSS and low shear area (LSA), outperforming the P1/P1 stabilized element. Projecting discontinuous finite element results into continuous spaces can introduce artifacts, such as the Gibbs phenomenon. Consequently, it becomes crucial to carefully select the finite element space for boundary stress calculations - not only in applications involving WSS computations for aneurysms. △ Less

Submitted 6 January, 2025; originally announced January 2025.

Model order reduction of solidification problems

Authors: Florian Arbes, Øyvind Jensen, Kent-Andre Mardal, Jørgen S. Dokken

Abstract: Advection driven problems are known to be difficult to model with a reduced basis because of a slow decay of the Kolmogorov $N$-width. This paper investigates how this challenge transfers to the context of solidification problems and tries to answer when and to what extend reduced order models (ROMs) work for solidification problems. In solidification problems, the challenge is not the advection p… ▽ More Advection driven problems are known to be difficult to model with a reduced basis because of a slow decay of the Kolmogorov $N$-width. This paper investigates how this challenge transfers to the context of solidification problems and tries to answer when and to what extend reduced order models (ROMs) work for solidification problems. In solidification problems, the challenge is not the advection per se, but rather a moving solidification front. This paper studies reduced spaces for 1D step functions that move in time, which can either be seen as advection of a quantity or as a moving solidification front. Furthermore, the reduced space of a 2D solidification test case is compared with the reduced space of an alloy solidification featuring a mushy zone. The results show that not only the PDE itself, but the smoothness of the solution is crucial for the decay of the singular values and thus the quality of a reduced space representation. △ Less

Submitted 12 October, 2022; originally announced October 2022.

Construction of arbitrary order finite element degree-of-freedom maps on polygonal and polyhedral cell meshes

Authors: Matthew W. Scroggs, Jørgen S. Dokken, Chris N. Richardson, Garth N. Wells

Abstract: We develop a method for generating degree-of-freedom maps for arbitrary order finite element spaces for any cell shape. The approach is based on the composition of permutations and transformations by cell sub-entity. Current approaches to generating degree-of-freedom maps for arbitrary order problems typically rely on a consistent orientation of cell entities that permits the definition of a commo… ▽ More We develop a method for generating degree-of-freedom maps for arbitrary order finite element spaces for any cell shape. The approach is based on the composition of permutations and transformations by cell sub-entity. Current approaches to generating degree-of-freedom maps for arbitrary order problems typically rely on a consistent orientation of cell entities that permits the definition of a common local coordinate system on shared edges and faces. However, while orientation of a mesh is straightforward for simplex cells and is a local operation, it is not a strictly local operation for quadrilateral cells and in the case of hexahedral cells not all meshes are orientable. The permutation and transformation approach is developed for a range of element types, including Lagrange, and divergence- and curl-conforming elements, and for a range of cell shapes. The approach is local and can be applied to cells of any shape, including general polytopes and meshes with mixed cell types. A number of examples are presented and the developed approach has been implemented in an open-source finite element library. △ Less

Submitted 25 January, 2022; v1 submitted 23 February, 2021; originally announced February 2021.

Journal ref: ACM Transactions on Mathematical Software 48(2), 2022, 18:1-18:23

Automatic shape derivatives for transient PDEs in FEniCS and Firedrake

Authors: Jørgen S. Dokken, Sebastian K. Mitusch, Simon W. Funke

Abstract: In industry, shape optimization problems are of utter importance when designing structures such as aircraft, automobiles and turbines. For many of these applications, the structure changes over time, with a prescribed or non-prescribed movement. Therefore, it is important to capture these features in simulations when optimizing the design of the structure. Using gradient based algorithms, deriving… ▽ More In industry, shape optimization problems are of utter importance when designing structures such as aircraft, automobiles and turbines. For many of these applications, the structure changes over time, with a prescribed or non-prescribed movement. Therefore, it is important to capture these features in simulations when optimizing the design of the structure. Using gradient based algorithms, deriving the shape derivative manually can become very complex and error prone, especially in the case of time-dependent non-linear partial differential equations. To ease this burden, we present a high-level algorithmic differentiation tool that automatically computes first and second order shape derivatives for partial differential equations posed in the finite element frameworks FEniCS and Firedrake. The first order shape derivatives are computed using the adjoint method, while the second order shape derivatives are computed using a combination of the tangent linear method and the adjoint method. The adjoint and tangent linear equations are symbolically derived for any sequence of variational forms. As a consequence our methodology works for a wide range of PDE problems and is discretely consistent. We illustrate the generality of our framework by presenting several examples, spanning the range of linear, non-linear and time-dependent PDEs for both stationary and transient domains. △ Less

Submitted 27 January, 2020; originally announced January 2020.

MSC Class: 35Q93; 49Q10; 35Q35

A multimesh finite element method for the Navier-Stokes equations based on projection methods

Authors: Jørgen S. Dokken, August Johansson, André Massing, Simon W. Funke

Abstract: The multimesh finite element method is a technique for solving partial differential equations on multiple non-matching meshes by enforcing interface conditions using Nitsche's method. Since the non-matching meshes can result in arbitrarily cut cells, additional stabilization terms are needed to obtain a stable variational formulation. In this contribution we extend the multimesh finite element met… ▽ More The multimesh finite element method is a technique for solving partial differential equations on multiple non-matching meshes by enforcing interface conditions using Nitsche's method. Since the non-matching meshes can result in arbitrarily cut cells, additional stabilization terms are needed to obtain a stable variational formulation. In this contribution we extend the multimesh finite element method to the Navier-Stokes equations based on the incremental pressure correction scheme. For each step in the pressure correction scheme, we derive a multimesh finite element formulation with suitable stabilization terms. The overall scheme yields expected spatial and temporal convergence rates on the Taylor-Green problem, and demonstrates good agreement for the drag and lift coefficients on the Turek-Schafer benchmark (DFG benchmark 2D-3). Finally, we illustrate the capabilities of the proposed scheme by optimizing the layout of obstacles in a channel. △ Less

Submitted 13 December, 2019; originally announced December 2019.

Shape Optimization using the Finite Element Method on Multiple Meshes

Authors: Jorgen S. Dokken, Simon W. Funke, August Johansson, Stephan Schmidt

Abstract: An important step in shape optimization with partial differential equation constraints is to adapt the geometry during each optimization iteration. Common strategies are to employ mesh-deformation or re-meshing, where one or the other typically lacks robustness or is computationally expensive. This paper proposes a different approach, in which the computational domain is represented by multiple, i… ▽ More An important step in shape optimization with partial differential equation constraints is to adapt the geometry during each optimization iteration. Common strategies are to employ mesh-deformation or re-meshing, where one or the other typically lacks robustness or is computationally expensive. This paper proposes a different approach, in which the computational domain is represented by multiple, independent meshes. A Nitsche based finite element method is used to weakly enforce continuity over the non-matching mesh interfaces. The optimization is preformed using an iterative gradient method, in which the shape-sensitivities are obtained by employing the Hadamard formulas and the adjoint approach. An optimize-then-discretize approach is chosen due to its independence of the FEM framework. Since the individual meshes may be moved freely, re-meshing or mesh deformations can be entirely avoided in cases where the geometry changes consists of rigid motions or scaling. By this free movement, we obtain robust and computational cheap mesh adaptation for optimization problems even for large domain changes. For general geometry changes, the method can be combined with mesh-deformation or re-meshing techniques to reduce the amount of deformation required. We demonstrate the capabilities of the method on several examples, including the optimal placement of heat emitting wires in a cable to minimize the chance of overheating, the drag minimization in Stokes flow, and the orientation of 25 objects in a Stokes flow. △ Less

Submitted 26 June, 2018; originally announced June 2018.