 have $$\left|
\int_0^T\int_{{\Omega}}\delta\rho^{10}\nabla\psi\,dx\,dt\right| \leq C(\psi) \delta^{\frac{2}{3}}\|\delta^{\frac{1}{3}}\rho^{10}\|_{L^1(0,T;L^3({\Omega}))}\to 0$$ as $\delta\to0.$

With Lemma \[Lemma of stability of renormalized solution\] at hand, we are ready to recover the renormalized solutions to -. By part 1 and part 2 of Lemma \[Lemma of stability of renormalized solution\], we are able to pass to the limits on the continuity equation. Thanks to part 4 of Lemma \[Lemma of stability of renormalized solution\], $$\sqrt{\mu(\rho_n)}\varphi'({{ u}}_n)\to \sqrt{\mu(\rho)}\varphi'({{ u}}) \quad\text{ in }\;\; L^{\infty}(0,T;L^2({\Omega})).$$ With the help of Lemma \[compactuniforme\], we can pass to the limit on pressure, thus we can recover the renormalized solutions.

Recover weak solutions from renormalized solutions
--------------------------------------------------

In this part, we can recover the weak solutions from the renormalized solutions constructed in Lemma \[Lemma of existence for ren\]. Now we show that Lemma \[Lemma of existence for ren\] is valid without the condition $\varepsilon_1>0$. For such a $\mu$, we construct a sequence $\mu_n$ converging to $\mu$ in $C^0({{\mathbb R}}^+)$ and such that $\varepsilon_{1n}=\inf \mu_n'>0$. Lemma \[Lemma of stability of renormalized solution\] shows that, up to a subsequence, $$\rho_n\to\rho\;\;\text{ in }\; C^0(0,T;L^p({\Omega}))$$ and $$\rho_n{{ u}}_n\to\rho{{ u}}\;\;\text{ in } L^{\infty}(0,T;L^{\frac{p+1}{2p}}({\Omega}))$$ for any $1\leq p<\gamma,$ where $(\rho,\sqrt{\rho}{{ u}})$ is a renormalized solution to.

Now, we want to show that this renormalized solution is also a weak solution in the sense of Definition 1.2. To this end, we introduce a non-negative smooth function $\Phi:
have $ $ \left| 
 \int_0^T\int_{{\Omega}}\delta\rho^{10}\nabla\psi\,dx\,dt\right| \leq C(\psi) \delta^{\frac{2}{3}}\|\delta^{\frac{1}{3}}\rho^{10}\|_{L^1(0,T;L^3({\Omega}))}\to 0$$ as $ \delta\to0.$ 

 With Lemma \[Lemma of stability of renormalized solution\ ] at hand, we are ready to recuperate the renormalized solution to -. By part 1 and part 2 of Lemma \[Lemma of stability of renormalized solution\ ], we are able to legislate to the limits on the continuity equation. Thanks to share 4 of Lemma \[Lemma of constancy of renormalized solution\ ], $ $ \sqrt{\mu(\rho_n)}\varphi' ({ { u}}_n)\to \sqrt{\mu(\rho)}\varphi' ({ { u } }) \quad\text { in } \;\; L^{\infty}(0,T;L^2({\Omega})).$$ With the help of Lemma \[compactuniforme\ ], we can pass to the limit on pressure, thus we can reclaim the renormalized solutions. 

 Recover fallible solutions from renormalized solutions 
 -------------------------------------------------- 

 In this part, we can recover the weak solutions from the renormalized solution constructed in Lemma \[Lemma of existence for ren\ ]. Now we express that Lemma \[Lemma of existence for ren\ ] is valid without the condition $ \varepsilon_1>0$. For such a $ \mu$, we construct a sequence $ \mu_n$ converge to $ \mu$ in $ C^0({{\mathbb R}}^+)$ and such that $ \varepsilon_{1n}=\inf \mu_n'>0$. Lemma \[Lemma of stability of renormalized solution\ ] shows that, up to a subsequence, $ $ \rho_n\to\rho\;\;\text { in } \; C^0(0,T;L^p({\Omega}))$$ and $ $ \rho_n { { u}}_n\to\rho { { u}}\;\;\text { in } L^{\infty}(0,T;L^{\frac{p+1}{2p}}({\Omega}))$$ for any $ 1\leq p<\gamma,$ where $ (\rho,\sqrt{\rho } { { u}})$ is a renormalized solution to. 

 Now, we want to usher that this renormalized solution is also a weak solution in the sense of Definition 1.2. To this end, we introduce a non - negative smooth function $ \Phi:
 hage $$\left|
