arXiv subjects

Manas Rachh

Publications and source records attributed to Manas Rachh.

At least 19 recordsLinked to original sources

arXiv2026

Integral equations for flexural-gravity waves: analysis and numerical methods

In this work, we develop a fast and accurate method for the scattering of flexural-gravity waves by a thin plate of varying thickness overlying a fluid of infinite depth. This problem commonly arises in the study of sea ice and ice shelves, which can have complicated heterogeneities that include ridges and rolls. With certain natural assumptions on the thickness, we present an integral equation formulation for solving this class of problems and analyze its mathematical properties. The integral equation is then discretized and solved using a high-order-accurate, FFT-accelerated algorithm. The speed, accuracy, and scalability of this approach are demonstrated through a variety of illustrative examples.

math.NA↗

arXiv2026

String kernel representations in elastostatics

In this paper we present a new boundary integral equation formulation for the solution of the elastostatic traction boundary value problem in two and three dimensions. The approach relies on the introduction of new layer potentials, called string kernels, which are based on modifications of the Boussinesq-Cerruti family of half-space solutions. We prove that the resulting integral equations are second-kind integral equations, and show that they are well-behaved in the incompressible limit. We illustrate the performance of the method with several numerical examples.

math.NA↗

arXiv2026

Helmholtz boundary integral methods and the pollution effect

This paper is concerned with solving the Helmholtz exterior Dirichlet and Neumann problems with large wavenumber $k$ and smooth obstacles using the standard second-kind boundary integral equations. We consider Galerkin and collocation methods -- with subspaces consisting of $\textit{either}$ piecewise polynomials (in 2-d for collocation, in any dimension for Galerkin) $\textit{or}$ trigonometric polynomials (in 2-d) -- as well as a fully discrete quadrature (Nyström) method based on trigonometric polynomials (in 2-d). For each of these methods, we prove -- in many cases for the first time -- rigorous results about the fundamental question: how quickly must the number of degrees of freedom (the dimension of the approximation space) grow with $k$ to maintain accuracy of the computed solution? Importantly, we determine which of these methods suffer from $\textit{the pollution effect}$. That is, we address the question: must the number of points per wavelength $\to \infty$ to maintain accuracy as $k\to\infty$?

math.NA↗

arXiv2026

The peak heat flux conjecture for the first Dirichlet eigenmode of convex planar domains

In this paper, we study the scale-invariant quantity \[\mathcal{G}(Ω)=\frac{\|\partial_n u_1\|_{L^\infty(\partialΩ)}}{λ_1},\]where $u_1$ is the first $L^2$-normalized Dirichlet Laplace eigenfunction of a Euclidean domain $Ω$ and $λ_1$ is its eigenvalue. This is related to the peak boundary heat flux in the long time limit. For convex domains we prove that $\|\partial_n u_1\|_{L^\infty(\partialΩ)}$ is upper-bounded by a (domain-independent) constant multiple of $λ_1$. Using layer potentials, we derive shape-derivative formulae for efficient gradient computations. When combined with high-order Nyström discretization, a fast boundary integral equation solver, and eigenvalue rootfinding, this allows us to numerically optimize $\mathcal{G}$ over a class of rounded polygonal discretized domains. Based on extensive numerical experiments, we then conjecture that, over the set of convex domains, $\mathcal{G}$ is maximized by the semidisk, with the peak flux at the center of the diameter. To lend analytical support to this conjecture, we prove that the semidisk is a critical point of $\mathcal{G}$ under infinitesimal perturbations of its circular arc.

math.NA↗

arXiv2025

Surface layers and linearized water waves: a boundary integral equation framework

The dynamics of surface waves traveling along the boundary of a liquid medium are changed by the presence of floating plates and membranes, contributing to a number of important phenomena in a wide range of applications. Mathematically, if the fluid is only partly covered by a plate or membrane, the order of derivatives of the surface-boundary conditions jump between regions of the surface. In this work, we consider a general class of problems for infinite depth linearized surface waves in which the plate or membrane has a compact hole or multiple holes. For this class of problems, we describe a general integral equation approach, and for two important examples, the partial membrane and the polynya, we analyze the resulting boundary integral equations. In particular, we show that they are Fredholm second kind and discuss key properties of their solutions. We develop flexible and fast algorithms for discretizing and solving these equations, and demonstrate their robustness and scalability in resolving surface wave phenomena through several numerical examples.

math.NA↗

arXiv2025

Fast Multipole Method with Complex Coordinates

