Abstract Cauchy problem for the Bessel-Struve equation (Q2411835)

Let \(A\) be a closed densely defined operator in a Banach space \(E\). Consider the Euler-Poisson-Darboux equation \[ u''(t)+\frac{k}{t}u'(t)=Au(t),\quad t>0 \] and the related Bessel-Struve equation \[ u''(t)+\frac{k}{l}(u'(t)-u'(0))=Au(t),\quad t>0. \] Suppose that \(u_0=0\), \(u_1\in D(A)\), \(k=2\alpha>0\) and \(A\) is the generator of an \(\alpha\) times integrated cosine family \(C_\alpha(t)\). Then the function \(u(t)=L_k(t)u_1\), where \[ L_k(t)u_1=\frac{2^\alpha\Gamma(\alpha+1)}{t_{\alpha-1}} \int_0^1P_{\alpha-1}(\tau)C_\alpha(t\tau)u_1d\tau \] is the solution of the Bessel-Struve equation with the initial conditions \(u(0)=u_0\), \(u'(0)=u_1\). Here, \(P_\nu(t)\) is the Legendre spherical function Let \(u_0\dot u_1\in D(A)\). Then under the previous assumptions on \(k\) and \(A\) the solution of the Euler-Poisson-Darboux equation with the initial conditions \(u(0)=u_0\), \(u'(0)=u_1\) has the form \(u(t)=Y_k(t)u_0+L_k(t)u_1\), where \[ Y_k(t)u_0= \frac{2^\alpha\Gamma(\alpha+1/2)} {\sqrt{\pi}\cdot t^\alpha}\left(C_\alpha(t)u_0- \int_0^1P'_{\alpha-1}(\tau) C_\alpha(t\tau)u_0d\tau\right). \] Let \(u_1\in D(A)\). Then the operator function \(L_k(t)\) satisfies the equation \[ L'_k(t)u_1=\frac{t}{k+2}L_{k+2}(t)Au_1+u_1. \] Let \(k=2\alpha>0\) and \(A\) be the generator of an \(\alpha+1\) times integrated cosine operator family \(C_{\alpha+1}(t)\). Then \(A\) is the generator of \(C_0\)-semigroup \(T(t)\) that admits the representations \[ T(t)=\frac{1} {\sqrt{\pi}\cdot2^k\Gamma(k/2+1)}D^{1/2}_{0+} \left(t^{-(k+1)/2}\int_0^\infty s^k \exp\left(-\frac{s^2}{4t}\right)L_k(s)xds \right) \] and \[ T(t)=\frac{1} {\sqrt{\pi}\cdot2^k\Gamma(k/2+1)t^{k/2+1}} \int_0^\infty s^k\exp\left(-\frac{s^2}{4t}\right) \Psi\left(-\frac{1}{2},\frac{k+1}{2};\frac{s^2}{4t} \right)L_k(s)ds. \] Here, \(\Psi\) is the degenerate Tricomi hypergeometric function and \(D^\beta_{0+}\) is the left Riemann-Liouville fractional derivative of the order \(\beta\in(0,1)\). Finally consider the weighted Cauchy problem for the loaded Euler-Poisson-Darboux equation \[ v''(t)+\frac kt v'(t)=Av(t)+ (2-k)t^{-k}\lim_{t\to0}(t^{k-1}v(t))' \] with the initial conditions \[ \lim_{t\to0}t^{1-k}v(t)=v_0\quad \lim_{t\to0}(t^{1-k}v(t))'=v_1. \] Let \(v_0,v_1\in D(A)\), \(k=2-2\beta<0\) and let \(A\) be the generator of \(\beta\) times integrated cosine family, \(\beta>1\). Then the function \[ v(t)=t^{1-k}(Y_{2-k}(t)v_0+L_{2-k}(t)v_1) \] is the solution of the weighted Cauchy problem under consideration.