Abstract
In this paper, we identify the unknown source which depends only on spatial variable for a fractional diffusion equation using the Fourier method. Not alike the previous literature, we propose to choose the regularization parameter by an a posteriori rule, with which we can obtain error estimate of Hölder type between the exact solution and the regularized approximation. Numerical simulations show that the proposed scheme is effective and stable.
MSC: 35R30, 47A52, 65M30, 65M32.
Similar content being viewed by others
1 Introduction
Nowadays, the study of fractional differential equations receives a lot of attention. The interest in fractional calculus and fractional differential equations has rapidly increased among engineers and scientists due to their vast potential of applications, including physical, chemical, mechanical engineering, signal processing and systems identification, biology systems, control theory, finance etc. In fact, it can be noticed that one of the most successful and concrete applications of fractional calculus and fractional differential equations is to effectively characterize the anomalous diffusion. It is well known that the ordinary diffusion process is intimately related to the validity of the central limit theorem, which is characterized by the linear dependence of the mean square displacement with the diffusion coefficient κ. However, some diffusion processes, especially in various complex systems, no longer follow Gaussian behavior. This phenomenon is named anomalous diffusion which is described by the nonlinear growth of the mean square displacement of a diffusion particle over time t: , where is the diffusion coefficient, and α is the anomalous diffusion exponent. For different α, the anomalous diffusion is classified into subdiffusion (), normal diffusion (), superdiffusion (), and ballistic diffusion () [1, 2]. And the Fick’s law is inevitable to be modified in order to precisely describe the anomalous diffusion behavior [3].
Much progress has been made for numerically solving space fractional partial differential equations [3–9]. Here, instead of further pursuing research in this direction, we discuss the space fractional inverse diffusion equation, i.e., to determine an unknown source, which depends only on the spatial variable, in the one-dimensional space fractional diffusion equation. Determination of an unknown source is obtaining the information about a physical object or system by observed datum, and it is one of the most important and well-studied problems in many branches of engineering sciences, e.g., heat conduction, crack identification, electromagnetic theory, geophysical prospecting and pollutant detection. For the heat source identification, there have been a large number of research results for different forms of heat source [10–17]. To the authors’ knowledge, there were few papers for identifying an unknown source for a fractional diffusion equation by the regularization method. In [18], the authors proved the uniqueness of the identification of the unknown source dependent only on spatial variable for the fractional diffusion equation in a bound domain. In [19], using the coupled method, the authors identified the unknown source for the spatial fractional diffusion equations. In [20], the authors identified the unknown source for the time fractional diffusion equation using the mollification method. In [21], the authors identified the unknown source dependent only on time variable in a time-fractional diffusion equation using the boundary element method. In [22], the authors identified the unknown source dependent only on spatial variable for the time-fractional diffusion equation using the Tikhonov regularization method and the simplified Tikhonov regularization method, respectively. In [23], the authors identified the unknown source dependent only on spatial variable for the time-fractional diffusion equation using the truncation regularization method.
In this paper, we consider the following inverse source problems of determining the unknown source term , in the following a Riesz-Feller space-fractional equation:
where the space-fractional derivative is the Riesz-Feller fractional derivative of order α () and skewness θ (, ) which is defined by the Fourier transform in [24], i.e., [25]
where
Moreover, from [24], the Riesz-Feller fractional derivative can be written as
where is a gamma function. However, for the convenience of numerical calculation, the Riesz-Feller fractional derivative can also be defined as follows (see [26]):
denotes the source term. Our purpose is to identify from the additional data . Since the data is based on (physical) observation, there must exist measurement errors, and we assume the measured data , which satisfies
where denotes -norm and the constant is a noise level.
The problem is ill-posed in the sense of Hadamard, i.e., small changes in the measured data can blow up the solution. The ill-posedness can be seen by solving the problem in the frequency domain. In order to analyze problem (1.1) in , we define
which is the Fourier transform of the function .
Using the Fourier transform, we obtain the solution of (1.1) as follows:
or equivalently,
Note that (, ) has a positive real part , the small error in the high-frequency components will be amplified by the factor as . The small disturbance for the data will be amplified infinitely by this factor and lead to the integral (1.7) blow-up. So identifying the unknown source from the measured data is severely ill-posed. Therefore, when we consider our problem in , the exact data function must decay fast. However, the measured data function , which is merely in , does not posses such a decay property in general. Thus if we try to obtain the unknown source , high frequency components in the error are magnified and can destroy the solution. It is impossible to solve problem (1.1) by using classical methods. In the following section, we will use the Fourier regularization method to deal with the ill-posed problem. Before doing that, we impose an a priori bound on the input data, i.e.,
where is a constant, denotes the norm in the Sobolev space defined by
In [27], the authors used the Fourier method to identify the unknown source which depends only on the spatial variable for the space-fractional diffusion equation, but the regularization parameter is an a priori choice rule. Generally speaking, there is a defect in any a priori methods; i.e., the a priori choice of the regularization parameter depends obviously on the a priori bound E of the unknown solution. But the a priori bound E cannot be known exactly in practice, and working with a wrong constant E may lead to the bad regularization solution. In the present paper, an a posteriori choice of the regularization parameter will be given. To the authors’ knowledge, there are few papers for choosing the regularization parameter by the a posteriori rule for this problem.
The Fourier regularization method has been studied for solving various types of inverse problems. Eldén et al. [28] used the truncation method to analyze and compute a one-dimensional inverse heat conduction problem. Xiong et al. [29] used it to consider the surface heat flux for the sideways heat equation. Fu et al. [30] used it to solve the backward heat conduction problem. Qian et al. [31] used it to consider the numerical differentiation. Regińska and Regiński [32] applied it to a Cauchy problem for the Helmholtz equation. Dou et al. [33] used it to identify the unknown heat source dependent only on spatial variable. Yang and Fu [34] used it to identify the unknown heat source dependent only on time variable. But in these papers, the regularization parameters were an a priori choice rule. In this paper, we will give the a posteriori choice rule for identifying the unknown source in the fractional diffusion equation.
The outline of the paper is as follows. Section 2 gives some auxiliary results, the Fourier regularization method and an a posteriori parameter choice rule. In Section 3, some numerical examples are proposed to show the effectiveness of this method. Section 4 puts an end to this paper with a brief conclusion.
2 An a posteriori regularization parameter choice rule for the Fourier method and convergence estimate
It is obvious that the ill-posedness of problem (1.1) is caused by disturbance of high frequencies. A natural way to stabilize problem (1.1) is to eliminate all high frequencies from the solution . We define a regularization approximation solution of problem (1.1) for noisy data as follows:
which is called the Fourier truncation regularized solution of problem (1.1), where is the characteristic function of the interval , i.e.,
and is a constant which will be selected appropriately as regularization parameter. We consider an a posteriori regularization parameter choice by the discrepancy principle. Choose the regularization parameter as the solution of the equation
where is defined by (2.2). To establish the existence and uniqueness of the solution for equation (2.3), we need the following lemma and remark.
Lemma 2.1 Let , then, for , the following hold:
-
(a)
is a continuous function;
-
(b)
;
-
(c)
;
-
(d)
is a strictly decreasing function.
The proof is very easy and we omit it here.
Remark 2.2 To establish the existence and uniqueness of the solution for equation (2.3), we always suppose .
To establish the error estimate for the a posteriori choice rule of the regularization parameter, we need the following lemmas.
Lemma 2.3 If , the following inequality holds:
Lemma 2.4 If , the following inequality holds:
Proof With the fact , we obtain
□
Lemma 2.5 If is the solution of Eq. (2.3), then the following inequality holds:
Proof Due to (1.8), we obtain
So
On the other hand, using the triangle inequality, (1.4) and (2.3), we obtain
So
Combining (2.8) with (2.9), we obtain
So
□
Lemma 2.6 If is the solution of Eq. (2.3), then the following inequality also holds:
Proof Due to (1.4) and (2.3), we obtain
□
Now we give the main result of this section.
Theorem 2.7 Suppose that conditions (1.4) and (1.8) hold and take the solution of Eq. (2.3) as the regularization parameter, then we have the following error estimate:
Proof Using the Parseval formula and the triangle inequality, we obtain
Using the Hölder inequality and (2.12), we obtain
So
Combining (1.4) with (2.4), we obtain
Using (2.7), we obtain
So
Combining (2.14) with (2.15), we obtain
The proof of Theorem 2.7 is completed. □
3 Several numerical examples
In this section, we present two numerical examples to verify the validity of the theoretical result of these methods. Moreover, we would like to compare numerical results of the a posteriori parameter choice (2.3) with one of the a priori parameter choice rules in [27].
The numerical examples were constructed in the following way: First we selected the exact solution and obtained the exact data function through solving the forward problems. Then we added a normally distributed perturbation to each data function and obtained vectors . Finally we obtained the regularization solution through solving the inverse problem. The bisection method is used to solve Eq. (2.3) with . In the following experiments, we choose .
Suppose that the sequence represents samples from the function on an equidistant grid, then we add a random uniform perturbation to each data, which forms the vector , i.e.,
where
The function ‘’ generates arrays of random numbers whose elements are normally distributed with mean 0, variance . ‘’ returns an array of random entries that is of the same size as g. The total noise level δ can be measured in the sense of root mean square error (RMSE) according to
The approximation of the regularization solution is computed by using the fast Fourier transform algorithm [28].
Example 1 Consider a piecewise smooth unknown source as follows:
Example 2 Consider the following discontinuous unknown source:
From Figures 1-8, we find that the smaller ε, the better the computed approximation is, and the smaller the α is, the better the computed approximation is. These are consistent with our theoretical analysis. Moreover, we can also easily find that the a posteriori parameter choice rule also works well. Finally, from Figures 1-8, it can be seen that the numerical solutions of Example 2 are less ideal than these of Example 1. It is not difficult to see that the well-known Gibbs phenomenon and the recovered data near the discontinuities points are not accurate.
4 Conclusions
In this paper, the Fourier method is used to identify the unknown source term depending only on the spatial variable for a Riesz-Feller space-fractional diffusion equation. We propose to choose the regularization parameter by an a posteriori rule using the discrepancy principle. The corresponding error estimate between the exact solution and the regularization solution is obtained. Numerical tests show that the proposed scheme is accurate, stable and convergent with respect to decreasing the amount of noise added into the data.
References
Metzler R, Klafter J: The random walk’s guide to anomalous diffusion: a fractional dynamics approach. Phys. Rep. 2000, 339: 1–77. 10.1016/S0370-1573(00)00070-3
Metzler R, Klafter J: The restaurant at the end of the random walk: recent developments in the description of anomalous transport by fractional dynamics. J. Phys. A, Math. Gen. 2004, 37: R161-R208. 10.1088/0305-4470/37/31/R01
Meerschaert MM, Tadjeran C: Finite difference approximations for fractional advection-dispersion flow equations. J. Comput. Appl. Math. 2003, 172: 65–77.
Chen MH, Deng WH: Fourth order accurate scheme for the space fractional diffusion equations. SIAM J. Numer. Anal. 2014,52(3):1418–1438. 10.1137/130933447
Chen MH, Deng WH: Fourth order difference approximations for space Riemann-Liouville derivatives based on weighted and shifted Lubich difference operators. Commun. Comput. Phys. 2014, 16: 516–540.
Chen MH, Deng WH, Wu YJ: Superlinearly convergent algorithms for the two-dimensional space-time Caputo-Riesz fractional diffusion equation. Appl. Numer. Math. 2013, 70: 22–41.
Ervin VJ, Heuer N, Roop JP: Numerical approximation of a time dependent, nonlinear, space-fractional diffusion equation. SIAM J. Numer. Anal. 2007, 45: 572–591. 10.1137/050642757
Liu F, Anh V, Turner I: Numerical solution of the space fractional Fokker-Planck equation. J. Comput. Appl. Math. 2004, 166: 209–219. 10.1016/j.cam.2003.09.028
Meerschaert MM, Tadjeran C: Finite difference approximations for two-sided space-fractional partial differential equations. Appl. Numer. Math. 2006, 56: 80–90. 10.1016/j.apnum.2005.02.008
Ahmadabadi MN, Arab M, Malek Ghaini FM: The method of fundamental solutions for the inverse space-dependent heat source problem. Eng. Anal. Bound. Elem. 2009, 33: 1231–1235. 10.1016/j.enganabound.2009.05.001
Cannon JR, Duchateau P: Structural identification of an unknown source term in a heat equation. Inverse Probl. 1998, 14: 535–551. 10.1088/0266-5611/14/3/010
Cheng W, Fu CL: Identifying an unknown source term in a spherically symmetric parabolic equation. Appl. Math. Lett. 2013, 26: 387–391. 10.1016/j.aml.2012.10.009
Farcas A, Lesnic D: The boundary-element method for the determination of a heat source dependent on one variable. J. Eng. Math. 2006, 54: 375–388. 10.1007/s10665-005-9023-0
Li GS: Data compatibility and conditional stability for an inverse source problem in the heat equation. Appl. Math. Comput. 2006, 173: 566–581. 10.1016/j.amc.2005.04.053
Liu FB: A modified genetic algorithm for solving the inverse heat transfer problem of estimating plan heat source. Int. J. Heat Mass Transf. 2008, 51: 3745–3752. 10.1016/j.ijheatmasstransfer.2008.01.002
Liu CH: A two-stage LGSM to identify time-dependent heat source through an internal measurement of temperature. Int. J. Heat Mass Transf. 2009, 52: 1635–1642. 10.1016/j.ijheatmasstransfer.2008.09.021
Ma YJ, Fu CL, Zhang YX: Identification of an unknown source depending on both time and space variables by a variational method. Appl. Math. Model. 2012, 36: 5080–5090. 10.1016/j.apm.2011.12.046
Zhang Y, Xu X: Inverse source problem for a fractional diffusion equation. Inverse Probl. 2011., 27: Article ID 035010
Wei H, Chen W, Sun HG, Li XC: A coupled method for inverse source problem of spatial fractional anomalous diffusion equations. Inverse Probl. Sci. Eng. 2010, 18: 945–956. 10.1080/17415977.2010.492515
Yang F, Fu CL: A mollification regularization method for the inverse spatial-dependent heat source problem. J. Comput. Appl. Math. 2014, 255: 555–567.
Wei T, Zhang ZQ: Reconstruction of a time-dependent source term in a time-fractional diffusion equation. Eng. Anal. Bound. Elem. 2013, 37: 23–31. 10.1016/j.enganabound.2012.08.003
Wang JG, Zhou YB, Wei T: Two regularization methods to identify a space-dependent source for the time-fractional diffusion equation. Appl. Numer. Math. 2013, 68: 39–57.
Zhang ZQ, Wei T: Identifying an unknown source in time-fractional diffusion equation by a truncation method. Appl. Math. Comput. 2013, 219: 5972–5983. 10.1016/j.amc.2012.12.024
Mainardi F, Luchko Y, Pagnini G: The fundamental solution of the space-time fractional diffusion equation. Fract. Calc. Appl. Anal. 2001, 4: 153–192.
Benson DA, Wheatcraft SW, Meerschaert MM: The fractional-order governing equation of Lévy motion. Water Resour. Res. 2000, 36: 1413–1423. 10.1029/2000WR900032
Gorenflo R, Mainardi F, Moretti D, Pagnini G, Paradisi P: Discrete random walk models for space-time fractional diffusion. Chem. Phys. 2002, 284: 521–541. 10.1016/S0301-0104(02)00714-0
Tian WY, Li C, Deng WH, Wu YJ: Regularization methods for unknown source in space fractional diffusion equation. Math. Comput. Simul. 2012, 85: 45–56.
Eldén L, Berntsson F, Regińska T: Wavelet and Fourier methods for solving the sideways heat equation. SIAM J. Sci. Comput. 2000, 21: 2187–2205. 10.1137/S1064827597331394
Xiong XT, Fu CL, Li HF: Fourier regularization method of a sideways heat equation for determining surface heat flux. J. Math. Anal. Appl. 2006, 317: 331–348. 10.1016/j.jmaa.2005.12.010
Fu CL, Xiong XT, Qian Z: Fourier regularization for a backward heat equation. J. Math. Anal. Appl. 2007, 331: 472–480. 10.1016/j.jmaa.2006.08.040
Qian Z, Fu CL, Xiong XT, Wei T: Fourier truncation method for high order numerical derivatives. Appl. Math. Comput. 2006, 181: 940–948. 10.1016/j.amc.2006.01.057
Regińska T, Regiński K: Approximate solution of a Cauchy problem for the Helmholtz equation. Inverse Probl. 2006, 22: 975–989. 10.1088/0266-5611/22/3/015
Dou FF, Fu CL, Yang FL: Optimal error bound and Fourier regularization for identifying an unknown source in the heat equation. J. Comput. Appl. Math. 2008, 230: 728–737.
Yang F, Fu CL: Two regularization methods to identify time-dependent heat source through an internal measurement of temperature. Math. Comput. Model. 2011, 53: 793–804. 10.1016/j.mcm.2010.10.016
Acknowledgements
The project is supported by the National Natural Science Foundation of China (No. 11171136, No. 11261032), the Distinguished Young Scholars Fund of Lan Zhou University of Technology (Q201015), the basic scientific research business expenses of Gansu province college and the Natural Science Foundation of Gansu province (1310RJYA021).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The main idea of this paper was proposed by FY and X-XL prepared the manuscript initially and performed all the steps of the proofs in this research. All authors read and approved the final manuscript.
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 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 https://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Li, XX., Lei, J.L. & Yang, F. An a posteriori Fourier regularization method for identifying the unknown source of the space-fractional diffusion equation. J Inequal Appl 2014, 434 (2014). https://doi.org/10.1186/1029-242X-2014-434
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029-242X-2014-434