-
A higher order numerical method for singularly perturbed elliptic problems with characteristic boundary layers
Authors:
Alan F. Hegarty,
Eugene O'Riordan
Abstract:
A Petrov-Galerkin finite element method is constructed for a singularly perturbed elliptic problem in two space dimensions. The solution contains a regular boundary layer and two characteristic boundary layers. Exponential splines are used as test functions in one coordinate direction and are combined with bilinear trial functions defined on a Shishkin mesh. The resulting numerical method is shown…
▽ More
A Petrov-Galerkin finite element method is constructed for a singularly perturbed elliptic problem in two space dimensions. The solution contains a regular boundary layer and two characteristic boundary layers. Exponential splines are used as test functions in one coordinate direction and are combined with bilinear trial functions defined on a Shishkin mesh. The resulting numerical method is shown to be a stable parameter-uniform numerical method that achieves a higher order of convergence compared to upwinding on the same mesh.
△ Less
Submitted 1 November, 2023;
originally announced November 2023.
-
Fitted finite element methods for singularly perturbed elliptic problems of convection-diffusion type
Authors:
Alan F. Hegarty,
Eugene O'Riordan
Abstract:
Fitted finite element methods are constructed for a singularly perturbed convection-diffusion problem in two space dimensions. Exponential splines as basis functions are combined with Shishkin meshes to obtain a stable parameter-uniform numerical method. These schemes satisfy a discrete maximum principle. In the classical case, the numerical approximations converge, in the maximum pointwise norm,…
▽ More
Fitted finite element methods are constructed for a singularly perturbed convection-diffusion problem in two space dimensions. Exponential splines as basis functions are combined with Shishkin meshes to obtain a stable parameter-uniform numerical method. These schemes satisfy a discrete maximum principle. In the classical case, the numerical approximations converge, in the maximum pointwise norm, at a rate of second order and the approximations converge at a rate of first order for all values of the singular perturbation parameter.
△ Less
Submitted 2 October, 2023;
originally announced October 2023.
-
A numerical method for singularly perturbed convection-diffusion problems posed on smooth domains
Authors:
Alan F. Hegarty,
Eugene O'Riordan
Abstract:
A finite difference method is constructed to solve singularly perturbed convection-diffusion problems posed on smooth domains. Constraints are imposed on the data so that only regular exponential boundary layers appear in the solution. A domain decomposition method is used, which uses a rectangular grid outside the boundary layer and a Shishkin mesh, aligned to the curvature of the outflow boundar…
▽ More
A finite difference method is constructed to solve singularly perturbed convection-diffusion problems posed on smooth domains. Constraints are imposed on the data so that only regular exponential boundary layers appear in the solution. A domain decomposition method is used, which uses a rectangular grid outside the boundary layer and a Shishkin mesh, aligned to the curvature of the outflow boundary, near the boundary layer. Numerical results are presented to demonstrate the effectiveness of the proposed numerical algorithm.
△ Less
Submitted 22 December, 2021;
originally announced December 2021.
-
A Survey of the Hadamard Maximal Determinant Problem
Authors:
Patrick Browne,
Ronan Egan,
Fintan Hegarty,
Padraig O Cathain
Abstract:
In a celebrated paper of 1893, Hadamard established the maximal determinant theorem, which establishes an upper bound on the determinant of a matrix with complex entries of norm at most $1$. His paper concludes with the suggestion that mathematicians study the maximum value of the determinant of an $n \times n$ matrix with entries in $\{ \pm 1\}$. This is the Hadamard maximal determinant problem.…
▽ More
In a celebrated paper of 1893, Hadamard established the maximal determinant theorem, which establishes an upper bound on the determinant of a matrix with complex entries of norm at most $1$. His paper concludes with the suggestion that mathematicians study the maximum value of the determinant of an $n \times n$ matrix with entries in $\{ \pm 1\}$. This is the Hadamard maximal determinant problem.
This survey provides complete proofs of the major results obtained thus far. We focus equally on upper bounds for the determinant (achieved largely via the study of the Gram matrices), and constructive lower bounds (achieved largely via quadratic residues in finite fields and concepts from design theory). To provide an impression of the historical development of the subject, we have attempted to modernise many of the original proofs, while maintaining the underlying ideas. Thus some of the proofs have the flavour of determinant theory, and some appear in print in English for the first time.
We survey constructions of matrices in order $n \equiv 3 \mod 4$, giving asymptotic analysis which has not previously appeared in the literature. We prove that there exists an infinite family of matrices achieving at least $0.48$ of the maximal determinant bound. Previously the best known constant for a result of this type was $0.34$.
△ Less
Submitted 3 November, 2021; v1 submitted 14 April, 2021;
originally announced April 2021.
-
A numerical algorithm to computationally solve the Hemker problem using Shishkin meshes
Authors:
Alan F. Hegarty,
Eugene O'Riordan
Abstract:
A numerical algorithm is presented to solve a benchmark problem proposed by Hemker. The algorithm incorporates asymptotic information into the design of appropriate piecewise-uniform Shishkin meshes. Moreover, different co-ordinate systems are utilized due to the different geometries and associated layer structures that are involved in this problem. Numerical results are presented to demonstrate t…
▽ More
A numerical algorithm is presented to solve a benchmark problem proposed by Hemker. The algorithm incorporates asymptotic information into the design of appropriate piecewise-uniform Shishkin meshes. Moreover, different co-ordinate systems are utilized due to the different geometries and associated layer structures that are involved in this problem. Numerical results are presented to demonstrate the effectiveness of the proposed numerical algorithm.
△ Less
Submitted 18 January, 2022; v1 submitted 19 June, 2020;
originally announced June 2020.
-
A singularly perturbed convection-diffusion problem posed on an annulus
Authors:
Alan F. Hegarty,
Eugene O'Riordan
Abstract:
A finite difference method is constructed for a singularly perturbed convection diffusion problem posed on an annulus. The method involves combining polar coordinates, an upwind finite difference operator and a piecewise-uniform Shishkin mesh in the radial direction. Compatibility constraints are imposed on the data in the vicinity of certain characteristic points to ensure that interior layers do…
▽ More
A finite difference method is constructed for a singularly perturbed convection diffusion problem posed on an annulus. The method involves combining polar coordinates, an upwind finite difference operator and a piecewise-uniform Shishkin mesh in the radial direction. Compatibility constraints are imposed on the data in the vicinity of certain characteristic points to ensure that interior layers do not form within the annulus. A theoretical parameter-uniform error bound is established and numerical results are presented to illustrate the performance of the numerical method applied to two particular test problems.
△ Less
Submitted 19 April, 2018;
originally announced April 2018.
-
Sparsification of Matrices and Compressed Sensing
Authors:
Fintan Hegarty,
Padraig Ó Catháin,
Yunbin Zhao
Abstract:
Compressed sensing is a signal processing technique whereby the limits imposed by the Shannon--Nyquist theorem can be exceeded provided certain conditions are imposed on the signal. Such conditions occur in many real-world scenarios, and compressed sensing has emerging applications in medical imaging, big data, and statistics. Finding practical matrix constructions and computationally efficient re…
▽ More
Compressed sensing is a signal processing technique whereby the limits imposed by the Shannon--Nyquist theorem can be exceeded provided certain conditions are imposed on the signal. Such conditions occur in many real-world scenarios, and compressed sensing has emerging applications in medical imaging, big data, and statistics. Finding practical matrix constructions and computationally efficient recovery algorithms for compressed sensing is an area of intense research interest. Many probabilistic matrix constructions have been proposed, and it is now well known that matrices with entries drawn from a suitable probability distribution are essentially optimal for compressed sensing.
Potential applications have motivated the search for constructions of sparse compressed sensing matrices (i.e., matrices containing few non-zero entries). Various constructions have been proposed, and simulations suggest that their performance is comparable to that of dense matrices. In this paper, extensive simulations are presented which suggest that sparsification leads to a marked improvement in compressed sensing performance for a large class of matrix constructions and for many different recovery algorithms.
△ Less
Submitted 14 February, 2018; v1 submitted 10 June, 2015;
originally announced June 2015.