SearcharxivSearch

arXiv subjects

Victor Dominguez

Publications and source records attributed to Victor Dominguez.

15 recordsLinked to original sources

Fast and stable computation of highly oscillatory and/or exponentially decaying integrals using a Clenshaw-Curtis product-integration rule

We propose, analyze, and implement a quadrature method for evaluating integrals of the form $\int_0^2 f(s)\exp(zs)\, {\rm d}s$, where $z$ is a complex number with a possibly large negative real part. The integrand may exhibit exponential decay, highly oscillatory behavior, or both simultaneously, making standard quadrature rules computationally expensive. Our approach is based on a Clenshaw-Curtis product-integration rule: the smooth part of the integrand is interpolated using a polynomial at Chebyshev nodes, and the resulting integral is computed exactly. We analyze the convergence of the method with respect to both the number of nodes and the parameter $z$. Additionally, we provide a stable and efficient implementation whose computational cost is essentially independent of $z$ and scales linearly with $L$. Notably, our approach avoids the use of special functions, enhancing its numerical robustness.

math.NA

Practical Introduction to FEM with GMSH: A MATLAB/Octave Perspective

The Finite Element Method (FEM) is a powerful computational tool for solving partial differential equations (PDEs). Although commercial and open-source FEM software packages are widely available, an independent implementation of FEM provides significant educational value, provides a deeper understanding of the method, and enables the development of custom solutions tailored to specialized applications or integration with other solvers. This work introduces a 3D $\mathbb{P}_m$-element FEM implementation in MATLAB/Octave that is designed to balance educational clarity with computational efficiency. A key feature is its integration with GMSH, an open-source 3D mesh generator with CAD capabilities that streamlines mesh generation for complex geometries. By leveraging GMSH data structures, we provide a seamless connection between geometric modeling and numerical simulation. The implementation focuses on solving the general convection-diffusion-advection equation and serves as a flexible foundation for addressing advanced problems, including elasticity, mixed formulations, and integration with other numerical methods.

math.NA

Stability estimates of Nystr\"om discretizations of Helmholtz decomposition boundary integral equation formulations for the solution of Navier scattering problems in two dimensions with Dirichlet boundary conditions

Helmholtz decompositions of elastic fields is a common approach for the solution of Navier scattering problems. Used in the context of Boundary Integral Equations (BIE), this approach affords solutions of Navier problems via the simpler Helmholtz boundary integral operators (BIOs). Approximations of Helmholtz Dirichlet-to-Neumann (DtN) can be employed within a regularizing combined field strategy to deliver BIE formulations of the second kind for the solution of Navier scattering problems in two dimensions with Dirichlet boundary conditions, at least in the case of smooth boundaries. Unlike the case of scattering and transmission Helmholtz problems, the approximations of the DtN maps we use in the Helmholtz decomposition BIE in the Navier case require incorporation of lower order terms in their pseudodifferential asymptotic expansions. The presence of these lower order terms in the Navier regularized BIE formulations complicates the stability analysis of their Nystr\"om discretizations in the framework of global trigonometric interpolation and the Kussmaul-Martensen kernel singularity splitting strategy. The main difficulty stems from compositions of pseudodifferential operators of opposite orders, whose Nystr\"om discretization must be performed with care via pseudodifferential expansions beyond the principal symbol. The error analysis is significantly simpler in the case of arclength boundary parametrizations and considerably more involved in the case of general smooth parametrizations which are typically encountered in the description of one dimensional closed curves.

math.NA

Nystrom discretizations of boundary integral equations for the solution of 2D elastic scattering problems

We present three high-order Nystrom discretization strategies of various boundary integral equation formulations of the impenetrable time-harmonic Navier equations in two dimensions. One class of such formulations is based on the four classical Boundary Integral Operators (BIOs) associated with the Green's function of the Navier operator. We consider two types of Nystrom discretizations of these operators, one that relies on Kussmaul-Martensen logarithmic splittings and the other on Alpert quadratures. In addition, we consider an alternative formulation of Navier scattering problems based on Helmholtz decompositions of the elastic fields, which can be solved via a system of boundary integral equations that feature integral operators associated with the Helmholtz equation. Owing to the fact that some of the BIOs that are featured in those formulations are non-standard, we use Quadrature by Expansion (QBX) methods for their high order Nystrom discretization. Alternatively, we use Maue integration by parts techniques to recast those non-standard operators in terms of single and double layer Helmholtz BIOs whose Nystrom discretizations is amenable to the Kussmaul-Martensen methodology. We present a variety of numerical results concerning the high order accuracy that our Nystrom discretization elastic scattering solvers achieve for both smooth and Lipschitz boundaries. We also present extensive comparisons regarding the iterative behavior of solvers based on different integral equations in the high frequency regime. Finally, we illustrate how some of the Nystrom discretizations we considered can be incorporated seamlessly into the Convolution Quadrature (CQ) methodology to deliver high-order solutions of the time domain elastic scattering problems.

