-
AI2STOW: End-to-End Deep Reinforcement Learning to Construct Master Stowage Plans under Demand Uncertainty
Authors:
Jaike Van Twiller,
Djordje Grbic,
Rune Møller Jensen
Abstract:
The worldwide economy and environmental sustainability depend on eff icient and reliable supply chains, in which container shipping plays a crucial role as an environmentally friendly mode of transport. Liner shipping companies seek to improve operational efficiency by solving the stowage planning problem. Due to many complex combinatorial aspects, stowage planning is challenging and often decompo…
▽ More
The worldwide economy and environmental sustainability depend on eff icient and reliable supply chains, in which container shipping plays a crucial role as an environmentally friendly mode of transport. Liner shipping companies seek to improve operational efficiency by solving the stowage planning problem. Due to many complex combinatorial aspects, stowage planning is challenging and often decomposed into two NP-hard subproblems: master and slot planning. This article proposes AI2STOW, an end-to-end deep reinforcement learning model with feasibility projection and an action mask to create master plans under demand uncertainty with global objectives and constraints, including paired block stowage patterms. Our experimental results demonstrate that AI2STOW outperforms baseline methods from reinforcement learning and stochastic programming in objective performance and computational efficiency, based on simulated instances reflecting the scale of realistic vessels and operational planning horizons.
△ Less
Submitted 6 April, 2025;
originally announced April 2025.
-
Navigating Demand Uncertainty in Container Shipping: Deep Reinforcement Learning for Enabling Adaptive and Feasible Master Stowage Planning
Authors:
Jaike van Twiller,
Yossiri Adulyasak,
Erick Delage,
Djordje Grbic,
Rune Møller Jensen
Abstract:
Reinforcement learning (RL) has shown promise in solving various combinatorial optimization problems. However, conventional RL faces challenges when dealing with real-world constraints, especially when action space feasibility is explicit and dependent on the corresponding state or trajectory. In this work, we focus on using RL in container shipping, often considered the cornerstone of global trad…
▽ More
Reinforcement learning (RL) has shown promise in solving various combinatorial optimization problems. However, conventional RL faces challenges when dealing with real-world constraints, especially when action space feasibility is explicit and dependent on the corresponding state or trajectory. In this work, we focus on using RL in container shipping, often considered the cornerstone of global trade, by dealing with the critical challenge of master stowage planning. The main objective is to maximize cargo revenue and minimize operational costs while navigating demand uncertainty and various complex operational constraints, namely vessel capacity and stability, which must be dynamically updated along the vessel's voyage. To address this problem, we implement a deep reinforcement learning framework with feasibility projection to solve the master stowage planning problem (MPP) under demand uncertainty. The experimental results show that our architecture efficiently finds adaptive, feasible solutions for this multi-stage stochastic optimization problem, outperforming traditional mixed-integer programming and RL with feasibility regularization. Our AI-driven decision-support policy enables adaptive and feasible planning under uncertainty, optimizing operational efficiency and capacity utilization while contributing to sustainable and resilient global supply chains.
△ Less
Submitted 20 March, 2025; v1 submitted 18 February, 2025;
originally announced February 2025.
-
An Efficient Integer Programming Model for Solving the Master Planning Problem of Container Vessel Stowage
Authors:
Jaike van Twiller,
Agnieszka Sivertsen,
Rune M. Jensen,
Kent H. Andersen
Abstract:
A crucial role of container shipping is maximizing container uptake onto vessels, optimizing the efficiency of a fundamental part of the global supply chain. In practice, liner shipping companies include block stowage patterns that ensure that containers in above and below deck partitions of bays have the same destination. Despite preventing restows, increasing free space, and benefits for crane m…
▽ More
A crucial role of container shipping is maximizing container uptake onto vessels, optimizing the efficiency of a fundamental part of the global supply chain. In practice, liner shipping companies include block stowage patterns that ensure that containers in above and below deck partitions of bays have the same destination. Despite preventing restows, increasing free space, and benefits for crane makespan and hydrostatics, this practical planning requirement is rarely included in stowage optimization models. In our paper, we introduce a novel 0-1 IP model that searches in the space of valid paired block stowage patterns, named template planning, which ensures sufficient vessel capacity and limits to crane makespan, trim, and bending moment. Our results show that template planning outperforms traditional allocation planning concerning optimality and runtime efficiency while preserving a sufficiently accurate representation of master planning constraints and objectives.
△ Less
Submitted 15 August, 2024;
originally announced August 2024.
-
Data-dependent density estimation for the Fokker-Planck equation in higher dimensions
Authors:
Max Jensen,
Fabian Merle,
Andreas Prohl
Abstract:
We present a new strategy to approximate the global solution of the Fokker-Planck equation efficiently in higher dimensions and show its convergence. The main ingredients are the Euler scheme to solve the associated stochastic differential equation and a histogram method for tree-structured density estimation on a data-dependent partitioning of the state space R^d.
We present a new strategy to approximate the global solution of the Fokker-Planck equation efficiently in higher dimensions and show its convergence. The main ingredients are the Euler scheme to solve the associated stochastic differential equation and a histogram method for tree-structured density estimation on a data-dependent partitioning of the state space R^d.
△ Less
Submitted 26 January, 2024;
originally announced January 2024.
-
Literature Survey on the Container Stowage Planning Problem
Authors:
Jaike van Twiller,
Agnieszka Sivertsen,
Dario Pacino,
Rune Møller Jensen
Abstract:
Container shipping drives the global economy and is an eco-friendly mode of transportation. A key objective is to maximize the utilization of vessels, which is challenging due to the NP-hardness of stowage planning. This article surveys the literature on the Container Stowage Planning Problem (CSPP). We introduce a classification scheme to analyze single-port and multi-port CSPPs, as well as the h…
▽ More
Container shipping drives the global economy and is an eco-friendly mode of transportation. A key objective is to maximize the utilization of vessels, which is challenging due to the NP-hardness of stowage planning. This article surveys the literature on the Container Stowage Planning Problem (CSPP). We introduce a classification scheme to analyze single-port and multi-port CSPPs, as well as the hierarchical decomposition of CSPPs into the master and slot planning problem. Our survey shows that the area has a relatively small number of publications and that it is hard to evaluate the industrial applicability of many of the proposed solution methods due to the oversimplification of problem formulations. To address this issue, we propose a research agenda with directions for future work, including establishing a representative problem definition and providing new benchmark instances where needed.
△ Less
Submitted 14 July, 2023;
originally announced July 2023.
-
Deep learning for gradient flows using the Brezis-Ekeland principle
Authors:
Laura Carini,
Max Jensen,
Robert Nürnberg
Abstract:
We propose a deep learning method for the numerical solution of partial differential equations that arise as gradient flows. The method relies on the Brezis--Ekeland principle, which naturally defines an objective function to be minimized, and so is ideally suited for a machine learning approach using deep neural networks. We describe our approach in a general framework and illustrate the method w…
▽ More
We propose a deep learning method for the numerical solution of partial differential equations that arise as gradient flows. The method relies on the Brezis--Ekeland principle, which naturally defines an objective function to be minimized, and so is ideally suited for a machine learning approach using deep neural networks. We describe our approach in a general framework and illustrate the method with the help of an example implementation for the heat equation in space dimensions two to seven.
△ Less
Submitted 28 September, 2022;
originally announced September 2022.
-
Dynamic Survival Analysis for non-Markovian Epidemic Models
Authors:
Francesco Di Lauro,
Wasiur R. KhudaBukhsh,
Istvan Z. Kiss,
Eben Kenah,
Max Jensen,
Grzegorz A. Rempala
Abstract:
We present a new method for analyzing stochastic epidemic models under minimal assumptions. The method, dubbed DSA, is based on a simple yet powerful observation, namely that population-level mean-field trajectories described by a system of PDE may also approximate individual-level times of infection and recovery. This idea gives rise to a certain non-Markovian agent-based model and provides an ag…
▽ More
We present a new method for analyzing stochastic epidemic models under minimal assumptions. The method, dubbed DSA, is based on a simple yet powerful observation, namely that population-level mean-field trajectories described by a system of PDE may also approximate individual-level times of infection and recovery. This idea gives rise to a certain non-Markovian agent-based model and provides an agent-level likelihood function for a random sample of infection and/or recovery times. Extensive numerical analyses on both synthetic and real epidemic data from the FMD in the United Kingdom and the COVID-19 in India show good accuracy and confirm method's versatility in likelihood-based parameter estimation. The accompanying software package gives prospective users a practical tool for modeling, analyzing and interpreting epidemic data with the help of the DSA approach.
△ Less
Submitted 20 February, 2022;
originally announced February 2022.
-
Bridge Simulation and Metric Estimation on Lie Groups and Homogeneous Spaces
Authors:
Mathias Højgaard Jensen,
Lennard Hilgendorf,
Sarang Joshi,
Stefan Sommer
Abstract:
We present schemes for simulating Brownian bridges on complete and connected Lie groups and homogeneous spaces. We use this to construct an estimation scheme for recovering an unknown left- or right-invariant Riemannian metric on the Lie group from samples. We subsequently show how pushing forward the distributions generated by Brownian motions on the group results in distributions on homogeneous…
▽ More
We present schemes for simulating Brownian bridges on complete and connected Lie groups and homogeneous spaces. We use this to construct an estimation scheme for recovering an unknown left- or right-invariant Riemannian metric on the Lie group from samples. We subsequently show how pushing forward the distributions generated by Brownian motions on the group results in distributions on homogeneous spaces that exhibit non-trivial covariance structure. The pushforward measure gives rise to new parametric families of distributions on commonly occurring spaces such as spheres and symmetric positive tensors. We extend the estimation scheme to fit these distributions to homogeneous space-valued data. We demonstrate both the simulation schemes and estimation procedures on Lie groups and homogenous spaces, including $\SPD(3) = \GL_+(3)/\SO(3)$ and $\mathbb S^2 = \SO(3)/\SO(2)$.
△ Less
Submitted 24 May, 2022; v1 submitted 1 December, 2021;
originally announced December 2021.
-
Bridge Simulation and Metric Estimation on Lie Groups
Authors:
Mathias Højgaard Jensen,
Sarang Joshi,
Stefan Sommer
Abstract:
We present a simulation scheme for simulating Brownian bridges on complete and connected Lie groups. We show how this simulation scheme leads to absolute continuity of the Brownian bridge measure with respect to the guided process measure. This result generalizes the Euclidean result of Delyon and Hu to Lie groups. We present numerical results of the guided process in the Lie group $\SO(3)$. In pa…
▽ More
We present a simulation scheme for simulating Brownian bridges on complete and connected Lie groups. We show how this simulation scheme leads to absolute continuity of the Brownian bridge measure with respect to the guided process measure. This result generalizes the Euclidean result of Delyon and Hu to Lie groups. We present numerical results of the guided process in the Lie group $\SO(3)$. In particular, we apply importance sampling to estimate the metric on $\SO(3)$ using an iterative maximum likelihood method.
△ Less
Submitted 7 June, 2021;
originally announced June 2021.
-
Simulation of Conditioned Semimartingales on Riemannian Manifolds
Authors:
Mathias Højgaard Jensen,
Stefan Sommer
Abstract:
We present a scheme for simulating conditioned semimartingales taking values in Riemannian manifolds. Extending the guided bridge proposal approach used for simulating Euclidean bridges, the scheme replaces the drift of the conditioned process with an approximation in terms of a scaled radial vector field. This handles the fact that transition densities are generally intractable on geometric space…
▽ More
We present a scheme for simulating conditioned semimartingales taking values in Riemannian manifolds. Extending the guided bridge proposal approach used for simulating Euclidean bridges, the scheme replaces the drift of the conditioned process with an approximation in terms of a scaled radial vector field. This handles the fact that transition densities are generally intractable on geometric spaces. We prove the validity of the scheme by a change of measure argument, and we show how the resulting guided processes can be used in importance sampling and for approximating the density of the unconditioned process. The scheme is used for numerically simulating bridges on two- and three-dimensional manifolds, for approximating otherwise intractable transition densities, and for estimating the diffusion mean of sampled geometric data.
△ Less
Submitted 15 February, 2023; v1 submitted 26 May, 2021;
originally announced May 2021.
-
Finite Element Approximation of Hamilton-Jacobi-Bellman equations with nonlinear mixed boundary conditions
Authors:
Bartosz Jaroszkowski,
Max Jensen
Abstract:
We show strong uniform convergence of monotone P1 finite element methods to the viscosity solution of isotropic parabolic Hamilton-Jacobi-Bellman equations with mixed boundary conditions on unstructured meshes and for possibly degenerate diffusions. Boundary operators can generally be discontinuous across face-boundaries and type changes. Robin-type boundary conditions are discretised via a lower…
▽ More
We show strong uniform convergence of monotone P1 finite element methods to the viscosity solution of isotropic parabolic Hamilton-Jacobi-Bellman equations with mixed boundary conditions on unstructured meshes and for possibly degenerate diffusions. Boundary operators can generally be discontinuous across face-boundaries and type changes. Robin-type boundary conditions are discretised via a lower Dini derivative. In time the Bellman equation is approximated through IMEX schemes. Existence and uniqueness of numerical solutions follows through Howard's algorithm.
Keywords: Finite element method, Hamilton-Jacobi-Bellman equation, Mixed boundary conditions, Fully nonlinear equation, Viscosity solution
△ Less
Submitted 20 May, 2021;
originally announced May 2021.
-
Finite Element Methods for Isotropic Isaacs Equations with Viscosity and Strong Dirichlet Boundary Conditions
Authors:
Bartosz Jaroszkowski,
Max Jensen
Abstract:
We study monotone P1 finite element methods on unstructured meshes for fully non-linear, degenerately parabolic Isaacs equations with isotropic diffusions arising from stochastic game theory and optimal control and show uniform convergence to the viscosity solution. Elliptic projections are used to manage singular behaviour at the boundary and to treat a violation of the consistency conditions fro…
▽ More
We study monotone P1 finite element methods on unstructured meshes for fully non-linear, degenerately parabolic Isaacs equations with isotropic diffusions arising from stochastic game theory and optimal control and show uniform convergence to the viscosity solution. Elliptic projections are used to manage singular behaviour at the boundary and to treat a violation of the consistency conditions from the framework by Barles and Souganidis by the numerical operators. Boundary conditions may be imposed in the viscosity or in the strong sense, or in a combination thereof. The presented monotone numerical method has well-posed finite dimensional systems, which can be solved efficiently with Howard's method.
△ Less
Submitted 5 May, 2021;
originally announced May 2021.
-
Simulation of Conditioned Diffusions on the Flat Torus
Authors:
Mathias Højgaard Jensen,
Anton Mallasto,
Stefan Sommer
Abstract:
Diffusion processes are fundamental in modelling stochastic dynamics in natural sciences. Recently, simulating such processes on complicated geometries has found applications for example in biology, where toroidal data arises naturally when studying the backbone of protein sequences, creating a demand for efficient sampling methods. In this paper, we propose a method for simulating diffusions on t…
▽ More
Diffusion processes are fundamental in modelling stochastic dynamics in natural sciences. Recently, simulating such processes on complicated geometries has found applications for example in biology, where toroidal data arises naturally when studying the backbone of protein sequences, creating a demand for efficient sampling methods. In this paper, we propose a method for simulating diffusions on the flat torus, conditioned on hitting a terminal point after a fixed time, by considering a diffusion process in R 2 which we project onto the torus. We contribute a convergence result for this diffusion process, translating into convergence of the projected process to the terminal point on the torus. We also show that under a suitable change of measure, the Euclidean diffusion is locally a Brownian motion.
△ Less
Submitted 24 June, 2019;
originally announced June 2019.
-
Dynamic Programming for Finite Ensembles of Nanomagnetic Particles
Authors:
Max Jensen,
Ananta Majee,
Andreas Prohl,
Christian Schellnegger
Abstract:
We use optimal control via a distributed exterior field to steer the dynamics of an ensemble of N interacting ferromagnetic particles which are immersed into a heat bath by minimizing a quadratic functional. By using dynamic programing principle, we show the existence of a unique strong solution of the optimal control problem. By the Hopf-Cole transformation, the related Hamilton-Jacobi-Bellman eq…
▽ More
We use optimal control via a distributed exterior field to steer the dynamics of an ensemble of N interacting ferromagnetic particles which are immersed into a heat bath by minimizing a quadratic functional. By using dynamic programing principle, we show the existence of a unique strong solution of the optimal control problem. By the Hopf-Cole transformation, the related Hamilton-Jacobi-Bellman equation from dynamic programming principle may be re-cast into a linear PDE on the manifold M = (S^2)^N, whose classical solution may be represented via Feynman-Kac formula. We use this probabilistic representation for Monte-Carlo simulations to illustrate optimal switching dynamics.
△ Less
Submitted 18 June, 2018;
originally announced June 2018.
-
Finite element convergence for the time-dependent Joule heating problem with mixed boundary conditions
Authors:
Max Jensen,
Axel Målqvist,
Anna Persson
Abstract:
We prove strong convergence for a large class of finite element methods for the time-dependent Joule heating problem in three spatial dimensions with mixed boundary conditions on Lipschitz domains. We consider conforming subspaces for the spatial discretization and the backward Euler scheme for the temporal discretization. Furthermore, we prove uniqueness and higher regularity of the solution on c…
▽ More
We prove strong convergence for a large class of finite element methods for the time-dependent Joule heating problem in three spatial dimensions with mixed boundary conditions on Lipschitz domains. We consider conforming subspaces for the spatial discretization and the backward Euler scheme for the temporal discretization. Furthermore, we prove uniqueness and higher regularity of the solution on creased domains and additional regularity in the interior of the domain. Due to a variational formulation with a cut-off functional the convergence analysis does not require a discrete maximum principle, permitting approximation spaces suitable for adaptive mesh refinement, responding to the the difference in regularity within the domain.
△ Less
Submitted 30 January, 2018;
originally announced January 2018.
-
Numerical Solution of the Simple Monge-Ampère Equation with Non-convex Dirichlet Data on Non-convex Domains
Authors:
Max Jensen
Abstract:
The existence of a unique numerical solution of the semi-Lagrangian method for the simple Monge-Ampère equation is known independently of the convexity of the domain or Dirichlet boundary data -- when the Monge-Ampère equation is posed as Bellman problem. However, the convergence to the viscosity solution has only been proved on strictly convex domains. In this paper we provide numerical evidence…
▽ More
The existence of a unique numerical solution of the semi-Lagrangian method for the simple Monge-Ampère equation is known independently of the convexity of the domain or Dirichlet boundary data -- when the Monge-Ampère equation is posed as Bellman problem. However, the convergence to the viscosity solution has only been proved on strictly convex domains. In this paper we provide numerical evidence that convergence of numerical solutions is observed more generally without convexity assumptions. We illustrate how in the limit multi-valued functions may be approximated to satisfy the Dirichlet conditions on the boundary as well as local convexity in the interior of the domain.
△ Less
Submitted 1 June, 2017; v1 submitted 12 May, 2017;
originally announced May 2017.
-
On the notion of boundary conditions in comparison principles for viscosity solutions
Authors:
Max Jensen,
Iain Smears
Abstract:
We collect examples of boundary-value problems of Dirichlet and Dirichlet-Neumann type which we found instructive when designing and analysing numerical methods for fully nonlinear elliptic partial differential equations. In particular, our model problem is the Monge-Ampère equation, which is treated through its equivalent reformulation as a Hamilton-Jacobi-Bellman equation. Our examples illustrat…
▽ More
We collect examples of boundary-value problems of Dirichlet and Dirichlet-Neumann type which we found instructive when designing and analysing numerical methods for fully nonlinear elliptic partial differential equations. In particular, our model problem is the Monge-Ampère equation, which is treated through its equivalent reformulation as a Hamilton-Jacobi-Bellman equation. Our examples illustrate how the different notions of boundary conditions appearing in the literature may admit different sets of viscosity sub- and supersolutions. We then discuss how these examples relate to the validity of comparison principles for these different notions of boundary conditions.
△ Less
Submitted 21 March, 2017;
originally announced March 2017.
-
Convergent semi-Lagrangian methods for the Monge-Ampère equation on unstructured grids
Authors:
Xiaobing Feng,
Max Jensen
Abstract:
This paper is concerned with developing and analyzing convergent semi-Lagrangian methods for the fully nonlinear elliptic Monge-Ampère equation on general triangular grids. This is done by establishing an equivalent (in the viscosity sense) Hamilton-Jacobi-Bellman formulation of the Monge-Ampère equation. A significant benefit of the reformulation is the removal of the convexity constraint from th…
▽ More
This paper is concerned with developing and analyzing convergent semi-Lagrangian methods for the fully nonlinear elliptic Monge-Ampère equation on general triangular grids. This is done by establishing an equivalent (in the viscosity sense) Hamilton-Jacobi-Bellman formulation of the Monge-Ampère equation. A significant benefit of the reformulation is the removal of the convexity constraint from the admissible space as convexity becomes a built-in property of the new formulation. Moreover, this new approach allows one to tap the wealthy numerical methods, such as semi-Lagrangian schemes, for Hamilton-Jacobi-Bellman equations to solve Monge-Ampère type equations. It is proved that the considered numerical methods are monotone, pointwise consistent and uniformly stable. Consequently, its solutions converge uniformly to the unique convex viscosity solution of the Monge-Ampère Dirichlet problem. A super-linearly convergent Howard's algorithm, which is a Newton type method, is utilized as the nonlinear solver to take advantage of the monotonicity of the scheme. Numerical experiments are also presented to gauge the performance of the proposed numerical method and the nonlinear solver.
△ Less
Submitted 6 September, 2016; v1 submitted 15 February, 2016;
originally announced February 2016.
-
$L^2(H^1_γ)$ Finite Element Convergence for Degenerate Isotropic Hamilton-Jacobi-Bellman Equations
Authors:
Max Jensen
Abstract:
In this paper we study the convergence of monotone $P1$ finite element methods for fully nonlinear Hamilton-Jacobi-Bellman equations with degenerate, isotropic diffusions. The main result is strong convergence of the numerical solutions in a weighted Sobolev space $L^2(H^1_γ(Ω))$ to the viscosity solution without assuming uniform parabolicity of the HJB operator.
In this paper we study the convergence of monotone $P1$ finite element methods for fully nonlinear Hamilton-Jacobi-Bellman equations with degenerate, isotropic diffusions. The main result is strong convergence of the numerical solutions in a weighted Sobolev space $L^2(H^1_γ(Ω))$ to the viscosity solution without assuming uniform parabolicity of the HJB operator.
△ Less
Submitted 1 July, 2015;
originally announced July 2015.
-
Divisors and specializations of Lucas polynomials
Authors:
Tewodros Amdeberhan,
Mahir Bilen Can,
Melanie Jensen
Abstract:
Three-term recurrences have infused stupendous amount of research in a broad spectrum of the sciences, such as orthogonal polynomials (in special functions) and lattice paths (in enumerative combinatorics). Among these are the Lucas polynomials, which have seen a recent true revival. In this paper one of the themes of investigation is the specialization to the Pell and Delannoy numbers. The underp…
▽ More
Three-term recurrences have infused stupendous amount of research in a broad spectrum of the sciences, such as orthogonal polynomials (in special functions) and lattice paths (in enumerative combinatorics). Among these are the Lucas polynomials, which have seen a recent true revival. In this paper one of the themes of investigation is the specialization to the Pell and Delannoy numbers. The underpinning motivation comprises primarily of divisibility and symmetry. One of the most remarkable findings is a structural decomposition of the Lucas polynomials into what we term as flat and sharp analogs.
△ Less
Submitted 15 September, 2014; v1 submitted 2 June, 2014;
originally announced June 2014.
-
On the Stability of Continuous-Discontinuous Galerkin Methods for Advection-Diffusion-Reaction Problems
Authors:
Andrea Cangiani,
John Chapman,
Emmanuil Georgoulis,
Max Jensen
Abstract:
We consider a finite element method which couples the continuous Galerkin method away from internal and boundary layers with a discontinuous Galerkin method in the vicinity of layers. We prove that this consistent method is stable in the streamline diffusion norm if the convection field flows non-characteristically from the region of the continuous Galerkin to the region of the discontinuous Galer…
▽ More
We consider a finite element method which couples the continuous Galerkin method away from internal and boundary layers with a discontinuous Galerkin method in the vicinity of layers. We prove that this consistent method is stable in the streamline diffusion norm if the convection field flows non-characteristically from the region of the continuous Galerkin to the region of the discontinuous Galerkin method. The stability properties of the coupled method are illustrated by numerical experiments.
△ Less
Submitted 5 November, 2012;
originally announced November 2012.
-
Discontinuous Galerkin Methods for Mass Transfer through Semi-Permeable Membranes
Authors:
Andrea Cangiani,
Emmanuil H. Georgoulis,
Max Jensen
Abstract:
A discontinuous Galerkin (dG) method for the numerical solution of initial/boundary value multi-compartment partial differential equation (PDE) models, interconnected with interface conditions, is presented and analysed. The study of interface problems is motivated by models of mass transfer of solutes through semi-permeable membranes. More specifically, a model problem consisting of a system of s…
▽ More
A discontinuous Galerkin (dG) method for the numerical solution of initial/boundary value multi-compartment partial differential equation (PDE) models, interconnected with interface conditions, is presented and analysed. The study of interface problems is motivated by models of mass transfer of solutes through semi-permeable membranes. More specifically, a model problem consisting of a system of semilinear parabolic advection-diffusion-reaction partial differential equations in each compartment, equipped with respective initial and boundary conditions, is considered. Nonlinear interface conditions modelling selective permeability, congestion and partial reflection are applied to the compartment interfaces. An interior penalty dG method is presented for this problem and it is analysed in the space-discrete setting. The a priori analysis shows that the method yields optimal a priori bounds, provided the exact solution is sufficiently smooth. Numerical experiments indicate agreement with the theoretical bounds and highlight the stability of the numerical method in the advection-dominated regime.
△ Less
Submitted 14 April, 2013; v1 submitted 11 September, 2012;
originally announced September 2012.
-
On Local Super-Penalization of Interior Penalty Discontinuous Galerkin Methods
Authors:
Andrea Cangiani,
John Chapman,
Emmanuil H. Georgoulis,
Max Jensen
Abstract:
We prove in an abstract setting that standard (continuous) Galerkin finite element approximations are the limit of interior penalty discontinuous Galerkin approximations as the penalty parameter tends to infinity. We apply this result to equations of non-negative characteristic form and the non-linear, time dependent system of incompressible miscible displacement. Moreover, we investigate varying…
▽ More
We prove in an abstract setting that standard (continuous) Galerkin finite element approximations are the limit of interior penalty discontinuous Galerkin approximations as the penalty parameter tends to infinity. We apply this result to equations of non-negative characteristic form and the non-linear, time dependent system of incompressible miscible displacement. Moreover, we investigate varying the penalty parameter on only a subset of a triangulation and the effects of local super-penalization on the stability of the method, resulting in a partly continuous, partly discontinuous method in the limit. An iterative automatic procedure is also proposed for the determination of the continuous region of the domain without loss of stability of the method.
△ Less
Submitted 25 May, 2012;
originally announced May 2012.
-
Finite Element Convergence for the Joule Heating Problem with Mixed Boundary Conditions
Authors:
Max Jensen,
Axel Målqvist
Abstract:
We prove strong convergence of conforming finite element approximations to the stationary Joule heating problem with mixed boundary conditions on Lipschitz domains in three spatial dimensions. We show optimal global regularity estimates on creased domains and prove a priori and a posteriori bounds for shape regular meshes.
We prove strong convergence of conforming finite element approximations to the stationary Joule heating problem with mixed boundary conditions on Lipschitz domains in three spatial dimensions. We show optimal global regularity estimates on creased domains and prove a priori and a posteriori bounds for shape regular meshes.
△ Less
Submitted 28 March, 2012;
originally announced March 2012.
-
Finite Element Methods with Artificial Diffusion for Hamilton-Jacobi-Bellman Equations
Authors:
Max Jensen,
Iain Smears
Abstract:
In this short note we investigate the numerical performance of the method of artificial diffusion for second-order fully nonlinear Hamilton-Jacobi-Bellman equations. The method was proposed in (M. Jensen and I. Smears, arxiv:1111.5423); where a framework of finite element methods for Hamilton-Jacobi-Bellman equations was studied theoretically. The numerical examples in this note study how the arti…
▽ More
In this short note we investigate the numerical performance of the method of artificial diffusion for second-order fully nonlinear Hamilton-Jacobi-Bellman equations. The method was proposed in (M. Jensen and I. Smears, arxiv:1111.5423); where a framework of finite element methods for Hamilton-Jacobi-Bellman equations was studied theoretically. The numerical examples in this note study how the artificial diffusion is activated in regions of degeneracy, the effect of a locally selected diffusion parameter on the observed numerical dissipation and the solution of second-order fully nonlinear equations on irregular geometries.
△ Less
Submitted 28 March, 2012; v1 submitted 17 January, 2012;
originally announced January 2012.
-
Implementation of the Continuous-Discontinuous Galerkin Finite Element Method
Authors:
Andrea Cangiani,
John Chapman,
Emmanuil Georgoulis,
Max Jensen
Abstract:
For the stationary advection-diffusion problem the standard continuous Galerkin method is unstable without some additional control on the mesh or method. The interior penalty discontinuous Galerkin method is stable but at the expense of an increased number of degrees of freedom. The hybrid method proposed in [5] combines the computational complexity of the continuous method with the stability of t…
▽ More
For the stationary advection-diffusion problem the standard continuous Galerkin method is unstable without some additional control on the mesh or method. The interior penalty discontinuous Galerkin method is stable but at the expense of an increased number of degrees of freedom. The hybrid method proposed in [5] combines the computational complexity of the continuous method with the stability of the discontinuous method without a significant increase in degrees of freedom. We discuss the implementation of this method using the finite element library deal.ii and present some numerical experiments.
△ Less
Submitted 13 January, 2012;
originally announced January 2012.
-
On the Convergence of Finite Element Methods for Hamilton-Jacobi-Bellman Equations
Authors:
Max Jensen,
Iain Smears
Abstract:
In this note we study the convergence of monotone P1 finite element methods on unstructured meshes for fully non-linear Hamilton-Jacobi-Bellman equations arising from stochastic optimal control problems with possibly degenerate, isotropic diffusions. Using elliptic projection operators we treat discretisations which violate the consistency conditions of the framework by Barles and Souganidis. We o…
▽ More
In this note we study the convergence of monotone P1 finite element methods on unstructured meshes for fully non-linear Hamilton-Jacobi-Bellman equations arising from stochastic optimal control problems with possibly degenerate, isotropic diffusions. Using elliptic projection operators we treat discretisations which violate the consistency conditions of the framework by Barles and Souganidis. We obtain strong uniform convergence of the numerical solutions and, under non-degeneracy assumptions, strong L2 convergence of the gradients.
△ Less
Submitted 23 November, 2011;
originally announced November 2011.
-
Stable Crank-Nicolson Discretisation for Incompressible Miscible Displacement Problems of Low Regularity
Authors:
Max Jensen,
Ruediger Mueller
Abstract:
In this article we study the numerical approximation of incompressible miscible displacement problems with a linearised Crank-Nicolson time discretisation, combined with a mixed finite element and discontinuous Galerkin method. At the heart of the analysis is the proof of convergence under low regularity requirements. Numerical experiments demonstrate that the proposed method exhibits second-ord…
▽ More
In this article we study the numerical approximation of incompressible miscible displacement problems with a linearised Crank-Nicolson time discretisation, combined with a mixed finite element and discontinuous Galerkin method. At the heart of the analysis is the proof of convergence under low regularity requirements. Numerical experiments demonstrate that the proposed method exhibits second-order convergence for smooth and robustness for rough problems.
△ Less
Submitted 8 October, 2009;
originally announced October 2009.
