Skip to main content

Inverse source problem for the pseudoparabolic equation associated with the Jacobi operator


In this paper, we investigate direct and inverse problems for time-fractional pseudoparabolic equations associated with the Jacobi operator. The existence and uniqueness of the solutions are proven. Also, the stability result of the inverse source problem (ISP) is established.

1 Introduction

The main object of this paper is the following nonhomogeneous time-fractional pseudoparabolic equation:

$$ \mathbb{D}_{0^{+},t}^{\gamma} \bigl( u(t,x)-a\Delta _{\alpha ,\beta}u(t,x) \bigr)-\Delta _{\alpha ,\beta}u(t,x)+mu(t,x)=f(x) $$

on the domain \(D=\{(t,x) : 0< t< T<\infty , x\in \mathbb{R}^{+}=(0,\infty )\}\), where \(0<\gamma \leq 1\), with nonnegative constants m and a, and with the initial condition

$$ u(0,x)=\phi (x),\quad x\in \mathbb{R}^{+}, $$

where \(\mathbb{D}_{0^{+},t}^{\gamma}\) is given by

$$ \mathbb{D}_{0^{+},t}^{\gamma }= \textstyle\begin{cases} \mathcal{D}_{0^{+},t}^{\gamma}, & 0< \gamma < 1, \\ \frac{d}{dt}, & \gamma =1, \end{cases} $$

where \(\mathcal{D}_{0^{+},t}^{\gamma}\) is the left-sided Caputo fractional derivative and \(\Delta _{\alpha ,\beta}\) is the Jacobi operator given by the expression

$$ \Delta _{\alpha ,\beta}=A_{\alpha ,\beta}^{-1}(x) \frac{d}{dx} \biggl(A_{ \alpha ,\beta}(x)\frac{d}{dx} \biggr), \quad x\in (0,\infty ). $$

Here, we denote by \(A_{\alpha ,\beta}(x)=2^{2\rho}(\sinh (x))^{2\alpha +1}(\cosh (x))^{2 \beta +1}\), \(\rho =\alpha +\beta +1\), with \(\alpha \geq \beta \geq -\frac{1}{2}\).

In our studies we question the well-posedness of the direct problem and the stability of the ISP with the additional information, an overdetermination condition

$$ u(T,x)=\psi (x),\quad x\in \mathbb{R}^{+}. $$

For the ISP we will restore the pair \((u, f)\) under some conditions on the function ψ.

One of the first mathematicians who studied the ISP was Rundell [1] in the 1980s. He considered the evolution-type equation

$$ \frac{du}{dt}+Au=f $$

in a Banach space X, where A is a linear operator in X and f is a constant vector in X, with conditions

$$ u(0)=u_{0}, \quad \text{and} \quad u(T)=u_{1}. $$

Using semigroups of operators, Rundell proved a general theorem about the existence of a unique solution pair \((u(t),f)\) of the problem, which then was applied to equations of parabolic and pseudoparabolic types. When the nonhomogeneous term is represented in the form \(f(t)=\Phi (t)f\), where \(\Phi (t)\) is a known operator and the element f is unknown, and A is a closed linear operator from \(L_{p}(\Omega )\) into \(L_{p}(\Omega )\), several ISPs for the equation (1.2) were studied by Prilepko and Tikhonov [2] in 1992. They applied the obtained results to the transport equation. In the general case, where the unknown source depends on time, under a sufficient condition, ISPs for equation (1.2) with the linear elliptic partial differential operator A of order 2m with the bounded measurable coefficients such that

$$ (A\varphi ,\varphi )\geq \Vert \varphi \Vert ^{2} $$

for all \(\varphi \in H^{2m}(\Omega )\cap H_{0}^{m}(\Omega )\), \(\mu =constant>0\) were investigated by Bushuyev [3] in 1995.

Nevertheless, there is no general closed theory for the abstract case of \(F(x,t)\). Known results deal with separated source terms. In 2002, Tikhonov and Eidelman [4] considered ISPs for the generalization of the equation (1.2) of the form

$$ \frac{d^{N}u(t)}{dt^{N}} = Au(t) + p, \quad 0< t< T, $$

for some positive integer \(N\geq 1\) and some real number \(T>0\) with an unknown parameter p and a closed linear operator A in the Banach space under the Cauchy conditions and “overdetermination condition” \(u(T)=u_{N}\) (also in the Banach space).

For the Laplace operator \((-\Delta )\), which is one of the most interesting examples in physics, Choulli and Yamamoto in [5] established the uniqueness and conditional stability in determining a heat-source term from boundary measurements with \(f=\sigma (t)\varphi (x)\), where \(\sigma (t)\) is known.

Asymptotic behavior of the solution of the ISP for the pseudoparabolic equation

$$ \bigl(u(x,t) - \Delta u(x,t)\bigr)_{t} - \Delta u(x,t) + \alpha u(x,t) = f(t)g(x,t), \qquad Q_{\infty }= \Omega \times (0,\infty ) $$

with a integral overdetermination condition was studied by Yaman and Gözükızıl in [6] in 2004.

Fractional derivatives and fractional partial differential equations have received much attention both in analysis and application, which are used in modeling several phenomena in different areas of science such as biology, physics, and chemistry, so the fractional computation is increasingly attracted to mathematicians in the last several decades. The ISP for the time fractional parabolic equation

$$ {}^{c} D_{t}^{\alpha }u(x,t) = r^{\alpha }(Lu) (x,t) + f(x)h(x,t), \quad x\in \Omega , t\in (0,T), 0< \alpha < 1, $$

where \({}^{c} D_{t}^{\alpha}\) is the Caputo derivative defined by

$$ {}^{c} D_{t}^{\alpha }g(t) = \frac{1}{\Gamma (1-\alpha )} \int _{0}^{t} (t-\tau )^{-\alpha} \frac{d}{d\tau}g(\tau )\,d\tau $$

and L is a symmetric uniformly elliptic operator was considered by Sakamoto and Yamamoto in [7] in 2011. The authors proved that the inverse problem is well-posed in the Hadamard sense except for a discrete set of values of diffusion constants using final overdetermining data. The blow-up solution and stability to ISP for the pseudoparabolic equation

$$ u_{t} - a\Delta u_{t} - \Delta u + \sum _{i=1}^{n} b_{i} u_{x_{i}} - \vert u \vert ^{p} u = f(t)g(t), \quad x\in \Omega , t>0 $$

with the integral overdetermination condition was studied by Metin Yaman in [8] in 2012. The ISP for equation (1.2) was considered by Slodic̆ka in [9] in 2013, when A is a linear differential operator of second order, strongly elliptic, and the right-hand side f is assumed to be separable in both variables x and t, i.e., \(f(x,t)=g(x)h(t)\) (in this case \(h(t)\) is unknown). The ISP for a semilinear time-fractional diffusion equation of second order in a bounded domain in \(\mathbb{R}^{d}\)

$$ \bigl(g_{1-\beta}*\partial _{t} u(x)\bigr) (t) + L(x,t)u(x,t) = h(t)f(x) + \int _{0}^{t} F\bigl(x,s,u(x,s)\bigr)\,ds $$

with a linear second-order differential operator \(L(x,t)\), in the divergence form with space- and time-dependent coefficients, was studied by Slodic̆ka and S̆is̆kova in [10] in 2016. The authors showed the existence, uniqueness, and regularity of a weak solution \((u,h)\) ([10, Theorem 2.1, p. 1658]). One of the recent papers for ISPs for pseudoparabolic equations with fractional derivatives is [11] (in 2021). In [11], the authors considered the solvability of the ISP for the pseudoparabolic equation with the Caputo fractional derivative \(\mathcal{D}_{t}^{\alpha}\), of order \(0<\alpha \leq 1\),

$$\begin{aligned} &\mathcal{D}_{t}^{\alpha}\bigl(u(t)+\mathcal{L}u(t)\bigr)+ \mathcal{M}u(t)=f(t) \quad \text{in } \mathcal{H},\\ &u(0)=\phi \in \mathcal{H}, \qquad u(T)=\psi \in \mathcal{H}, \end{aligned}$$

where \(\mathcal{H}\) is a separable Hilbert space and \(\mathcal{L}\), \(\mathcal{M}\) are operators with the corresponding discrete spectra on \(\mathcal{H}\). The authors obtained well-posedness results.

A number of articles address the solvability of the inverse problems for the diffusion and subdiffusion equations ([1218]) and fractional diffusion equations ([1921]).

The semigroups \((H_{t}^{(\alpha ,\beta )})_{t\geq 0}\) (the solution of the heat equation associated with the Jacobi–Dunkl operator \(\Lambda _{\alpha ,\beta}^{2}\)) generate a new family of Markov processes on the real line. On some Riemannian symmetric spaces, this process is the radial part of the Brownian motion for particular values of \((\alpha ,\beta )\) [22].

However, the ISP for the pseudoparabolic equations generated by the Jacobi operator \(\Delta _{\alpha ,\beta}\) (1.1) have not been considered yet. Hence, our goal is to consider the ISP for the pseudoparabolic equation with this special operator, the Jacobi operator \(\Delta _{\alpha ,\beta}\). Harmonic analysis associated with the Jacobi operator \(\Delta _{\alpha ,\beta}\) has been studied by Flensted-Jensen and Koornwinder, in a series of papers [2326]. The spectral decomposition of the Jacobi operator was considered by Flensted-Jensen in 1972 [23]. There were obtained a generalization of the classical Paley–Wiener Theorem and a generalized Fourier transform \(\mathcal{F}_{\alpha ,\beta}\), is called the Jacobi–Fourier transform. Eigenfunctions \(\varphi _{\lambda }^{\alpha , \beta}(x)\) of the Jacobi operator are called Jacobi functions, which are hypergeometric functions. The pseudodifferential operators (see [27]) and Sobolev-type spaces \(G_{\alpha ,\beta}^{s,p}\) (see [28]) associated with the Jacobi operator were studied by Ben Salem and Dachraoui. In [27], the authors proved that the pseudodifferential operator associated with the symbol in \(S_{0}^{m}\) is a continuous linear mapping from some subspace of the Schwartz space into itself.

Our main result reads as follows.

Theorem 1.1

Let \(0<\gamma \leq 1\). Assume that \(\psi ,\phi \in \mathcal{H}\). Then, the pair \((u,f)\) is a unique solution of the ISP, which are functions \(u\in C^{\gamma}([0,T],L^{2}(\mu ))\cap C([0,T],\mathcal{H})\), \(f\in L^{2}( \mu )\) can be represented by the formulas

