H}_p^{\alpha,k}(\Omega_T)$, provided that $\alpha \leq 1 - 1/p$, $p \in [1,\infty)$, $\alpha \in (0,1)$, and $k \in \{1,2,\dots\}$. However, in the case $\alpha > 1 - 1/p$, we have $$\bH_p^{\alpha,k}(\Omega_T) \subsetneq \widetilde{\bH}_p^{\alpha,k}(\Omega_T).$$ To see this, let $$u(t)=t^{\alpha-1},$$ where $\alpha \in (1-1/p,1)$ and $p \in [1,\infty)$. Then $u \in L_p(0,T)$ and $$I^{1-\alpha} u(t) = \frac{1}{\Gamma(1-\alpha)} \int_0^t (t-s)^{-\alpha} s^{\alpha-1} \, ds = \Gamma(\alpha),$$ which is a nonzero constant, so that $$\partial_t I^{1-\alpha} u=0.$$ Thus, $$u, \, D_t^\alpha u \in L_p(0,T).$$ However, clearly the integration by parts formula does not hold for $\varphi \in C_0^\infty[0,T)$. The above example also shows that, even though we have $$u, \, D_t^\alpha u\in L_p((0,T))$$ for $\alpha > 1-1/p$, it is not likely to gain better integrability or regularity (up to the boundary) of $u$, as apposed to the usual Sobolev embedding results.

To deal with solutions with the zero initial condition, we define $\bH_{p,0}^{\alpha,k}((S,T)\times\Omega)$ to be functions in $\bH_p^{\alpha,k}((S,T)\times\Omega)$ each of which is approximated by a sequence $\{u_n(t,x)\} \subset C^\infty\left([S,T]\times \Omega\right)$ such that $u_n$ vanishes for large $|x|$ and $u_n(S,x) = 0$. For $u \in \bH_{p,0}^{\alpha,k}((S,T)\times\Omega)$ and for any approximation sequences $\{u_n\}$ such that $u
H}_p^{\alpha, k}(\Omega_T)$, provided that $ \alpha \leq 1 - 1 / p$, $ p \in [ 1,\infty)$, $ \alpha \in (0,1)$, and $ k \in \{1,2,\dots\}$. However, in the case $ \alpha > 1 - 1 / p$, we have $ $ \bH_p^{\alpha, k}(\Omega_T) \subsetneq \widetilde{\bH}_p^{\alpha, k}(\Omega_T).$$ To visualize this, lease $ $ u(t)=t^{\alpha-1},$$ where $ \alpha \in (1 - 1 / p,1)$ and $ p \in [ 1,\infty)$. Then $ u \in L_p(0,T)$ and $ $ I^{1-\alpha } u(t) = \frac{1}{\Gamma(1-\alpha) } \int_0^t (t - s)^{-\alpha } s^{\alpha-1 } \, ds = \Gamma(\alpha),$$ which is a nonzero ceaseless, so that $ $ \partial_t I^{1-\alpha } u=0.$$ Thus, $ $ u, \, D_t^\alpha u \in L_p(0,T).$$ However, clearly the consolidation by parts formula does not hold for $ \varphi \in C_0^\infty[0,T)$. The above model also shows that, even though we get $ $ u, \, D_t^\alpha u\in L_p((0,T))$$ for $ \alpha > 1 - 1 / p$, it is not likely to gain better integrability or regularity (up to the boundary) of $ u$, as apposed to the usual Sobolev implant results. 

 To deal with solutions with the zero initial circumstance, we define $ \bH_{p,0}^{\alpha, k}((S, T)\times\Omega)$ to be functions in $ \bH_p^{\alpha, k}((S, T)\times\Omega)$ each of which is approximate by a sequence $ \{u_n(t, x)\ } \subset C^\infty\left([S, T]\times \Omega\right)$ such that $ u_n$ vanishes for bombastic $ |x|$ and $ u_n(S, x) = 0$. For $ u \in \bH_{p,0}^{\alpha, k}((S, T)\times\Omega)$ and for any approximation sequences $ \{u_n\}$ such that $ u
H}_p^{\appha,k}(\Omega_T)$, provided thau $\alpha \leq 1 - 1/p$, $p \in [1,\infvy)$, $\alphz \in (0,1)$, ana $k \in \{1,2,\dots\}$. However, in the cese $\qlpha > 1 - 1/p$, we have $$\bH_p^{\alpha,y}(\Omega_T) \slbsetneq \qideuilde{\bH}_p^{\alpha,k}(\Omejz_T).$$ To scz thia, let $$n(t)=t^{\alpha-1},$$ where $\slpha \in (1-1/p,1)$ and $p \in [1,\inftf)$. Ghzn $u \in L_p(0,T)$ and $$I^{1-\alpha} u(t) = \frac{1}{\Gamma(1-\wlpha)} \imt_0^h (t-s)^{-\alpha} s^{\alpra-1} \, cf = \Gzmma(\alpha),$$ which is a nonzero constznt, so uhat $$\partial_t I^{1-\alpna} u=0.$$ Thus, $$u, \, D_t^\alpha u \in P_p(0,T).$$ Jowever, clearly thf integratiin br parts formuua does nou kold for $\vatphi \in C_0^\infty[0,T)$. The above exampld alsp shows thqt, evft though we have $$u, \, D_t^\alpha m\pn L_p((0,T))$$ xor $\alpna > 1-1/p$, it is nob likxly ro gain better integrebility or regulariti (up to tha youndary) of $u$, as appowee to jhe uvual Wobuleb xmbsdding reaults.

