 given in Section 2.

Weighted Hardy inequalities
===========================

Let $\mu$ a weight function in ${{\mathbb}{R}}^N$. We define the weighted Sobolev space $H^1_\mu=H^1({{\mathbb}{R}}^N, \mu(x)dx))$ as the space of functions in $L^2_\mu:=L^2({{\mathbb}{R}}^N, \mu(x)dx)$ whose weak derivatives belong to $(L_\mu^2)^N$.

As first step we consider the following conditions on $\mu$ which we need to state a preliminary weighted Hardy inequality.

-   $\quad\mu\ge 0$, $\mu\in L^1_{loc}({{\mathbb}{R}}^N)$;

-   $\quad\nabla \mu \in L_{loc}^1({{\mathbb}{R}}^N)$;

-   $\quad$ there exist constants $k_1, k_2\in {{\mathbb}{R}}$, $k_2>2-N$, such that if $${f_\varepsilon}=(\varepsilon +|x|^{2})^{\frac{\alpha}{2}}, 
    \quad \alpha< 0, \quad \varepsilon >0,$$ it holds $$\frac{\nabla f_\varepsilon}{f_\varepsilon}\cdot\nabla\mu=
    \frac{\alpha x}{\varepsilon +|x|^{2}} \cdot\nabla\mu
    \le\left( k_1 
    + \frac{k_2\alpha}{\varepsilon +|x|^2}\right) \mu$$ for any $\varepsilon>0$.

The condition $H_3)$ contains the requirement that the scalar product $\alpha x \cdot\frac{\nabla\mu}{\mu}$ is bounded in $B_R$, $R>0$, while $\frac{\alpha x}{\varepsilon +|x|^{2}}\cdot\frac{\nabla\mu}{\mu}$ is bounded in ${{\mathbb}{R}}^N\setminus B_R$, where $B_R$ is a ball of radius $R$ centered in zero.

The reason we use the function $f_\varepsilon$, introduced in [@Davies], will be clear in the proof of the weighted Hardy inequality which we will state below. Finally we observe that we need the condition $k_2>2-N$ to apply Fatou’s lemma in the proof of Theorem \[Thm wHi\].

\[Th
given in Section 2. 

 Weighted Hardy inequalities 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 lease $ \mu$ a system of weights function in $ { { \mathbb}{R}}^N$. We define the weighted Sobolev distance $ H^1_\mu = H^1({{\mathbb}{R}}^N, \mu(x)dx))$ as the space of functions in $ L^2_\mu:=L^2({{\mathbb}{R}}^N, \mu(x)dx)$ whose decrepit derivative belong to $ (L_\mu^2)^N$. 

 As inaugural step we consider the keep up conditions on $ \mu$ which we want to submit a preliminary weighted Hardy inequality. 

 -    $ \quad\mu\ge 0 $, $ \mu\in L^1_{loc}({{\mathbb}{R}}^N)$; 

 -    $ \quad\nabla \mu \in L_{loc}^1({{\mathbb}{R}}^N)$; 

 -    $ \quad$ there exist constants $ k_1, k_2\in { { \mathbb}{R}}$, $ k_2>2 - N$, such that if $ $ { f_\varepsilon}=(\varepsilon + |x|^{2})^{\frac{\alpha}{2 } }, 
     \quad \alpha < 0, \quad \varepsilon > 0,$$ it holds $ $ \frac{\nabla f_\varepsilon}{f_\varepsilon}\cdot\nabla\mu= 
     \frac{\alpha x}{\varepsilon + |x|^{2 } } \cdot\nabla\mu 
     \le\left (k_1 
     + \frac{k_2\alpha}{\varepsilon + |x|^2}\right) \mu$$ for any $ \varepsilon>0$. 

 The condition $ H_3)$ incorporate the requirement that the scalar product $ \alpha x \cdot\frac{\nabla\mu}{\mu}$ is bounded in $ B_R$, $ R>0 $, while $ \frac{\alpha x}{\varepsilon + |x|^{2}}\cdot\frac{\nabla\mu}{\mu}$ is bounce in $ { { \mathbb}{R}}^N\setminus B_R$, where $ B_R$ is a ball of radius $ R$ centered in zero. 

 The reason we practice the function $ f_\varepsilon$, bring in in [ @Davies ], will be clear in the proof of the weighted audacious inequality which we will state below. Finally we observe that we need the condition $ k_2>2 - N$ to give Fatou ’s lemma in the validation of Theorem \[Thm wHi\ ]. 

 \[Th
 gigen in Section 2.

Weighted Mardy inequalitigs
===========================

Oet $\mu$ a weifht funcgion in ${{\mathbb}{R}}^N$. We define tie wwighttb Sobolev space $H^1_\mu=H^1({{\oathbb}{R}}^N, \lu(x)dx))$ as the wpace of fnhctions in $L^2_\mh:=P^2({{\matkbu}{R}}^N, \mu(x)dx)$ whose weak derieatives belong tu $(P_\mu^2)^N$.

