Determining a time-dependent coefficient in a time-fractional diffusion-wave equation with the Caputo derivative by an additional integral condition

https://doi.org/10.1016/j.cam.2021.113910Get rights and content

Abstract

This paper is devoted to recovering a time-dependent zeroth-order coefficient in a time-fractional diffusion-wave equation with the time Caputo derivative from an additional integral condition. The uniqueness and a conditional stability for such an inverse problem are proved. Then the two-point gradient method is used to solve the inverse zeroth-order coefficient problem numerically. Some properties of the forward operator are obtained, such as the Fréchet differentiability, the Lipschitz continuity and the tangential cone condition to guarantee the convergence of the proposed algorithm. Four numerical examples in one-dimensional and two-dimensional spaces are provided to show the effectiveness and stability of the suggested algorithm.

Introduction

Let ΩRd (d3) be a bounded domain with sufficiently smooth boundary. In this paper, we consider the following initial–boundary value problem for a time-fractional diffusion-wave equation as follows 0+αu(x,t)+Au(x,t)+p(t)u(x,t)=f(x,t),xΩ,t(0,T],u(x,0)=φ(x),xΩ,ut(x,0)=ψ(x),xΩ,νu(x,t)=0,xΩ,t(0,T],where 1<α<2 and 0+α denotes the Caputo fractional left-sided derivative of order α defined by 0+αu(x,t)=1Γ(2α)0t2u(x,s)s2ds(ts)α1,t>0,in which Γ() is the Gamma function, and the second order elliptic operator A is defined by Au(x,t)=i,j=1dxi(aij(x)xju(x,t)),xΩ,in which the coefficients satisfy aij(x)=aji(x)C1(Ω¯),i,j=1,2,,d,i,j=1daij(x)ξiξja0i=1dξi2,xΩ¯,ξ=(ξ1,,ξd)Rd,a0>0,and νu(x,t)=i,j=1daij(x)xju(x,t)νi(x),xΩ,where ν(x)=(ν1(x),,νd(x)) is the unit outward normal vector at xΩ.

For the last few decades, time-fractional diffusion (0<α<1) and diffusion-wave (1<α<2) equations have been widely studied because of the advantages of the fractional derivatives to describe the sub-diffusion and super-diffusion phenomena [1], [2]. In addition, due to the memory property, fractional calculus has been extensively used in many other areas, such as biology, physics, hydrology, chemistry and biochemistry, medicine and finance [3], [4], [5], [6], [7], [8].

If the fractional order α, the zeroth-order coefficient p(t), the source term f(x,t), the initial value φ(x) and the initial speed ψ(x) are all given, then problem (1.1) is a direct problem for the time-fractional diffusion-wave equation. Direct problems for time-fractional diffusion-wave equations have been studied extensively in recent years [9], [10], [11], [12], [13], [14], [15], [16], [17] for examples. For nonlinear time-fractional partial differential equations, there are also some works on detail studies, refer to [18], [19].

Inverse problems for time-fractional diffusion-wave equations are to recover the initial data or the source function or the zeroth-order coefficient and so on by some additional data. There are not many papers to consider them. In [20], Šišková et al. provided a numerical algorithm based on the Rothe method to deal with an inverse time-dependent source problem for a time-fractional diffusion-wave equation, and gave the convergence of iterated solution. In [21], Wei et al. used the Tikhonov regularization method to solve the backward problem for a time-fractional diffusion-wave equation. In [22], Wei et al. considered an inverse space-dependent source problem in a time-fractional diffusion-wave equation from final time measured data combined with the conjugate gradient algorithm. In [23], Xian et al. used a variational method to solve an inverse initial value problem for a time-fractional diffusion-wave equation. In [24], Liao et al. identified the fractional order and the space source term simultaneously in a time-fractional diffusion-wave equation, and provided the uniqueness and stability of the inverse problem. In [25], Yan et al. determined a space-dependent source term in a time-fractional diffusion-wave equation from a part of noisy boundary data, and prove the uniqueness for the inverse problem by the Titchmarsh convolution theorem and the Duhamel principle. The above works are focused on the linear ill-posed problems.

To our best knowledge, there are just a few papers on nonlinear inverse problems for time-fractional diffusion-wave equations. In [26], Yan et al. applied a Bayes method to identify the fractional order and diffusion coefficient in a time-fractional diffusion-wave equation. In [27], the authors used the measured data on a single boundary point to identify a time-dependent zeroth-order coefficient in a time-fractional diffusion-wave equation and the Levenberg–Marquardt method was applied to solve the inverse problem numerically. However, the convergence of the algorithm could not be obtained.

