Sharp Weighted Young's Inequalities and Moser–Trudinger Inequalities on Heisenberg Type Groups and Grushin Spaces

We obtain sharp weighted Moser–Trudinger inequalities for first-layer symmetric functions on groups of Heisenberg type, and for -symmetric functions on the Grushin plane. To this end, we establish weighted Young's inequalities in the form , for first-layer radial weights on a general Carnot group and functions with first-layer symmetric. The proofs use some sharp estimates for hypergeometric functions.Research supported by NSF grant DMS-0228807.     

Energy Estimates on Existence of Extremals for Trudinger–Moser Inequalities

Let Ω be a smooth bounded domain in R~2, W_0~(1,2)(Ω) be the standard Sobolev space. By the method of energy estimate developed by Malchiodi–Martinazzi(J. Eur. Math. Soc., 16, 893–908(2014)), Mancini–Martinazzi(Calc. Var. Partial Differential Equations, 56, 94(2017)) and Mancini–Thizy(J. Differential Equations, 266, 1051–1072(2019)), we reprove the results of Carleson–Chang(Bull. Sci. Math., 110, 113–127(1986)), Flucher(Comment. Math. Helv., 67, 471–497(1992)), Li(Acta Math. Sin. Engl. Ser., 22, 545–550(2006)) and Su(J. Math. Inequal., in press). Namely, for any real number α≤ 1, the supremum ■ can be achieved by some function v ∈ W_0~(1,2)(Ω) with ║?_v║_2~2≤ 4π.     

Sharp Affine and Improved Moser–Trudinger–Adams Type Inequalities on Unbounded Domains in the Spirit of Lions

The purpose of this paper is threefold. First, we prove sharp singular affine Moser–Trudinger inequalities on both bounded and unbounded domains in \({\mathbb {R}}^{n}\). In particular, we will prove the following much sharper affine Moser–Trudinger inequality in the spirit of Lions (Rev Mat Iberoamericana 1(2):45–121, 1985) (see our Theorem 1.4): Let \(\alpha _{n}=n\left( \frac{n\pi ^{\frac{n}{2}}}{\Gamma (\frac{n}{2}+1)}\right) ^{\frac{1}{n-1}}\), \(0\le \beta <n\) and \(\tau >0\). Then there exists a constant \(C=C\left( n,\beta \right) >0\) such that for all \(0\le \alpha \le \left( 1-\frac{\beta }{n}\right) \alpha _{n}\) and \(u\in C_{0}^{\infty }\left( {\mathbb {R}}^{n}\right) \setminus \left\{ 0\right\} \) with the affine energy \(~{\mathcal {E}}_{n}\left( u\right) <1\), we have

$$\begin{aligned} {\displaystyle \int \nolimits _{{\mathbb {R}}^{n}}} \frac{\phi _{n,1}\left( \frac{2^{\frac{1}{n-1}}\alpha }{\left( 1+{\mathcal {E}}_{n}\left( u\right) ^{n}\right) ^{\frac{1}{n-1}}}\left| u\right| ^{\frac{n}{n-1}}\right) }{\left| x\right| ^{\beta }}dx\le C\left( n,\beta \right) \frac{\left\| u\right\| _{n}^{n-\beta }}{\left| 1-{\mathcal {E}}_{n}\left( u\right) ^{n}\right| ^{1-\frac{\beta }{n}}}. \end{aligned}$$

Moreover, the constant \(\left( 1-\frac{\beta }{n}\right) \alpha _{n}\) is the best possible in the sense that there is no uniform constant \(C(n, \beta )\) independent of u in the above inequality when \(\alpha >\left( 1-\frac{\beta }{n}\right) \alpha _{n}\). Second, we establish the following improved Adams type inequality in the spirit of Lions (Theorem 1.8): Let \(0\le \beta <2m\) and \(\tau >0\). Then there exists a constant \(C=C\left( m,\beta ,\tau \right) >0\) such that

$$\begin{aligned} \underset{u\in W^{2,m}\left( {\mathbb {R}}^{2m}\right) , \int _{ {\mathbb {R}}^{2m}}\left| \Delta u\right| ^{m}+\tau \left| u\right| ^{m} \le 1}{\sup } {\displaystyle \int \nolimits _{{\mathbb {R}}^{2m}}} \frac{\phi _{2m,2}\left( \frac{2^{\frac{1}{m-1}}\alpha }{\left( 1+\left\| \Delta u\right\| _{m}^{m}\right) ^{\frac{1}{m-1}}}\left| u\right| ^{\frac{m}{m-1}}\right) }{\left| x\right| ^{\beta }}dx\le C\left( m,\beta ,\tau \right) , \end{aligned}$$

for all \(0\le \alpha \le \left( 1-\frac{\beta }{2m}\right) \beta (2m,2)\). When \(\alpha >\left( 1-\frac{\beta }{2m}\right) \beta (2m,2)\), the supremum is infinite. In the above, we use

$$\begin{aligned} \phi _{p,q}(t)=e^{t}- {\displaystyle \sum \limits _{j=0}^{j_{\frac{p}{q}}-2}} \frac{t^{j}}{j!},\,\,\,j_{\frac{p}{q}}=\min \left\{ j\in {\mathbb {N}} :j\ge \frac{p}{q}\right\} \ge \frac{p}{q}. \end{aligned}$$

