Numerical solution and distinguishability in time fractional parabolic equation
- Ali Demir^{1},
- Fatma Kanca^{2} and
- Ebru Ozbilge^{3}Email author
Received: 23 March 2015
Accepted: 28 July 2015
Published: 16 August 2015
Abstract
This article deals with the mathematical analysis of the inverse problem of identifying the distinguishability of input-output mappings in the linear time fractional inhomogeneous parabolic equation \(D_{t}^{\alpha}u(x,t)=(k(x)u_{x})_{x}+r(t)F(x,t)\), \(0<\alpha\leq 1\), with mixed boundary conditions \(u(0,t)=\psi_{0}(t)\), \(u_{x}(1,t)=\psi_{1}(t)\). By defining the input-output mappings \(\Phi[\cdot]:\mathcal{K}\rightarrow C^{1}[0,T]\) and \(\Psi[\cdot]:\mathcal{K}\rightarrow C[0,T]\) the inverse problem is reduced to the problem of their invertibility. Hence, the main purpose of this study is to investigate the distinguishability of the input-output mappings \(\Phi[\cdot]\) and \(\Psi[\cdot]\). Moreover, the measured output data \(f(t)\) and \(h(t)\) can be determined analytically by a series representation, which implies that the input-output mappings \(\Phi[\cdot]:\mathcal{K}\rightarrow C^{1}[0,T]\) and \(\Psi[\cdot]:\mathcal{K}\rightarrow C[0,T]\) can be described explicitly, where \(\Phi[r]=k(x)u_{x}(x,t;r)|_{x=0}\) and \(\Psi [r]=u(x,t;r)|_{x=1}\). Also, numerical tests using finite difference scheme combined with an iterative method are presented.
1 Introduction
The inverse problem of unknown source function in a linear inhomogeneous parabolic equation by using over-measured data has generated an increasing amount of interest from engineers and scientist during the last few decades. This kind of problems play a crucial role in engineering, physics and applied mathematics. The problem of recovering an unknown source function in the mathematical model of a physical phenomenon is frequently encountered. Intensive study has been carried out on this kind of problem, and various inverse problems and many numerical methods developed. In papers [1–3] a coupled method for inverse source problem of spatial fractional anomalous diffusion equations and a boundary-type collocation method for inverse Cauchy inhomogeneous potential problems were considered. The inverse problem of an unknown coefficient in quasi-linear parabolic equations was studied by Demir and Ozbilge [4, 5]. Moreover, the existence and uniqueness of solutions for fractional differential equations with nonlocal and integral boundary conditions were studied by Ashyralyev and Sharifov [6]. Initial boundary-value problems for the one-dimensional time fractional diffusion equation were studied by Amanov and Ashyralyev in [7], the finite difference method for fractional parabolic equations with Neumann boundary conditions was studied by Ashyralyev and Cakir in [8], numerical solution of a fractional Schrodinger differential equation with the Dirichlet boundary condition was studied by Ashyralyev and Hicdurmaz in [9]. Moreover, Ashyralyev and Dal studied finite difference methods and iteration methods for fractional hyperbolic partial differential equations with the Neumann condition in [10]. Second order implicit finite difference schemes were applied to the right-hand side of the identification problem by Erdogan and Ashyralyev [11].
Fractional differential equations are generalizations of ordinary and partial differential equations to an arbitrary fractional order. By a linear time-fractional parabolic equation we mean certain parabolic-like partial differential equation governed by master equations containing fractional derivatives in time [12, 13]. The research areas of fractional differential equations range from theoretical to applied aspects.
An inverse time independent source problem for a fractional diffusion equation is studied and analytical solution can be obtained based on the method of the eigenfunction expansion. Moreover, the uniqueness of the inverse problem is established by analytic continuation and Laplace transform. The efficiency and accuracy of the proposed computational method are supported by the numerical examples [14]. A time dependent inverse source problem with additional measurement data at an inner point for the fractional diffusion equation is investigated and stable and accurate numerical approximation is obtained by means of the boundary element method and the first order Tikhonov regularization. Results are verified by the numerical examples [15].
In this paper, the mathematical analysis of a time dependent inverse source problem with additional measurement data at a boundary point for the fractional diffusion equation is done. The distinguishability of the input-output mappings is investigated and the measured output data \(f(t)\) and \(h(t)\) can be constructed, which leads to the explicit form of the input-output mappings. It is shown that the distinguishability of the input-output mappings holds, which implies the injectivity of the inverse mappings \(\Phi^{-1}\) and \(\Psi^{-1}\).
Since fractional derivatives are necessarily nonlocal, the sensible models of nonlocal phenomena are made by means of them. In the modeling of the anomalous diffusion in porous media, the best approach was made by the use of the fractional derivatives since it includes the nonlocal phenomena and the anomalous behaviors can be governed by the derivative order. The analysis of the time-fractional porous medium equation was given in [16, 17], and a sensible model for the anomalous diffusion in porous medium equation was shown.
The main goal of this study is to investigate the distinguishability of the unknown source function via input-output mappings in a one-dimensional time fractional inhomogeneous parabolic equation. We first obtain the unique solution of this problem using the Fourier method of separation of variables with respect to the eigenfunctions of the corresponding Sturm-Liouville eigenvalue problem under certain conditions [18]. As the next step, the noisy free measured output data \(f(t)\) and \(h(t)\) are used to introduce the input-output mappings \(\Phi[\cdot]:\mathcal{K}\rightarrow C^{1}[0,T]\) and \(\Psi[\cdot]:\mathcal{K}\rightarrow C[0,T]\), where \(\mathcal{K}\) represents the set of admissible source functions. The set of admissible source functions \(\mathcal{K}\) includes all functions \(r(t)\) such that problem (1) has a solution. Finally, we investigate the distinguishability of the unknown function \(r(t)\) via the above input-output mappings \(\Phi[\cdot]\) and \(\Psi[\cdot]\).
- (C1)
\(k(x)\in C^{1}[0,1]\),
- (C2)
\(g(x)\in C^{2}[0,1]\), \(g(0)=\psi_{0}(0)\), \(g^{\prime}(1)=\psi _{1}(0)\).
Under these conditions, the initial boundary value problem (1) has the unique solution \(u(x,t)\) defined in the domain \(\overline{\Omega }_{T}=\{(x,t)\in R^{2}: 0\leq x\leq1, 0\leq t\leq T\}\) which belongs to the space \(C(\overline{\Omega}_{T})\cap W_{t}^{1}(0,T]\cap C_{x}^{2}(0,1)\). Moreover, it satisfies the equation, initial and boundary conditions. Note that the space \(W_{t}^{1}(0,T]\) contains the functions \(f\in C^{1}(0,T]\) such that \(f^{\prime}(x)\in L(0,T)\).
The paper is organized as follows. In Section 2, analysis of the inverse problem with the single measured output data \(f(t)\) at the boundary \(x=0\) is given. Analysis of the inverse problem with the single measured output data \(h(t)\) at the boundary \(x=1\) is considered in Section 3. Numerical procedure and an example are given in Section 4. Finally, some concluding remarks are given in the last section.
2 Analysis of the inverse problem with given measured data \(f(t)\)
Lemma 1
Proof
The lemma and the definitions enable us to reach the following conclusion.
Corollary 1
Since \(\phi_{n}(x)\), \(\forall n=0,1,2,\ldots\) , form a basis for the space and \(\phi_{n}^{\prime}(0) \neq0\), \(\forall n=0,1,2,\ldots \) , then \(r_{1}(t)\neq r_{2}(t)\) implies that \(\langle r_{1}(t)-r_{2}(t),\phi _{n}(x)\rangle\neq0\) at least for some \(n \in\mathcal{N}\). Hence by Lemma 1 we conclude that \(f_{1}(t)\neq f_{2}(t)\), which leads us to the following consequence: \(\Phi[r_{1}]\neq\Phi[r_{2}]\) implies that \(r_{1}(t)\neq r_{2}(t)\).
Theorem 1
Proof
From the above explanations the proof of the theorem is clear. □
3 Analysis of the inverse problem with given measured data \(h(t)\)
Lemma 2
Proof
Corollary 2
Since \(\phi_{n}(x)\), \(\forall n=0,1,2,\ldots\) , form a basis for the space and \(\phi_{n}^{\prime}(0) \neq0\), \(\forall n=0,1,2,\ldots \) , then \(r_{1}(t)\neq r_{2}(t)\) implies that \(\langle r_{1}(t)-r_{2}(t),\phi _{n}(x)\rangle\neq0\) at least for some \(n \in\mathcal{N}\). Hence by Lemma 2 we conclude that \(h_{1}(t)\neq h_{2}(t)\), which leads us to the following consequence: \(\Psi[r_{1}]\neq\Psi[r_{2}]\) implies that \(r_{1}(t)\neq r_{2}(t)\).
Theorem 2
Proof
From the above explanations the proof of the theorem is clear. □
4 Numerical procedure
The system of equations (14)-(17) can be solved by the Gauss elimination method and \(u_{i}^{j(s)}\) is determined. If the difference of values between two iterations reaches the prescribed tolerance, the iteration is stopped and we accept the corresponding values \(r^{j(s)}\), \(u_{i}^{j(s)}\) (\(i=1,2,\ldots,N_{x}\)) as \(r^{j}\), \(u_{i}^{j}\) (\(i=1,2,\ldots ,N_{x}\)), on the \((j)\)th time step, respectively. In virtue of this iteration, we can move from level j to level \(j+1\).
Example 1
The exact solution of this problem is \(\{ r(t),u(x,t) \} = \{ t^{2},t^{3}\sin\frac{\pi}{2}x \} \).
From these figures it can be seen that the agreement between the numerical and exact solutions for \(r(t)\) and \(u(x,T)\) is excellent.
Example 2
5 Some discussions
In the previous section, in Example 1, the man-made noise in the measured output data is added to show the stability of the numerical method. From Figures 3, 4 and 5 it can be seen that the results are quite stable for small noise in the input data. Also in Example 2, a discontinuous source function is given to show the efficiency of the present method. From Figure 6 it can be seen that the agreement between the numerical and exact solutions for \(r(t)\) is excellent.
6 Conclusion
The aim of this study was to investigate the distinguishability properties of the input-output mappings \(\Phi [\cdot]:\mathcal{K}\rightarrow C[0,T]\) and \(\Psi[\cdot]:\mathcal {K}\rightarrow C^{1}[0,T]\), which are determined by the measured output data at \(x=0\) and \(x=1\), respectively. In this study, we conclude that the distinguishability of the input-output mappings holds, which implies the injectivity of the inverse mappings \(\Phi^{-1}\) and \(\Psi^{-1}\). The measured output data \(f(t)\) and \(h(t)\) are obtained analytically by a series representation, which leads to the explicit form of the input-output mappings \(\Phi[\cdot]\) and \(\Psi[\cdot]\). This work advances our understanding of the use of the Fourier method of separation of variables and the input-output mapping in the investigation of inverse problems for fractional parabolic equations. The author plans to consider various fractional inverse problems in future studies since the method discussed has a wide range of applications.
Declarations
Acknowledgements
The research was supported in parts by the Scientific and Technical Research Council (TUBITAK) of Turkey, Izmir University of Economics, Kocaeli University and Kadir Has University.
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.
Authors’ Affiliations
References
- Wei, H, Chen, W, Sun, H, Li, X: A coupled method for inverse source problem of spatial fractional anomalous diffusion equations. Inverse Probl. Sci. Eng. 18(7), 945-956 (2010) MATHMathSciNetView ArticleGoogle Scholar
- Chen, W, Fu, ZJ: Boundary particle method for inverse Cauchy problems of inhomogeneous Helmholtz equations. J. Mar. Sci. Technol. 17(3), 157-163 (2009) Google Scholar
- Fu, ZJ, Chen, W, Zhang, CZ: Boundary particle method for Cauchy inhomogeneous potential problems. Inverse Probl. Sci. Eng. 20(2), 189-207 (2012) MATHMathSciNetView ArticleGoogle Scholar
- Demir, A, Ozbilge, E: Analysis of a semigroup approach in the inverse problem of identifying an unknown coefficient. Math. Methods Appl. Sci. 31, 1635-1645 (2008) MATHMathSciNetView ArticleGoogle Scholar
- Demir, A, Ozbilge, E: Semigroup approach for identification of the unknown coefficient in a quasi-linear parabolic equation. Math. Methods Appl. Sci. 30, 1283-1294 (2007) MathSciNetView ArticleGoogle Scholar
- Ashyralyev, A, Sharifov, Y: Existence and uniqueness of solutions for the system of nonlinear fractional differential equations with nonlocal and integral boundary conditions. Abstr. Appl. Anal. 2012, 594802 (2012) MathSciNetGoogle Scholar
- Amanov, D, Ashyralyev, A: Initial-boundary value problem for fractional partial differential equations of higher order. Abstr. Appl. Anal. 2012, 9733102 (2012) MathSciNetView ArticleGoogle Scholar
- Ashyralyev, A, Cakir, Z: FDM for fractional parabolic equations with the Neumann condition. Adv. Difference Equ. 2013, 120 (2013) MathSciNetView ArticleGoogle Scholar
- Ashyralyev, A, Hicdurmaz, B: On the numerical solution of fractional Schrodinger differential equations with the Dirichlet condition. Int. J. Comput. Math. 89, 1927-1936 (2012) MathSciNetView ArticleGoogle Scholar
- Ashyralyev, A, Dal, F: Finite difference and iteration methods for fractional hyperbolic partial differential equations with the Neumann condition. Discrete Dyn. Nat. Soc. 2012, 434976 (2012) MathSciNetGoogle Scholar
- Erdogan, AS, Ashyralyev, A: On the second order implicit difference schemes for a right hand side identification problem. Appl. Math. Comput. 226, 212-229 (2014) MATHMathSciNetView ArticleGoogle Scholar
- Renardy, M, Rogers, RC: An Introduction to Partial Differential Equations. Springer, New York (2004) MATHGoogle Scholar
- Showalter, RE: Monotone Operators in Banach Spaces and Nonlinear Partial Differential Equations. Am. Math. Soc., Providence (1997) Google Scholar
- Zhang, Y, Xiang, X: Inverse source problem for a fractional diffusion equation. Inverse Probl. 27(3), 035010 (2011) View ArticleGoogle Scholar
- Wei, T, Zhang, ZQ: Reconstruction of a time-dependent source term in a time-fractional diffusion equation. Eng. Anal. Bound. Elem. 37(1), 23-31 (2013) MATHMathSciNetView ArticleGoogle Scholar
- Plociniczak, L: Approximation of the Erdelyi-Kober operator with application to the time-fractional porous medium equation. SIAM J. Appl. Math. 74(4), 1219-1237 (2014) MATHMathSciNetView ArticleGoogle Scholar
- Plociniczak, L: Analytical studies of a time-fractional porous medium equation. Derivation, approximation and applications. Commun. Nonlinear Sci. Numer. Simul. 24(1), 169-183 (2015) MathSciNetView ArticleGoogle Scholar
- Luchko, Y: Initial boundary value problems for the one dimensional time-fractional diffusion equation. Fract. Calc. Appl. Anal. 15, 141-160 (2012) MATHMathSciNetView ArticleGoogle Scholar
- Ashyralyev, A: A note on fractional derivatives and fractional powers of operators. J. Math. Anal. Appl. 357, 232-236 (2009) MathSciNetView ArticleGoogle Scholar