$$\begin{aligned} u(t,x)&= \int _{0}^{\infty} \int _{0}^{\infty} \frac{1-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}t^{\gamma} )}{1-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )} \psi (y) \varphi _{\lambda}^{\alpha ,\beta}(y)\varphi _{\lambda}^{ \alpha ,\beta}(x)\,d \mu _{\alpha ,\beta}(y)\,d\nu _{\alpha ,\beta}( \lambda ) \\ &\quad - \int _{0}^{\infty} \int _{0}^{\infty} \frac{\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}t^{\gamma} )}{1-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )} \\ &\quad \times \phi (y)\varphi _{\lambda}^{\alpha ,\beta}(y)\varphi _{\lambda}^{ \alpha ,\beta}(x)\,d\mu _{\alpha ,\beta}(y)\,d\nu _{\alpha ,\beta}( \lambda ) \end{aligned}$$


$$\begin{aligned} f(x)&= \int _{0}^{\infty} \int _{0}^{\infty}\bigl(\lambda ^{2}+ \rho ^{2}+m\bigr) \frac{\psi (y)-\phi (y)\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )}{1-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )} \\ &\quad \times \varphi _{\lambda}^{\alpha ,\beta}(y)\varphi _{\lambda}^{ \alpha ,\beta}(x)\,d\mu _{\alpha ,\beta}(y)\,d\nu _{\alpha ,\beta}( \lambda ). \end{aligned}$$

The contents of this paper are as follows. In Sect. 2, we collect some results about harmonic analysis associated with the Jacobi operator on \(\mathbb{R}^{+}\) and here we introduce the Sobolev-type space \(\mathcal{H}\), also given is some necessary information about fractional derivatives. In Sect. 3, we prove Theorem 3.1 for the direct problem. In Sect. 4, we prove our main Theorem 3.2 about the solvability of the ISP associated with the Jacobi operator on \(\mathbb{R}^{+}\), also shown are the stability analysis and an example for the ISP.

2 Preliminaries

2.1 Jacobi analysis

The singular second-order differential equation ([23])

$$ \Delta _{\alpha , \beta}\varphi _{\lambda }^{\alpha , \beta}(x)+\bigl( \lambda ^{2}+\rho ^{2}\bigr)\varphi _{\lambda }^{\alpha , \beta}(x)=0 \quad \text{on } (0,\infty ) $$

with initial conditions

$$ \varphi _{\lambda }^{\alpha , \beta}(0)=1, \qquad \frac{d}{dt} \varphi _{ \lambda }^{\alpha , \beta}(0)=0 $$

has a unique solution, given by the expression

$$ \varphi _{\lambda }^{\alpha , \beta}(x) = {}_{2}F_{1} \biggl( \frac{1}{2}(\rho +i\lambda ), \frac{1}{2}(\rho -i\lambda );\alpha +1;- \sinh ^{2}x \biggr), $$

where \({}_{2}F_{1}\) is the Gauss hypergeometric function. The function \(\varphi _{\lambda }^{\alpha , \beta}\) (2.1) is called the Jacobi function, is analytic for \(x\in [0,\infty )\), and has the following properties

$$ \varphi _{\lambda }^{\alpha , \beta}(x)=\varphi _{-\lambda} ^{\alpha , \beta}(x) \quad \text{and} \quad \overline{\varphi _{\lambda}^{\alpha , \beta}(x)}=\varphi _{ \overline{\lambda}}^{\alpha , \beta}(x). $$

In particular, we have

$$ \varphi _{\lambda }^{-\frac{1}{2}, -\frac{1}{2}}(x)=\cos (\lambda x). $$

Remark 2.1

([23, Proposition 1, p. 144]) For each fixed \(x\in (0,\infty )\), as a function of λ, \(\varphi _{\lambda }^{\alpha , \beta}(x)\) is an entire function.

Properties of the Jacobi function:

1. For all \(\lambda \in \mathbb{C}\) and \(x\in [0,\infty )\), we have ([23, Lemma 11, p. 153])

i) \(|\varphi _{\lambda }^{\alpha , \beta}(x)|\leq \varphi _{i \operatorname{Im}\lambda}^{ \alpha , \beta}(x)\);

ii) If \(|\operatorname{Im}\lambda |\geq \rho \) then \(|\varphi _{\lambda }^{\alpha , \beta}(x)|\leq e^{(|\operatorname{Im}\lambda |-\rho )x}\);

iii) If \(|\operatorname{Im}\lambda |\leq \rho \) then \(|\varphi _{\lambda }^{\alpha , \beta}(x)|\leq 1\).

2. For all \(n\in \mathbb{Z}^{+}\) there exists \(K_{n}>0\) such that ([23, Theorem 2, p. 145])

$$ \biggl\vert \frac{d^{n}}{dx^{n}}\varphi _{\lambda }^{\alpha , \beta}(x) \biggr\vert \leq K_{n}(1+x) \bigl(1+ \vert \lambda \vert \bigr)^{n}e^{( \vert \operatorname{Im}\lambda \vert -\rho )x} $$


$$ \biggl\vert \frac{d^{n}}{d\lambda ^{n}}\varphi _{\lambda }^{\alpha , \beta}(x) \biggr\vert \leq K_{n}(1+x)^{n+1}e^{( \vert \operatorname{Im}\lambda \vert -\rho )x} $$

for all \(\lambda \in \mathbb{C}\), \(x\in [0,\infty )\).

Let us introduce the following functions spaces ([23, p. 146–147], [27, p. 368]).

Let \(\mathcal{S}_{e}(\mathbb{R})\) be the space of even, rapidly decreasing, and \(C^{\infty}\)-functions on \(\mathbb{R}\), equipped with usual Schwartz topology, and \(\mathcal{S}_{e}^{r}(\mathbb{R})=\{(\cosh x)^{\frac{-2\rho}{r}} \mathcal{S}_{e}(\mathbb{R})\}\), \(0< r\leq 2\) be the space with the topology defined by the seminorms

$$ N_{n,k}(f)=\sup_{x\geq 0}(\cosh x)^{\frac{2\rho}{r}}(1+x)^{n} \biggl\vert \frac{d^{k}}{dx^{k}}f(x) \biggr\vert . $$

Clearly, \(\mathcal{S}_{e}^{r}(\mathbb{R})\) is invariant under \(\Delta _{\alpha , \beta}\) and the seminorms defined by

$$ N_{n,k}(f)=\sup_{x\geq 0}(\cosh x)^{\frac{2\rho}{r}}(1+x)^{n} \bigl\vert \Delta _{\alpha ,\beta}^{k} f(x) \bigr\vert $$

are continuous on \(\mathcal{S}_{e}^{r}(\mathbb{R})\).

Let \(L^{p}(\mathbb{R}^{+},\mu _{\alpha ,\beta}), 1\leq p<\infty \), be the space of measurable functions f on \(\mathbb{R}^{+}\) such that

$$ \Vert f \Vert _{p,\mu}^{p}= \int _{0}^{\infty} \bigl\vert f(x) \bigr\vert ^{p}\,d\mu _{\alpha ,\beta}(x)< \infty , $$

where \(d\mu _{\alpha ,\beta}(x)=(2\pi )^{-\frac{1}{2}}2^{2\rho}(\sinh x)^{2 \alpha +1}(\cosh x)^{2\beta +1}\,dx\) or \(d\mu _{\alpha ,\beta}(x)=(2\pi )^{-\frac{1}{2}}A_{\alpha ,\beta}(x)\,dx\).

Remark 2.2

[23, p. 146] Note that \(\mathcal{S}_{e}^{r}(\mathbb{R})\subset L^{r}(\mathbb{R}^{+},\mu _{ \alpha ,\beta})\) for all \(0< r\leq 2\) and if \(r\leq s\), then \(\mathcal{S}_{e}^{r}(\mathbb{R})\subseteq \mathcal{S}_{e}^{s}( \mathbb{R})\subset L^{2}(\mathbb{R}^{+},\mu _{\alpha ,\beta})\).

Let \(L^{p}(\mathbb{R}^{+},\nu _{\alpha ,\beta}), 1\leq p<\infty \), be the space of measurable functions g on \(\mathbb{R}^{+}\) such that

$$ \Vert f \Vert _{p,\nu}^{p}= \int _{0}^{\infty} \bigl\vert g(\lambda ) \bigr\vert ^{p}\,d\nu _{\alpha , \beta}(\lambda )< \infty , $$

where \(d\nu _{\alpha ,\beta}(\lambda )=(2\pi )^{-\frac{1}{2}}|c_{\alpha , \beta}(\lambda )|^{-2}\,d\lambda \). Here, \(c_{\alpha , \beta}(\lambda )\) is the Harish–Chandra function, given by

$$ c_{\alpha , \beta}(\lambda ) = \frac{2^{\rho -i\lambda}\Gamma (i\lambda )\Gamma (\alpha +1)}{\Gamma (\frac{\rho +i\lambda}{2})\Gamma (\frac{\alpha -\beta +1+i\lambda}{2})}. $$

For brevity, we use notations \(L^{p}(\mu )\) and \(L^{p}(\nu )\) instead \(L^{p}(\mathbb{R}^{+},\mu _{\alpha ,\beta})\) and \(L^{p}(\mathbb{R}^{+},\nu _{\alpha ,\beta})\), respectively.

For \(f\in L^{1}(\mu )\), the Fourier–Jacobi transform \(\mathcal{F}_{\alpha ,\beta}\) of f is defined by ([23, Proposition 3, p. 146], [27, Definition 1.1, p. 369])

$$ \widehat{f}(\lambda )=(\mathcal{F}_{\alpha ,\beta}f) (\lambda )= \int _{0}^{ \infty }f(x)\varphi _{\lambda}^{\alpha ,\beta}(x) \,d\mu _{\alpha , \beta}(x) $$

and for \(g\in L^{1}(\nu )\) the inverse Fourier–Jacobi transform \(\mathcal{F}_{\alpha ,\beta}^{-1}\) is given by

$$ \bigl(\mathcal{F}_{\alpha ,\beta}^{-1}g \bigr) (x)= \int _{0}^{\infty }g( \lambda )\varphi _{\lambda}^{\alpha ,\beta}(x) \,d\nu _{\alpha ,\beta}( \lambda ), $$

where \(\varphi _{\lambda}^{\alpha ,\beta}\) is the Jacobi function (2.1).

Proposition 2.3

([23, p. 145146]) The operator, in \(L^{2}(\mu )\), defined by \(\Delta _{\alpha ,\beta}\) with the domain

