- Research
- Open access
- Published:
Direct and inverse problem for geometric perturbation of the Laplace operator in a strip
Boundary Value Problems volume 2019, Article number: 132 (2019)
Abstract
This paper is concerned with the inverse problem of determining geometric shape of a part γ of the boundary of a perturbed strip Ω from a pair of Cauchy data of a harmonic function u in Ω. This leads to the study of the direct problem. Using the variational method, we show that is well posed, and by the integral equation method we seek the solution in the form of combined double- and single-layer potential. For the identification of γ we prove a uniqueness result, that is, a pair of Cauchy data on the accessible part \(\varGamma _{0}\) uniquely determines the missing part γ of the boundary, and we derive a system of nonlinear integral equations equivalent to our inverse problem. We present numerical examples for both the direct and inverse problems.
1 Introduction
We consider the perturbed strip \(\varOmega \subset \mathrm{R}^{2}\) as follows:
where \(h:\mathrm{R}\rightarrow [0,1]\) is a continuous function which is a parametrization of a local perturbation of a strip \(\varOmega _{0}=\{(x,y) \in \mathrm{R}^{2}: 0< y<1\}\). We assume that there exist \(a>0\) and \(0< b<1\) such that \(h\in C^{2}[-a,a]\) and it satisfies
The boundary Γ of Ω is decomposed as \(\varGamma =\varGamma _{0}\cup \varGamma _{1}\) with \(\varGamma _{0}\cap \varGamma _{1}=\emptyset \) and \(\varGamma _{1}=\varGamma _{1}^{-}\cup \gamma \cup \varGamma _{1}^{+}\) (see Fig. 1) where γ is the arc
For a given function \(f\in H^{3/2}(\mathrm{R})\) consider the Dirichlet problem for the Laplace equation:
subject to the boundary condition
The inverse problem we are concerned with consists in recovering the shape of \(\gamma :y=1-h(x)\), \(-a\leq x\leq a\), from the Cauchy data \(f:= u \vert _{\varGamma _{0}}\) and \(g:= \frac{\partial u}{\partial y}\vert _{\varGamma _{0}}\).
This problem arises in electrostatic or thermal imaging methods, detecting a corrosion surface in nondestructive testing. This could be the case for an electrically conducting specimen, which is subject to wear by corrosion, causing material loss or cracks. In practice, it often happens that the unknown part of the boundary that has suffered corrosion is not accessible to direct inspection. The aim is to detect the presence of such defects by nondestructive methods from the knowledge of the imposed voltage \(f:= u \vert _{\varGamma _{0}}\) and the measured resulting current \(g:= \frac{\partial u}{\partial y} \vert _{\varGamma _{0}}\) on the accessible part \(\varGamma _{0}\) of the boundary Γ. Various application related to the above model problem are described, for example, in [1, 11] (see also the references therein). Let us mention the articles [2, 5, 10, 15, 17] on the inverse boundary value problems for the Laplace equation in a bounded domain. Our problem presents additional difficulties related to the unbounded nature of the domain and, to our knowledge, it was not considered in the literature. In this work we generalize the potential method used in the precursor works of Kress and Rundel [9, 10].
The paper is organized as follows. In Sect. 2 we will be concerned with the direct problem, we proceed by showing the existence and uniqueness of the solution. Using Green’s function, we obtain a representation of the solution in the form of potentials and we give a numerical test. Section 3 is devoted to the study of the inverse problem, a uniqueness theorem is obtained, we derive the two-by-two system of integral equations and describe the proposed iteration scheme. The paper concludes with some numerical examples.
2 The direct problem
2.1 Existence and uniqueness
The following notations are used throughout this text. For \(s\geq 0\), we say that \(f\in H^{s}(\mathrm{R})\) if the norm
is finite. For \(s=0\), we denote \(\|f\|_{L^{2}(\mathrm{R})} :=\|f\| _{0}\). Here the Fourier transform pair of f is defined by the formulae
We will show that the direct problem (2)–(3) is well posed.
Theorem 1
Suppose that \(f\in H^{3/2}(\mathrm{R})\). Then
-
1.
There exists a recovery function \(u_{f} \in H^{2}(\varOmega )\) such that \(u_{f}(x,0)=f(x)\).
-
2.
The problem (2)–(3) has a unique solution \(u\in H^{1}(\varOmega )\).
-
3.
The solution \(u\in H_{\mathrm{loc}}^{2}(\varOmega )\).
Proof
1. Using Fourier transform of function f, we define \(u_{f}\) by
where
and \(\varphi _{0}\) is a truncation function of class \(C^{2}[0,1]\) such that
It is easy to see that \(u_{f} \in H^{2}(\varOmega )\) and \(u_{f}(x,0)=f(x)\).
2. We put \(v=u-u_{f}\) and \(F=-\Delta u_{f}\in L^{2}(\varOmega )\). Then v solves the homogeneous Dirichlet problem:
The bilinear form \(a(v,w)=\int _{\varOmega }\nabla v\nabla w \,dx\,dy\), \(v,w\in H_{0}^{1}(\varOmega )\), is coercive since Ω is bounded in the y direction (see [3]). By the Lax–Milgram theorem, there exists a unique weak solution \(v\in H_{0}^{1}(\varOmega )\).
3. Now we show that \(v\in H_{\mathrm{loc}}^{2}(\varOmega )\). The corners A and B of \(\varGamma _{1}\) have an angle less that π, then from the regularity theory it follows that \(v\in H^{2}( \varOmega _{R})\), \(\varOmega _{R}=\{(x,y)\in \varOmega ; |x|\leq R\}\), for any \(R\geq a\) (see [6]).
This completes the proof. □
Theorem 2
The Dirichlet-to-Neumann map \(f\mapsto g= \frac{\partial u}{\partial y}(x,0)\) where u is the solution of the Dirichlet problem (2)–(3) is continuous from \(H^{3/2}(\mathrm{R})\) to \(L^{2}(\mathrm{R})\).
Proof
From the previous theorem, \(g\in L^{2}_{\mathrm{loc}}(\mathrm{R})\). It suffices to prove that g is in \(L^{2}(R_{0},+\infty )\) for \({R_{0}} \geq a+1\). Let \(v\in H^{1}_{0}(\varOmega )\) be the solution of (6). We put \(w=\theta (x)v\) where \(\theta \in C^{2}(\mathrm{R})\) is a truncation function such that \(\theta (x)=0\) for \(x\leq a\) and \(\theta (x)=1\) for \(x\geq R_{0}\). Then w satisfies the equation
with \(F_{1}=\theta F+v \theta ^{\prime \prime }+2 \frac{\partial v}{ \partial x}\theta ^{\prime }\in L^{2}(\varOmega ^{+}_{a})\). We can assume in (7) that \(a=0\) (after a translation in the direction of x) and use sine-Fourier transform
to obtain the second order differential equation in y:
with the solution
and \(G(\xi ,y,z)\) being the Green’s function
Then
which leads to
and then
On the other hand, we have
since \(w=v\), for \(x\geq R_{0}\), and \(v=u-u_{f}\), so we get
and deduce that
ending the proof. □
Theorem 3
(Uniqueness)
Suppose that \(u\in H_{\mathrm{loc}}^{1}(\varOmega )\) satisfies
Then \(u=0\).
Proof
1. In the semi-strip \(\varOmega _{a}^{+}={}]a,+\infty [{}\times {}]0,1[\), u has the representation
and then, for \(R>a\),
If \(R\rightarrow +\infty \), we deduce that for all \(n\in \mathrm{N} ^{*}\),
thus \(\forall n\geq 1\), \(B_{n}=0\) and \(A_{n}=\frac{2}{\pi } \int _{0}^{1}u(a,y)\sin (n\pi y)\,dy\).
Then we deduce the following estimate, for all \(|x|\geq R\) and \(y\in [0,1]\):
2. Suppose (10) holds. Applying the first Green’s identity in the set \(\varOmega _{R}=\{(x,y)\in \varOmega ; |x|< R\}\), for \(R\geq a\), we have
Inequality (11) implies that
Letting \(R\rightarrow +\infty \), we deduce that \(\nabla u=0\) in Ω, and thus u is constant in Ω. Since \(\gamma _{0}(u)=0\), it follows that \(u=0\) in Ω. □
2.2 Unperturbed problem
By an unperturbed problem we mean the problem on the strip \(\varOmega _{0}=\mathrm{R}\times {}]0,1[{}\):
Using the partial Fourier transform with respect to x, we obtain the solution
where
Proposition 1
Assume that \(f\in H^{3/2}(\mathrm{R})\). Then \(u_{0}\in H^{2}(\varOmega _{0})\) and it satisfies
Proof
(i) We use the asymptotic behavior of \(a(\xi ,y)\), that is,
Indeed, for example, we have
and
Then
(ii) We have \(\widehat{\frac{\partial u_{0}}{\partial y}}(\xi ,0)=-( \xi \coth \xi ) \widehat{f}(\xi )\). Since the function \(\xi \mapsto \xi \coth \xi \) is bounded on R,
□
2.3 Green’s function of the strip \(\varOmega _{0}\)
The Green’s function of the Dirichlet problem for the Laplace equation in the strip \(\varOmega _{0}\) is defined by (see [13]) by
which satisfies in the sense of the distribution
For a fixed point source \((\xi ,\eta )\in \varOmega \), G exhibits the following asymptotic behavior:
as \(r=\sqrt{(x-\xi )^{2}+(y-\eta )^{2}}\rightarrow 0\). Also
and
2.4 Integral equation method
Let u be the solution of problem (2)–(3), and \(u_{0}\) the solution of \((P_{0})\). We put \(v_{0}=u-u_{0}\), and then \(v_{0}\in H^{1}(\varOmega )\cap H_{loc}^{2}(\varOmega )\) is a solution of the following problem:
We introduce the boundary integral equation formulation for (18) as follows. For this we apply Green’s second theorem to the harmonic functions \(v_{0}\) and \(G(\cdot ,(\xi ,\eta ))\) in the domain \(\varOmega _{R,\epsilon }=\varOmega _{R}\setminus B((\xi ,\eta ), \epsilon )\), \(\varOmega _{R}=\{(x,y)\in \varOmega : |x|< R\}\) to obtain
The function \(v_{0}\in H^{1}(\varOmega )\) satisfies the decay property in (10). Then from the proof of Theorem 3 (part 1, estimate (11)), we deduce that
and (16)–(17) lead to the limit
Then, as \(R\rightarrow +\infty \) and \(\epsilon \rightarrow 0\), we obtain the integral representation formula
We put \(\psi =\frac{\partial v_{0}}{\partial n}|_{\gamma }\), which is unknown, and \(q=-v_{0}|_{\gamma }=u_{0}|_{\gamma }\), which is known through (12). When \((\xi ,\eta )\) tends to a point \(M=(x, 1-h(x))\) of γ, and utilizing the properties of single and double layer potentials (see [9]), we obtain the integral equation of the first kind
where S and D are respectively the single- and double-layer potentials defined for \(M=(x,y)\in \gamma \) by
The solvability of (21) follows from the potential theory developed in the framework of Sobolev spaces \({\tilde{H}}^{s}(\gamma )\), \(s>1/2\) (see [9, 10, 12, 14]). Once equation (21) is solved, we have the solution
For the numerical solution of the integral equation (21), a parametrization of γ is required.
2.5 Parametrization of the integral equation
In order to use the results of integral equation on a contour, we consider the extension γ̃ of γ defined by \(\tilde{\gamma }=\gamma \cup \gamma ^{+}\), where \(\gamma ^{+}=\{(x,1+h(x)), -a< x< a\}\). Extending the data q on \(\gamma ^{+}\) by symmetry \(q(x,1+h(x))=-q(x,1-h(x))\) and using the parametrization of γ̃, \(z(t)=(x(t),y(t))\), \(0\leq t \leq 2\pi \), we transform (21) as follows:
where
and
For the discretization of the integral operators, we note that kernel \(L(t,s)\) can be decomposed in the form
where k and M are smooth with diagonal values
and
Using the decomposition (27), we write equation (23) in operational form
where
and
The properties of the operators A, K and B are given in the following lemma [9].
Lemma 1
For \(r\geq 0\), we have:
-
The operator \(A:H^{r}[0,2\pi ]\rightarrow H^{r+1}[0,2\pi ]\) is bounded and bijective.
-
The operator K is compact from \(H^{r}[0,2\pi ]\) to \(H^{r+1}[0,2 \pi ]\).
-
B is bounded in \(H^{r+1}[0,2\pi ]\).
The potentials S and D defined in (22) have the following properties (see [9]).
Lemma 2
The single-layer potential defines a bounded linear operator from \({\tilde{H}}^{-1/2}(\gamma )\) into \(H_{\mathrm{loc}}^{1}(\varOmega )\). The double-layer potential defines a bounded linear operator from \({\tilde{H}}^{1/2}(\gamma )\) into \(H_{\mathrm{loc}}^{1}(\varOmega )\).
Theorem 4
The integral equation (30) has a unique solution, i.e., \(N(A+K)=\{0\}\).
Proof
Assume that \((A+K)\varphi =0\). We associate to φ the potential \(v_{0}(M)\) defined by the integral (22) (with \(q=0\)). Using Lemma 2 and the asymptotic behavior of \(G(M,M^{\prime })\) when \(|x|\rightarrow +\infty \) (see (16)–(17)), we can prove that \(v_{0}\) satisfies the uniqueness Theorem 3. Then \(v_{0}=0\) in Ω, it follows that \(\psi =\frac{\partial v_{0}}{\partial n}|_{\gamma }=0\). Therefore \(\varphi (t)=\psi (z(t))|z^{\prime }(t)|=0\). □
2.6 Nyström’s method
In this section we use Nyström’s method for the numerical approximation of the integral equation (30) of the first kind with weakly singular kernels.
Following Kress [9], we construct numerical quadratures for the improper integral
by replacing the continuous periodic function φ by its trigonometric interpolation polynomial described in [9, Sect. 11.3]. Using the Lagrange basis \((L_{j})\), we obtain
with the quadrature weights
More precisely, we have \(R_{j}^{n}(t_{k})=R_{ \vert j-k \vert } ^{n}\) such that
Thus, we have the algebraic system
Remark 1
In the numerical computation, we approach the Fourier integral (12) by the trigonometric polynomial
In particular, if \(f(x)=q_{a}(x-x_{0})\), where \(q_{a} \) is an even function (wavelet), then \(\hat{f}(\xi )=e^{i\xi x_{0}}\hat{q}_{a}( \xi )\), and we have
where
2.7 Numerical implementation and examples
To illustrate our method, we show a numerical test with the boundary condition \(f(t)\) and the parametrization of the arc \(h(t)\) such that
with \(a_{1}=3\), \(c_{1}=2\), \(a_{2}=1\), \(c_{2}=1\), \(t_{1}=-1\), \(t_{2}=1\), and
with \(a=2\), \(b=1\), \(H=0.03\), \(t_{0}=1\).
In the discretization we use the parameters \(a=2\), \(n=120\), which is the number of points in \([0,\pi ]\), and \(x_{j}=a\cos (\frac{j\pi }{n})\), \(j=1,\ldots ,n\), the points of \([-a,a]\).
In the approximation of the Fourier integral (38), we use the interval \(\xi \in [0, \xi _{\max }]\) with \(\xi _{\max }=M\pi \), \(M=n/2\) and the points \(\xi _{j}=\frac{j\pi }{2}\), \(j=1,\ldots ,n\). Figures 2 and 3 show the results of the simulation.
3 The inverse problem
It is shown (in Sect. 2) that, for \(f\in H^{3/2}(\mathrm{ \mathrm{R} })\), there exists a unique solution \(u\in H^{1}(\varOmega ) \cap H_{loc}^{2}(\varOmega )\) of (2)–(3). Recall that our inverse problem can be formulated as follows: given \(f:= u \vert _{\varGamma _{0}}\) and \(g:= \frac{\partial u}{\partial y} \vert _{\varGamma _{0}}\), \(g\in L^{2}(\mathrm{R})\), determine \(h(x)\) the parametrization of γ, i.e.,
We proceed with giving a uniqueness theorem.
3.1 Uniqueness for the inverse problem
Theorem 5
Let \(\varOmega _{1}\) and \(\varOmega _{2}\) be two perturbed strips with two boundary arcs \(\gamma _{1}\) and \(\gamma _{2}\) of class \(C^{2}\), respectively. Denote by \(u_{1}\) and \(u_{2}\) the solutions to the problem (2)–(3) for the domains \(\varOmega _{1}\) and \(\varOmega _{2}\), respectively, and assume that
Then \(\gamma _{1}=\gamma _{2}\).
Proof
(1) Suppose that \(\varOmega _{1}\neq \varOmega _{2}\) and put \(u=u_{1}-u_{2}\), then \(\Delta u=0\) in \(\varOmega _{12}=\varOmega _{1}\cap \varOmega _{2}\) and \(u|_{y=0}=\frac{\partial u}{\partial y}|_{y=0}=0\). Holmgren’s uniqueness theorem (see [16]) implies that \(u=0\) in a neighbourhood of the axis \(y=0\), and by analyticity \(u_{1}=u_{2}\) in \(\varOmega _{12}\).
(2) Without loss of generality, we may assume that the open set \(W=\varOmega _{2}\setminus \bar{\varOmega }_{1}\) is connected and not empty (see Fig. 4). Then from the boundary conditions we can deduce that \(u_{2}=0\) on the boundary of W. Now by the maximum–minimum principle for harmonic functions, we can conclude that \(u_{2}=0\) in W, and consequently, by analyticity it follows that \(u_{2}=0\) in \(\varOmega _{2}\). However, this contradicts the fact that f is not identically zero, and the proof is complete.
□
3.2 Nonlinear integral equations
Our approach for solving the inverse problem is based on a system of nonlinear and ill-posed integral equations. We shall use identity (22) to derive two nonlinear integral equations for the unknowns \((\psi ,h)\), hence we obtain
where
with
and
with
Then we obtain the system:
The kernels of the integral operators are given in Appendix 2.
System (47)–(48) is linear in ψ and nonlinear in h. We remark that H and \(H^{\prime }\) are \(C^{\infty }\) in x and decay faster than \(e^{-\pi |x|}\) (we assume that \(h\in C^{1}[-a,a]\)). Hence \(g\in C^{\infty }(\mathrm{R})\) and \(|g(x)|=O(e^{-\pi |x|})\).
3.3 The iterative procedure
We suggested the following iterative method (Newton-type method) for approximately solving system (47)–(48). It involves partial linearization of the system with respect to the variable h, the boundary parametrization. Given an approximation \(h_{0}\), we first solve the linear equation
for ψ. Then, keeping ψ fixed, we replace (48) by the linearized equation
which we have to solve for w in order to improve an approximate boundary given by the parametrization h into the new approximation given by \(h=h_{0}+w \). The method consists in iterating this procedure. For a theoretical foundation of such a regularized Newton-type method for nonlinear ill-posed problems, in general, we refer to [4].
The Fréchet derivatives \(D\mathcal{H}(h;k)\) and \(D\mathcal{H}^{ \prime }(h;k)\) can be found by differentiating their kernels with respect to h, their representations are given in Appendix 2.
Equation (47) is solved by Nyström’s method. Since the integral operators \(D\mathcal{H}^{\prime }\) and \(D\mathcal{H}\) have kernels in \(L^{2}(\mathrm{R}\times {}]{-}a, a[{})\), they are compact from \(L^{2}({}]{-}a, a[{})\) to \(L^{2}(\mathrm{R})\), and therefore the integral equation (50) is ill-posed and requires a regularization. We use a regularization based on the least squares method [8]. All the computational codes are written in MATLAB.11 and in particular the MATLAB codes developed by Hansen [7] for solving the discrete ill-posed equation (50) has been adopted in our computations.
Our algorithm consists in the following steps:
-
Step 1: Given exact h and f, we compute Cauchy data g by solving integral equation (23) and using equation (42).
-
Step 2: Perturb the data \(g_{\delta }= g+\delta \varepsilon (t)\), where \(\varepsilon (t)\) is a Gaussian noise.
-
Step 3: Initialize \(h=h_{0}\) and fix the parameters m, n of the discrete problem.
-
Step 4: For \(it=1\) to itermax do
-
compute \(q_{0}(x)=u_{0}(x,1-h(x))\) and solve equation (49) by Nyström’s method
-
solve the linearized equation (50) for w using a least squares algorithm.
-
put \(h=h_{0}+w\)
end do
-
3.4 Numerical examples and discussion
In this final section we present some numerical results to illustrate the accuracy and effectiveness of the reconstruction method as described in the previous section. We choose three profiles of γ to test our recovery algorithm.
Example 1
\(h_{1}(x)=0.2(1-\frac{x^{2}}{4})\), \(-2\leq x \leq 2\).
Example 2
\(h_{2}(x)=0.03(4-x^{2})(1+x^{2})\), \(-2\leq x \leq 2\).
Example 3
\(h_{3}(x)=0.01(4-x^{2})(2-2x+x^{2})\), \(-2\leq x \leq 2\).
The initial guess was taken to be \(h_{0}(x)=0.1(1-\frac{x^{2}}{4})\) for all examples.
The synthetic Cauchy data \((f, g)\) were obtained by solving the Dirichlet problem in Ω (see Fig. 5), with boundary condition \(u = f\) with
In the examples we approximate function h for the unknown boundary curve \(\gamma (t)=(a\cos t,1-h(t))\), \(t\in [0,\pi ]\), by a trigonometric polynomial
In all the tests we used \(n=50\) grid points \(y_{j}=a \cos (\frac{j \pi }{n})\), \(j=0,\ldots ,n\), for the arc \(\gamma (y)=(y,1-h(y))\) (\(n=150\) for the simulated data) and \(x_{i}=-2a+i\frac{2a}{n}\), \(i=0,\ldots ,2n\), points of collocation. Linear equation (50) is reduced to a \(((2n+1)\times (2m+1))\) system. Then the problem becomes determining \((2m+1)\) coefficients \((a_{0},a_{k},b_{k})\) of the approximation. In view of the ill-posedness, this approximating linear system is solved via the least squares algorithm lsqr_b.m from Hansen’s package “Regularization tools” [7].
Cauchy data calculated by the direct algorithm, function f (left), function g for Example 1 (right)
To obtain data with noise, we add random noise of given level δ (relative to \(l_{2}\)-discreet norm \(\|g\|_{2}\)) to the simulated data g as
where \(\sigma (t)\) represents random numbers uniformly distributed on the interval \((-1; 1)\).
In Figs. 6–9, we present the numerical results for Examples 1, 2 and 3, respectively, involving both exact and noisy data. The reconstructions are obtained after one iteration for all examples. The numerical experiments show rather satisfying reconstructions under the restrictions:
-
\(0\leq h(x)\leq 0.2\),
-
with adequate initial guess \(h_{0}\),
-
\(m=p\) the degree of the polynomial which interpolates h (\(p=2\) for \(h_{1}\) and \(p=4\) for \(h_{2}\) and \(h_{3}\)).
-
\(0\leq \delta \leq 0.1\).
We remark that with arbitrary initial guess (in particular, for \(h_{0}=0\)) the algorithm fails to recover the boundary. In general, the quality of the reconstruction is affected by the shape of γ (see Figs. 8–9). As expected, the first iteration is stable with respect to the addition of random noise.
4 Conclusion
In this paper, direct and inverse boundary value problems associated with the two-dimensional harmonic equation have been investigated. We obtained the following results:
-
The direct problem was studied systematically by employing the boundary integral method.
-
The inverse problem was reduced to a nonlinear system which was approximated by a Gauss–Newton method (partially).
-
The unknown arc of the boundary was approximated by a trigonometric polynomial. The resulting ill-conditioned system of linear algebraic equations has been regularized by using a least squares method.
-
The numerical results obtained showed satisfying reconstructions for exact and noisy data with suitable initial guess.
Further research is required in order to improve the performance of the algorithm for the reconstruction of the boundary. It is necessary to introduce additional regularization treatments such as the choice of the parametrization of h, initial guess \(h_{0}\) and a stopping rule for terminating the iterations.
References
Alessandrini, G., Beretta, E., Rosset, E., Vessella, S.: Inverse boundary value problems with unknown boundaries: optimal stability. C. R. Acad. Sci. Paris 328, 607–611 (2000)
Cakoni, F., Kress, R.: Integral equations for inverse problems in corrosion detection from partial Cauchy data. Inverse Probl. Imaging 1(2), 229–245 (2007)
Chipot, M.: Elliptic Equations: An Introductory Course. Birkhäuser, Basel (2009)
Engl, H.W., Hanke, M., Neubauer, A.: Regularization of Inverse Problems. Kluwer Academic, Dordrecht (1996)
Fang, W., Yan, L., Zen, S.: Numerical recovery of Robin boundary from boundary measurements for the Laplace equation. J. Comput. Appl. Math. 224, 573–580 (2009)
Grisvard, P.: Elliptic Problem in Nonsmooth Domains. Classics in Applied Mathematics, vol. 69. SIAM, Philadelphia (1985)
Hansen, P.C.: Regularization tools version 4.0 for Matlab 7.3. Numer. Algorithms 46, 189–194 (2007)
Kirsch, A.: An Introduction to the Mathematical Theory of Inverse Problems. Springer, New York (2011)
Kress, R.: Linear Integral Equations. Applied Mathematical Sciences, vol. 82. Springer, New York (2014)
Kress, R., Rundel, W.: Nonlinear integral equations and the iterative solution for an inverse boundary value problem. Inverse Probl. 21, 1207 (2005)
Kurt, B., Caudill, L.: An inverse problem in thermal imaging. SIAM J. Appl. Math. 56(3), 715–735 (1996)
McLean, W.: Strongly Elliptic Systems and Boundary Integral Equations. Cambridge University Press, Cambridge (2000)
Melnikov, M.Y.: Green’s Functions: Construction and Application. de Gruyter, Berlin (2012)
Monch, L.: On the inverse acoustic scattering problem by an open arc: the sound-hard case. Inverse Probl. 13, 1379 (1997)
Nachaoui, A.: An improved implementation of an iterative method in boundary identification problems. Numer. Algorithms 33, 381–398 (2003)
Smoller, J.: Shock Waves and Reaction–Diffusion Equations. Springer, Berlin (1983)
Yang, F., Yan, L., Wei, T.: Reconstruction of the corrosion boundary for the Laplace equation by using a boundary collocation method. Math. Comput. Simul. 79, 2148–2156 (2009)
Acknowledgements
The authors would like to thank the anonymous reviewers for their careful work and comments that helped to improve the clarity of the paper.
Availability of data and materials
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
All of the authors contributed equally in writing this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
All the authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix 1: Derivative of nonlinear integral operator
In the following we state a useful formula. Let \(f(x,y,z)\) be a real function defined and of class \(C^{1}(D)\) in an open set D of \(\mathrm{R}^{3}\). To a function \(g\in C^{1}([a,b])\) we associated a function F defined by an integral
We consider the nonlinear operator
defined by the mapping \(g\rightarrow F\) between the Banach spaces \(V=C_{0}^{1}[a,b]\) and \(W=C[c,d]\). We can prove the theorem.
Theorem 6
\(\mathcal{F}\) is Fréchet differentiable. The derivative, in the direction w, \(Aw=D\mathcal{F}(g;w)\) is given by
Now we consider the case of the function \(F_{1}\) defined by
then \(A_{1}w=D\mathcal{F}_{1}(g;w)\) is given by
Appendix 2: Kernels of integral operators
We proceed with giving the expressions of the kernels of the nonlinear integral operators \(\mathcal{H}\) and \(\mathcal{H}^{\prime }\) and their derivatives. Following the definitions (44)–(46), we deduce the formulas
and
The Fréchet derivatives of the integral operators \(\mathcal{H}\) and \(\mathcal{H}^{\prime }\) with respect to h can be obtained by differentiating their kernels with respect to h (see (51)–(52)). More precisely, we have
and
with
and
In the previous equations we assume that \(h\in C^{1}[-a,a]\) and \(h(\pm a)=0\), hence \(q\in C^{1}[-a,a]\). For simplicity, we suppose in the differentiation that \(\omega (x^{\prime })\) is independent of h, i.e., depends on \(h_{0}\) of the previous step.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Khélifa, I., Chorfi, L. Direct and inverse problem for geometric perturbation of the Laplace operator in a strip. Bound Value Probl 2019, 132 (2019). https://doi.org/10.1186/s13661-019-1245-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-019-1245-6