Type: Article
Publication Date: 2013-01-08
Citations: 12
DOI: https://doi.org/10.1155/2013/784398
We are concerned with finding a class of weight functions <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M1"><mml:mrow><mml:mi>g</mml:mi></mml:mrow></mml:math> so that the following generalized Hardy-Sobolev inequality holds: <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M2"><mml:msub><mml:mo>∫</mml:mo><mml:mrow><mml:mi mathvariant="normal">Ω</mml:mi></mml:mrow></mml:msub><mml:mi>g</mml:mi><mml:msup><mml:mrow><mml:mi>u</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msup><mml:mo>≤</mml:mo><mml:mi>C</mml:mi><mml:msub><mml:mo>∫</mml:mo><mml:mrow><mml:mi mathvariant="normal">Ω</mml:mi></mml:mrow></mml:msub><mml:mo stretchy="false">|</mml:mo><mml:mo>∇</mml:mo><mml:mi>u</mml:mi><mml:msup><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msup><mml:mo>,</mml:mo><mml:mi> </mml:mi><mml:mi>u</mml:mi><mml:mo>∈</mml:mo><mml:msubsup><mml:mrow><mml:mi>H</mml:mi></mml:mrow><mml:mrow><mml:mn>0</mml:mn></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msubsup><mml:mo stretchy="false">(</mml:mo><mml:mi mathvariant="normal">Ω</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math>, for some <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M3"><mml:mi>C</mml:mi><mml:mo>></mml:mo><mml:mn>0</mml:mn></mml:math>, where <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M4"><mml:mrow><mml:mi mathvariant="normal">Ω</mml:mi></mml:mrow></mml:math> is a bounded domain in <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M5"><mml:mrow><mml:msup><mml:mrow><mml:mi>ℝ</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msup></mml:mrow></mml:math>. By making use of Muckenhoupt condition for the one-dimensional weighted Hardy inequalities, we identify a rearrangement invariant Banach function space so that the previous integral inequality holds for all weight functions in it. For weights in a subspace of this space, we show that the best constant in the previous inequality is attained. Our method gives an alternate way of proving the Moser-Trudinger embedding and its refinement due to Hansson.