$$ D_{\alpha ,\beta}^{0} = \bigl\{ u\in L^{2}(\mu ) : u \textit{ and } u' \textit{ are absolutely continuous and } \Delta _{\alpha ,\beta} u\in L^{2}(\mu ) \bigr\} $$

can be restricted to a domain \(D_{\alpha ,\beta}\), such that the operator \(\Delta _{\alpha ,\beta}\) becomes self-adjoint. The operator \(\Delta _{\alpha ,\beta}\) contains at least functions in \(D_{\alpha ,\beta}^{0}\), which are differentiable at zero. The operator \(\Delta _{\alpha ,\beta}\) has a limit point at ∞; and at zero there is a limit point if \(2\alpha +1\geq 3\), and a limit circle if \(2\alpha +1<3\). In this last case, \(D_{\alpha ,\beta}\neq D_{\alpha ,\beta}^{0}\) and choosing \(\lambda _{1}\in \mathbb{C}\) with \(\operatorname{Im}\lambda _{1}^{2}>0\) we can define

$$ D_{\alpha ,\beta} = \biggl\{ u\in D_{\alpha ,\beta}^{0} : \lim_{x \rightarrow 0} \biggl(A_{\alpha ,\beta}(x)\cdot \biggl( \varphi _{\lambda _{1}}^{ \alpha ,\beta}(x)\overline{u'(x)}- \biggl(\frac{d}{dx}\varphi _{ \lambda _{1}}^{\alpha ,\beta}(x) \biggr) \overline{u(x)}\biggr)\biggr)=0 \biggr\} . $$

Proposition 2.4

([23, Proposition 3, p. 146]) For \(f\in L^{2}(\mu )\) and \(\lambda \in \mathbb{R}^{+}\) define the integral converging in \(L^{2}(\nu )\). \(f\rightarrow \widehat{f}\) is a linear, normpreserving map of \(L^{2}(\mu )\) onto \(L^{2}(\nu )\), the inverse given by

$$ f(x) = \int _{0}^{\infty }g(\lambda )\varphi _{\lambda}^{\alpha , \beta}(x) \,d\nu _{\alpha ,\beta}(\lambda ) $$

the integral converging in \(L^{2}(\mu )\). A function \(f\in L^{2}(\mu )\) belongs to \(D_{\alpha ,\beta}\) if and only if \((\lambda ^{2}+\rho ^{2})\widehat{f}(\lambda )\in L^{2}(\nu )\) and in that case

$$ \widehat{\Delta _{\alpha ,\beta}f}(\lambda ) = - \bigl(\lambda ^{2}+\rho ^{2}\bigr) \widehat{f}(\lambda ). $$

In particular, we have for Plancherel’s identity

$$ \Vert \widehat{f} \Vert _{2,\nu}= \Vert f \Vert _{2,\mu}. $$

Remark 2.5

For \(\alpha = \beta =-\frac{1}{2}\), we have the Fourier-cosine transform

$$ \widehat{f}_{c}(\lambda )=(\mathcal{F}_{c}f) (\lambda )= \frac{1}{\sqrt{2\pi}} \int _{0}^{\infty}\cos (\lambda x)f(x)\,dx $$

and the inverse Fourier-cosine transform is defined by

$$ \bigl(\mathcal{F}_{c}^{-1}g \bigr) (x)= \frac{4}{\sqrt{2\pi}} \int _{0}^{ \infty}\cos (\lambda x)g(\lambda )\,d \lambda . $$

Definition 2.6

We define the space

$$ \mathcal{H} := \bigl\{ u\in L^{2}(\mu ) : \bigl(\cdot ^{2}+\rho ^{2}\bigr) \widehat{u}\in L^{2}(\nu ) \bigr\} $$

with norm

$$ \Vert u \Vert _{\mathcal{H}}^{2} := \int _{0}^{\infty } \bigl\vert \bigl(\lambda ^{2}+\rho ^{2}\bigr) \widehat{u}(\lambda ) \bigr\vert ^{2}\,d\nu _{\alpha ,\beta}(\lambda ). $$

2.2 Fractional differentiation operators

In this subsection, we introduce fractional differentiation operators and other concepts.

Definition 2.7

[29, p. 69] Let \([a, b]\) \((-\infty < a< b<\infty )\) be a finite interval on the real axis \(\mathbb{R}\). The left and right Riemann–Liouville fractional integrals \(I_{a^{+}}^{\gamma}\) and \(I_{b^{-}}^{\gamma}\) of order \(\gamma \in \mathbb{R}\) \((\gamma >0)\) are defined by

$$ I_{a^{+}}^{\gamma}[f](t) := \frac{1}{\Gamma (\gamma )} \int _{a}^{t} (t-s)^{ \gamma -1}f(s)\,ds, \quad t\in (a,b] $$


$$ I_{b^{-}}^{\gamma}[f](t) := \frac{1}{\Gamma (\gamma )} \int _{t}^{b} (t-s)^{ \gamma -1}f(s)\,ds, \quad t\in [a,b), $$

respectively. Here, Γ denotes the Euler gamma function.

Definition 2.8

[29, p. 70] The left and right Riemann–Liouville fractional derivatives \(D_{a^{+}}^{\gamma}\) and \(D_{b^{-}}^{\gamma}\) of order \(\gamma \in \mathbb{R}\) \((0<\gamma <1)\) are given by

$$ D_{a^{+}}^{\gamma}[f](t) := \frac{d}{dt} I_{a^{+}}^{1-\gamma}[f](t), \quad \forall t\in (a,b] $$


$$ D_{b^{-}}^{\gamma}[f](t) := -\frac{d}{dt} I_{b^{-}}^{1-\gamma}[f](t), \quad \forall t\in [a,b), $$


Definition 2.9

[29, p. 91] The left and right Caputo fractional derivatives \(D_{a^{+}}^{\gamma}\) and \(D_{b^{-}}^{\gamma}\) of order \(\gamma \in \mathbb{R}\) \((0<\gamma <1)\) are defined by

$$ \mathcal{D}_{a^{+}}^{\gamma}[f](t) := D_{a^{+}}^{\gamma} \bigl[f(t)-f(a)\bigr], \quad t\in (a,b] $$


$$ \mathcal{D}_{b^{-}}^{\gamma}[f](t) := D_{b^{-}}^{\gamma} \bigl[f(t)-f(b)\bigr], \quad t\in [a,b), $$


Definition 2.10

[30, p. 18, Definition 3] Let X be a Banach space. We say that \(u\in C^{\gamma}([0,T],X)\) if \(u\in C([0,T],X)\) and \(\mathcal{D}_{t}^{\gamma }u\in C([0,T],X)\).

Computations involving fractional derivatives often require special functions, called Mittag–Leffler functions. Hence, let us give a brief introduction to these special functions. The classical Mittag–Leffler function \(\mathbb{E}_{\gamma ,1}(t)\) and the Mittag–Leffler-type function \(\mathbb{E}_{\gamma ,\gamma}(t)\) are given by the expressions

$$ \mathbb{E}_{\gamma ,1}(t) := \sum_{k=0}^{\infty } \frac{t^{k}}{\Gamma (\gamma k+1)}, \quad \text{and} \quad \mathbb{E}_{ \gamma ,\gamma}(t) := \sum_{k=0}^{\infty } \frac{t^{k}}{\Gamma (\gamma k+\gamma )}. $$

In the case \(\gamma =1\), we obtain \(\mathbb{E}_{1,1}(t)=e^{t}\). For more information about the classical Mittag–Leffler function \(\mathbb{E}_{\gamma ,1}(t)\) and the Mittag–Leffler-type function \(\mathbb{E}_{\gamma ,\gamma}(t)\) see, e.g., [29, p. 40 and p. 42].

In [31, Theorem 4, p. 21] the following estimate for the Mittag–Leffler function is proved, when \(0<\gamma <1\) (not true for \(\gamma \geq 1\))

$$ \frac{1}{1+\Gamma (1-\gamma )t}\leq \mathbb{E}_{\gamma ,1}(-t)\leq \frac{1}{1+\Gamma (1+\gamma )^{-1}t}, \quad t>0. $$

Then, it follows that

$$ 0< \mathbb{E}_{\gamma ,1}(-t) < 1, \quad t>0. $$

Proposition 2.11

[32] If \(0<\gamma <2\), β is an arbitrary real number, μ is such that \(\pi \gamma /2<\mu <\min \{\pi ,\pi \gamma \}\), then there exists a positive constant C, such that we have

$$ \bigl\vert \mathbb{E}_{\gamma ,\beta}(z) \bigr\vert \leq \frac{C}{1+ \vert z \vert } $$

for all \(\mu \leq |\arg (z)|\leq \pi \).

Lemma 2.12

If \(0<\gamma \leq 1\) and \(\gamma \leq \beta \), then the generalized Mittag–Leffler function \(\mathbb{E}_{\gamma ,\beta}(-z), z\geq 0\), is completely monotonic, that is,

$$ (-1)^{n}\frac{d^{n}}{dz^{n}}\mathbb{E}_{\gamma ,\beta}(-z)\geq 0, \quad \textit{for } z\geq 0 \textit{ and } n=0,1,2, \ldots. $$


The proof can be found from [33]. □

Now, let us prove the following lemma, which is important for our calculations.

Lemma 2.13

Assume that \(0< t< T\), \(0<\gamma \leq 1\), and \(\lambda \in \mathbb{R}^{+}\). Then, the following inequalities

$$ 0 < \frac{1-\mathbb{E}_{\gamma ,1} (-\lambda t^{\gamma} )}{1-\mathbb{E}_{\gamma ,1} (-\lambda T^{\gamma} )} \leq 1 $$


$$ -1 < \frac{\mathbb{E}_{\gamma ,1} (-\lambda T^{\gamma} )-\mathbb{E}_{\gamma ,1} (-\lambda t^{\gamma} )}{1-\mathbb{E}_{\gamma ,1} (-\lambda T^{\gamma} )} \leq 0 $$



From Lemma 2.12, we obtain \(0<\mathbb{E}_{\gamma ,1} (-\lambda T^{\gamma} )\leq \mathbb{E}_{\gamma ,1} (-\lambda t^{\gamma} )<1\) for \(0< t< T\). Then, this implies (2.6). Rewriting the expression

$$ \frac{\mathbb{E}_{\gamma ,1} (-\lambda T^{\gamma} )-\mathbb{E}_{\gamma ,1} (-\lambda t^{\gamma} )}{1-\mathbb{E}_{\gamma ,1} (-\lambda T^{\gamma} )} = \frac{1-\mathbb{E}_{\gamma ,1} (-\lambda t^{\gamma} )}{1-\mathbb{E}_{\gamma ,1} (-\lambda T^{\gamma} )} - 1 $$

and using (2.6) we obtain (2.7). □

3 Main results

In this section we deal with the direct problem for the time-fractional pseudoparabolic equation associated with the Jacobi operator \(\Delta _{\alpha ,\beta}\) (1.1). Moreover, ISPs are subject to study. The existence, uniqueness, and stability results are established.

3.1 The direct problem for the time-fractional pseudoparabolic equation with the Jacobi operator

Let \(0<\gamma \leq 1\). We consider the nonhomogeneous time-fractional pseudoparabolic equation

$$ \mathbb{D}_{0^{+},t}^{\gamma} \bigl( u(t,x)-a \Delta _{\alpha ,\beta}u(t,x) \bigr)-\Delta _{\alpha ,\beta}u(t,x)+mu(t,x)=f(t,x), \quad (t,x)\in D, $$

with initial condition

$$ u(0,x)=\phi (x),\quad x\in \mathbb{R}^{+}, $$

where the functions f and ϕ are given functions. Our aim is to find the unique solution u of the problem (3.1) and (3.2).

Theorem 3.1

Let \(0<\gamma \leq 1\) and \(\lambda \in \mathbb{R}^{+}\). Suppose that \(f\in C^{1}([0,T],L^{2}(\mu ))\) and \(\phi \in \mathcal{H}\). Then, the problem (3.1) and (3.2) has a unique solution \(u\in C^{\gamma}([0,T],L^{2}(\mu ))\cap C([0,T],\mathcal{H})\) and can be represented by the formula

$$\begin{aligned} u(t,x)&= \int _{0}^{\infty} \int _{0}^{\infty} \int _{0}^{t} (t-\tau )^{ \gamma -1} \mathbb{E}_{\gamma ,\gamma} \biggl(- \frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}(t-\tau )^{ \gamma} \biggr)\frac{f(\tau ,y)}{1+a(\lambda ^{2}+\rho ^{2})} \\ &\quad \times \varphi _{\lambda}^{\alpha ,\beta}(y)\varphi _{\lambda}^{ \alpha ,\beta}(x)\,d\tau \,d\mu _{\alpha ,\beta}(y)\,d\nu _{\alpha ,\beta}( \lambda ) \\ &\quad + \int _{0}^{\infty} \int _{0}^{\infty}\mathbb{E}_{\gamma ,1} \biggl(- \frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}t^{\gamma} \biggr)\phi (y)\varphi _{\lambda}^{\alpha ,\beta}(y)\varphi _{ \lambda}^{\alpha ,\beta}(x)\,d \mu _{\alpha ,\beta}(y)\,d\nu _{\alpha , \beta}(\lambda ). \end{aligned}$$


We assume that \(0<\gamma \leq 1\), \(\lambda \in \mathbb{R}^{+}\) and \(u(t,\cdot )\in \mathcal{H}\). We first prove that the problem (3.1) and (3.2) has only one solution, if the latter exists. Suppose the proposition was false. Assume that there exist two different solutions \(u_{1}(t,x)\) and \(u_{2}(t,x)\). Denote \(u_{0}(t,x)=u_{1}(t,x)-u_{2}(t,x)\). Then, \(u_{0}(t,x)\) solves the following problem

$$\begin{aligned} &\mathbb{D}_{0^{+},t}^{\gamma} \bigl( u_{0}(t,x)-a\Delta _{\alpha , \beta}u_{0}(t,x) \bigr)- \Delta _{\alpha ,\beta}u_{0}(t,x)+mu_{0}(t,x)=0, \quad (t,x)\in D, \end{aligned}$$
$$\begin{aligned} & u_{0}(0,x)=0,\quad x\in \mathbb{R}^{+}. \end{aligned}$$

The problem (3.3) and (3.4) has only a trivial solution. This implies the uniqueness of the solution.

Now, we will prove the existence of the solutions. Using the Fourier–Jacobi transform \(\mathcal{F}_{\alpha ,\beta}\) (2.2) on both sides of (3.1) and (3.2), we have

$$\begin{aligned}& \mathbb{D}_{0^{+},t}^{\gamma}\widehat{u}(t, \lambda )+ \frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})} \widehat{u}(t,\lambda )= \frac{\widehat{f}(t,\lambda )}{1+a(\lambda ^{2}+\rho ^{2})}, \end{aligned}$$
$$\begin{aligned}& \widehat{u}(0,\lambda )=\widehat{\phi}(\lambda ) \end{aligned}$$

