Abstract
This article deals with the initial-boundary value problem for a moderately coupled system of time-fractional diffusion equations. Defining the mild solution, we establish fundamental unique existence, limited smoothing property and long-time asymptotic behavior of the solution, which mostly inherit those of a single equation. Owing to the coupling effect, we also obtain the uniqueness for an inverse problem on determining all the fractional orders by the single point observation of a single component of the solution.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
For anomalous diffusion in heterogeneous media and viscoelastic body that conventional partial differential equations (PDEs) fail to describe, a considerable number of nonlocal models with fractional derivatives have been proposed. Especially, due to the capability of representing the time memory effect, time-fractional PDEs such as
with a Caputo derivative \(\partial _t^\alpha \) of order \(0<\alpha <2\) in time (which will be defined soon) have gathered popularity among mathematicians and multidisciplinary researchers. The past decade has witnessed a tremendous development in mathematical analysis related to (1.1) and its various generalizations: fundamental theories such as the unique existence of solutions have been established (e.g. [6, 11, 15, 20, 39]), and corresponding numerical and inverse problems have also been investigated extensively (e.g. [17, 18, 25, 28, 29]). In particular, for time-fractional diffusion equations with \(\alpha <1\) in (1.1), a linear theory equivalent to their parabolic prototypes has been well constructed, and their similarity and difference have been clarified.
Among the rapidly increasing literature on fractional-related topics, however, it turns out that almost all existing researches are restricted to single and linear time-fractional PDEs. As we know, for important applications in chemistry, biology and finance, coupled systems of PDEs (represented by reaction-diffusion systems) successfully model the interaction and evolution of two or more involved components under consideration. Therefore, in the context of systems with more sophisticated mechanism due to a richer structure associated to the corresponding couplings, it is desirable to create new models based on coupled systems of time-fractional PDEs or even general nonlocal reaction-diffusion systems (e.g. [4, 5]). On the other hand, now that a linear theory for single time-fractional diffusion equations is accomplished, it seems natural to study its generalization to linear systems first and investigate them from both theoretical and practical aspects.
Keeping the above backgrounds in mind, let us set up the formulation in this article.
Let \(T\in \mathbb R_+:=(0,+\infty )\) be a constant and \(\Omega \subset \mathbb R^d\) (\(d\in \mathbb N:=\{1,2,\dots \}\)) be an open bounded domain with a smooth boundary \(\partial \Omega \) (for example, of \(C^2\) class). For a constant \(K\in \mathbb N\), let \(\alpha _1,\dots ,\alpha _K\) be constants satisfying \(1>\alpha _1\ge \cdots \ge \alpha _K>0\). In this article, we consider the following initial-boundary value problem for a coupled system of time-fractional diffusion equations
\(k=1,\dots ,K\), where by \(\partial _t^\alpha \) (\(0<\alpha <1\)) we denote the Caputo derivative (e.g. Podlubny [35]) which is usually defined as
There are several ways to define the Caputo derivative and the domain could be extended from \(C^1\) to some fractional Sobolev space (e.g. [11]). Since our main concentration in this article is the coupled system, we do not discuss further on the definition of the fractional derivative. Here \(\varvec{A}_k=(a_{i j}^{(k)})_{1\le i,j\le d}\in C^1(\overline{\Omega };\mathbb R_{\textrm{sym}}^{d\times d})\) (\(k=1,\dots ,K\)) are symmetric and strictly positive-definite matrices on \(\overline{\Omega }\) . More precisely, there exists a constant \(\kappa >0\) such that
where \((\,\cdot \,)^\mathrm T\) denotes the transpose and \(|\varvec{\xi }|^2:=\varvec{\xi }\cdot \varvec{\xi }\). Later in Section 2 we will provide further details of the assumptions on involved initial values, source terms and coefficients.
The governing equation in (1.2) is a moderately coupled system of K linear time-fractional diffusion equations, where the components are allowed to interact with each other up to the first derivative in space. The orders \(\alpha _k\) of time derivatives for all components can be different from each other, and the coefficients of zeroth and first-order spatial derivatives can depend on both \(\varvec{x}\) and t. Nevertheless, the coefficients of principal parts are restricted to be t-independent, since later we shall rely on the existence of eigensystems of elliptic operators \(\mathcal A_k\psi =-\textrm{div}(\varvec{A}_k(\varvec{x})\nabla \psi )\). In this sense, the homogeneous Dirichlet boundary condition in (1.2) is not obligatory and can be replaced by homogeneous Neumann or Robin ones. Therefore, the formulation (1.2) covers a rather wide range of problems, which seems not yet studied in literature to the best of our knowledge.
Indeed, it reveals that existing publications, though limited, emphasize more on the nonlinear counterpart of (1.2), whereas the elliptic parts can be reasonably simple. Recently, Gal and Warma [9, Chapter 4] considered systems of fractional kinetic equations with nonlinear terms taking the form of \(F_k(\varvec{x},t,u_1,\dots ,u_K)\) and discussed the existence of maximal mild and strong solutions. Very recently, Suzuki [41, 42] investigated local existence and non-existence for weakly coupled time-fractional reaction-diffusion systems with moderately and rapidly growing nonlinearities. In view of applications (e.g. [21, 32]), definitely one should consider nonlinear reaction-diffusion systems based on (1.2) and develop corresponding theories. However, as was seen in the research of traditional reaction-diffusion systems, linear coupled systems play fundamental roles especially in the discussions of super/subsolution methods and traveling waves. Hence, as the starting point, the major target of this article is to construct the basic well-posedness results for (1.2) parallel to the case of a single equation.
On the other hand, we are also interested in inverse problems associated with (1.2). Again in the framework of traditional parabolic systems, sometimes it is possible to identify multiple coefficients simultaneously from observation data of a single component due to the coupling effect. Thus, the natural curiosity is whether and to which extent such property is inherited by the fractional systems. On this direction, only Ren, Huang and Yamamoto [37] obtained the conditional stability for a coefficient inverse problem of (1.2) in the special case of \(K=2\), \(\alpha _1=\alpha _2=1/2\) and \(d=1\) by means of Carleman estimates. Hence, in this article we also keep an eye on the minor target of studying a small inverse problem for (1.2) employing the coupling effect (see Problem 1).
For the forward problem, we prove the unique existence of a mild solution to (1.2) along with its stability with respect to initial values \(u_0^{(k)}\) and source terms \(F_k\) in Theorem 1. These results turn out to be parallel to those for single equations obtained in [11, 39], namely, the improvement of spatial regularity of solutions from that of \(u_0^{(k)},F_k\) is at most 2. The proof generalizes the idea in [11, 22] to regard the lower order terms as a part of source terms and construct a sequence by Picard iteration, whose limit is indeed the mild solution. Further, restricting the system (1.2) to a weakly coupled one with t-independent coefficients, we investigate the long-time asymptotic behavior of the solution and obtain the sharp decay rate \(t^{-\alpha _K}\) in Theorem 2, where \(\alpha _K\) stands for the lowest order of the fractional derivatives. Such a result coincides with that for a multi-term time-fractional diffusion equation proved in [24]. Meanwhile, we study a parameter inverse problem on determining all the orders \(\alpha _1,\dots ,\alpha _K\) by the observation of a single component \(u_{k_0}\) at \(\{\varvec{x}_0\}\times (0,T)\). Using the strong maximum principle for coupled elliptic systems, in Theorem 3 we show the uniqueness of this inverse problem provided that the system is not decoupled. This reflects the interaction between components as expected, which is only available for coupled systems.
The rest of this paper is organized as follows. In Section 2, we collect necessary preliminaries and give statements of the main results. Then Sections 3–5 are devoted to the proofs of Theorems 1,2 and 3, respectively. Some concluding remarks are provided in Section 6, and finally the proofs of some technical details are postponed to Appendix 1.
2 Preliminaries and main results
We start from fixing some general settings and notations. Let \(L^2(\Omega )\) be the possibly complex-valued square-integrable function space and \(H_0^1(\Omega )\), \(H^2(\Omega )\), \(H^{-1}(\Omega )\), \(W^{1,\infty }(\Omega )\) etc. be the usual Sobolev spaces (e.g. [2]). The inner products of \(L^2(\Omega )\) and \(\mathbb C^K\) (\(K\in \mathbb N\)) are defined by
respectively, which induce the respective norms
With slight abuse of notation, we also denote the length of a multi-index \(\varvec{j}=(j_1,\dots ,j_K)\in (\mathbb N\cup \{0\})^K\) by \(|\varvec{j}|\), i.e., \(|\varvec{j}|=\sum _{k=1}^K j_k\). Given a Banach space X, the norm of the product space \(X^K\) (\(K\in \mathbb N\)) is defined as
Throughout this article, we abbreviate \(\Vert \varvec{\psi }\Vert _{X^K}\) as \(\Vert \varvec{\psi }\Vert _X\) for the sake of conciseness. Similarly, the inner product of \((L^2(\Omega ))^K\) is abbreviated as \((\varvec{f},\varvec{g})\):
where
For the coefficients \(\varvec{b}_{k\ell }\) and \(c_{k\ell }\) in (1.2), we assume
with \(j=0\) or \(j=1\). Later we will see that the choice of j influences the regularity of solutions.
The governing equations in (1.2) look lengthy and we shall introduce some notations for later convenience. In the sequel, we denote \(\varvec{u}:=(u_1,\dots ,u_K)^\mathrm T\) and introduce second-order elliptic operators \(\mathcal A_k\) along with first-order differential operators \(\mathcal P_k\) (\(k=1,\dots ,K\)) as
Then we can rewrite the governing equations in (1.2) as
Further introducing
we can collect the above K equations to represent (1.2) in a vector form as
In the sequel, we abbreviate \(\varvec{u}(t)=\varvec{u}(\,\cdot ,t)\) as a vector-valued \(\varvec{x}\)-dependent function.
Next, we introduce the eigensystem \(\{(\lambda _n^{(k)},\varphi _n^{(k)})\}_{n\in \mathbb N}\) of the operator \(\mathcal A_k\) (\(k=1,\dots ,K\)). More precisely, the sequence \(\{\lambda _n^{(k)}\}\subset \mathbb R_+\) satisfies
and \(\{\varphi _n^{(k)}\}\subset \mathcal D(\mathcal A_k)\) forms a complete orthonormal basis of \(L^2(\Omega )\) and satisfies
Then for \(\gamma >0\) and \(k=1,\dots ,K\), one can define the fractional power \(\mathcal A_k^\gamma \) as (e.g. Pazy [34])
which is equipped with the norm
For \(-1\le \gamma <0\) and \(k=1,\dots ,K\), we define \(\mathcal D(\mathcal A_k^\gamma )\) as the dual space of \(\mathcal D(\mathcal A_k^{-\gamma })\) similarly with the norm
where \(\langle \,\cdot ,\,\cdot \,\rangle \) denotes the pairing between \(\mathcal D(\mathcal A_k^\gamma )\) and \(\mathcal D(\mathcal A_k^{-\gamma })\). Then \(\mathcal D(\mathcal A_k^\gamma )\) is well-defined for all \(\gamma \ge -1\) and we have
We know that \(\mathcal D(\mathcal A_k^\gamma )\) is a Hilbert space and satisfies \(\mathcal D(\mathcal A_k^\gamma )\subset H^{2\gamma }(\Omega )\) for \(\gamma >0\). Especially, there hold \(\mathcal D(\mathcal A_k^{1/2})=H_0^1(\Omega )\), \(\mathcal D(\mathcal A_k^{-1/2})=H^{-1}(\Omega )\) and the norm equivalence \(\Vert \cdot \Vert _{\mathcal D(\mathcal A_k^\gamma )}\sim \Vert \cdot \Vert _{H^{2\gamma }(\Omega )}\). Similarly as before, for \(\varvec{\psi }=(\psi _1,\dots ,\psi _K)^\mathrm T\) and \(\gamma \ge -1\), we denote
and define \(\mathcal D(\mathcal A^\gamma )\) as well as its norm \(\Vert \cdot \Vert _{\mathcal D(\mathcal A^\gamma )}\) correspondingly.
Now we invoke the frequently used Mittag-Leffler function (e.g. [35])
where \(\Gamma (\,\cdot \,)\) is the Gamma function. The following estimate of \(E_{\alpha ,\beta }(z)\) is well-known.
Lemma 1
[see [35, Theorem 1.5]] Let \(0<\alpha <2\) and \(\beta >0\). Then there exists a constant \(C_0>0\) depending only on \(\alpha ,\beta \) such that
Employing the Mittag-Leffler functions, we further define the resolvent operator \(\mathcal S_k(z):L^2(\Omega )\longrightarrow L^2(\Omega )\) as well as its termwise differentiation \(\mathcal S_k'(z):L^2(\Omega )\longrightarrow L^2(\Omega )\) for \(z\in \mathbb C\setminus \{0\}\) and \(k=1,\dots ,K\) by
We recall the key properties of \(\mathcal S_k(z)\) and \(\mathcal S_k'(z)\).
Lemma 2
(see [22]) For \(k=1,\dots ,K\) and \(\psi \in L^2(\Omega ),\) the followings hold true.
-
(i)
For \(0\le \gamma \le 1,\) there exists a constant \(C_1>0\) depending only on \(\Omega ,\varvec{\alpha },\mathcal A\) such that
$$\begin{aligned} \Vert \mathcal A_k^\gamma \mathcal S_k(z)\psi \Vert _{L^2(\Omega )}&\le C_1\Vert \psi \Vert _{L^2(\Omega )}|z|^{-\alpha _k\gamma },\nonumber \\ \Vert \mathcal A_k^{\gamma -1}\mathcal S_k'(z)\psi \Vert _{L^2(\Omega )}&\le C_1\Vert \psi \Vert _{L^2(\Omega )}|z|^{\alpha _k(1-\gamma )-1} \end{aligned}$$(2.3)for all \(z\in \{z\in \mathbb C\setminus \{0\}\mid |\arg z|<\pi /2\}\).
-
(ii)
There holds \(\lim _{z\rightarrow 0}\Vert \mathcal S_k(z)\psi -\psi \Vert _{L^2(\Omega )}=0\).
In the same manner as before, for \(\varvec{\psi }=(\psi _1,\dots ,\psi _K)^\mathrm T\) we denote
Let us close the preliminaries by considering the initial-boundary value problem
for K independent equations of \(\varvec{v}=(v_1,\dots ,v_K)^\mathrm T\). The following lemma is a direct consequence of the well-posedness results for single equations.
Lemma 3
Let \(\varvec{v}_0\in (L^2(\Omega ))^K\) and \(\varvec{G}\in (L^p(0,T;L^2(\Omega )))^K\) with \(p\in [1,\infty ]\).
-
(i)
If \(\varvec{G}\equiv \varvec{0},\) then (2.4) admits a unique solution \(\varvec{v}\in L^{1/\gamma }(0,T;\mathcal D(\mathcal A^\gamma ))\) \((0\le \gamma \le 1)\) which takes the form
$$\begin{aligned} \varvec{v}(t)=\mathcal S(t)\varvec{v}_0,\quad 0<t<T \end{aligned}$$(2.5)and satisfies
$$\begin{aligned} \lim _{t\rightarrow 0}\Vert \varvec{v}(t)-\varvec{v}_0\Vert _{L^2(\Omega )}=0. \end{aligned}$$(2.6)Here we understand \(1/\gamma =\infty \) if \(\gamma =0\). Moreover, there holds
$$\begin{aligned} \Vert \varvec{v}(t)\Vert _{\mathcal D(\mathcal A^\gamma )}\le C_1\sum _{k=1}^K\Vert v_0^{(k)}\Vert _{L^2(\Omega )}t^{-\alpha _k\gamma },\quad 0<t<T,\ 0\le \gamma \le 1, \end{aligned}$$(2.7)where \(C_1\) is the constant in Lemma 2.
-
(ii)
If \(\varvec{v}_0\equiv \varvec{0},\) then (2.4) admits a unique solution \(\varvec{v}\in L^p(0,T;\mathcal D(\mathcal A^\gamma ))\) which takes the form
$$\begin{aligned} \varvec{v}(t)=-\int _0^t\mathcal A^{-1}\mathcal S'(t-\tau )\varvec{G}(\tau )\,\mathrm d\tau ,\quad 0<t<T, \end{aligned}$$(2.8)where \(\gamma =1\) if \(p=2\) and \(0\le \gamma <1\) if \(p\ne 2\). Moreover, there exists a constant \(C_2>0\) depending only on \(\Omega ,\varvec{\alpha },\mathcal A,T,\gamma \) such that
$$\begin{aligned} \Vert \varvec{v}\Vert _{L^p(0,T;\mathcal D(\mathcal A^\gamma ))}\le C_2\Vert \varvec{G}\Vert _{L^p(0,T;L^2(\Omega ))}. \end{aligned}$$(2.9)
The solution representations (2.5) and (2.8) as well as the convergence (2.6) are well-known in literature (see e.g. [39]), and the estimate (2.7) follows immediately from Lemma 2. As for the estimate (2.9), we refer to [11, Theorem 1.4] for the case of \(p=2\) and [24, Theorem 2.2] for the case of \(p\ne 2\). In particular, the constant \(C_2\) in (2.9) may tend to \(\infty \) as \(\gamma \rightarrow 1\) if \(p\ne 2\), while keeps uniform with respect to \(\gamma \) if \(p=2\).
Now we are well prepared to investigate the initial-boundary value problem (1.2) or equivalently (2.2). Following the same line of [11, 22] and regarding the lower order term \(\mathcal P\varvec{u}\) in (2.2) as a part of the source term, we employ the representations (2.5) and (2.8) to conclude that the solution to (2.2) should formally satisfy
where
This encourages us to propose the following definition of a solution to (2.2).
Definition 1
(Mild solution) Let \(\varvec{u}_0\in (L^2(\Omega ))^K,\) \(\varvec{F}\in (L^p(0,T;L^2(\Omega )))^K\) with \(p\in [1,\infty ]\) and assume (2.1) with \(j=0\). We say that \(\varvec{u}\) is a mild solution to the initial-boundary value problem (2.2) if it satisfies the integral equation (2.10).
Now we state the first main result in this article, which validates the well-posedness of the initial-boundary value problem (2.2) defined above.
Theorem 1
Under the same assumptions in Definition 1, the followings hold true.
-
(i)
If \(\varvec{F}\equiv \varvec{0},\) then there exists a unique mild solution \(\varvec{u}\in L^{1/\gamma }(0,T;\mathcal D(\mathcal A^\gamma ))\) \((0\le \gamma \le 1)\) to (2.2) satisfying
$$\begin{aligned} \lim _{t\rightarrow 0}\Vert \varvec{u}(t)-\varvec{u}_0\Vert _{L^2(\Omega )}=0. \end{aligned}$$(2.12)Here we understand \(1/\gamma =\infty \) if \(\gamma =0\). Moreover, there exist constants \(C>0\) and \(C_{T,\gamma }>0\) depending only on \(\Omega ,\varvec{\alpha },\mathcal A,\mathcal P\) and \(\Omega ,\varvec{\alpha },\mathcal A,\mathcal P,T,\gamma ,\) respectively such that
$$\begin{aligned}{} & {} \Vert \varvec{u}(t)\Vert _{\mathcal D(\mathcal A^\gamma )}\le C\exp (C\,t)\Vert \varvec{u}_0\Vert _{L^2(\Omega )}t^{-\alpha _1\gamma },\quad 0<t<T,\ 0\le \gamma <1, \qquad \qquad \end{aligned}$$(2.13)$$\begin{aligned}{} & {} \Vert \varvec{u}\Vert _{L^{1/\gamma }(0,T;\mathcal D(\mathcal A^\gamma ))}\le C_{T,\gamma }\Vert \varvec{u}_0\Vert _{L^2(\Omega )},\quad 0\le \gamma \le 1. \end{aligned}$$(2.14)If we further assume (2.1) with \(j=1,\) then (2.13) also holds for \(\gamma =1\). Moreover, the solution \(\varvec{u}:(0,T]\longrightarrow \mathcal D(\mathcal A^\gamma )\) is analytic for \(\gamma \in [0,1)\).
-
(ii)
Let \(\gamma =1\) if \(p=2\) and \(0\le \gamma <1\) if \(p\ne 2\). If \(\varvec{u}_0\equiv \varvec{0},\) then (2.2) admits a unique mild solution \(\varvec{u}\in L^p(0,T;\mathcal D(\mathcal A^\gamma ))\). Moreover, there exists a constant \(C_{T,\gamma }>0\) depending only on \(\Omega ,\varvec{\alpha },\mathcal A,\mathcal P,T,\gamma \) such that
$$\begin{aligned} \Vert \varvec{u}\Vert _{L^p(0,T;\mathcal D(\mathcal A^\gamma ))}\le C_{T,\gamma }\Vert \varvec{F}\Vert _{L^p(0,T;L^2(\Omega ))}. \end{aligned}$$(2.15)
In the above theorem, the system (2.2) is coupled up to first derivatives in space. In the sequel, we additionally assume
in (2.2), that is, we restrict (2.2) to a weakly coupled system with t-independent zeroth order coefficients. For simplicity, by introducing a matrix-valued function \(\varvec{C}:=(c_{k\ell })_{1\le k,\ell \le K}\), it is obvious that \(\mathcal P\varvec{u}=\varvec{C}\varvec{u}\) in (2.2).
Under the above assumption, we discuss the long-time asymptotic behavior of the solution to (2.2). The same topics were considered by many authors in the case of a single equation (see e.g. [24, 39] and the references therein). On the basis of Theorem 1, we establish the following theorem.
Theorem 2
Let \(T=+\infty ,\) \(\varvec{F}=\varvec{0}\) and \(\varvec{u}_0\in (L^2(\Omega ))^K\) in (2.2). Assume (2.16) and that \(\varvec{C}=(c_{k\ell })_{1\le k,\ell \le K}\in (L^\infty (\Omega ))^{K\times K}\) is negative semi-definite in \(\Omega \). Then the unique solution to (2.2) admits the asymptotic behavior
for arbitrarily fixed \(t_0>0\). Here the constant \(C>0\) is independent of \(t,\varvec{u}_0\) but depends on \(t_0,K,\Omega ,\varvec{\alpha },\varvec{C}\) and \(\mathcal A\). Moreover, the decay rate \(t^{-\alpha _K}\) is sharp provided that \(u_0^{(K)}\not \equiv 0\) in \(\Omega \).
The above theorem asserts that the decay rate of the solution \(\varvec{u}\) to (2.2) is \(t^{-\alpha _K}\) at best as \(t\rightarrow +\infty \), where \(\alpha _K\) is the lowest order of the time-fractional derivatives. This means that if \(\Vert \varvec{u}(\,\cdot \,,t)\Vert _{H^2(\Omega )}=o(t^{-\alpha _K})\) as \(t\rightarrow +\infty \), then \(\varvec{u}\) must vanish identically in \(\Omega \times \mathbb R_+\), so that we call the decay rate \(t^{-\alpha _K}\) sharp. This coincides with the result in the multi-term case considered by [24] in which the decay rate of the solution was shown to be dominated only by the lowest order of the fractional derivatives.
On the same direction, next we consider the following inverse problem.
Problem 1
Let \(\varvec{u}\) satisfy (2.2) and fix \(T>0,\) \(\varvec{x}_0\in \Omega ,\) \(k_0\in \{1,\dots ,K\}\) arbitrarily. Determine the orders \(\varvec{\alpha }=(\alpha _1,\dots ,\alpha _K)^\mathrm T\) of (2.2) by the single point observation of the \(k_0\)-th component \(u_{k_0}\) of \(\varvec{u}\) at \(\{\varvec{x}_0\}\times (0,T)\).
The orders of the Caputo derivatives in time-fractional partial differential equations are related to important physical parameters describing e.g. the heterogeneity of media, whose determination is of great interest from both applied and mathematical aspects. Therefore, similar inverse problems have been considered intensively in the case of a single equation (see e.g. [13, 16, 23, 26, 27, 30] and the survey [25]). Here we attempt to extend the result from a single equation to a weakly coupled system. Since the components of the solution \(\varvec{u}\) interact each other, in Problem 1 we ask the possibility of identifying all the orders \(\varvec{\alpha }\) by only observing a single component. The following theorem gives an affirmative answer to the uniqueness for Problem 1.
Theorem 3
Let \(d=1,2,3,\) \(\varvec{F}=\varvec{0}\) and \(\varvec{u}_0\!\in \!(L^2(\Omega ))^K\!\) satisfy \(u_0^{(k)}\!\ge \!0,\not \equiv 0\) in
\(\Omega \) for \(k=1,\dots ,K\). Assume (2.16) and that \(\varvec{C}=(c_{k\ell })_{1\le k,\ell \le K}\!\in \!(L^\infty (\Omega ))^{K\times K}\) satisfies
Further, let \(\varvec{u}\) and \(\varvec{v}\) be the solutions to (2.2) with the fractional orders \(\varvec{\alpha }\) and \(\varvec{\beta },\) respectively. Then for arbitrarily fixed \(T>0,\) \(\varvec{x}_0\in \Omega \) and \(k_0\in \{1,\dots ,K\},\) we conclude that \(u_{k_0}=v_{k_0}\) at \(\{\varvec{x}_0\}\times (0,T)\) implies \(\varvec{\alpha }=\varvec{\beta }\).
In the above theorem, we additionally assume that the dimension \(d=1,2,3\) since we need the Sobolev embedding \(H^2(\Omega )\subset C(\overline{\Omega })\) in the proof. Theorem 3 also holds true for \(d>3\) provided that the coefficients in \(\mathcal A,\varvec{C}\) and the initial value \(\varvec{u}_0\) are sufficiently smooth, but here we omit the details. Moreover, we interpret a function \(f\in L^2(\Omega )\) satisfying \(f\ge 0,\not \equiv 0\) as \(f\ge 0\) in \(\Omega \) and the measure of \(\{\varvec{x}\in \Omega \mid f(\varvec{x})>0\}\) is not zero.
Remark 1
The conditions (2.17)–(2.18) imposed on the matrix \(\varvec{C}\) are sufficient but not necessary for Theorem 3. Such conditions are understood as cooperativeness in a coupled system. Actually, one can find a similar condition
and (2.18) in many other papers (e.g. [8, 43]) which are known as classical sufficient conditions for the maximum principle for weakly coupled elliptic systems. However, we need a slightly stronger condition (2.17) than (2.19) in Theorem 3 because we attempt to determine all the orders by only one component measurement of the solution, which requires that the system (2.2) should not be decoupled (i.e. the decoupled case \(c_{k\ell }\equiv 0\) for all \(k\ne \ell \) should be excluded). On the other hand, it is readily seen from the proof that under the weaker assumption (2.19) (i.e. the decoupled case is allowed), one can obtain the uniqueness of determining the orders by observing all the components of \(\varvec{u}\). Moreover, as we state in the following corollary, it is possible to choose different observation point for each component, that is, we can observe the k-th component \(u_k\) at \(\varvec{x}_0^{(k)}\) for each k.
Corollary 1
Under the same assumptions on \(d,\varvec{F},\varvec{u}_0\) as those in Theorem 3, assume (2.16) and that \(\varvec{C}=(c_{k\ell })_{1\le k,\ell \le K}\in (L^\infty (\Omega ))^{K\times K}\) satisfies the conditions (2.18) and (2.19). Further, let \(\varvec{u}\) and \(\varvec{v}\) be the solutions to (2.2) with the fractional orders \(\varvec{\alpha }\) and \(\varvec{\beta },\) respectively. Then for arbitrarily fixed \(T>0\) and \(\varvec{x}_0^{(1)},\dots , \varvec{x}_0^{(K)}\in \Omega ,\) we conclude that \(u_k(\varvec{x}_0^{(k)},t)=v_k(\varvec{x}_0^{(k)},t)\) for all \(k=1,\dots ,K\) and \(t\in (0,T)\) implies \(\varvec{\alpha }=\varvec{\beta }\).
3 Proof of Theorem 1
In the integral equation (2.10), it is readily seen that \(\varvec{w}\) relies only on \(\varvec{u}_0\) and \(\varvec{F}\), which is well analyzed in view of Lemma 3. On the other hand, the term \(\mathcal Q\varvec{u}\) involves the solution \(\varvec{u}\) itself, which is more essential in the discussion of the unique existence of the mild solution. To this end, we should first investigate the operator \(\mathcal Q\).
Lemma 4
Let \(j=0\) in the condition (2.1) and \(1/2\le \gamma <1,\) \(p\in [1,+\infty ]\) and
be the linear operator defined by (2.11). Then for any \(m\in \mathbb N\) and a.e. \(t\in (0,T),\) there holds
for \(\varvec{v}\in L^p(0,T;\mathcal D(\mathcal A^\gamma )),\) where
Here \(C_1\) is the constant in Lemma 2.
Proof
Let us show (3.1) by induction and first deal with the case of \(m=1\). Noticing that \(\mathcal P\) is a first-order differential operator with \(L^\infty \) coefficients, we utilize (2.3) in Lemma 2 to estimate for a.e. \(t\in (0,T)\) that
By the definition of the Riemann-Liouville fractional integral, we further derive
This verifies (3.1) for \(m=1\) by the definition (3.2) of M. For \(m\ge 2\), assume that (3.1) holds for \(\ell =1,\dots ,m-1\). Then for a.e. \(t\in (0,T)\), we employ the inductive assumption to estimate
Here the last inequality is due to the estimate (3.3). This indicates that (3.1) holds for any \(m\in \mathbb N\), which completes the proof. \(\square \)
On the basis of (2.10), we can construct a sequence \(\{\varvec{u}^{(m)}\}_{m=0}^\infty \) iteratively by
Our strategy is to show the convergence of \(\{\varvec{u}^{(m)}\}\) in some function spaces, whose limit is indeed a mild solution of (2.2). For proving the time-analyticity of the solution, it is convenient to consider the above iteration (3.4) in the complex plane. To this end, we first change variables and rewrite (3.4) as
Moreover, we extend the variable t from (0, T) to the sector \(S:=\{z\in \mathbb C\setminus \{0\}\mid |\arg z|<\pi /2\}\) to obtain
To proceed, we shall give some estimates for \(\varvec{u}^{(m)}\) in appropriate spaces.
Lemma 5
Under the assumptions in Theorem 1, define a sequence \(\{\varvec{u}^{(m)}\}_{m=0}^\infty \) by (3.4). Let \(C_1\) and \(C_2\) be the constants in Lemmas 2 and 3, respectively, and M be defined by (3.2).
(i) If \(\varvec{F}\equiv \varvec{0},\) then for \(m=0,1,\dots \) and \(1/2\le \gamma <1,\) there holds
for \(z\in S\) satisfying \(|z|\le T,\) where \(\beta _k:=\alpha _k(1-\gamma ),\) \(\varvec{\beta }=(\beta _1,\dots ,\beta _K)^\mathrm T,\) \(\varvec{j}=(j_1,\dots ,j_K)^\mathrm T\in (\mathbb N\cup \{0\})^K\) and
(ii) If \(\varvec{u}_0\equiv \varvec{0},\) let \(\gamma =1\) for \(p=2\) and \(0\le \gamma <1\) for \(p\ne 2,\) then for \(m=0,1,\dots ,\) there holds
where \(\overline{\beta }:=\max \{\beta _1,\dots ,\beta _K\},\) \(\underline{\beta }:=\min \{\beta _1,\dots ,\beta _K\}\) and
Proof
(i) If \(\varvec{F}\equiv \varvec{0}\), then \(\varvec{w}(z)=\mathcal S(z)\varvec{u}_0\). Taking advantage of the estimate (2.7) in Lemma 3, we obtain
which is exactly (3.5) for \(m=0\). Next, for any \(m\in \mathbb N\), using a method similar to estimating \(\mathcal Q\varvec{v}(t)\) in Lemma 4, we can get
which, combined with the inductive assumption, implies that
Moreover, reminding the definition of the Riemann-Liouville integral operator, we can rewrite the above terms as
in view of the definition of the constant M in (3.2). We finish the proof of the first part of the lemma.
(ii) In the case of \(\varvec{u}_0\equiv \varvec{0}\), let \(\gamma =1\) for \(p=2\) and \(0\le \gamma <1\) for \(p\ne 2\). Then the estimate (2.9) in Lemma 3 directly implies
which is exactly (3.6) for \(m=0\). For \(m\in \mathbb N\), it is readily seen from (3.4) that \(\varvec{u}^{(1)}=\varvec{w}\) and
for \(m\in \mathbb N\). Then applying Lemma 4 to (3.7) indicates
for a.e. \(t\in (0,T)\). Then we employ Young’s convolution inequality to obtain
Now Stirling’s formula (e.g. Abramowitz and Stegun [1, p.257])
yields
with a positive constant \(\widetilde{C} = \min _{y_1\ge y_2\ge 0}(\Gamma (1+y_1)/\Gamma (1+y_2))\). Together with the multinomial theorem
it follows that
where \(\overline{\beta }=\max \{\beta _1,\dots ,\beta _K\}\). Collecting all the above estimates, we finally arrive at
which finishes the proof. \(\square \)
Now we are ready to complete the proof of Theorem 1. Throughout this section, by \(C>0\) and \(C_{T,\gamma }>0\) we refer to generic constants depending only on \(\Omega ,\varvec{\alpha },\mathcal A,\mathcal P\) and \(\Omega ,\varvec{\alpha },\mathcal A,\mathcal P,T,\gamma \), respectively, which may change from line to line.
Proof of Theorem 1(i)
Let \(\varvec{u}_0\in (L^2(\Omega ))^K\) and \(\varvec{F}\equiv \varvec{0}\).
Case 1 First we assume \(\mathcal P\) is a first-order differential operator with \(L^\infty \) coefficients. For clarity, we further divide the proof into three steps.
Step 1 We claim that for \(1/2\le \gamma <1\), the sequence \(\{\varvec{u}^{(m)}\}\) defined by (3.4) converges in \(L^{1/\gamma }(0,T;\mathcal D(\mathcal A^\gamma ))\), whose limit \(\varvec{u}\!\in \! L^{1/\gamma }(0,T;\mathcal D(\mathcal A^\gamma ))\) is a mild solution to (2.2) satisfying the estimates (2.13)–(2.14).
Indeed, by the completeness of \(\mathcal D(\mathcal A^\gamma )\), it suffices to verify that \(\{\varvec{u}^{(m)}(z)\}\) is a Cauchy sequence in \(\mathcal D(\mathcal A^\gamma )\) in any compact subset of S. To this end, we pick \(m,m'\in \mathbb N\) (\(m<m'\)) and utilize the estimate (3.5) in Lemma 5 to estimate
Now let us invoke the definition of the multinomial Mittag-Leffler function, which was first introduced by Hadid and Luchko in [12] (see also [31])
Then we immediately see that the summation in the above estimate coincides with the remainder after the m-th term in the definition of the multinomial Mittag-Leffler function \(E_{\varvec{\beta },1-\alpha _1\gamma }(M\,|z|^{\beta _1},\dots ,\) \(M\,|z|^{\beta _K})\), which converges uniformly in any compact set of S. In other words, we conclude
Thus, the sequence \(\{\varvec{u}^{(m)}(t)\}\) converges to some limit \(\varvec{u}(t)\in \mathcal D(\mathcal A^\gamma )\) for a.e. \(t\in (0,T)\) and \(\varvec{u}:(0,T]\longrightarrow \mathcal D(\mathcal A^\gamma )\) is analytic. Moreover, following the argument used in the proof of [22, Theorem 2.3], we further obtain
for \(0\le \gamma <1\). Therefore, it is straightforward to deduce (2.14) by
Finally, passing \(m\rightarrow \infty \) in (3.4), it is readily seen that \(\varvec{u}\) satisfies (2.10) and thus it is a mild solution to (2.2) according to Definition 1.
Now for \(0\le \gamma <1/2\), we perform \(\mathcal A^\gamma \) on both sides of (2.10) and calculate directly to find
In view of the estimates in Lemma 3 and by using the argument in the proof of Lemma 4, a direct calculation yields
Thus, by the generalized Grönwall’s inequality (e.g. [14, Lemma 7.1.1]), we obtain
Finally, we can obtain
Step 2 Next we demonstrate the uniqueness of the mild solution and the convergence (2.12).
For the uniqueness, assume that \(\varvec{v}\) is another mild solution to (2.2). Taking difference between the integral equations (2.10) for \(\varvec{u}\) and \(\varvec{v}\), we obtain
Then for \(\gamma \in [1/2,1)\) applying Lemma 4 with \(m=1\) immediately yields
Thus we can employ Grönwall’s inequality with a weakly singular kernel (e.g. [14, Lemma 7.1.1]) to conclude \(\varvec{u}\equiv \varvec{v}\).
Now we turn to the convergence issue (2.12). We have
where \(\lim _{t\rightarrow 0}\Vert \varvec{w}(t)-\varvec{u}_0\Vert _{L^2(\Omega )}=0\) is guaranteed by (2.6) in Lemma 3. For \(\mathcal Q\varvec{u}(t)\), again we apply Lemma 4 with \(m=1\) and employ (3.8) with \(\gamma =0\) to dominate
Thus (2.12) is verified.
Step 3 Finally, we improve the \(\varvec{x}\)-regularity of \(\varvec{u}\) to show \(\varvec{u}\in L^1(0,T;\mathcal D(\mathcal A))\) and the estimate (2.14) for \(\gamma =1\). Recall that now
According to the estimate (2.7) in Lemma 3(i), we immediately see
On the other hand, by the definition of \(\mathcal Q\) and Lemma 3(ii), it reveals that \(\varvec{y}\) satisfies the initial-boundary value problem
Here the initial condition is understood in the sense of (3.9). Notice that in Step 1, we already obtained \(\varvec{u}\in L^{1/\gamma }(0,T;\mathcal D(\mathcal A^\gamma ))\) along with (2.14) for \(0\le \gamma <1\), and in particular
Then for \(\gamma =1\), we can employ Lemma 3(ii) with \(p=2\) to derive
Finally, combining the above inequality with (3.10) leads to \(\varvec{u}=\varvec{w}+\varvec{y}\in L^1(0,T;\mathcal D(\mathcal A))\) and the estimate (2.14) for \(\gamma =1\).
Case 2 Now we assume \(\mathcal P\) is a first-order differential operator with \(W^{1,\infty }\) coefficients in \(\varvec{x}\). Indeed, the key estimate
analogous to that in Lemma 4 still holds true in the case of \(1/2<\gamma \le 1\). Repeating the same argument as that in Step 1, we can easily conclude that the mild solution \(\varvec{u}\) belongs to \(L^{1/\gamma }(0,T;\mathcal D(\mathcal A^\gamma ))\) and satisfies (2.13) also for \(0\le \gamma \le 1\). This completes the proof of Theorem 1(i). \(\square \)
Proof of Theorem 1(ii)
Let \(\varvec{u}_0\equiv \varvec{0}\) and \(\varvec{F}\in (L^p(0,T;L^2(\Omega )))^K\) with \(p\in [1,+\infty ]\). Throughout this proof, we restrict \(0\le \gamma <1\) for \(p\ne 2\) and allow \(\gamma =1\) for \(p=2\).
We argue rather similarly as the previous proof and we claim that the sequence \(\{\varvec{u}^{(m)}\}\) defined by (3.4) converges in \(L^p(0,T;\mathcal D(\mathcal A^\gamma ))\), whose limit \(\varvec{u}\in L^p(0,T;\mathcal D(\mathcal A^\gamma ))\) is the unique mild solution to (2.2) satisfying the estimate (2.15).
Indeed, we pick \(m,m'\in \mathbb N\) (\(m<m'\)) and turn to the estimate (3.6) in Lemma 5 to estimate
Again noticing that the above summation coincides with the remainder after the m-th term in the Mittag-Leffler function \(E_{\underline{\beta },1}(M K\max \{1,T^{\overline{\beta }}\})\), we can easily conclude
due to the uniform convergence of \(E_{\underline{\beta },1}(M K\max \{1,T^{\overline{\beta }}\})\). Therefore, \(\{\varvec{u}^{(m)}\}\) is a Cauchy sequence in \(L^p(0,T;\mathcal D(\mathcal A^\gamma ))\) and thus converges to some limit \(\varvec{u}\in L^p(0,T;\mathcal D(\mathcal A^\gamma ))\), which is obviously a mild solution to (2.2). Moreover, similarly we deduce
where we used Lemma 1 again to treat \(E_{\underline{\beta },1}(M K\max \{1,T^{\overline{\beta }}\})\). This completes the proof of (2.15). The uniqueness of \(\varvec{u}\) follows from identically the same argument as the proof of Theorem 1(i) and this completes the proof of Theorem 1(ii). \(\square \)
4 Proof of Theorem 2
Throughout this section, we assume (2.16) and consider the long-time asymptotic behavior of the solution to the following initial-boundary value problem
where we recall \(\varvec{C}=(c_{k\ell })_{1\le k,\ell \le K}\in (L^\infty (\Omega ))^{K\times K}\). Based on the results in the above section, we know that the solution \(\varvec{u}\) to (2.2) uniquely exists in \(H_0^1(\Omega )\cap H^{2\gamma }(\Omega )\) for any \(t\in (0,T]\) and admits the estimate
with \(\gamma \in [0,1)\). Thus the asymptotic behavior as \(t\rightarrow 0\) is related to the largest order of the fractional derivatives. However, we know nothing about the long-time asymptotic behavior from the above estimate except that the constant in (4.2) depends on T, which may tends to infinity as \(T\rightarrow +\infty \). Therefore, we shall employ the Laplace transform
to investigate the long-time asymptotic behavior of the solution to (4.1).
Before giving the proof of Theorem 2, we make some necessary settings. We introduce the sector
with an angel \(\theta \in (\frac{\pi }{2},\min \{\frac{\pi }{2\alpha _1},\pi \})\). We apply the Laplace transform to (4.1) and use the formula
to derive the boundary value problem for a coupled elliptic system
with a parameter \(s\in \{\textrm{Re}\,s>s_0\}\). Here we abbreviate
and \(s_0\ge C\) with the constant C in (2.13). As before, we simply write \(\widehat{\varvec{u}}(\,\cdot \,;s)\) as \(\widehat{\varvec{u}}(s)\).
We check at once that \(\widehat{\varvec{u}}:\{\textrm{Re}\,s>s_0\}\longrightarrow (L^2(\Omega ))^K\) is analytic, which is clear from the property of the Laplace transform. Moreover, we claim that \(\widehat{\varvec{u}}(s)\) (\(\textrm{Re}\,s>s_0\)) can be analytically extended to the sector \(S_\theta \). Namely, the following lemma holds.
Lemma 6
Under the same assumptions in Theorem 2, for any \(s\in S_\theta \) the boundary value problem (4.3) admits a unique weak solution \(\widehat{\varvec{u}}(s)\in (H^2(\Omega ))^K\) and \(\widehat{\varvec{u}}:S_\theta \longrightarrow (H^2(\Omega ))^K\) is analytic. Moreover, there exists a constant \(C'>0\) depending only on \(d,\Omega ,\theta ,\varvec{\alpha },\varvec{C}\) and \(\mathcal A\) such that
Proof
Firstly for any fixed \(s\in S_\theta \), we define a bilinear form
by
where \(\varvec{\psi }=(\psi _1,\psi _2,\cdots ,\psi _K)^\mathrm T,\varvec{\varphi }=(\varphi _1,\varphi _2,\cdots ,\varphi _K)^\mathrm T\in (H_0^1(\Omega ))^K\). By using the Poincaré inequality and Hölder’s inequality, we have
Here the constant \(C(s)>0\) depends on s. Furthermore, taking \(\varvec{\varphi }=\varvec{\psi }\) implies
and hence
Since the matrix \(\varvec{C}\) is assumed to be negative semi-definite, it follows that
Further noticing that \(\textrm{Re}\,s^{\alpha _k}=r^{\alpha _k}\cos \alpha _k\rho >0\) (\(k=1,2,\cdots ,K\)) for \(s=r\,\mathrm e^{\mathrm i\rho }\in S_\theta \) with \(\theta \in (\frac{\pi }{2},\min \{\frac{\pi }{2\alpha _1},\pi \})\), we employ the above inequality and the ellipticity of \(\mathcal A_k\) to deduce
for some positive constant \(C_0\), where we used the Poincaré inequality in the last inequality. Consequently, the Lax-Milgram theorem yields that for any \(s\in S_\theta \), there exists a unique \(\widehat{\varvec{u}}(s)\in (H_0^1(\Omega ))^K\) such that
which implies
in view of Hölder’s inequality, and consequently
Furthermore, since \(\varvec{u}_0\in (L^2(\Omega ))^K\), then by the regularity estimate for elliptic equations (e.g. [7]), we see that \(\widehat{\varvec{u}}(s)\in (H^2(\Omega ))^K\) with the estimate
Similar to the argument used in the proof of [36, Theorem 0.1], we can prove that the solution \(\widehat{\varvec{u}}(s)\) is analytic in \(s\in S_\theta \). The proof of Lemma 6 is completed. \(\square \)
Now we can proceed to complete the proof of Theorem 2. From Lemma 6, we see that there exists a unique analytical extension of \(\widehat{\varvec{u}}(s)\) from \(\{\textrm{Re}\,s>s_0\}\) to \(S_\theta \). By the same notation we denote this extension.
By Fourier-Mellin formula (e.g. [40]) for the inverse Laplace transform, we have
Since \(\widehat{\varvec{u}}(s)\) is analytic in the sector \(S_\theta \), it follows from the residue theorem (e.g. [38]) that for \(t>0\), \(\varvec{u}(t)\) can be represented by an integral on the contour
with \(\varepsilon >0\). In other words, there holds
where the shift in the line of integration is justified by the estimate (4.4). Moreover, again from the estimate (4.4), we can pass \(\varepsilon \rightarrow 0\) to obtain
Then we conclude from (4.4) that
and thus
in view of \(\cos \theta <0\) since \(\frac{\pi }{2}<\theta <\min \{\frac{\pi }{2\alpha _1},\pi \}\). Moreover, in particular we obtain
for any fixed \(t_0>0\). Here \(C>0\) is a new generic constant depending also on \(t_0\).
Finally, let us turn to proving the sharpness of the decay rate \(t^{-\alpha _K}\) by contradiction. If the decay rate \(t^{-\alpha _K}\) is not sharp, then there exists a nonnegative and bounded function f in \([0,+\infty )\) satisfying \(\lim _{t\rightarrow +\infty }f(t)=0\) and
Then we see that the Laplace transform \(\widehat{\varvec{u}}(s)\) admits the following estimate
where
Moreover, we claim that
which will be verified in Appendix 1. Then immediately we see that
Now multiplying \(s^{1-\alpha _K}\) on both sides of (4.3) and passing \(s\rightarrow 0\) imply
and especially \(u_0^{(K)}\equiv 0\) in \(\Omega \), which is a contradiction. This completes the proof of Theorem 2.
5 Proof of Theorem 3
In this section, we prove the unique determination of the orders by the observation of \(u_{k_0}\) at \(\{\varvec{x}_0\}\times (0,T)\). By noting the time analyticity of the solution to (2.2), we can uniquely extend the solution \(\varvec{u}\) from (0, T) to \(\mathbb R_+\). Thus, by applying the Laplace transform on both sides of the equation (2.2) with \(\varvec{\alpha }=(\alpha _1,\dots ,\alpha _K)^{\mathrm T}\) and \(\varvec{\beta }=(\beta _1,\dots ,\beta _K)^{\mathrm T}\), respectively and recalling the notation \(s^{\varvec{\alpha }}=\textrm{diag}(s^{\alpha _1},\dots ,s^{\alpha _K})\), we find
for \(s>0\). By taking the difference between the above problems, it turns out that \((\widehat{\varvec{u}}-\widehat{\varvec{v}})(s)\) satisfies
We prove by contradiction. Let us assume that \(\varvec{\alpha }\ne \varvec{\beta }\). Then there exists an index \(k_1\in \{1,\dots ,K\}\) such that
In other words, \(\alpha _{k_1}\) is the smallest order in \(\varvec{\alpha }\) such that \(\alpha _k\ne \beta _k\). Without loss of generality, we assume \(\alpha _{k_1}<\beta _{k_1}\).
Moreover, we introduce the following auxiliary function \(\varvec{w}\) defined by
which shares the same sign as that of \((\widehat{\varvec{u}}-\widehat{\varvec{v}})(s)\) for each component. Multiplying both sides of the governing equation in (5.1) by \(s/(s^{\alpha _{k_1}}-s^{\beta _{k_1}})\), we see that \(\varvec{w}\) satisfies the boundary value problem
where
From the property of the Laplace transform, it follows that \(\widehat{\varvec{u}}(s)\) and \(\widehat{\varvec{v}}(s)\) are analytic with respect to \(s>0\), so that \(\varvec{w}(s)\) is continuous for \(s>0\) in view of its definition.
Next we discuss the limit of \(\varvec{w}(s)\) as \(s\rightarrow 0\). We claim that
where \(\varvec{w}_0=(w_0^{(1)},\dots ,w_0^{(K)})^\mathrm T\) solves the following boundary value problem:
Here \(\varvec{D}=(d_{k\ell })_{1\le k,\ell \le K}\) is a diagonal matrix with
In fact, letting \(\varvec{z}(s):=\varvec{w}(s)-\varvec{w}_0\) (\(s>0\)), we take the difference between (5.2) and (5.3) to obtain
where
By the conditions (2.17)–(2.18) in Theorem 3, we can apply the maximum principle for coupled elliptic equations (e.g. [8]) to conclude that the operator \(\mathcal {A}-\varvec{C}+s^{\varvec{\alpha }}\) is invertible for any \(s>0\). Thus, the regularity estimate for elliptic equations (e.g. [7]) implies
Here the generic constant \(C>0\) also depends on the \(L^\infty \)-norm of the coefficients in (5.4). However, henceforth we consider only small s (e.g. \(0<s\le 1\)) so that the constant C is independent of s. It remains to check that \(\Vert \varvec{H}(s)\Vert _{L^2(\Omega )}\) vanishes as \(s\rightarrow 0\). By noting the definition of the diagonal matrix \(\varvec{D}\), we find that the k-th entry of the diagonal matrix \(\varvec{\Sigma }-\varvec{D}\) in (5.5) reads
Then the norm of the first term in \(\varvec{H}(s)\) admits
Moreover, in view of the definition of \(\varvec{w}\), we estimate the norm of the second term in \(\varvec{H}(s)\) as follows
Here in the last inequality we used the estimate (4.5) for \(\widehat{\varvec{v}}\). Noting that \(\varvec{w}_0\) is the solution to (5.3), again by the regularity estimate for elliptic equations, we readily find that
Combining the above estimates and noticing the fact that
we obtain \(\lim _{s\rightarrow 0}\Vert \varvec{H}(s)\Vert _{L^2(\Omega )}= 0\) and hence \(\lim _{s\rightarrow 0}\Vert \varvec{z}(s)\Vert _{H^2(\Omega )}= 0\).
From Lemma 7 in Appendix 1, we conclude that \(\varvec{w}_0>\varvec{0}\) in \(\Omega \), that is, \(w_0^{(k)}>0\) in \(\Omega \) for all \(k=1,\dots ,K\). Then at the observation point \(\varvec{x}_0\in \Omega \), from the relation \(\varvec{w}_0=\lim _{s\rightarrow 0}\varvec{w}(s)\) in \((H^2(\Omega ))^K\subset (C(\overline{\Omega }))^K\), we have
This indicates that we can choose a small \(\varepsilon >0\) such that \(w_k(\varvec{x}_0;s)>0\) for any \(s\in (0,\varepsilon )\) and \(k=1,\dots ,K\), which implies that
Therefore, we have \(\widehat{\varvec{u}}(\varvec{x}_0;s)>\widehat{\varvec{v}}(\varvec{x}_0;s)\) for all \(s\in (0,\varepsilon )\), that is,
This yields a contradiction since \(u_{k_0}=v_{k_0}\) at \(\{\varvec{x}_0\}\times (0,T)\) implies \(u_{k_0}=v_{k_0}\) at \(\{\varvec{x}_0\}\times \mathbb R_+\) by the time analyticity, and hence \(\widehat{u_{k_0}}(\varvec{x}_0;s)=\widehat{v_{k_0}}(\varvec{x}_0;s)\) for any \(s>0\). The proof of Theorem 3 is completed.
6 Conclusions
In this paper, we investigate the fundamental properties of the initial-boundary value problem (1.2) for a moderately coupled system of linear time-fractional diffusion equations. In view of the unique existence, limited smoothing property and long-time asymptotic behavior, it reveals that the coupled system inherits almost the same properties as those of a single equation, especially those of a multi-term time-fractional diffusion equation. Employing the coupling effect, we also established the uniqueness for an inverse problem on the simultaneous determination of multiple parameters by the observation of a single component of the solution. These indicate the similarity and difference between a single equation and a coupled system of time-fractional PDEs.
Parallel to the case of single equations, several topics can be enumerated as future topics. For instance, in order to construct the super/subsolution methods for time-fractional reaction-diffusion systems, it is essential to develop the comparison principle or, if possible, even the strong maximum principle similarly to that of traditional ones. Regarding the unique continuation property, it worths considering the possibility of assuming the vanishing of only a part of components.
It is an interesting question to ask what happens when we allow one or several orders in (1.2) to be exactly 1. Actually one can readily check from Sect. 5 that we can choose some of the orders as 1 in the part of inverse problem. Although one has to reconsider some estimates in the part of forward problem, we conjecture that the results proved in this article still hold true even though the largest order equals to 1.
We close this article with mentioning another direction of generalizing the orders of time derivatives to (1, 2), i.e., coupled time-fractional wave systems modeling viscoelastic wave propagation (e.g. [3, 19]). In these models, the orders \(\alpha _k\) can be the same, whereas the systems should be strongly coupled up to the second spatial derivatives for elasticity. Regardless of their difficulty, it is important to understand the mechanism between viscosity and elasticity.
References
Abramowitz, M., Stegun, I.A.: Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Dover Publications, New York (1964)
Adams, R.A.: Sobolev Spaces. Academic Press, New York (1975)
Brown, T.S., Du, S., Eruslu, H., Sayas, F.-J.: Analysis of models for viscoelastic wave propagation. Appl. Math. Nonlinear Sci. 3(1), 55–96 (2018). https://doi.org/10.21042/AMNS.2018.1.00006
Ei, S.-I., Ishii, H.: The motion of weakly interacting localized patterns for reaction-diffusion systems with nonlocal effect. Discrete Contin. Dyn. Syst. Ser. B 26(1), 173–190 (2021). https://doi.org/10.3934/dcdsb.2020329
Ei, S.-I., Ishii, H., Kondo, S., Miura, T., Tanaka, Y.: Effective nonlocal kernels on reaction-diffusion networks. J. Theoret. Biol. 509, 110496 (2021). https://doi.org/10.1016/j.jtbi.2020.110496
Eidelman, S.D., Kochubei, A.N.: Cauchy problem for fractional diffusion equations. J. Differential Equations 199(2), 211–255 (2004). https://doi.org/10.1016/j.jde.2003.12.002
Evans, L.C.: Partial Differential Equations. AMS, Providence (1998)
De Figueiredo, D.G., Mitidieri, E.: Maximum principles for linear elliptic systems. In: Costa, D. (eds) Djairo G. de Figueiredo - Selected Papers, pp. 291–322. Springer, Cham (1990). https://doi.org/10.1007/978-3-319-02856-9_21
Gal, C.G., Warma, M.: Fractional-in-Time Semilinear Parabolic Equations and Applications. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-45043-4
Gilbarg, D., Trudinger, N.S.: Elliptic Partial Differential Equations of Second Order. Springer Berlin, Heidelberg (2001). https://doi.org/10.1007/978-3-642-61798-0
Gorenflo, R., Luchko, Y., Yamamoto, M.: Time-fractional diffusion equation in the fractional Sobolev spaces. Fract. Calc. Appl. Anal. 18(3), 799–820 (2015). https://doi.org/10.1515/fca-2015-0048
Hadid, S.B., Luchko, Y.: An operational method for solving fractional differential equations of an arbitrary real order. Panamer. Math. J. 6(1), 57–73 (1996)
Hatano, Y., Nakagawa, J., Wang, S., Yamamoto, M.: Determination of order in fractional diffusion equation. J. Math-for-Ind. 5A, 51–57 (2013)
Henry, D.: Geometric Theory of Semilinear Parabolic Equations. Springer, Berlin (1981). https://doi.org/10.1007/BFb0089647
Jin, B.: Fractional Differential Equations — An Approach via Fractional Derivatives. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-76043-4
Jin, B., Kian, Y.: Recovery of the order of derivation for fractional diffusion equations in an unknown medium. SIAM J. Appl. Math. 82(3), 1045–1067 (2022). https://doi.org/10.1137/21M1398264
Jin, B., Lazarov, R., Liu, Y., Zhou, Z.: The Galerkin finite element method for a multi-term time-fractional diffusion equation. J. Comput. Phys. 281, 825–843 (2015). https://doi.org/10.1016/j.jcp.2014.10.051
Jin, B., Lazarov, R., Zhou, Z.: Error estimates for a semidiscrete finite element method for fractional order parabolic equations. SIAM J. Numer. Anal. 51(1), 445–466 (2013). https://doi.org/10.1137/120873984
Kaltenbacher, B., Rundell, W.: Determining damping terms in fractional wave equations. Inverse Problems 38(7), 075004 (2022). https://doi.org/10.1088/1361-6420/ac6b31
Kubica, A., Ryszewska, K., Yamamoto, M.: Time-Fractional Differential Equations: A Theoretical Introduction. Springer, Singapore (2020). https://doi.org/10.1007/978-981-15-9066-5
Langlands, T.A.M., Henry, B.I., Wearne, S.L.: Turing pattern formation with fractional diffusion and fractional reactions. J. Phys. Condens. Matter. 19(6), 065115 (2007). https://doi.org/10.1088/0953-8984/19/6/065115
Li, Z., Huang, X., Yamamoto, M.: Initial-boundary value problems for multi-term time-fractional diffusion equations with \(x\)-dependent coefficients. Evol. Equ. Control Theory 9(1), 153–179 (2020). https://doi.org/10.3934/eect.2020001
Li, Z., Huang, X., Yamamoto, M.: A stability result for the determination of order in time-fractional diffusion equations. J. Inverse Ill-Posed Probl. 28(3), 379–388 (2020). https://doi.org/10.1515/jiip-2018-0079
Li, Z., Liu, Y., Yamamoto, M.: Initial-boundary value problems for multi-term time-fractional diffusion equations with positive constant coefficients. Appl. Math. Comput. 257, 381–397 (2015). https://doi.org/10.1016/j.amc.2014.11.073
Li, Z., Liu, Y., Yamamoto, M.: Inverse problems of determining parameters of the fractional partial differential equations. In: Kochubei, A., Luchko, Yu. (eds.) Handbook of Fractional Calculus with Applications, Volume 2: Fractional Differential Equations, pp. 431–442. De Gruyter, Berlin (2019). https://doi.org/10.1515/9783110571660-019
Li, Z., Imanuvilov, O.Y., Yamamoto, M.: Uniqueness in inverse boundary value problems for fractional diffusion equations. Inverse Problems 32(1), 015004 (2016). https://doi.org/10.1088/0266-5611/32/1/015004
Li, Z., Yamamoto, M.: Uniqueness for inverse problems of determining orders of multi-term time-fractional derivatives of diffusion equation. Appl. Anal. 94(3), 570–579 (2015). https://doi.org/10.1080/00036811.2014.926335
Li, Z., Yamamoto, M.: Inverse problems of determining coefficients of the fractional partial differential equations. In: Kochubei, A., Luchko, Yu. (eds.) Handbook of Fractional Calculus with Applications, Volume 2: Fractional Differential Equations, pp. 443–464. De Gruyter, Berlin (2019). https://doi.org/10.1515/9783110571660-020
Liu, Y., Li, Z., Yamamoto, M.: Inverse problems of determining sources of the fractional partial differential equations. In: Kochubei, A., Luchko, Yu. (eds.) Handbook of Fractional Calculus with Applications, Volume 2: Fractional Differential Equations, pp. 411–429. De Gruyter, Berlin (2019). https://doi.org/10.1515/9783110571660-018
Liu, Y., Yamamoto, M.: Uniqueness of orders and parameters in multi-term time-fractional diffusion equations by short-time behavior. Inverse Problems 39(2), 024003 (2023). https://doi.org/10.1088/1361-6420/acab7a
Luchko, Y., Gorenflo, R.: An operational method for solving fractional differential equations with the Caputo derivatives. Acta Math. Vietnam 24(2), 207–233 (1999)
Lv, Y., Hu, C., Yu, J., Jiang, H., Huang, T.: Edge-based fractional-order adaptive strategies for synchronization of fractional-order coupled networks with reaction-diffusion terms. IEEE Trans. Cybern. 50(4), 1582–1594 (2020). https://doi.org/10.1109/TCYB.2018.2879935
Mitidieri, E., Sweers, G.: Weakly coupled elliptic systems and positivity. Math. Nachr. 173, 259–286 (1995). https://doi.org/10.1002/mana.19951730115
Pazy, A.: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer-Verlag, New York (1983). https://doi.org/10.1007/978-1-4612-5561-1
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)
Prüss, J.: Evolutionary Integral Equations and Applications. Modern Birkhäuser Classics (MBC). Birkhäuser, Basel (2012). https://doi.org/10.1007/978-3-0348-0499-8
Ren, C., Huang, X., Yamamoto, M.: Conditional stability for an inverse coefficient problem of a weakly coupled time-fractional diffusion system with half order by Carleman estimate. J. Inverse Ill-Posed Probl. 29(5), 635–651 (2021). https://doi.org/10.1515/jiip-2019-0041
Rudin, W.: Real and Complex Analysis, 3rd edn. McGraw-Hill, New York (1987)
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(1), 426–447 (2011). https://doi.org/10.1016/j.jmaa.2011.04.058
Schiff, J.L.: The Laplace Transform: Theory and Applications. Undergraduate Texts in Mathematics (UTM). Springer, New York, 1999. https://doi.org/10.1007/978-0-387-22757-3
Suzuki, M.: Local existence and nonexistence for fractional in time weakly coupled reaction-diffusion systems. Partial Differ. Equ. Appl. 2, 2 (2021). https://doi.org/10.1007/s42985-020-00061-9
Suzuki, M.: Local existence and nonexistence for fractional in time reaction-diffusion equations and systems with rapidly growing nonlinear terms. Nonlinear Anal. 222, 112909 (2022). https://doi.org/10.1016/j.na.2022.112909
Sweers, G.: A strong maximum principle for a noncooperative elliptic system. SIAM J. Math. Anal. 20(2), 367–371 (1989). https://doi.org/10.1137/0520023
Acknowledgements
The authors thank the anonymous referees for their valuable comments. Z. Li is supported by the National Natural Science Foundation of China (NSFC nos. 12271277, 11801326). X. Huang is supported by Grant-in-Aid for JSPS Fellows 20F20319 and a JSPS Postdoctoral Fellowship for Overseas Researchers, Japan Society for the Promotion of Science (JSPS). Y. Liu is supported by Grant-in-Aid for Early Career Scientists 20K14355 and 22K13954, JSPS.
Funding
Open access funding provided by The University of Tokyo.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix: technical details
Appendix: technical details
1.1 Strong maximum principle
We consider a strong maximum principle for the following weakly coupled elliptic system
where \(\mathcal A\) is the elliptic operator defined in Sect. 1, \(\varvec{C}=(c_{k\ell })_{1\le k,\ell \le K}\in (L^\infty (\Omega ))^{K\times K}\) is a matrix-valued function and \(\varvec{F}=(f_1,\dots ,f_K)^{\mathrm T}\) is a vector-valued function. Then we have the following strong maximum principle.
Lemma 7
(Strong maximum principle) Assume that \(\varvec{C}\) satisfies the conditions (2.17)–(2.18) in Theorem 3 and \(\varvec{F}\ge \varvec{0},\not \equiv \varvec{0}\) in \(\Omega ,\) that is, \(f_k\ge 0\) in \(\Omega \) for \(k=1,\dots ,K\) and there exists \(k_0\in \{1,\dots ,K\}\) such that \(f_{k_0}\ge 0,\not \equiv 0\) in \(\Omega \). Then the solution to (7.1) satisfies \(\varvec{w}>\varvec{0}\) in \(\Omega ,\) that is, \(w_k>0\) in \(\Omega \) for all \(k=1,\dots ,K\).
We refer to [33, 43] and the references therein for some results on the (strong) maximum principle for the weakly coupled elliptic systems where the settings on the coupling matrix \(\varvec{C}\) are different. For the completeness, we apply the maximum principle in [8] and a strong maximum principle for a single elliptic equation to prove the above lemma.
Proof
Such a strong maximum principle was also mentioned in [8, Remark 1.7], but the statement is not clear because the assumption on the coupling coefficients was not correctly written. Thus, here we aim at giving a concise proof by using the maximum principle [8, Theorem 1.1] and a strong maximum principle (e.g. [7, Theorem 4, Chapter 6], [10, Theorem 8.19]).
Since we assume the coupling matrix \(\varvec{C}\) satisfies the conditions (2.17)–(2.18) in Theorem 3 and \(\varvec{F}\ge \varvec{0}\) in \(\Omega \), we can apply Theorem 1.1 in [8] to obtain \(\varvec{w}\ge \varvec{0}\) in \(\Omega \), that is, \(w_k\ge 0\) in \(\Omega \) for \(k=1,\dots ,K\). Moreover, the assumption \(\varvec{F}\ge \varvec{0},\not \equiv \varvec{0}\) implies that there exists an index \(k_0\in \{1,\dots ,K\}\) such that \(f_{k_0}\ge 0,\not \equiv 0\) in \(\Omega \). Then we pick up the \(k_0\)-th equation in (7.1), which reads
According to the conditions (2.17)–(2.18), we have \(c_{k_0k_0}\le 0\) and \(c_{k_0\ell }\ge 0\) for \(\ell \ne k_0\), and hence \(g\ge 0,\not \equiv 0\). Therefore, we can employ a strong maximum principle for a single elliptic equation to conclude that \(w_{k_0}>0\) in \(\Omega \). It remains to prove the other components of \(\varvec{w}\) are also positive. To this end, we rewrite the equations (7.1) in each component as follows
For each \(k\ne k_0\), by the condition (2.17) and \(\varvec{w}\ge \varvec{0}\), we have
On the other hand, the condition (2.17) reads \(c_{k k_0}\ge 0,\not \equiv 0\), which, together with \(w_{k_0}>0\) in \(\Omega \), implies \(c_{k k_0}w_{k_0}\ge 0,\not \equiv 0\). Therefore, we obtain \(g_k\ge 0,\not \equiv 0\) for any \(k\in \{1,\dots ,K\}{\setminus }\{k_0\}\). This completes the proof by applying the strong maximum principle (e.g. [7, Theorem 4, Chapter 6]) for (7.2). \(\square \)
Remark 2
According to the proof, we readily find that one can prove another strong maximum principle by releasing the condition (2.17) (to include the decoupled case) and assume stronger assumption on \(\varvec{F}\). That is, we have
Lemma 8
(Another strong maximum principle) Assume that \(\varvec{C}\) satisfies the conditions (2.19) in Remark 1, (2.18) in Theorem 3 and \(f_k\ge 0,\not \equiv 0\) in \(\Omega \) for all \(k\in \{1,\dots ,K\}\). Then the solution to (7.1) satisfies \(\varvec{w}>\varvec{0}\) in \(\Omega ,\) that is, \(w_k>0\) in \(\Omega \) for all \(k=1,\dots ,K\).
1.2 Proof of (4.6)
We will prove g(s) is bounded on [0, 1] and satisfies \(\lim _{s\rightarrow 0}g(s)=0\).
Proof
Recall that
By direct calculation, it is not difficult to prove the boundedness of the above defined function g(s) on [0, 1]. It remains to show \(\lim _{s\rightarrow 0}g(s)=0\). For this, in view of the fact that \(\lim _{t\rightarrow +\infty }f(t)=0\), it follows that for any \(\varepsilon >0\), there exists \(N=N(\varepsilon )>0\) such that \(f(t)\le \varepsilon \) for any \(t>N\). Therefore, we break the integral in the definition of g(s) into two parts: [0, N] and \((N,\infty )\), we arrive at
We give estimates for \(I_1\) and \(I_2\) separately. For \(I_2\), we see that
For \(I_1\), we choose sufficiently small \(\delta >0\) so that \(\delta <\frac{1}{N} \varepsilon ^{\frac{1}{1-\alpha _K}}\), and we conclude from the boundedness of the function f(t) that
Collecting all the above estimates, we finally obtain for any \(\varepsilon >0\), there exists \(\delta <\frac{1}{N}\varepsilon ^{\frac{1}{1-\alpha _K}}\) such that
that is \(\lim _{s\rightarrow 0}g(s)=0\). We finish the proof of (4.6). \(\square \)
Rights and permissions
This article is published under an open access license. Please check the 'Copyright Information' section either on this page or in the PDF for details of this license and what re-use is permitted. If your intended use exceeds what is permitted by the license or if you are unable to locate the licence and re-use information, please contact the Rights and Permissions team.
About this article
Cite this article
Li, Z., Huang, X. & Liu, Y. Initial-boundary value problems for coupled systems of time-fractional diffusion equations. Fract Calc Appl Anal 26, 533–566 (2023). https://doi.org/10.1007/s13540-023-00149-0
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13540-023-00149-0
Keywords
- Time-fractional diffusion equation (primary)
- Coupling system (primary)
- Asymptotic behavior
- Inverse problem