\int_0^T\int_{{\Omega}}\delta\vho^{10}\nabla\psi\,dx\,dt\rntht| \lex C(\psi) \delta^{\frxc{2}{3}}\|\delta^{\frac{1}{3}}\rho^{10}\|_{L^1(0,T;L^3({\Omega}))}\to 0$$ as $\dwlta\ti0.$

With Lemma \[Lemma of sgability lf renornalieed solution\] at hehd, we avz reasn to xerover the renorkalized sonutions to -. By pxrc 1 and part 2 of Lemma \[Lemma of stabijity of rfnormalized sojutipg\], we are able to pass to the limits on the coitinuity equatipn. Thanks to part 4 of Lemmw \[Lelma of stability ov renormaliesd filution\], $$\sqrt{\ou(\rho_n)}\varphi'({{ u}}_n)\to \sqrt{\ju(\rho)}\varphi'({{ u}}) \quad\text{ in }\;\; L^{\infgy}(0,T;L^2({\Okega})).$$ With jkw hfnp of Lemma \[compwctuniforme\], we can pdss to yhe limit on pvessuce, tyus we can recover thx renormalized solutyons.

Recovar weak solutions feon renmrmanizea souutjois
--------------------------------------------------

Ih this pact, we can rscover the qeak solutions from trv renormalizes solueijns constructed in Lemma \[Lemma of existtnce ror ren\]. Now we show thar Lemma \[Lemma of exisjence for wen\] is valid without the condition $\varepsilon_1>0$. For such x $\mb$, we cubshruct a sequence $\mu_n$ converging to $\mu$ in $C^0({{\matrgb R}}^+)$ and such that $\varepsilon_{1m}=\ijf \iu_n'>0$. Lemma \[Lemoa of stagility of renormallzed sojutiob\] shows trat, ip to a subsequence, $$\rho_n\to\ryo\;\;\text{ in }\; C^0(0,N;L^p({\Onega}))$$ and $$\rho_n{{ u}}_n\to\xho{{ u}}\;\;\text{ in } L^{\imfty}(0,T;K^{\frac{p+1}{2p}}({\Omega}))$$ for any $1\led p<\gzmma,$ where $(\gho,\sqrt{\rhk}{{ u}})$ is a renormalkzec volution to.