for all \(\lambda \in \mathbb{R}^{+}\) and \(0< t< T\). The solution (see [29, p. 231, ex. 4.9]) of the problem (3.5) and (3.6) is given by

$$\begin{aligned} \widehat{u}(t,\lambda ) &= \int _{0}^{t}(t-\tau )^{\gamma -1} \mathbb{E}_{ \gamma ,\gamma} \biggl(- \frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}(t-\tau )^{ \gamma} \biggr) \frac{\widehat{f}(\tau ,\lambda )}{1+a(\lambda ^{2}+\rho ^{2})}\,d\tau \\ &\quad + \widehat{\phi}(\lambda )\mathbb{E}_{\gamma ,1} \biggl(- \frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}t^{\gamma} \biggr), \end{aligned}$$

where \(\mathbb{E}_{\gamma ,1}(z)\) is the classical Mittag–Leffler function and \(\mathbb{E}_{\gamma ,\gamma}(z)\) is the Mittag–Leffler-type function. Now, by using the inverse Fourier–Jacobi transform \(\mathcal{F}_{\alpha ,\beta}^{-1}\) (2.3) to (3.7), we obtain the formula for the solution of the problem (3.1) and (3.2), given by

$$ \begin{aligned} u(t,x)&= \int _{0}^{\infty} \int _{0}^{\infty} \int _{0}^{t} (t-\tau )^{\gamma -1} \mathbb{E}_{\gamma ,\gamma} \biggl(- \frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}(t-\tau )^{ \gamma} \biggr)\frac{f(\tau ,y)}{1+a(\lambda ^{2}+\rho ^{2})} \\ &\quad \times \varphi _{\lambda}^{\alpha ,\beta}(y)\varphi _{\lambda}^{ \alpha ,\beta}(x)\,d\tau \,d\mu _{\alpha ,\beta}(y)\,d\nu _{\alpha ,\beta}( \lambda ) \\ &\quad + \int _{0}^{\infty} \int _{0}^{\infty}\mathbb{E}_{\gamma ,1} \biggl(- \frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}t^{\gamma} \biggr)\phi (y)\varphi _{\lambda}^{\alpha ,\beta}(y)\varphi _{ \lambda}^{\alpha ,\beta}(x)\,d \mu _{\alpha ,\beta}(y)\,d\nu _{\alpha , \beta}(\lambda ). \end{aligned} $$

By using the property

$$ \frac{d}{d\tau} \bigl(\mathbb{E}_{\gamma ,1}\bigl(c \tau ^{\gamma}\bigr) \bigr)=c \tau ^{\gamma -1}\mathbb{E}_{\gamma ,\gamma} \bigl(c \tau ^{\gamma}\bigr), \quad c =\text{constant}, $$

of the Mittag–Leffler function, we obtain

$$\begin{aligned} &\frac{d}{d\tau} \biggl(\mathbb{E}_{\gamma ,1} \biggl(- \frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}(t-\tau )^{ \gamma} \biggr) \biggr) \\ &\quad =\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})} (t- \tau )^{\gamma -1}\mathbb{E}_{\gamma ,\gamma} \biggl(- \frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}(t-\tau )^{ \gamma} \biggr) \end{aligned}$$

and we can write (3.7) in the form

$$\begin{aligned} \widehat{u}(t,\lambda ) &= \int _{0}^{t}(t-\tau )^{\gamma -1} \mathbb{E}_{\gamma ,\gamma} \biggl(- \frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}(t-\tau )^{ \gamma} \biggr) \frac{\widehat{f}(\tau ,\lambda )}{1+a(\lambda ^{2}+\rho ^{2})}\,d\tau \\ &\quad + \widehat{\phi}(\lambda )\mathbb{E}_{\gamma ,1} \biggl(- \frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}t^{\gamma} \biggr) \\ &=\frac{1}{\lambda ^{2}+\rho ^{2}+m} \int _{0}^{t}\frac{d}{d\tau} \biggl( \mathbb{E}_{\gamma ,1} \biggl(- \frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}(t-\tau )^{ \gamma} \biggr) \biggr)\widehat{f}(\tau ,\lambda )\,d\tau \\ &\quad + \widehat{\phi}(\lambda )\mathbb{E}_{\gamma ,1} \biggl(- \frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}t^{\gamma} \biggr) \\ &=\frac{1}{\lambda ^{2}+\rho ^{2}+m}\widehat{f}(t,\lambda )- \frac{1}{\lambda ^{2}+\rho ^{2}+m} \widehat{f}(0,\lambda )\mathbb{E}_{ \gamma ,1} \biggl(- \frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}t^{\gamma} \biggr) \\ &\quad -\frac{1}{\lambda ^{2}+\rho ^{2}+m} \int _{0}^{t}\mathbb{E}_{\gamma ,1} \biggl(-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}(t- \tau )^{\gamma} \biggr) \frac{d}{d\tau}\widehat{f}(\tau ,\lambda )\,d \tau \\ &\quad + \widehat{\phi}(\lambda )\mathbb{E}_{\gamma ,1} \biggl(- \frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}t^{\gamma} \biggr) \end{aligned}$$

by using the rule of integration by parts and \(\mathbb{E}_{\gamma ,1}(0)=1\). Let \(0<\gamma <1\) and \(f\in C^{1}([0,T], L^{2}(\mu ))\), \(\phi \in \mathcal{H}\), then we can estimate u as follows:

