- Research
- Open access
- Published:

# New type of the unique continuation property for a fractional diffusion equation and an inverse source problem

*Boundary Value Problems*
**volumeÂ 2024**, ArticleÂ number:Â 19 (2024)

## Abstract

In this work, a new type of the unique continuation property for time-fractional diffusion equations is studied. The proof is mainly based on the Laplace transform and the properties of Bessel functions. As an application, the uniqueness of the inverse problem in the simultaneous determination of spatially dependent source terms and fractional order from sparse boundary observation data is established.

## 1 Introduction

Classical unique continuation, which shows that the local information of the solution can uniquely determine the global information of the solution, is an important property of elliptic and parabolic equations. More specifically, the vanishment of the solution of the homogeneous problem in the open subset results in its vanishment in the entire domain, see Saut and Scheurer [1]. There are many important applications of the unique continuation properties. For the inverse source problem, we refer the readers to El Badia and Ha-Duong [2], Hu, Kian, and Zhao [3]. For approximate controllability, see Cannarsa, Tort, and Yamamoto [4], Dou and Lu [5].

Major advances have been made in fractional calculus in the last few decades. As a generalization of the classical diffusion equation, the fractional diffusion equation has become a research hotspot in mathematics. The extension of the unique continuation properties to fractional diffusion equations has attracted the attention of many researchers. Li and Yamamoto [6] investigated the lateral Cauchy problem for the one-dimensional time-fractional diffusion equation. As a direct conclusion of the uniqueness of the Cauchy problem, they proved that the classical unique continuation property is valid. Other researchers in recent years have investigated the unique continuation property for fractional differential equations via Carleman estimates, see Xu, Cheng, and Yamamoto [7], Cheng, Lin, and Nakamura [8]. Sakamoto and Yamamoto [9] indicated the weak unique continuation property of the time-fractional diffusion equations with the homogeneous Dirichlet boundary condition on the whole boundary. Jiang et al. [10] generalized the result in [9] to the multiterm case. The literature mentioned above focuses on the unique continuation properties in the inner open subset. However, as far as we know, there are few published results concerning the properties from sparse data. We wonder whether the global information of the solution can be determined from a small finite number *N* of measurement points. The primary goal of this paper is to investigate the unique continuation property of the following problem.

Let \(\Omega \subset \mathbb{R}^{2}\) be a unit disc and \(T>0\). Consider the following initial-boundary value problem of the time-fractional diffusion equation:

\({}^{c} \partial _{t}^{\alpha} u\) denotes the Caputo derivative of *u* at time \(t>0\), which is defined by

Here \(0<\alpha <1\). \(\Gamma (\cdot )\) denotes the gamma function. For the definition and properties of fractional derivatives, see Podlubny [11].

### Problem 1.1

Let *u* be the solution of (1) and \(Z_{o b}= \{z_{1}, z_{2} \} \subset \partial \Omega \). Does \(\frac{\partial u}{\partial \nu}(z_{1},t)= \frac{\partial u}{\partial \nu}(z_{2},t)=0\) imply \(u \equiv 0\) in \(\Omega \times (0, T)\)? Here, the boundary flux data \(\frac{\partial u}{\partial \nu}\) are used, and *Î½* is the unit outward normal vector of *âˆ‚*Î©.

In practice, environmental authorities often need to determine the intensity and location of pollution sources based on monitoring data. The study of the inverse source problem has become popular due to the aforementioned issues. Anomalous transport poses significant challenges for accurate prediction and remediation of groundwater contamination. Fractional calculus has attracted more and more attention in anomalous diffusion due to its heritability and memorability. We refer the readers to Zhang, Meerschaert, and Baeumer [12], Sun et al. [13], and Yin et al. [14]. Furthermore, it is known that the fractional order is related to the inhomogeneity of the media, but it is not clear which physical law can relate the inhomogeneity to the fractional order. So we are also required to consider the inverse fractional order problem. There exists a large and rapidly growing number of publications related to the inverse problems in determining sources, fractional orders, and other unknown coefficients. For some early work on the determination of the source terms, we refer the readers to Zhang and Xu [15], Kirane and Malik [16], Chi, Li, and Jia [17], Liu, Rundell, and Yamamoto [18]; and for more recent works, we refer to Liu and Zhang [19], Rundell and Zhang [20], Li and Zhang [21], Phuong, Kumar, and Binh [22], Binh and Long [23], Phuong, Thi, and Luc [24] and the references therein. In particular, we mention the reference [10] by Jiang et al., where the uniqueness of an inverse problem in determining the spatial component in the source term by interior measurements utilizing the weak unique continuation property was proven. For the determination of the fractional orders and other unknown coefficients, refer to Cheng et al. [25], Li et al. [26], Li et al. [27], Kian et al. [28], Ozbilge and Demir [29], Jday and Mdimagh [30], Phuong et al. [31], Phuong et al. [32], Long and Saadati [33]. It is worth noting that some of the above inverse problems are studied in disc or rectangular domains mathematically. Inversion studies in these special domains have also received widespread attention in engineering defect identification (see [34â€“36] for instance). The study of inverse problems in these special regions can provide theoretical support for engineering numerical simulations.