As first step we consider the fjllowinb fonditions on $\iu$ wnych sv keed to state a preliminary weiggted Hagdy inequality.

-   $\auad\mu\ge 0$, $\mu\in L^1_{loc}({{\mathbb}{R}}^J)$;

-   $\euad\nabla \mu \in L_{llc}^1({{\mathbb}{R}}^N)$;

-   $\quwe$ there exisg constants $k_1, k_2\in {{\mathgb}{R}}$, $k_2>2-N$, such that if $${f_\varepsilon}=(\xarepxilon +|x|^{2})^{\frax{\aophw}{2}}, 
    \quad \aopha< 0, \quad \varepslkon >0,$$ id holds $$\frac{\nabla f_\vavepsinon}{d_\varepsilon}\cdot\nabla\mn=
    \frac{\alpha x}{\vareksilon +|x|^{2}} \cgoc\nabla\mu
    \le\left( k_1 
    + \frdc{k_2\anpha}{\xqreosimoi +|x|^2}\dight) \lu$$ hor any $\varspsilon>0$.

The xondition $H_3)$ containx eye requiremenf that tre scalar product $\alpha x \cdot\frac{\nabla\ku}{\mh}$ is bounded in $B_R$, $R>0$, whule $\frac{\alpha x}{\varepsllon +|x|^{2}}\cdoe\frac{\nabla\mu}{\mu}$ is bounded in ${{\mathbb}{R}}^N\setminus B_R$, fhere $C_R$ nw a bxol of radius $R$ centered in zero.

The reason we usq tne function $f_\varcpsilon$, introduced ij [@Cwvies], will be clear in the proof of the aeighteq Harey inequajity which we will state below. Dinally we oyseeve that we need tke condition $k_2>2-N$ jo appky Fatou’s lemma in the 'roof kf Theorem \[Hhm wHi\].

\[Th
given in Section 2. Weighted Hardy inequalities $\mu$ weight function ${{\mathbb}{R}}^N$. We define \mu(x)dx))$ the space of in $L^2_\mu:=L^2({{\mathbb}{R}}^N, \mu(x)dx)$ weak derivatives belong to $(L_\mu^2)^N$. As step we consider the following conditions on $\mu$ which we need to state preliminary weighted Hardy inequality. - $\quad\mu\ge 0$, $\mu\in L^1_{loc}({{\mathbb}{R}}^N)$; - $\quad\nabla \mu \in - there constants k_2\in {{\mathbb}{R}}$, $k_2>2-N$, such that if $${f_\varepsilon}=(\varepsilon +|x|^{2})^{\frac{\alpha}{2}}, \quad \alpha< 0, \quad \varepsilon >0,$$ it holds f_\varepsilon}{f_\varepsilon}\cdot\nabla\mu= \frac{\alpha x}{\varepsilon +|x|^{2}} \cdot\nabla\mu \le\left( k_1 + +|x|^2}\right) \mu$$ for any The condition $H_3)$ contains the that scalar product x is in $B_R$, $R>0$, $\frac{\alpha x}{\varepsilon +|x|^{2}}\cdot\frac{\nabla\mu}{\mu}$ is bounded in ${{\mathbb}{R}}^N\setminus B_R$, where $B_R$ is a ball of radius $R$ centered zero. The use the $f_\varepsilon$, in will be clear proof of the weighted Hardy inequality state below. Finally we observe that we need condition $k_2>2-N$ apply Fatou’s lemma in the proof Theorem \[Thm wHi\]. \[Th
 given in Section 2.

Weighted HarDy inequaliTies
===========================

LEt $\mU$ a wEiGht fUnctIon in ${{\mathbb}{R}}^N$. WE DefiNe the weighted Sobolev spAce $H^1_\mU=H^1({{\MAthbB}{r}}^N, \Mu(x)dx))$ As the spACe OF FunCtIoNs iN $L^2_\MU:=L^2({{\MathbB}{R}}^N, \Mu(x)dx)$ whOse weak derIvaTiVes belong to $(L_\MU^2)^N$.