$$\begin{aligned} \bigl\Vert u(t,\cdot ) \bigr\Vert _{\mathcal{H}}^{2}&= \int _{0}^{\infty} \bigl\vert \bigl(\lambda ^{2}+ \rho ^{2}\bigr)\widehat{u}(t,\lambda ) \bigr\vert ^{2}\,d\nu _{\alpha ,\beta}( \lambda )\\ &\lesssim \int _{0}^{\infty} \biggl\vert \bigl(\lambda ^{2}+\rho ^{2}\bigr) \frac{\widehat{f}(t,\lambda )}{\lambda ^{2}+\rho ^{2}+m} \biggr\vert ^{2}\,d \nu _{\alpha ,\beta}(\lambda ) \\ &\quad + \int _{0}^{\infty} \biggl\vert \bigl(\lambda ^{2}+\rho ^{2}\bigr) \frac{\widehat{f}(0,\lambda )}{\lambda ^{2}+\rho ^{2}+m} \mathbb{E}_{ \gamma ,1} \biggl(- \frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}t^{\gamma} \biggr) \biggr\vert ^{2}\,d\nu _{\alpha ,\beta}(\lambda ) \\ &\quad + \int _{0}^{\infty} \biggl\vert \frac{\lambda ^{2}+\rho ^{2}}{\lambda ^{2}+\rho ^{2}+m} \int _{0}^{t} \mathbb{E}_{\gamma ,1} \biggl(- \frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}(t-\tau )^{ \gamma} \biggr) \frac{d}{d\tau}\widehat{f}(\tau ,\lambda )\,d\tau \biggr\vert ^{2} \\ &\quad \times d\nu _{\alpha ,\beta}(\lambda ) + \int _{0}^{\infty} \biggl\vert \bigl( \lambda ^{2}+\rho ^{2}\bigr)\widehat{\phi}(\lambda ) \mathbb{E}_{\gamma ,1} \biggl(-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}t^{ \gamma} \biggr) \biggr\vert ^{2}\,d\nu _{\alpha ,\beta}(\lambda ) \\ &\lesssim \int _{0}^{\infty} \bigl\vert \widehat{f}(t, \lambda ) \bigr\vert ^{2}\,d \nu _{\alpha ,\beta}(\lambda )+ \int _{0}^{\infty} \bigl\vert \widehat{f}(0, \lambda ) \bigr\vert ^{2}\,d\nu _{\alpha ,\beta}(\lambda ) \\ &\quad + \int _{0}^{\infty} \biggl( \int _{0}^{t} \biggl\vert \frac{d}{d\tau} \widehat{f}(\tau ,\lambda ) \biggr\vert \,d\tau \biggr)^{2}\,d\nu _{\alpha , \beta}(\lambda )+ \int _{0}^{\infty} \bigl\vert \bigl(\lambda ^{2}+\rho ^{2}\bigr) \widehat{\phi}(\lambda ) \bigr\vert ^{2}\,d\nu _{\alpha ,\beta}(\lambda ) \\ &\lesssim \bigl\Vert f(t,\cdot ) \bigr\Vert _{2,\mu}^{2} + \bigl\Vert f(0,\cdot ) \bigr\Vert _{2,\mu}^{2} + \int _{0}^{T} \biggl\Vert \frac{d}{dt}f(t,\cdot ) \biggr\Vert _{2,\mu}^{2} \,dt + \Vert \phi \Vert _{ \mathcal{H}}^{2}, \end{aligned}$$

where we have used Definition 2.6, the Cauchy–Schwarz inequality, Fubibi’s theorem, and \(a\lesssim b\) denotes \(a\leq cb\) for some positive constant c independent of a and b. Thus,

$$ \bigl\Vert u(t,\cdot ) \bigr\Vert _{\mathcal{H}}^{2} \lesssim \bigl\Vert f(t,\cdot ) \bigr\Vert _{2,\mu}^{2} + \bigl\Vert f(0,\cdot ) \bigr\Vert _{2,\mu}^{2} + \int _{0}^{T} \biggl\Vert \frac{d}{dt}f(t, \cdot ) \biggr\Vert _{2,\mu}^{2} \,dt + \Vert \phi \Vert _{\mathcal{H}}^{2}. $$

Then, we obtain

$$ \Vert u \Vert _{C([0,T],\mathcal{H})}^{2}\lesssim \Vert f \Vert _{C^{1}([0,T],L^{2}( \mu ))}^{2} + \Vert \phi \Vert _{\mathcal{H}}^{2}< \infty . $$

In the case \(\gamma =1\), we have

$$\begin{aligned} \bigl\Vert u(t,\cdot ) \bigr\Vert _{\mathcal{H}}^{2}&= \int _{0}^{\infty} \bigl\vert \bigl(\lambda ^{2}+ \rho ^{2}\bigr)\widehat{u}(t,\lambda ) \bigr\vert ^{2}\,d\nu _{\alpha ,\beta}( \lambda ) \\ &= \int _{0}^{\infty} \biggl\vert \bigl(\lambda ^{2}+\rho ^{2}\bigr) \int _{0}^{t} \frac{\widehat{f}(\tau ,\lambda )}{1+a(\lambda ^{2}+\rho ^{2})}e^{- \frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}(t-\tau )}\,d \tau \\ &\quad +\bigl(\lambda ^{2}+\rho ^{2}\bigr)\widehat{ \phi}(\lambda )e^{- \frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}t} \biggr\vert ^{2}\,d \nu _{\alpha ,\beta}(\lambda ) \\ &\lesssim \int _{0}^{\infty} \biggl\vert \int _{0}^{t} \widehat{f}(\tau , \lambda )e^{- \frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}(t-\tau )}\,d \tau \biggr\vert ^{2}\,d\nu _{\alpha ,\beta}( \lambda ) \\ &\quad + \int _{0}^{\infty} \bigl\vert \bigl(\lambda ^{2}+\rho ^{2}\bigr)\widehat{\phi}( \lambda )e^{- \frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}t} \bigr\vert ^{2}\,d \nu _{\alpha ,\beta}(\lambda ) \\ &\lesssim \int _{0}^{\infty} \int _{0}^{T} \bigl\vert \widehat{f}(t, \lambda ) \bigr\vert ^{2}\,dt \,d\nu _{\alpha ,\beta}(\lambda ) + \int _{0}^{\infty} \bigl\vert \bigl(\lambda ^{2}+\rho ^{2}\bigr)\widehat{\phi}(\lambda ) \bigr\vert ^{2}\,d \nu _{\alpha ,\beta}(\lambda ) \\ & = \int _{0}^{T} \bigl\Vert f(t,\cdot ) \bigr\Vert _{2,\mu}^{2}\,dt + \Vert \phi \Vert _{\mathcal{H}}^{2} \end{aligned}$$

by using Definition 2.6, the Cauchy–Schwarz inequality, and Fubini’s theorem. Thus,

$$ \bigl\Vert u(t,\cdot ) \bigr\Vert _{\mathcal{H}}^{2}\lesssim \int _{0}^{T} \bigl\Vert f(t,\cdot ) \bigr\Vert _{2,\mu}^{2}\,dt + \Vert \phi \Vert _{\mathcal{H}}^{2}. $$

Then, we have

$$ \Vert u \Vert _{C([0,T],\mathcal{H})}^{2} \lesssim \Vert f \Vert _{C([0,T],L^{2}(\mu ))}^{2} + \Vert \phi \Vert _{\mathcal{H}}^{2}< \infty . $$

Let us estimate the function \(\mathbb{D}_{0^{+},t}^{\gamma }u\)

$$\begin{aligned} \bigl\Vert \mathbb{D}_{0^{+},t}^{\gamma }u(t,\cdot ) \bigr\Vert _{2,\mu}^{2} = &\bigl\Vert \mathbb{D}_{0^{+},t}^{\gamma } \widehat{u}(t,\cdot ) \bigr\Vert _{2,\nu}^{2} = \int _{0}^{\infty} \bigl\vert \mathbb{D}_{0^{+},t}^{\gamma }\widehat{u}(t, \cdot ) \bigr\vert ^{2}\,d\nu _{\alpha ,\beta}(\lambda ) \\ =& \int _{0}^{\infty} \biggl\vert \frac{\widehat{f}(t,\lambda )}{1+a(\lambda ^{2}+\rho ^{2})}- \frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})} \widehat{u}(t,\lambda ) \biggr\vert ^{2}\,d\nu _{\alpha ,\beta}(\lambda ) \\ \lesssim &\bigl\Vert \widehat{f}(t,\cdot ) \bigr\Vert _{2,\nu}^{2} + \bigl\Vert \widehat{u}(t, \cdot ) \bigr\Vert _{2,\nu}^{2}. \end{aligned}$$

Thus, we have

$$ \bigl\Vert \mathbb{D}_{0^{+},t}^{\gamma }u(t,\cdot ) \bigr\Vert _{2,\mu}^{2} \lesssim \bigl\Vert f(t, \cdot ) \bigr\Vert _{2,\mu}^{2} + \bigl\Vert u(t,\cdot ) \bigr\Vert _{2,\mu}^{2} $$


$$ \bigl\Vert \mathbb{D}_{0^{+},t}^{\gamma }u \bigr\Vert _{C([0,T],L^{2}(\mu ))}^{2} \lesssim \Vert f \Vert _{C([0,T],L^{2}(\mu ))}^{2} + \Vert u \Vert _{C([0,T],L^{2}(\mu ))}^{2}< \infty . $$

Consequently, using Definition 2.10 we obtain \(u\in C^{\gamma}([0,T],L^{2}(\mu ))\). Our proof is completed. □

3.2 The ISP for the time-fractional pseudoparabolic equation

This subsection deals with the ISP for the time-fractional pseudoparabolic equation associated with the Jacobi operator \(\Delta _{\alpha ,\beta}\) (1.1).

3.2.1 Statement of the problem

Let \(0<\gamma \leq 1\). We aim to find a couple of functions \((u,f)\) satisfying equation

$$ \mathbb{D}_{0^{+},t}^{\gamma} \bigl( u(t,x)-a \Delta _{\alpha ,\beta}u(t,x) \bigr)-\Delta _{\alpha ,\beta}u(t,x)+mu(t,x)=f(x), \quad (t,x)\in D, $$

under conditions

$$ u(0,x)=\phi (x),\quad x\in \mathbb{R}^{+} $$


$$ u(T,x)=\psi (x),\quad x\in \mathbb{R}^{+}. $$

Theorem 3.2

Let \(0<\gamma \leq 1\). Assume that \(\psi ,\phi \in \mathcal{H}\). Then, the pair \((u,f)\) is a unique solution of ISP (3.8)(3.10), which are functions \(u\in C^{\gamma}([0,T],L^{2}(\mu ))\cap C([0,T],\mathcal{H})\), \(f\in L^{2}( \mu )\) that can be represented by the formulas

$$\begin{aligned} u(t,x)&= \int _{0}^{\infty} \int _{0}^{\infty} \frac{1-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}t^{\gamma} )}{1-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )} \psi (y) \varphi _{\lambda}^{\alpha ,\beta}(y)\varphi _{\lambda}^{ \alpha ,\beta}(x)\,d \mu _{\alpha ,\beta}(y)\,d\nu _{\alpha ,\beta}( \lambda ) \\ &\quad - \int _{0}^{\infty} \int _{0}^{\infty} \frac{\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}t^{\gamma} )}{1-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )} \\ &\quad \times \phi (y)\varphi _{\lambda}^{\alpha ,\beta}(y)\varphi _{\lambda}^{ \alpha ,\beta}(x)\,d\mu _{\alpha ,\beta}(y)\,d\nu _{\alpha ,\beta}( \lambda ) \end{aligned}$$