The main goal in this paper is to determine the zeroth-order coefficient p(t) by the following additional integral condition g(t)=Ωω(x)u(x,t)dx,t(0,T),where ω(x)L2(Ω) is a non-zero weight function if no other specified.

Time-fractional diffusion-wave equations can be used to formulate the anomalous super-diffusion phenomena of particles in heterogeneous porous media, refer to [1], [4], [28] for comprehending physical backgrounds. However in real applications, the time-dependent zeroth-order coefficient p(t) may be unknown, for example in the transport process of contamination in underground soil, if the pollutants have a degradation reaction such that the amount of pollutants decreases with respective to time, then the zeroth-order term in Eq. (1.1) is involved where the coefficient p(t) describes the rate of degraded amount to pollutants in unit volume and unit time, see [29] for a reference where p is depending only on spatial variable.

As we know, for the inverse problems to determine coefficients under the additional condition (1.3) in time fractional diffusion equations, there are only a few works to consider them. For examples, Lopushanska et al. in [30] considered an inverse coefficient problem in a semi-linear fractional telegraph equation, and proved the existence and uniqueness for the inverse problem. In [31], El-Borai studied an inverse Cauchy problem in a Hilbert space for fractional abstract differential equations, and gave the existence and uniqueness result for the inverse problem. In [32], Lopushansky et al. identified the diffusivity parameter in a space–time fractional diffusion equation, the authors gave the existence and uniqueness result for the inverse problem, and used an iterative algorithm to solve the inverse problem numerically. For a related problem to a time-fractional diffusion equation by using additional data on a point, Fujishiro et al. in [33] gave a stability of recovering a time-dependent zeroth-order coefficient without any numerical methods. Because of the difficulty to obtain a tangential cone condition for forward operators, there are few works to give the convergence analysis of gradient-type regularization algorithms, such as the Levenberg–Marquardt method, the Gauss–Newton method, etc while applying on nonlinear inverse problems for partial differential equations. Based on the above motivations, in this paper we will prove the convergence of the two-point gradient method while solving this inverse coefficient problem by using such integral condition.

We always assume p(t)AC[0,T], f(x,t)AC([0,T];L2(Ω))L(0,T;D(A)), φ(x)D(A), ψ(x)D(A11α) and ω(x)L2(Ω) unless other specified, where AC[0,T] is the space of absolutely continuous functions on [0,T], and D(Aγ) (γ0) is the Hilbert scale space defined in Section 2.

The rest of this paper is organized as follows. In Section 2, we present some preliminaries used in this paper. We prove the uniqueness and a conditional stability for the considered inverse problem in Section 3. In Section 4, we show the ill-posedness for the inverse problem and derive some properties of the forward operator. In Section 5, we present the two-point gradient method and give the convergence result for the proposed algorithm. Numerical results for four examples in one-dimensional and two-dimensional spaces are investigated in Section 6. Finally, we give a conclusion in Section 7.

Section snippets

Preliminaries

Definition 2.1

[34]

If f(t)L1(0,T), then for α>0, the Riemann–Liouville fractional left-sided integral I0+αf(t) and the right-sided integral ITαf(t) of order α are defined by I0+αf(t)=1Γ(α)0tf(s)ds(ts)1α,0<tT,and ITαf(t)=1Γ(α)tTf(s)ds(st)1α,0t<T.

In this paper, we denote ACn[0,T]{f(t)f(t)Cn1[0,T],f(n1)(t)AC[0,T]},n2.

Definition 2.2

[34]

If f(t)ACn[0,T], α>0 and n=[α]+1, where [α] means the integral part of α, then the Riemann–Liouville fractional left-sided derivative D0+αf(t) and the right-sided derivative DTαf(t)

Uniqueness and a conditional stability for the inverse coefficient problem

In this section, we prove the uniqueness and a conditional stability for the inverse zeroth-order coefficient problem by using some ideas in [20], [27]. Firstly, we give the uniqueness result in the following theorem.

Theorem 3.1

Suppose that f(x,t)AC([0,T];L2(Ω))L(0,T;D(A)), φ(x)D(A), ψ(x)D(A11α) and pi(t)AC[0,T], i=1,2. Let ui(x,t)=u(x,t;pi) be the solution of the direct problem (1.1) corresponding to p(t)=pi(t), i=1,2. If ω(x)H1(Ω) and Ωω(x)u1(x,t)dx=Ωω(x)u2(x,t)dx=g(t),|g(t)|g0>0,t[0,T],then

Ill-posedness and properties of forward operator

In this section, we will show the ill-posedness for the inverse zeroth-order coefficient problem, then give some properties of forward operator. In the following, we always suppose f(x,t)AC([0,T];L2(Ω))L(0,T;D(A)), φ(x)D(A), ψ(x)D(A11α).