as first steP we Consider the fOllOwing cOnDitIOns on $\Mu$ wHich wE need tO State a PreliminaRy WEighteD hardy inEQUaLity.

-   $\Quad\mu\ge 0$, $\mu\in L^1_{loc}({{\mAThBB}{R}}^N)$;

-   $\quad\nabla \mu \In L_{loc}^1({{\MaTHbB}{r}}^n)$;

-   $\quAd$ tHere exist cOnStantS $K_1, k_2\in {{\matHBb}{r}}$, $K_2>2-n$, SucH That if $${f_\varepsIlon}=(\varepsiLOn +|x|^{2})^{\Frac{\alPhA}{2}}, 
    \quAD \alpha< 0, \Quad \vArEPsiLon >0,$$ it holds $$\fRac{\nAbla f_\varePsilon}{F_\VarepsiLOn}\cdot\nAbla\mu=
    \FraC{\alPha x}{\VArEpSilOn +|X|^{2}} \CdoT\NaBla\MU
    \le\Left( k_1 
    + \fraC{k_2\AlPha}{\vaRepsILON +|X|^2}\rigHt) \mU$$ for Any $\vaRepsilon>0$.

The coNdiTion $h_3)$ ConTains The reQuirEmEnt thAt the sCalar PrOduct $\alpha x \cdot\Frac{\Nabla\mu}{\mu}$ Is bOuNdeD iN $B_R$, $R>0$, wHIle $\fraC{\alPha X}{\varepsIlon +|x|^{2}}\cdOT\frAc{\NABLa\Mu}{\mu}$ is bounded in ${{\matHbB}{r}}^n\sEtminus B_r$, where $b_r$ iS a BAll of radIuS $R$ cEnteRED in zeRo.

ThE ReAson we usE the fuNCtIoN $f_\varepSiLon$, intRoDucEd iN [@DaviES], wilL be cleAr in the pRoof oF The weighted HarDY inequality whICh WE WiLL staTe bElow. Finally We obSErve That WE nEed THe conDitioN $k_2>2-n$ To APply Fatou’s lemma in thE pRoof of theorEm \[Thm wHi\].

\[Th
 given in Section 2.

Weig hted Hardy  ineq ual iti es 
=== ==== ============== = ==== =

Let $\mu$ a weightfunct io n  in$ {{ \math bb}{R}} ^ N$ . Wede fi neth e  w eight edSobolev  space $H^ 1_\ mu =H^1({{\math b b} {R}}^N, \m u(x )dx))$ as th e s pace o ffun c tions  in  $L^2 _\mu:= L ^2({{\ mathbb}{R }} ^ N, \mu ( x)dx)$w h os e we ak derivatives be l on g  to $(L_\mu^2) ^N$.
As fi r s t s tep  we consid er  thef ollowin g  c o n d iti o ns on $\mu$ w hich we nee d  to  state  a  pr e limina ry we ig h ted  Hardy ineq uali ty.

-  $\quad \ mu\ge 0 $ , $\mu\ in L^1 _{l oc} ({{\ m at hb b}{ R} } ^N) $ ;
- $\ quad\nab la  \ mu \i n L_ { l o c }^1( {{\ math bb}{R }}^N)$;