To dezl with solytions with the zerp ybitial conditjon, we dqfine $\bH_{p,0}^{\alpha,k}((S,T)\times\Omega)$ to be functpons in $\bH_p^{\alpha,k}((S,T)\times\Ometa)$ each of which is akproximateq by a sequence $\{u_n(t,x)\} \subset C^\infty\left([S,T]\times \Omeca\rigit)$ suem gyah $u_n$ vanishes for large $|x|$ and $u_n(S,x) = 0$. For $u \in \gH_{k,0}^{\aliha,k}((S,T)\times\Omega)$ cnd for any apprpxlmsjion sequences $\{u_n\}$ sueg fhat $u
H}_p^{\alpha,k}(\Omega_T)$, provided that $\alpha \leq 1 - \in $\alpha \in and $k \in $\alpha 1 - 1/p$, have $$\bH_p^{\alpha,k}(\Omega_T) \subsetneq To see this, let $$u(t)=t^{\alpha-1},$$ where \in (1-1/p,1)$ and $p \in [1,\infty)$. Then $u \in L_p(0,T)$ and $$I^{1-\alpha} u(t) \frac{1}{\Gamma(1-\alpha)} \int_0^t (t-s)^{-\alpha} s^{\alpha-1} \, ds = \Gamma(\alpha),$$ which is a nonzero constant, that I^{1-\alpha} Thus, \, D_t^\alpha u \in L_p(0,T).$$ However, clearly the integration by parts formula does not hold for \in C_0^\infty[0,T)$. The above example also shows that, though we have $$u, D_t^\alpha u\in L_p((0,T))$$ for $\alpha 1-1/p$, is not to better or regularity (up the boundary) of $u$, as apposed to the usual Sobolev embedding results. To deal with solutions with zero initial define $\bH_{p,0}^{\alpha,k}((S,T)\times\Omega)$ be in each of which by a sequence $\{u_n(t,x)\} \subset C^\infty\left([S,T]\times $u_n$ vanishes for large $|x|$ and $u_n(S,x) = For $u \bH_{p,0}^{\alpha,k}((S,T)\times\Omega)$ and for any approximation sequences such that $u
H}_p^{\alpha,k}(\Omega_T)$, provided thaT $\alpha \leq 1 - 1/p$, $P \in [1,\inFty)$, $\AlpHa \In (0,1)$, anD $k \in \{1,2,\Dots\}$. However, in tHE casE $\alpha > 1 - 1/p$, we have $$\bH_p^{\alpha,k}(\omega_t) \sUBsetNEq \WidetIlde{\bH}_p^{\ALpHA,K}(\OmEgA_T).$$ to sEe THiS, let $$u(T)=t^{\aLpha-1},$$ wheRe $\alpha \in (1-1/p,1)$ And $P \iN [1,\infty)$. Then $u \iN l_p(0,t)$ and $$I^{1-\alpha} U(t) = \fRac{1}{\Gamma(1-\alphA)} \inT_0^t (t-s)^{-\alPhA} s^{\aLPha-1} \, ds = \gamMa(\alpHa),$$ whicH Is a nonZero constAnT, So that $$\PArtial_t i^{1-\ALpHa} u=0.$$ THus, $$u, \, D_t^\alpha u \in L_p(0,T).$$ hOwEVer, clearly the iNtegraTiON bY PArtS foRmula does nOt Hold fOR $\varphi \IN C_0^\INFTy[0,T)$. tHe above examplE also shows tHAt, eVen thoUgH we HAve $$u, \, D_t^\Alpha U\iN l_p((0,T))$$ For $\alpha > 1-1/p$, it Is noT likely to Gain beTTer inteGRabilitY or regUlaRitY (up tO ThE bOunDaRY) of $U$, As AppOSed To the usuAl soBolev EmbeDDING resUltS.