math.NA

Boundary integral equation methods for the solution of scattering and transmission 2D elastodynamic problems

We introduce and analyze various Regularized Combined Field Integral Equations (CFIER) formulations of time-harmonic Navier equations in media with piece-wise constant material properties. These formulations can be derived systematically starting from suitable coercive approximations of Dirichlet-to-Neumann operators (DtN), and we present a periodic pseudodifferential calculus framework within which the well posedness of CIER formulations can be established. We also use the DtN approximations to derive and analyze Optimized Schwarz (OS) methods for the solution of elastodynamics transmission problems. The pseudodifferential calculus we develop in this paper relies on careful singularity splittings of the kernels of Navier boundary integral operators which is also the basis of high-order Nyström quadratures for their discretizations. Based on these high-order discretizations we investigate the rate of convergence of iterative solvers applied to CFIER and OS formulations of scattering and transmission problems. We present a variety of numerical results that illustrate that the CFIER methodology leads to important computational savings over the classical CFIE one, whenever iterative solvers are used for the solution of the ensuing discretized boundary integral equations. Finally, we show that the OS methods are competitive in the high-frequency high-contrast regime.

math.NA

An overlapping decomposition framework for wave propagation in heterogeneous and unbounded media: Formulation, analysis, algorithm, and simulation

A natural medium for wave propagation comprises a coupled bounded heterogeneous region and an unbounded homogeneous free-space. Frequency-domain wave propagation models in the medium, such as the variable coefficient Helmholtz equation, include a faraway decay radiation condition (RC). It is desirable to develop algorithms that incorporate the full physics of the heterogeneous and unbounded medium wave propagation model, and avoid an approximation of the RC. In this work we first present and analyze an overlapping decomposition framework that is equivalent to the full-space heterogeneous-homogenous continuous model, governed by the Helmholtz equation with a spatially dependent refractive index and the RC. Our novel overlapping framework allows the user to choose two free boundaries, and gain the advantage of applying established high-order finite and boundary element methods (FEM and BEM) to simulate an equivalent coupled model. The coupled model comprises auxiliary interior bounded heterogeneous and exterior unbounded homogeneous Helmholtz problems. A smooth boundary can be chosen for simulating the exterior problem using a spectrally accurate BEM, and a simple boundary can be used to setup a high-order FEM for the interior problem. Thanks to the spectral accuracy of the exterior computational model, the resulting coupled system in the overlapping region is relatively very small. Using the decomposed equivalent framework, we develop a novel overlapping FEM-BEM algorithm for simulating the acoustic or electromagnetic wave propagation in two dimensions. Our FEM-BEM algorithm for the full-space model incorporates the RC exactly. Numerical experiments demonstrate the efficiency of the FEM-BEM approach for simulating smooth and non-smooth wave fields, with the latter induced by a complex heterogeneous medium and a discontinuous refractive index.

math.NA

Well-posed boundary integral equation formulations and Nystr\"om discretizations for the solution of Helmholtz transmission problems in two-dimensional Lipschitz domains

We present a comparison between the performance of solvers based on Nystr\"om discretizations of several well-posed boundary integral equation formulations of Helmholtz transmission problems in two-dimensional Lipschitz domains. Specifically, we focus on the following four classes of boundary integral formulations of Helmholtz transmission problems (1) the classical first kind integral equations for transmission problems, (2) the classical second kind integral equations for transmission problems, (3) the {\em single} integral equation formulations, and (4) certain direct counterparts of recently introduced Generalized Combined Source Integral Equations. The former two formulations were the only formulations whose well-posedness in Lipschitz domains was rigorously established. We establish the well-posedness of the latter two formulations in appropriate functional spaces of boundary traces of solutions of transmission Helmholtz problems in Lipschitz domains. We give ample numerical evidence that Nystr\"om solvers based on formulations (3) and (4) are computationally more advantageous than solvers based on the classical formulations (1) and (2), especially in the case of high-contrast transmission problems at high frequencies.

math.NA

