American Institute of Mathematical Sciences

Advanced
October  2017, 11(5): 875-900. doi: 10.3934/ipi.2017041

An undetermined time-dependent coefficient in a fractional diffusion equation

Zhidong Zhang

Department of Mathematics, Texas A & M University, College Station, TX 77843-3368, USA

Received  July 2016 Revised  October 2016 Published  July 2017

Fund Project: The author is supported by NSF Grant DMS-1620138.

In this work, we consider a FDE (fractional diffusion equation)
$^{C}D_{t}^{\alpha } u(x,t)-a(t)\mathcal{L} u(x,t)=F(x,t)$
with a time-dependent diffusion coefficient
$a(t)$
. This is an extension of [13], which deals with this FDE in one-dimensional space. For the direct problem, given an
$a(t),$
 we establish the existence, uniqueness and some regularity properties with a more general domain
$Ω$
 and right-hand side
$F(x,t)$
. For the inverse problem–recovering
$a(t),$
 we introduce an operator
$K$
 one of whose fixed points is
$a(t)$
 and show its monotonicity, uniqueness and existence of its fixed points. With these properties, a reconstruction algorithm for
$a(t)$
 is created and some numerical results are provided to illustrate the theories.
Keywords: Fractional diffusion, fractional inverse problem, uniqueness, existence, monotonicity, iteration algorithm.
Mathematics Subject Classification: 35R11, 35R30, 65M32.
Citation: Zhidong Zhang. An undetermined time-dependent coefficient in a fractional diffusion equation. Inverse Problems & Imaging, 2017, 11 (5) : 875-900. doi: 10.3934/ipi.2017041
References:
[1]

L. C. Evans, Partial Differential Equations vol. 19 of Graduate Studies in Mathematics, 2nd edition, American Mathematical Society, Providence, RI, 2010. doi: 10.1090/gsm/019.  Google Scholar

[2]

R. Gorenflo and F. Mainardi, Fractional calculus: Integral and differential equations of fractional order, in Fractals and fractional calculus in continuum mechanics (Udine, 1996), vol. 378 of CISM Courses and Lectures, Springer, Vienna, 1997,223–276.  Google Scholar

[3]

B. Jin, R. Lazarov and Z. Zhou, An analysis of the L1 scheme for the subdiffusion equation with nonsmooth data, IMA J. Numer. Anal., 36 (2016), 197-221.  doi: 10.1093/imanum/dru063.  Google Scholar

[4]

B. Jin and W. Rundell, An inverse problem for a one-dimensional time-fractional diffusion problem Inverse Problems 28 (2012), 075010, 19pp. doi: 10.1088/0266-5611/28/7/075010.  Google Scholar

[5]

A. A. Kilbas, H. M. Srivastava and J. J. Trujillo, Theory and Applications of Fractional Differential Equations vol. 204 of North-Holland Mathematics Studies, Elsevier Science B. V., Amsterdam, 2006.  Google Scholar

[6]

Y. Lin and C. Xu, Finite difference/spectral approximations for the time-fractional diffusion equation, J. Comput. Phys., 225 (2007), 1533-1552.  doi: 10.1016/j.jcp.2007.02.001.  Google Scholar

[7]

Y. Luchko, Maximum principle for the generalized time-fractional diffusion equation, J. Math. Anal. Appl., 351 (2009), 218-223.  doi: 10.1016/j.jmaa.2008.10.018.  Google Scholar

[8]

K. S. Miller and S. G. Samko, Completely monotonic functions, Integral Transform. Spec. Funct., 12 (2001), 389-402.  doi: 10.1080/10652460108819360.  Google Scholar

[9]

H. Pollard, The completely monotonic character of the Mittag-Leffler function $E_a(-x)$, Bull. Amer. Math. Soc., 54 (1948), 1115-1116.  doi: 10.1090/S0002-9904-1948-09132-7.  Google Scholar

[10]

K. Sakamoto and M. Yamamoto, Initial value/boundary value problems for fractional diffusion-wave equations and applications to some inverse problems, J. Math. Anal. Appl., 382 (2011), 426-447.  doi: 10.1016/j.jmaa.2011.04.058.  Google Scholar

[11]

S. G. Samko, A. A. Kilbas and O. I. Marichev, Fractional Integrals and Derivatives Gordon and Breach Science Publishers, Yverdon, 1993, Theory and applications, Edited and with a foreword by S. M. Nikol'skiĭ, Translated from the 1987 Russian original, Revised by the authors.  Google Scholar

[12]

W. R. Schneider, Completely monotone generalized Mittag-Leffler functions, Exposition. Math., 14 (1996), 3-16.   Google Scholar