$$\begin{aligned} f(x) =& \int _{0}^{\infty} \int _{0}^{\infty}\bigl(\lambda ^{2}+ \rho ^{2}+m\bigr) \frac{\psi (y)-\phi (y)\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )}{1-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )} \\ & {}\times \varphi _{\lambda}^{\alpha ,\beta}(y)\varphi _{\lambda}^{ \alpha ,\beta}(x)\,d\mu _{\alpha ,\beta}(y)\,d\nu _{\alpha ,\beta}( \lambda ). \end{aligned}$$


We assume that \(0<\gamma \leq 1\), and \(u(t,\cdot ),f\in \mathcal{H}\). Let us first prove the existence result. By using the Fourier–Jacobi transform \(\mathcal{F}_{\alpha ,\beta}\) (2.2) on both sides of (3.8)–(3.10), we obtain

$$\begin{aligned} & \mathbb{D}_{0^{+},t}^{\gamma}\widehat{u}(t, \lambda )+ \frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})} \widehat{u}(t,\lambda )= \frac{\widehat{f}(\lambda )}{1+a(\lambda ^{2}+\rho ^{2})}, \quad (t, \lambda )\in D, \end{aligned}$$
$$\begin{aligned} & \widehat{u}(0,\lambda )=\widehat{\phi}(\lambda ),\quad \lambda \in \mathbb{R}^{+}, \end{aligned}$$
$$\begin{aligned} & \widehat{u}(T,\lambda )=\widehat{\psi}(\lambda ),\quad \lambda \in \mathbb{R}^{+}. \end{aligned}$$

Solution of the equation (3.11) is given by

$$ \widehat{u}(t,\lambda )= \frac{\widehat{f}(\lambda )}{\lambda ^{2}+\rho ^{2}+m} + C(\lambda ) \mathbb{E}_{\gamma ,1} \biggl(- \frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}t^{\gamma} \biggr), $$

for all \(0<\gamma \leq 1\) and functions \(\widehat{f}(\lambda )\) and \(C(\lambda )\) are unknown functions. To determine these functions we use conditions (3.12) and (3.13). Then, we have

$$ \widehat{u}(0,\lambda )= \frac{\widehat{f}(\lambda )}{\lambda ^{2}+\rho ^{2}+m} + C(\lambda )= \widehat{\phi}( \lambda ) $$


$$ \widehat{u}(T,\lambda )= \frac{\widehat{f}(\lambda )}{\lambda ^{2}+\rho ^{2}+m} + C(\lambda ) \mathbb{E}_{\gamma ,1} \biggl(- \frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} \biggr)=\widehat{\psi}(\lambda ). $$

Thus, we have

$$ C(\lambda ) = \frac{\widehat{\phi}(\lambda )-\widehat{\psi}(\lambda )}{1-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )} $$


$$ \widehat{f}(\lambda )=\bigl(\lambda ^{2}+\rho ^{2}+m\bigr) \frac{\widehat{\psi}(\lambda )-\widehat{\phi}(\lambda )\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )}{1-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )}. $$

Substituting the resulting functions \(C(\lambda )\) and \(\widehat{f}(\lambda )\) into (3.14), we obtain

$$\begin{aligned} \widehat{u}(t,\lambda ) =& \frac{1-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}t^{\gamma} )}{1-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )} \widehat{\psi}(\lambda ) \\ & {}- \frac{\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}t^{\gamma} )}{1-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )} \widehat{\phi}(\lambda ). \end{aligned}$$

Therefore, the solution of the problem (3.11)–(3.13) is the pair \((\widehat{u},\widehat{f})\). We obtain the solution of the problem (3.8)–(3.10) by applying the inverse Fourier–Jacobi transform \(\mathcal{F}_{\alpha ,\beta}^{-1}\) (2.3) to the functions û and , i.e.,

$$\begin{aligned} u(t,x) =& \int _{0}^{\infty} \int _{0}^{\infty} \frac{1-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}t^{\gamma} )}{1-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )} \psi (y) \varphi _{\lambda}^{\alpha ,\beta}(y)\varphi _{\lambda}^{ \alpha ,\beta}(x)\,d \mu _{\alpha ,\beta}(y)\,d\nu _{\alpha ,\beta}( \lambda ) \\ & {}- \int _{0}^{\infty} \int _{0}^{\infty} \frac{\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}t^{\gamma} )}{1-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )} \\ & {}\times \phi (y)\varphi _{\lambda}^{\alpha ,\beta}(y)\varphi _{\lambda}^{ \alpha ,\beta}(x)\,d\mu _{\alpha ,\beta}(y)\,d\nu _{\alpha ,\beta}( \lambda ) \end{aligned}$$


$$\begin{aligned} f(x) =& \int _{0}^{\infty} \int _{0}^{\infty}\bigl(\lambda ^{2}+ \rho ^{2}+m\bigr) \frac{\psi (y)-\phi (y)\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )}{1-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )} \\ & {}\times \varphi _{\lambda}^{\alpha ,\beta}(y)\varphi _{\lambda}^{ \alpha ,\beta}(x)\,d\mu _{\alpha ,\beta}(y)\,d\nu _{\alpha ,\beta}( \lambda ) \end{aligned}$$

for all \(0<\gamma \leq 1\).

Let \(\psi ,\phi \in \mathcal{H}\). Then, using Lemma 2.13 we can estimate the function u as follows:

$$\begin{aligned} \bigl\Vert u(t,\cdot ) \bigr\Vert _{\mathcal{H}}^{2} &= \int _{0}^{\infty} \bigl\vert \bigl(\lambda ^{2}+ \rho ^{2}\bigr)\widehat{u}(t,\lambda ) \bigr\vert ^{2}\,d\nu _{\alpha ,\beta}(\lambda )\\ &\lesssim \int _{0}^{\infty} \biggl\vert \bigl(\lambda ^{2}+\rho ^{2}\bigr) \widehat{\psi}(\lambda ) \frac{1-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}t^{\gamma} )}{1-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )} \biggr\vert ^{2}\,d\nu _{\alpha ,\beta}(\lambda ) \\ &\quad + \int _{0}^{\infty} \biggl\vert \bigl(\lambda ^{2}+\rho ^{2}\bigr)\widehat{\phi}( \lambda ) \frac{\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}t^{\gamma} )}{1-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )} \biggr\vert ^{2}\,d\nu _{\alpha ,\beta}(\lambda ) \\ &\lesssim \int _{0}^{\infty} \bigl\vert \bigl(\lambda ^{2}+\rho ^{2}\bigr)\widehat{\psi}( \lambda ) \bigr\vert ^{2}\,d\nu _{\alpha ,\beta}(\lambda ) + \int _{0}^{\infty} \bigl\vert \bigl( \lambda ^{2}+\rho ^{2}\bigr)\widehat{\phi}(\lambda ) \bigr\vert ^{2}\,d\nu _{\alpha , \beta}(\lambda ), \end{aligned}$$

where we have used Definition 2.6. Thus,

$$ \bigl\Vert u(t,\cdot ) \bigr\Vert _{\mathcal{H}}^{2}\lesssim \Vert \psi \Vert _{\mathcal{H}}^{2} + \Vert \phi \Vert _{\mathcal{H}}^{2}< \infty . $$

Then, we have

$$ \Vert u \Vert _{C([0,T],\mathcal{H})} \lesssim \Vert \psi \Vert _{\mathcal{H}} + \Vert \phi \Vert _{\mathcal{H}}< \infty . $$

Let us estimate the function f

$$\begin{aligned} \Vert f \Vert _{2,\mu}^{2}&= \Vert \widehat{f} \Vert _{2,\nu}^{2}= \int _{0}^{\infty } \bigl\vert \widehat{f}(\lambda ) \bigr\vert ^{2}\,d\nu _{\alpha ,\beta}(\lambda ) \\ &= \int _{0}^{\infty} \biggl\vert \bigl(\lambda ^{2}+\rho ^{2}+m\bigr) \frac{\widehat{\psi}(\lambda )-\widehat{\phi}(\lambda )\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )}{1-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )} \biggr\vert ^{2}\,d\nu _{\alpha ,\beta}(\lambda ) \\ &\lesssim \int _{0}^{\infty} \biggl\vert \bigl(\lambda ^{2}+\rho ^{2}+m\bigr) \frac{\widehat{\psi}(\lambda )}{1-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )} \biggr\vert ^{2}\,d\nu _{\alpha ,\beta}(\lambda ) \\ &\quad + \int _{0}^{\infty} \biggl\vert \bigl(\lambda ^{2}+\rho ^{2}+m\bigr) \frac{\widehat{\phi}(\lambda )\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )}{1-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )} \biggr\vert ^{2}\,d\nu _{\alpha ,\beta}(\lambda ) \\ &\lesssim \Vert \psi \Vert _{\mathcal{H}}^{2} + \Vert \phi \Vert _{\mathcal{H}}^{2}. \end{aligned}$$

Hence, we obtain

$$ \Vert f \Vert _{2,\mu}^{2} \lesssim \Vert \psi \Vert _{\mathcal{H}}^{2} + \Vert \phi \Vert _{ \mathcal{H}}^{2}< \infty . $$

Next, we estimate the function \(\mathbb{D}_{0^{+},t}^{\gamma }u\)

$$\begin{aligned} \bigl\Vert \mathbb{D}_{0^{+},t}^{\gamma }u(t,\cdot ) \bigr\Vert _{2,\mu}^{2} =& \bigl\Vert \mathbb{D}_{0^{+},t}^{\gamma} \widehat{u}(t,\cdot ) \bigr\Vert _{2,\nu}^{2} = \int _{0}^{\infty} \bigl\vert \mathbb{D}_{0^{+},t}^{\gamma}\widehat{u}(t, \lambda ) \bigr\vert ^{2}\,d\nu _{\alpha ,\beta}(\lambda ) \\ =& \int _{0}^{\infty} \biggl\vert \frac{\widehat{f}(\lambda )}{1+a(\lambda ^{2}+\rho ^{2})} - \frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})} \widehat{u}(t,\lambda ) \biggr\vert ^{2}\,d\nu _{\alpha ,\beta}(\lambda ) \\ \lesssim& \Vert f \Vert _{2,\nu}^{2} + \bigl\Vert u(t, \cdot ) \bigr\Vert _{2,\nu}^{2}. \end{aligned}$$

Finally, we have

$$ \bigl\Vert \mathbb{D}_{0^{+},t}^{\gamma }u \bigr\Vert _{C([0,T],L^{2}(\mu ))}^{2} \lesssim \Vert f \Vert _{2,\mu}^{2} + \Vert u \Vert _{C([0,T],L^{2}(\mu ))}^{2} < \infty . $$