-  $\q uad$ the re ex ist c onst an ts $k _1, k_ 2\in{{ \mathbb}{R}}$,$k_2 >2-N$, su chth atif  $${f _ \varep sil on} =(\vare psilon+ |x| ^{ 2 } ) ^{ \frac{\alpha}{2}},   \quad \a lpha<0 ,\q u ad \vare ps ilo n >0 , $ $ ithold s  $ $\frac{\ nablaf _\ va repsilo n} {f_\va re psi lon }\cdo t \nab la\mu= 
    \fr ac{\a l pha x}{\vareps i lon +|x|^{2}} \c d o t\ n abla \mu 
    \le\le ft(k _1    +  \ fra c {k_2\ alpha }{ \ va r epsilon +|x|^2}\rig ht ) \mu$ $ for  any $\vareps ilon>0$.
T h e  conditi on $ H _3 ) $ contains the  requ irement th a t the sc alarproduct$\alpha x \ cdot\fra c{\ nab la\ mu} { \ mu }$ is bounded i n $B _R $, $R>0 $,while $ \fr ac{ \al pha  x }{\vareps ilon +|x |^ {2 }} \c dot \frac { \nabla\m u} {\m u} $ i s bou n ded in  ${{\ math bb }{ R }}^ N\setmi n us B _R$,  w he re $ B_R $is aball ofradius$R$ cente red in z er o. 

The r eason we useth e function  $ f_\ vareps i l on$, int roduced in [@Davies], w i ll be c lea r intheproof ofthe  weigh ted Hardyinequa litywh ich w e wil l st ate  b elow. Fina l l y w e obs er ve t hat weneed the condition $k_ 2>2-N$ to app lyFato u ’ slem m ai n t he pro o f  of Theorem \[T hm wHi\].
\ [ Th 
 given_in Section_2.

Weighted Hardy inequalities
===========================

Let $\mu$_a weight_function_in ${{\mathbb}{R}}^N$._We_define the weighted_Sobolev space $H^1_\mu=H^1({{\mathbb}{R}}^N,_\mu(x)dx))$ as the space_of functions in_$L^2_\mu:=L^2({{\mathbb}{R}}^N,_\mu(x)dx)$ whose weak derivatives belong to $(L_\mu^2)^N$.

As first step we consider the following conditions_on_$\mu$ which_we_need_to state a preliminary weighted_Hardy inequality.

-   $\quad\mu\ge_0$, $\mu\in_L^1_{loc}({{\mathbb}{R}}^N)$;

-   $\quad\nabla \mu \in L_{loc}^1({{\mathbb}{R}}^N)$;

- __$\quad$ there exist_constants $k_1, k_2\in {{\mathbb}{R}}$, $k_2>2-N$, such that if $${f_\varepsilon}=(\varepsilon_+|x|^{2})^{\frac{\alpha}{2}}, 
    \quad_\alpha< 0, \quad_\varepsilon_>0,$$_it holds $$\frac{\nabla f_\varepsilon}{f_\varepsilon}\cdot\nabla\mu=
_   \frac{\alpha x}{\varepsilon +|x|^{2}}_\cdot\nabla\mu
    \le\left( k_1_
    + \frac{k_2\alpha}{\varepsilon +|x|^2}\right)_\mu$$ for any $\varepsilon>0$.

The condition $H_3)$_contains the requirement that the_scalar product_$\alpha x \cdot\frac{\nabla\mu}{\mu}$ is bounded_in $B_R$, $R>0$,_while $\frac{\alpha_x}{\varepsilon +|x|^{2}}\cdot\frac{\nabla\mu}{\mu}$ is_bounded in ${{\mathbb}{R}}^N\setminus B_R$, where $B_R$_is a ball_of radius $R$ centered in zero.

The_reason_we use the_function_$f_\varepsilon$,_introduced in_[@Davies], will be_clear_in the_proof_of the weighted Hardy inequality which_we_will state below. Finally we observe that_we need the condition_$k_2>2-N$_to apply Fatou’s lemma_in the proof of Theorem_\[Thm wHi\].

\[Th