Abstract
In this paper, the problem of finding the source function for the Rayleigh–Stokes equation is considered. According to Hadamard’s definition, the sought solution of this problem is both unstable and independent of continuous data. By using the fractional Tikhonov method, we give the regularized solutions and then deal with a priori error estimate between the exact solution and its regularized solutions. Finally, the proposed regularized methods have been verified by simple numerical experiments to check error estimate between the sought solution and the regularized solution.
Similar content being viewed by others
1 Introduction
Equation (1.1) below arises in Newtonian fluids and magnetohydrodynamic flows in porous media [1], and initial value problems for fractional Rayleigh–Stokes were studied, for example, in [2–5]. In this study, we are interested in dealing with the Rayleigh–Stokes problem associated with fractional derivative as follows:
where \(\Omega \subset \mathbb{R}^{d}\) (\(d=1,2,3\)) is a boundary domain with the boundary ∂Ω smooth enough, and \(T>0\). \(\tau >0\) is a constant, \(u_{0}\) in \(L^{2}(\Omega )\), the notations \(\partial _{t}=\partial /\partial t\), and \(\partial _{t}^{\alpha }\) is the Riemann–Liouville fractional derivative of order \(\beta \in (0,1) \) defined by [6, 7]
The Rayleigh–Stokes introduced as above has much practical importance, see in [8, 9], and in describing the behavior of some non-Newtonian fluids [10]. The numerical solutions of the Rayleigh–Stokes problem with fractional derivatives have been considered and developed by Dehghan or Zaky, see [3–5, 11, 12].
According to our understanding, in recent times, the study of this problem begins to receive the attention of mathematicians, such as M. Kirane [13] and S. Tatar [14]. In [15], authors studied a Rayleigh–Stokes equation in the simple bounded domain by using the fractional Landweber method. Besides that, the study of problem (1.1) with random noise data also began to receive the attention of mathematicians. In [16], using the truncation method and some new techniques, the authors showed the regularized solution, and convergence rates were established. In [17], Triet et al. investigated an inverse source problem (1.1) by a general filter method for random noise, the results for the study of problem (1.1) were rare. However, articles about the survey of source functions for problem (1.1) were rarer than the results. See in [18], the authors investigated problem (1.1) by the Tikhonov regularization method, attached was a simple numerical calculation example to simulate research results in theoretical way. Besides, we also find relevant applications in a broad sense with problem (1.1), please see [19–25]. In most of these studies, mathematicians are interested in the final condition as follows: \(u(x,T)=\ell (x)\).
Recently, a few papers mentioned the nonlocal condition \(\int _{0}^{T} u(x,t)\,dt = \ell (x)\), for example, two papers [26, 27]. We repeat that if the source function \(F(x,t)=\varphi (t)f(x)\) is given, then problem (1.1) is called the forward problem. The problem of determining the source function is understood as defining a function f when we know that \(\int _{0}^{T} u(x,t)\,dt=\ell (x)\) and the function φ. It is worth pointing out that our article is one of the first results to study this problem with nonlocal in time condition. This work can be considered a development step of the results in the article [18]. In this paper, the couple functions \((\ell,\varphi )\) are approximated by \((\ell _{\epsilon },\varphi _{\epsilon })\) such that
This paper is organized as follows. In Sect. 2, we introduce some preliminaries. The main results are given in Sect. 3 which presents the non-well-posedness of our problem (1.1). Next, in Sect. 4, we propose the fractional Tikhonov regularization method to find the regularized solution and the convergent rate. In Sect. 5, we present a simple numerical example to verify the results proved in our theory section. The conclusion is presented in Sect. 6.
2 Preliminaries
Definition 2.1
([28])
Let \(\{ \lambda _{j}, \mathit{e}_{j} \} \) be the eigenvalues and corresponding eigenvectors of the Laplacian operator −Δ in Ω. The family of eigenvalues \(\lbrace \lambda _{j} \rbrace _{j=1}^{\infty } \) satisfy \(0<\lambda _{1}\leq \lambda _{2} \leq \cdots \leq \lambda _{j} \leq \cdots \) , where \(\lambda _{j} \to \infty \) as \(j \to \infty \):
Definition 2.2
For \(\delta >0\), define
equipped with the norm
Based on [2], we can know that the solution of the Rayleigh–Stokes problem is as follows:
where \(F_{j}(z) = \varphi (z) \langle f,\mathit{e}_{j} \rangle\). Here, \({\mathcal{C}}_{j}(\beta,t)\) satisfies the following equation:
From the condition \(\int _{0}^{T} u(x,t)\,dt = \ell (x)\) and \(u_{0}=0\), we can check that
where we note that \(F_{j}(z)= \varphi (z) f_{j}\). A simple calculation gives
From the result of [2], we obtain
Lemma 2.3
The function \({\mathcal{C}}_{j}(\beta,t), j=1,2,\ldots\) , is equal to
where \(\mathcal{K}_{j}(\beta,\xi )=\frac{\tau }{\pi } \frac{\lambda _{j} \xi ^{\beta } \sin \beta \pi }{ (-\xi +\lambda _{j} \tau \xi ^{\beta }\cos \beta \pi +\lambda _{j} )^{2}+ (\lambda _{j} \tau \xi ^{\beta }\sin \beta \pi ) ^{2}}\).
Proof
See the proof in [2]. □
Lemma 2.4
Let us assume that \(\beta \in (\frac{1}{2}, 1 )\). For all \(t \in [0,T]\), we have
Besides, there exists \(\mathcal{M}\) such that
where \(\widetilde{C}(\tau,\beta,\lambda _{1}) = \tau \sin (\beta \pi ) \int _{0}^{+\infty } \frac{ e^{-\xi T} \xi ^{\beta } \,d\xi }{\tau ^{2} \xi ^{2\beta } + \frac{\xi ^{2}}{\lambda _{1}^{2}}+1}\).
Proof
We can see that in [29]. □
Lemma 2.5
Let us assume that \(\beta \in (\frac{1}{2}, 1 )\). For all \(t \in [0,T]\), we have
Lemma 2.6
Assume that there exist positive constants \(\mathcal{A}_{0}, \mathcal{A}_{1}\) such that \(\mathcal{A}_{0} \le |\varphi (t)| \le \mathcal{A}_{1}\) \(\forall t \in [0,T]\). Let us choose \(\epsilon \in (0,\frac{\mathcal{A}_{0}}{4} )\), it gives
Proof
From now on, for short, we denote \(\mathcal{B}_{0}^{1} =\mathcal{A}_{1}+4^{-1}\mathcal{A}_{0}\). For the proof of this lemma, readers can see document [30]. □
Lemma 2.7
For constant \(C_{1} > 0\), \(\gamma > 0\), \(0 < a < 1\), \(s \geq \lambda _{1} > 0\), it gives
Proof
See document [31]. □
Lemma 2.8
For constant \(\gamma > 0\), \(C_{1} >0\), \(s \geq \lambda _{1} > 0\), \(0 < a < 1\), we get
where \(C_{2} = (\frac{2a+2-\delta }{\delta } )^{-\frac{\delta }{2a+2}} C_{1}^{- \frac{\delta }{2}} \), \(C_{3} = \frac{1}{C_{1}^{a+1} \lambda _{1}^{\frac{\delta }{2}-a-1}}\).
Proof
-
(i)
For \(0 < \delta < 2a+2\), we have \(s_{0} = (\frac{2a+2-\delta }{\gamma \delta } )^{\frac{1}{a+1}} C_{1}\) to make \(G_{1}^{\prime }(s_{0})=0\). Then
$$\begin{aligned} G_{1}(s) \leq G_{1}(s_{0}) &= \frac{\gamma ( \frac{2a+2-\delta }{\gamma \delta } )^{1-\frac{\delta }{2(a+1)}} C_{1}^{a+1-\frac{\delta }{2}} }{ (\frac{2a+2}{\delta } ) C_{1}^{a+1} } \leq \frac{ (\frac{2a+2-\delta }{\delta } )^{-\frac{\delta }{2a+2}}}{C_{1}^{\frac{\delta }{2}}} \gamma ^{\frac{\delta }{2(a+1)}} . \end{aligned}$$(2.13) -
(ii)
For \(\delta \geq 2a + 2\), then it gives
$$\begin{aligned} G_{1}(s) = \frac{\gamma s^{a+1-\frac{\delta }{2}}}{\gamma s^{a+1} + C_{1}^{a+1}} \leq \frac{\gamma s^{a+1-\frac{\delta }{2}}}{ C_{1}^{a+1} }\leq \frac{\gamma }{C_{1}^{a+1} \lambda _{1}^{\frac{\delta }{2}-a-1}} . \end{aligned}$$(2.14)
□
Lemma 2.9
For constants \(\gamma > 0 \), \(C_{4} > 0\), \(s \geq \lambda _{1} > 0\), and \(a \in (0,1)\), we get
Proof
Proof of this lemma can be found in document [31]. □
Lemma 2.10
For constants \(\gamma > 0 \), \(C_{5} > 0\), \(s \geq \lambda _{1} > 0\), and \(a \in [\frac{1}{2},1 )\), we have
where \(C_{6} = \delta ^{\frac{\delta }{4a}} \frac{(4a-\delta )^{1-\frac{\delta }{4a}}}{4a} C_{5}^{- \frac{\delta }{4a}}\), \(C_{7} = \frac{1}{C_{5}^{2a} \lambda _{1}^{\frac{\delta }{2}-2a} }\).
Proof
The proof is similar to that in Lemma 2.8. □
3 The non-well-posedness of problem (1.1)
Theorem 3.1
Problem (1.1) is unstable.
Proof
Let \(P:L^{2}(\Omega ) \to L^{2}(\Omega ) \) be a linear operator as follows:
where \(q(x,\zeta ) = \sum_{j=1}^{\infty } [ \int _{0}^{T} (\int _{0}^{t} {\mathcal{C}}_{j}(\beta,t-z) \varphi (z)\,dz )\,dt ] \mathit{e}_{j}(x)\mathit{e}_{j}(\zeta )\). Due to \(q(x,\zeta ) = q(\zeta,x)\), we know that P is a self-adjoint operator. Define the finite rank operators \(P_{\mathcal{N}}\) by
From (3.3), we can know that
Hence, we can deduce that
So, we get immediately that P is a compact operator. From (3.1), the inverse source problem can be formulated as an operator equation \(P f(x)=\ell (x)\), and by Kirsch [32], it is unstable. Next, we propose an example, with input final data \(\ell ^{k} = \frac{\mathit{e}_{k} }{\sqrt{\lambda _{k}}} \). By (2.5), \(f^{k}\) depending on \(\ell ^{k}\) is
If we choose \(\ell =0\), then \(f=0\), an error in \(L^{2}\)-norm between \(\ell ^{k}\) and ℓ is
And an error in \(L^{2}\) norm between \(f^{k}\) and f is
From (3.7) and combining with Lemma 2.4, one has
we have
By choosing \(\beta >\frac{1}{2}\), we get
Combining (3.6) and (3.10), this implies that problem (1.1) is non-well-posed. □
Next, we give the following theorem which shows the conditional stability of the function f.
Theorem 3.2
Assume that \(\|f\|_{\mathbb{H}^{\delta }(\Omega )} \le R\) for \(R > 0\), then it gives
Proof
From (2.5) and using the Hölder inequality, one has
From Lemma 2.4, we can calculate that \(\int _{0}^{t} \mathcal{C}_{j}(\beta,z) \,dz \geq \frac{t \widetilde{C}(\tau,\beta,\lambda _{1}) }{\lambda _{j}}\), and this implies that \(\int _{0}^{T} \frac{t \widetilde{C}(\tau,\beta,\lambda _{1})}{\lambda _{j}} \,dt = \frac{\widetilde{C}(\tau,\beta,\lambda _{1})}{\lambda _{j}} \int _{0}^{T} t dt = \frac{1}{\lambda _{j}} \frac{T^{2} \widetilde{C}(\tau,\beta,\lambda _{1}) }{2}\). Using Lemma 2.4 gives
Combining (3.12) and (3.13), we have
□
4 The fractional Tikhonov regularization method
In this section, we solve problem (1.1) by using the fractional Tikhonov method. The ideas of this method are based on the work of Hochstenbach in [33] or Yang in [31]. We use two kinds of fractional Tikhonov regularization methods to solve (1.1) as follows:
in which \(\|\cdot \|_{Y}\) is a weighted seminorm as \(\|\sigma \|_{Y} = \| Y^{\frac{1}{2}} \sigma \|\) for any σ. We propose
With the Tikhonov minimization problem (4.1) with Y defined by (4.2) given by
the solution of (4.3) is uniquely determined for any \(\gamma > 0\) and \(a > 0\). It is obvious to see that the formula of \(f^{[\gamma (\epsilon )]_{1}}\) is as follows:
We have the fractional Tikhonov regularized solution
Refer to [34], another type of fractional Tikhonov regularized solution is given by the following formula:
where \([\gamma (\epsilon )]_{2}\) is the regularized parameter, with \(\frac{1}{2} \leq a < 1\). For the noisy data, we get
Putting \(|\int _{0}^{T} (\int _{0}^{t} \mathcal{C}_{j}(\beta,t-z)\varphi (z)\,dz ) \,dt | = \mathcal{D}_{j}( \beta,\varphi )\), we have
and
Next, we continue to investigate the convergence rates in two various cases.
4.1 The choices of regularization parameter \([\gamma (\epsilon )]_{j},j=1,2\), and convergence results
4.1.1 An a priori parameter choice rule
Theorem 4.1
Let the function f be as in formula (2.5), and assume that condition (1.2) holds. Suppose that a priori condition (3.11) holds. By choosing the parameter regularization as follows:
Proof
We get
Next, we evaluate \(\mathcal{K}_{1}\) for the error assessment:
Squaring the two sides, getting the standard in space \(L^{2}(\Omega )\), applying a familiar inequality, we have
Step 1: Estimate \(\mathcal{S}_{1}\) by denoting \(Q(\mathcal{M},T,\beta ) = \frac{\mathcal{M}^{2} T^{2\beta +2} }{2\beta -1}\), and \(\mathcal{B}_{0}^{1}\) is defined in Lemma 2.6. Combining the Holder inequality, we have
Step 2: Estimate \(\mathcal{S}_{2}\) as follows. Before going into evaluation \(\mathcal{S}_{2}^{2}\), we have inequality for \(a \in (0,1)\), \(0 < y_{0} < y_{1}\), then \(|y_{1}^{a} - y_{0}^{a} | \leq |y_{1} - y_{0} |^{a}\), this implies that
From Lemma 2.10, we denote \(Q_{2}^{2} = \frac{4 \mathcal{A}_{1}}{(8^{-1}\mathcal{A}_{0})^{2a+2}}\), we have
Step 3: Applying Lemma 2.7, \(\mathcal{S}_{3}^{2}\) can be bounded:
From the estimation of (3.3), denoting \({Q}_{3} = \frac{4}{\lambda _{1}^{2+\delta }} [\mathcal{B}_{0}^{1}]^{2a} (\frac{\mathcal{A}_{1}\mathcal{M}T^{2\beta +2}}{2\beta -1} )^{2(a+1)}\), we get
Combining (4.13), (4.14), and (4.15), we receive
And we show the error estimation for \(\mathcal{K}_{2}\):
Finally, we estimate \(\mathcal{K}_{2}\). Squaring the two sides, using the Cauchy inequality, we get
From estimation for \(\mathcal{K}_{1}\) and \(\mathcal{K}_{2}\), we conclude the following:
-
(i)
If \(0 < \delta < 2a +2\), then
$$\begin{aligned} &\bigl\Vert f^{[\gamma (\epsilon )]_{1}}_{\epsilon } - f \bigr\Vert _{L^{2}( \Omega )} \\ &\quad\leq\sqrt{2}\epsilon \bigl[B_{0}^{1} \bigr]^{a} \bigl[Q( \mathcal{M},T,\beta ) \bigr]^{a} \biggl( \frac{8}{\mathcal{A}_{0} T^{2} \widetilde{C}(\tau,\beta,\lambda _{1})} \biggr)^{a} a^{\frac{a}{a+1}} \bigl[\gamma (\epsilon )\bigr]^{-\frac{1}{a+1}} \\ &\qquad {}+ \epsilon R Q_{3} + \bigl(\epsilon ^{a}{Q}_{2}+1 \bigr) C_{2} \bigl[\gamma ( \epsilon )\bigr]_{1}^{\frac{\delta }{2a+2}}R. \end{aligned}$$(4.20) -
(ii)
If \(\delta \geq 2 a + 2\), then
$$\begin{aligned} &\bigl\Vert f^{[\gamma (\epsilon )]_{1}}_{\epsilon } - f \bigr\Vert _{L^{2}( \Omega )} \\ &\quad\leq \sqrt{2}\epsilon \bigl[B_{0}^{1} \bigr]^{a} \bigl[Q( \mathcal{M},T,\beta ) \bigr]^{a} \biggl( \frac{8}{\mathcal{A}_{0} T^{2} \widetilde{C}(\tau,\beta,\lambda _{1})} \biggr)^{a} a^{\frac{a}{a+1}} \bigl[\gamma (\epsilon )\bigr]^{-\frac{1}{a+1}} \\ &\qquad{} + \epsilon R Q_{3} + \bigl(\epsilon ^{a}{Q}_{2}+1 \bigr) C_{3} \bigl[\gamma ( \epsilon )\bigr]_{1} R. \end{aligned}$$(4.21)
The regularization parameter \([\gamma (\epsilon )]_{1}\) by
Hence, we conclude the following:
-
(i)
If \(0 < \delta < 2a +2\), then
$$\begin{aligned} \bigl\Vert f^{[\gamma (\epsilon )]_{1}}_{\epsilon } - f \bigr\Vert _{L^{2}(\Omega )} \leq \text{ is of order } \epsilon ^{\frac{\delta }{\delta +2}}. \end{aligned}$$(4.23) -
(ii)
If \(\delta \geq 2 a + 2\), then
$$\begin{aligned} \bigl\Vert f^{[\gamma (\epsilon )]_{1}}_{\epsilon } - f \bigr\Vert _{L^{2}(\Omega )} \leq \text{is of order } \epsilon ^{\frac{a+1}{a+2}}. \end{aligned}$$(4.24)
Proof is completed. □
Theorem 4.2
Let f be as (2.5) and \(f^{[\gamma (\epsilon )]_{2}}_{\epsilon }\) be given by (4.7). Suppose that condition (1.2) holds. f satisfies condition (3.11). By choosing
we have
Proof
We have
First of all, we receive
Square the two sides, get the standard in \(L^{2}(\Omega )\) space, it gives
Step 1. Estimate \(\mathcal{P}^{2}_{1}\) by denoting \({Q}_{4}^{2} = 2 [\mathcal{B}_{0}^{1} ]^{4a-2} [Q( \mathcal{M},T,\beta ) ]^{2a-1} | (8^{-1}\mathcal{A}_{0}) T^{2}\widetilde{C}(\tau,\beta, \lambda _{1}) |^{4a-2} \frac{ (2a-1)^{2-a} }{(2a)^{2}}\), using Lemma 2.9, we get
Step 2. Estimate \(\mathcal{P}^{2}_{2}\) by noting \(a \in [\frac{1}{2},1 )\) and \(Q_{5}^{2} = 4 \mathcal{A}_{1}^{2} (4^{-1}\mathcal{A}_{0} )^{4a-2} \lambda _{1}^{-4a} [Q(\mathcal{M},T,\beta ) ]^{2a} \), using Lemma 2.9, we get
From (4.30), it gives
Step 3. Before estimating \(\mathcal{P}_{3}^{2}\), denoting \(Q_{6}^{2} = \frac{4 (8^{-1}\mathcal{A}_{0} )^{4a-2}}{\lambda _{1}^{2a+\delta +2}} [Q(\mathcal{M},T,\beta )]^{2a} | (8^{-1}\mathcal{A}_{0} )T^{2}\widetilde{C}(\tau, \beta, \lambda _{1}) |^{4a-2} \frac{ (2a-1)^{2-a} }{(2a)^{2}}\), we get
Combining (4.27) to (4.32), we conclude that
Next, we estimate \(\|f^{[\gamma (\epsilon )]_{2}} - f \|_{L^{2}(\Omega )}\):
Combining (4.33) to (4.34), we conclude that
By choosing the parameter regularization
From (4.35) and (4.36), we conclude the following:
-
(i)
If \(0 < \delta < 4a\), then
$$\begin{aligned} \bigl\Vert f^{[\gamma (\epsilon )]_{2}} - f \bigr\Vert _{L^{2}(\Omega )} &\leq Q_{7} \epsilon ^{\frac{\delta }{\delta +2}} R^{\frac{2}{\delta +2}}, \end{aligned}$$(4.37)where \(Q_{7} = ( Q_{5} + 1 ) C_{6} + ( Q_{4}^{2} + Q_{6}^{2} \|f \|_{\mathbb{H}^{\delta }(\Omega )}^{2} )^{\frac{1}{2}} \).
-
(ii)
If \(\delta \geq 4a\), then
$$\begin{aligned} \bigl\Vert f^{[\gamma (\epsilon )]_{2}} - f \bigr\Vert _{L^{2}(\Omega )} &\leq Q_{8} \epsilon ^{\frac{2a}{2a+1}} R^{\frac{1}{2a+1}}, \end{aligned}$$(4.38)where \(Q_{8} = ( Q_{5} + 1 ) C_{7} + ( Q_{4}^{2} + Q_{6}^{2} \|f \|_{\mathbb{H}^{\delta }(\Omega )}^{2} )^{\frac{1}{2}} \).
□
5 Simulation
In this section, we consider the problem as follows:
The couple of \((\ell _{\epsilon },\varphi _{\epsilon })\) plays as observed data as follows:
In (5.1) with \(u(x,t) = t^{2}\sin (x) \), we get \(\ell (x) = \frac{T^{3}}{3}\sin (x)\) and \(\varphi (t) = 2t-1 -2t \frac{t^{2-\beta }}{\Gamma (3-\beta )}\). Next, we can write the term \(\mathcal{B}_{j}(\beta,t-z)\) as follows, see Lemma 2.3:
From (5.3), we get
with M large enough. Using composite Simpson’s rule for 2D, we have the observation of \(f^{[\gamma (\epsilon )]_{1,2}}_{\epsilon } \in L^{2}(0,\pi ) \). Trying to take \(\|f\|_{\mathbb{H}^{1}(\Omega )} \le R\) with \(R \approx 125.447\) leads to \([\gamma (\epsilon )]_{1} = (\frac{\epsilon }{R} )^{ \frac{a_{1}+1}{a_{1}+2}}\) and \([\gamma (\epsilon )]_{2} = (\frac{\epsilon }{R} )^{ \frac{2a_{2}}{1+2a_{2}}}\). Similarly, in the formula finding the methodological seriousization for fractional Tikhonov method type one and the regularized solution for fractional Tikhonov method type two, we just need replace ℓ with \(\ell _{\epsilon }\) and φ with \(\varphi _{\epsilon }\).
Step 1: As the discretization level, a uniform grid of mesh-point \((x_{i})\) is used to discrete the space interval
In this example, with \(N = 121\), we take the following calculation steps.
Step 2: Set \(f_{\epsilon }^{[\gamma (\epsilon )]}(x_{j}) = f_{\epsilon }^{\gamma,j}\) and \(f(x_{j}) = f_{j}\), construct two vectors containing all discrete values of \(f_{\epsilon }^{\gamma,j}\) and f denoted by \(\Xi _{\epsilon }^{\gamma,j}\) and \(\Psi ^{j}\), respectively.
Step 3: Error estimate
From the results of the above calculations, Table 1 points out the relative error estimates for a regularized solution using the fractional Tikhonov method, see formula (4.8), and the fractional Tikhonov solution type two, see formula (4.9), respectively. In this table, the values are as follows: In the case of the regularization solution fractional Tikhonov type one, since \(a \in (0,1)\), then we choose \(a_{1} = 0.65 \); in case of the regularization solution fractional Tikhonov type two, because of \(a_{2} \in (\frac{1}{2},1)\), we choose \(a_{2} = 0.75\) and values \(T=1, \beta =0.5, \tau = 1.2, \delta = 1\). Table 1 shows the relative error estimates between the exact solution and its regularized solution for both FT1 and FT2 with \(\epsilon =5*10^{-k}\), \(k=1,2,3,4\), respectively. Table 2 shows the error estimate with values β in the first column. Similarity, with different τ, this error can be found in Table 3. In general, it shows that with both fractional Tikhonov methods, the convergence rate is of almost the same level. From the results obtained in the number table, we conclude that when ϵ tends to 0, the tensile test will converge the accuracy, although this convergence is relatively slow.
6 Conclusion
In this article, we consider problem (1.1) for the Rayleigh–Stokes problem. In this article, by using the fractional Tikhonov method, we establish an approximate solution. Then, we show the rate of convergence between the sought solution and the regularized one and provide a simple numerical experiment. In the future work, we may use the condition \(\theta u(x,T) + \theta _{2} \int _{0}^{T} u(x,t) \,dt = \ell (x) \) to study problem (1.1).
Availability of data and materials
Not applicable.
References
Hayat, T., Khan, M., Asghar, S.: On the MHD flow of fractional generalized Burgers’ fluid with modified Darcy’s law. Acta Mech. Sin. 23(3), 257–261 (2007)
Bazhlekova, E., Jin, B., Lazarov, R., Zhou, Z.: An analysis of the Rayleigh–Stokes problem for a generalized second-grade fluid. Numer. Math. 131, 1–31 (2015)
Dehghan, M.: A computational study of the one-dimensional parabolic equation subject to nonclassical boundary specifications. Numer. Methods Partial Differ. Equ. 22(1), 220–257 (2006)
Dehghan, M.: The one-dimensional heat equation subject to a boundary integral specification. Chaos Solitons Fractals 32(2), 661–675 (2007)
Dehghan, M., Abbaszadeh, M.: A finite element method for the numerical solution of Rayleigh–Stokes problem for a heated generalized second grade fluid with fractional derivatives. Eng. Comput. 33, 587–605 (2017)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Application of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier Science B.V, Amsterdam (2006)
Podlubny, I.: Fractional Differential Equations. Mathematics in Science and Engineering., vol. 198. Academic Press, San Diego (1990)
Tan, W.C., Masuoka, T.: Stokes first problem for a second grade fluid in a porous half–space with heated boundary. Int. J. Non-Linear Mech. 40, 515–522 (2005)
Tan, W.C., Masuoka, T.: Stokes’ first problem for an Oldroyd-B fluid in a porous half-space. Phys. Fluids 17, 023101 (2005)
Shen, F., Tan, W., Zhao, Y., Masuoka, T.: The Rayleigh–Stokes problem for a heated generalized second grade fluid with fractional derivative model. Nonlinear Anal., Real World Appl. 7(5), 1072–1080 (2006)
Lakestani, M., Dehghan, M.: The use of Chebyshev cardinal functions for the solution of a partial differential equation with an unknown time-dependent coefficient subject to an extra measurement. J. Comput. Appl. Math. 235(3), 669–678 (2010)
Zaky, A.M.: An improved tau method for the multi-dimensional fractional Rayleigh–Stokes problem for a heated generalized second grade fluid. Comput. Math. Appl. 75(7), 2243–2258 (2018)
Kirane, M., Malik, A.S., Gwaiz, M.A.: An inverse source problem for a two dimensional time fractional diffusion equation with nonlocal boundary conditions. Math. Methods Appl. Sci. 36(9), 1056–1069 (2013)
Tatar, S., Ulusoy, S.: An inverse source problem for a one-dimensional space–time fractional diffusion equation. Appl. Anal. 94(11), 2233–2244 (2015)
Luc, N.H., Huynh, L.N., O’Regan, D., Can, N.H.: Regularization of the fractional Rayleigh–Stokes equation using a fractional Landweber method. Adv. Differ. Equ. 2020, 459 (2020). https://doi.org/10.1186/s13662-020-02922-4
Binh, T.T., Baleanu, D., Luc, N.H., Can, N.H.: Determination of source term for the fractional Rayleigh–Stokes equation with random data. J. Inequal. Appl. 2019, Article ID 308 (2019). https://doi.org/10.1186/s13660-019-2262-9
Luc, N.H., Tuan, N.H., Kirane, M., Thanh, D.D.X.: Identifying initial condition of the Rayleigh–Stokes problem with random noise. Math. Methods Appl. Sci. 42, 1561–1571 (2019)
Nguyen, H.L., Nguyen, H.T., Mokhtar, K., Duong Dang, X.T.: Identification of source term for the ill-posed Rayleigh–Stokes problem by Tikhonov regularization method. Adv. Differ. Equ. 2019, Article ID 331 (2019). https://doi.org/10.1186/s13662-019-2261-7
Afshari, H., Karapinar, E.: A discussion on the existence of positive solutions of the boundary value problems via-Hilfer fractional derivative on b-metric spaces. Adv. Differ. Equ. 2020, Article ID 816 (2020)
Alqahtani, B., Aydi, H., Karapinar, E., Rakocevic, V.: A solution for Volterra fractional integral equations by hybrid contractions. Mathematics 7, 694 (2019)
Karapinar, E., Fulga, A., Rashid, M., Shahid, L., Aydi, H.: Large contractions on quasi-metric space with an application to nonlinear fractional differential-equations. Mathematics 7, 444 (2019)
Karapinar, E., Binh, H.D., Nguyen, H.L., Can, N.H.: On continuity of the fractional derivative of the time-fractional semilinear pseudo-parabolic systems. Adv. Differ. Equ. 2021, Article ID 70 (2021)
Karapinar, E., Abdeljawad, T., Jarad, F.: Applying new fixed point theorems on fractional and ordinary differential equations. Adv. Differ. Equ. 2019, 421 (2019)
Lazreg, J.E., Abbas, S., Benchohra, M., Karapinar, E.: Impulsive Caputo–Fabrizio fractional differential equations in b-metric spaces. Open Math. 19, 363–372 (2021)
Salim, A., Benchohra, B., Karapinar, E., Lazreg, J.E.: Existence and Ulam stability for impulsive generalized Hilfer-type fractional differential equations. Adv. Differ. Equ. 2020, Article ID 601 (2020)
Tuan, N.A., O’Regan, D., Baleanu, D., Tuan, N.H.: On time fractional pseudo-parabolic equations with nonlocal integral conditions. Evol. Equ. Control Theory (2020). https://doi.org/10.3934/eect.2020109
Thach, T.N., Can, N.H., Tri, V.V.: Identifying the initial state for a parabolic diffusion from their time averages with fractional derivative. Math. Methods Appl. Sci. (2021). https://doi.org/10.1002/mma.7179
Evan, L.: Partial Differential Equation. Graduate Studies in Mathematics, vol. 19. Am. Math. Soc., Providence (2010)
Triet, N.A., Hoan, L.V.C., Luc, N.H., Tuan, N.H., Thinh, N.V.: Identification of source term for the Rayleigh–Stokes problem with Gaussian random noise. Math. Methods Appl. Sci. 41(14), 5593–5601 (2018)
Can, N.H., Luc, N.H., Baleanu, D., Zhou, Y., Long, L.D.: Inverse source problem for time fractional diffusion equation with Mittag-Leffler kernel. Adv. Differ. Equ. 2020, Article ID 18 (2020). https://doi.org/10.1186/s13662-020-02657-2
Yang, F., Pu, Q., Li, X.X.: The fractional Tikhonov regularization methods for identifying the initial value problem for a time-fractional diffusion equation. J. Comput. Appl. Math. 380, 112998 (2020). https://doi.org/10.1016/j.cam.2020.112998
Kirsch, A.: An Introduction to the Mathematical Theory of Inverse Problem. Springer, Berlin (1996)
Hochstenbach, M.E., Reichel, L.: Fractional Tikhonov regularization for linear discrete ill-posed problems. BIT Numer. Math. 51(1), 197–215 (2011)
Xiong, X., Xue, X.: A fractional Tikhonov regularization method for identifying a space-dependent source in the time-fractional diffusion equation. Appl. Math. Comput. 349, 292–303 (2019)
Acknowledgements
The authors wish to express their sincere appreciation to the editor and the anonymous referees for their valuable comments and suggestions. This research is supported by Industrial University of Ho Chi Minh City (IUH) under grant number 130/HD-DHCN.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
All authors contributed equally. All the authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare 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
Duc, P.N., Binh, H.D., Long, L.D. et al. Reconstructing the right-hand side of the Rayleigh–Stokes problem with nonlocal in time condition. Adv Differ Equ 2021, 470 (2021). https://doi.org/10.1186/s13662-021-03626-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03626-z