[13]

Z. Zhang, An undetermined coefficient problem for a fractional diffusion equation Inverse Problems 32 (2016), 015011, 21pp. doi: 10.1088/0266-5611/32/1/015011.  Google Scholar

show all references

References:
[1]

L. C. Evans, Partial Differential Equations vol. 19 of Graduate Studies in Mathematics, 2nd edition, American Mathematical Society, Providence, RI, 2010. doi: 10.1090/gsm/019.  Google Scholar

[2]

R. Gorenflo and F. Mainardi, Fractional calculus: Integral and differential equations of fractional order, in Fractals and fractional calculus in continuum mechanics (Udine, 1996), vol. 378 of CISM Courses and Lectures, Springer, Vienna, 1997,223–276.  Google Scholar

[3]

B. Jin, R. Lazarov and Z. Zhou, An analysis of the L1 scheme for the subdiffusion equation with nonsmooth data, IMA J. Numer. Anal., 36 (2016), 197-221.  doi: 10.1093/imanum/dru063.  Google Scholar

[4]

B. Jin and W. Rundell, An inverse problem for a one-dimensional time-fractional diffusion problem Inverse Problems 28 (2012), 075010, 19pp. doi: 10.1088/0266-5611/28/7/075010.  Google Scholar

[5]

A. A. Kilbas, H. M. Srivastava and J. J. Trujillo, Theory and Applications of Fractional Differential Equations vol. 204 of North-Holland Mathematics Studies, Elsevier Science B. V., Amsterdam, 2006.  Google Scholar

[6]

Y. Lin and C. Xu, Finite difference/spectral approximations for the time-fractional diffusion equation, J. Comput. Phys., 225 (2007), 1533-1552.  doi: 10.1016/j.jcp.2007.02.001.  Google Scholar

[7]

Y. Luchko, Maximum principle for the generalized time-fractional diffusion equation, J. Math. Anal. Appl., 351 (2009), 218-223.  doi: 10.1016/j.jmaa.2008.10.018.  Google Scholar

[8]

K. S. Miller and S. G. Samko, Completely monotonic functions, Integral Transform. Spec. Funct., 12 (2001), 389-402.  doi: 10.1080/10652460108819360.  Google Scholar

[9]

H. Pollard, The completely monotonic character of the Mittag-Leffler function $E_a(-x)$, Bull. Amer. Math. Soc., 54 (1948), 1115-1116.  doi: 10.1090/S0002-9904-1948-09132-7.  Google Scholar

[10]

K. Sakamoto and M. Yamamoto, Initial value/boundary value problems for fractional diffusion-wave equations and applications to some inverse problems, J. Math. Anal. Appl., 382 (2011), 426-447.  doi: 10.1016/j.jmaa.2011.04.058.  Google Scholar

[11]

S. G. Samko, A. A. Kilbas and O. I. Marichev, Fractional Integrals and Derivatives Gordon and Breach Science Publishers, Yverdon, 1993, Theory and applications, Edited and with a foreword by S. M. Nikol'skiĭ, Translated from the 1987 Russian original, Revised by the authors.  Google Scholar

[12]

W. R. Schneider, Completely monotone generalized Mittag-Leffler functions, Exposition. Math., 14 (1996), 3-16.   Google Scholar

[13]

Z. Zhang, An undetermined coefficient problem for a fractional diffusion equation Inverse Problems 32 (2016), 015011, 21pp. doi: 10.1088/0266-5611/32/1/015011.  Google Scholar

Figure 1.  Experiment (a1): the initial guess and first three iterations
Figure Options

Download full-size image

Download as PowerPoint slide

Figure 2.  Experiment (a1): the exact and approximate coefficients for $\alpha=0.9$ and $\epsilon_0=10^{-6}$
Figure Options

Download full-size image

Download as PowerPoint slide

Figure 3.  the amounts of iterations $N$ for different $\alpha$
Figure Options

Download full-size image

Download as PowerPoint slide

Figure 4.  $\|a-\overline{a}_N\|_{L^2[0, T]}$ for different $\epsilon_0$ under $\alpha=0.9$
Figure Options

Download full-size image

Download as PowerPoint slide

Figure 5.  Experiment (a2): the initial guess and first three iterations
Figure Options

Download full-size image

Download as PowerPoint slide

Figure 6.  Experiment (a2): the exact and approximate coefficients for $\alpha=0.9$ and $\epsilon_0=10^{-6}$
Figure Options

Download full-size image

Download as PowerPoint slide

Figure 7.  Experiment (a1): the exact and approximate coefficients with $\alpha=0.9, $ $\epsilon_0=10^{-6}$ and $\delta=3\%$
Figure Options

Download full-size image

Download as PowerPoint slide

Figure 8.  Experiment (a2): the exact and approximate coefficients with $\alpha=0.9, $ $\epsilon_0=10^{-6}$ and $\delta=3\%$
Figure Options

Download full-size image

Download as PowerPoint slide

Figure 9.  $\|a-\overline{a}_{\delta, N}\|_{L^2[0, T]}/\|a\|_{L^2[0, T]}$ for different $\delta$ under $\alpha=0.9$ and $\epsilon_0=10^{-6}$
Figure Options

Download full-size image

Download as PowerPoint slide

Figure 10.  Experiment (a1) in two dimensional case
Figure Options

Download full-size image

Download as PowerPoint slide

Figure 11.  Experiment (a2) in two dimensional case
Figure Options

Download full-size image

Download as PowerPoint slide

Table 1.  Numerical Algorithm
Iteration algorithm to recover the coefficient $a(t)$
1: Set up the right-hand side function $F(x,t)$ and the initial condition $u_0(x)$, then measure the output flux data $g(t).$ $F$, $u_0$ and $g$ should satisfy Assumption 4.1;
2: Set the initial guess as $\overline{a}_0(t)=g(t)\Big[\frac{\partial u_0}{\partial \mathbf{\vec{n}}}(x_0) + I_{t}^{\alpha }[\frac{\partial F}{\partial \mathbf{\vec{n}}}(x_0,t)]\Big]^{-1};$
3: for k = 1, ..., N do
4: Using the L1 time-stepping [13] to compute $u(x,t;\overline{a}_{k-1})$, which is the weak solution of FDE (1) with coefficient function $\overline{a}_{k-1}$;
5: Update the coefficient $\overline{a}_{k-1}$ by $ \overline{a}_{k}=K\overline{a}_{k-1};$
6: Check stopping criterion $\|\overline{a}_{k}- \overline{a}_{k-1}\|_{L^2[0,T]}\le \epsilon_0$ for some $\epsilon_0>0$;
7: end for
8: output the approximate coefficient function $\overline{a}_{N}$.
Table Options

Download as excel

Iteration algorithm to recover the coefficient $a(t)$
1: Set up the right-hand side function $F(x,t)$ and the initial condition $u_0(x)$, then measure the output flux data $g(t).$ $F$, $u_0$ and $g$ should satisfy Assumption 4.1;
2: Set the initial guess as $\overline{a}_0(t)=g(t)\Big[\frac{\partial u_0}{\partial \mathbf{\vec{n}}}(x_0) + I_{t}^{\alpha }[\frac{\partial F}{\partial \mathbf{\vec{n}}}(x_0,t)]\Big]^{-1};$
3: for k = 1, ..., N do
4: Using the L1 time-stepping [13] to compute $u(x,t;\overline{a}_{k-1})$, which is the weak solution of FDE (1) with coefficient function $\overline{a}_{k-1}$;
5: Update the coefficient $\overline{a}_{k-1}$ by $ \overline{a}_{k}=K\overline{a}_{k-1};$
6: Check stopping criterion $\|\overline{a}_{k}- \overline{a}_{k-1}\|_{L^2[0,T]}\le \epsilon_0$ for some $\epsilon_0>0$;
7: end for
8: output the approximate coefficient function $\overline{a}_{N}$.
[1]

Jaan Janno, Kairi Kasemets. Uniqueness for an inverse problem for a semilinear time-fractional diffusion equation. Inverse Problems & Imaging, 2017, 11 (1) : 125-149. doi: 10.3934/ipi.2017007
[2]

Kenichi Sakamoto, Masahiro Yamamoto. Inverse source problem with a final overdetermination for a fractional diffusion equation. Mathematical Control & Related Fields, 2011, 1 (4) : 509-518. doi: 10.3934/mcrf.2011.1.509
[3]

Nguyen Huy Tuan, Mokhtar Kirane, Long Dinh Le, Van Thinh Nguyen. On an inverse problem for fractional evolution equation. Evolution Equations & Control Theory, 2017, 6 (1) : 111-134. doi: 10.3934/eect.2017007
[4]

Zhousheng Ruan, Sen Zhang, Sican Xiong. Solving an inverse source problem for a time fractional diffusion equation by a modified quasi-boundary value method. Evolution Equations & Control Theory, 2018, 7 (4) : 669-682. doi: 10.3934/eect.2018032
[5]

Atsushi Kawamoto. Hölder stability estimate in an inverse source problem for a first and half order time fractional diffusion equation. Inverse Problems & Imaging, 2018, 12 (2) : 315-330. doi: 10.3934/ipi.2018014
[6]

Matteo Bonforte, Yannick Sire, Juan Luis Vázquez. Existence, uniqueness and asymptotic behaviour for fractional porous medium equations on bounded domains. Discrete & Continuous Dynamical Systems - A, 2015, 35 (12) : 5725-5767. doi: 10.3934/dcds.2015.35.5725
[7]

Tingzhi Cheng. Monotonicity and symmetry of solutions to fractional Laplacian equation. Discrete & Continuous Dynamical Systems - A, 2017, 37 (7) : 3587-3599. doi: 10.3934/dcds.2017154
[8]

Lingwei Ma, Zhenqiu Zhang. Monotonicity for fractional Laplacian systems in unbounded Lipschitz domains. Discrete & Continuous Dynamical Systems - A, 2020  doi: 10.3934/dcds.2020268
[9]

Hao Yang, Fuke Wu, Peter E. Kloeden. Existence and approximation of strong solutions of SDEs with fractional diffusion coefficients. Discrete & Continuous Dynamical Systems - B, 2019, 24 (10) : 5553-5567. doi: 10.3934/dcdsb.2019071
[10]

Begoña Barrios, Leandro Del Pezzo, Jorge García-Melián, Alexander Quaas. A Liouville theorem for indefinite fractional diffusion equations and its application to existence of solutions. Discrete & Continuous Dynamical Systems - A, 2017, 37 (11) : 5731-5746. doi: 10.3934/dcds.2017248
[11]

Patrizia Pucci, Mingqi Xiang, Binlin Zhang. A diffusion problem of Kirchhoff type involving the nonlocal fractional p-Laplacian. Discrete & Continuous Dynamical Systems - A, 2017, 37 (7) : 4035-4051. doi: 10.3934/dcds.2017171
[12]

Qing Tang. On an optimal control problem of time-fractional advection-diffusion equation. Discrete & Continuous Dynamical Systems - B, 2020, 25 (2) : 761-779. doi: 10.3934/dcdsb.2019266
[13]

Junxiong Jia, Jigen Peng, Jinghuai Gao, Yujiao Li. Backward problem for a time-space fractional diffusion equation. Inverse Problems & Imaging, 2018, 12 (3) : 773-799. doi: 10.3934/ipi.2018033
[14]

Eric R. Kaufmann. Existence and nonexistence of positive solutions for a nonlinear fractional boundary value problem. Conference Publications, 2009, 2009 (Special) : 416-423. doi: 10.3934/proc.2009.2009.416
[15]

Chunxiao Guo, Fan Cui, Yongqian Han. Global existence and uniqueness of the solution for the fractional Schrödinger-KdV-Burgers system. Discrete & Continuous Dynamical Systems - S, 2016, 9 (6) : 1687-1699. doi: 10.3934/dcdss.2016070
[16]

Kim-Ngan Le, William McLean, Martin Stynes. Existence, uniqueness and regularity of the solution of the time-fractional Fokker–Planck equation with general forcing. Communications on Pure & Applied Analysis, 2019, 18 (5) : 2765-2787. doi: 10.3934/cpaa.2019124
[17]

Alexander Quaas, Aliang Xia. Existence and uniqueness of positive solutions for a class of logistic type elliptic equations in $\mathbb{R}^N$ involving fractional Laplacian. Discrete & Continuous Dynamical Systems - A, 2017, 37 (5) : 2653-2668. doi: 10.3934/dcds.2017113
[18]

Jianhua Huang, Xingfu Zou. Existence of traveling wavefronts of delayed reaction diffusion systems without monotonicity. Discrete & Continuous Dynamical Systems - A, 2003, 9 (4) : 925-936. doi: 10.3934/dcds.2003.9.925
[19]

Claude Bardos, François Golse, Ivan Moyano. Linear Boltzmann equation and fractional diffusion. Kinetic & Related Models, 2018, 11 (4) : 1011-1036. doi: 10.3934/krm.2018039
[20]

Pedro Caro. On an inverse problem in electromagnetism with local data: stability and uniqueness. Inverse Problems & Imaging, 2011, 5 (2) : 297-322. doi: 10.3934/ipi.2011.5.297

2019 Impact Factor: 1.373

Tools

Metrics

  • PDF downloads (71)
  • HTML views (47)
  • Cited by (4)

Other articles
by authors

[Back to Top]

Copyright © 2020 American Institute of Mathematical Sciences