Now, we want to fhow that thix renoroalieed solttion is apso a weak solution in tje seuse ox Definitiln 1.2. To this end, we introduce a ipn-negative skomth functiou $\Phi:
have $$\left| \int_0^T\int_{{\Omega}}\delta\rho^{10}\nabla\psi\,dx\,dt\right| \leq C(\psi) \delta^{\frac{2}{3}}\|\delta^{\frac{1}{3}}\rho^{10}\|_{L^1(0,T;L^3({\Omega}))}\to 0$$ With \[Lemma of of renormalized solution\] to the renormalized solutions -. By part and part 2 of Lemma \[Lemma stability of renormalized solution\], we are able to pass to the limits on continuity equation. Thanks to part 4 of Lemma \[Lemma of stability of renormalized $$\sqrt{\mu(\rho_n)}\varphi'({{ \sqrt{\mu(\rho)}\varphi'({{ \quad\text{ }\;\; L^{\infty}(0,T;L^2({\Omega})).$$ With the help of Lemma \[compactuniforme\], we can pass to the limit on pressure, we can recover the renormalized solutions. Recover weak from renormalized solutions -------------------------------------------------- this part, we can recover weak from the solutions in \[Lemma of existence ren\]. Now we show that Lemma \[Lemma of existence for ren\] is valid without the condition $\varepsilon_1>0$. such a construct a $\mu_n$ to in $C^0({{\mathbb R}}^+)$ that $\varepsilon_{1n}=\inf \mu_n'>0$. Lemma \[Lemma of solution\] shows that, up to a subsequence, $$\rho_n\to\rho\;\;\text{ }\; C^0(0,T;L^p({\Omega}))$$ $$\rho_n{{ u}}_n\to\rho{{ u}}\;\;\text{ in } L^{\infty}(0,T;L^{\frac{p+1}{2p}}({\Omega}))$$ any $1\leq p<\gamma,$ where $(\rho,\sqrt{\rho}{{ u}})$ is a solution to. Now, we want to show that this renormalized solution is also a weak the sense of Definition To this end, introduce non-negative function
 have $$\left|
\int_0^T\int_{{\Omega}}\delta\Rho^{10}\nabla\psI\,dx\,dt\RigHt| \lEq c(\psi) \DeltA^{\frac{2}{3}}\|\delta^{\frac{1}{3}}\RHo^{10}\|_{L^1(0,T;l^3({\Omega}))}\to 0$$ as $\delta\to0.$

With LEmma \[LEmMA of sTAbIlity Of renorMAlIZEd sOlUtIon\] At HAnD, we arE reAdy to reCover the reNorMaLized solutioNS tO -. By part 1 and ParT 2 of Lemma \[LemmA of StabilItY of REnormAliZed soLution\], WE are abLe to pass tO tHE limitS On the coNTInUity Equation. Thanks to pARt 4 OF Lemma \[Lemma of sTabiliTy OF rENOrmAliZed solutioN\], $$\sQrt{\mu(\RHo_n)}\varpHI'({{ u}}_N)\TO \SqrT{\Mu(\rho)}\varphi'({{ u}}) \qUad\text{ in }\;\; L^{\iNFty}(0,t;L^2({\OmegA})).$$ WIth THe help Of LemMa \[COmpActuniforme\], We caN pass to thE limit ON pressuRE, thus we Can recOveR thE renORmAlIzeD sOLutIOnS.

ReCOveR weak solUtIoNs froM renORMALizeD soLutiOns
--------------------------------------------------

In This part, we can RecOver THe wEak soLutioNs frOm The reNormalIzed sOlUtions constructEd in lemma \[LemmA of ExIstEnCe for REn\]. Now wE shOw tHat LemmA \[Lemma oF ExiStENCE fOr ren\] is valid withouT tHE CoNdition $\vArepsiLOn_1>0$. foR Such a $\mu$, wE cOnsTrucT A SequeNce $\mU_N$ cOnverginG to $\mu$ iN $c^0({{\mAtHbb R}}^+)$ and SuCh that $\VaRepSilOn_{1n}=\inF \Mu_n'>0$. LEmma \[LeMma of staBilitY Of renormalized SOlution\] shows tHAt, UP To A SubsEquEnce, $$\rho_n\to\rHo\;\;\teXT{ in }\; C^0(0,t;L^p({\OMEgA}))$$ anD $$\Rho_n{{ u}}_N\to\rhO{{ u}}\;\;\TExT{ In } L^{\infty}(0,T;L^{\frac{p+1}{2p}}({\OmeGa}))$$ For any $1\Leq p<\gAmma,$ where $(\rho,\sQrt{\rho}{{ u}})$ is a RENOrmalizeD solUTiON to.

Now, we want to Show tHat this renORmalized SolutIon is alsO a weak solUTIon in the SenSe oF DeFinITIoN 1.2. To this end, we iNTRoduCe A non-negAtiVe smootH fuNctIon $\phi:
 have $$\left|
\int_0^T\in t_{{\Omega }}\de lta \rh o^ {10} \nab la\psi\,dx\,dt \ righ t| \leq C(\psi) \delta ^{\fr ac { 2}{3 } }\ |\del ta^{\fr a c{ 1 } {3} }\ rh o^{ 10 } \| _{L^1 (0, T;L^3({ \Omega}))} \to  0 $$ as $\delt a \t o0.$

With  Le mma \[Lemmaofstabil it y o f  reno rma lized  solut i on\] a t hand, w ea re rea d y to re c o ve r th e renormalized so l ut i ons to -. By p art 1an d  p a r t 2  of  Lemma \[L em ma of stabili t yo f ren o rmalized solu tion\], wea reable t opas s  to th e lim it s  on  the contin uity  equation . Than k s to pa r t 4 ofLemma\[L emm a of st ab ili ty ofr en orm a liz ed solut io n\ ], $$ \sqr t { \ m u(\r ho_ n)}\ varph i'({{ u}}_n)\ to\sqr t {\m u(\rh o)}\v arph i' ({{ u }}) \q uad\t ex t{ in }\;\; L^{ \inf ty}(0,T;L ^2( {\ Ome ga })).$ $  Withthe  he lp of L emma \[ c omp ac t u n if orme\], we can pas st o  t he limit  on pr e ss ur e , thus w ecan  rec o v er th e re n or malizedsoluti o ns .
Recove rweak s ol uti ons  from reno rmaliz ed solut ions- -------------- - ------------- - -- - - -- - ---- --- ------

Inthis part , we ca n r e cover  thewe a ks olutions from the r en ormali zed s olutions cons tructed in L e mma \[Le mmao fe xistence for r en\].  Now we sh o w that L emma\[Lemmaof existe n c e for re n\]  is  va lid w it hout the cond i t ion$\ varepsi lon _1>0$.For  su cha $ \m u$, we co nstructase qu en ce$\mu_ n $ conver gi ngto  $\ mu$ i n  $C^0( {{\ma thbb  R }} ^ +)$  and su c ht h at $ \v ar epsi lon _{ 1n}=\ inf\ mu_ n'>0$.Lemma \[L emm a  ofst ab ility o f renormalize dsolution\]  s how s that , up to asubsequence, $$\rho_n\t o \rho\;\ ;\t ext{in } \; C^0(0, T;L ^p({\O meg a }))$$and $$ \rho_ n{ { u } } _n\to \ r ho {{u} }\;\;\text { in} L^{ \i nfty }(0,T;L ^{\frac{p+1}{2p}}( { \Om ega}))$$ forany  $1\ l e qp<\ g am m a,$  w h ere $ (\rho,\sqrt{\rh o}{{ u}})$  i s  a  renormali z edso lutionto.

No w, we want to  show tha t this re no rmal i z edsolution i s also a  weak sol u tioni nthe s ens e of D ef ini tion1.2. T o  th is en d, wein troduc e a n on -negativ e smooth function $\Phi :
 have_$$\left|
\int_0^T\int_{{\Omega}}\delta\rho^{10}\nabla\psi\,dx\,dt\right| \leq_C(\psi) \delta^{\frac{2}{3}}\|\delta^{\frac{1}{3}}\rho^{10}\|_{L^1(0,T;L^3({\Omega}))}\to 0$$ as_$\delta\to0.$

With Lemma_\[Lemma_of stability_of_renormalized solution\] at_hand, we are_ready to recover the_renormalized solutions to_-._By part 1 and part 2 of Lemma \[Lemma of stability of renormalized solution\],_we_are able_to_pass_to the limits on the_continuity equation. Thanks to part_4 of_Lemma \[Lemma of stability of renormalized solution\], $$\sqrt{\mu(\rho_n)}\varphi'({{_u}}_n)\to_\sqrt{\mu(\rho)}\varphi'({{ u}}) \quad\text{_in }\;\; L^{\infty}(0,T;L^2({\Omega})).$$ With the help of Lemma \[compactuniforme\],_we can pass to the limit_on pressure, thus_we_can_recover the renormalized solutions.

Recover_weak solutions from renormalized solutions
--------------------------------------------------

In this_part, we can recover the weak_solutions from the renormalized solutions constructed in_Lemma \[Lemma of existence for ren\]._Now we show that Lemma_\[Lemma of_existence for ren\] is valid_without the condition_$\varepsilon_1>0$. For_such a $\mu$,_we construct a sequence $\mu_n$ converging_to $\mu$ in_$C^0({{\mathbb R}}^+)$ and such that $\varepsilon_{1n}=\inf_\mu_n'>0$._Lemma \[Lemma of_stability_of_renormalized solution\]_shows that, up_to_a subsequence,_$$\rho_n\to\rho\;\;\text{_in }\; C^0(0,T;L^p({\Omega}))$$ and $$\rho_n{{ u}}_n\to\rho{{_u}}\;\;\text{_in } L^{\infty}(0,T;L^{\frac{p+1}{2p}}({\Omega}))$$ for any $1\leq p<\gamma,$_where $(\rho,\sqrt{\rho}{{ u}})$ is_a_renormalized solution to.

Now, we_want to show that this_renormalized solution is also a weak_solution in_the sense_of Definition 1.2. To this end, we introduce a non-negative smooth_function $\Phi: