arXiv subjects

Thomas Lewis

Publications and source records attributed to Thomas Lewis.

12 recordsLinked to original sources

arXiv2025

Numerical Approximation and Bifurcation Results for an Elliptic Problem with Superlinear Subcritical Nonlinearity on the Boundary

We develop numerical algorithms to approximate positive solutions of elliptic boundary value problems with superlinear subcritical nonlinearity on the boundary of the form $-\Delta u + u = 0$ in $\Omega$ with $\frac{\partial u}{\partial \eta} = \lambda f(u)$ on $\partial\Omega$ as well as an extension to a corresponding system of equations. While existence, uniqueness, nonexistence, and multiplicity results for such problems are well-established, their numerical treatment presents computational challenges due to the absence of comparison principles and complex bifurcation phenomena. We present finite difference formulations for both single equations and coupled systems with cross-coupling boundary conditions, establishing admissibility results for the finite difference method. We derive principal eigenvalue analysis for the linearized problems to determine unique bifurcation points from trivial solutions. The eigenvalue analysis provides additional insight into the theoretical properties of the problem while also providing intuition for computing approximate solutions based on the proposed finite difference formulation. We combine our finite difference methods with continuation methods to trace complete bifurcation curves, validating established existence and uniqueness results and consistent with the results of the principle eigenvalue analysis.

math.NA↗

arXiv2025

Convergence Analysis of a Dual-Wind Discontinuous Galerkin Method for an Elliptic Optimal Control Problem with Control Constraints

This paper investigates a symmetric dual-wind discontinuous Galerkin (DWDG) method for solving an elliptic optimal control problem with control constraints. The governing constraint is an elliptic partial differential equation (PDE), which is discretized using the symmetric DWDG approach. We derive error estimates in the energy norm for both the state and the adjoint state, as well as in the $L^2$ norm of the control variable. Numerical experiments are provided to demonstrate the robustness and effectiveness of the developed scheme.

math.NA↗

arXiv2024

Convergence analysis of novel discontinuous Galerkin methods for a convection dominated problem

In this paper, we propose and analyze a numerically stable and convergent scheme for a convection-diffusion-reaction equation in the convection-dominated regime. Discontinuous Galerkin (DG) methods are considered since standard finite element methods for the convection-dominated equation cause spurious oscillations. We choose to follow a novel DG finite element differential calculus framework introduced in Feng et al. (2016) and approximate the infinite-dimensional operators in the equation with the finite-dimensional DG differential operators. Specifically, we construct the numerical method by using the dual-wind discontinuous Galerkin (DWDG) formulation for the diffusive term and the average discrete gradient operator for the convective term along with standard DG stabilization. We prove that the method converges optimally in the convection-dominated regime. Numerical results are provided to support the theoretical findings.

math.NA↗

arXiv2023

Isolating the extreme debris disc signature -- explorations of eccentric extreme debris discs formed by giant impacts

In this work, we used N-body simulations and a radiative transfer package to model the evolution of eccentric debris discs produced by giant impacts between planetary embryos. This included how the morphology and infrared emission of these discs varied with embryo eccentricity and collision true anomaly. We found that eccentric discs inherit the eccentric properties of the centre of mass orbit of the two colliding embryos. However, the orientation of the collision with the respect to this orbit plays a key role in determining how closely the disc material resembles the centre of mass orbit. Additionally, we found that increased eccentricity acted to suppress the formation of certain short-term variations in the disc emission depending on the collision position. These short-term variations have been associated with an observational phenomenon called extreme debris discs. Short-term variability has been suggested as a potential signature for giant impacts.

astro-ph.EP↗

arXiv2022

A narrow-stencil framework for convergent numerical approximations of fully nonlinear second order PDEs

This paper develops a unified general framework for designing convergent finite difference and discontinuous Galerkin methods for approximating viscosity and regular solutions of fully nonlinear second order PDEs. Unlike the well-known monotone (finite difference) framework, the proposed new framework allows for the use of narrow stencils and unstructured grids which makes it possible to construct high order methods. The general framework is based on the concepts of consistency and g-monotonicity which are both defined in terms of various numerical derivative operators. Specific methods that satisfy the framework are constructed using numerical moments. Admissibility, stability, and convergence properties are proved, and numerical experiments are provided along with some computer implementation details.

math.NA↗

arXiv2019

A Narrow-stencil finite difference method for approximating viscosity solutions of fully nonlinear elliptic partial differential equations with applications to Hamilton-Jacobi-Bellman equations

This paper presents a new narrow-stencil finite difference method for approximating the viscosity solution of second order fully nonlinear elliptic partial differential equations including Hamilton-Jacobi-Bellman equations. The proposed finite difference method naturally extends the Lax-Friedrichs method for first order problems to second order problems by introducing a key stabilization and guiding term called a "numerical moment". The numerical moment uses the difference of two (central) Hessian approximations to resolve the potential low-regularity of viscosity solutions. It is proved that the proposed scheme is well posed (i.e, it has a unique solution) and stable in both the l-2 norm and the l-infinity norm. The highlight of the paper is to prove the convergence of the proposed scheme to the viscosity solution of the underlying fully nonlinear second order problem using a novel discrete comparison argument. This paper extends the one-dimensional analogous method of Feng, Kao, and Lewis to the higher-dimensional setting. Numerical tests are presented to gauge the performance of the proposed finite difference methods and to validate the convergence result of the paper.

math.NA↗

arXiv2018

Nonstandard local discontinuous Galerkin methods for fully nonlinear second order elliptic and parabolic equations in high dimensions

This paper is concerned with developing accurate and efficient numerical methods for fully nonlinear second order elliptic and parabolic partial differential equations (PDEs) in multiple spatial dimensions. It presents a general framework for constructing high order local discontinuous Galerkin (LDG) methods for approximating viscosity solutions of these fully nonlinear PDEs. The proposed LDG methods are natural extensions of a narrow-stencil finite difference framework recently proposed by the authors for approximating viscosity solutions. The idea of the methodology is to use multiple approximations of first and second order derivatives as a way to resolve the potential low regularity of the underlying viscosity solution. Consistency and generalized monotonicity properties are proposed that ensure the numerical operator approximates the differential operator. The resulting algebraic system has several linear equations coupled with only one nonlinear equation that is monotone in many of its arguments. The structure can be explored to design nonlinear solvers. This paper also presents and analyzes numerical results for several numerical test problems in two dimensions which are used to gauge the accuracy and efficiency of the proposed LDG methods.

math.NA↗

arXiv2018

Analysis of the Vanishing Moment Method and its Finite Element Approximations for Second-order Linear Elliptic PDEs in Non-divergence Form

This paper is concerned with continuous and discrete approximations of $W^{2,p}$ strong solutions of second-order linear elliptic partial differential equations (PDEs) in non-divergence form. The continuous approximation of these equations is achieved through the Vanishing Moment Method (VMM) which adds a small biharmonic term to the PDE. The structure of the new fourth-order PDE is a natural fit for Galerkin-type methods unlike the original second order equation since the highest order term is in divergence form. The well-posedness of the weak form of the perturbed fourth order equation is shown as well as error estimates for approximating the strong solution of the original second-order PDE. A $C^1$ finite element method is then proposed for the fourth order equation, and its existence and uniqueness of solutions as well as optimal error estimates in the $H^2$ norm are shown. Lastly, numerical tests are given to show the validity of the method.

math.NA↗

arXiv2013

Discontinuous Galerkin finite element differential calculus and applications to numerical solutions of linear and nonlinear partial differential equations

This paper develops a discontinuous Galerkin (DG) finite element differential calculus theory for approximating weak derivatives of Sobolev functions and piecewise Sobolev functions. By introducing numerical one-sided derivatives as building blocks, various first and second order numericaloperators such as the gradient, divergence, Hessian, and Laplacian operator are defined, and their corresponding calculus rules are established. Among the calculus rules are product and chain rules, integration by parts formulas and the divergence theorem. Approximation properties and the relationship between the proposed DG finite element numerical derivatives and some well-known finite difference numerical derivative formulas on Cartesian grids are also established. Efficient implementation of the DG finite element numerical differential operators is also proposed. Besides independent interest in numerical differentiation, the primary motivation and goal of developing the DG finite element differential calculus is to solve partial differential equations. It is shown that several existing finite element, finite difference and DG methods can be rewritten compactly using the proposed DG finite element differential calculus framework. Moreover, new DG methods for linear and nonlinear PDEs are also obtained from the framework.

math.NA↗

arXiv2012

Mixed Interior Penalty Discontinuous Galerkin Methods for One-dimensional Fully Nonlinear Second Order Elliptic and Parabolic Equations

This paper is concerned with developing accurate and efficient numerical methods for one-dimensional fully nonlinear second order elliptic and parabolic partial differential equations (PDEs). In the paper we present a general framework for constructing high order interior penalty discontinuous Galerkin (IP-DG) methods for approximating viscosity solutions of these fully nonlinear PDEs. In order to capture discontinuities of the second order derivative $u_{xx}$ of the solution $u$, three independent functions $p_1, p_2$ and $p_3$ are introduced to represent numerical derivatives using various one-sided limits. The proposed DG framework, which is based on a nonstandard mixed formulation of the underlying PDE, embeds a nonlinear problem into a mostly linear system of equations where the nonlinearity has been modified to include multiple values of the second order derivative $u_{xx}$. The proposed framework extends a companion finite difference framework developed by the authors in [9] and allows for the approximation of fully nonlinear PDEs using high order polynomials and non-uniform meshes.In addition to the nonstandard mixed formulation setting, another main idea is to replace the fully nonlinear differential operator by a numerical operator, which is consistent with the differential operator and satisfies certain monotonicity (called g-monotonicity) properties. To ensure such a g-monotonicity, the crux of the construction is to introduce the numerical moment, which plays a critical role in the proposed DG framework. This paper also presents and analyzes numerical results for several numerical test problems which are used to guage the accuracy and efficiency of the proposed DG methods.

math.NA↗

arXiv2012

Local discontinuous Galerkin methods for one-dimensional second order fully nonlinear elliptic and parabolic equations

This paper is concerned with developing accurate and efficient discontinuous Galerkin methods for fully nonlinear second order elliptic and parabolic partial differential equations (PDEs) in the case of one spatial dimension. The primary goal of the paper to develop a general framework for constructing high order local discontinuous Galerkin (LDG) methods for approximating viscosity solutions of these fully nonlinear PDEs which are merely continuous functions by definition. In order to capture discontinuities of the first order derivative $u_x$ of the solution $u$, two independent functions $q_1$ and $q_2$ are introduced to approximate one-sided derivatives of $u$. Similarly, to capture the discontinuities of the second order derivative $u_{xx}$, four independent functions $p_{1}$, $p_{2}$, $p_{3}$, and $p_{4}$ are used to approximate one-sided derivatives of $q_1$ and $q_2$. The proposed LDG framework, which is based on a nonstandard mixed formulation of the underlying PDE, embeds a given fully nonlinear problem into a mostly linear system of equations where the given nonlinear differential operator must be replaced by a numerical operator which allows multiple value inputs of the first and second order derivatives $u_x$ and $u_{xx}$. An easy to verify criterion for constructing "good" numerical operators is also proposed. It consists of a consistency and a generalized monotonicity. To ensure such a generalized monotonicity, the crux of the construction is to introduce the numerical moment in the numerical operator. The proposed framework extends a companion finite difference framework developed by the authors in [9] and allows for the approximation of fully nonlinear PDEs using high order polynomials and non-uniform meshes.

math.NA↗

arXiv2012

Convergent finite difference methods for one-dimensional fully nonlinear second order partial differential equations

This paper develops a new framework for designing and analyzing convergent finite difference methods for approximating both classical and viscosity solutions of second order fully nonlinear partial differential equations (PDEs) in 1-D. The goal of the paper is to extend the successful framework of monotone, consistent, and stable finite difference methods for first order fully nonlinear Hamilton-Jacobi equations to second order fully nonlinear PDEs such as Monge-Amp\`ere and Bellman type equations. New concepts of consistency, generalized monotonicity, and stability are introduced; among them, the generalized monotonicity and consistency, which are easier to verify in practice, are natural extensions of the corresponding notions of finite difference methods for first order fully nonlinear Hamilton-Jacobi equations. The main component of the proposed framework is the concept of "numerical operator", and the main idea used to design consistent, monotone and stable finite difference methods is the concept of "numerical moment". These two new concepts play the same roles as the "numerical Hamiltonian" and the "numerical viscosity" play in the finite difference framework for first order fully nonlinear Hamilton-Jacobi equations. In the paper, two classes of consistent and monotone finite difference methods are proposed for second order fully nonlinear PDEs. The first class contains Lax-Friedrichs-like methods which also are proved to be stable and the second class contains Godunov-like methods. Numerical results are also presented to gauge the performance of the proposed finite difference methods and to validate the theoretical results of the paper.

math.NA↗