An improved Hardy-Trudinger-Moser inequality

preprint2015arXivOpen access

Abstract

Let B\mathbb{B} be the unit disc in R2\mathbb{R}^2, H\mathscr{H} be the completion of C0∞(B)C_0^\infty(\mathbb{B}) under the norm ∥u∥H=(∫B∣∇u∣2dx−∫Bu2(1−∣x∣2)2dx)1/2,∀u∈C0∞(B).\|u\|_{\mathscr{H}}=\left(\int_\mathbb{B}|\nabla u|^2dx-\int_\mathbb{B}\frac{u^2}{(1-|x|^2)^2}dx\right)^{1/2},\quad\forall u\in C_0^\infty(\mathbb{B}). Denote λ1(B)=inf⁡u∈H, ∥u∥2=1∥u∥H2λ_1(\mathbb{B})=\inf_{u\in \mathscr{H},\,\|u\|_2=1}\|u\|_{\mathscr{H}}^2, where ∥⋅∥2\|\cdot\|_2 stands for the L2(B)L^2(\mathbb{B})-norm. Using blow-up analysis, we prove that for any αα, 0≤α<λ1(B)0\leq α<λ_1(\mathbb{B}), sup⁡u∈H, ∥u∥H2−α∥u∥22≤1∫Be4πu2dx<+∞,\sup_{u\in\mathscr{H},\,\|u\|_{\mathscr{H}}^2-α\|u\|_2^2\leq 1}\int_\mathbb{B} e^{4πu^2}dx<+\infty, and that the above supremum can be attained by some function u∈Hu\in \mathscr{H} with ∥u∥H2−α∥u∥22=1\|u\|_{\mathscr{H}}^2-α\|u\|_2^2= 1. This improves an earlier result of G. Wang and D. Ye [28].

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.