Abstract
In this paper, we are interested in an inverse geometric problem for the three-dimensional Laplace equation to recover an inner boundary of an annular domain. This work is based on the method of fundamental solutions (MFS) by imposing the boundary Cauchy data in a least-square sense and minimisation of the objective function. This approach can also be considered with noisy boundary Cauchy data. The simplicity and efficiency of this method is illustrated in several numerical examples.
1. Introduction
The inverse geometry problems, as an important subclass of inverse problems, can be subdivided into two subclasses, depending on the location of the unknown boundary. In the first kind, the portion of the outer boundary of the solution domain is unknown, whilst in the second kind, the inner boundary is unknown.
There are many methods for solving the inverse geometry problems, such as the boundary element regularisation method by Lesnic et al. [1], the method of fundamental solutions and moving pseudo-boundary method by Karageorghis et al. [2,3,4], the boundary function method by Wang et al. [5], the conjugate gradient method (CGM) and the boundary element technique by Huang et al. [6,7].
Bin-Mohsin and Lesnic in 2012 utilised the method of fundamental solutions (MFS) to the modified Helmholtz inverse geometry problem on an annular domain [8].
The purpose of this paper is to extend the aforementioned current approach to the three-dimensional Laplace equation based on the method of fundamental solutions. Finally, two examples are presented to show the simplicity and efficiency of this method.
2. Formulation of the Inverse Geometric Problem
Let be a simply connected domain with an unknown boundary which is compactly contained in a simply connected domain with the boundary .
Let us consider the following inverse problem:
subject to the boundary conditions,
where and are given functions and n is an outward unit normal vector on . Moreover, the function is given on the unknown boundary . Without loss of generality, we can suppose that is the unit disk ; otherwise we can conformally map the exterior of the simply connected domain onto the exterior of the unit disk.
The unknown boundary can be expressed in spherical coordinates as
where is a -periodic and -periodic smooth function with respect to and , respectively, with values in the interval .
The inverse problem we are concerned with is to determine geometrically the domain boundary by utilising the method of fundamental solutions.
3. The Least-Square Problem Based on the MFS
In the classic MFS, the solution of a homogeneous linear partial differential equation (PDE) is approximated by a linear combination of the fundamental solutions with the set of sources located outside the problem domain and a set of points on the domain boundary. The linear combination coefficients are determined by collocation or, alternatively, with a least-squares fit of the boundary conditions.
Based on the MFS, one can approximate the solution of (1) by a linear combination of its fundamental solutions, which is given by [9]
i.e.,
where the collocation points and are uniformly located on and , respectively, i.e.,
Further, the source points and are uniformly located on the outside of and the inside of D, respectively, i.e.,
where .
The coefficients vector in linear combination (6) and also, the radial vector can be determined by imposing the boundary conditions (2)–(4) in a least-square sense, which recasts into minimising the objective function
Upon discretisation, Equation (11) yields
In general, the boundary data are measured noisy data satisfying
where is the percentage noise and the number is a random number drawn from the standard uniform distribution on the interval generated by the MATLAB code .
Imposing noise on all measured data implies
4. Error Analysis and the Regularisation
The accuracy of the presented method is evaluated by the normalised relative root mean square error (RMSE) and -error:
where and denote the analytical and numerical radial vectors, respectively, at the collocation point on the boundary .
The obtained numerical radial vectors from the presented method are unstable, especially when noise is added to the boundary data, and so the regularisation is needed. For this, we can add the following regularisation terms via standard zeroth- and first-order Tikhonov’s regularisation with parameters to the functional (14), i.e.,
5. Numerical Examples
In this section, we give some examples to check the effectiveness of the presented method. We consider a three-dimensional annular domain with an outer boundary as the unit sphere , and in (7)–(10). Moreover, the percentage noise is added to every measured boundary data.
The minimisation of functional (12) or (14) is carried out using the MATLAB optimisation toolbox routine lsqnonlin, which solves nonlinear least-squares problems.
Example 1.
Consider a three-dimensional annular domain with an unknown inner boundary of radius . The boundary data are given as follows:
The exact solution for these input boundary data is .
Table 1 gives the values of the objective functions and the corresponding errors obtained using the optimal initial guess and without using regularisation parameters. It can be seen that the values of the corresponding errors increase with the number of collocation points and so regularisation is needed.
Table 1.
The values of the optimal initial guess, , objective functions and the corresponding errors with and no regularisation parameters for Example 1.
In Table 2 and Table 3, we present the values of the objective functions and the corresponding errors with initial guess, , obtained using the regularisation parameters with and so, in Table 4, we give the minimal objective functions and the corresponding errors with initial guess .
Table 2.
The values of the optimal initial guess, , objective functions and the corresponding errors using the regularisation parameters with M = N = 25 for Example 1.
Table 3.
The values of the optimal initial guess, , objective functions and the corresponding errors using the regularisation parameters with M = N = 50 for Example 1.
Table 4.
The values of the minimal objective functions and the corresponding errors with initial guess , obtained (with/no) selecting the optimal regularisation parameters with for Example 1.
Example 2.
Consider a three-dimensional annular domain with an unknown inner boundary of radius . The boundary data are given as follows:
The exact solution for these input boundary data is .
Table 5 gives the values of the objective functions and the corresponding errors obtained using the optimal initial guess , without using regularisation parameters, whilst Table 6 and Table 7 are obtained using the regularisation parameters and so, in Table 8 we give the minimal objective functions and the corresponding errors with initial guess .
Table 5.
The values of the optimal initial guess, , objective functions and the corresponding errors for Example 2 with and no regularisation parameters.
Table 6.
The values of the optimal initial guess, , objective functions and the corresponding errors using the regularisation parameters with for Example 2.
Table 7.
The values of the optimal initial guess, , objective functions and the corresponding errors using the regularisation parameters with M = N = 50 for Example 2.
Table 8.
The values of the minimal objective functions and the corresponding errors with initial guess, , obtained (with/no) selecting the optimal regularisation parameters with for Example 2.
6. Conclusions
In this paper, we extended the aforementioned method presented in [8], based on the method of fundamental solutions to solve numerically the three-dimensional inverse geometry problem on an annular domain. To obtain the stable and accuracy results, Tikhonov’s regularisation parameters were used combined with the problem of the minimising an objective function. From the examples, we can see that our proposed method is effective and stable, even for the boundary data added with noise.
Author Contributions
Validation, H.A.; formal analysis, E.A., C.P.; investigation, M.S., H.A., E.A., C.P.; writing—original draft preparation, M.S.; writing—review and editing, H.A.; supervision, M.S.; funding acquisition, C.P. All authors have read and agreed to the published version of the manuscript.
Funding
This work does not receive any external funding.
Institutional Review Board Statement
Not applicable.
Informed Consent Statement
Not applicable.
Data Availability Statement
Data sharing is not applicable to this article, as no data set was generated or analysed during the current study.
Conflicts of Interest
The authors declare no confilct of interests.
References
- Lesnic, D.; Berger, J.R.; Martin, P.A. A boundary element regularization method for the boundary determination in potential corrosion damage. Inverse Probl. Eng. 2002, 10, 163–182. [Google Scholar] [CrossRef] [Scilit]
- Karageorghis, A.; Lesnic, D.; Marin, L. The method of fundamental solutions for the detection of rigid inclusions and cavities in plane linear elastic bodies. Comput. Struct. 2012, 106, 176–188. [Google Scholar] [CrossRef] [Scilit]
- Karageorghis, A.; Lesnic, D.; Marin, L. A moving pseudo-boundary method of fundamental solutions for void detection. Numer. Methods Partial Diff. Equat. 2013, 29, 935–960. [Google Scholar] [CrossRef] [Scilit]
- Karageorghis, A.; Lesnic, D.; Marin, L. The method of fundamental solutions for three-dimensional inverse geometric elasticity problems. Comput. Struct. 2016, 166, 51–59. [Google Scholar] [CrossRef] [Scilit]
- Wanga, F.; Huaa, Q.; Liub, C.S. Boundary function method for inverse geometry problem in two-dimensional anisotropic heat conduction equation. Appl. Math. Lett. 2018, 84, 130–136. [Google Scholar] [CrossRef] [Scilit]
- Huang, C.H.; Yan, J.Y. An inverse problem in simultaneously measuring temperature dependent thermal conductivity and heat capacity. Int. J. Heat Mass Transf. 1995, 38, 3433–3441. [Google Scholar] [CrossRef] [Scilit]
- Huang, C.H.; Yeh, C.Y.; Orlande, H.R.B. A non-linear inverse problem in simultaneously estimating the heat and mass production rates for a chemically reacting fluid. Chem. Eng. Sci. 2003, 58, 3741–3752. [Google Scholar] [CrossRef] [Scilit]
- Bin-Mohsin, B.; Lesnic, D. Determination of inner boundaries in modified Helmholtz inverse geometric problems using the method of fundamental solutions. Math. Comput. Simul. 2012, 82, 1445–1458. [Google Scholar] [CrossRef] [Scilit]
- Vladimirov, V.S. Equations of Mathematical Physics; Mir Publishers: Moscow, Russia, 1981. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations. |
© 2022 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).