Since H1(0,T)AC[0,T], it is convenient to give some analysis of the inverse coefficient problem in a Hilbert space. Thus in the following we restrict p(t)H1(0,T).

Define a forward operator F:p(t)H1(0,T)Ωω(x)u(x,t;p)dxL2(0,T),where ω(x)L2(Ω) is given,

Two-point gradient method

For the nonlinear inverse problem F(p)=g, where F is a continuous, Fréchet differentiable, nonlinear operator between two real Hilbert spaces, there are some regularization methods to deal with it, such as the Landweber iteration method, the Levenberg–Marquardt method, the Gauss–Newton method, etc. In this section, we use the two-point gradient method [41] (see Algorithm 1) to solve the nonlinear inverse problem considered in this paper numerically. Compared with the above three methods, the

Numerical examples

In this section, we present some numerical results for four examples in one-dimensional and two-dimensional spaces to show the effectiveness of the two-point gradient method in the zeroth-order coefficient identification problem.

The noisy data are generated by adding random perturbations, i.e. gδ(ti)=g(ti)+εg(ti)ri,i=1,2,,nt,where ri are random numbers distributed uniformly on [1,1] and ε is the relative noise level of the data. The corresponding noise level is calculated by δ=gδgεg.

To

Conclusion

In this paper, we investigated a nonlinear inverse problem for identifying the zeroth-order coefficient in a time-fractional diffusion-wave equation with the Caputo derivative by an additional integral condition. The uniqueness and a conditional stability of the inverse problem were obtained by using some estimates for the direct problem and the Gronwall inequality. In this paper, we used the two-point gradient method to solve the inverse problem numerically, and obtained the convergence result

References (44)

  • YanX.B. et al.

    Identify the fractional order and diffusion coefficient in a fractional diffusion wave equation

    J. Comput. Appl. Math.

    (2021)
  • LopushanskyA. et al.

    Nonlinear inverse problem of control diffusivity parameter determination for a space-time fractional diffusion equation

    Appl. Math. Comput.

    (2021)
  • SlodičkaM. et al.

    An inverse source problem in a semilinear time-fractional diffusion equation

    Comput. Math. Appl.

    (2016)
  • SokolovI.M. et al.

    From diffusion to anomalous diffusion: A century after Einsteins Brownian motion

    Chaos

    (2005)
  • MetzlerR. et al.

    Subdiffusive transport close to thermal equilibrium: from the Langevin equation to fractional diffusion

    Phys. Rev. E

    (2000)
  • HenryB.I. et al.

    Fractional cable models for spiny neuronal dendrites

    Phys. Rev. Lett.

    (2008)
  • YusteS.B. et al.

    Reaction front in an a+bc reaction-subdiffusion process

    Phys. Rev. E (3)

    (2004)
  • AgrawalO.P.

    Solution for a fractional diffusion-wave equation defined in a bounded domain

    Nonlinear Dynam.

    (2002)
  • ChenA. et al.

    Numerical solution of fractional diffusion-wave equation

    Numer. Funct. Anal. Optim.

    (2016)
  • RenJ.C. et al.

    Numerical algorithm with high spatial accuracy for the fractional diffusion-wave equation with Neumann boundary conditions

    J. Sci. Comput.

    (2013)
  • LiuF.W. et al.

    Numerical methods for solving the multi-term time-fractional wave-diffusion equation

    Fract. Calc. Appl. Anal.

    (2013)
  • KianY. et al.

    On existence and uniqueness of solutions for semilinear fractional wave equations

    Fract. Calc. Appl. Anal.

    (2015)
  • Cited by (11)

    • Identifying a fractional order and a time-dependent coefficient in a time-fractional diffusion wave equation

      2023, Journal of Computational and Applied Mathematics
      Citation Excerpt :

      However, the above results only consider the inverse problem of identifying space-dependent coefficients. There are also some works that consider the inverse problem of identifying time-dependent coefficients, such as [26,27]. However, those papers only consider the inverse problems of identifying a single parameter.

    • Existence and uniqueness results for a multi-parameters nonlocal diffusion equation

      2022, Reports on Mathematical Physics
      Citation Excerpt :

      In [36], P. Verma and M. Kumar used adomian decomposition method to find the solution of the multi-term diffusion-wave equation. In [37], T. Wei and J. Xian worked on determining a time-dependent coefficient in a time-fractional diffusion-wave equation with the Caputo derivative. The main contribution of this paper is to provide the analytical solution of MT-TFDE with nonlocal boundary condition.

    View all citing articles on Scopus
    1

    This paper was supported by the NSF of China (11771192, 12171215) and NSF of Gansu Province, PR China (21JR7RA475).

    View full text