The main difficulties of proving the above results are that the symmetrization method does not work. Therefore, our main ideas are to develop a rearrangement-free argument in the spirit of Lam and Lu (J Differ Equ 255(3):298–325, 2013; Adv Math 231(6): 3259–3287, 2012), Lam et al. (Nonlinear Anal 95: 77–92, 2014) to establish such theorems. Third, as an application, we will study the existence of weak solutions to the biharmonic equation

$$\begin{aligned} \left\{ \begin{array}{l} \Delta ^{2}u+V(x)u=f(x,u)\text { in }{\mathbb {R}}^{4}\\ u\in H^{2}\left( {\mathbb {R}}^{4}\right) ,~u\ge 0 \end{array} \right. , \end{aligned}$$

where the nonlinearity f has the critical exponential growth.

     

Trudinger-Moser Inequalities with the Exact Growth Condition in ℝ N and Applications

In a recent paper [19 Ibrahim , S. , Masmoudi , N. , Nakanishi , K. ( 2015 ). Trudinger-Moser inequality on the whole plane with the exact growth condition . JEMS 17 : 819 – 835 .[Crossref] , [Google Scholar]], the authors obtained a sharp version of the Trudinger-Moser inequality in the whole space ?², giving necessary and sufficient conditions for the boundedness and the compactness of general nonlinear functionals in W ^{1, 2}(?²). We complete this study showing that an analogue of the result in [19 Ibrahim , S. , Masmoudi , N. , Nakanishi , K. ( 2015 ). Trudinger-Moser inequality on the whole plane with the exact growth condition . JEMS 17 : 819 – 835 .[Crossref] , [Google Scholar]] holds in arbitrary dimensions N ≥2. We also provide an application to the study of the existence of ground state solutions for quasilinear elliptic equations in ? ^N .     

Trudinger–Moser Type Inequalities with Vanishing Weights in the Unit Ball

We introduce local and global generalized Herz spaces. As one of the main results we show that Morrey type spaces and complementary Morrey type spaces are included into the scale of these Herz spaces. We also prove the boundedness of a class of sublinear operators in generalized Herz spaces with application to Morrey type spaces and their complementary spaces, based on the mentioned inclusion.

     

Improved Singular Moser–Trudinger Inequalities and Their Extremal Functions

Potential Analysis - In this paper, we prove several improvements for the sharp singular Moser–Trudinger inequality. We first establish an improved singular Moser–Trudinger inequality...     

Sharp Moser–Trudinger inequalities for the Laplacian without boundary conditions

We derive a sharp Moser–Trudinger inequality for the borderline Sobolev imbedding of $W^{2,n/2}(B_n)$ into the exponential class, where $B_n$ is the unit ball of ${\mathbb{R}}^n$. The corresponding sharp results for the spaces $W_0^{d,n/d}(\Omega )$ are well known, for general domains Ω, and are due to Moser and Adams. When the zero boundary condition is removed the only known results are for $d=1$ and are due to Chang–Yang, Cianchi and Leckband. The proof of our result is based on a new integral representation formula for the “canonical” solution of the Poisson equation on the ball, that is, the unique solution of the equation $\mathrm{\Delta }u=f$ which is orthogonal to the harmonic functions on the ball. The main technical difficulty of the paper is to establish an asymptotically sharp growth estimate for the kernel of such representation, expressed in terms of its distribution function.     

Singular Supercritical Trudinger–Moser Inequalities and the Existence of Extremals

In this paper, we present the singular supercritical Trudinger–Moser inequalities on the unit ball B in R~n, wher~e n ≥ 2. More precisely, we show that for any given α 0 and 0 t n, then the following two inequalities hold for ■,■.We also consider the problem of the sharpness of the constant α_(n,t). Furthermore, by employing the method of estimating the lower bound and using the concentration-compactness principle, we establish the existence of extremals. These results extend the known results when t = 0 to the singular version for 0 t n.     

A Hardy–Trudinger–Moser Inequality Involving LpNorm in the Hyperbolic Space

Let B be the unit disc in R~2, H be the completion of C_0∞(B) under the norm■ .By the method of blow-up analysis and an argument of rearrangement with respect to the standard hyperbolic metric ■, we prove that, for any fixed■ ,the supremum■ .This is an analog of early results of Lu–Yang(Discrete Contin. Dyn. Syst., 2009) and Yang(Trans.Amer. Math. Soc., 2007), and extends those of Wang–Ye(Adv. Math., 2012) and Yang–Zhu(Ann.Global Anal. Geom., 2016).     

Hardy–Sobolev Type Inequalities with Sharp Constants in Carnot–Carathéodory Spaces

We prove a generalization with sharp constants of a classical inequality due to Hardy to Carnot groups of arbitrary step, or more general Carnot–Carathéodory spaces associated with a system of vector fields of Hörmander type. Under a suitable additional assumption (see Eq. 1.6 below) we are able to extend such result to the nonlinear case \(p\not= 2\). We also obtain a sharp inequality of Hardy–Sobolev type.     

On Singular Trudinger–Moser Type Inequalities for Unbounded Domains and Their Best Exponents

Generalizations of the Trudinger–Moser inequality to Sobolev spaces with singular weights are considered for any smooth domain Ω???? ^N . Furthermore, we show that the resulting inequalities are sharp obtaining the best exponents.     

On the Relationship between Sharp Kolmogorov-Type Inequalities and Sharp Kolmogorov–Remez-Type Inequalities

Ukrainian Mathematical Journal - We establish a new theorem on the relationship between sharp constants in Kolmogorov-type inequalities and sharp constants in Kolmogorov–Remez-type...