It is obvious that \(\|u\|_{C([0,T],L^{2}(\mu ))}^{2}< \infty \). The existence is proved.

Now, let us prove the uniqueness of the solution. Taking into account the property of the Fourier–Jacobi transform, Proposition 2.4, one observes that a pair of functions \((u,f)\) is uniquely determined by the formulas (3.16) and (3.17). The uniqueness is proved. □

3.2.2 Stability theorem

Finally, we study a stability property of the solution \((u,f)\) of the problem (3.8)–(3.10) given by the formulas (3.16) and (3.17).

Theorem 3.3

Let \((u,f)\) and \((u_{d},f_{d})\) be solutions of the problem (3.8)(3.10) corresponding to the data \((\phi ,\psi )\) and its small perturbation \((\phi _{d},\psi _{d})\), respectively. Then, the solution of the problem (3.8)(3.10) depends continuously on these data, namely, we have

$$ \Vert u-u_{d} \Vert _{C([0,T],\mathcal{H})}^{2} \lesssim \Vert \psi -\psi _{d} \Vert _{ \mathcal{H}}^{2} + \Vert \phi -\phi _{d} \Vert _{\mathcal{H}}^{2} $$


$$ \Vert f-f_{d} \Vert _{2,\mu}^{2} \lesssim \Vert \psi -\psi _{d} \Vert _{\mathcal{H}}^{2} + \Vert \phi -\phi _{d} \Vert _{\mathcal{H}}^{2}. $$


From the definition of the Fourier–Jacobi transform (2.2)

$$ \mathcal{F}_{\alpha ,\beta}\bigl(u(t,\cdot )\bigr) (\lambda )=\widehat{u}(t, \lambda )= \int _{0}^{\infty }u(t,x)\varphi _{\lambda}^{\alpha ,\beta}(x) \,d\mu _{\alpha ,\beta}(x), $$

we conclude that

$$\begin{aligned} \mathcal{F}_{\alpha ,\beta}\bigl(u(t,\cdot )-u_{d}(t,\cdot )\bigr) (\lambda ) &= \int _{0}^{\infty }\bigl(u(t,x)-u_{d}(t,x) \bigr)\varphi _{\lambda}^{\alpha , \beta}(x) \,d\mu _{\alpha ,\beta}(x) \\ &= \int _{0}^{\infty }u(t,x)\varphi _{\lambda}^{\alpha ,\beta}(x) \,d \mu _{\alpha ,\beta}(x) \\ &\quad - \int _{0}^{\infty }u_{d}(t,x)\varphi _{\lambda}^{\alpha ,\beta}(x) \,d \mu _{\alpha ,\beta}(x) \\ &= \mathcal{F}_{\alpha ,\beta}\bigl(u(t,\cdot )\bigr) (\lambda ) - \mathcal{F}_{ \alpha ,\beta}\bigl(u_{d}(t,\cdot )\bigr) (\lambda ) \\ &=\widehat{u}(t,\lambda )-\widehat{u}_{d}(t,\lambda ), \end{aligned}$$

where we have used the property of the integral. According to the above statement and using Lemma 2.13, we have

$$\begin{aligned} &\bigl\Vert u(t,\cdot )-u_{d}(t,\cdot ) \bigr\Vert _{\mathcal{H}}^{2} \\ &\quad = \int _{0}^{ \infty }\bigl(\lambda ^{2}+ \rho ^{2}\bigr)^{2} \bigl\vert \widehat{u}(t,\lambda )- \widehat{u}_{d}(t,\lambda ) \bigr\vert ^{2} \,d\nu _{\alpha ,\beta}(\lambda ) \\ &\quad = \int _{0}^{\infty }\bigl(\lambda ^{2}+ \rho ^{2}\bigr)^{2} \biggl\vert \frac{1-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}t^{\gamma} )}{1-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )} \bigl(\widehat{\psi}(\lambda )-\widehat{\psi}_{d}(\lambda ) \bigr) \\ &\qquad - \frac{\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}t^{\gamma} )}{1-\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )} \bigl(\widehat{\phi}(\lambda )-\widehat{ \phi}_{d}(\lambda ) \bigr) \biggr\vert ^{2}\,d\nu _{\alpha ,\beta}(\lambda ) \\ &\quad \lesssim \int _{0}^{\infty }\bigl(\lambda ^{2}+ \rho ^{2}\bigr)^{2} \bigl\vert \widehat{\psi}(\lambda )- \widehat{\psi}_{d}(\lambda ) \bigr\vert ^{2}\,d \nu _{\alpha ,\beta}(\lambda ) + \int _{0}^{\infty }\bigl(\lambda ^{2}+ \rho ^{2}\bigr)^{2} \bigl\vert \widehat{\phi}(\lambda )- \widehat{\phi}_{d}( \lambda ) \bigr\vert ^{2}\,d\nu _{\alpha ,\beta}(\lambda ) \\ &\quad = \Vert \psi -\psi _{d} \Vert _{\mathcal{H}}^{2} + \Vert \phi -\phi _{d} \Vert _{ \mathcal{H}}^{2}, \end{aligned}$$

where we have used Definition 2.6. Thus, one obtains

$$ \bigl\Vert u(t,\cdot )-u_{d}(t,\cdot ) \bigr\Vert _{\mathcal{H}}^{2} \lesssim \Vert \psi - \psi _{d} \Vert _{\mathcal{H}}^{2} + \Vert \phi -\phi _{d} \Vert _{\mathcal{H}}^{2} $$


$$ \Vert u-u_{d} \Vert _{C([0,T],\mathcal{H})}^{2} \lesssim \Vert \psi -\psi _{d} \Vert _{ \mathcal{H}}^{2} + \Vert \phi -\phi _{d} \Vert _{\mathcal{H}}^{2}. $$

By writing (3.15) in the form

$$ \widehat{f}(\lambda ) = \frac{\lambda ^{2}+\rho ^{2}+m}{1 - \mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )} \widehat{\psi}(\lambda ) - \frac{(\lambda ^{2}+\rho ^{2}+m)\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )}{1 - \mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )} \widehat{\phi}(\lambda ) $$

and applying similar estimates again we can observe that

$$\begin{aligned} \Vert f-f_{d} \Vert _{2,\mu}^{2} =& \Vert \widehat{f}-\widehat{f_{d}} \Vert _{2,\nu}^{2} = \int _{0}^{\infty } \bigl\vert \widehat{f}(\lambda )-\widehat{f_{d}}( \lambda ) \bigr\vert ^{2} \,d\nu _{\alpha ,\beta}(\lambda ) \\ =& \int _{0}^{\infty } \biggl\vert \frac{\lambda ^{2}+\rho ^{2}+m}{1 - \mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )} \bigl(\widehat{\psi}(\lambda )-\widehat{ \psi}_{d}(\lambda ) \bigr) \\ & {}- \frac{(\lambda ^{2}+\rho ^{2}+m)\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )}{1 - \mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )} \bigl(\widehat{\phi}(\lambda )-\widehat{ \phi}_{d}(\lambda ) \bigr) \biggr\vert ^{2}\,d\nu _{\alpha ,\beta}(\lambda ) \\ \lesssim& \int _{0}^{\infty } \biggl\vert \frac{\lambda ^{2}+\rho ^{2}+m}{1 - \mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )} \bigl(\widehat{\psi}(\lambda )-\widehat{ \psi}_{d}(\lambda ) \bigr) \biggr\vert ^{2}\,d\nu _{\alpha ,\beta}(\lambda ) \\ &{}+ \int _{0}^{\infty } \biggl\vert \frac{(\lambda ^{2}+\rho ^{2}+m)\mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )}{1 - \mathbb{E}_{\gamma ,1} (-\frac{\lambda ^{2}+\rho ^{2}+m}{1+a(\lambda ^{2}+\rho ^{2})}T^{\gamma} )} \bigl(\widehat{\phi}(\lambda )-\widehat{ \phi}_{d}(\lambda ) \bigr) \biggr\vert ^{2}\,d\nu _{\alpha ,\beta}(\lambda ) \\ \lesssim& \int _{0}^{\infty }\bigl(\lambda ^{2}+ \rho ^{2}\bigr)^{2} \bigl\vert \widehat{\psi}(\lambda )- \widehat{\psi}_{d}(\lambda ) \bigr\vert ^{2}\,d \nu _{\alpha ,\beta}(\lambda ) \\ &{}+ \int _{0}^{\infty }\bigl(\lambda ^{2}+ \rho ^{2}\bigr)^{2} \bigl\vert \widehat{\phi}(\lambda )- \widehat{\phi}_{d}( \lambda ) \bigr\vert ^{2}\,d\nu _{\alpha ,\beta}(\lambda ) \\ =& \Vert \psi -\psi _{d} \Vert _{\mathcal{H}}^{2} + \Vert \phi -\phi _{d} \Vert _{ \mathcal{H}}^{2}. \end{aligned}$$

It follows easily that

$$ \Vert f-f_{d} \Vert _{2,\mu}^{2} \lesssim \Vert \psi -\psi _{d} \Vert _{\mathcal{H}}^{2} + \Vert \phi -\phi _{d} \Vert _{\mathcal{H}}^{2}, $$

ending the proof. □

3.2.3 Stability test

Here, to check Theorem 3.3 we consider a ISP for the heat equation with a one-dimensional Sturm–Liouville operator

$$ u_{t}(t,x)-u_{xx}(t,x) = f(x), \quad 0< t< 1, x>0, $$

with conditions

$$ u(0,x)=u(1,x)=0, $$

where we put \(T=\gamma =1\), \(\alpha =\beta =-\frac{1}{2}\), \(a=m=0\), and \(\phi (x)=\psi (x)=0\) for all \(x>0\).

Also, consider a perturbed problem with some noise

$$ u^{\epsilon}_{t}(t,x)-u^{\epsilon}_{xx}(t,x) = f^{\epsilon}(x), \quad 0< t< 1, x>0, $$

with conditions

$$ u^{\epsilon}(0,x)=0, \quad \text{and} \quad u^{\epsilon}(1,x)= \epsilon \cdot e^{-x^{2}}, \quad x>0, $$

and with additional information \(\phi ^{\epsilon}(x)=0\) and \(\psi ^{\epsilon}(x)=\epsilon \cdot e^{-x^{2}}\), where ϵ is a positive constant. Then, by Theorem 3.2, we have

$$ u^{\epsilon}(t,x)=\frac{\epsilon}{\sqrt{\pi}} \int _{0}^{\infty } \frac{1-e^{-\lambda ^{2}t}}{1-e^{-\lambda ^{2}}}e^{- \frac{\lambda ^{2}}{4}} \cos (\lambda x)\,d\lambda $$


