. The non-negativity of $u$ follows from the substochasticity of the semigroups.

For uniqueness, we observe first that the construction of the Sobolev tower ensures that $X_0^{(w)}$ is continuously embedded in $X_{-n}^{(w)}$. Moreover, $\mathcal{G}^{(w)}$ is the restriction of $\mathcal{G}^{(w)}_{-n}$ to $X^{(w)}_1=\mathcal{D}(\mathcal{G}^{(w)})$. Consequently, if $u_1, u_2 \in C^1((0,\infty), \ell_w^1) \cap C([0,\infty),X^{(w)}_{-n})$ both satisfy, and we set $v_i(t) = e^{-\mu t}u_i(t)$, $i =1,2$, then the difference $v_1-v_2$ is the unique classical solution of with $\mathring{u} = 0$, and so $v_1= v_2$, from which it follows that $u_1=u_2$.

Finally, we make the following remark on the solvability of.

\[remark about general IC in X with Sobolev tower\] For fixed $n \in \mathbb{N}$, the previous theorem establishes that the ACP has a unique, non-negative solution $u \in C^1((0,\infty), \ell_w^1) \cap C([0,\infty),X^{(w)}_{-n})$, given by $u(t)=S^{(w)}_{-n}(t)\mathring{u}$, for all $\mathring{u} \in (X^{(w)}_{-n})_+$, provided that Assumptions \[A1.1\] and \[assumption for analyticity\] are satisfied. Recalling that we also assume that $w_n \ge n$ for all $n \in \mathbb{N}$, we have that $\ell_w^1$ is continuously embedded in $X_{[1]}$, and from this we deduce that if $u(t)$ is differentiable with respect to the norm on $\ell_w^1$ then it is also differentiable with respect to the norm on $X_{[1]}$, and the derivatives coincide. Since $A_1+B_1$ is an extension of $G^{(w)}=A^{(w)}+B^{(w)}$, we conclude that $u(t
. The non - negativity of $ u$ follows from the substochasticity of the semigroups. 

 For uniqueness, we observe first that the structure of the Sobolev column ensures that $ X_0^{(w)}$ is continuously implant in $ X_{-n}^{(w)}$. Moreover, $ \mathcal{G}^{(w)}$ is the limitation of $ \mathcal{G}^{(w)}_{-n}$ to $ X^{(w)}_1=\mathcal{D}(\mathcal{G}^{(w)})$. Consequently, if $ u_1, u_2 \in C^1((0,\infty), \ell_w^1) \cap C([0,\infty),X^{(w)}_{-n})$ both satisfy, and we set $ v_i(t) = e^{-\mu t}u_i(t)$, $ i = 1,2 $, then the difference $ v_1 - v_2 $ is the unique authoritative solution of with $ \mathring{u } = 0 $, and indeed $ v_1= v_2 $, from which it follows that $ u_1 = u_2$. 

 ultimately, we make the following remark on the solvability of. 

 \[remark about general intelligence community in X with Sobolev tower\ ] For fixed $ n \in \mathbb{N}$, the previous theorem establishes that the ACP experience a unique, non - negative solution $ u \in C^1((0,\infty), \ell_w^1) \cap C([0,\infty),X^{(w)}_{-n})$, given by $ u(t)=S^{(w)}_{-n}(t)\mathring{u}$, for all $ \mathring{u } \in (X^{(w)}_{-n})_+$, supply that Assumptions   \[A1.1\ ] and \[assumption for analyticity\ ] are satisfied. Recalling that we besides assume that $ w_n \ge n$ for all $ n \in \mathbb{N}$, we receive that $ \ell_w^1 $ is endlessly embedded in $ X_{[1]}$, and from this we deduce that if $ u(t)$ is differentiable with respect to the norm on $ \ell_w^1 $ then it is also differentiable with respect to the norm on $ X_{[1]}$, and the derivative instrument coincide. Since $ A_1+B_1 $ is an extension of $ G^{(w)}=A^{(w)}+B^{(w)}$, we conclude that $ u(t
. Thf non-negativity of $u$ foluows from the sobwtochavticitg of the semigroups.

For uniqueness, we ovservt first that the covstructioj of the Sobioev tower xhsures bkat $X_0^{(s)}$ is eoitinuously embecded in $X_{-n}^{(f)}$. Moreover, $\matvcxl{Y}^{(w)}$ is the restriction of $\mathcal{G}^{(w)}_{-n}$ eo $X^{(w)}_1=\mayhfal{D}(\mathcal{G}^{(w)})$. Sonstquqntlg, if $u_1, u_2 \in C^1((0,\infty), \ell_w^1) \cap C([0,\infty),S^{(w)}_{-n})$ boti satisfy, and wr set $v_i(t) = e^{-\mu t}u_i(t)$, $i =1,2$, thej thf difference $v_1-v_2$ is the unique clafwical solutiun of with $\mathring{u} = 0$, and so $v_1= v_2$, from which it follods thct $u_1=u_2$.

Finalli, se kake the foolowigg remark on the soleabilitu of.

\[remark abomt geierao IC in X with Sobolet tower\] For fixed $n \yn \mathbb{T}$, che previous theorem wsrablivhes thag thd ADP hzs a ujiqne, non-negatjve solutiob $u \in C^1((0,\infty), \ell_w^1) \va[ C([0,\infty),X^{(w)}_{-n})$, giben by $u(e)=S^{(w)}_{-n}(t)\mathring{u}$, for all $\mathring{u} \in (X^{(w)}_{-n})_+$, prkvided that Assumptions \[Q1.1\] and \[assumption for wnalyticiey\] are satisfied. Recalling that we also assume thdt $w_n \ee u$ for xol $n \in \mathbb{N}$, we have that $\ell_w^1$ is continuousjg tmbvdded in $X_{[1]}$, and frjm this we cefuvg that if $u(t)$ ir diffzdehtiable with respeft to tre noem on $\ell_r^1$ thrn it is also differentiablw with respebt ti the norm on $X_{[1]}$, anb the derivacives voincode. Since $A_1+B_1$ is an exteusion kf $G^{(w)}=A^{(w)}+B^{(w)}$, wf concluds that $u(t
. The non-negativity of $u$ follows from of semigroups. For we observe first Sobolev ensures that $X_0^{(w)}$ continuously embedded in Moreover, $\mathcal{G}^{(w)}$ is the restriction of to $X^{(w)}_1=\mathcal{D}(\mathcal{G}^{(w)})$. Consequently, if $u_1, u_2 \in C^1((0,\infty), \ell_w^1) \cap C([0,\infty),X^{(w)}_{-n})$ both satisfy, we set $v_i(t) = e^{-\mu t}u_i(t)$, $i =1,2$, then the difference $v_1-v_2$ is unique solution with = 0$, and so $v_1= v_2$, from which it follows that $u_1=u_2$. Finally, we make the remark on the solvability of. \[remark about general in X with Sobolev For fixed $n \in \mathbb{N}$, previous establishes that ACP a non-negative solution $u C^1((0,\infty), \ell_w^1) \cap C([0,\infty),X^{(w)}_{-n})$, given by $u(t)=S^{(w)}_{-n}(t)\mathring{u}$, for all $\mathring{u} \in (X^{(w)}_{-n})_+$, provided that Assumptions \[A1.1\] and for analyticity\] Recalling that also that \ge n$ for \in \mathbb{N}$, we have that $\ell_w^1$ in $X_{[1]}$, and from this we deduce that $u(t)$ is with respect to the norm on then it is also differentiable with respect to norm on $X_{[1]}$, and the derivatives coincide. Since $A_1+B_1$ is an extension of $G^{(w)}=A^{(w)}+B^{(w)}$, we $u(t
. The non-negativity of $u$ followS from the suBstocHasTicItY of tHe seMigroups.

For uniQUeneSs, we observe first that thE consTrUCtioN Of The SoBolev toWEr ENSurEs ThAt $X_0^{(W)}$ iS CoNtinuOusLy embedDed in $X_{-n}^{(w)}$. MoReoVeR, $\mathcal{G}^{(w)}$ is THe RestrictioN of $\Mathcal{G}^{(w)}_{-n}$ to $x^{(w)}_1=\mAthcal{d}(\mAthCAl{G}^{(w)})$. COnsEquenTly, if $u_1, U_2 \In C^1((0,\infTy), \ell_w^1) \cap c([0,\iNFty),X^{(w)}_{-n})$ BOth satiSFY, aNd we Set $v_i(t) = e^{-\mu t}u_i(t)$, $i =1,2$, theN ThE Difference $v_1-v_2$ is The uniQuE ClASSicAl sOlution of wItH $\mathRIng{u} = 0$, and SO $v_1= V_2$, FROm wHIch it follows tHat $u_1=u_2$.

FinallY, We mAke the FoLloWIng remArk on ThE SolVability of.

\[rEmarK about genEral IC IN X with SOBolev toWer\] For FixEd $n \In \maTHbB{N}$, The PrEVioUS tHeoREm eStablishEs ThAt the aCP hAS A UNiquE, noN-negAtive Solution $u \in C^1((0,\iNftY), \ell_W^1) \Cap c([0,\inftY),X^{(w)}_{-n})$, gIven By $U(t)=S^{(w)}_{-n}(T)\mathrIng{u}$, fOr All $\mathring{u} \in (X^{(W)}_{-n})_+$, prOvided thaT AsSuMptIoNs \[A1.1\] anD \[AssumpTioN foR analytIcity\] arE SatIsFIED. REcalling that we also AsSUMe That $w_n \ge N$ for alL $N \iN \mAThbb{N}$, we hAvE thAt $\elL_W^1$ Is conTinuOUsLy embeddEd in $X_{[1]}$, aND fRoM this we DeDuce thAt If $u(T)$ is DiffeREntiAble wiTh respecT to thE Norm on $\ell_w^1$ then IT is also differENtIABlE With ResPect to the noRm on $x_{[1]}$, And tHe deRIvAtiVEs coiNcide. siNCe $a_1+b_1$ is an extension of $G^{(w)}=A^{(W)}+B^{(W)}$, we conClude That $u(t
. The non-negativity of $u $ followsfromthe  su bs toch asti city of the se m igro ups.

For uniqueness,we ob se r ve f i rs t tha t the c o ns t r uct io nofth e  S obole v t ower en sures that  $X _0 ^{(w)}$ is c o nt inuously e mbe dded in $X_{ -n} ^{(w)} $.  Mo r eover , $ \math cal{G} ^ {(w)}$  is the r es t rictio n  of $\m a t hc al{G }^{(w)}_{-n}$ to$ X^ { (w)}_1=\mathca l{D}(\ ma t hc a l {G} ^{( w)})$. Con se quent l y, if $ u _1 , u _2\ in C^1((0,\in fty), \ell_ w ^1)  \capC( [0, \ infty) ,X^{( w) } _{- n})$ both s atis fy, and w e set$ v_i(t)=  e^{-\m u t}u_ i(t )$,  $i= 1, 2$ , t he n  th e  d iff e ren ce $v_1- v_ 2$  is t he u n i q u e cl ass ical  solu tion of with$\m athr i ng{ u} =0$, a nd s o$v_1=  v_2$,  from  w hich it follows  tha t $u_1=u_ 2$. 
Fin al ly, w e  makethe  fo llowing  remark onth e s ol vability of.

\[re ma r k  a bout gen eral I C  i nX  with So bo lev  tow e r \] Fo r fi x ed  $n \in\mathb b {N }$ , the p re viousth eor emestab l ishe s that  the ACP  hasa  unique, non-n e gative soluti o n$ u  \ i n C^ 1(( 0,\infty),\ell _ w^1)  \ca p  C ([0 , \inft y),X^ {( w )} _ {-n})$, given by $u (t )=S^{( w)}_{ -n}(t)\mathri ng{u}$, fo r a ll $\mat hrin g {u }  \in (X^{(w)}_ {-n}) _+$, provi d ed thatAssum ptions \ [A1.1\] a n d  \[assum pti onfor  an a l yt icity\] are s a t isfi ed . Recal lin g thatweals o a ssu me  that $w_ n \ge n$  f or  a ll  $n  \in\ mathbb{N }$ , w ehav e tha t  $\ell _w^1$  isco nt i nuo usly em b ed d e d in  $ X_ {[1] }$,  a nd fr om t h iswe dedu ce that i f $ u (t)$  i sdiffere ntiable withre spect to t he  no rm on$ \ ell_w^1$  then it is also differ e ntiable  wi th re spec t to thenor m on $ X_{ [ 1]}$,and th e der iv ati v e s coi n c id e.Si nce $A_1+B _ 1 $ i s anex tens ion of$G^{(w)}=A^{(w)}+B ^ {(w )}$, we concl ude  tha t $u (t
. The_non-negativity of_$u$ follows from the_substochasticity of_the_semigroups.

For uniqueness,_we_observe first that_the construction of_the Sobolev tower ensures_that $X_0^{(w)}$ is_continuously_embedded in $X_{-n}^{(w)}$. Moreover, $\mathcal{G}^{(w)}$ is the restriction of $\mathcal{G}^{(w)}_{-n}$ to $X^{(w)}_1=\mathcal{D}(\mathcal{G}^{(w)})$. Consequently, if_$u_1,_u_2 \in_C^1((0,\infty),_\ell_w^1)_\cap C([0,\infty),X^{(w)}_{-n})$ both satisfy, and_we set $v_i(t) = e^{-\mu_t}u_i(t)$, $i_=1,2$, then the difference $v_1-v_2$ is the unique_classical_solution of with_$\mathring{u} = 0$, and so $v_1= v_2$, from which_it follows that $u_1=u_2$.

Finally, we make_the following remark_on_the_solvability of.

\[remark about general_IC in X with Sobolev tower\]_For fixed $n \in \mathbb{N}$, the_previous theorem establishes that the ACP has_a unique, non-negative solution $u \in_C^1((0,\infty), \ell_w^1) \cap C([0,\infty),X^{(w)}_{-n})$, given_by $u(t)=S^{(w)}_{-n}(t)\mathring{u}$,_for all $\mathring{u} \in (X^{(w)}_{-n})_+$,_provided that Assumptions \[A1.1\]_and \[assumption_for analyticity\] are_satisfied. Recalling that we also assume_that $w_n \ge_n$ for all $n \in \mathbb{N}$,_we_have that $\ell_w^1$_is_continuously_embedded in_$X_{[1]}$, and from_this_we deduce_that_if $u(t)$ is differentiable with respect_to_the norm on $\ell_w^1$ then it is_also differentiable with respect_to_the norm on $X_{[1]}$,_and the derivatives coincide. Since_$A_1+B_1$ is an extension of $G^{(w)}=A^{(w)}+B^{(w)}$,_we conclude_that $u(t