This paper considers the inverse problem of simultaneously determining spatially dependent source terms and fractional orders from two point Neumann boundary data. More precisely, we consider an initial-boundary value problem:

The above model explains the evolution of density \(u(x, t)\) at location *x* and time *t* of some substances, such as contaminants, where \(g(t) f(x)\) is a source term in Î©. The source term can often be assumed to be modeled in the form of the separation of variables. \(g(t)\) and \(f(x)\) describe the spatial distribution of the source and the time evolution pattern, respectively. We are dedicated to using sparse boundary data to simultaneously determine the spatially dependent source term \(f(x)\) and fractional order *Î±*.

A precise mathematical statement of this inverse problem is provided below.

### Problem 1.2

Let Î© be the unit disc in \(\mathbb{R}^{2}\) and the fractional derivative be defined as above. Assume that the temporal component \(g(t)\) is known in equation (3). The boundary flux data are given at two points:

Can we uniquely determine \(f(x)\) and *Î±* simultaneously? Here, \(Z_{\mathrm{ob}}\) is defined as in ProblemÂ 1.1.

It is worth noting that the observations required in this work are only for a limited period (i.e., \(t \in (0, T)\)), which is in contrast to Li and Zhang [21, TheoremÂ 1.1]. Our aim is to find the connection between the above inverse problem and ProblemÂ 1.1, and to apply the conclusion of ProblemÂ 1.1 to prove the uniqueness of this inverse problem.

In the rest of this section, we first endeavor to answer the ProblemÂ 1.1. For this, we propose the following theorem.

### Theorem 1.1

*Let* \(u_{0} \in L^{2}(\Omega )\) *and* \(u \in L^{2}(0,T; H_{0}^{1}(\Omega ))\) *be the solution to* (1). *Set* \(z_{\ell}= (\cos \theta _{\ell}, \sin \theta _{\ell} ) \in \partial \Omega \), \(\ell =1,2\) *as the boundary points*, *and* \(\theta _{\ell}\) *satisfies* \(\theta _{1}-\theta _{2} \notin \pi \mathbb{Q}, \mathbb{Q}\) *as the set of rational numbers*. *Let* \(\frac{\partial u}{\partial \nu}(z_{1},t)= \frac{\partial u}{\partial \nu}(z_{2},t)=0\). *Then the following holds*:

We give the following uniqueness theorem to answer ProblemÂ 1.2.

### Theorem 1.2

*Let* \(u(x,t)\) *satisfy* (3). *Suppose that the spatial component* \(f\in L^{2}(\Omega )\neq 0\) *in the source term is unknown and* \(g\in C^{1}[0, T]\) *with* \(g(0) \neq 0\). *Assume that* \(1/2<\alpha _{1}, \alpha _{2}<1\). *Then* \(z_{\ell}= (\cos \theta _{\ell}, \sin \theta _{\ell} ) \in \partial \Omega \), \(\ell =1,2\), *is set as the boundary observation points*, *and* \(\theta _{\ell}\) *satisfies* \(\theta _{1}-\theta _{2} \notin \pi \mathbb{Q}, \mathbb{Q}\) *as the set of rational numbers*.

*Denote the two sets of unknown solutions to equation* (3) *as* \(u_{1}\) *and* \(u_{2}\). *If*

*then*

