arXiv Science⌕ Search

arXiv subjects

Mohamed M. S. Nasser

Publications and source records attributed to Mohamed M. S. Nasser.

At least 19 recordsLinked to original sources
arXiv2026

A boundary integral equation method for Steklov eigenvalue problems for smooth planar domains

In this paper, we present a novel numerical method for computing the Steklov spectrum of bounded and unbounded simply connected planar domains with smooth boundaries. For the unit disk, the Dirichlet-to-Neumann operator can be written explicitly in terms of the classical conjugation operator. We extend this framework to general simply connected domains by expressing the Dirichlet-to-Neumann operator in terms of the generalized conjugation operator, which is defined via the boundary integral equation with the generalized Neumann kernel. Combined with Fourier differentiation on an equidistant boundary grid, this approach leads to a dense algebraic eigenvalue problem for the boundary traces of the Steklov eigenfunctions. The resulting method is simple, highly accurate, and uses only boundary data. It treats interior and exterior problems in a unified manner and reconstructs eigenfunctions inside the domain using the Cauchy integral formula. Numerical experiments on benchmark domains and parameter-dependent smooth families, including ellipses and star-like curves, demonstrate high accuracy and illustrate how the Steklov spectrum changes with geometry.

math.NA↗
arXiv2025

Constrained maximization of conformal capacity

We consider constellations of disks which are unions of disjoint hyperbolic disks in the unit disk with fixed radii and unfixed centers. We study the problem of maximizing the conformal capacity of a constellation with a fixed number of disks under constraints on the centers in two cases. In the first case the constraint is that the centers are at most at distance $R \in(0,1)$ from the origin and in the second case it is required that the centers are on the subsegment $[-R,R]$ of a diameter of the unit disk. We study also similar types of constellations with hyperbolic segments instead of the hyperbolic disks. Our computational experiments suggest that a dispersion phenomenon occurs: the disks/segments go as close to the unit circle as possible under these constraints and stay as far as possible from each other. The computation of capacity reduces to the Dirichlet problem for the Laplace equation which we solve using two methods: a fast boundary integral equation method and a high-order finite element method.

math.CV↗
arXiv2025

A computational method for multiple steady Hele-Shaw bubbles in planar domains

We present a unified numerical method to determine the shapes of multiple Hele-Shaw bubbles in steady motion, and in the absence of surface tension, in three planar domains: free space, the upper half-plane, and an infinite channel. Our approach is based on solving the free boundary problem for the bubble boundaries using a fast and accurate boundary integral method. The main advantage of our method is that it allows for the treatment of a very high number of bubbles. The presented method is validated by recovering some existing results for steady bubbles in channels and free space. Several numerical examples are presented, many of which feature configurations of bubbles that have not appeared in the literature before.

math.CV↗
arXiv2024

Towards computing the harmonic-measure distribution function for the middle-thirds Cantor set

This paper is concerned with the numerical computation of the harmonic-measure distribution function, or $h$-function for short, associated with a particular planar domain. This function describes the hitting probability of a Brownian walker released from some point with the boundary of the domain. We use a fast and accurate boundary integral method for the numerical calculation of the $h$-functions for symmetric multiply connected slit domains with high connectivity. In view of the fact that the middle-thirds Cantor set $\mathcal{C}$ is a special limiting case of these slit domains, the proposed method is used to approximate the $h$-function for the set $\mathcal{C}$. We also numerically analyze some asymptotic features of the calculated $h$-functions.

math.CV↗
arXiv2023

Mobile disks in hyperbolic space and minimization of conformal capacity

