Omar Lakkis
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Previous Organizations / Institutes
The organizations / institutes from the scholar's other articles in the past ten years
Research Subjects
Omar Lakkis has a total of 35 co-authors. Here are the top co-authors by number of shared publications:
- Chandrasekhar Venkataraman
Department of Mathematics, University of Sussex, Sussex, UK
7 shared publications - Anotida Madzvamuse
The University of British Columbia
6 shared publications - Charalambos Makridakis
Department of Applied Mathematics, University of Crete, Heraklion-Crete, Greece
6 shared publications - Emmanuil H. Georgoulis
Department of Mathematics, University of Leicester, Leicester, UK
4 shared publications Tristan Pryer
4 shared publications- Emmanuil H. Georgoulis
University of Leicester
3 shared publications
Latest Publications
- 30 March 2026
- Published by European Mathematical Society - EMS - Publishing House GmbH in Interfaces and Free Boundaries, Mathematical Analysis, Computation and Applications
Existence of solution to a system of PDEs modelling the crystal growth inside lithium batteries
We study a model for lithium (Li) electrodeposition on Li-metal electrodes that leads to dendritic pattern formation. The model comprises of a system of three coupled PDEs, taking the form of an Allen–Cahn equation, a Nernst–Planck equation, and a Poisson equation. We prove the existence of a weak solution and stability results for this system and present numerical simulations resulting from a finite-element approximation of the system, which illustrate the dendritic nature of solutions to the model.
- 30 March 2026
- Published by European Mathematical Society - EMS - Publishing House GmbH in Interfaces and Free Boundaries, Mathematical Analysis, Computation and Applications
Existence of solution to a system of PDEs modelling the crystal growth inside lithium batteries
We study a model for lithium (Li) electrodeposition on Li-metal electrodes that leads to dendritic pattern formation. The model comprises of a system of three coupled PDEs, taking the form of an Allen–Cahn equation, a Nernst–Planck equation, and a Poisson equation. We prove the existence of a weak solution and stability results for this system and present numerical simulations resulting from a finite-element approximation of the system, which illustrate the dendritic nature of solutions to the model.
- Open Access
- 26 December 2025
- Published by Elsevier in Journal of Computational and Applied Mathematics
- Vol. 481
Adaptive FEM with explicit time integration for the wave equation
- 26 December 2025
- Published by Elsevier in Journal of Computational and Applied Mathematics
- Vol. 481
Open AccessAdaptive FEM with explicit time integration for the wave equation
- Open Access
Elliptic reconstruction and a posteriori error estimates for fully discrete linear parabolic problems
We derive aposteriori error estimates for fully discrete approximations to solutions of linear parabolic equations on the space-time domain. The space discretization uses finite element spaces, that are allowed to change in time. Our main tool is an appropriate adaptation of the elliptic reconstruction technique, introduced by Makridakis and Nochetto (2003). We derive novel optimal order aposteriori error estimates for the maximum-in-time and mean-square-in-space norm and the mean-square in space-time of the time-derivative norm.
Open AccessElliptic reconstruction and a posteriori error estimates for fully discrete linear parabolic problems
We derive aposteriori error estimates for fully discrete approximations to solutions of linear parabolic equations on the space-time domain. The space discretization uses finite element spaces, that are allowed to change in time. Our main tool is an appropriate adaptation of the elliptic reconstruction technique, introduced by Makridakis and Nochetto (2003). We derive novel optimal order aposteriori error estimates for the maximum-in-time and mean-square-in-space norm and the mean-square in space-time of the time-derivative norm.
- 9 September 2021
- Published by Oxford University Press (OUP) in IMA Journal of Numerical Analysis
- Vol. 42 (3) , 2151-2189
A least-squares Galerkin approach to gradient and Hessian recovery for nondivergence-form elliptic equations
We propose a least-squares method involving the recovery of the gradient and possibly the Hessian for elliptic equation in nondivergence form. As our approach is based on the Lax–Milgram theorem with the curl-free constraint built into the target (or cost) functional, the discrete spaces require no inf-sup stabilization. We show that standard conforming finite elements can be used yielding a priori and a posteriori convergence results. We illustrate our findings with numerical experiments with uniform or adaptive mesh refinement.
- 9 September 2021
- Published by Oxford University Press (OUP) in IMA Journal of Numerical Analysis
- Vol. 42 (3) , 2151-2189
A least-squares Galerkin approach to gradient and Hessian recovery for nondivergence-form elliptic equations
We propose a least-squares method involving the recovery of the gradient and possibly the Hessian for elliptic equation in nondivergence form. As our approach is based on the Lax–Milgram theorem with the curl-free constraint built into the target (or cost) functional, the discrete spaces require no inf-sup stabilization. We show that standard conforming finite elements can be used yielding a priori and a posteriori convergence results. We illustrate our findings with numerical experiments with uniform or adaptive mesh refinement.
- Open Access
- 14 April 2021
- Published by Springer Nature in Numerische Mathematik
- Vol. 148 (2) , 363-386
A posteriori error bounds for fully-discrete hp-discontinuous Galerkin timestepping methods for parabolic problems
- 14 April 2021
- Published by Springer Nature in Numerische Mathematik
- Vol. 148 (2) , 363-386
Open AccessA posteriori error bounds for fully-discrete hp-discontinuous Galerkin timestepping methods for parabolic problems
- Open Access
A least-squares Galerkin approach to gradient and Hessian recovery for nondivergence-form elliptic equations
We propose a least-squares method involving the recovery of the gradient and possibly the Hessian for elliptic equation in nondivergence form. As our approach is based on the Lax--Milgram theorem with the curl-free constraint built into the target (or cost) functional, the discrete spaces require no inf-sup stabilization. We show that standard conforming finite elements can be used yielding apriori and aposteriori convergnece results. We illustrate our findings with numerical experiments with uniform or adaptive mesh refinement.
Open AccessA least-squares Galerkin approach to gradient and Hessian recovery for nondivergence-form elliptic equations
We propose a least-squares method involving the recovery of the gradient and possibly the Hessian for elliptic equation in nondivergence form. As our approach is based on the Lax--Milgram theorem with the curl-free constraint built into the target (or cost) functional, the discrete spaces require no inf-sup stabilization. We show that standard conforming finite elements can be used yielding apriori and aposteriori convergnece results. We illustrate our findings with numerical experiments with uniform or adaptive mesh refinement.
- Open Access
Parallel two-scale finite element implementation of a system with varying microstructures
We propose a two-scale finite element method designed for heterogeneous microstructures. Our approach exploits domain diffeomorphisms between the microscopic structures to gain computational efficiency. By using a conveniently constructed pullback operator, we are able to model the different microscopic domains as macroscopically dependent deformations of a reference domain. This allows for a relatively simple finite element framework to approximate the underlying PDE system with a parallel computational structure. We apply this technique to a model problem where we focus on transport in plant tissues. We illustrate the accuracy of the implementation with convergence benchmarks and show satisfactory parallelization speed-ups. We further highlight the effect of the heterogeneous microscopic structure on the output of the two-scale systems. Our implementation (publicly available on GitHub) builds on the deal.II FEM library. Application of this technique allows for an increased capacity of microscopic detail in multiscale modeling, while keeping running costs manageable.
Open AccessParallel two-scale finite element implementation of a system with varying microstructures
We propose a two-scale finite element method designed for heterogeneous microstructures. Our approach exploits domain diffeomorphisms between the microscopic structures to gain computational efficiency. By using a conveniently constructed pullback operator, we are able to model the different microscopic domains as macroscopically dependent deformations of a reference domain. This allows for a relatively simple finite element framework to approximate the underlying PDE system with a parallel computational structure. We apply this technique to a model problem where we focus on transport in plant tissues. We illustrate the accuracy of the implementation with convergence benchmarks and show satisfactory parallelization speed-ups. We further highlight the effect of the heterogeneous microscopic structure on the output of the two-scale systems. Our implementation (publicly available on GitHub) builds on the deal.II FEM library. Application of this technique allows for an increased capacity of microscopic detail in multiscale modeling, while keeping running costs manageable.
- Open Access
A posteriori error bounds for fully-discrete hp-discontinuous Galerkin timestepping methods for parabolic problems
We consider fully discrete time-space approximations of abstract linear parabolic partial differential equations (PDEs) consisting of an $hp$-version discontinuous Galerkin (DG) time stepping scheme in conjunction with standard (conforming) Galerkin discretizations in space. We derive abstract computable a posteriori error bounds resulting, for instance, in concrete bounds in $L_{\infty}(I;L_2(\Omega))$- and $L_{2}(I;H^{1}(\Omega))$-type norms when $I$ is the temporal and $\Omega$ the spatial domain for the PDE. We base our methodology for the analysis on a novel space-time reconstruction approach. Our approach is flexible as it works for any type of elliptic error estimator and leaves their choice of up to the user. It also allows exhibits mesh-change estimators in a clear an concise way. We also show how our approach allows the derivation of such bounds in the $H^1(I;H^{-1}(\Omega))$ norm.Open AccessA posteriori error bounds for fully-discrete hp-discontinuous Galerkin timestepping methods for parabolic problems
We consider fully discrete time-space approximations of abstract linear parabolic partial differential equations (PDEs) consisting of an $hp$-version discontinuous Galerkin (DG) time stepping scheme in conjunction with standard (conforming) Galerkin discretizations in space. We derive abstract computable a posteriori error bounds resulting, for instance, in concrete bounds in $L_{\infty}(I;L_2(\Omega))$- and $L_{2}(I;H^{1}(\Omega))$-type norms when $I$ is the temporal and $\Omega$ the spatial domain for the PDE. We base our methodology for the analysis on a novel space-time reconstruction approach. Our approach is flexible as it works for any type of elliptic error estimator and leaves their choice of up to the user. It also allows exhibits mesh-change estimators in a clear an concise way. We also show how our approach allows the derivation of such bounds in the $H^1(I;H^{-1}(\Omega))$ norm. - Open Access
- 29 December 2020
- Published by MDPI AG in Mathematical and Computational Applications
- Vol. 26 (1) , 1
A Saint-Venant Model for Overland Flows with Precipitation and Recharge
We propose a one-dimensional Saint-Venant (open-channel) model for overland flows, including a water input–output source term modeling recharge via rainfall and infiltration (or exfiltration). We derive the model via asymptotic reduction from the two-dimensional Navier–Stokes equations under the shallow water assumption, with boundary conditions including recharge via ground infiltration and runoff. This new model recovers existing models as special cases, and adds more scope by adding water-mixing friction terms that depend on the rate of water recharge. We propose a novel entropy function and its flux, which are useful in validating the model’s conservation or dissipation properties. Based on this entropy function, we propose a finite volume scheme extending a class of kinetic schemes and provide numerical comparisons with respect to the newly introduced mixing friction coefficient. We also provide a comparison with experimental data.
- 29 December 2020
- Published by MDPI AG in Mathematical and Computational Applications
- Vol. 26 (1) , 1
Open AccessA Saint-Venant Model for Overland Flows with Precipitation and Recharge
We propose a one-dimensional Saint-Venant (open-channel) model for overland flows, including a water input–output source term modeling recharge via rainfall and infiltration (or exfiltration). We derive the model via asymptotic reduction from the two-dimensional Navier–Stokes equations under the shallow water assumption, with boundary conditions including recharge via ground infiltration and runoff. This new model recovers existing models as special cases, and adds more scope by adding water-mixing friction terms that depend on the rate of water recharge. We propose a novel entropy function and its flux, which are useful in validating the model’s conservation or dissipation properties. Based on this entropy function, we propose a finite volume scheme extending a class of kinetic schemes and provide numerical comparisons with respect to the newly introduced mixing friction coefficient. We also provide a comparison with experimental data.
- Open Access
A Saint-Venant shallow water model for overland flows with precipitation and recharge
We propose a one-dimensional Saint-Venant (open channel) model overland flows including a water input--output source term modelling recharge via rainfall and infiltration (or exfiltration). We derive the model via asymptotic reduction from the two-dimensional Navier--Stokes equations under the shallow water assumption, with boundary conditions including recharge via ground infiltration and runoff. This new model recovers existing models as sepcial cases, and adds more scope by adding a water-mixing friction terms that depends on the rate of water recharge. We prospose a novel entropy function and its flux, that are useful in validating the model's conservation or dissipation properties. Based on this entropy function we propose a finite volume scheme extending a class of kinetic schemes and provide numerical comparisons with respect to the newly introduced mixing friction coefficient. We also provide a comparison with experimental data.
Open AccessA Saint-Venant shallow water model for overland flows with precipitation and recharge
We propose a one-dimensional Saint-Venant (open channel) model overland flows including a water input--output source term modelling recharge via rainfall and infiltration (or exfiltration). We derive the model via asymptotic reduction from the two-dimensional Navier--Stokes equations under the shallow water assumption, with boundary conditions including recharge via ground infiltration and runoff. This new model recovers existing models as sepcial cases, and adds more scope by adding a water-mixing friction terms that depends on the rate of water recharge. We prospose a novel entropy function and its flux, that are useful in validating the model's conservation or dissipation properties. Based on this entropy function we propose a finite volume scheme extending a class of kinetic schemes and provide numerical comparisons with respect to the newly introduced mixing friction coefficient. We also provide a comparison with experimental data.