The rest of this paper is organized as follows. In Sect.Â 2, some prior knowledge is listed, such as the eigensystem of the Laplacian operator, the properties of Bessel functions, and the Mittag-Leffler function. In Sect.Â 3, we give the proof of TheoremÂ 1.1. In Sect.Â 4, we present the proof of TheoremÂ 1.2 as an application of TheoremÂ 1.1. Finally, concluding remarks are provided in Sect.Â 5.

## 2 Preliminary information

In this section, we first set up notations and introduce the Dirichlet eigensystem of the Laplacian operator. Let \(L^{2}(\Omega )\) be a usual \(L^{2}\)-space with the inner product \(\langle \cdot , \cdot \rangle \), and let \(H_{0}^{1}(\Omega )\) denote the usual Sobolev spaces. We introduce the eigensystem \(\{ (\lambda _{n}, \varphi _{n} ) \}_{n=- \infty}^{\infty}\) of the Laplacian operator âˆ’Î” on Î© with the Dirichlet boundary condition, i.e.,

Since Î© is the unit disc in \(\mathbb{R}^{2}\) as mentioned above, we consider the eigensystem in polar coordinates for convenience. According to the Bessel function and its related properties, \(\{ \langle \lambda _{n}, \varphi _{n}\rangle \}_{n=0}^{\infty}\) is given as follows:

and \(\varphi _{n}\) denotes the corresponding eigenfunction

which forms a complete orthonormal basis of \(L^{2}(\Omega )\). Here, \((r, \theta )\) are the polar coordinates on Î©, \(J_{\vert m(n)\vert}(\cdot )\) is the Bessel function of order \(\vert m(n)\vert \) with \(\sqrt{\lambda _{\vert n \vert}}\) as its zero point, \(m(n)\) demonstrates the dependence of *m* on *n* such that \(m(n)=-m(-n)\), and \(\omega _{n}\) is the normalized coefficient and allows the form

See [21, Sect.Â 2.2] for further details.

Sometimes, we also write \(\lambda _{n}=\lambda _{\vert n\vert}\) for simplicity. Therefore, for a given eigenvalue \(\lambda _{n_{0}}\), in the case of \(m (n_{0} ) \neq 0\), the corresponding eigenpairs are given as

For the purpose of the latter proof, we list some properties of Bessel functions.

### Lemma 2.1

[37] *Bessel functions have the following differential relations and recurrence relations*:

Next, we introduce the Mittag-Leffler function and some of its properties. The generalized Mittag-Leffler function plays an important role in fractional calculus [38]. The function is defined as follows:

We provide the asymptotic property of the Mittag-Leffler function below.

### Lemma 2.2

[11, *TheoremÂ *1.6] \(E_{\alpha , \beta}(z)\) *is an analytic function*. *Assume* \(\pi \alpha / 2<\rho <\min \{\pi , \pi \alpha \}\). *Then there exists a constant* \(C=C(\alpha , \beta ,\rho )>0\) *such that*

Then, we introduce the lemma for the Laplace transform of the Mittag-Leffler function. First, we define \(s \in \mathbb{C}^{+}:=\{s \in \mathbb{C}: \operatorname{Re}(s)>0\}\) to ensure analyticity. Here, *s* is the Laplace transform parameter.

### Lemma 2.3

[39, *PropositionÂ *4] *For* \(\alpha \in (0,1)\), *let* \(\lambda \geq 0\), *the Laplace transform* \(\mathcal{L} \{t^{\alpha -1} E_{\alpha , \alpha} (-\lambda t^{ \alpha} ) \}\) *exists at every point* \(s \in \mathbb{C}^{+}\) *and*

### Lemma 2.4

[18, *LemmaÂ *4.1] *Let* *u* *satisfy the initial*-*boundary value problem* (3), *where* \(g\in C^{1}[0,T]\) *and* \(f \in L^{2}(\Omega )\). *Then the weak solution* *u* *is denoted by*

*where* \(\theta \in L^{1}(0, T)\), \(J^{1-\alpha}\theta =g(t)\). *v* *is the solution to the following problem*:

Here, \(J^{\alpha}\theta (t)\) is the Riemannâ€“Liouville integral, which is defined as follows:

## 3 A new type of unique continuation

In this section, we present the proof of TheoremÂ 1.1. From the above lemma, we are ready to give the proof of the main result.

