Abstract
This paper deals with an inverse problem of identifying an unknown source which depends only on one variable in two-dimensional Poisson equation, with the aid of an extra measurement at an internal point. This problem is ill-posed, we proposed a regularization strategy, a wavelet dual least square method, to analyze the stability of the problem. Meanwhile, a numerical experiment is devised to verify the validity of the method.
MSC:35R40, 65J20.
Similar content being viewed by others
1 Introduction
Consider the following inverse problem: find a pair of functions satisfying
where is the unknown source depending only on one spatial variable and is the supplementary condition. In practical applications, the input data can only be measured. There will be measured data function which is merely in and satisfies
where the constant represents a noise level of input data. This problem is called the inverse problem of unknown source identification.
Inverse source identification problems are important in many branches of engineering sciences such as crack determination [1, 2], heat source determination [3], heat conduction problems [4, 5], electromagnetic theory [6]. This kind of problem arises in many important applications in practice, e.g., with the development of society and economics, groundwater pollution has become a serious threat to the environment. The government has to take some measures to prevent the groundwater from further contaminations. But the cost of cleanup for polluted aquifers is staggering, and in many cases it is hard to identify which companies are responsible for the contamination due to the lack of tools to discover the pollution sources. So, it is necessary to try to give more concrete information of the characteristics (location, magnitude, and duration of activity) of specific groundwater pollution sources (see [7]). As we know, most attempts at quantifying contaminant transport rely on mathematical methods. Since the data cannot be measured by direct ways in many cases, we are always encountering inverse problems of deciding unknown sources and aquifer parameters.
The investigation of the traditional inverse potential problem can be found in [8, 9]. The studies of such problems give a complete analysis of experimental data. In general, a full source f in (1.1) is not solely attainable from boundary measurements. The inverse source identification problem becomes solvable if some a priori knowledge is assumed. For instance, when one of the products in the separation of variables is known [7, 10], or the base area of a cylindrical source is known [10], or a non-separable type is in the form of a moving front [7], the boundary data g can then uniquely determine the unknown sources f. Furthermore, when both u and f are relatively smooth, some standard regularization techniques can be employed (see [11] for a more detailed overview).
Wavelet regularization methods have been studied for solving various types of inverse problems in the heat equation [12–16]. Eldén [12] and Regińska [13, 14], Xiong [15] used the wavelet Galerkin method and the wavelet method to approximate the sideways heat equation by Meyer wavelets, and Xiong [16] used the wavelet dual least squares method to approximate the BHCP by Shannon wavelets. In this work, by using Meyer wavelets, we obtain an explicit error estimate of Hölder type between the unknown source term and its approximation. Moreover, according to the general theory of regularization, we conclude that our estimate is order optimal.
In general, for an ill-posed problem, the convergence rates of the regularization solution can only be given under a priori assumptions on the exact data. We will formulate such an a priori assumption in terms of an exact solution by considering
where the denotes the Sobolev space -norm defined by
In order to formulate problem (1.1) in terms of an operator equation in the space , let A be the operator on X defined as follows:
Let
be the Fourier transform of the function . Problem (1.1) can now be formulated in a frequency space as follows:
By elementary calculations, the solution of problem (1.1) in the frequency space is given by
which shows that is the multiplication operator. In addition, is self-adjoint, i.e.,
2 Preliminaries
2.1 Dual least squares method
A general projection method for the operator equation , is generated by two subspace families and of X, and the approximate solution is defined to be the solution of the following problem:
where denotes the inner product in X. If and subspaces are chosen such that
then we have a special case of the projection method known as the dual least squares method. If is an orthogonal basis of and is the solution of the equation
then the approximate solution is explicitly given by the expression
2.2 Subspaces
In this section, we investigate some properties of the subspaces . A method for constructing the basis of the subspace is given. This method is different from [17] in that the function is not specific. The basis of cannot be explicitly obtained by dilations and integer translations of a function like the one in [17].
According to , the subspaces are spanned by , , where
Since is compact, the solution exists for any . Similarly, the solution of the adjoint problem is unique. Therefore, for a given , can be uniquely determined; furthermore,
As for some properties of , the results are similar to Lemma 3.2 of [17]. Here we omit it.
2.3 Meyer wavelets
The Meyer wavelet ψ is a function defined by its Fourier transform as follows [18]:
where is equal to 0 for , is equal to 1 for , and for . The corresponding scaling function ϕ is defined by
Let us list some notations: , , ; and for ; wavelet spaces ; some index sets (where is a fixed integer)
By successively decomposing the scaling space , and so on, we have , hence we can define the subspaces
Define an orthogonal projection :
then replace the in (2.4) by . We easily conclude
From the point of view of an application to problem (1.1), the important property of Meyer wavelets is the compactness of their support in the frequency space. Indeed, since
it follows that for any ,
From (2.11), can be seen as a low pass filter. The frequencies with greater than are filtered away.
3 Error estimates for the wavelet dual least square method
Theorem 3.1 If is the solution of problem (1.1) satisfying condition (1.3), then it holds that
Proof From (2.11), we have
By virtue of the Parseval relation, with the ’s compact support (2.13), there holds
The approximate solution for noisy data is explicitly given by
Now we will estimate the error . □
Theorem 3.2 If is noisy data satisfying condition (1.2), then for any fixed y, we have
Proof Using (2.4), (3.6), and (4.2), from the Parseval relation, we have
□
Theorem 3.3 If is the solution of problem (1.1) satisfying the condition , let be given by (3.2). If and is selected such that
then
Proof By the triangle inequality, we have
Combining Theorem 3.1 with Theorem 3.2, we obtain the convergence estimate of our method. □
4 Numerical tests
Example 1 It is easy to see that the function
and the function
satisfy problem (1.1) with exact data
We will do the numerical tests in the interval .
Suppose that the sequence represents samples from the function on an equidistant grid, and n is even, then we add a random uniformly distributed perturbation to each data, and obtain the perturbation data
where
Then the total noise δ can be measured in the sense of root mean square error according to
The computed errors are defined by
where , , are the test points. In computation, we take , denotes the regularization solution. In numerical tests, the regularization parameter α is selected by .
From Figures 1 and 2, we can conclude that the approximation effect of wavelet dual least square regularization for and .
References
Alves CJS, Abdallah JB, Jaoua M: Recovery of cracks using a point-source reciprocity gap function. Inverse Probl. Sci. Eng. 2004, 12(5):519-534.
Andrieux S, Ben Abda A: Identification of planar cracks by complete overdetermined data: inversion formulae. Inverse Probl. 1996, 12(5):553-563.
Barry JM: Heat source determination in waste rock dumps. In Papers from the 8th Biennial Conference Held at the University of Adelaide. World Scientific, River Edge; 1998:83-90, Adelaide, September 29-October 1, 1997
Frankel JI: Residual-minimization least-squares method for inverse heat conduction. Comput. Math. Appl. 1996, 32(4):117-130.
Kriegsmann GA, Olmstead WE: Source identification for the heat equation. Appl. Math. Lett. 1988, 1(3):241-245.
Magnoli N, Viano GA: The source identification problem in electromagnetic theory. J. Math. Phys. 1997, 38(5):2366-2388.
Kriegsmann GA, Olmstead WE: Source identification for the heat equation. Appl. Math. Lett. 1988, 1(3):241-245.
Anikonov YE, Bubnov BA, Erokhin GN Inverse and Ill-Posed Problems Series. In Inverse and Ill-Posed Sources Problems. VSP, Utrecht; 1997.
Isakov V Mathematical Surveys and Monographs 34. In Inverse Source Problems. Am. Math. Soc., Providence; 1990.
Badia AE, Ha Duong T: Some remarks on the problem of source identification from boundary measurements. Inverse Probl. 1998, 14(4):883-891.
Engl HW, Hanke M, Neubauer A Mathematics and Its Applications 375. In Regularization of Inverse Problems. Kluwer Academic, Dordrecht; 1996.
Eldén L, Berntsson F, Regińska T: Wavelet and Fourier methods for solving the sideways heat equation. J. Sci. Comput. 2000, 21: 2187-2205.
Ling L, Yamamoto M, Hon YC, Takeuchi T: Identification of source locations in two-dimensional heat equations. Inverse Probl. 2006, 22: 1289-1305.
Regińska T: Sideways heat equation and wavelets. J. Comput. Appl. Math. 1995, 63: 209-214.
Xiong XT, Fu CL: Determining surface temperature and heat flux by a wavelet dual least squares method. J. Comput. Appl. Math. 2007, 201: 198-207.
Xiong XT, Fu CL: Error estimates on a backward heat equation by a wavelet dual least squares method. Int. J. Wavelets Multiresolut. Inf. Process. 2007, 5: 389-397.
Regińska T: Application of wavelet shrinkage to solving the sideways heat equation. BIT Numer. Math. 2001, 41(5):1101-1110.
Daubechies I CBMS-NSF Regional Conference Series in Applied Mathematics. In Ten Lectures on Wavelets. SIAM, Philadelphia; 1992.
Acknowledgements
The author was supported by the Natural Science Foundation of Hubei Province of China (2012FFC14001) and Educational Commission of Hubei Province of China (D20132805).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author did not provide this information.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Qian, Al. Identifying an unknown source in the Poisson equation by a wavelet dual least square method. Bound Value Probl 2013, 267 (2013). https://doi.org/10.1186/1687-2770-2013-267
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-2770-2013-267