- Research
- Open Access
- Published:
Existence of a unique weak solution to a non-autonomous time-fractional diffusion equation with space-dependent variable order
Advances in Difference Equations volume 2021, Article number: 314 (2021)
Abstract
In this contribution, we investigate an initial-boundary value problem for a fractional diffusion equation with Caputo fractional derivative of space-dependent variable order where the coefficients are dependent on spatial and time variables. We consider a bounded Lipschitz domain and a homogeneous Dirichlet boundary condition. Variable-order fractional differential operators originate in anomalous diffusion modelling. Using the strongly positive definiteness of the governing kernel, we establish the existence of a unique weak solution in \(u\in \operatorname{L}^{\infty } ((0,T),\operatorname{H}^{1}_{0}( \Omega ) )\) to the problem if the initial data belongs to \(\operatorname{H}^{1}_{0}(\Omega )\). We show that the solution belongs to \(\operatorname{C} ([0,T],{\operatorname{H}^{1}_{0}(\Omega )}^{*} )\) in the case of a Caputo fractional derivative of constant order. We generalise a fundamental identity for integro-differential operators of the form \(\frac{\mathrm{d}}{\mathrm{d}t} (k\ast v)(t)\) to a convolution kernel that is also space-dependent and employ this result when searching for more regular solutions. We also discuss the situation that the domain consists of separated subdomains.
1 Introduction
1.1 Mathematical setting and motivation
Let \(\Omega \subset {\mathbb{R}}^{d}\) (\(d\in {\mathbb{N}}\)) be a bounded domain with a Lipschitz continuous boundary ∂Ω. The final time is denoted by T, \(Q_{T}:= \Omega \times (0,T]\) and \(\Sigma _{T}:= \partial \Omega \times (0,T]\). Consider a general second-order linear differential operator given by
where (\((\mathbf{x},t) \in Q_{T}\))
The goal of this contribution is to show the existence and uniqueness of u for given f and \(\tilde{u}_{0}\) such that
The symbol ‘∗’ stands for the convolution product defined by
where the kernel \(g_{1-\beta (\mathbf{x})}\) is defined by
where Γ denotes the gamma function, and \(\beta \in \operatorname{C}(\Omega )\) satisfies
The term \(D^{\beta (\mathbf{x})}_{t} u := \partial _{t} (g \ast (u- \tilde{u}_{0}) )\) in (2) represents the Caputo fractional derivative of space-dependent variable order \(\beta (\mathbf{x})\), which arises in the modelling of anomalous diffusion. Anomalous diffusion is a rapidly growing field of research with applications in physics, chemistry, biology and several other branches of engineering [1]. A typical example is heat conduction and fluid flow in porous media. We refer the reader to [2] for a comprehensive overview on fractional calculus and anomalous diffusion. To model diffusion processes in a homogeneous medium, the constant-order (β is constant over Ω) fractional diffusion model is sufficient. But in complex media, the presence of heterogeneous regions causes variations of permeability in different spatial positions. In this situation, the space-dependent variable-order model is more suitable to describe location-dependent diffusion processes, see e.g. [3–11]. We mention also the existence of time-dependent variable-order models when diffusion behaviour changes with the time evolution [12–16] and some other recent interesting applications of fractional calculus [17–20].
1.2 Literature overview
Existence and uniqueness of a regular solution to autonomous (time-independent elliptic part L) constant-order fractional diffusion equation, i.e. \(\beta (\mathbf{x})=\beta \)) is studied in [21–23]. The results in these papers are build on the method of eigenfunction expansion and the solution is expressed in terms of the Mittag-Leffler functions, which implies that the solution is analytic on \((0,T)\). In [21], the authors searched for a solution \(u(\cdot , t) \in \operatorname{dom}(L) = \operatorname{H}^{2}(\Omega ) \cap \operatorname{H}^{1}_{0}(\Omega )\) of problem (2) such that the governing partial differential equation (PDE) is satisfied in \(\operatorname{L}^{2} ((0,T),\operatorname{L}^{2} (\Omega ) )\). The authors establish in Theorem 2.1 the unique existence of a solution \(u \in \operatorname{L}^{2} ((0,T),\operatorname{H}^{2}( \Omega )\cap \operatorname{H}^{1}_{0}(\Omega ) )\) with \(g\ast \partial _{t}u \in \operatorname{L}^{2} ((0,T), \operatorname{L}^{2} (\Omega ) )\) if \(\tilde{u}_{0} \in \operatorname{H}^{1}_{0}(\Omega )\) and \(f = 0\). In the article [22], the maximum principle for PDEs of parabolic type is extended to the time-fractional diffusion equation. It is used to show the uniqueness of solution to problem (2). Moreover, the generalised solution in sense of Vladimirov is constructed in the form of a Fourier series with respect to the eigenfunctions of a certain Sturm–Liouville eigenvalue problem. In the one-dimensional case, it is shown that the generalised solution is a solution in the classical sense (a twice differentiable function with respect to the spatial variables and β-differentiable with respect to the time variable) under some additional conditions. In [23], the authors give an interpretation of the Caputo derivative in the fractional Sobolev space \(\tilde{\operatorname{H}}^{\beta }(0,T)= \{ u \in \operatorname{H}^{\beta }(0,T): u(0)=0 \} \) (see [24, Chapter VII]) and prove some important norm equivalences. These results are used to show the maximum regularity \(u \in \operatorname{L}^{2} ((0,T),\operatorname{H}^{2}( \Omega )\cap \operatorname{H}^{1}_{0}(\Omega ) ) \cap \tilde{\operatorname{H}}^{\beta } ((0,T),\operatorname{L}^{2} ( \Omega ) )\) of the solution to problem (2) when \(\tilde{u}_{0}=0\) and \(f\in \operatorname{L}^{2} ((0,T),\operatorname{L}^{2} ( \Omega ) )\).
Existence and uniqueness results for weak solutions (using classical integration by parts formula for L) to the non-autonomous (so time-dependent elliptic part) constant-order fractional diffusion equation are derived in [25, 26] by Galerkin method. In [25, Corollary 4.1] and [26, Theorem 1], the authors showed that there exists a unique weak solution u to (2) satisfying \(u\in \operatorname{L}^{2} ((0,T),\operatorname{H}^{1}_{0}( \Omega ) )\) with \(\partial _{t}(g\ast (u-\tilde{u}_{0})) \in \operatorname{L}^{2} ((0,T),{\operatorname{H}^{1}_{0}(\Omega )}^{*} )\) if \(\tilde{u}_{0} \in \operatorname{L}^{2} (\Omega )\) and \(f\in \operatorname{L}^{2} ((0,T),{\operatorname{H}^{1}_{0}( \Omega )}^{*} )\). In particular, in [26, Theorem 2] the authors proved that the solution belongs to \(\operatorname{C} ([0,T],{\operatorname{H}^{1}_{0}(\Omega )}^{*} )\) if \(\beta > {\frac{1}{2}}\). Moreover, if \(\tilde{u}_{0} \in \operatorname{H}^{1}_{0}(\Omega )\) and \(f\in \operatorname{L}^{2} ((0,T),\operatorname{L}^{2} ( \Omega ) )\), the solution is more regular and belongs to \(\operatorname{L}^{2} ((0,T),\operatorname{H}^{2}(\Omega ) )\) under some appropriate conditions on the coefficients in L. Furthermore, u belongs to \(\operatorname{C} ([0,T],\operatorname{L}^{2} (\Omega ) )\) if \(\beta >{\frac{1}{2}}\), cf. [26, Theorem 4].
Moreover, we refer for multi-term constant-order time fractional diffusion equations to [27, 28] and for distributed-order time fractional diffusion problems to [29–31] for the well-posedness and asymptotic behaviour of the solution (again using the method of eigenfunction expansion and Mittag-Leffler analysis). For completeness, we also provide some key literature works related to mild solutions of abstract dynamic equations [32–36].
In the recent works [37, 38], using a classical variational approach, the author established the existence of a unique weak solution to a non-autonomous time-fractional diffusion (respectively, wave) equation of constant and distributed order. The solution is continuous on \([0,T]\) without restriction on the order of the fractional derivative and thus under low regularity assumptions. It is important to note here that weakly singular solutions are included in the class of admissible solutions.
The existence of a solution to non-autonomous variable-order fractional differential equation is proved in [39]. However, to the best of our knowledge there is only one result available in the literature related to the well-posedness of the time-fractional diffusion equation with space-dependent variable order. In [40], the authors investigated the existence and uniqueness result for problem (2) in the case that the elliptic operator L is autonomous. The authors do not use the usual definition of weak solution but they characterise the weak solution to (2) as the original of the solution to the Laplace transform (of tempered distributions) of (2) with respect to the time variable.
1.3 New aspects and outline
We study a more general multi-dimensional case for a governing PDE with time-dependent coefficients (non-autonomous system). This implies that the Mittag-Leffler analysis or the approach by means of the Laplace transform is not appropriate and one has to use other tools to succeed. The approach in this paper follows the standard procedure for classical parabolic problems: first we discretize the problem in time using a convolution quadrature, next we obtain a priori estimates, and on the basis of these estimates we show the existence of a solution. In problem (2), we consider a homogeneous Dirichlet boundary condition. Throughout the paper we discuss also the situation wherein a homogeneous Neumann boundary condition is considered on the boundary. We assume that β is continuous on Ω̅ as for instance in [4, 7]. However, in Sect. 8, we discuss the situation where Ω consists of separated regions and thus β can be discontinuous, see e.g. [3, 5, 7].
The Caputo fractional time derivative of order \(\beta \in (0,1)\) is a special case of the variable-order fractional derivative (i.e. \(\beta (\mathbf{x})= \beta \) in Ω). The authors in [41] noted that the smoothness of \(\tilde{u}_{0}\) and f in (2) does not always imply the smoothness of the exact solution. The solution of such a problem is shown in general to have a weak singularity near the initial time \(t = 0\). It is important to take this behaviour of the solution into account when studying the well-posedness of problem (2). This implies that compatibility condition as \(L(\cdot ,0)\tilde{u}_{0}(x)=f(\cdot ,0)\) should be avoided as \(\partial _{t} (g \ast (u- \tilde{u}_{0}) )(0)\) is not necessarily equal to zero in general [42]. Such a compatibility condition would restrict the class of admissible solutions.
One of the main points in the analysis is the property that the kernel g in the analysis is strongly positive definite. This and other properties of g are discussed in Sect. 2. The strongly positive definiteness of g is used in Theorem 6.2 to show the uniqueness of a solution to problem (2).
In Sect. 3, we generalise a fundamental identity for integro-differential operators of the form \(\frac{\mathrm{d}}{\mathrm{d}t} (k\ast v)(t)\) by Zacher [25] to a convolution kernel k that depends on both the time- and space-variable, see Sect. 3 and in particular Lemma 3.1. Using this generalisation, we can show Corollary 3.1, which is in particular helpful for showing the uniqueness of a solution if we know that \(\partial _{t} (g \ast u )(t)\in \operatorname{L}^{2} ( \Omega )\) for a.a. \(t\in (0,T)\). Moreover, we explain how to discretize the convolution in time (see Eq. (17)), and we derive a discrete estimate (see Lemma 3.3), which will be useful when establishing the a priori estimates later in the article.
In Sect. 4, the assumptions on the data are discussed and the weak formulation of (2) is derived. Afterwards, in Sect. 5, we propose a time-discrete scheme to approximate the solution at a single timestep. Moreover, a priori estimates are derived in the remainder of this section.
Then, the existence of a solution to the variational problem is discussed in Sect. 6. Under low regularity assumptions on the data (we suppose that \(\tilde{u}_{0}\in \operatorname{H}^{1}_{0}(\Omega )\) and consider natural assumptions on f), we show in Theorem 6.1 the existence of a solution to problem (2) in \(\operatorname{L}^{2} ((0,T),\operatorname{H}^{1}_{0}(\Omega ) )\). Then, using the strongly positive definiteness of the kernel, we establish the uniqueness of a solution in Theorem 6.2. However, we are not able to show that \(u(0)=\tilde{u}_{0}\) for the Caputo fractional derivative with variable order. Next, in Sect. 7, we show how to overcome this problem if \(\beta (\mathbf{x})= \beta \) with \(\beta \in (0,1)\) by showing that \(u\in \operatorname{C} ([0,T],{\operatorname{H}^{1}_{0}( \Omega )}^{*} )\) in this situation independent of the order of the fractional derivative. We slightly improve the results stated in [37], see Remark 1.1 for more details. Moreover, we study under which assumptions we can obtain a solution to problem (2) in \(\operatorname{L}^{2} ((0,T),\operatorname{H}^{2}(\Omega ) \cap \operatorname{H}^{1}_{0}(\Omega ) )\) if \(\beta (\mathbf{x})= \beta \) and \(\boldsymbol{A}=a\). The advantage here is that we can use Corollary 3.1 when establishing the uniqueness of a solution. Next, we show that if \(\tilde{u}_{0}\in \operatorname{H}^{2}(\Omega )\cap \operatorname{H}^{1}_{0}( \Omega )\) the solution can belong to \(\operatorname{C} ([0,T],\operatorname{L}^{2} (\Omega ) )\) under appropriate assumptions. We conclude this section with a discussion of the performance of the proposed scheme in the constant-order case. To improve the computational results, we consider a convolution quadrature on a graded mesh and compare the results with the well-known L1-algorithm.
Finally, in Sect. 8, we consider a domain Ω consisting of multiple disjunct regions. The existence results obtained before are still valid in the case that \(\tilde{u}_{0}\in \operatorname{H}^{1}_{0}(\Omega )\) but some interface conditions are needed. We also discuss in this section the \(\operatorname{L}^{2} ((0,T),\operatorname{H}^{2}(\Omega ) \cap \operatorname{H}^{1}_{0}(\Omega ) )\) regularity of the solution in this setting.
Remark 1.1
(Comparison with [37])
In this paper, the positive definiteness of the kernel and the theory on Volterra equations is used to establish the uniqueness of a solution to problem (2). This approach is more careful than using [26, Corollary 16] as is done in [37, Theorem 2.1] (for constant and distributed order of the fractional derivative) since it is not clear that \(\partial _{t} (g \ast u )(t)\in \operatorname{L}^{2} ( \Omega )\) for \(t\in (0,T)\) and that u is absolutely continuous under the assumptions of [37, Theorem 2.1]. This is the reason why we consider \(\partial _{t} (g \ast (u-\tilde{u}_{0}) )\) in the formulation of problem (2) instead of \(g\ast \partial _{t}u\) in [37, Eq. (2)]. Moreover, although the constant-order fractional derivative is a special case, the space-dependent variable order considered in this contribution leads to a more complicated analysis in comparison with [37].
We conclude this introduction by stating the function spaces used in the paper.
Remark 1.2
(Additional notations)
Consider an abstract Banach space X with norm \(\Vert \cdot \Vert _{X}\). Let \(p \geqslant 1\).
-
\((\cdot ,\cdot )\): standard inner product in \(\operatorname{L}^{2} (\Omega )\) with induced norm \(\Vert \cdot \Vert \);
-
\(\operatorname{L}^{p} ((0,T),X )\): space of measurable functions \(u:(0,T)\rightarrow X\) such that
$$ \Vert u \Vert _{\operatorname{L}^{p} ((0,T),X )} = \biggl( \int _{0}^{T} \bigl\Vert u(t) \bigr\Vert ^{p}_{X} \,\mathrm{d}t \biggr)^{1/p} < \infty ; $$ -
\(\operatorname{L}^{2}_{\mathrm{loc}} ( (0,\infty ) , X )\): space of functions belonging to \(\operatorname{L}^{2} ((0,T),X )\) for any \(T \in (0,\infty )\);
-
\(\operatorname{C} ([0,T],X )\): space of continuous functions \(u:[0,T]\rightarrow X\) satisfying
$$ \Vert u \Vert _{\operatorname{C} ([0,T],X )} = \max_{t \in [0,T]} \bigl\Vert u(t) \bigr\Vert _{X} < \infty ; $$ -
\(\operatorname{L}^{\infty } ((0,T),X )\): space of measurable functions \(u: (0,T)\rightarrow X\) that are essentially bounded, which is
$$ \Vert u \Vert _{\operatorname{L}^{\infty } ((0,T),X )} = \inf \bigl\{ B: \bigl\Vert u(t) \bigr\Vert _{X} \le B \text{ for almost all } t \in (0,T) \bigr\} < +\infty . $$ -
\(\operatorname{H}^{1}((0,T),X)\): space of functions \(u:(0,T)\rightarrow X\) such that the weak derivative \(u^{\prime }\) exists and
$$ \Vert u \Vert _{\operatorname{H}^{1}((0,T),X)} = \biggl( \int _{0}^{T} \bigl\Vert u(t) \bigr\Vert ^{2}_{X} + \bigl\Vert u^{\prime }(t) \bigr\Vert ^{2}_{X} \,\mathrm{d}t \biggr)^{{\frac{1}{2}}}< \infty . $$ -
The values C, ε and \(C_{{\varepsilon }}\) considered throughout the paper are generic and positive constants (independent of the discretization parameter), where ε is arbitrarily small and \(C_{{\varepsilon }}\) arbitrarily large, i.e. \(C_{\varepsilon }= C (1 + {\varepsilon }+ \frac{1}{\varepsilon } )\).
2 Properties of the singular kernel g
In this section, we give the properties of g that will be used throughout the paper. First, note that
since \(\Gamma (z) \geqslant \Gamma (1)=1\) for all \(z\in (0,1)\). Thus
We also obtain that \(g(\mathbf{x},\cdot )\in \operatorname{L}^{1} (0,T )\) for all \(\mathbf{x}\in \Omega \) as follows:
since \(\Gamma (z) \geqslant {\frac{1}{2}}\) for \(z\in (1,2)\). It is also clear that \(g(\mathbf{x},\cdot ) \in \operatorname{L}^{1}_{\mathrm{loc}}(0, \infty )\) for all \(\mathbf{x}\in \Omega \). Moreover, consider \([t_{1},t_{2}] \subset (0,T)\), then
i.e. \(\partial _{t}g(\mathbf{x},\cdot )\in \operatorname{L}_{ \mathrm{loc}}^{1} (0,T )\). Moreover, as g is decreasing in time, we have the existence of g̃ such that
We note also that the following shift formula is valid for \(s>0\):
since
using that the function \(f(x)=x^{\alpha }\) with \(\alpha \in (0,1]\) is α-Hölder continuous.
Another important property of g is contained in the following lemma.
Lemma 2.1
(Strongly positive definiteness)
For all \(v \in \operatorname{L}^{2}_{\mathrm{loc}} ((0,\infty ), \operatorname{L}^{2} (\Omega ) )\), the kernel g satisfies
with
Proof
First, we note that we can interchange the order of integration as
where we used Young’s inequality for convolutions at position \((\star )\):
The function g is a strongly positive definite kernel for every \(\mathbf{x}\in \Omega \) since it satisfies
see [43, Corollary 2.2] or [44], i.e. for any \(\mathbf{x}\in \Omega \), there exists a constant \(\gamma >0\) (varying with x) such that \(g(\mathbf{x},t)-\gamma \exp (-t)\) is of positive type and thus
which is valid for all \(v \in \operatorname{L}^{2}_{\mathrm{loc}} ((0,\infty ), \operatorname{L}^{2} (\Omega ) )\). From [43, Corollary 2.1], it follows that \(\gamma (\mathbf{x})=\cos ( [1-\beta (\mathbf{x}) ] \frac{\pi }{2} )\) since for any \(y\in (-\infty ,\infty )\) and a.a. \(\mathbf{x}\in \Omega \) we have that
where we used that
We conclude the proof by noting that for a.a. \(\mathbf{x}\in \Omega \) it holds that
□
Remark 2.1
If \(\beta (\mathbf{x}) = \beta \in (0,1)\), then we have for all \(v \in \operatorname{L}^{2}_{\mathrm{loc}} ((0,\infty ), \operatorname{L}^{2} (\Omega ) )\) that
3 Technical lemmas
First, we generalise a fundamental identity for integro-differential operators of the form \(\frac{\mathrm{d}}{\mathrm{d}t} (k\ast v)(t)\) from Zacher (see [25, Lemma 2.1] or [45, Lemma 2.3.2]) to a convolution kernel that depends on the time- and space-variable.
Lemma 3.1
Let \(\Omega \subset {\mathbb{R}}^{d}\) be a bounded Lipschitz domain and \(T > 0\). Then, for any \(v\in \operatorname{L}^{2} ((0,T),\operatorname{L}^{2} ( \Omega ) )\) and any \(k:\Omega \times [0,T]\to {\mathbb{R}}\) satisfyingFootnote 1
it holds for all \(t\in (0,T)\) that
Proof
First note that from
it follows for a.a. \(\mathbf{x}\in \Omega \) and all \(t\in [0,T]\) that
From Leibniz’s rule for differentiation under the integral sign, we get that
which is valid and well-defined for all \(t\in (0,T)\). The second term on the right-hand side (RHS) can be handled as follows:
where we switched the order of integration twice, which is allowed since \(\partial _{t}k\) is uniformly bounded. The last integral on the RHS of the previous equation can be rewritten as follows:
where we again exchanged the order of integration two times and used Leibniz’s rule two times. Combining the previous results concludes the proof. □
The function g does not satisfy the conditions in the previous lemma, and therefore the lemma cannot be applied directly. It is the following lemma that will lead to the useful Corollary 3.1. Note that a similar result for a solely time-dependent kernel can be found in [46, Lemma 2.1].
Lemma 3.2
Let \(\Omega \subset {\mathbb{R}}^{d}\) be a bounded Lipschitz domain and \(T > 0\). Then, for any \(v: [0,T]\to \operatorname{L}^{2} (\Omega )\) satisfying \(v\in \operatorname{H}^{1} ((0,T), \operatorname{L}^{2} ( \Omega ) )\) and any \(k:\Omega \times (0,T] \to {\mathbb{R}}\) with
and
it holds for all \(\eta \in [0,T]\) that
Proof
From \(\partial _{t}k(\mathbf{x},\cdot ) \in \operatorname{L}_{ \mathrm{loc}}^{1} (0,T )\) it follows that \(k(\mathbf{x},\cdot )\) is continuous on \((0,T)\). The only singularity of \(k(\mathbf{x},\cdot )\) is in \(t=0\) since it is a decreasing function in the time variable, i.e.
Hence, we can define the sequence \((k_{n})_{n\in {\mathbb{N}}}\) by
We obtain from the properties of k that
and
Hence, the function \(k_{n}\) satisfies the conditions of Lemma 3.1. Moreover, we also have the uniform boundedness in \(\operatorname{L}^{2} (\Omega )\) and the continuity of v in the time variable, i.e. \(v \in \operatorname{C} ([0,T],\operatorname{L}^{2} (\Omega ) )\). Indeed, from \(v(\cdot ,t) = v(\cdot , 0) + \int _{0}^{t} \partial _{s} v(\cdot ,s) \,\mathrm{d}s\), we see that
and
Hence, we have that
Therefore, integrating the result of Lemma 3.1 over \((0,\eta )\subset (0,T)\) gives that
Next, we want to pass to the limit \(n\to \infty \) in (12). First, note that
The sequence \(f_{n} : Q_{T}\to {\mathbb{R}}\) defined by
converges almost everywhere pointwise to \((k\ast \partial _{t}v )(\mathbf{x},t)v(\mathbf{x},t)\), and it is dominated by
The function f̃ is absolutely integrable on \((0,\eta ) \times \Omega \) since
where we have used Young’s inequality for convolutions (in the time variable) at position (⋆). Therefore, we can apply the Lebesgue dominated theorem to obtain for the first term on RHS of (13) that
We perform integration by parts in the time variable on the second term in the RHS of (13) and then pass to the limit \(n \to \infty \) in this term, i.e. we consider
The dominating functions are absolutely integrable since
and
Hence, again by the Lebesgue dominated theorem, we can take the limit \(n \to \infty \) in the RHS of (14). Therefore, we obtain for the second term on the RHS of (13) that
Finally, we need to pass to the limit \(n\to \infty \) in the RHS of (12). We apply integration by parts on both terms to obtain that
and
We only point out the limit transition for the first term by checking that the dominating functions are absolutely integrable as the second term can be handled similarly. Indeed, we get that
and
Using the results above, we can pass to the limit \(n\to \infty \) in (12), which concludes the proof. □
The function g defined in (3) satisfies the properties of the kernel in the previous lemma, see Eq. ((6)–(10)). However, the solution u does not satisfy \(\partial _{t}u \in \operatorname{L}^{2}(0,T)\). Fortunately, we can use [23, Definition 3.1] to obtain the following result, which will be helpful later in showing the uniqueness of a solution to problem (2).
Corollary 3.1
For any \(v: [0,T]\to \operatorname{L}^{2} (\Omega )\) satisfying
it holds for all \(\eta \in [0,T]\) that
Proof
For any \(\mathbf{x}\in \Omega \), by [23, Definition 3.1], we have the existence of a sequence \(\{v_{n}(\mathbf{x},\cdot )\} \subset \operatorname{H}^{2}(0,T)\) such that \(v_{n}(\mathbf{x},0)= 0\), \(v_{n}(\mathbf{x},\cdot ) \to v(\mathbf{x},\cdot )\) in \(\operatorname{L}^{2}(0,T)\) and \(\partial _{t}(g \ast v_{n}) (\mathbf{x},\cdot ) \to \partial _{t}(g \ast v)(\mathbf{x},\cdot )\) in \(\operatorname{L}^{2}(0,T)\). We consider \(v=v_{n}\) and \(k=g\) in Lemma 3.2, i.e.
Next, we can pass to the limit \(n \to \infty \) and obtain the result. □
In order to be able to show the well-posedness of problem (2), we prove a discrete version of Lemma 3.2, which is crucial to establishing a priori estimates in Sect. 5. First, we discretize the time interval \([0,T]\) into \(n\in \mathbb{N}\) equidistant subintervals \([t_{i-1},t_{i}]\) with length \(\tau =\frac{T}{n}\). The approximation of a function z at time \(t=t_{i}\), \(0\leqslant i\leqslant n\), is denoted by \(z_{i}\). The same notation is also used for a given function. Moreover, we approximate \(\partial _{t}z(\mathbf{x},t_{i})\), \(1\leqslant i \leqslant n\), by the backward Euler difference \(\delta z_{i}(\mathbf{x}) = \frac{z_{i}(\mathbf{x})-z_{i-1}(\mathbf{x})}{\tau }\). Finally, for \(k: \Omega \times (0,T] \to {\mathbb{R}}\) and \(v: \Omega \times [0,T] \to {\mathbb{R}}\) satisfying
and
the time-discrete convolution is defined as follows (a.a. \(\mathbf{x}\in \Omega \)):
with
In (17), a possible singularity of k at \(t=0\) is avoided. The proof of the following lemma follows the same lines as the proof of [46, Lemma 3.2] for a solely time-dependent kernel.
Lemma 3.3
Let \(\Omega \subset {\mathbb{R}}^{d}\) be a bounded Lipschitz domain. Let \((v_{i})_{i\in {\mathbb{N}}}\) and \((k_{i})_{i\in {\mathbb{N}}}\) be sequences of real-valued functions defined on Ω. Suppose that \((v_{i})_{i\in {\mathbb{N}}}\) in \(\operatorname{L}^{2} (\Omega )\) and that the sequence \((k_{i})_{i\in {\mathbb{N}}}\) is positive, uniformly bounded and decreasing, i.e. for a.a. \(\mathbf{x}\in \Omega \) it holds that
Then
where \((k \ast v)_{i}\) is the time-discrete convolution defined in (17).
Proof
The result follows from multiplying the following inequality with τ, integrating it over Ω and summing up the result over \(i=1,\ldots ,j\) (note that \(\int _{\Omega }(k \ast v^{2})_{0}(\mathbf{x}) \,\mathrm{d} \mathbf{x}= 0\)):
We prove that this inequality is satisfied. First, notice that for a.a. \(\mathbf{x}\in \Omega \) and \(i \geqslant 1\), it holds that
From the properties of the sequence \((k_{i})_{i\in {\mathbb{N}}}\), it follows for a.a. \(\mathbf{x}\in \Omega \) that
□
4 Assumptions, weak formulation and uniqueness of a solution
In this section, we first summarise all assumptions that are necessary to obtain the well-posedness result in Theorem 6.1. We assume that
-
AS-1: \(\boldsymbol{A}= (a_{ij}(\mathbf{x},t) )\) is a \(d\times d\) matrix-valued function such that
$$ \boldsymbol{A} \in \bigl(\operatorname{L}^{\infty }(Q_{T}) \bigr)^{d \times d}\quad \text{and} \quad \boldsymbol{A}^{T}= \boldsymbol{A}; $$ -
AS-2: The matrix A is uniformly elliptic, i.e. there exists a constant \(\alpha >0\) such that
$$ \sum_{i,j=1}^{d} a_{ij}( \mathbf{x},t)\xi _{i}\xi _{j} \geqslant \alpha \vert \boldsymbol{\xi } \vert ^{2} \quad \text{for a.a. } ( \mathbf{x},t) \in Q_{T} \text{ and for all } \boldsymbol{\xi }\in \mathbb{R}^{d}; $$ -
AS-3: \(c\in \operatorname{L}^{\infty }(Q_{T})\) and
$$ c(\mathbf{x},t) \geqslant 0, \quad (\mathbf{x},t) \in Q_{T}; $$ -
AS-4: \(\partial _{t}\boldsymbol{A} \in (\operatorname{L}^{\infty }(Q_{T}) )^{d\times d}\) and \(\partial _{t}c \in \operatorname{L}^{\infty }(Q_{T})\);
-
AS-5: \(f \in \operatorname{H}^{1} ((0,T),\operatorname{L}^{2} ( \Omega ) )\) or
$$ \biggl\Vert \frac{\partial ^{\ell }}{\partial t^{\ell }} f(t) \biggr\Vert \leqslant C \bigl(1+t^{\gamma -\ell } \bigr) \quad \text{for } \ell =0,1 \text{ and } \gamma \in (0,1); $$ -
AS-6: \(\tilde{u}_{0}\in \operatorname{H}^{1}_{0}(\Omega )\).
Further, we associate a bilinear form \(\mathcal{L}\) with the differential operator L defined in (1) as follows:
with \(u(t), \varphi \in \operatorname{H}^{1}_{0}(\Omega )\). Using the properties above, we obtain that
and
i.e. the bilinear form \(\mathcal{L}\) is continuous, and \(\operatorname{H}^{1}_{0}(\Omega )\)-elliptic due to Friedrichs’s inequality.
Now, we define the variational formulation of problem (2).
Definition 4.1
(Weak formulation)
Let assumptions AS-(1–6) be fulfilled. Search \(u\in \operatorname{L}^{\infty } ((0,T),\operatorname{H}^{1}_{0}( \Omega ) )\) with \(\partial _{t}(g\ast (u-\tilde{u}_{0})) \in \operatorname{L}^{2} ((0,T),{\operatorname{H}^{1}_{0}(\Omega )}^{*} )\) such that for a.a. \(t \in (0,T)\) it holds that
Next, we show that conditions (15) and (16) with \(k=g\) are satisfied for \(v=u\) when the solution u satisfies the regularity assumptions in Definition 4.1. First, we have by Hölder’s inequality that
Secondly, we see that
5 Time discretization
In this section, a time-discrete numerical scheme to solve problem (21) is presented. The time interval \([0,T]\) is discretized into \(n\in \mathbb{N}\) equidistant subintervals \([t_{i-1},t_{i}]\) with length \(\tau =\frac{T}{n} < 1\). The approximation of u at time \(t=t_{i}\) (\(0\leqslant i\leqslant n\)) is denoted by \(u_{i}\). Moreover, the time derivative at time \(t=t_{i}\) is approximated by the backward Euler finite-difference formula
These notations are also used for any function \(z\neq u\). We propose the following time-discrete variational problem:
Using the time-discrete convolution (17), the discrete problem can be equivalently written as
with
and
The summation occurring in \(F_{i}\) is not contributing for \(i=1\). The well-posedness of this problem under appropriate assumptions on the data is stated in the following lemma.
Lemma 5.1
Suppose that AS-1, AS-2 and AS-3 are satisfied. Moreover, assume that \(\tilde{u}_{0}\in \operatorname{L}^{2} (\Omega )\) and \(f\in \operatorname{L}^{2} ([0,T], \operatorname{L}^{2} ( \Omega ) )\). Then, for any \(i=1,2,\ldots ,n\), there exists unique \(u_{i}\in \operatorname{H}^{1}_{0}(\Omega )\) solving (24).
Proof
From the properties of \(\mathcal{L}\) and g, it follows that the bilinear form \(a_{i}\) is \(\operatorname{H}^{1}_{0}(\Omega )\)-elliptic and continuous. If \(\tilde{u}_{0},\ldots ,u_{i-1}\in \operatorname{L}^{2} (\Omega )\), then the linear functional \(F_{i}\) is bounded since
The existence and uniqueness of \(u_{i}\in \operatorname{H}^{1}_{0}(\Omega )\) to problem (25) follows from the Lax–Milgram lemma. □
We prove some a priori estimates in the following two lemmas. These are required to ensure the existence of a solution to (21) and to prove the convergence of approximations towards this solution.
Lemma 5.2
Let the assumptions of Lemma 5.1be fulfilled. Then a positive constant C exists such that, for every \(j=1,2,\ldots ,n\), the following relation holds:
Proof
We set \(\varphi =u_{i}\tau \) in (24) and sum it up for \(i=1,\ldots ,j\) with \(1\leqslant j \leqslant n\). Using relation (19), we obtain that
Using the ε-Young inequality, we estimate the second term in the RHS as follows:
Using Friedrichs’s inequality, we obtain that
Employing Lemma 3.3 and Eq. (20) implies
Fixing \({\varepsilon }_{1}>0\) and \({\varepsilon }_{2}>0\) sufficiently small gives the result. □
Lemma 5.3
Let assumptions AS-(1–6) be fulfilled. Then positive constants C and \(\tau _{0}\) exist such that, for any \(\tau < \tau _{0}\) and for every \(j=1,2,\ldots ,n\), the following relation holds:
Proof
We set \(\varphi =\delta u_{i}\tau \) (here \(\tilde{u}_{0}\in \operatorname{H}^{1}_{0}(\Omega )\) is needed) in (24) and sum the result up for \(i=1,\ldots ,j\) with \(1\leqslant j \leqslant n\). We obtain that
The first term on the left-hand side is positive since we can apply [47, Eq. 3.2]. Next, we recall the following per partes formula for a symmetric bilinear form [48, Eq. 3.16]:
Hence, due to the symmetry of A, we have that
and thus by Lemma 5.2 we get that
Similarly, using the conditions on c and Lemma 5.2, we get that
The term on the RHS of (26) can be estimated by using the partial summation rule
If \(f \in \operatorname{H}^{1} ((0,T),\operatorname{L}^{2} ( \Omega ) )\subset \operatorname{C} ([0,T], \operatorname{L}^{2} (\Omega ) )\), then by the ε-Young inequality, Friedrichs’s inequality and Lemma 5.2, we get that
The result of the lemma follows by fixing ε sufficiently small.
If \(\Vert \frac{\partial ^{\ell }}{\partial t^{\ell }} f(t) \Vert \leqslant C (1+t^{\gamma -\ell } )\) for \(\ell =0,1\) and \(\gamma \in (0,1)\), then
Moreover, we have that
and by the mean value theorem
Hence, we obtain by (28), the ε-Young inequality, Friedrichs’s inequality and \(t^{\gamma -1} \in \operatorname{L}^{1}(0,T)\) that
Now, the estimate follows from the discrete Grönwall lemma [49, Corollary 15.5]. □
Corollary 5.1
Let the assumptions of Lemma 5.2be fulfilled. Then positive constants C and \(\tau _{0}\) exist such that, for any \(\tau < \tau _{0}\) and for every \(j=1,2,\ldots ,n\), the following relation holds:
Proof
The estimate follows from
and the result of Lemma 5.2. □
6 Existence
Before showing the existence of a solution in Theorem 6.1, we introduce Rothe’s functions \(u_{n}\) and \(\overline{u}_{n}\):
Similarly, we define \(\overline{g}_{n}\), \(\overline{\mathcal{L}}_{n}\) and \(\overline{f}_{n}\). Moreover, we define
Further, we use also the notation \({\lceil t\rceil _{\tau }}=t_{i}\) when \(t\in (t_{i-1},t_{i}]\). Now, using Eq. (19), we can rewrite Eq. (24) on the whole time frame as follows:
where
Theorem 6.1
(Existence)
Let assumptions AS-(1–6) be fulfilled. Then there exists a weak solution u to problem (21) with \(u\in \operatorname{L}^{\infty } ((0,T),\operatorname{H}^{1}_{0}( \Omega ) )\) and \(\partial _{t}(g\ast (u-\tilde{u}_{0})) \in \operatorname{L}^{\infty } ((0,T),{\operatorname{H}^{1}_{0}(\Omega )}^{*} )\).
Proof
From Lemmas 5.2 and 5.3, we get that the sequence \((\overline{u}_{n})_{n\in {\mathbb{N}}}\) is uniformly bounded and 2-mean equicontinuous in \(\operatorname{L}^{2} ((0,T),Q_{T} )=\operatorname{L}^{2} ((0,T),\operatorname{L}^{2} (\Omega ) )\). Therefore, from the Riesz–Frechét–Kolmogorov [50, Theorem 2.13.1] and the reflexivity of the space \(\operatorname{L}^{2} ((0,T), \operatorname{H}^{1}_{0}(\Omega ) )\), we have the existence of an element u in \(\operatorname{L}^{2} ((0,T),\operatorname{L}^{2} (\Omega ) )\) and a subsequence \(( \overline{u}_{n_{l}})_{l\in {\mathbb{N}}}\) of \((\overline{u}_{n})_{n\in {\mathbb{N}}}\) such that
and
Moreover, Lemma 5.3 gives that
Therefore, \(u \in \operatorname{L}^{\infty } ((0,T),\operatorname{H}^{1}_{0}( \Omega ) )\). Now, we integrate Eq. (29) in time over \((0,\eta )\subset (0,T)\) for the resulting subsequence to get that
If \(\partial _{t}f \in \operatorname{L}^{2} ((0,T), \operatorname{L}^{2} (\Omega ) )\), then for \(t\in (t_{i-1},t_{i}]\), we have that
If \(\Vert \partial _{t}f(t) \Vert \leqslant C (1+t^{\gamma -1} )\) with \(\gamma \in (0,1)\), then we have that
by the α-Hölder continuity of \(f(x)=x^{\alpha }\) with \(\alpha \in (0,1)\). Therefore,
Similarly, we have that \(\Vert \overline{\boldsymbol{A}}_{n_{l}}(t)-\boldsymbol{A}(t) \Vert _{ (\operatorname{L}^{\infty }(\Omega ) )^{d \times d}}\to 0\) and \(\Vert \overline{c}_{n_{l}}(t)-c(t) \Vert _{\operatorname{L}^{\infty }(\Omega )}\to 0\) for all \(t\in [0,T]\) as \(l \to \infty \). Hence, employing the results above, for \(\eta \in (0,T)\), we see that
and
At this moment we are not able to perform the limit transition in the first term of (31). Hence, we integrate Eq. (31) once more in time over \(\eta \in (0,\xi ) \subset (0,T)\). We get that
We make the limit transition in three steps:
We employ Corollary 5.1 to obtain that
So the first limit transition is satisfied. For the second limit transition, we first note that \(\overline{ (g\ast u)}_{n_{l}}(t) = (\overline{g}_{n_{l}}\ast \overline{u}_{n_{l}})(\lceil t\rceil _{\tau _{n_{l}}})\) for any \(t\in (0,T)\). Moreover, we have that
We show that
and
such that limit transition (ii) is satisfied. First, we have for \(t\in (t_{i-1},t_{i}]\) that
For \(t\in (t_{i-1},t_{i}]\) and a.a. \(\mathbf{x}\in \Omega \), it holds that
Then, using Lemma 5.2, we obtain from Eq. (34) for \(t\in (t_{i-1},t_{i}]\) that
which is valid for \(i=1,\ldots ,n\). Secondly, we deduce for the second term on the RHS of (33) that
since (remember that the function g is decreasing in time and thus \(\overline{g}_{n_{l}} \leqslant g\)) we have for \(t\in (t_{i-1},t_{i}]\) that
where we used the α-Hölder continuity of \(f(x)=x^{\alpha }\) with \(\alpha \in (0,1]\). Next, we see that
where we used Young’s inequality for convolutions at position \((\star )\). Therefore, using Lemma 5.2, we finally obtain that
We conclude that the second limit transmission is valid. Limit transmission (iii) follows from Eq. (30) since
using Young’s inequality for convolutions at position \((\star )\). Now, we are able to pass to the limit \(l\to \infty \) in (32), and we obtain that
Next, we differentiate the previous relation with respect to ξ, i.e.
Since \(u \in \operatorname{L}^{\infty } ((0,T),\operatorname{H}^{1}_{0}( \Omega ) )\) and \(f \in \operatorname{C} ([0,T],\operatorname{L}^{2} (\Omega ) )\), we immediately see that
This calculation confirms (22). Moreover, from (35), we also get that \((g\ast (u-\tilde{u}_{0}))(\xi )\) is absolutely continuous in time with values in \({\operatorname{H}^{1}_{0}(\Omega )}^{*}\) and with \((g\ast (u-\tilde{u}_{0}))(0)=0 \) as
where
We differentiate this relation with respect to ξ and replace ξ with t to obtain that
i.e. u satisfies the weak formulation (21). Moreover, using that \(u \in \operatorname{L}^{\infty } ((0,T),\operatorname{H}^{1}_{0}( \Omega ) )\) and \(f \in \operatorname{C} ([0,T],\operatorname{L}^{2} (\Omega ) )\), we get that
□
Theorem 6.2
(Uniqueness)
Let assumptions AS-(1–6) be fulfilled. Then there exists a unique weak solution u to problem (21) with \(u\in \operatorname{L}^{\infty } ((0,T),\operatorname{H}^{1}_{0}( \Omega ) )\) and \(\partial _{t}(g\ast (u-\tilde{u}_{0})) \in \operatorname{L}^{\infty } ((0,T),{\operatorname{H}^{1}_{0}(\Omega )}^{*} )\).
Proof
We show the uniqueness of a solution by contradiction. We suppose that two solutions \(u_{1}\) and \(u_{2}\) to (21) exist and set \(u=u_{1}-u_{2}\). Then u satisfies (21) with \(f= 0\) in \(Q_{T}\) and \(u(\mathbf{x},0)=0\) in Ω. Then, we integrate the result over \(t\in (0,\eta )\subset (0,T)\) and put \(\varphi = u(\eta )\). Afterwards, we integrate in time over \(\eta \in (0,\xi ) \subset (0,T)\) and obtain that
From Lemma 2.1, it follows that
Using the symmetry of A and integration by parts, we see that
Hence, using the ε-Young inequality, we see that
Similarly, we have that
Therefore, fixing ε sufficiently small and applying the Grönwall lemma imply that
Hence, we obtain that \(e \ast u = 0\) a.e. in \(Q_{T}\). From the theory on Volterra equations, it follows that \(u=0\) a.e. in \(Q_{T}\), cf. [51, Theorem 3.5]. □
Remark 6.1
(Neumann boundary condition)
We made use of Friedrichs’s inequality to handle the term
in Theorem 6.2. This step is violated when a Neumann condition is considered on the whole boundary of the domain (\(\boldsymbol{A}(t) \nabla u(t)\cdot \boldsymbol{\nu }= 0\) on ∂Ω for \(t>0\)). However, we can assume that \(c \geqslant c_{0}>0\) in \(Q_{T}\) in order to be able to obtain the uniqueness of a solution. In fact, this assumption is also necessary when establishing the a priori estimate in Lemma 5.3 if a Neumann boundary condition is considered.
Remark 6.2
Note that the convergence of Rothe’s functions towards the weak solution in Theorem 6.1 is also valid for the entire Rothe’s sequence as the solution is unique.
We are not able to show that \(u(0) = \tilde{u}_{0}\) for the space-dependent variable-order fractional derivative under consideration. In the next section, we explain how to obtain this convergence result in the case of a constant-order fractional derivative.
7 Fractional derivative of constant order
In this section, we suppose that \(\beta (\mathbf{x}) = \beta \) with \(\beta \in (0,1)\). Therefore, the kernel g only depends on the time-variable. We have the existence of the kernel \(l(t) = \frac{t^{\beta -1}}{\Gamma (\beta )}\) such that \((l\ast g)(t) = 1\) for all \(t\in [0,T]\). Next, we apply the convolution operation with kernel l on (37). We obtain that
From the absolute continuity of \((g\ast (u-\tilde{u}_{0}))(t)\), \((g\ast (u-\tilde{u}_{0}))(0)=0 \) and \((l\ast g)(t) = 1\), we have that
Hence,
For all \(\varphi \in \operatorname{H}^{1}_{0}(\Omega )\), since \(u \in \operatorname{L}^{\infty } ((0,T),\operatorname{H}^{1}_{0}( \Omega ) )\) and \(f \in \operatorname{C} ([0,T],\operatorname{L}^{2} (\Omega ) )\), we obtain that
Thus \(u(0)=\tilde{u}_{0}\) in \({\operatorname{H}^{1}_{0}(\Omega )}^{*}\) and
Finally, we summarise the results in the following theorem, which improves the result obtained in [37, Theorem 3.1] (see also [38, Theorem 1]).
Theorem 7.1
Let assumptions AS-(1–6) be fulfilled and put \(\beta (\mathbf{x}) = \beta \) with \(\beta \in (0,1)\). Then there exists a unique weak solution u to problem (21) with \(u\in \operatorname{C} ([0,T],{\operatorname{H}^{1}_{0}( \Omega )}^{*} ) \cap \operatorname{L}^{\infty } ((0,T), \operatorname{H}^{1}_{0}(\Omega ) )\) and \(\partial _{t}(g\ast (u-\tilde{u}_{0})) \in \operatorname{L}^{\infty } ((0,T),{\operatorname{H}^{1}_{0}(\Omega )}^{*} )\).
Remark 7.1
In [26, Proposition 7], the authors proved that \(u\in \operatorname{C} ([0,T],X )\) and \(u(0)=\tilde{u}_{0}\) for \(\beta \in (\frac{1}{p},1 ]\) if \(u\in \operatorname{L}^{1} ((0,T),X )\), \(p \in (1,\infty )\), \((g\ast (u-\tilde{u}_{0}))(0)=0\) and \(\partial _{t}(g\ast (u-\tilde{u}_{0})) \in \operatorname{L}^{p} ((0,T),X )\). The authors made use of [52, Theorem 3.6], which is also satisfied for \(p=\infty \). Therefore, we deduce that [26, Proposition 7] is also satisfied for \(p=\infty \), which is in accordance with the result obtained above.
Remark 7.2
(Neumann boundary condition)
Theorem 7.1 is also satisfied when considering a homogeneous Neumann boundary condition if \(c\geqslant c_{0}>0\).
Remark 7.3
We use the absolute continuity in time with values in \({\operatorname{H}^{1}_{0}(\Omega )}^{*}\) of \((g\ast (u-\tilde{u}_{0}))(t)\) to obtain the continuity in time of \(u(t)\) with values in \({\operatorname{H}^{1}_{0}(\Omega )}^{*}\). We note that no information about \(\partial _{t}u\) itself is obtained.
7.1 More regular solution
In this section, we show that the solution u to problem (2) belongs to
if the tensor A in the principal part of the differential operator L is a \(1 \times 1\) matrix, i.e. we suppose that
This leads to the following additional assumptions:
-
AS-7: \(\beta \in \operatorname{C}(\overline{\Omega })\) with \(0<\beta (\mathbf{x}) \leqslant \beta _{1} < 1\) for all \(\mathbf{x}\in \overline{\Omega }\);
-
AS-8: \({\boldsymbol{A}} \in (\operatorname{L}^{\infty }(Q_{T}) )^{1\times 1}\), i.e. \(\boldsymbol{A} =a\), and \(\nabla a \in (\operatorname{L}^{\infty }(Q_{T}) )^{d}\).
We note that the ellipticity assumption AS-2 reduces to
The goal is to derive some higher stability results for the discrete solution. We have already from the Lax–Milgram lemma that there exists a unique \(u_{i} \in \operatorname{H}^{1}_{0}(\Omega )\) solving problem (24) for any \(i=1,\ldots ,n\), see Lemma 5.1. Moreover, from (24), it follows that
However, as the RHS is an element of \(\operatorname{L}^{2} (\Omega )\) (thanks to assumption AS-8), we also have that \(-a_{i} \Delta u_{i}\) is an element of \(\operatorname{L}^{2} (\Omega )\) for any \(i=1,\ldots ,n\). Hence, from the ellipticity assumption, we get that \(\Delta u_{i} \in \operatorname{L}^{2} (\Omega )\) for any \(i=1,\ldots ,n\). Now, we are able to establish the following a priori estimate.
Lemma 7.1
Let assumptions AS-(1–8) be fulfilled. Then a positive constant C exists such that, for every \(j=1,2,\ldots ,n\), the following relation holds:
Proof
We multiply
by \(-\Delta u_{i}\tau \), integrate the result over Ω and sum up the result for \(i=1,\ldots j\) keeping \(1\leqslant j \leqslant n\). We obtain that
We apply Green’s theorem on the first term on the LHS. Since g is space-independent here and \(u_{i} |_{\Gamma }=0\) for \(i=0,\dots ,n\), we get that
Hence, using relation (19), we obtain that
From Lemma 3.3, again using that g is solely time-dependent, we obtain that
Using the ε-Young inequality, we estimate the second term in the RHS as follows:
Using Lemma 5.2, we easily see that
Therefore, we obtain the following estimate:
We conclude the proof by fixing \({\varepsilon }_{1}\) and \({\varepsilon }_{2}\) sufficiently small. □
In the space \(\operatorname{H}^{2}(\Omega )\cap \operatorname{H}^{1}_{0}(\Omega )\), the norms \(\Vert \Delta u \Vert \) and \(\Vert u \Vert _{\operatorname{H}^{2}(\Omega )}\) are equivalent [53, Theorem 1]. Hence, Lemma 7.1 implies that the Rothe sequence \((\overline{u}_{n})_{n\in {\mathbb{N}}}\) is bounded in \(\operatorname{L}^{2} ((0,T),\operatorname{H}^{2}(\Omega ) \cap \operatorname{H}^{1}_{0}(\Omega ) )\). The reflexivity of this space implies that the weak solution u to problem (21) belongs to this space. Moreover, from (21) it also follows that \(\partial _{t}(g\ast (u-\tilde{u}_{0})) \in \operatorname{L}^{2} ((0,T),\operatorname{L}^{2} (\Omega ) )\).
This latter result implies that the conditions of Corollary 3.1 are satisfied. It is here that we can use this result to obtain in a different way (before we used the positive definiteness of the kernel) the uniqueness of solution to problem (21). We consider \(u=u_{1}-u_{2}\) with \(u_{1}\) and \(u_{2}\) different solutions to (21). Thus u satisfies (21) with \(f= 0\) in \(Q_{T}\) and \(u(\cdot ,0)=0\) in Ω. Therefore, taking \(\varphi = u(t)\) in (21) and integrating with respect to time over \((0,\eta ) \subset (0,T)\) gives
From Corollary 3.1, it follows for any \(\eta \in (0,T)\) that (note that \(\beta _{1}=\beta \) in (8))
i.e. \(u = 0\) a.e. in \(Q_{T}\).
Theorem 7.2
Let assumptions AS-(1–8) be fulfilled and put \(\beta (\mathbf{x}) = \beta \) with \(\beta \in (0,1)\). Then there exists a unique weak solution u to problem (21) with \(u\in \operatorname{C} ([0,T],{\operatorname{H}^{1}_{0}( \Omega )}^{*} ) \cap \operatorname{L}^{2} ((0,T), \operatorname{H}^{2}(\Omega )\cap \operatorname{H}^{1}_{0}(\Omega ) )\) and \(\partial _{t}(g\ast (u-\tilde{u}_{0})) \in \operatorname{L}^{2} ((0,T),\operatorname{L}^{2} (\Omega ) )\).
Remark 7.4
(Neumann boundary condition)
We discussed before in Remark 6.1 that the coefficient c needs to satisfy additionally \(c\geqslant c_{0}>0\) (next to assumptions AS-(1–6)) in order to obtain the uniqueness of a solution and Lemma 5.3 when a Neumann condition is considered on the whole boundary of the domain. We note that Eq. (39) is also satisfied without additional assumption on c in the case of a Neumann boundary condition on the complete boundary (as \(f\equiv 0\) in the proof of uniqueness). Moreover, from [54, Theorem 2.50], it follows that the norms \(\Vert u \Vert + \Vert \Delta u \Vert \) and \(\Vert u \Vert _{\operatorname{H}^{2}(\Omega )}\) are equivalent for \(u\in \operatorname{H}^{2}(\Omega )\) satisfying \(\nabla u \cdot \boldsymbol{\nu }=0\) on ∂Ω. This implies that Theorem 7.2 is also satisfied when considering a homogeneous Neumann boundary condition if \(c\geqslant c_{0}>0\).
In the next estimate, we show that under the additional assumptions
-
AS-9: \(\tilde{u}_{0}\in \operatorname{H}^{2}(\Omega )\), i.e. \(\tilde{u}_{0}\in \operatorname{H}^{2}(\Omega )\cap \operatorname{H}^{1}_{0}( \Omega )\);
-
AS-10: \(\nabla a(t) = \mathbf{0}\) and \(\nabla c(t) = \mathbf{0}\) a.e. in Ω for all \(t\in (0,T]\),
we have that the solution u to problem (21) belongs to \(\operatorname{L}^{\infty } ((0,T),\operatorname{H}^{2}( \Omega )\cap \operatorname{H}^{1}_{0}(\Omega ) )\). Then from
we get that \(\lim_{t\searrow 0} \Vert u(t)- \tilde{u}_{0} \Vert = 0\).
Lemma 7.2
Let assumptions AS-(1–10) be fulfilled. Then positive constants C and \(\tau _{0}\) exist such that, for any \(\tau < \tau _{0}\) and for every \(j=1,2,\ldots ,n\), the following relation holds:
Proof
We start with multiplying (38) by \(-\Delta \delta u_{i}\tau \), integrating the result over Ω and summing it up for \(i=1,\ldots j\) keeping \(1\leqslant j \leqslant n\). We get by AS-10 and Green’s theorem the following equality:
Further, we follow the lines of the proof of Lemma 5.3. The first term on the LHS of (40) is positive, and for the second we use (27) in order to obtain that
Using again (27) and the result of Lemma 5.3 gives us
If \(f \in \operatorname{H}^{1} ((0,T),\operatorname{L}^{2} ( \Omega ) )\), then the term on the RHS of (40) can be estimated as follows:
The result of the lemma follows by fixing ε sufficiently small.
If \(\Vert \frac{\partial ^{\ell }}{\partial t^{\ell }} f(t) \Vert \leqslant C (1+t^{\gamma -\ell } )\) for \(\ell =0,1\) and \(\gamma \in (0,1)\), then
Now, the estimate follows from the discrete Grönwall lemma [49, Corollary 15.5]. □
We summarise the consequences of Lemma 7.2 in the following theorem.
Theorem 7.3
Let assumptions AS-(1–10) be fulfilled and put \(\beta (\mathbf{x}) = \beta \) with \(\beta \in (0,1)\). Then there exists a unique weak solution u to problem (21) with \(u\in \operatorname{C} ([0,T],\operatorname{L}^{2} (\Omega ) ) \cap \operatorname{L}^{\infty } ((0,T), \operatorname{H}^{2}(\Omega )\cap \operatorname{H}^{1}_{0}(\Omega ) )\) and \(\partial _{t}(g\ast (u-\tilde{u}_{0})) \in \operatorname{L}^{\infty } ((0,T),\operatorname{L}^{2} (\Omega ) )\).
7.2 Numerical experiments
In this subsection, we first test the performance of the time-discrete scheme (25) (temporal error) for solving (2) for a smooth solution and a typical solution given by
respectively. We will perform several numerical experiments for different values of the order of the fractional derivative β. We consider \(\Omega =(0,1)\) and \(T=1\). We solve problems (25) at each time step by the finite element method (FEM) using the first-order (P1–FEM) Lagrange polynomials for the space discretization, where we take the number of space discretization intervals equal to 128. We use the finite element library DOLFIN [55, 56] from the FEniCS project [57, 58] to solve these problems. The CPU time (in seconds, Intel® CoreTM i7-1065G7 Processor) increases fast when increasing the number of time discretization intervals, as at each time step one has to use the numerical solutions at all preceding time levels. In the numerical examples, we consider the following errors:
The error \(E_{\mathrm{conv}}^{n}\) is motivated by considering that we have \(\partial _{t}(g \ast (u-\tilde{u}_{0})\) in the governing PDE instead of \(\partial _{t}u\) in a classical parabolic PDE. In the first experiment, we consider the smooth solution \(u_{\mathrm{ex}}^{1,\beta }\) for different values of β, i.e. \(\beta =0.2,0.4,0.6,0.8\). On Figs. 1 and 2, the errors \(E_{\mathrm{max}}^{n} \) and \(E_{\mathrm{conv}}^{n}\) are depicted on a logarithmic scale for \(\tau = \{ 2^{-j}:j=5\ldots 10 \} \). We may conclude that the asymptotic rate of convergence for \(E_{\mathrm{max}}^{n} \) is of order \(\tau ^{\beta }\), but a very fine timestep τ will be needed to obtain this convergence rate, which will lead to a huge computational complexity. Moreover, it is clear that we have \({\mathcal{O}} (\tau ^{1-\beta } )\) convergence for \(E_{\mathrm{conv}}^{n}\). The same conclusions can be drawn from Figs. 3 and 4, where we investigate the algorithm in case of \(u_{\mathrm{ex}}^{2,\beta }\) for the different values of \(\beta \in \{0.2,0.4,0.6,0.8\}\). For these typical solutions, the timestep τ needs to be smaller in comparison with the smooth solutions (especially for small \(\beta =0.2\)). The numerical results obtained for these examples validate the convergence of the proposed algorithms. Important to note is that \(E_{\mathrm{max}}^{n} = \max_{x\in \overline{\Omega }} \vert \overline{u}_{n}(x,t_{1}) -u_{\mathrm{ex}}(x,t_{1}) \vert \) in all these experiments. An interesting direction for future research is to investigate theoretically the order of convergence of \(E_{\mathrm{max}}^{n}\) and \(E_{\mathrm{conv}}^{n} \).
Asymptotic convergence rate for \(u_{\mathrm{ex}}^{1,\beta }\) on a logarithmic scale using (17): \(\log _{2} E_{\mathrm{max}}^{n}\)
Convergence rate for \(u_{\mathrm{ex}}^{1,\beta }\) on a logarithmic scale using (17): \(\log _{2} E_{\mathrm{conv}}^{n}\)
Asymptotic convergence rate for \(u_{\mathrm{ex}}^{2,\beta }\) on a logarithmic scale using (17): \(\log _{2} E_{\mathrm{max}}^{n}\)
Convergence rate for \(u_{\mathrm{ex}}^{2,\beta }\) on a logarithmic scale using (17): \(\log _{2} E_{\mathrm{conv}}^{n}\)
As we mentioned before, in order to obtain good numerical approximations, a very small timestep τ is needed, which is very time consuming. We may conclude that the time-discrete scheme (25) mainly has theoretical advantages. For this reason, we try to improve the time-discrete scheme (25) (leading to the theoretical results obtained in this paper) from computational viewpoint by considering a graded mesh and allocating more time-points around \(t=0\) [59–61]. We consider a graded time-partitioning of the form \(t_{j}=T(j/n)^{r}\) for \(j=0,1,\ldots ,n\), where the constant mesh grading is assumed to satisfy \(r \geqslant 1\). We put \(\tau _{j}:=t_{j}-t_{j-1}\) for \(j=1,\ldots , n\) and consider the following time-discrete convolution on the graded mesh:
If \(r=1\), then the mesh is uniform and we easily see that we get the approximation (17) on a uniform mesh. The use of a graded mesh increases the temporal mesh near \(t=T\) (it is coarser), and so it is possible that the error around \(t=T\) starts to dominate the error around the initial time \(t=0\) (possibly also the space discretization error starts to interfere the results). This is the reason why we also calculate the maximum error on the initial time layer \(I:=[0,t_{1}]\) and investigate its behaviour, i.e.
In case of the graded mesh, the convergence rates are derived as follows:
In the experiments, we take \(r= \frac{2-\beta }{\beta }\) in accordance with the optimal mesh grading for the classical L1-approximation for the Caputo fractional derivative [41, 62]. In Tables 1 and 2, we give the maximum errors and the orders of convergence for \(u_{\mathrm{ex}}^{1,\beta }\) and \(u_{\mathrm{ex}}^{2,\beta }\), respectively. For \(r= \frac{2-\beta }{\beta }\), we see that the asymptotic convergence rate of \(E_{\mathrm{max}_{I}}^{n}\) is \(2-\beta \), and we again observe that the asymptotic convergence rate of \(E_{\mathrm{conv}}^{n}\) is \(1-\beta \). From these experiments, we are not able to make conclusions for the convergence rate of \(E_{\mathrm{max}}^{n}\). However, it is clear that the maximum error is smaller in comparison with the uniform scheme (17). The same order of accuracy can only be obtained for the uniform scheme in the case of a very small timestep τ.
Finally, we compare these results with the results obtained when discretising the Caputo time fractional derivative using the well-known L1-algorithm on uniform [63] and graded meshes [41]. The L1-approximation is defined as follows:
where \(\mathrm{g}_{\alpha }(t):=\frac{t^{\alpha -1}}{\Gamma (\alpha )}\). Hence, the L1-approximation to the Caputo fractional derivative of order \(\beta \in (0, 1)\) at the time point \(t_{i}\) is given by
Therefore, using this approximation, the time-discrete scheme (25) becomes
Now, we perform the same experiments as before using the L1-approximation. The results for a uniform mesh (i.e. (42) with \(r=1\)) are plotted in Figs. 5–8. The maximum error is smaller in comparison with the uniform time-discrete convolution (17). The results suggest an asymptotic convergence rate of \({\mathcal{O}} (\tau ^{\beta } )\) for \(E_{\mathrm{max}}^{n}\) and of \({\mathcal{O}} (\tau )\) for \(E_{\mathrm{conv}}^{n}\) when using (42). The results for the graded mesh with \(r=\frac{2-\beta }{\beta }\) are given in Tables 3 and 4. We again see that the asymptotic convergence rate of \(E_{\mathrm{max}_{I}}^{n}\) is \(2-\beta \) and that the asymptotic convergence rate of \(E_{\mathrm{conv}}^{n}\) is 1. We observe that the error away from \(t=0\) can dominate the error around the initial time, which gives a possible explanation for not obtaining the convergence rate of \(2-\beta \) for \(E_{\mathrm{max}}^{n}\) as was obtained before in [41]. We note that the maximum error \(E_{\mathrm{max}_{I}}^{n}\) is smaller in comparison with using the time-discrete convolution quadrature (41) with \(r= \frac{2-\beta }{\beta }\) for every experiment. However, we observe that the maximum error \(E_{\mathrm{max}}^{n}\) is (slightly) smaller in comparison with using the time-discrete convolution (41) with \(r= \frac{2-\beta }{\beta }\) for \(\beta =0.6\) and \(\beta =0.8\), but it is (slightly) larger for \(\beta =0.2\) and \(\beta =0.4\). Further research should be undertaken to investigate these observations in more detail.
Asymptotic convergence rate for \(u_{\mathrm{ex}}^{1,\beta }\) on a logarithmic scale using (41) with \(r=1\): \(\log _{2} E_{\mathrm{max}}^{n}\)
Convergence rate for \(u_{\mathrm{ex}}^{1,\beta }\) on a logarithmic scale using (41) with \(r=1\): \(\log _{2} E_{\mathrm{conv}}^{n}\)
Asymptotic convergence rate for \(u_{\mathrm{ex}}^{2,\beta }\) on a logarithmic scale using (41) with \(r=1\): \(\log _{2} E_{\mathrm{max}}^{n}\)
Convergence rate for \(u_{\mathrm{ex}}^{2,\beta }\) on a logarithmic scale using (41) with \(r=1\): \(\log _{2} E_{\mathrm{conv}}^{n}\)
8 Multiple regions
In this section, we consider a composite medium consisting out of N separated subdomains (e.g. layers). For ease of exposition, we take \(N=2\) and make the following assumptions:
-
AS-11: \(\Omega = \Omega _{1} \cup \Omega _{2} \cup {\mathcal{S}}\), where \(\Omega _{1}\) and \(\Omega _{2}\) are non-overlapping Lipschitz subdomains with interface \(\mathcal{S}:= \overline{\Omega }_{1} \cap \overline{\Omega }_{2}\);
-
AS-12: The normal flux of u is continuous along \(\mathcal{S}\), i.e.
$$ \bigl[ \bigl[\boldsymbol{A} \nabla u(t) \cdot \mathbf{n} \bigr] \bigr]_{{ \mathcal{S}}} = \bigl(\boldsymbol{A}^{2}\nabla u^{2}(t) -\boldsymbol{A}^{1} \nabla u^{1}(t) \bigr) \cdot \mathbf{n} = 0,\quad t\in (0,T], $$(43)where n denotes the outer normal on \(\Omega _{1}\), and \(u^{1}\), \(u^{2}\) are the limiting values of the function u as \(\mathcal{S}\) is approached from \(\Omega _{1}\), \(\Omega _{2}\), respectively.
The weak formulation (4.1) is also satisfied in this situation as AS-12 implies that for all \(\varphi \in \operatorname{H}^{1}_{0}(\Omega )\) it holds that
The analysis in Sect. 6 stays valid. Therefore, we can conclude the following theorem.
Theorem 8.1
(Existence and uniqueness: multiple regions)
Let assumptions AS-(1–6) and AS-(11–12) be fulfilled. Then there exists a unique weak solution u to problem (21) with \(u\in \operatorname{L}^{\infty } ((0,T),\operatorname{H}^{1}_{0}( \Omega ) )\) and \(\partial _{t}(g\ast (u-\tilde{u}_{0})) \in \operatorname{L}^{\infty } ((0,T),{\operatorname{H}^{1}_{0}(\Omega )}^{*} )\).
Next, we show the \(\operatorname{L}^{2} ((0,T),\operatorname{H}^{2}(\Omega ) \cap \operatorname{H}^{1}_{0}(\Omega ) )\) regularity of the solution when \(\beta (\mathbf{x})\) is a step function. We consider the following assumptions:
-
AS-13: \(\beta (\mathbf{x})\) is a step function, i.e.
$$ \beta (\mathbf{x}) = \textstyle\begin{cases} \overline{\beta }_{1} & \mathbf{x}\in \Omega _{1}; \\ \overline{\beta }_{2} & \mathbf{x}\in \Omega _{2}, \end{cases} $$(44)with \(0 < \overline{\beta }_{1},\overline{\beta }_{2}<1\);
-
AS-14:
$$ \boldsymbol{A}(\mathbf{x},t) = a(\mathbf{x}) = \textstyle\begin{cases} \overline{a}_{1} & \mathbf{x}\in \Omega _{1}; \\ \overline{a}_{2} & \mathbf{x}\in \Omega _{2}. \end{cases} $$
Next, we are able to obtain a similar estimate as in Lemma 7.1 as \(\nabla g = 0\) in \(\Omega _{1}\) and \(\Omega _{2}\).
Lemma 8.1
Let assumptions AS-(1–6) and AS-(11–14) be fulfilled. Then a positive constant C exists such that, for every \(j=1,2,\ldots ,n\), the following relation holds:
Proof
We multiply (38) by \(-a\Delta u_{i}\tau \) and integrate the result over \(\Omega _{1}\) and \(\Omega _{2}\), respectively. In particular for the first term on the LHS, using \(\nabla g = 0\) in \(\Omega _{1}\) and \(\Omega _{2}\), we obtain that
Hence, by \(u_{i} \in \operatorname{H}^{1}_{0}(\Omega )\) and AS-12, we get that
We add up the resulting equations on \(\Omega _{1}\) and \(\Omega _{2}\) and sum the result over \(i=1,\ldots j\) with \(1\leqslant j \leqslant n\). Using relation (19), we get that
We obtain from Lemma 3.3 that
All the other terms in (45) can be handled as in Lemma 7.1, and so we can conclude the proof. □
From this lemma it follows that \(u\in \operatorname{L}^{2} ((0,T),\operatorname{H}^{2}(\Omega ) \cap \operatorname{H}^{1}_{0}(\Omega ) )\) and \(\partial _{t}(g\ast (u-\tilde{u}_{0})) \in \operatorname{L}^{2} ((0,T),\operatorname{L}^{2} (\Omega ) )\) with
When discussing the uniqueness of a solution, we get again from Corollary 3.1 inequality (39) where \(\beta _{1} = \max \{\overline{\beta }_{1},\overline{\beta }_{2}\}\) in (8). We conclude the following theorem.
Theorem 8.2
Let assumptions AS-(1–6) and AS-(11–14) be fulfilled. Then there exists a unique weak solution u to problem (21) with
We are not able to show the continuity of the solution in time by the argument used before for the fractional derivative of constant order. Let us consider
and define \(l_{i}(t) := \frac{t^{\overline{\beta }_{i}-1}}{\Gamma (\overline{\beta }_{i})}\) for \(i=1,2\). Then, for \(\varphi \in \operatorname{H}^{1}_{0}(\Omega )\) and \(i=1,2\), it holds that
We do not know how to get control over the boundary term as \(l_{1}\neq l_{2}\). However, if \(\tilde{u}_{0}\) in \(\operatorname{H}^{2}(\Omega )\), then we can show the continuity in time by multiplying (38) by \(-a\Delta \delta u_{i}\tau \). Then, as in the proof of Lemma 8.1, we have that
The boundary term cancels out if AS-12 is satisfied at \(t=0\). Together with \(\tilde{u}_{0}\in \operatorname{H}^{2}(\Omega )\) we see that necessarily \([ [a ] ]_{\mathcal{S}} = 0\). Hence, we immediately assume that
-
AS-15: \(\boldsymbol{A}(\mathbf{x},t) = \overline{a} \in (0,\infty )\) in \(Q_{T}\).
Lemma 8.2
Let assumptions AS-(1–6), AS-9, AS-(11–13) and AS-15 be fulfilled. Then positive constants C and \(\tau _{0}\) exist such that, for any \(\tau < \tau _{0}\) and for every \(j=1,2,\ldots ,n\), the following relation holds:
Proof
We multiply (38) by \(-\Delta \delta u_{i}\tau \) and integrate the result over \(\Omega _{1}\) and \(\Omega _{2}\), respectively. Now, as in the proof of Lemma 8.1, we have that
and
Hence, we obtain (40) and we can proceed as in Lemma 7.2. □
From this lemma, we obtain that \(u\in \operatorname{L}^{\infty } ((0,T),\operatorname{H}^{2}( \Omega )\cap \operatorname{H}^{1}_{0}(\Omega ) )\). Hence, from
we get that
Theorem 8.3
Let assumptions AS-(1–6), AS-9, AS-(11–13) and AS-15 be fulfilled. Then there exists a unique weak solution u to problem (21) with \(u\in \operatorname{C} ([0,T],\operatorname{L}^{2} (\Omega ) ) \cap \operatorname{L}^{\infty } ((0,T), \operatorname{H}^{2}(\Omega )\cap \operatorname{H}^{1}_{0}(\Omega ) )\) and \(\partial _{t}(g\ast (u-\tilde{u}_{0})) \in \operatorname{L}^{\infty } ((0,T),\operatorname{L}^{2} (\Omega ) )\).
9 Conclusion
We have investigated an initial-boundary value problem for a fractional diffusion equation with space-dependent variable order where the coefficients are dependent on spatial and time variables. First, we have studied the properties of the governing kernel in Sect. 2. Afterwards, in Sect. 3, we have generalised a fundamental identity for integro-differential operators of the form \(\frac{\mathrm{d}}{\mathrm{d}t} (k\ast v)(t)\) to a convolution kernel that is also space-dependent. By the aid of a convolution quadrature on a uniform mesh, we have proven the existence and uniqueness of a unique weak solution to the problem by aid of Rothe’s method in the next sections. Moreover, we discussed in detail the constant-order case and under which assumptions a more regular solution can be obtained. We considered a time-discrete convolution on a graded mesh in order to improve the computational results. We also investigated a composite medium consisting of a finite number of separated subdomains. An interesting direction for future research is to investigate the well-posedness of the fractional wave equation of variable order.
Availability of data and materials
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Notes
Only the right-hand and the left-hand derivatives need to exist at the boundary points \(t = 0\) and \(t = T\), respectively.
References
Patnaik, S., Hollkamp, J.P., Semperlotti, F.: Applications of variable-order fractional operators: a review. Proc. R. Soc. A, Math. Phys. Eng. Sci. 476(2234), 20190498 (2020)
Evangelista, L.R., Lenzi, E.K.: Fractional Diffusion Equations and Anomalous Diffusion. Cambridge University Press, Cambridge (2018)
Chechkin, A.V., Gorenflo, R., Sokolov, I.M.: Fractional diffusion in inhomogeneous media. J. Phys. A, Math. Gen. 38(42), L679–L684 (2005)
Sun, H.G., Chen, W., Chen, Y.Q.: Variable-order fractional differential operators in anomalous diffusion modeling. Phys. A, Stat. Mech. Appl. 388(21), 4586–4592 (2009)
Korabel, N., Barkai, E.: Paradoxes of subdiffusive infiltration in disordered systems. Phys. Rev. Lett. 104, 170603 (2010)
Stickler, B.A., Schachinger, E.: Continuous time anomalous diffusion in a composite medium. Phys. Rev. E 84, 021116 (2011)
Fedotov, S., Falconer, S.: Subdiffusive master equation with space-dependent anomalous exponent and structural instability. Phys. Rev. E 85, 031132 (2012)
Chen, W., Zhang, J., Zhang, J.: A variable-order time-fractional derivative model for chloride ions sub-diffusion in concrete structures. Fract. Calc. Appl. Anal. 16(1), 76–92 (2013)
Ricciuti, C., Semi-Markov, T.B.: Models and motion in heterogeneous media. J. Stat. Phys. 169(2), 340–361 (2017)
Straka, P.: Variable order fractional Fokker–Planck equations derived from continuous time random walks. Phys. A, Stat. Mech. Appl. 503, 451–463 (2018)
Sun, H., Chang, A., Zhang, Y., Chen, W.: A review on variable-order fractional differential equations: mathematical foundations, physical models, numerical methods and applications. Fract. Calc. Appl. Anal. 22(1), 27–59 (2019)
Umarov, S., Steinberg, S.: Variable order differential equations with piecewise constant order-function and diffusion with changing modes. Z. Anal. Anwend. 28(4), 431–450 (2009)
Almeida, R., Tavares, D., Torres, D.F.M.: The Variable-Order Fractional Calculus of Variations. Springer, Cham (2019)
Hajipour, M., Jajarmi, A., Baleanu, D., Sun, H.: On an accurate discretization of a variable-order fractional reaction-diffusion equation. Commun. Nonlinear Sci. Numer. Simul. 69, 119–133 (2019)
Malesza, W., Macias, M., Sierociuk, D.: Analytical solution of fractional variable order differential equations. J. Comput. Appl. Math. 348, 214–236 (2019)
Wang, H., Zheng, X.: Wellposedness and regularity of the variable-order time-fractional diffusion equations. J. Math. Anal. Appl. 475(2), 1778–1802 (2019)
Acay, B., Inc, M., Khan, A., Yusuf, A.: Fractional methicillin-resistant Staphylococcus aureus infection model under Caputo operator. J. Appl. Math. Comput. (2021) https://doi.org/10.1007/s12190-021-01502-3
Acay, B., Inc, M., Chu, Y.M., Almohsen, B.: Modeling of pressure-volume controlled artificial respiration with local derivatives. Adv. Differ. Equ. 2021(1), 49 (2021)
Acay, B., Inc, M.: Electrical circuits RC, LC, and RLC under generalized type non-local singular fractional operator. Fractal Fract. 5(1) (2021)
Acay, B., Inc, M.: Fractional modeling of temperature dynamics of a building with singular kernels. Chaos Solitons Fractals 142, 110482 (2021)
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)
Luchko, Y.: Initial-boundary-value problems for the one-dimensional time-fractional diffusion equation. Fract. Calc. Appl. Anal. 15(1), 141–160 (2012)
Gorenflo, R., Luchko, Y., Yamamoto, M.: Time-fractional diffusion equation in the fractional Sobolev spaces. Fract. Calc. Appl. Anal. 18(3), 799–820 (2015)
Adams, R.A.: Sobolev Spaces. Pure and Applied Mathematics, vol. 65. Academic Press, New York (1975)
Zacher, R.: Weak solutions of abstract evolutionary integro-differential equations in Hilbert spaces. Funkc. Ekvacioj 52(1), 1–18 (2009)
Kubica, A., Yamamoto, M.: Initial-boundary value problems for fractional diffusion equations with time-dependent coefficients. Fract. Calc. Appl. Anal. 21(2), 276–311 (2018)
Beckers, S., Yamamoto, M.: Regularity and unique existence of solution to linear diffusion equation with multiple time-fractional derivatives, In: Bredies, K., Clason, C., von Kunisch, K., Winckel, G. (eds.) Control and Optimization with PDE Constraints, Springer, Basel, pp. 45–55 (2013)
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)
Kochubei, A.N.: Distributed order calculus and equations of ultraslow diffusion. J. Math. Anal. Appl. 340(1), 252–281 (2008)
Luchko, Y.: Boundary value problems for the generalized time-fractional diffusion equation of distributed order. Fract. Calc. Appl. Anal. 12(4), 409–422 (2009)
Li, Z., Luchko, Y., Yamamoto, M.: Asymptotic estimates of solutions to initial-boundary-value problems for distributed order time-fractional diffusion equations. Fract. Calc. Appl. Anal. 17(4), 1114–1136 (2014)
Wang, C., Agarwal, R.P., O’Regan, D.: Π-semigroup for invariant under translations time scales and abstract weighted pseudo almost periodic functions with applications. Dyn. Syst. Appl. 25(3), 1–28 (2016)
Wang, C., Agarwal, R.P., O’Regan, D., N’Guérékata, G.M.: n0-order weighted pseudo Δ-almost automorphic functions and abstract dynamic equations. Mathematics 7(9) (2019)
Wang, C., Agarwal, R.P.: Almost automorphic functions on semigroups induced by complete-closed time scales and application to dynamic equations. Discrete Contin. Dyn. Syst., Ser. B 25(2), 781–798 (2020)
Wang, C., Li, Z., Agarwal, R.P., O’Regan, D.: Coupled-jumping timescale theory and applications to time-hybrid dynamic equations, convolution and Laplace transforms. Dyn. Syst. Appl. 30(3), 461–508 (2021)
Wang, C., Agarwal, R.P., O’Regan, D.: Weighted pseudo δ-almost automorphic functions and abstract dynamic equations. Georgian Math. J. 28(2), 313–330 (2021)
Van Bockstal, K.: Existence and uniqueness of a weak solution to a non-autonomous time-fractional diffusion equation (of distributed order). Appl. Math. Lett. 109, 106540 (2020)
Van Bockstal, K.: Existence of a unique weak solution to a nonlinear non-autonomous time-fractional wave equation (of distributed-order). Mathematics 8(8), 1283 (2020)
Razminia, A., Dizaji, A.F., Majd, V.J.: Solution existence for non-autonomous variable-order fractional differential equations. Math. Comput. Model. 55(3), 1106–1117 (2012)
Kian, Y., Soccorsi, E., Yamamoto, M.: On time-fractional diffusion equations with space-dependent variable order. Ann. Henri Poincaré 19(12), 3855–3881 (2018)
Stynes, M., O’Riordan, E., Gracia, J.L.: Error analysis of a finite difference method on graded meshes for a time-fractional diffusion equation. SIAM J. Numer. Anal. 55(2), 1057–1079 (2017)
Stynes, M.: Too much regularity may force too much uniqueness. Fract. Calc. Appl. Anal. 19(6), 1554–1562 (2016)
Nohel, J.A., Shea, D.F.: Frequency domain methods for Volterra equations. Adv. Math. 22(3), 278–304 (1976)
Cannarsa, P., Sforza, D.: Integro-differential equations of hyperbolic type with positive definite kernels. J. Differ. Equ. 250(12), 4289–4335 (2011)
Zacher, R.: De Giorgi-Nash-Moser Estimates for Evolutionary Partial Integro-Differential Equations. Halle, Univ. Naturwissenschaftliche Fakultät III, Habilitationsschrift (2010)
Slodička, M., Šišková, K.: An inverse source problem in a semilinear time-fractional diffusion equation. Comput. Math. Appl. 72(6), 1655–1669 (2016)
Slodička, M.: Numerical solution of a parabolic equation with a weakly singular positive-type memory term. Electron. J. Differ. Equ. 1997, Article ID 9 1997)
Slodička, M.: Application of Rothe’s method to evolution integrodifferential systems. Comment. Math. Univ. Carol. 30(1), 57–70 (1989)
Bainov, D., Simeonov, P.: Integral Inequalities and Applications. Mathematics and Its Applications. East European Series, vol. 57. Kluwer Academic, Dordrecht (1992)
Kufner, A., John, O., Fučík, S.: Function spaces. In: Monographs and Textbooks on Mechanics of Solids and Fluids. Noordhoff, Leyden (1977)
Gripenberg, G., Londen, S.O., Volterra, S.O.: Integral and Functional Equations. Cambridge Ocean Technology Series. Cambridge University Press, Cambridge (1990)
Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives: Theory and Applications. Transl. from Russian. Gordon and Breach, New York (1993)
Grimmonprez, M., Slodička, M.: Reconstruction of an unknown source parameter in a semilinear parabolic problem. J. Comput. Appl. Math. 289, 331–345 (2015)
Egorov, Y.V., Cooke, R., Shubin, A.: Foundations of the Classical Theory of Partial Differential Equations. No. v. 1 in Classics in Mathematics. Springer, Berlin (1998)
Logg, A., Wells, G.N.: DOLFIN: automated finite element computing. ACM Trans. Math. Softw. 37(2), 28 (2010)
Logg, A., Wells, G.N., Hake, J.: DOLFIN: a C++/Python finite element library. In: Logg, A., Mardal, K.A., Wells, G.N. (eds.) Automated Solution of Differential Equations by the Finite Element Method, Lecture Notes in Computational Science and Engineering, vol. 84. Springer, Berlin (2012)
Logg, A., Mardal, K.A., Wells, G.N., et al.: Automated Solution of Differential Equations by the Finite Element Method. Springer, Berlin (2012)
Alnæs, M.S., Blechta, J., Hake, J., Johansson, A., Kehlet, B., Logg, A., et al.: The FEniCS project version 1.5. Arch. Numer. Softw. 3(100), 9–23 (2015)
Graham, I.G.: Galerkin methods for second kind integral equations with singularities. Math. Comput. 39(160), 519–533 (1982)
Brunner, H.: The numerical solution of weakly singular Volterra integral equations by collocation on graded meshes. Math. Comput. 45(172), 417–437 (1985)
Apel, T., Sändig, A.M., Whiteman, J.R.: Graded mesh refinement and error estimates for finite element solutions of elliptic boundary value problems in non-smooth domains. Math. Methods Appl. Sci. 19(1), 63–85 (1996)
An, N.: Superconvergence of a finite element method for the time-fractional diffusion equation with a time-space dependent diffusivity. Adv. Differ. Equ. 2020(1), 511 (2020)
Lin, Y., Xu, C.: Finite difference/spectral approximations for the time-fractional diffusion equation. J. Comput. Phys. 225(2), 1533–1552 (2007) http://www.sciencedirect.com/science/article/pii/S0021999107000678
Acknowledgements
The author would like to thank Professor M. Slodička of Ghent University for the fruitful discussions while performing this research work.
Funding
The author is supported by a postdoctoral fellowship of the Research Foundation—Flanders (106016/12P2919N).
Author information
Authors and Affiliations
Contributions
The author confirms sole responsibility for this contribution. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that they have no competing interests.
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
Van Bockstal, K. Existence of a unique weak solution to a non-autonomous time-fractional diffusion equation with space-dependent variable order. Adv Differ Equ 2021, 314 (2021). https://doi.org/10.1186/s13662-021-03468-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03468-9
Keywords
- Time-fractional diffusion equation
- Anomalous diffusion
- Non-autonomous
- Time discretization
- Existence
- Uniqueness