### Proof of TheoremÂ 1.1

We first obtain the eigenfunction expansions of the solution to (1) by the Fourier method. We multiply both sides of (1) by \(\varphi _{n}(x)\) and integrate the equation with respect to *x*. Using integration by parts for the second term and \(\varphi _{n}\vert _{\partial \Omega}=0\), we can derive

where \(u_{n}(t)=\langle u(\cdot , t), \varphi _{n}\rangle \). By using the Mittag-Leffler function, we can formally obtain the expansion

Together with (6), the following holds:

Next, we assert that \(u(r, \theta , t)\) is *t*-analytic. To validate this claim, since \(E_{\alpha , 1} (-\lambda _{n} t^{\alpha} )\) is analytic in \(\mathbb{C}\), we denote

and

Thus, for any \(K\subset \subset \{z \in \mathbb{C} ; \operatorname{Re} z>0 \}\),

is analytic in *K*. According to LemmaÂ 2.2 and LemmaÂ 2.3, the following holds:

Thus, \(\lim_{n \rightarrow \infty}\| u^{+} -u^{+}_{N}\| _{L^{ \infty} (K ; L^{2}(\Omega ) )}=0\) so that \(u^{+}(r, \theta , t)\) is analytic in *K*. Analogously, we can obtain that \(u^{-}\) is also analytic in *K*. As a result of the arbitrariness of *K*, the above assertion is valid. A similar argument can be found in Sakamoto and Yamamoto [9].

From the analyticity of \(u(r, \theta , t)\), the solution *u* to the initial-boundary value problem (1) can be analytically extended from \((0, T)\) to \((0, \infty )\). For simplicity, we still denote the extension by *u*. Therefore, we arrive at the following initial-boundary value problem:

and the condition \(\frac{\partial u}{\partial \nu}(z_{1},t)= \frac{\partial u}{\partial \nu}(z_{2},t)=0\) on \(\partial \Omega \times (0, t)\) implies

Next, we perform the Laplace transform in (13) and use the formula

to derive the transformed equation

From the eigensystem \(\{ \langle \lambda _{n}, \varphi _{n}\rangle \}_{n=-\infty}^{\infty}\) of âˆ’Î” on Î© with the Dirichlet boundary condition, the following holds:

By using the formula \(\frac{\partial \hat{u}}{\partial \nu} (\cdot ; s )= \frac{\partial \hat{u}}{\partial r} (\cdot ; s )\) and LemmaÂ 2.1, the following holds:

and together with (14), we have

Note that Î© is a unit disk, as mentioned in Sect.Â 1. Thus \(z_{1}\) and \(z_{2}\) are boundary observation points implying \(r=1\), there holds

and

We set \(\eta =s^{\alpha}\), which yields

It is readily seen that (16) holds for \(\eta \in \mathbb{C} \backslash \{-\lambda _{n} \}_{n=1}^{ \infty}\). Then, for any \(n=1,2, \ldots \)â€‰, we can take a sufficiently small circle centered at \(-\lambda _{n}\) that does not include distinct eigenvalues. Integrating (16) on this circle yields

Moreover, from the properties of Bessel functions in LemmaÂ 2.1, it follows that

Since \(J_{\vert m(n)\vert}(\cdot )\) is the Bessel function of order \(\vert m(n)\vert \) with \(\sqrt{\lambda _{n}}\) as its zero point, the above formula can be reduced to

By noting the definition of \(\omega _{n}\), we further see that

By combining the above formulas, we finally get

We divide the next proofs into the following two cases.

*Case*Â 1. Provided that \(m(n)=0\), that is, \(n=0\), \(\langle u_{0}, \varphi _{0}\rangle = 0\) holds.

*Case*Â 2. Provided that \(m(n)\neq 0\), the following hold:

and

We conclude that

From the matrix determinant and Eulerâ€™s formula, we conclude

Recalling TheoremÂ 1.1, \(\theta _{1}\) and \(\theta _{2}\) are fulfilled

Therefore, we have

Hence, we conclude that \(\langle u_{0}, \varphi _{n}\rangle =\langle u_{0}, \varphi _{-n}\rangle =0\). Since *n* is chosen arbitrarily, we conclude \(\langle u_{0}, \varphi _{n}\rangle =0\) for all \(n\in \mathbb{Z}\), and thus \(u_{0}=u(\cdot , 0)=0\) in Î©, which indicates \(u=0\) in Î©. This completes the proof of TheoremÂ 1.1.â€ƒâ–¡