$$ f^{\epsilon}(x)=\frac{\epsilon}{\sqrt{\pi}} \int _{0}^{\infty } \frac{\lambda ^{2} e^{-\frac{\lambda ^{2}}{4}}}{ (1-e^{-\lambda ^{2}} )} \cos ( \lambda x)\,d\lambda . $$

Illustrations of our calculations above are given in Table 1.

Table 1 Stability Test

4 Conclusions

In our paper, we considered one ISP for a pseudoparabolic equation generated by the Jacobi and Caputo fractional operators. We showed that the ISP has a unique solution, and the solution of the ISP continuously depends on the given data (Theorem 3.2 and Theorem 3.3). To examine our results we gave one simple example and in this example we did some calculations using the Maple 2021 program; the results are given in Table 1. We used a classical method based on the Fourier–Jacobi transform, the advantage of this method is that we can obtain an explicit solution. However, this method is only applicable for linear problems with constant coefficients, thus if we consider this problem with variable coefficients we are lost. Hence, continuation of this work might be a ISP with variable coefficients.

Availability of data and materials

Not applicable.


  1. Rundell, W.: Determination of an unknown nonhomogeneous term in a linear partial differential equation from overspecified boundary data. Appl. Anal. 10, 231–242 (1980)

    Article  MathSciNet  Google Scholar 

  2. Prilepko, A.I., Tikhonov, I.V.: Uniqueness of a solution of the inverse problem for the evolution equation and application to the transport equation. Math. Notes 51, 158–165 (1992)

    Article  MathSciNet  Google Scholar 

  3. Bushuyev, I.: Global uniqueness for inverse parabolic problems with final observation. Inverse Probl. 11, L11–L16 (1995)

    Article  MathSciNet  Google Scholar 

  4. Tikhonov, I.V., Eidelman, Y.S.: An inverse problem for a differential equation in a Banach space and distribution of zeros of an entire Mittag-Leffler function. Differ. Equ. 38(5), 669–677 (2002)

    Article  MathSciNet  Google Scholar 

  5. Choulli, M., Yamamoto, M.: Conditional stability in determining a heat source. J. Inverse Ill-Posed Probl. 12(3), 233–243 (2004)

    Article  MathSciNet  Google Scholar 

  6. Yaman, M., Gözükızıl, O.F.: Asymptotic behaviour of the solutions of inverse problems for pseudo-parabolic equations. Appl. Math. Comput. 154, 69–74 (2004)

    MathSciNet  Google Scholar 

  7. Sakamoto, K., Yamamoto, M.: Inverse source problem with a final overdetermination for a fractional diffusion equation. Math. Control Relat. Fields 1(4), 509–518 (2011)

    Article  MathSciNet  Google Scholar 

  8. Yaman, M.: Blow-up solution and stability to an inverse problem for a pseudo-parabolic equation. J. Inequal. Appl. 2012, 274 (2012)

    Article  MathSciNet  Google Scholar 

  9. Slodic̆ka, M.: A source identification problem in linear parabolic problems: a semigroup approach. J. Inverse Ill-Posed Probl. 21, 579–600 (2013)

    Article  MathSciNet  Google Scholar 

  10. Slodic̆ka, M., S̆is̆kova, M.: An inverse source problem in a semilinear time-fractional diffusion equation. Comput. Math. Appl. 72, 1655–1669 (2016)

    Article  MathSciNet  Google Scholar 

  11. Ruzhansky, M., Serikbaev, D., Torebek, B.T., Tokmagambetov, N.: Direct and inverse problems for time-fractional pseudo-parabolic equations. Quaest. Math. (2021).

    Article  Google Scholar 

  12. Cheng, J., Nakagawa, J., Yamamoto, M., Yamazaki, T.: Uniqueness in an inverse problem for a one-dimensional fractional diffusion equation. Inverse Probl. 25, 115002 (2009)

    Article  MathSciNet  Google Scholar 

  13. Jin, B., Rundell, W.: A tutorial on inverse problems for anomalous diffusion processes. Inverse Probl. 31, 035003 (2015)

    Article  MathSciNet  Google Scholar 

  14. Kaliev, I.A., Sabitova, M.M.: Problems of determining the temperature and density of heat sources from the initial and final temperatures. J. Appl. Ind. Math. 4(3), 332–339 (2010)

    Article  MathSciNet  Google Scholar 

  15. Kirane, M., Samet, B., Torebek, B.T.: Determination of an unknown source term temperature distribution for the sub-diffusion equation at the initial and final data. Electron. J. Differ. Equ. 2017, 257 (2017)

    MathSciNet  Google Scholar 

  16. Orazov, I., Sadybekov, M.A.: One nonlocal problem of determination of the temperature and density of heat sources. Russ. Math. 56(2), 60–64 (2012)

    Article  Google Scholar 

  17. Orazov, I., Sadybekov, M.A.: On a class of problems of determining the temperature and density of heat sources given initial and final temperature. Sib. Math. J. 53(1), 146–151 (2012)

    Article  MathSciNet  Google Scholar 

  18. Ruzhansky, M., Tokmagambetov, N., Torebek, B.T.: Inverse source problems for positive operators. I: hypoelliptic diffusion and subdiffusion equations. J. Inverse Ill-Posed Probl. (2019)

  19. Slodic̆ka, M.M., S̆is̆kova, M., Bockstal, K.V.: Uniqueness for an inverse source problem of determining a space dependent source in a time-fractional diffusion equation. Appl. Math. Lett. 91, 15–21 (2019)

    Article  MathSciNet  Google Scholar 

  20. Torebek, B.T., Tapdigoglu, R.: Some inverse problems for the nonlocal heat equation with Caputo fractional derivative. Math. Methods Appl. Sci. 40(18), 6468–6479 (2017)

    Article  MathSciNet  Google Scholar 

  21. Wang, W., Yamamoto, M., Han, B.: Numerical method in reproducing kernel space for an inverse source problem for the fractional diffusion equation. Inverse Probl. 29, 095009 (2013)

    Article  MathSciNet  Google Scholar 

  22. Chouchene, F., Gallardo, L., Mili, M.: The heat semigroup for the Jacobi-Dunkl operator and the related Markov processes. Potential Anal. 25(2), 103–119 (2006)

    Article  MathSciNet  Google Scholar 

  23. Flensted-Jensen, M.: Paley-Wiener type theorems for a differential operator connected with symmetric spaces. Ark. Mat. 10, 143–162 (1972)

    Article  MathSciNet  Google Scholar 

  24. Flensted-Jensen, M., Koorwinder, T.H.: The convolution structure for Jacobi function expansions. Ark. Mat. 11, 245–262 (1973)

    Article  MathSciNet  Google Scholar 

  25. Flensted-Jensen, M., Koorwinder, T.H.: Jacobi functions: the addition formula and the positivity of dual convolution structure. Ark. Mat. 17, 139–151 (1979)

    Article  MathSciNet  Google Scholar 

  26. Koorwinder, T.H.: A new proof of a Paley-Wiener type theorem for the Jacobi transform. Ark. Mat. 13, 145–159 (1975)

    Article  MathSciNet  Google Scholar 

  27. Salem, N.B., Dachraoui, A.: Pseudo-differential operators associated with the Jacobi differential operator. J. Math. Anal. Appl. 220, 365–381 (1998)

    Article  MathSciNet  Google Scholar 

  28. Salem, N.B., Dachraoui, A.: Sobolev type spaces associated with Jacobi differential operators. Integral Transforms Spec. Funct. 9, 163–184 (2000)

    Article  MathSciNet  Google Scholar 

  29. Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies. Elsevier, Amsterdam (2006)

    Google Scholar 

  30. de Carvalho-Neto, P.M., Fehlberg Júnior, R.: Conditions for the absence of blowing up solutions to fractional differential equations. Acta Appl. Math. 154, 15–29 (2018)

    Article  MathSciNet  Google Scholar 

  31. Simon, T.: Comparing Frechet and positive stable laws. Electron. J. Probab. 91, 1–25 (2014)

    MathSciNet  Google Scholar 

  32. Podlubny, I.: Fractional Differential Equations. Academic Press, New York (1999)

    Google Scholar 

  33. Miller, K.S., Samko, S.G.: A note on the complete monotonicity of the generalized Mittag-Lefler function. Real Anal. Exch. 23(2), 753–755 (1997–1998)

Download references


This research was funded by the Science Committee of the Ministry of Science and Higher Education of the Republic of Kazakhstan (Grant No. AP14972634). NT is also supported by the Beatriu de Pinós programme and by AGAUR (Generalitat de Catalunya) grant 2021 SGR 00087.

Author information

Authors and Affiliations



B. B. and N. T. wrote the manuscript text and solved all problems together. All authors reviewed the manuscript.

Corresponding author

Correspondence to Niyaz Tokmagambetov.

Ethics declarations

Ethics approval

Not applicable.

Competing interests

The authors declare no competing interests.

Additional information

Publisher’s Note

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



Calculations in Table 1 were made by using the Maple 2021 program with the following codes:

$$\begin{aligned} &psi:=\exp\bigl(-x^{2}\bigr),\\ &hat(psi):=int \biggl(\frac{1}{\sqrt{2\pi}}\cdot psi \cdot \cos(x\cdot \lambda ), x=0\ldots\infty \biggr),\\ &norm(psi):=40\cdot int \biggl(\frac{4}{\sqrt{2\pi}}\cdot \lambda ^{4} \cdot \bigl\vert hat(psi) \bigr\vert ^{2}, \lambda =0\ldots\infty \biggr),\\ &hat(u):=\frac{1-\exp(-\lambda ^{2}\cdot t)}{1-\exp(-\lambda ^{2})} \cdot hat(psi),\\ &norm(u):= int \biggl(\frac{4}{\sqrt{2\pi}}\cdot \lambda ^{4}\cdot \bigl\vert hat(u) \bigr\vert ^{2}, \lambda =0\ldots\infty \biggr),\\ &\lim_{t\rightarrow 1} \bigl(norm(u)\bigr),\\ &hat(f):=\frac{\lambda ^{2}\cdot hat(psi)}{1-\exp(-\lambda ^{2})} \end{aligned}$$


$$ norm(f):= int \biggl(\frac{4}{\sqrt{2\pi}}\cdot \bigl\vert hat(f) \bigr\vert ^{2}, \lambda =0\ldots\infty \biggr). $$

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Bekbolat, B., Tokmagambetov, N. Inverse source problem for the pseudoparabolic equation associated with the Jacobi operator. Bound Value Probl 2024, 52 (2024).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI:

Mathematics Subject Classification