Our focus is to study constellations of disjoint disks in the hyperbolic space, the unit disk equipped with the hyperbolic metric. Each constellation corresponds to a set $E$ which is the union of $m>2$ disks with hyperbolic radii $r_j>0, j=1,...,m$. The centers of the disks are not fixed and hence individual disks of the constellation are allowed to move under the constraints that they do not overlap and their hyperbolic radii remain invariant. Our main objective is to find computational lower bounds for the conformal capacity of a given constellation. The capacity depends on the centers and radii in a very complicated way even in the simplest cases when $m=3$ or $m=4$. In the absence of analytic methods our work is based on numerical simulations using two different numerical methods, the boundary integral equation method and the $hp$-FEM method, resp. Our simulations combine capacity computation with minimization methods and produce extremal cases where the disks of the constellation are grouped next to each other. This resembles the behavior of animal colonies minimizing heat flow in arctic areas.

math.CV↗
arXiv2023

Image augmentation with conformal mappings for a convolutional neural network

For augmentation of the square-shaped image data of a convolutional neural network (CNN), we introduce a new method, in which the original images are mapped onto a disk with a conformal mapping, rotated around the center of this disk and mapped under such a Möbius transformation that preserves the disk, and then mapped back onto their original square shape. This process does not result the loss of information caused by removing areas from near the edges of the original images unlike the typical transformations used in the data augmentation for a CNN. We offer here the formulas of all the mappings needed together with detailed instructions how to write a code for transforming the images. The new method is also tested with simulated data and, according the results, using this method to augment the training data of 10 images into 40 images decreases the amount of the error in the predictions by a CNN for a test set of 160 images in a statistically significant way (p-value=0.0360).

cs.CV↗
arXiv2023

Computing the logarithmic capacity of compact sets having (infinitely) many components with the Charge Simulation Method

We apply the Charge Simulation Method (CSM) in order to compute the logarithmic capacity of compact sets consisting of (infinitely) many "small" components. This application allows to use just a single charge point for each component. The resulting method therefore is significantly more efficient than methods based on discretizations of the boundaries (for example, our own method presented in [Liesen, Sète, Nasser, 2017]), while maintaining a very high level of accuracy. We study properties of the linear algebraic systems that arise in the CSM, and show how these systems can be solved efficiently using preconditioned iterative methods, where the matrix-vector products are computed using the Fast Multipole Method. We illustrate the use of the method on generalized Cantor sets and the Cantor dust.

math.NA↗
arXiv2022

Numerical computation of a preimage domain for an infinite strip with rectilinear slits

Let $Ω$ be the multiply connected domain in the extended complex plane $\overline{\C}$ obtained by removing $m$ non-overlapping rectilinear segments from the infinite strip $S=\{z\,:\, \left|\Im z\right|<π/2\}$. In this paper, we present an iterative method for numerical computation of a conformally equivalent bounded multiply connected domain $G$ in the interior of the unit disk $\D$ and the exterior of $m$ non-overlapping smooth Jordan curves. We demonstrate the utility of the proposed method through two applications. First, we estimate the capacity of condensers of the form $(S,E)$ where $E\subset S$ be a union of disjoint segments. Second, we determine the streamlines associated with uniform incompressible, inviscid and irrotational flow past disjoint segments in the strip $S$.

math.CV↗
arXiv2022

Conformal capacity and polycircular domains

We study numerical conformal mapping of multiply connected planar domains with boundaries consisting of unions of finitely many circular arcs, so called polycircular domains. We compute the conformal capacities of condensers defined by polycircular domains. Experimental error estimates are provided for the computed capacity and, when possible, the rate of convergence under refinement of discretisation is analysed. The main ingredients of the computation are two computational methods, on one hand the boundary integral equation method combined with the fast multipole method and on the other hand the $hp$-FEM method. The results obtained with these two methods agree with high accuracy.

math.NA↗
arXiv2022

Level sets of potential functions bisecting unbounded quadrilaterals

We study the mixed Dirichlet-Neumann problem for the Laplace equation in the complement of a bounded convex polygonal quadrilateral in the extended complex plane. The Dirichlet\,/\,Neumann conditions at opposite pairs of sides are $\{0,1\}$ and $\{0,0\},$ resp. The solution to this problem is a harmonic function in the unbounded complement of the polygon known as the \emph{potential function} of the quadrilateral. We compute the values of the potential function including its value at infinity.