## 4 Fractional order and source term identification

In this section, our goal is to give the proof for the uniqueness of the inverse problem for the determination of the fractional order and source term.

### Proof of TheoremÂ 1.2

To prove TheoremÂ 1.2, we first prove that the observation

implies \(\alpha _{1}=\alpha _{2}\). To achieve this, we extend the function *g* from \((0,T)\) to \((0,\infty )\) by letting \(g=0\) outside of \((0,T)\). For simplicity, we still denote the extension by *g* and obtain the following initial-boundary value problem:

The solution \(u_{j}\) to the initial-boundary value problem (19) is an extension of the solution *u* to problem (1.2). For simplicity, we still denote the extension as *u*.

By combining equation (18) and the series representation of the solution *u* (e.g., see Sakamoto and Yamamoto [9]), we have

We perform Laplace transform on both sides of the above formula to obtain

which implies

Moreover, from the observation \(\frac{\partial u_{1}}{\partial r}(1,\theta _{1},t) = \frac{\partial u_{2}}{\partial r}(1,\theta _{1},t) \), \(t\in (0,T)\), it follows that

By choosing \(\varepsilon \in (0,T)\) and multiplying \(se^{s\varepsilon}\) on both sides of the above formula, we obtain

We note from the initial value theorem of the Laplace transforms that

and then

If \(\alpha _{1}\ne \alpha _{2}\), then from LemmaÂ 3.7 in Li and Zhang [21], it follows that \(\langle f_{1},\varphi _{n}\rangle = \langle f_{2},\varphi _{n}\rangle =0\) for all \(n\in \mathbb{Z}\), which contradicts \(f\ne 0\). Therefore, we must have \(\alpha _{1}=\alpha _{2}\).

Now, it remains to prove that if \(\frac{\partial u}{\partial \nu}(z_{1},t)= \frac{\partial u}{\partial \nu}(z_{2},t)=0\) holds, then \(f(x)=0\) can be derived. Let *u* satisfy the initial-boundary value problem (3), where \(g \in C^{1}[0, T]\) and \(f \in L^{2}(\Omega )\). According to LemmaÂ 2.4, *u* takes the form of (9). Therefore, the following holds:

In particular,

then the following holds:

Applying the operator \(J^{1-\alpha}\) to both sides of the above formula yields

Derivation of both sides of the above equation with respect to *t*, the following holds:

Note that \(g(0) \neq 0\), and we estimate

According to Gronwallâ€™s inequality, we obtain \(\frac{\partial v}{\partial \nu}(z_{\ell},t)=0\), \(z_{\ell} \in \partial \Omega \), and \(\ell =1,2\). Lastly, we apply TheoremÂ 1.1 to the homogeneous problem (10) to derive \(v=0\) in \(\Omega \times (0,T)\), in which we can conclude \(f = 0\) in Î©. We therefore finish the proof of the TheoremÂ 1.2.â€ƒâ–¡

## 5 Concluding remarks and future work

In this paper, a new type of the unique continuation property for time-fractional diffusion equations is studied. The proof of this unique continuation principle was concerned, which leads to uniqueness of the corresponding inverse problems. We gave a representation formula for the solution in polar coordinates based on eigenfunction expansion and the Mittag-Leffler function. With the help of the Laplace transformation and the properties of the Bessel function, we proved the unique continuation property from two point Neumann boundary data. As an application, we considered the uniqueness of an inverse problem for simultaneously determining the spatial component in the source term and the fractional order from two point finite time observation data. The uniqueness result is slightly sensitive to the geometry of the domain. We will consider the case in other domains such as rectangular and elliptic in the future. Otherwise, it would be interesting to investigate the unique continuation properties of the solution in a high dimensional case.

## Data availability

No new data were created or analysed in this study.

## References

Saut, J.C., Scheurer, B.: Unique continuation for some evolution equations. J. Differ. Equ.

**66**, 118â€“139 (1987)Badia, A.E., Ha-Duong, T.: On an inverse source problem for the heat equation. Application to a pollution detection problem. J. Inverse Ill-Posed Probl.