A fully discrete Calderon Calculus for the two-dimensional elastic wave equation

In this paper we present a full discretization of the layer potentials and boundary integral operators for the elastic wave equation on a parametrizable smooth closed curve in the plane. The method can be understood as a non-conforming Petrov-Galerkin discretization, with a very precise choice of testing functions by symmetrically combining elements on two staggered grids, and using a look-around quadrature formula. Unlike in the acoustic counterpart of this work, the kernel of the elastic double layer operator includes a periodic Hilbert transform that requires a particular choice of the mixing parameters. We give mathematical justification of this fact. Finally, we test the method on some frequency domain and time domain problems, and demonstrate its applicability on smooth open arcs.

math.NA

Regularized combined field integral equations for acoustic transmission problems

We present a new class of well conditioned integral equations for the solution of two and three dimensional scattering problems by homogeneous penetrable scatterers. Our novel boundary integral equations result from suitable representations of the fields inside and outside the scatterer as combinations of single and double layer potentials acting on suitably defined regularizing operators. The regularizing operators are constructed to be suitable approximations of the admittance operators that map the transmission boundary conditions to the exterior and respectively interior Cauchy data on the interface between the media. The latter operators can be expressed in terms of Dirichlet-to-Neumann operators. We refer to these regularized boundary integral equations as Generalized Combined Source Integral Equations (GCSIE). The ensuing GCSIE are shown to be integral equations of the second kind in the case when the interface of material discontinuity is a smooth curve in two dimensions and a smooth surface in three dimensions.

math.AP

Filon-Clenshaw-Curtis rules for a class of highly-oscillatory integrals with logarithmic singularities

In this work we propose and analyse a numerical method for computing a family of highly oscillatory integrals with logarithmic singularities. For these quadrature rules we derive error estimates in terms of $N$, the number of nodes, $k$ the rate of oscillations and a Sobolev-like regularity of the function. We prove that that the method is not only robust but the error even decreases, for fixed $N$, as $k$ increases. Practical issues about the implementation of the rule are also covered in this paper by: (a) writing down ready-to-implement algorithms; (b) analysing the numerical stability of the computations and (c) estimating the overall computational cost. We finish by showing some numerical experiments which illustrate the theoretical results presented in this paper.

math.NA

A fully discrete Calderon Calculus for two dimensional time harmonic waves

In this paper, we present a fully discretized Calder\'{o}n Calculus for the two dimensional Helmholtz equation. This full discretization can be understood as highly non-conforming Petrov-Galerkin methods, based on two staggered grids of mesh size $h$, Dirac delta distributions substituting acoustic charge densities and piecewise constant functions for approximating acoustic dipole densities. The resulting numerical schemes from this calculus are all of order $h^2$ provided that the continuous equations are well posed. We finish by presenting some numerical experiments illustrating the performance of this discrete calculus.

math.NA

A Nystrom method for the two dimensional Helmholtz hypersingular equation

In this paper we propose and analyze a class of simple Nystr\"om discretizations of the hypersingular integral equation for the Helmholtz problem on domains of the plane with smooth parametrizable boundary. The method depends on a parameter (related to the staggering of two underlying grids) and we show that two choices of this parameter produce convergent methods of order two, while all other stable methods provide methods of order one. Convergence is shown for the density (in uniform norm) and for the potential postprocessing of the solution. Some numerical experiments are given to illustrate the performance of the method.

math.NA

Convergence analysis of a high-order Nystrom integral-equation method for surface scattering problems

In this paper we present a convergence analysis for the Nystrom method proposed in [Jour. Comput. Phys. 169 pp. 2921-2934, 2001] for the solution of the combined boundary integral equation formulations of sound-soft acoustic scattering problems in three-dimensional space. This fast and efficient scheme combines FFT techniques and a polar change of variables that cancels out the kernel singularity. We establish the stability of the algorithms in the $L^2$ norm and we derive convergence estimates in both the $L^2$ and $L^\infty$ norms. In particular, our analysis establishes theoretically the previously observed super-algebraic convergence of the method in cases in which the right-hand side is smooth.

math.NA

Hilbert scales and Sobolev spaces defined by associated Legendre functions

In this paper we study the Hilbert scales defined by the associated Legendre functions for arbitrary integer values of the parameter. This problem is equivalent to study the left-definite spectral theory associated to the modified Legendre equation. We give several characterizations of the spaces as weighted Sobolev spaces and prove identities among the spaces corresponding to lower regularity index.

math.CA