In this work we present a variant of the fast multipole method (FMM) for efficiently evaluating standard layer potentials on geometries with complex coordinates in two and three dimensions. The complex scaled boundary integral method for the efficient solution of scattering problems on unbounded domains results in complex point locations upon discretization. Classical real-coordinate FMMs are no longer applicable, hindering the use of this approach for large-scale problems. Here we develop the complex-coordinate FMM based on the analytic continuation of certain special function identities used in the construction of the classical FMM. To achieve the same linear time complexity as the classical FMM, we construct a hierarchical tree based solely on the real parts of the complex point locations, and derive convergence rates for truncated expansions when the imaginary parts of the locations are a Lipschitz function of the corresponding real parts. We demonstrate the efficiency of our approach through several numerical examples and illustrate its application for solving large-scale time-harmonic water wave problems and Helmholtz transmission problems.

math.NA↗

arXiv2025

A domain decomposition method for computing the scattering matrix of waveguide circuits

We analyze and develop numerical methods for time-harmonic wave scattering in metallic waveguide structures of infinite extent. We show that radiation boundary conditions formulated via projectors onto outgoing modes determine the coefficients of propagating modes uniquely, even when the structure supports trapped modes. Building on this, we introduce a fast divide-and-conquer solver that constructs solution operators on subdomains as impedance-to-impedance maps and couples them by enforcing continuity conditions across their interfaces. For Dirichlet waveguides, the computation of impedance-to-impedance maps requires the solution of mixed Dirichlet-Impedance boundary value problems. We construct a second-kind Fredholm integral equation that avoids near-hypersingular operators, requiring only integral operators whose kernels are at most weakly singular. Numerical experiments on large structures with many circuit elements demonstrate substantial efficiency gains: the proposed approach typically outperforms state-of-the-art fast iterative and fast direct solvers by one to two orders of magnitude.

math.NA↗

arXiv2025

Fast adaptive high-order integral equation methods for electromagnetic scattering from smooth perfect electric conductors

Many integral equation-based methods are available for problems of time-harmonic electromagnetic scattering from perfect electric conductors. Among the many challenges that arise in such calculations are the avoidance of spurious resonances, robustness of the method to scatterers of non-trivial topology or multiscale features, stability under mesh refinement, ease of implementation with high-order basis functions, and behavior in the static limit. Since three-dimensional scattering is a challenging, large-scale problem, many of these issues have been historically difficult to investigate. It is only with the advent of fast algorithms for matrix-vector multiplies coupled with modern iterative methods that a careful study of these issues can be carried out effectively. Our focus here is on comparing the behavior of several integral equation formulations with regard to the issues noted above, namely: the well-known, standard electric, magnetic, and combined field integral equations with standard RWG basis functions, and the more modern non-resonant charge-current and decoupled potential integral equation. Numerical results are provided to demonstrate the behavior of each of these schemes. Furthermore, we provide some analytical properties and comparisons with the electric charge-current integral equation and the augmented regularized combined source integral equation.

math.NA↗

arXiv2025

Complex scaling for open waveguides

