- 1Department of Nonlinear Analysis and Mathematical Physics, Institute of Applied Mathematics and Mechanics of NAS of Ukraine, Sloviansk, Ukraine
- 2Dipartimento di Matematica, Politecnico di Milano, Milan, Italy
In this study, the initial-boundary value problems to semilinear integro-differential equations with multi-term fractional Caputo derivatives are analyzed. A particular case of these equations models oxygen diffusion through capillaries. Under proper requirements on the given data in the model, the classical and strong solvability of these problems for any finite time interval [0, T] are proved via so-called continuation method. The key point in this approach is finding suitable a priori estimates of a solution in the fractional Hölder and Sobolev spaces.
1 Introduction
Complex phenomena in the engineering and scientific fields are modeled utilizing the fractional differential equations (FDEs). Nowadays, the fractional calculus is an efficient tool for describing dynamic behavior of living systems and hereditary properties of various materials: the relaxation process in polymers [1], chaotic neuron model [2], longtime memory in financial time series via fractional Langevin equations [3], and tumor growth models [4] (see also references therein). We also refer to [5, 6], where the authors propose the advanced mathematical model for oxygen delivery to tissue through a capillary in both (transverse and longitudinal) directions. In these studies, conveying oxygen from a capillary to the surrounding tissue is described by means of a subdiffusion equation having two fractional derivatives in time, that is
with 0 < μ < ν < 1. Here, C represents the concentration of oxygen, τ is the time lag in concentration of oxygen along the capillaries (in the present model, this parameter is a positive constant), k is the rate of consumption per volume of tissue, and a0 and bi are the diffusion coefficients of oxygen. In addition, the term details the net diffusion of oxygen to all tissues.
In this equation, the symbol stands for the Caputo fractional derivative with respect to time of order θ ∈ (0, 1),
where Γ is the Euler's Gamma function. An equivalent definition of this derivative in the case of absolutely continuous functions reads
In this art, motivated by the discussion above, we focus on the analytical study of the semilinear integro-differential equation with memory terms. Let Ω ⊂ ℝn, n ≥ 2, be a bounded domain with a smooth boundary ∂Ω, and for any T > 0, we set
We consider the initial-value problems to the multi-term time-fractional semilinear diffusion equation in the unknown function u = u(x, t):ΩT → ℝ,
subject to the following initial and boundary conditions:
where the abbreviations DBC and 3BC mean the Dirichlet boundary condition and the boundary condition of the third kind, respectively.
Here, c0 is given positive number, g, u0, φi are given functions, and and are prescribed memory kernels.
Here, the symbol * stands for the usual time-convolution product on (0, t),
The operator Dt is the linear combination of Caputo fractional derivatives with respect to time, namely
where ν ∈ (0, 1) and νi, μj ∈ (0, ν) are arbitrary but fixed, and ρ = ρ(x, t), ρi = ρi(x, t) and γj = γj(x, t) are given positive functions.
Coming to the remaining operators, , i = 1, 2, are linear elliptic operators of the second order with time-dependent coefficients, while is a first-order differential operator. Their precise forms will be given in Sections 3, where we detail the main assumptions in the model.
Published works concerning the multi-term fractional diffusion/wave equations, i.e., the equation with the operator
with qi being positive, and 0 ≤ ν1 < ν2 < ... < νM, are quite limited in spite of rich literature on their single-term version. Exact solutions of linear multi-term fractional diffusion equations with qi being positive constants on bounded domains are searched employing eigenfunction expansions in Daftardar-Gejji and Bhalekar [7] and Morales-Delgado et al. [5]. We quote Srivastava and Rai [6] and Morales-Delgado et al. [5], where certain numerical solutions are constructed to the corresponding initial-boundary value problems to evolution equations with Dt given via Equation 1.4. Finally, we mention [8], where existence and non-existence of the mild solutions to the Cauchy problem for semilinear subdiffusion equation with the operator Equation 1.4 are discussed. In particular, the authors obtain the Fujita-type and Escobedo-Herrero-type critical exponents for this equation and the system. It is worth noting that, all these works concern to evolution equations with the operator Equation 1.4 which can be rewritten in the form of a generalized fractional derivative with a non-negative locally integrable kernel , that is
Coming to the initial-boundary value problems associated with Equation 1.1 with the operator Dt given by Equation 1.3, we point out two principal differences with respect to the aforementioned articles. The first deals with the presence of Caputo fractional derivatives of the product of two functions: the desired solution u and the prescribed coefficients ρ, ρi, γj. Incidentally, we recall that the well-known Leibniz rule does not work in the case of fractional derivatives. The second distinction is that the operator Dt given by Equation 1.3 (under certain assumptions on the coefficients) can be represented in the form Equation 1.4 but with a negative kernel. Indeed, setting in Equation 1.3
where Cρ is a positive constant, we have the representation
with
being negative for [see Janno and Kinash [9], Lemma 4]; Cγ is the Euler–Mascheroni constant. In fact, the non-negativity of the kernel is a principal assumption in the aforementioned studies.
The linear version of Equations 1.1, 1.3 subject to various type boundary conditions with the coefficients in Dt being alternating sign is discussed in Pata et al. [10] and Vasylyeva [11]. For any fixed time T, the existence and uniqueness of a solution to semilinear problem (Equations 1.1, 1.3) with the Dirichlet or the Neumann boundary conditions are analyzed in Siryk and Vasylyeva [12] and Vasylyeva [11]. Namely, if the coefficients of the operator Dt are only time-dependent and non-decreasing functions, then the well-posedness of these problems in the fractional Hölder and Sobolev spaces is established in the one-dimensional case in Siryk and Vasylyeva [12]. As for the multidimensional case, the classical solvability of the Cauchy-Dirichlet problem to semilinear (Equation 1.1) in the case of two-term fractional derivatives in Dt (i.e., either M = 1, N = 0 or M = 0, N = 1) is proved in Vasylyeva [11]. In this study, the coefficients in Equation 1.1 are time and space dependent but instead of their non-decreasing in time, they have to satisfy more complex assumption. Indeed, if M = 1, N = 0, then the function should be decreasing. Finally, we remark that in Vasylyeva [11], the non-linear term is the local Lipschitz.
The goal of this study is finding sufficient conditions on the coefficients of the operator Dt, the order fractional derivatives ν, μj, and νi, j, i ≥ 1, and the non-linearity f which provide one-to-one classical and strong solvability (for any fixed T) in the case of the DBC or the 3BC. Actually, we consider two types of the non-linearity f(u). The first is f satisfying the local Lipschitz condition and having the linear growth. As for the second, f is a continuous differentiable on ℝ with a super-linear growth. For example, f is a polynomial of odd degree with the positive leading coefficient (see Giorgi et al. [13]). Coming to the coefficients in the fractional operator Dt, we discuss both the non-decreasing coefficients and the coefficients satisfying the properties of Theorem 2 [11].
We notice that the key ingredient in the proof of the classical solvability is the continuation approach, based on the introduction of a family of auxiliary problems depending on a parameter λ ∈ [0, 1]. Then, one has to produce a priori estimates in the fractional Hölder spaces for the solution which are independent of λ. One of the crucial points in the arguments is concerned to the estimates of , obtained via integral iteration technique adopted to the multi-term fractional case. As for the strong solvability, it is proved via the construction of this solution as a limit of approximate smooths solutions and exploiting a priori estimates in the Sobolev spaces.
Finally, we notice that assumptions on the coefficients and the memory kernels in the one-dimensional and multidimensional cases are different. It is related with using various approaches to get a priori estimates of the solutions if n = 1 and n ≥ 2. Namely, if n ≥ 2, we relax assumptions on the coefficients of Dt, in particular, we allow coefficients depending on time and space in Equation 1.3. However, we require more regular memory kernel in Equation 1.1, .
Outline of the study
This article is organized as follows: in Section 2, we introduce the notations and the functional spaces. The general assumptions and main results (Theorems 3.1, 3.2) are stated in Section 3. Theorem 3.1 is devoted to the one-valued classical solvability to Equation 1.1 with the DBC or the 3BC in the multidimensional case, while the strong solvability is established in Theorem 3.2. Section 4 is auxiliary and contains some technical and preliminary results from fractional calculus, playing a key role in the course of the investigation. Section 5 concerns to the obtaining a priori estimates in the fractional Hölder and Sobolev spaces, which will be a crucial point in the proof of the main results. Here, the key bound is the estimate of , produced via integral iteration techniques adapted to the case of multi-term fractional derivatives. The proof of Theorems 3.1 and 3.2 is carried out in Section 6.
2 Functional spaces and notation
Throughout this study, the symbol C will denote a generic positive constant, depending only on the structural quantities of the problem.
In the course of our study, we will exploit the fractional Hölder and Sobolev spaces. To this end, in what follows, we take two arbitrary (but fixed) parameters
For any non-negative integer l, any p ≥ 1, s ≥ 0, and any Banach space (X, ||·||X), we consider the usual spaces
Recall that for non-integer s, the space Ws, p is called Sobolev-Slobodeckii space [for its definition and properties see, e.g., Adams and Fournier [14], Chapter 1].
Denoting for β ∈ (0, 1)
Then, we assert the following definition.
Definition 2.1. A function v = v(x, t) belongs to the class , for l = 0, 1, 2, if the function v and its corresponding derivatives are continuous and the norms here below are finite:
In a similar way, for l = 0, 1, 2, we introduce the space .
The properties of these spaces have been discussed in Krasnoschok et al. [15] (Section 2). As for the limiting case ν = 1, these classes boil down to the usual parabolic Hölder spaces.
Finally, we will say that a function v defined in ΩT belongs to with p > 1 and s1, s2 ≥ 0, if , and the norm here below is finite
The space is defined in the similar manner.
3 Main results
First, we state additional requirements on the given data in Equations 1.1, 1.2.
• h1 (Conditions on the fractional order of the derivatives in Equation 1.3): We assume that
• h2 (Conditions on the operators): The operators appearing in Equations 1.1, 1.2 read
where Ni is a component of the outward normal N = {N1, ..., Nn} to Ω; the fractional operator Dt in Equation 1.1 is given by Equation 1.3.
There are positive constants 0 < δ1 < δ2, such that
for any .
Moreover, we require that
• h3 (Conditions on the coefficients of Dt): We require that for
the relations hold
and there are positive constants δ, δ3, δ4, such that
for each and for all i = 1, 2, ..., M, j = 1, 2, ..., N.
In addition, if N ≥ 1, then
where the function is positive for all t ∈ [0, T] and .
Moreover, we require that the one of the following conditions holds:
(i) either are non-negative for all ;
(ii) or
for all i = 1, ..., M, j = 1, ..., N, and any .
• h4 (Conditions on the right-hand sides): The given functions have the following regularity:
• h5 (Conditions on the memory kernels):
• h6 (Compatibility conditions): The following compatibility conditions hold for every x ∈ ∂Ω at the initial time t = 0,
if the DBC holds, and there is
in the 3BC case.
• h7 (Conditions on the nonlinearity): We assume that the one of the following requirements holds:
• h7.I: either f(u) is the local Lipschitz and has a linear growth, i.e., for every ϱ > 0, there exists a positive constant Cϱ, such that
for any u1, u2 ∈ [−ϱ, ϱ]; and
there is a positive constant L, such that
• h7.II: or , and for some non-negative constants Li, i = 1,2,3,4, and q ≥ 0, the inequalities hold
Remark 3.1. It is apparent that if the positive functions ρ, ρi, γj are time-independent, then condition h3(i) boils down to h3(ii).
Example 3.1. The simplest example of the functions satisfying h3 is
where , are positive constants, such that
Now, we are in the position to state the one-valued classical solvability of Equations 1.1, 1.2.
Theorem 3.1. Let T > 0 be arbitrarily given, n ≥ 2, and let assumptions h1–h6 hold. We assume that f(u) meets the requirement h7.I if N ≥ 1, while in the case of N = 0, f(u) satisfies h7. Then, initial-boundary value problem Equations 1.1, 1.2 admits a unique classical solution u = u(x, t) satisfying the regularity:
The next assertion is related to the strong solvability of Equations 1.1, 1.2.
Theorem 3.2. Let N = 0, n ≥ 2, and let T > 0 be arbitrarily given. We assume that h1–h5 and h7 hold and
where , r ≥ n + 1, , and . Moreover, in the DBC case, we require
Then, the initial-boundary value problem Equations 1.1, 1.2 admits a unique strong solution in the class .
Remark 3.2. Theorems 3.1 and 3.2 hold if Dtu in Equation 1.3 is changed by
where ρ, ρi, γj satisfies h3, but the requirement on the regularity of these functions can be relaxed. Namely, .
The remaining part of this study is devoted to the verification of Theorems 3.1, 3.2. Here, we proceed with a detailed proof of Theorem 3.1 in the most difficult case, i.e., if N ≥ 1, M ≥ 1 in Equation 1.3. This means that the non-linear term f(u) satisfies h7.I. The verification of the remaining cases is simpler and repeats the main steps (with minor changes) in the arguments related with the cases N, M ≥ 1.
4 Technical results
In this section, we collect some useful properties of fractional derivatives and integrals, as well as several preliminaries results that will be significant in our investigation. Throughout this art, for any θ > 0, we use the notation
and define the fractional Riemann-Liouville integral and the derivative of order θ, respectively, of a function v = v(x, t) with respect to time t as
where ⌈θ⌉ is the ceiling function of θ (i.e., the smallest integer greater than or equal to θ).
It is apparent that, for θ ∈ (0, 1), there holds
Accordingly, the Caputo fractional derivative of the order θ ∈ (0, 1) to the function v(x, t) can be represented as
provided that both derivatives exist.
At this point, we subsume [16, Proposition 4.1], [11, Proposition 1] as the following claim.
Proposition 4.1. The following hold.
(i) For any given positive numbers θ1 and θ2 and a summable kernel k = k(t), there are relations
Here, the positive constant C depends only on T, θ1, and ||k||L1(0, T).
(ii) Let , θ ∈ (0, 1), θ1 ≥ 1, , . Then, the equality holds
The next result is key inequalities in the fractional calculus and includes [12, Proposition 5.1, Corollaries 5.2-5.3].
Proposition 4.2. The following holds.
(i) Let θ, θ1 ∈ (0, 1) and θ1 > θ/2, . For any even integer p ≥ 2, the inequalities are true
If v is non-negative, then these bounds hold for any integer odd p.
(ii) Let 0 < θ1 < θ ≤ 1, θ2 ∈ (θ1, 1), and Then, there is positive value T1 = T1(θ), such that the following inequalities hold:
where p meets requirements of (i).
At this point, for given functions w1 and w2, we define
and assert the results obtained in ([12], Proposition 5.5) and related to the fractional differentiation of the product.
Proposition 4.3. Let θ ∈ (0, 1), .
(i) If belongs either to or to Lp(0, T), p ≥ 2, then, there are equalities:
and have the regularity:
(ii) For any θ1 ≥ θ > 0 and each t ∈ [0, T], there hold
5 A priori estimates
First, recasting step-by-step the proof of ([11], Theorem 1) and additionally exploiting [17, Theorem 3.4] and arguments leading to ([18], Theorem 4.1) in the 3BC case, we claim the following result.
Lemma 5.1. Let f(u) ≡ 0, n ≥ 2, ν, μj, νi satisfy h1, and
We require that
Moreover, in the DBC case, we additionally assume
Under assumptions h2–h5, the classical solution of Equations 1.1, 1.2 satisfies the estimate
where
Here, the generic constant C is independent of the right-hand sides in Equations 1.1, 1.2.
Our next result connects with a priori estimates in the fractional Hölder space to the function u satisfying the family of equations for each λ ∈ [0, 1]:
and homogeneous conditions Equation 1.2.
Lemma 5.2. Let assumptions of Theorem 3.1 hold, and
We assume also be solution to Equations 5.1, 5.2. Then, for any λ ∈ [0, 1], there are the following estimates:
The positive constant C is independent of λ and the right-hand sides of Equations 5.1, 5.2 and depends only on T and the structural parameters in the model.
First of all, we notice that estimate Equation 5.3 in this claim is verified with the standard Schauder technique and by means of ([10], Theorem 4.1) and bound Equation 5.2 in this art.
We focus on the proof of Equation 5.2 if DBC holds, the case of 3BC is analyzed by collecting the similar arguments with techniques leading to ([15], Lemma 5.3). We preliminary observe that verification of Equation 5.2 in the case of the absence of , j = 1, 2, ..., N, (i.e., N = 0) is simpler and recasts the main steps (with minor changes) in arguments related with N ≥ 1. Thus, here, we assume the presence of at least one fractional derivative in the operator Dtu. Then, we will exploit the following strategy. Keeping in mind assumption h3, the homogeneous initial condition and relation Equation 4.1, we rewrite Dtu in the more suitable form:
where
Appealing to (ii) in Proposition 4.2, we introduce
such that the function is strictly positive for all .
After that, for each fixed T0:
we obtain the estimates
with the positive constant being independent of λ and T0.
Then, we discuss the extension of these bounds to the interval (T0, T] and reach the estimate Equation 5.2. It is worth noting that this step is absent in the case of N = 0, due to the proof of Equation 5.2 and consequently Equation 5.6 are carried out immediately on the entire time interval [0, T].
Step 1: Verification of Equation 5.6. Here, we focus on the obtaining of Equation 5.6 if h3(i) holds, the case of h3(ii) is analyzed with the similar arguments and is left to the interested readers.
Let be the conjugate kernel to , its properties are described in ([15], Proposition 4.4), in particular,
Setting
and exploiting [15, Proposition 4.4] and Proposition 4.1, we rewrite Equation 5.1 in more suitable form
where
After that, multiplying equality (Equation 5.8) by pup−1 with p = 2m, m≥1, and then integrating over Ω, we end up with the inequality (after standard technical calculations with exploiting h2)
It is worth noting that in the case of h3(ii), one should multiply Equation 5.8 by .
Computing the fractional integral of both sides in this inequality, we arrive at the bound
where we put
At this point, we evaluate each term , and .
• First, we notice that the terms l = 1, 2, 3, 4, are evaluated with the arguments providing the estimates of l = 1, 2, 3, 4, in ([11], Section 7.1). Thus, we immediately have
where the positive C is independent of λ, p, and T0, and depends only on the structural parameters of the model.
• Coming to , l = 5, 6, 7, we pre-observe that and are evaluated with the same arguments which provide the bound of . Hence, here, we tackle only . Applying the Young inequality to the function u(x, s)up−1(x, τ) and then employing Proposition 4.1, estimate Equation 5.7, and assumptions h3 and h5, we get the inequality
with the positive constant C depending only on T, and the norms of γj, ρi, ρ, , and being independent of p, T0, and λ.
• Now, we are left to evaluate and . First, denoting
and performing technical calculations and using Propositions 4.2, 4.3, the homogeneous initial condition to u and assumption h3, we end up with the inequalities
Here, to reach the last inequalities, we appeal to the definition of and to assumption h3(i) (meaning the non-negativity of ) and taking into account the non-negativity of (since p = 2m).
Bearing in mind these inequalities and the non-negativity of the term , we arrive at the desired bound
Concerning the term , we will use the analogous arguments. Namely, Proposition 4.2 provides the estimate
Then, collecting this bound with Proposition 4.3 arrives at inequalities:
First, we notice that h3(i) provides the non-negativity of . Hence, ([12], Corollary 5.4) (where we put ) tells us that
After that, this bound and Equation 5.10 lead to the inequality
which in turn leads to the inequality
At last, collecting all estimates of with Equation 5.9, and taking into account the representation of ρ(x, t) in the case of N≥1, we arrive at the bound
with C being independent of p, T0, and λ.
Then, keeping in mind the restriction on ρ (see h3) to handle the first term in the left-hand side, and exploiting the easily verified relation
to manage the second term there, we have
To handle the last term in the right-hand side, we employ the first interpolation inequality in ([15], Proposition 4.6) with . Thus, we get
Finally, taking advantage of the easily verified estimate
we deduce
where
being independent of T0, p, and λ.
To control the last term in the right-hand side, we apply the Gronwall-type inequality [15, Proposition 4.3] and then use formula (3.7.43) in [19]. Thus, we have
where we put
and is the classical Mittag-Leffler function of the order θ.
Taking into account this estimate to evaluate the last term in the right-hand side of Equation 5.12, we achieve
In fine, denoting
we derive the bound
Then, two possibilities occur:
(i) either ,
(ii) or .
Clearly, in the case of (i), passing to the limit as m → +∞ in Equation 5.13, we end up with the desired estimate for t∈[0, T0].
If (ii) holds, then the standard technical calculations arrive at the inequality
Letting m → +∞ in this estimates and bearing in mind the convergence of the series, we have
where the positive constant C is independent of T0 and λ.
Finally, to manage the term , we first put p = 2 in Equation 5.11 and then apply Gronwall inequality [15, Proposition 4.3], where we set . Thus, we end up with bound Equation 5.6 and as a consequence with Equation 5.3 where T = T0.
Step 2: Extension of Equation 5.6 to the whole time interval. Actually, we only need in the technique which allows us to extend Equation 5.6 to the interval [T0, 3T0/2]. Then, repeating this procedure a finite number of times, we exhaust the entire [T0, T] and hence complete the proof of Equation 5.2.
Denoting
we designate 𝔘(x, t) as a solution to the linear problem
Thanks to Equations 5.3, 5.6 (with T = T0) and assumptions h6, h7.I, we get
where the positive value C is independent of T0, λ and the right-hand side of Equation 5.14.
Keeping in mind these properties of Φ, we can apply [10, Theorem 4.1] to Equation 5.14 and obtain the unique classical solution 𝔘 satisfying the following relations:
In fine, we introduce new unknown function
solving the problem
Here, we set
By virtue of Equation 5.15 and representation of the right-hand sides in Equation 5.16, we deduce that f*(𝔳) has all properties of f(u), and
where the constant C is independent of λ and T0.
Finally, introducing the new time-variable
and repeating arguments of the end of Section 6.3 in [10], we arrive at the problem
besides,
Here, we put
and we call the operators and Dσ, respectively, with the bar coefficients. It is easy to check that the coefficients of these operators and the functions ḡ* and meet the requirements of Lemma 5.2. Then, arguing as Step 1, we end up with estimates Equations 5.2, 5.3, 5.6 to the function 𝔳. Collecting the obtained results with the properties of the function 𝔘, we extend the desired estimates to the whole segment [0, 3T0/2]. This completes the proof of Lemma 5.2
Remark 5.1. Collecting estimate Equation 5.2 with Lemma 5.1 provides the following a priori estimate to solution of Equation 5.1 satisfying homogeneous boundary and initial conditions:
with C being independent of λ.
6 Proof of Theorems 3.1, 3.2
Here, we will exploit the continuation approach based on the a priori estimates in the fractional Hölder spaces. It is worth noting that this technique has been utilized in [11] to prove the well-posedness of Equations 1.1, 1.2 with two-term fractional derivatives in the operator Equation 1.3 in the DBC case. Hence, in our arguments, we focus on only main difficulties connected with multi-term fractional derivatives in Equation 1.3.
Concerning the proof of Theorem 3.2, we will exploit the technique leading to Theorem 4.4. in [12]. This approach includes a priori estimates of Equations 1.1, 1.2 in the fractional Sobolev spaces and the construction of the corresponding solutions via consideration of approximated problems.
6.1 Conclusion of the proof of Theorem 3.1
First, we prove Theorem 3.1 in the case of homogeneous boundary and initial conditions and then we remove this restriction.
To this end, we rely on the so-called continuation arguments. For λ∈[0, 1], we consider the family of problem
Denoting Λ as the set of those λ for which Equation 6.1 is solvable on [0, T]. Obviously, if λ = 0, then Equation 6.1 transforms to the linear problem analyzed in [10]. Hence, assumptions h1–h6 allow us to apply Theorem 4.1 and Remark 4.4 from [10] and obtain the global classical solvability. Thus, 0∈Λ. Then, we are left to examine if the set Λ is open and closed at the same time. To this end, exploiting Lemmas 5.1, 5.2 (in particular, the estimate of via ) and recasting step-by-step the arguments of ([15], Section 5.2), we complete the proof of Theorem 3.1 in the case of homogeneous initial and boundary conditions.
To remove this restriction, we consider the following linear problem with the unknown function w = w(x, t)
Applying ([15], Remark 3.1) and ([10], Remark 4.4) arrives at the one-valued classical solvability of this linear problem and, besides, at the bound
where
Here, we exploited assumption h7 and ([15], Remark 3.1) to handle the term .
After that, we look for a solution to the original problem Equations 1.1, 1.2 in the form
where the new unknown function W solves the problem Equation 6.1 with λ = 1 and the new right-hand sides:
Remark 6.1. Assumption h4 and the estimate of w provide the inequality
In addition, the function satisfies assumption h7 with the constant depending only on L or Li and . Moreover, the straightforward calculations and the definition of w arrive at the relations
The last equalities in Remark 6.1 tell us that the consistency conditions in the non-linear problem for the function W are satisfied. In summary, we reduce problem Equation 1.1, 1.2 to Equation 6.1 with the right-hand sides satisfying the assumptions of Theorem 3.1. Hence, this completes the proof of this theorem in the general case.
6.2 Proof of Theorem 3.2
Actually, the verification of Theorem 3.2 is a simple consequence of Theorem 3.1 and a priori estimates obtained in Section 5 and repeats the arguments leading to ([12], Theorem 4.4). Indeed, thanks to Theorem 3.1 in the case of homogeneous initial and boundary conditions in Equation 1.2, we construct an approximate solution un. Then, exploiting uniform estimates in Lemma 5.1 and Remark 5.1 and passing to the limit via standard arguments, we obtain a strong solution to Equations 1.1, 1.2 satisfying the regularity stated in Theorem 3.2. Finally, to reach the uniqueness of this solution, we assume the existence of two solutions u1 and u2 satisfying Equations 1.1, 1.2 with the same right-hand sides. Clearly, the difference ū = u1−u2 solves the problem Equation 6.1 with λ = 1, g = 0 and f(ū) = f(u1)−f(u2), where
where ξ is a middle point lying between u1 and u2.
Finally, recasting the arguments leading to the estimate Equation 5.2, we obtain the equality
which finishes the verification of Theorem 3.2.
7 Conclusion
In this study, we propose a technique to study the well-posedness (for each fixed T) of initial-boundary value problems to semilinear multi-term time-fractional diffusion equations with memory. The particular case of the problems analyzed models the oxygen transport through capillaries [6]. The introduction of fractional calculus in the model of the evolution of the oxygen density is well-presented with some interesting details. Our approach is particularly efficient when the multi-term derivatives can be represented in the form with a some non-positive kernel and given coefficient ρ = ρ(x, t).
Our analytical technique and ideas can be incorporated to study the corresponding inverse problems concerning the reconstruction of unknown parameters (e.g., the time lag in concentration of oxygen along capillaries; the order of oxygen subdiffusion; and so on). Moreover, our investigation can be employed to analyze the corresponding initial-boundary value problems to fully non-linear equations containing a term and to the equations with degenerate coefficients in the fractional operator. These issues will be addressed with a possible further research.
Data availability statement
The original contributions presented in the study are included in the article/supplementary material, further inquiries can be directed to the corresponding author.
Author contributions
NV: Conceptualization, Investigation, Methodology, Supervision, Writing – original draft, Writing – review & editing.
Funding
The author(s) declare that no financial support was received for the research, authorship, and/or publication of this article.
Conflict of interest
The author declares that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.
Publisher's note
All claims expressed in this article are solely those of the authors and do not necessarily represent those of their affiliated organizations, or those of the publisher, the editors and the reviewers. Any product that may be evaluated in this article, or claim that may be made by its manufacturer, is not guaranteed or endorsed by the publisher.
References
1. Heymans N, Bauwens JC. Fractal rheological models and fractional differential equations for viscoelastic behavior. Rheol Acta. (1994) 83:210–9. doi: 10.1007/BF00437306
2. Matsuzaki T, Nakagawa M. A chaos neuron model with fractional differential equation. J Phys Soc Japan. (2003) 72:2678–84. doi: 10.1143/JPSJ.72.2678
3. Picozzi S, West BJ. Fractional Langevan model of memory in financial markets. Phys Rev E. (2002) 66:46–118. doi: 10.1103/PhysRevE.66.046118
4. Fritz M, Kuttler M, Rajendran MZ, Wohlmuth B, Scarabosio L. On a subdiffusive tumor growth model with fractional time derivative. IMA J Appl Math. (2021) 86:688–729. doi: 10.1093/imamat/hxab009
5. Morales-Delgado VF, Gómez-Aguilar JF, Saad KM, Khan MA, Agarwal P. Analytic solution for oxygen diffusion from capillary to tissues involving external force effects: a fractional calculus approach. Physica A. (2019) 523:48–65. doi: 10.1016/j.physa.2019.02.018
6. Srivastava V, Rai KN. A multi-term fractional diffusion equation for oxygen delivery through a capillary to tissues. Math Comput Model. (2010) 51:616–24. doi: 10.1016/j.mcm.2009.11.002
7. Daftardar-Gejji V, Bhalekar S. Boundary value problems for multi-term fractional differential equations. J Math Anal Appl. (2008) 345:754–65. doi: 10.1016/j.jmaa.2008.04.065
8. Kassymov A, Tokmagambetov N, Torebek BT. Multi-term time-fractional diffusion equation and system: mild solutions and critical exponents. Publ Math Debrecen. (2022) 100:295–321. doi: 10.5486/PMD.2022.8922
9. Janno J, Kinash N. Reconstruction of an order of derivative and a source term in a fractional diffusion equation from final measurements. Inverse Probl. (2018) 34:02507. doi: 10.1088/1361-6420/aaa0f0
10. Pata V, Siryk S, Vasylyeva N. Multi-term fractional linear equations modeling oxygen subdiffusion through capillaries. arXiv preprint arXiv:2210.05009 (2022).
11. Vasylyeva N. Cauchy-Dirichlet problem to semilinear multi-term fractional differential equations. Fractal Fract. (2023) 7:249. doi: 10.3390/fractalfract7030249
12. Siryk SV, Vasylyeva N. Initial-boundary value problems to semilinear multi-term fractional differential equations. Comm Pure Appl Anal. (2023) 22:2321–64. doi: 10.3934/cpaa.2023068
13. Giorgi C, Pata V, Marzocchi A. Asymptotic behavior of a semilinear problem in heat conduction with memory. NoDEA. (1998) 5:333–54. doi: 10.1007/s000300050049
15. Krasnoschok M, Pata V, Vasylyeva N. Semilinear subdiffusion with memory in multidimensional domains. Mathematische Nachrichten. (2019) 292:1490–513. doi: 10.1002/mana.201700405
16. Krasnoschok M, Pata V, Vasylyeva N. Semilinear subdiffusion with memory in the one-dimensional case. Nonlinear Anal. (2017) 165:1–17. doi: 10.1016/j.na.2017.09.004
17. Zacher R. Quasilinear parabolic integro-differential equations with nonlinear boundary conditions. Differ Integral Equa. (2006) 19:1129–56. doi: 10.57262/die/1356050312
18. Zacher R. Global strong solvability of a quasilinear subdiffusion problem. J Evol Equ. (2012) 12:813–31. doi: 10.1007/s00028-012-0156-0
Keywords: a priori estimates, multi-terms semilinear subdiffusion, Caputo derivative, global solvability, continuation approach
Citation: Vasylyeva N (2024) Semilinear multi-term fractional in time diffusion with memory. Front. Appl. Math. Stat. 10:1388414. doi: 10.3389/fams.2024.1388414
Received: 19 February 2024; Accepted: 13 March 2024;
Published: 04 April 2024.
Edited by:
Kateryna Buryachenko, Humboldt University of Berlin, GermanyReviewed by:
Anatoly Kochubei, Institute of Mathematics (NAN Ukraine), UkraineDmitry Shepelsky, B Verkin Institute for Low Temperature Physics and Engineering (NAN Ukraine), Ukraine
Enzo Orsingher, Sapienza University of Rome, Italy
Copyright © 2024 Vasylyeva. This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY). The use, distribution or reproduction in other forums is permitted, provided the original author(s) and the copyright owner(s) are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.
*Correspondence: Nataliya Vasylyeva, bmF0YWxpeV92JiN4MDAwNDA7eWFob28uY29t