On existence of minimizers for weighted L^p-Hardy inequalities on C^{1,\gamma}-domains with compact boundary

Authors Ujjal Das, Yehuda Pinchover, Baptiste Devyver

Publication date 6 March 2023

Positive solutions to PDEs (35B09) Variational methods for second-order elliptic equations (35J20) Quasilinear elliptic equations with (p)-Laplacian (35J92) Variational inequalities (49J40)

Abstract: Let

p i n (1, i n f t y)

,

a l p h a i n m a t h b b R

, and

O m e g a s u b s e t n e q m a t h b b R^{N}

be a

C^{1, g a m m a}

-domain with a compact boundary

p a r t i a l O m e g a

, where

g a m m a i n (0, 1]

. Denote by

d e l t a_{O m e g a} (x)

the distance of

x i n O m e g a

to

p a r t i a l O m e g a

. Let

w i d e t i l d e W_{0}^{1, p; a l p h a} (O m e g a)

be the completion of

C_{c}^{i n f t y} (O m e g a)

with respect to the norm

|varphi|_{widetilde{W}^{1,p;alpha}_0(Omega)}:= left( | , |

abla varphi| , |_{L^p(Omega,delta_{Omega}^{-alpha})}^p +|varphi|_{L^p(Omega,delta_{Omega}^{-(alpha+p)})}^p ight)^{{1}/{p}} . Consider the following two variational constants: H_{alpha,p}(Omega) :=!inf left{int_{Omega} | abla varphi|^p delta_{Omega}^{-alpha} mathrm{d}x �iggm| int_{Omega} |varphi|^p delta_{Omega}^{-(alpha+p)} mathrm{d}x!=!1, varphi in widetilde{W}^{1,p;alpha}_0(Omega) ight} ,, lambda_{alpha,p}^{infty}(Omega) :=sup_{KSubset Omega}, inf_{W^{1,p}_{c}(Omegasetminus K)} left{int_{Omegasetminus K} |

abla varphi|^p delta_{Omega}^{-alpha} mathrm{d}x �iggm| int_{Omegasetminus K} |varphi|^p delta_{Omega}^{-(alpha+p)} mathrm{d}x=1 ight}.

We show that

H_{a l p h a, p} (O m e g a)

is attained if and only if the spectral gap

G a m m a_{a l p h a, p} (O m e g a) := l a m b d a_{a l p h a, p}^{i n f t y} (O m e g a) - H_{a l p h a, p} (O m e g a)

is strictly positive. Moreover, we obtain tight decay estimates for the corresponding minimizers. Furthermore, when

O m e g a

is bounded and

a l p h a + p = 1

, then

G a m m a_{1 - p, p}^{i n f t y} (O m e g a) = 0

and

- D e l t a_{1 - p, p}

is null-critical in

O m e g a

with respect to the weight

d e l t a_{O m e g a}^{- 1}

, whereas, if

a l p h a + p < 1

, then

G a m m a_{a l p h a, p}^{i n f t y} (O m e g a) = l e f t | f r a c a l p h a + p - 1 p i g h t |^{p} > 0

and

- D e l t a_{a l p h a, p}

is positive-critical in

O m e g a

with respect to the weight

d e l t a_{O} m e g a^{- (a l p h a + p)}

.

This page was built for publication: On existence of minimizers for weighted $L^p$-Hardy inequalities on $C^{1,\gamma}$-domains with compact boundary

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6428592)