In this work we analyze the complex scaling method applied to the problem of time-harmonic scalar wave propagation in junctions between `leaky,' or open dielectric waveguides. In [arXiv:2302.04353, arXiv:2310.05816, arXiv:2401.04674, arXiv:2411.11204], it was shown that under suitable assumptions the problem can be reduced to a system of Fredholm second-kind integral equations on an infinite interface, transverse to the waveguides. Here, we show that the kernels appearing in the integral equation admit a rapidly decaying analytic continuation on certain natural totally real submanifolds of $\mathbb{C}^2.$ We then show that for suitable, physically-meaningful, boundary data the resulting solutions to the integral equations themselves admit analytic continuation and satisfy related asymptotic estimates. By deforming the integral equation to a suitable contour, the decay in the kernels, density, and data enable straightforward discretization and truncation, with an error that decays exponentially in the truncation length. We illustrate our results with several representative numerical examples.

math.NA↗

arXiv2025

Type-I Superconductors in the Limit as the London Penetration Depth Goes to 0

This paper provides an explicit formula for the approximate solution of the static London equations. These equations describe the currents and magnetic fields in a Type-I superconductor. We represent the magnetic field as a 2-form and the current as a 1-form, and assume that the superconducting material is contained in a bounded, connected set, $Ω,$ with smooth boundary. The London penetration depth gives an estimate for the thickness of the layer near $\partialΩ$ where the current is largely carried. In an earlier paper, we introduced a system of Fredholm integral equations of second kind, on $\partialΩ,$ for solving the physically relevant scattering problems in this context. In real Type-I superconductors the penetration depth is very small, typically about $100$nm, which often renders the integral equation approach computationally intractable. In this paper we provide an explicit formula for approximate solutions, with essentially optimal error estimates, as the penetration depth tends to zero. Our work makes extensive use of the Hodge decomposition of differential forms on manifolds with boundary, and thus evokes Kohn's work on the tangential Cauchy-Riemann equations.

math.AP↗

arXiv2025

Coordinate complexification for the Helmholtz equation with Dirichlet boundary conditions in a perturbed half-space

We present a new complexification scheme based on the classical double layer potential for the solution of the Helmholtz equation with Dirichlet boundary conditions in compactly perturbed half-spaces in two and three dimensions. The kernel for the double layer potential is the normal derivative of the free-space Green's function, which has a well-known analytic continuation into the complex plane as a function of both target and source locations. Here, we prove that - when the incident data are analytic and satisfy a precise asymptotic estimate - the solution to the boundary integral equation itself admits an analytic continuation into specific regions of the complex plane, and satisfies a related asymptotic estimate (this class of data includes both plane waves and the field induced by point sources). We then show that, with a carefully chosen contour deformation, the oscillatory integrals are converted to exponentially decaying integrals, effectively reducing the infinite domain to a domain of finite size. Our scheme is different from existing methods that use complex coordinate transformations, such as perfectly matched layers, or absorbing regions, such as the gradual complexification of the governing wavenumber. More precisely, in our method, we are still solving a boundary integral equation, albeit on a truncated, complexified version of the original boundary. In other words, no volumetric/domain modifications are introduced. The scheme can be extended to other boundary conditions, to open wave guides and to layered media. We illustrate the performance of the scheme with two and three dimensional examples.

math.NA↗

arXiv2024

Integral formulation of Klein-Gordon singular waveguides

We consider the analysis of singular waveguides separating insulating phases in two-space dimensions. The insulating domains are modeled by a massive Schrödinger equation and the singular waveguide by appropriate jump conditions along the one-dimensional interface separating the insulators. We present an integral formulation of the problem and analyze its mathematical properties. We also implement a fast multipole and sweeping-accelerated iterative algorithm for solving the integral equations, and demonstrate numerically the fast convergence of this method. Several numerical examples of solutions and scattering effects illustrate our theory.

math-ph↗

arXiv2024

On the construction of scattering matrices for irregular or elongated enclosures using Green's representation formula

Multiple scattering methods are widely used to reduce the computational complexity of acoustic or electromagnetic scattering problems when waves propagate through media containing many identical inclusions. Historically, this numerical technique has been limited to situations in which the inclusions (particles) can be covered by nonoverlapping disks in two dimensions or spheres in three dimensions. This allows for the use of separation of variables in cylindrical or spherical coordinates to represent the solution to the governing partial differential equation. Here, we provide a more flexible approach, applicable to a much larger class of geometries. We use a Green's representation formula and the associated layer potentials to construct incoming and outgoing solutions on rectangular enclosures. The performance and flexibility of the resulting scattering operator formulation in two-dimensions is demonstrated via several numerical examples for multi-particle scattering in free space as well as in layered media. The mathematical formalism extends directly to the three dimensional case as well, and can easily be coupled with several commercial numerical PDE software packages.

math.NA↗

arXiv2023

Integral formulation of Dirac singular waveguides

This paper concerns a boundary integral formulation for the two-dimensional massive Dirac equation. The mass term is assumed to jump across a one-dimensional interface, which models a transition between two insulating materials. This jump induces surface waves that propagate outward along the interface but decay exponentially in the transverse direction. After providing a derivation of our integral equation, we prove that it has a unique solution for almost all choices of parameters using holomorphic perturbation theory. We then extend these results to a Dirac equation with two interfaces. Finally, we implement a fast numerical method for solving our boundary integral equations and present several numerical examples of solutions and scattering effects.

math-ph↗

arXiv2023

On quadrature for singular integral operators with complex symmetric quadratic forms

This paper describes a trapezoidal quadrature method for the discretization of weakly singular, singular and hypersingular boundary integral operators with complex symmetric quadratic forms. Such integral operators naturally arise when complex coordinate methods or complexified contour methods are used for the solution of time-harmonic acoustic and electromagnetic interface problems in three dimensions. The quadrature is an extension of a locally corrected punctured trapezoidal rule in parameter space wherein the correction weights are determined by fitting moments of error in the punctured trapezoidal rule, which is known analytically in terms of the Epstein zeta function. In this work, we analyze the analytic continuation of the Epstein zeta function and the generalized Wigner limits to complex quadratic forms; this analysis is essential to apply the fitting procedure for computing the correction weights. We illustrate the high-order convergence of this approach through several numerical examples.

math.NA↗

arXiv2023

A Neural Network Warm-Start Approach for the Inverse Acoustic Obstacle Scattering Problem

We consider the inverse acoustic obstacle problem for sound-soft star-shaped obstacles in two dimensions wherein the boundary of the obstacle is determined from measurements of the scattered field at a collection of receivers outside the object. One of the standard approaches for solving this problem is to reformulate it as an optimization problem: finding the boundary of the domain that minimizes the $L^2$ distance between computed values of the scattered field and the given measurement data. The optimization problem is computationally challenging since the local set of convexity shrinks with increasing frequency and results in an increasing number of local minima in the vicinity of the true solution. In many practical experimental settings, low frequency measurements are unavailable due to limitations of the experimental setup or the sensors used for measurement. Thus, obtaining a good initial guess for the optimization problem plays a vital role in this environment. We present a neural network warm-start approach for solving the inverse scattering problem, where an initial guess for the optimization problem is obtained using a trained neural network. We demonstrate the effectiveness of our method with several numerical examples. For high frequency problems, this approach outperforms traditional iterative methods such as Gauss-Newton initialized without any prior (i.e., initialized using a unit circle), or initialized using the solution of a direct method such as the linear sampling method. The algorithm remains robust to noise in the scattered field measurements and also converges to the true solution for limited aperture data. However, the number of training samples required to train the neural network scales exponentially in frequency and the complexity of the obstacles considered. We conclude with a discussion of this phenomenon and potential directions for future research.

math.NA↗

arXiv2023

Random walks in frequency and the reconstruction of obstacles with cavities from multi-frequency data

Inverse obstacle scattering is the recovery of an obstacle boundary from the scattering data produced by incident waves. This shape recovery can be done by iteratively solving a PDE-constrained optimization problem for the obstacle boundary. While it is well known that this problem is typically non-convex and ill-posed, previous investigations have shown that in many settings these issues can be alleviated by using a continuation-in-frequency method and introducing a regularization that limits the frequency content of the obstacle boundary. It has been recently observed that these techniques can fail for obstacles with pronounced cavities, even in the case of penetrable obstacles where similar optimization and regularization methods work for the equivalent problem of recovering a piecewise constant wave speed. The present work investigates the recovery of obstacle boundaries for impenetrable, sound-soft media with pronounced cavities, given multi-frequency scattering data. Numerical examples demonstrate that the problem is sensitive to the choice of iterative solver used at each frequency and the initial guess at the lowest frequency. We propose a modified continuation-in-frequency method which follows a random walk in frequency, as opposed to the standard monotonically increasing path. This method shows some increased robustness in recovering cavities, but can also fail for more extreme examples. An interesting phenomenon is observed that while the obstacle reconstructions obtained over several random trials can vary significantly near the cavity, the results are consistent for non-cavity parts of the boundary.

math.NA↗

arXiv2023

Equispaced Fourier representations for efficient Gaussian process regression from a billion data points

We introduce a Fourier-based fast algorithm for Gaussian process regression in low dimensions. It approximates a translationally-invariant covariance kernel by complex exponentials on an equispaced Cartesian frequency grid of $M$ nodes. This results in a weight-space $M\times M$ system matrix with Toeplitz structure, which can thus be applied to a vector in ${\mathcal O}(M \log{M})$ operations via the fast Fourier transform (FFT), independent of the number of data points $N$. The linear system can be set up in ${\mathcal O}(N + M \log{M})$ operations using nonuniform FFTs. This enables efficient massive-scale regression via an iterative solver, even for kernels with fat-tailed spectral densities (large $M$). We provide bounds on both kernel approximation and posterior mean errors. Numerical experiments for squared-exponential and Matérn kernels in one, two and three dimensions often show 1-2 orders of magnitude acceleration over state-of-the-art rank-structured solvers at comparable accuracy. Our method allows 2D Matérn-$\mbox{$\frac{3}{2}$}$ regression from $N=10^9$ data points to be performed in 2 minutes on a standard desktop, with posterior mean accuracy $10^{-3}$. This opens up spatial statistics applications 100 times larger than previously possible.

stat.CO↗