**10**, 585â€“599 (2002)Hu, G., Kian, Y., Zhao, Y.: Uniqueness to some inverse source problems for the wave equation in unbounded domains. Acta Math. Appl. Sin.

**36**, 134â€“150 (2020)Cannarsa, P., Tort, J., Yamamoto, M.: Unique continuation and approximate controllability for a degenerate parabolic equation. Appl. Anal.

**91**, 1409â€“1425 (2012)Dou, F., Lu, Q.: Partial approximate controllability for linear stochastic control systems. SIAM J. Control Optim.

**57**, 1209â€“1229 (2019)Li, Z., Yamamoto, M.: Unique continuation principle for the one-dimensional time-fractional diffusion equation. Fract. Calc. Appl. Anal.

**22**, 644â€“657 (2019)Xu, X., Cheng, J., Yamamoto, M.: Carleman estimate for a fractional diffusion equation with half order and application. Appl. Anal.

**90**, 1355â€“1371 (2011)Cheng, J., Lin, C.-L., Nakamura, G.: Unique continuation property for the anomalous diffusion and its application. J. Differ. Equ.

**254**, 3715â€“3728 (2013)Sakamoto, K., Yamamoto, M.: Initial value/boundary value problems for fractional diffusion-wave equations and applications to some inverse problems. J. Math. Anal. Appl.

**382**, 426â€“447 (2011)Jiang, D., Li, Z., Liu, Y., Yamamoto, M.: Weak unique continuation property and a related inverse source problem for time-fractional diffusion-advection equations. Inverse Probl.

**33**, 055013 (2017)Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)

Zhang, Y., Meerschaert, M.M., Baeumer, B.: Particle tracking for time-fractional diffusion. Phys. Rev. E

**78**, 036705 (2008)Sun, H.G., Zhang, Y., Baleanu, D., Chen, W., Chen, Y.Q.: A new collection of real world applications of fractional calculus in science and engineering. Commun. Nonlinear Sci. Numer. Simul.

**64**, 213â€“231 (2018)Yin, M., Ma, R., Zhang, Y., Wei, S., Tick, G.R., Wang, J., Sun, Z., Sun, H.G., Zheng, C.: A distributed-order time fractional derivative model for simulating bimodal sub-diffusion in heterogeneous media. J. Hydrol.

**591**, 125504 (2020)Zhang, Y., Xu, X.: Inverse source problem for a fractional diffusion equation. Inverse Probl.

**27**, 035010 (2011)Kirane, M., Malik, S.: Determination of an unknown source term and the temperature distribution for the linear heat equation involving fractional derivative in time. Appl. Math. Comput.

**218**, 163â€“170 (2011)Chi, G., Li, G., Jia, X.: Numerical inversions of a source term in the fade with a Dirichlet boundary condition using final observations. Comput. Math. Appl.

**62**, 1619â€“1626 (2011)Liu, Y., Rundell, W., Yamamoto, M.: Strong maximum principle for fractional diffusion equations and an application to an inverse source problem. Fract. Calc. Appl. Anal.

**19**, 888â€“906 (2016)Liu, Y., Zhang, Z.: Reconstruction of the temporal component in the source term of a (time-fractional) diffusion equation. J. Phys. A, Math. Theor.

**50**, 305203 (2017)Rundell, W., Zhang, Z.: Recovering an unknown source in a fractional diffusion problem. J. Comput. Phys.

**368**, 299â€“314 (2018)Li, Z., Zhang, Z.: Unique determination of fractional order and source term in a fractional diffusion equation from sparse boundary data. Inverse Probl.

**36**, 115013 (2020)Phuong, N.D., Long, L.D., Kumar, D., Binh, H.D.: Determine unknown source problem for time fractional pseudo-parabolic equation with Atangana-Baleanu Caputo fractional derivative. AIMS Math.

**7**, 16147â€“16170 (2022)Binh, T.T., Long, L.D.: Two methods for unknown source problem for time fractional diffusion equation in the hyper Bessel operator. J. Nonlinear Convex Anal.

**23**, 1617â€“1640 (2022)Phuong, N.D., Thi, K.V.H., Luc, N.H.: Determine the unknown source term for a fractional order parabolic equation containing the Mittag-Leffler kernel. J. Nonlinear Convex Anal.