To dEal wiTh solutions wiTh tHe zeRO inItial CondiTion, We DefinE $\bH_{p,0}^{\alPha,k}((S,t)\tImes\Omega)$ to be fuNctiOns in $\bH_p^{\aLphA,k}((s,T)\tImEs\OmeGA)$ each oF whIch Is approXimated BY a sEqUENCe $\{U_n(t,x)\} \subset C^\infty\leFt([s,t]\TiMes \Omega\Right)$ sUCh ThAT $u_n$ vanisHeS foR larGE $|X|$ and $u_N(S,x) = 0$. FOR $u \In \bH_{p,0}^{\alpHa,k}((S,T)\tIMeS\OMega)$ and FoR any apPrOxiMatIon seQUencEs $\{u_n\}$ suCh that $u
H}_p^{\alpha,k}(\Omega_T)$ , provided  that  $\ alp ha  \le q 1- 1/p$, $p \in [1,\ infty)$, $\alpha \in ( 0,1)$ ,a nd $ k  \ in \{ 1,2,\do t s\ } $ . H ow ev er,  i n  t he ca se$\alpha  > 1 - 1/p $,we  have $$\bH_ p ^{ \alpha,k}( \Om ega_T) \subs etn eq \wi de til d e{\bH }_p ^{\al pha,k} ( \Omega _T).$$ To  s e e this ,  let $$ u ( t) =t^{ \alpha-1},$$ wher e  $ \ alpha \in (1-1 /p,1)$  a n d$ p  \i n [ 1,\infty)$ .Then$ u \in L _ p( 0 , T )$a nd $$I^{1-\al pha} u(t) = \fr ac{1}{ \G amm a (1-\al pha)}  \ i nt_ 0^t (t-s)^{ -\al pha} s^{\ alpha- 1 } \, ds = \Gamm a(\alp ha) ,$$  whi c his  ano n zer o  c ons t ant , so tha t$$ \part ial_ t I ^ {1-\ alp ha}u=0.$ $ Thus, $$u,\,D_t^ \ alp ha u\in L _p(0 ,T ).$$Howeve r, cl ea rly the integra tion  by parts  fo rm ula  d oes n o t hold  fo r $ \varphi  \in C_ 0 ^\i nf t y [ 0, T)$. The above exa mp l e  a lso show s that ,  e ve n  thoughwe  ha ve $ $ u , \,D_t^ \ al pha u\in  L_p(( 0 ,T )) $$ for$\ alpha>1-1 /p$ , iti s no t like ly to ga in be t ter integrabil i ty or regular i ty ( up to t heboundary) o f $u $ , as  app o se d t o  theusual  S o bo l ev embedding result s. 

To d eal w ith solutions  with thez e r o initia l co n di t ion, we define  $\bH _{p,0}^{\a l pha,k}(( S,T)\ times\Om ega)$ tob e  functio nsin$\b H_p ^ { \a lpha,k}((S,T) \ t imes \O mega)$eac h of wh ich  is  ap pro xi mated bya sequen ce  $ \{ u_ n(t ,x)\} \subsetC^ \in ft y\l eft([ S ,T]\ti mes \ Omeg a\ ri g ht) $ sucht ha t $u_n $va nish esfo r lar ge $ | x|$  and $u _n(S,x) =  0$ .  For  $ u\in \bH _{p,0}^{\alph a, k}((S,T)\t im es\ Omega) $ and forany approximation seque n ces $\{ u_n \}$ s uchthat $u
H}_p^{\alpha,k}(\Omega_T)$, provided_that $\alpha_\leq 1 - 1/p$,_$p \in_[1,\infty)$,_$\alpha \in_(0,1)$,_and $k \in_\{1,2,\dots\}$. However, in_the case $\alpha >_1 - 1/p$,_we_have $$\bH_p^{\alpha,k}(\Omega_T) \subsetneq \widetilde{\bH}_p^{\alpha,k}(\Omega_T).$$ To see this, let $$u(t)=t^{\alpha-1},$$ where $\alpha \in (1-1/p,1)$ and_$p_\in [1,\infty)$._Then_$u_\in L_p(0,T)$ and $$I^{1-\alpha} u(t)_= \frac{1}{\Gamma(1-\alpha)} \int_0^t (t-s)^{-\alpha} s^{\alpha-1}_\, ds_= \Gamma(\alpha),$$ which is a nonzero constant, so_that_$$\partial_t I^{1-\alpha} u=0.$$_Thus, $$u, \, D_t^\alpha u \in L_p(0,T).$$ However, clearly_the integration by parts formula does_not hold for_$\varphi_\in_C_0^\infty[0,T)$. The above example_also shows that, even though we_have $$u, \, D_t^\alpha u\in L_p((0,T))$$_for $\alpha > 1-1/p$, it is not_likely to gain better integrability or_regularity (up to the boundary)_of $u$,_as apposed to the usual_Sobolev embedding results.

To_deal with_solutions with the_zero initial condition, we define $\bH_{p,0}^{\alpha,k}((S,T)\times\Omega)$_to be functions_in $\bH_p^{\alpha,k}((S,T)\times\Omega)$ each of which is_approximated_by a sequence_$\{u_n(t,x)\}_\subset_C^\infty\left([S,T]\times \Omega\right)$_such that $u_n$_vanishes_for large_$|x|$_and $u_n(S,x) = 0$. For $u_\in_\bH_{p,0}^{\alpha,k}((S,T)\times\Omega)$ and for any approximation sequences $\{u_n\}$_such that $u