Local solvability of a linear system with a fractional derivative in time in a boundary condition (Q2517204)

In this paper, the author has studied a linear system for the Poisson equation with a boundary condition consisting of the fractional derivative in time and the right hand side dependent on time of the form \[ \frac{\partial^{2}v}{\partial y_{1}^{2}}+ \frac{\partial^{2}v}{\partial y_{2}^{2}} = g_{0}(y,t) \quad \text{in} \quad \Omega _{T} , \] and \[ D_{t}^{\nu}\sigma - a(y)\frac{\partial v}{\partial n} = g_{1}(y,t) \quad \text{on} \quad \gamma _{T}, \nu \in (0,1), \] \[ v-b(y)\frac{\partial ^{2}\sigma}{\partial \varpi ^{2}}+ d(y)\frac{\partial \sigma}{\partial \varpi }+ c(y)\sigma = g_{2}(y,t) \quad \text{on} \quad \gamma _{T}, \] with \( \sigma (\varpi , 0) =0 \) on \( \gamma \), where \( \Omega \) is a connected bounded domain in \( \mathbb R^{2} \) with a boundary \( \gamma \), \( \Omega _{T} = \Omega \times (0,T)\), \( \gamma _{T}= \gamma \times [0,T] \), \( \varpi \) is some coordinate on \( \gamma \), and \( n \) is the unit normal to \( \gamma \) directed outside \( \Omega \). Here, \( D^{\nu}_{t} \) denotes the Caputo fractional derivative with respect to t and is defined by \[ D^{\nu}_{t}w(\cdot,t)= \frac{1}{\Gamma(1-\nu)}\frac{\partial}{\partial t}\int^{t}_{0}\frac{w(\cdot,\tau)}{(t-\tau)^{\nu}}d\tau - \frac{w(\cdot,0)}{\Gamma (1-\nu)t^{\nu}}, \] where \( \Gamma (\nu ) \) is the Gamma function. Sufficient conditions are obtained for the existence and uniqueness of the classical solution of the above problem. The coercive estimate of the solution is provided. Based on the results obtained, the one-to-one solvability to a linear system of a general form in the Hölder spaces is established.