**23**, 1577â€“1600 (2022)Cheng, J., Nakagawa, J., Yamamoto, M., Yamazaki, T.: Uniqueness in an inverse problem for a one-dimensional fractional diffusion equation. Inverse Probl.

**25**, 115002 (2009)Li, G., Zhang, D., Jia, X.: Simultaneous inversion for the space-dependent diffusion coefficient and the fractional order in the time-fractional diffusion equation. Inverse Probl.

**29**, 065014 (2013)Li, G., Liu, W., Jia, X., Li, Z.: Unique identification of fractional orders in the fractional mobile-immobile solute transport system. Appl. Math. Sci. Eng.

**31**, 2243375 (2023)Kian, Y., Li, Z., Liu, Y., Yamamoto, M.: The uniqueness of inverse problems for a fractional equation with a single measurement. Math. Ann.

**380**, 1465â€“1495 (2021)Ozbilge, E., Demir, A.: Analysis of the inverse problem in a time fractional parabolic equation with mixed boundary conditions. Bound. Value Probl.

**2014**, 134 (2014)Jday, F., Mdimagh, R.: Uniqueness result for a fractional diffusion coefficient identification problem. Bound. Value Probl.

**2019**, 170 (2019)Phuong, N.D., Baleanu, D., Agarwal, R.P., Long, L.D.: Fractional evolution equation with Cauchy data in Lp spaces. Bound. Value Probl.

**2022**, 100 (2022)Phuong, N.D., Long, L.D., Nguyen, A.T., Baleanu, D.: Regularization of the inverse problem for time fractional pseudo-parabolic equation with non-local in time conditions. Acta Math. Sin. Engl. Ser.

**38**, 2199â€“2219 (2022)Long, L.D., Saadati, R.: Regularization of inverse initial problem for conformable pseudo-parabolic equation with inhomogeneous term. AIMS Math.

**2022**, 9 (2022)Jiang, S., Zhao, L., Du, C.: Combining dynamic XFEM with machine learning for detection of multiple flaws. Int. J. Numer. Methods Biomed. Eng.

**122**, 6253â€“6282 (2021)Jiang, S., Wan, C., Sun, L., Du, C.: Flaw classification and detection in thin-plate structures based on scaled boundary finite element method and deep learning. Int. J. Numer. Methods Biomed. Eng.

**123**, 4674â€“4701 (2022)Jiang, S., Zhao, L., Du, C.: Structural deformation prediction model based on extreme learning machine algorithm and particle swarm optimization. Struct. Health Monit.

**21**, 2786â€“2803 (2022)Watson, G.N.: A Treatise on the Theory of Bessel Functions. Cambridge University Press, Cambridge (1995)

Humbert, P., Agarwal, R.P.: Sur la function de Mittag-Leffler et quelques-unes de ses generalizations. Bull. Sci. Math.

**77**, 180â€“185 (1953)Helin, T., Lassas, M., Ylinen, L., Zhang, Z.: Inverse problems for heat equation and space time fractional diffusion equation with one measurement. J. Differ. Equ.

**269**, 7498â€“7528 (2020)

## Acknowledgements

The authors are thankful to the reviewers for their careful reading and suggestions.

## Funding

This work was supported by the National Key Research and Development Plan, Intergovernmental Key Projects for International Scientific and Technological Cooperation (Grant No. 2018YFE0122400) and Jiangsu Province Key R&D Project of China (Grant No. BE2022162).

## Author information

### Authors and Affiliations

### Contributions

**Wenyi Liu:** Methodology, Writing original draft. **Chengbin Du:** Supervision, Writing review & editing. **Zhiyuan Li**: Conceptualization, Methodology, Supervision.

### Corresponding author

## Ethics declarations

### Ethics approval and consent to participate

Not applicable.

### Competing interests

The authors declare no competing interests.

## Additional information

### Publisherâ€™s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## 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 http://creativecommons.org/licenses/by/4.0/.

## About this article

### Cite this article

Liu, W., Du, C. & Li, Z. New type of the unique continuation property for a fractional diffusion equation and an inverse source problem.
*Bound Value Probl* **2024**, 19 (2024). https://doi.org/10.1186/s13661-024-01827-5

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13661-024-01827-5