math.CV↗
arXiv2021

Condenser capacity and hyperbolic diameter

Given a compact connected set $E$ in the unit disk $\mathbb{B}^{2}$, we give a new upper bound for the conformal capacity of the condenser $(\mathbb{B}^{2}, E)$ in terms of the hyperbolic diameter $t$ of $E$. Moreover, for $t>0$, we construct a set of hyperbolic diameter $t$ and apply novel numerical methods to show that it has larger capacity than a hyperbolic disk with the same diameter. The set we construct is called a Reuleaux triangle in hyperbolic geometry and it has constant hyperbolic width equal to $t$.

math.MG↗
arXiv2021

Condenser capacity and hyperbolic perimeter

We study the conformal capacity by using novel computational algorithms based on implementations of the fast multipole method, and analytic techniques. Especially, we apply domain functionals to study the capacities of condensers $(G,E)$ where $G$ is a simply connected domain in the complex plane and $E$ is a compact subset of $G$. Due to conformal invariance, our main tools are the hyperbolic geometry and functionals such as the hyperbolic perimeter of $E$. Our computational experiments demonstrate, for instance, sharpness of established inequalities. In the case of model problems with known analytic solutions, very high precision of computation is observed.

math.NA↗
arXiv2021

Isoperimetric properties of condenser capacity

For compact subsets $E$ of the unit disk $ \mathbb{D}$ we study the capacity of the condenser ${\rm cap}( \mathbb{D},E)$ by means of set functionals defined in terms of hyperbolic geometry. In particular, we study experimentally the case of a hyperbolic triangle and arrive at the conjecture that of all triangles with the same hyperbolic area, the equilateral triangle has the least capacity.

math.CV↗
arXiv2016

A fast numerical method for ideal fluid flow in domains with multiple stirrers

A collection of arbitrarily-shaped solid objects, each moving at a constant speed, can be used to mix or stir ideal fluid, and can give rise to interesting flow patterns. Assuming these systems of fluid stirrers are two-dimensional, the mathematical problem of resolving the flow field - given a particular distribution of any finite number of stirrers of specified shape and speed - can be formulated as a Riemann-Hilbert problem. We show that this Riemann-Hilbert problem can be solved numerically using a fast and accurate algorithm for any finite number of stirrers based around a boundary integral equation with the generalized Neumann kernel. Various systems of fluid stirrers are considered, and our numerical scheme is shown to handle highly multiply connected domains (i.e. systems of many fluid stirrers) with minimal computational expense.

math.CV↗
arXiv2016

Fast and accurate computation of the logarithmic capacity of compact sets

We present a numerical method for computing the logarithmic capacity of compact subsets of $\mathbb{C}$, which are bounded by Jordan curves and have finitely connected complement. The subsets may have several components and need not have any special symmetry. The method relies on the conformal map onto lemniscatic domains and, computationally, on the solution of a boundary integral equation with the Neumann kernel. Our numerical examples indicate that the method is fast and accurate. We apply it to give an estimate of the logarithmic capacity of the Cantor middle third set and generalizations of it.

math.NA↗
arXiv2015

Numerical computation of the conformal map onto lemniscatic domains

We present a numerical method for the computation of the conformal map from unbounded multiply-connected domains onto lemniscatic domains. For $\ell$-times connected domains the method requires solving $\ell$ boundary integral equations with the Neumann kernel. This can be done in $O(\ell^2 n \log n)$ operations, where $n$ is the number of nodes in the discretization of each boundary component of the multiply connected domain. As demonstrated by numerical examples, the method works for domains with close-to-touching boundaries, non-convex boundaries, piecewise smooth boundaries, and for domains of high connectivity.

math.CV↗