Abstract
In this paper, we present a fast boundary integral equation method for the numerical conformal mapping and its inverse of bounded multiply connected regions onto a disk and annulus with circular slits regions. The method is based on two uniquely solvable boundary integral equations with Neumann-type and generalized Neumann kernels. The integral equations related to the mappings are solved numerically using combination of Nyström method, GMRES method, and fast multipole method. The complexity of this new algorithm is \(O((M + 1)n)\), where \(M+1\) stands for the multiplicity of the multiply connected region and n refers to the number of nodes on each boundary component. Previous algorithms require \(O((M+1)^3 n^3)\) operations. The numerical results of some test calculations demonstrate that our method is capable of handling regions with complex geometry and very high connectivity. An application of the method on medical human brain image processing is also presented.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Conformal mapping has been applied to the study of the visual cortex. Frederick and Schwartz [1] presented the conformal mapping of retina as a case of identification of a single point (the representation of the blind spot, or optic disk) in the eye. They mapped one half of the retina conformally to the half unit disk, which conformally is mapped to a unit disk preserving the point in the half disk that mapped to the origin of the target disk as a parameter of this mapping. Finally, the unit disk is mapped conformally to an arbitrary 2D region, the flattened data. More applications can be found in [2, 3].
Explicit formulae for conformal mappings of multiply circular regions onto canonical slit regions in terms of Schottky–Klein prime function and their applications are described in [4,5,6]. Numerical conformal mappings of general multiply connected regions onto canonical slit regions have been described in [7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22]. The obtained boundary integral equation methods in [16,17,18,19,20, 23,24,25] were discretized by the Nyström method with trapezoidal rule to obtain a dense and nonsymmetric linear system. Gauss elimination method of order \(O((M+1)^3n^3)\) operations was used for solving the obtained linear system, where \(M+ 1\) refers to the multiplicity of the multiply connected region and n stands for the number of nodes in the discretization of each boundary component. Hence, it is very expensive to solve the linear system for very large values of M and n.
This paper illustrates a new integral equation method using the adjoint generalized Neumann and Neumann-type kernels for conformal mapping and its inverse of a bounded multiply connected region onto a disk and annulus with circular slits, extending the work presented in Sangawi et al. [16, 17]. Unlike the methods presented in [16, 17] which require solving three integral equations, the method shown in this paper requires only two integral equations. Discretization of the integral equation yields a system of linear equations which are solved by an iterative method based on the restarted version of the generalized minimal residual (GMRES) method of Saad and Schultz [26].
The GMRES method will converge significantly faster without the need to use preconditioning for solving our linear system. See [27,28,29,30,31] for details on FMM operation and memory requirement. This paper is an improvement of the methods presented in [16, 17]. The matrix–vector product function can be computed using the function gmres. The function zfmm2dpart in the MATLAB toolbox FMMLIB2D developed by Greengard and Gimbutas [32] is then used for the matrix–vector product function for the coefficient matrix of our linear system. Thus, the obtained linear system can be solved in \(O((M+1)n)\) operations. We then apply the proposed method to brain medical image processing which gives high-quality information that helps in diagnosing diseases and making the treatment easier.
The disposition of this paper is as follows: Sect. 2 presents some auxiliary materials. Section 3 discusses an integral equation method to calculate the modulus of conformal mapping function f. Derivations of integral equations related to \(f'\) for canonical regions of type disk with circular slits \(\varOmega _1\) and annulus with circular slits \(\varOmega _2\) are given in Sects. 4 and 5 . Section 6 presents a method to compute the inverse mapping functions from the canonical slits region onto the original region. Section 7 describes the fast numerical implementation. Section 8 provides examples to illustrate the effectiveness of proposed method. Section 9 applies the proposed method to brain medical image processing. Finally, Sect. 10 concludes the findings of this paper.
2 Notations and Auxiliary Materials
Let \(\varOmega \) be a bounded multiply connected region of connectivity \(M+1\). The boundary \(\varGamma \) consists of \(M+1\) smooth Jordan curves \(\varGamma _{j}, j=0, 1, \ldots , M\) as shown in Fig. 1.
The curves \(\varGamma _{j}\) are parametrized by \(2 \pi \)-periodic twice continuously differentiable complex functions \(z_{j}(t)\) with non-vanishing first derivatives
The total parameter domain J is the disjoint union of \(M+1\) intervals \(J_{0}, \ldots , J_{M}\). We define a parametrization z(t) of the whole boundary \(\varGamma \) on J by
Let \(H^*\) be the space of all real Hölder continuous \(2 \pi \)-periodic functions \(\omega (t)\) such that
Suppose that b(z) and H(z) are complex-valued functions defined on \(\varGamma \) such that \(b(z)\ne 0\), \(H(z)\ne 0\) and \(\overline{H(z)}/T(z)^2\) satisfies the Hölder condition on \(\varGamma \). Then, the interior relationship is defined as follows:
A complex-valued function P(z) is said to satisfy the interior relationship if P(z) is analytic in \(\varOmega \) and satisfies the non-homogeneous boundary relationship
where G(z) is analytic in \(\varOmega \), Hölder continuous on \(\varGamma \), and \(G(z)\ne 0\) on \(\varGamma \). The boundary relationship (2) also has the following equivalent form:
The following theorem from [18] gives an integral equation for an analytic function satisfying the interior non-homogeneous boundary relationship (2) or (3).
Theorem 1
[18, Theorem 3.1] If the function P(z) satisfies the interior non-homogeneous boundary relationship (2) or (3), then
where
The symbol “conj” in the superscript denotes complex conjugate, while the minus sign in the superscript denotes limit from the exterior. The sum in (4) is over all those zeros \(a_{1}, a_{2}, \ldots , a_{M}\) of G that lie inside \(\varOmega \) . If G has no zeros in \(\varOmega \) , then the term containing the residue in (4) will not appear.
3 Compute the Piecewise Real Function \(h_j\)
Let A(t) be a complex continuously differentiable \(2 \pi \)-periodic function for all \(t \in J\). The generalized Neumann kernel formed with A is defined by [13, 18]
The adjoint function to the function \({\tilde{A}}\) is given by
The generalized Neumann kernel \({\tilde{N}}(s,t)\) formed with \({\tilde{A}}\) is given by
Then
where \(N^*(s, t) = N(t, s)\) is the adjoint kernel of the generalized Neumann kernel N(s, t) (see [13] for more details). Define the Fredholm integral operator \(\mathbf{N}^{*}\) by
It is known that \(\lambda =1\) is an eigenvalue of the kernel N with multiplicity 1 and \(\lambda =-1\) is an eigenvalue of the kernel N with multiplicity M [13]. The eigenfunctions of N corresponding to the eigenvalue \(\lambda = -1\) are \(\left\{ \chi ^{[0]}, \chi ^{[1]}, \ldots , \chi ^{[M]} \right\} \), where
Define the space S by
and define an integral operator \(\mathbf{J }\) by (see [16])
The following theorem from [16] is useful in upcoming sections.
Theorem 2
[16] Suppose that the function \(\gamma \in H^*\) and functions \(h, \mu \in S\) such that
are boundary values of an analytic function \({\tilde{g}}(z)\) in \(\varOmega \). Then, the function \(h=(h_0,h_1,\ldots ,h_M)\) is given by
where \(\phi ^{[j]}\) are solutions of the following integral equations
4 Disk with Circular Slit Region
Assume that an analytic function \(w=f(z)\) maps \(\varOmega \) conformally onto a disk with circular slits \(\varOmega _1\) (see Fig. 1b). This canonical region \(\varOmega _1\) consists of the disk \(\left| w\right| \le \mu _0\) slit along M arcs of circles \(\left| w\right| = \mu _j, j = 1, \ldots ,M.\) We assume that \(w = f(z)\) maps \(\varGamma _0\) onto the circle \(\left| w\right| = \mu _0\) , and the curves \(\varGamma _1, \ldots , \varGamma _M\) onto the arcs of circles \(\left| w\right| = \mu _j, j = 1, \ldots ,M\), where \(\mu _0\) is known, and \(\mu _j, j = 1, \ldots ,M,\) are unknowns and have to be determined.The function is uniquely determined by prescribing that \(f(a)=0\) and \(f'(a)>0\). The boundary values of f can be represented in the form
where \(\theta _{j}\) are the boundary correspondence functions of \(\varGamma _{j}\) and \(\mu _{j}\) are the radii of the circular slits. The unit tangent to \(\varGamma \) at z(t) is denoted by \(\displaystyle T(z(t))=\frac{z'(t)}{\left| z'(t) \right| }\). Thus, it can be shown from (12) that
Note that for \(j=0\), \(\theta _{j}{'} >0\) and for \(j=1, 2, \ldots , M\), \(\theta _{j}{'} \) may be positive or negative since each circular slit \(f(\varGamma _{j})\) is traversed twice (see Fig. 1c). Thus \(\displaystyle \frac{\theta _{j}{'}(t)}{\left| \theta _{j}{'}(t) \right| }= \pm 1\). Squaring both sides of (13), we get
The mapping function can also be expressed as [11, 16]
where \({\hat{h}}(z)\) is an analytic function and \(c=f'(a)\) is an undetermined real constant. From (14) and (15), we obtain the boundary relationship
By taking logarithm on both sides of (15), we obtain
which implies
where \(\displaystyle \gamma (t)= - \ln {|z(t)-a|}\), \(\displaystyle h(t)=\ln \left( \frac{\mu }{c}\right) \), \(\mu =\left( \mu _0, \mu _1, \ldots , \mu _M\right) \). Let \( A(t)=z(t)-a\). By obtaining \(h_j,~~j=0,1, \ldots , m\), from (10), we obtain
and
Comparison of (16) and (3) leads to a choice of \(P(z)=f'(z)\), \(\displaystyle b(z)=\frac{-|f(z)|^2\overline{T(z)}}{\overline{z-a}}\), \(G(z)=c^2(z-a)e^{2(z-a){\hat{h}}(z)}\), \(H(z)=0\). Theorem 1 yields
where
Note that a is a pole of order one for \(\displaystyle \frac{{f'(w)}}{({w}-{z})c^2(w-a)e^{2(w-a){\hat{h}}(w)}}\). Hence,
Combining the integral equation (21) and (23), we get
Write the integral equation (24) as
By using single-valuedness of the mapping function f leads to the following conditions
Thus, the integral equation (25) with condition (26) should give a unique solution provided the parameters c and \(|f(z_q)|=\mu _{q}, {\ }q=1, 2, \ldots , M\) that appear in (25) are known.
By solving the integral equation (11), we get \(\phi ^{[j]}\), \(j=0, 1, \ldots , M\), which gives \(h_{j}\) through (10) which in turn gives c and \(\mu _{j}\) through (19) and (20). By solving (25) with (26) and the known values of c and \(\mu _{j}\), we get the values of \(f'\). Then, the boundary values of \({\hat{h}}(z)\) are given by
The logarithm in (27) indicates complex logarithm which define as
In This paper, we define the range of \({\mathrm{Arg}}(z)\) as \([0,2\pi )\) to avoid the multiple value of \({\mathrm{Arg}}(z)\). Finally, the approximate boundary values of f(z) are obtained from (15), i.e.,
The approach presented here is an improvement over [16]. Unlike [16], no integral equation for \(\theta '(t)\) is required here for the computation of f(z).
Note that if \(\varOmega \) is a simply connected region, then (25) reduced to
where
For simply connected region, we can just solve integral equation (22) for \(f'(z(t))\) and compute f(z(t)) using (14).
5 Annulus with Circular Slit Region
Let \(w=f(z)\) be the analytic function which maps \(\varOmega \) conformally onto an annulus with circular slits \(\varOmega _2\) (see Fig. 1c). This canonical region \(\varOmega _2\) consists of a circular annulus \(\mu _M\le \left| w\right| \le \mu _0\) slit along \(M-1\) arcs of circles \(\left| w\right| = \mu _j, j = 1, \ldots ,M-1\). We assume that \(w = f(z)\) maps \(\varGamma _0\) onto the circle \(\left| w\right| = \mu _0\), \(\varGamma _M\) onto the circle \(\left| w\right| = \mu _M\) and the curves \(\varGamma _1, \ldots , \varGamma _{M-1}\) onto the arcs of circles \(\left| w\right| = \mu _j , j = 1, \ldots ,M - 1\), where \(\mu _0\) is known, and \(\mu _j, j = 1, \ldots ,M,\) are unknowns and have to be determined. The boundary values of f can be represented in the form
where \(\theta _{j}\) are the boundary correspondence functions of \(\varGamma _{j}\) and \(\mu _{j}\) are the radii of the circular slits. The mapping function can be expressed as [11, 17]
where \({\hat{h}}(z)\) is an analytic function and let \(0 \in \varOmega \) and b be an interior point in \(\varGamma _M\). The mapping is made uniquely determined by prescribing that \(f(b)=0\) and \(c=f(0)>0\) where c is an undetermined real constant. From (32), we get
which implies
The above equation means either both \(f'(0)\) and \(\displaystyle {\hat{h}}(0)-\frac{1}{b}\) are reals or both pure imaginary complex numbers. The representation (31) also satisfy the boundary relationship (14). Multiplying both sides of (14) by z gives the following boundary relationship
Comparison of (35) and (3) leads to a choice of \(P(z)=f'(z)\), \(\displaystyle b(z)=-\overline{z}|f(z)|^2\overline{T(z)}\), \(\displaystyle G(z)=zf(z)^2\), \(H(z)=0\). Theorem 1 yields
where
Note that zero is a pole of order one for \(\displaystyle \frac{{f'(w)}}{({w}-{z})wf(w)^2}\). Hence
Thus, integral equation, (36) after dividing both sides by \(f'(0)\), becomes
By using single-valuedness of the mapping function, f leads to the following conditions
and
Thus, the integral equation (39) with conditions (40) and (41) should give a unique solution provided the parameters c and \(|f(z_q)|=\mu _{q}, {\ }q=1, 2, \ldots , M\) that appear in (39) are known.
The values of \(\mu \) can be computed by using the integral equation (11), (10), (19) and (20) with \(\displaystyle \gamma (t)= \ln {\left| {b}\right| }- \ln {\left| {b-z(t)}\right| }\) and \(A(t)=z(t)\). By solving (39) with the known values of c and \(\mu \), we get the boundary values of \(f'\). Then, the following equation gives the values of \({\hat{h}}(z)\) if \(f'(0)\) is real
The logarithm in (42) indicates complex logarithm. Section 4 (after 27) explained the definition of complex algorithm and range of argument to avoid multiple computation. If \(f'(0)\) and \(({\hat{h}}(0)-\frac{1}{b})\) are both pure imaginary, then the boundary values of \({\hat{h}}(z)\) are given by
Finally, the approximate boundary values of f(z) are given by
6 Computing Values of Mapping Functions Interior and Inverse Mapping Functions
The approximate interior values of the function f(z) for both canonical slits regions are calculated by the Cauchy integral formula in the form of
numerically where \( \displaystyle \int _{\varGamma }\frac{1}{w-z}\mathrm{d}w = 1\), the integral in the numerator has the advantage that the denominator in this formula compensates for the error in the numerator (see [33]). The integrals in (45) are approximated by the trapezoidal rule.
For computing the inverse maps, note that the mapping function \(f^{-1}(w)=z\) is analytic in the respective canonical slits region. Then by means of Cauchy’s integral formula, we obtain \(z\in \varOmega \) by
7 Numerical Implementation
Since the functions \(z_{j}(t)\) are \(2\pi \)-periodic, a reliable procedure for solving the integral equations (11), (25) and (39) numerically is by using the Nyström’s method with the trapezoidal rule [34]. The trapezoidal rule is the most accurate method for integrating periodic functions numerically [35, pp. 134–142]. The details for solving integral equation (11) is given in [36, 37].
7.1 Solving Integral Equation with Neumann-Type Kernel for Conformal Mapping onto Unit Disk with Circular Slits
For solving integral equation (25), multiplying both sides by \(|z'(t)|\) gives
We choose n equidistant collocation points for \(\varGamma _j\)
Using the parametric representation z(t) on \(\varGamma \) and discretize integral equation (47) and (26) gives
We define vector hpx as
Then, (49) can be written as
Rearrange (52) yields
Let E and G be \(n\times n\) matrices with the elements
and
Take \(\mathbf{t }\) to be the vector with element \(t_{{\tilde{k}}}\), where \({\tilde{k}}=1,2,\ldots ,(M+1)n\), \(\mathbf{a }\) be \((M+1)n \times 1\) vector with element a and
Then, (53) can be written in matrix form as
From (56), multiplication of matrix G by a vector can be done by FMM of order \(O((M + 1)n)\) operations. Let the \((M + 1)n\times 1\) vector \(\mathbf{p }\) be the vector \(f'(z(\mathbf{t }))z'(\mathbf{t })\) and the \((M + 1)n\times 1\) vector \(\mathbf{q }\) be the vector \(\displaystyle \frac{f'(z(\mathbf{t }))z'(\mathbf{t })\overline{(z(\mathbf{t })-\mathbf{a })}}{|f(z(\mathbf{t }))|^2}\). Let also b and c be \(2\times (M + 1)n\) real vectors
and
Hence the products \(E\mathbf{p }\) and \(G\mathbf{q }\) can be computed by using the MATLAB function zfmm2dpart as follows [32]:
and
In this paper, we take \(iprec = 4\), which implies the tolerance of the FMM is \(0.5\times 10^{-12}\). The solution of the system (56) can be solve by using GMRES method. We use the MATLAB function gmres to solve the system (56) with relative residual \(<10^{-12}\) as the stopping criteria. Once the solution \(\displaystyle \frac{f'(z(t))z'(t)}{f'(0)}\) has been computed, the mapping function f(z(t)) is computed, by the formulas (27) and (28). The computation of interior values and inverse value via Cauchy integral formula (45) and (46) is referred to Nasser [37]. For computing Cauchy integral formula, we also discretized integrals using Nyström method with trapezoidal rule. The summation can be done by using FMM.
7.2 Solving Integral Equation with Neumann-Type Kernel for Conformal Mapping onto the Annulus with Circular Slits
For solving integral equation (39), multiplying both sides of equation (39) by \(|z'(t)|\) gives
We choose n equidistant collocation points by choosing the same equidistant collocation points as in previous subsection. Using the parametric representation z(t) on \(\varGamma \) and discretizing integral equations (61), (40) and (41) gives
and
We define vector hp as
Then, (49) can be written as
Adding (66), (64) and (62) gives
Rearrange (67) yields
Let E and G be \((M+1)n\times (M+1)n\) matrices as in (54) and (55), take \(\mathbf{t }\) be vector with element \(t_k\), where \(k=1,2,\ldots ,(M+1)n\) and
Then, (68) can be written in matrix form as
Let the \((M+1)n\times 1\) vector \(\mathbf{p }\) be the vector \(\displaystyle |\frac{f'(z(\mathbf{t }))z'(\mathbf{t })}{f'(0)}\) and the \((M+1)n\times 1\) vector \(\displaystyle \mathbf{q }\) be the vector \(\displaystyle \frac{f'(z(\mathbf{t }))z'(\mathbf{t })/f'(0)}{\overline{z(\mathbf{t })}|f(z(\mathbf{t }))|^2}\). Let also b and c be \(2\times (M+1)n\) real vectors as given in (57) and (58). The products \(E\mathbf{p }\) and \(G\mathbf{q }\) can be computed by using the MATLAB function zfmm2dpart according to (59) and (60), respectively. We take \(iprec = 4\), which implies the tolerance of the FMM is \(0.5\times 10^{-12}\). The solution of the system (69) can be solved by using GMRES method. We use the MATLAB function gmres to solve the system (69) with relative residual \(<10^{-12}\) as the stopping criteria. Once the solution \(\displaystyle \frac{f'(z(t))z'(t)}{f'(0)}\) has been computed, the mapping function f(z(t)) is computed, by the formulas (42), (43) and (44). The computation of interior values and inverse value via Cauchy integral formula (45) and (46) is referred to Nasser [37]. For computing Cauchy integral formula, we also discretized integrals using Nyström method with trapezoidal rule. The summation arising from discretization can be done by using FMM.
8 Numerical Examples
For numerical experiments, we have used some test regions of connectivity one, two and fifteen. All the computations were done using MATLAB 7.12.0.635(R2011a). The number of points used in the discretization of each boundary component \(\varGamma _{j}\) is n. The test regions and their corresponding images are shown in Figs. 2, 3, 4, 5, 3, 7, 8, 9, 10 and 11.
Example 1
Consider a region \(\varOmega \) bounded by the unit circle
Then, the exact mapping function is given by [8, p. 340]
See Figs. 2, 3 and Table 1 for numerical results.
Example 2
Circular Frame :
Consider a pair of circles [38]
such that the region \(\varOmega \) bounded by \(\varGamma _{0}\) and \(\varGamma _{1}\) is the region between a unit circle and a circle center at c with radius \(\rho \). Since \(\theta _{4}(\pi \tau {\mathrm{i}}/2) = 0\) and \({{\tilde{r}}}=q=e^{-\pi \tau }\) where \(\theta _{4}\) is the Jacobi Theta-functions [39], this implies \(\tau = \displaystyle \frac{\ln ({{\tilde{r}}})}{-\pi }\) and \(a = \displaystyle \frac{\lambda -e^{-2\sigma }}{1-\lambda e^{-2\sigma }}\). We choose a real number \(\sigma \) such that \(0< \sigma < \pi \tau /2.\) Then, the exact mapping function is given by [40]
where \(p(z)=(z-\lambda )/(\lambda z-1)\) with
maps \(\varGamma _0\) onto the unit circle and \(\varGamma _1\) onto a circle of radius \({\tilde{r}}\). See Figs. 2, 3 and Tables 2, 3 for numerical results.
Example 3
Ellipse with Two Circles:
Let \(\varOmega \) be the region bounded by [41, 42]
This example is also discussed in Reichel [41] and Kokkinos et al. [42] which allows for comparison of the radii \(\mu _{1}\), \(\mu _{2}\). Since our condition problem is different from them, we should multiply our radii by 2.5 to compare with the result of Reichels and Kokkinos et al. We choose the symbols \(\mu _{1R}\) and \(\mu _{2R}\) for the radii in Reichel [41] and \(\mu _{1K}\) and \(\mu _{2K}\) for the radii in Kokkinos et al. [42]. Figures 6 and 7 show the region and its images based on our method. See Tables 4, 5 and 6 for comparisons between our computed values of \(\mu _{1}\) and \(\mu _{2}\) with those computed values of Reichel [41] and Kokkinos et al. [42] and computed values of \(c_D\), \(c_A\), \(\mu _{A1}\) and \(\mu _{A2}\).
Example 4
Consider the region \(\varOmega \) of connectivity fifteen [43],
where \(a=-0.5-{\mathrm{i}}0.5\), \(b=-0.833-{\mathrm{i}}2.165\) and the values of the complex constants \(\xi _j\) and the real constants \(a_j\), \(b_j\) and \(\sigma _j\) are as in Table 7. We chose the symbols \(\mu _{Dj}\) and \(\mu _{Aj}\) for radii in previous two canonical slits regions, respectively. The numerical results are presented in Figs. 8 and 9. See Table 8 for our computed values of \(c_D\), \(c_A\), \(\mu _\mathrm{Di}\) and \(\mu _\mathrm{Ai},~i=1, 2,\ldots , 14\).
Example 5
Consider a region \(\varOmega \) with complicated boundaries,
where \(a=3.9+{\mathrm{i}}0.2\) and \(b=-4.6871 - {\mathrm{i}}1.3355\) and the values of the complex constants \(\xi _j\) are as in Table 9. Mapping function from the original region onto the disk and annulus with slits region and the inverse mapping functions from the disk and annulus with slits region onto the original region. The numerical results are presented in Figs. 10 and 11.
9 Medical Image Processing Applications
Medical image processing has experienced a dramatic expansion. Experts from applied mathematics, engineering, computer sciences, biology and medicine have been attracted by biomedical research. One of the important parts of clinical routine is computer analytic processing. Image processing is a very important process for analyzing images and gives high-quality information that helps in diagnosing diseases and making treatment easier.
A conformal mapping is a one-one and onto transformation \(w=f(z)\) that preserves both local angles and shape of infinitesimal small figures but not necessarily their size which is necessary factor in medical image processing.
Conformal mapping can be effectively applied in the field of brain surface mapping. Parameterization of anatomical surfaces in brain imaging is valuable to help analyze anatomical shape. Conformal mapping involving slits has been applied by Wang et al. [3] to study the difference in cortical surface of the brain. It helps in disease diagnosis related to cortical surface such as Alzheimer’s disease. Conformal mapping can be used to map an irregular surface onto a disk and annulus while preserving the angle, which is useful for visualization of magnetic resonance imaging (MRI). MRI is a tomographic imaging procedure which uses strong magnetic fields and radio-waves to create images of internal physical and chemical characteristics of an object. An MRI scanner is shown in Fig. 12.
The conformal mapping method of a simply and multiply connected region is applied to a brain surface image onto a disk and annulus with circular slit regions. The results based on our method are presented in Figs. 13 and 14 . Different values of a has the same effect as “warping” and “zooming” to get better and clearer pictures of different parts of the brain. Since conformal mappings are one-to-one, no information is lost. One is able to see how the zoomed part of the brain relates with the other parts. Thus conformal maps help preserve some essential features of visual information of the brain.
For our test experiments, we have considered real MR test brain image of a patient from Shahid Aso Hospital, to help diagnose diseases and treatment by obtaining better quality information. The results based on our method are presented in Figs. 15 and 16 .
10 Conclusions
In this paper, we have constructed new boundary integral equations for conformal mapping of bounded multiply connected regions onto the disk and annulus with circular slits regions. The advantage of the proposed method is that the boundary integral equations are all linear. Also in contrast to the boundary integral equation used in Nasser [10, 11], the right-hand sides of newly constructed boundary integral equations are much simpler and do not contain any singular operator. Moreover, several mappings of the test regions of connectivity one, two, three, fifteen and ninety-two were computed numerically using the proposed method. After computing the boundary values of the mapping function, the interior values of the mapping function and its inverse were calculated by means of Cauchy integral formula. The numerical examples presented have illustrated that the innovative boundary integral equation method has high accuracy. Luckily, this rate of accuracy is highly vital for medical application of image analysis. This paper used MATLAB functions graythresh, imfill, bwareaopen and bwboundaries to recognize and extract object boundary from medical images reproducibly and accurately. Consequently, this led to the achievement of better and clearer images. In the end, one should bear this in mind that such results were achieved after applying the proposed method to the medical image objective that helps in diagnosing diseases and making treatment easier.
References
Frederick, C.F., Schwartz, E.L.: Conformal image warping. IEEE Comput. Graph. Appl. 10(2), 54–61 (1990)
Gu, X., Wang, Y., Chan, T.F., Thompson, T.F., Yau, S.T.: Genus zero surface conformal mapping and its application to brain surface mapping. IEEE Trans. Med. Imaging 23(8), 949–985 (2004)
Wang, Y., Gu, X., Chan, T.F., Thompson, T.F., Yau, S.T.: Conformal slit mapping and its applications to brain surface parameterization. In: Metaxas, D., et al. (eds.) International Conference on Medical Image Computing and Computer-Assisted Intervention, pp. 585–593. Springer, Berlin (2008)
Crowdy, D.G., Marshall, J.S.: Analytical formulae for the Kirchhoff–Routh path function in multiply connected domains. Proc. R. Soc. Lond. A 461, 2477–2501 (2005)
Crowdy, D.G., Kropf, E.H., Green, C.C., Nasser, M.M.S.: Conformal slit maps in applied mathematics. ANZIAM J. 53, 171–189 (2012)
Crowdy, D.G.: The SchottkyKlein prime function: a theoretical and computational tool for applications. IMA J. Appl. Math. 81, 589–628 (2016)
Wen, G.C.: Conformal Mapping and Boundary Value Problems, English translation of Chinese edition 1984. American mathematical Society, Providence (1992)
Nehari, Z.: Conformal Mapping. Dover Publication, New York (1952)
Koebe, P.: Abhandlungen zur Theorie der konfermen Abbildung. IV. Abbildung mehrfach zusammenhängender schlicter Bereiche auf Schlitzcereiche. Acta. Math. 41, 305–344 (1916). (in German)
Nasser, M.M.S.: A boundary integral equation for conformal mapping of bounded multiply connected regions. Comput. Methods Funct. Theory 9(1), 127–143 (2009)
Nasser, M.M.S.: Numerical conformal mapping via boundary integral equation with the generalized Neumann kernel. SIAM J. Sci. Comput. 31, 1695–1715 (2009)
Nasser, M.M.S.: Numerical conformal mapping of multiply connected regions onto the second, third and fourth categories of Koebe’s canonical slit domains. J. Math. Anal. Appl. 382, 47–56 (2011)
Wegmann, R., Nasser, M.M.S.: The Riemann–Hilbert problem and the generalized Neumann kernel on multiply connected regions. J. Comput. Appl. Math. 214, 36–57 (2008)
Amano, K.: A charge simulation method for the numerical conformal mapping of interior, exterior and doubly connected domains. J. Comput. Appl. Math. 53, 353–370 (1994)
DeLillo, T.K., Driscoll, T.A., Elcrat, A.R., Pfaltzgraff, J.A.: Radial and circular slit maps of unbounded multiply connected circle domains. Proc. Math. Phys. Eng. Sci. 464(2095), 1719–1737 (2008)
Sangawi, A.W.K., Murid, A.H.M., Nasser, M.M.S.: Linear integral equations for conformal mapping of bounded multiply connected regions onto a disk with circular slits. Appl. Math. Comput. 218(5), 2055–2068 (2011)
Sangawi, A.W.K., Murid, A.H.M., Nasser, M.M.S.: Annulus with circular slit map of bounded multiply connected regions via integral equation method. Bull. Malays. Math. Sci. Soc. (2) 35(4), 945–959 (2012)
Sangawi, A.W.K., Murid, A.H.M., Nasser, M.M.S.: Circular slits map of bounded multiply connected regions. Abstr. Appl. Anal. 2012, Article ID 970928 (2012). https://doi.org/10.1155/2012/970928
Sangawi, A.W.K., Murid, A.H.M., Nasser, M.M.S.: Parallel slits map of bounded multiply connected regions. J. Math. Anal. Appl. 389, 1280–1290 (2012)
Sangawi, A.W.K., Murid, A.H.M., Nasser, M.M.S.: Radial slits map of bounded multiply connected regions. J. Sci. Comput. 55(2), 309–326 (2013). https://doi.org/10.1007/s10915-012-9634-3
Murid, A.H.M., Hu, L.-N.: Numerical experiments on conformal mapping of doubly connected regions onto a disk with a slit. Int. J. Pure Appl. Math. 51(4), 589–608 (2009)
Murid, A.H.M., Hu, L.-N.: Numerical conformal mapping of bounded multiply connected regions by an integral equation method. Int. J. Contemp. Math. Sci. 4(23), 1121–1147 (2009)
Sangawi, A.W.K., Murid, A.H.M.: Annulus with spiral slits map and its inverse of bounded multiply connected regions. IJSER 4(10), 1447–1454 (2013)
Sangawi, A.W.K.: Spiral slits map and its inverse of bounded multiply connected regions. Appl. Math. Comput. 228, 520–530 (2014)
Sangawi, A.W.K.: Straight slits map and its inverse of bounded multiply connected regions. Adv. Comput. Math. (2014). https://doi.org/10.1007/s10444-014-9368-x
Saad, Y., Schultz, M.H.: GMRES: a generalized minimal residual algorithm for solving nonsymmetric linear systems. SIAM J. Sci. Stat. Comput. 7, 856–869 (1986)
Chen, K.: Matrix Preconditioning Techniques and Applications. Cambridge University Press, Cambridge (2005)
Greengard, L., Rokhlin, V.: A fast algorithm for particle simulations. J. Comput. Phys. 73, 325–348 (1987)
Liu, Y.: Fast Multipole Boundary Element Method. Cambridge University Press, Cambridge (2009)
Rokhlin, V.: Rapid solution of integral equations of classical potential theory. J. Comput. Phys. 60(1–2), 187–207 (1985)
Nasser, M.M.S., Al-Shihri Fayzah, A .A.: A fast boundary integral equation method for conformal mapping of multiply connected regions. SIAM J. Sci. Comput. 35(3), A1736–A1760 (2013)
Greengard, L., Gimbutas, Z.: FMMLIB2D, a MATLAB Toolbox for Fast Multipole Method in Two Dimensions, Version 1.2. http://www.cims.nyu.edu/cmcl/fmm2dlib/fmm2dlib.html (2012)
Helsing, J., Ojala, R.: On the evaluation of layer potentials close to their sources. J. Comput. Phys. 227(5), 2899–2921 (2008)
Atkinson, K.E.: The Numerical Solution of Integral Equations of the Second Kind. Cambridge University Press, Cambridge (1997)
Davis, P.J., Rabinowitz, P.: Methods of Numerical Integration, 2nd edn. Academic Press, Orlando (1984)
Sangawi, A.W.K., Murid, A.H.M., Wei, L.K.: Fast computing of conformal mapping and its inverse of bounded multiply connected regions onto second, third and fourth categories of Koebe’s canonical slit regions. J. Sci. Comput. 68, 1–18 (2016)
Nasser, M.M.S.: Fast solution of boundary integral equations with the generalized Neumann kernel. Electron. Trans. Numer. Anal. 44, 189–229 (2015)
Saff, E.B., Snider, A.D.: Fundamentals of Complex Analysis. Pearson Education Inc., Cranbury (2003)
Whittaker, E.T., Watson, G.N.: A Course of Modern Analysis. Cambridge University Press, Cambridge (1927)
Koppenfels, W.V., Stallmann, F.: Praxis der konformen abbildung. Göttingen, Heidelberg (1959)
Reichel, L.: A fast method for solving certain integral equation of the first kind with application to conformal mapping. J. Comput. Appl. Math. 14(1), 125–142 (1986)
Kokkinos, C.A., Papamichael, N., Sideridis, A.B.: An orthonormalization method for the approximate conformal mapping of multiply-connected domains. IMA J. Numer. Anal. 10(3), 343–359 (1990)
Nasser, M.M.S., Murid, A.H.M., Sangawi, A.W.K.: Numerical conformal mapping via a boundary integral equation with the adjoint generalized Neumann kernel. TWMS J. Pure Appl. Math. 5(1), 96–117 (2014)
Acknowledgements
This work was supported in part by the Malaysian Ministry of Education (MOE) through the Research Management Centre (RMC), Universiti Teknologi Malaysia, (FRGS vote: R.J130000.7854.5F198) and the Kurdistan Ministry of Higher Education through Department of General Sciences, College of Education and Language, Charmo University. These supports are gratefully acknowledged. We wish to thank Mrs. Chya Ahmed Muhamed from Shahid Aso Hospital, Dr. Dana N. Muhealdeen from Hiwa Cancer Hospital, Sulaimani, Kurdistan for their kind assistance, and the anonymous referees for valuable comments and suggestions on the manuscript which improve the presentation of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Rosihan M. Ali.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Sangawi, A.W.K., Murid, A.H.M. & Lee, K.W. Circular Slit Maps of Multiply Connected Regions with Application to Brain Image Processing. Bull. Malays. Math. Sci. Soc. 44, 171–202 (2021). https://doi.org/10.1007/s40840-020-00942-7
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40840-020-00942-7
Keywords
- Numerical conformal mapping
- Boundary integral equations
- Multiply connected regions
- Neumann-type kernel
- Generalized Neumann kernel
- GMRES
- Fast multipole method
- Medical image processing