Sharp constants for weighted Moser–Trudinger inequalities on groups of Heisenberg type

Sharp constants for weighted Moser–Trudinger inequalities on groups of Heisenberg type

Nonlinear Analysis 89 (2013) 95–109 Contents lists available at SciVerse ScienceDirect Nonlinear Analysis journal homepage: www.elsevier.com/locate/...

435KB Sizes 0 Downloads 30 Views

Nonlinear Analysis 89 (2013) 95–109

Contents lists available at SciVerse ScienceDirect

Nonlinear Analysis journal homepage: www.elsevier.com/locate/na

Sharp constants for weighted Moser–Trudinger inequalities on groups of Heisenberg type Nguyen Lam a , Hanli Tang b,∗ a

Department of Mathematics, Wayne State University, Detroit, MI 48202, USA

b

School of Mathematical Sciences, Beijing Normal University, Beijing, 100875, China

article

abstract

info

Article history: Received 19 March 2013 Accepted 29 April 2013 Communicated by Enzo Mitidieri

Let G be a group of Heisenberg type, Q = m + 2q be its homogeneous dimension, ′ a Qa = Q − a, Qa = Q Q−− . For u ∈ G, we write u = (z (u), t (u)) ∈ G, where t (u) a−1 is the coordinate of u corresponding to the center T of the Lie algebra G of G, z (u) is 1

corresponding to the orthogonal complement of T . Let N (u) = (|z (u)|4 + t (u)2 ) 4 be the homogeneous norm of u ∈ G, W (u) = |z (u)|−a be a weight. The main purpose of this paper is to establish sharp constants for weighted Moser–Trudinger inequalities on domains of finite measure in G (Theorem 2.1) and on unbounded domains (Theorem 2.2). We also establish the weighted inequalities of Adachi–Tanaka type on the entire G (Theorem 2.3). Our results extend the sharp Moser–Trudinger inequalities on domains of finite measure in Cohn and Lu (2001, 2002) [13,14] and on unbounded domains in Lam et al. (2012) [19] to the weighted case and improve the sharp weighted Moser–Trudinger inequality proved in Tyson (2006) [16] on domains of finite measure on G. The usual symmetrization method (i.e., rearrangement argument) is not available on such groups and therefore our argument is a rearrangement-free argument recently developed in Lam and Lu (2012) [17,18]. Our weighted Adachi–Tanaka type inequalities extend the nonweighted results in Lam et al. (2012) [20]. © 2013 Elsevier Ltd. All rights reserved.

Keywords: Moser–Trudinger inequalities Weights Sharp constants Groups of Heisenberg type

1. Introduction of groups of Heisenberg type Let Hn = R2n × R be the n-dimensional Heisenberg group with the noncommutative product law

       (x, y, t ) · x′ , y′ , t ′ = x + x′ , y + y′ , t + t ′ + 2 y, x′ − x, y′ , where x, y, x′ , y′ ∈ Rn , t , t ′ ∈ R, and ⟨·, ·⟩ denotes the standard inner product in Rn . The Lie algebra of Hn is generated by the left-invariant vector fields T =

∂ , ∂t

Xi =

∂ ∂ + 2yi , ∂ xi ∂t

Yi =

∂ ∂ − 2xi , ∂ yi ∂t

i = 1 , . . . , n.

Denote z = (x, y) ∈ R2n ,



ξ = (z , t ) ∈ Hn ,

 1/4 ρ (ξ ) = |z |4 + t 2 ,

Corresponding author. Tel.: +86 13426196736. E-mail addresses: [email protected] (N. Lam), [email protected] (H. Tang).

0362-546X/$ – see front matter © 2013 Elsevier Ltd. All rights reserved. http://dx.doi.org/10.1016/j.na.2013.04.017

96

N. Lam, H. Tang / Nonlinear Analysis 89 (2013) 95–109

where ρ (ξ ) denotes the Heisenberg distance between ξ and the origin. We use |∇Hn f | to express the norm of the subelliptic gradient of the function f : Hn → R:

1/2 n    2 2 |∇Hn f | = . (Xi f ) + (Yi f ) 

i=1 1 ,Q

(Ω ) to denote the completion of C0∞ (Ω ) under the norm  1/Q = (|∇Hn f |Q + |f |Q )dξ .

Let Ω be an open set in Hn . We use W0

∥f ∥W 1,Q (Ω ) 0



It is known that the Heisenberg group is a special case of groups of Heisenberg type. Let us recall some basic properties of the Heisenberg type (H-type) groups. Let G be a finite-dimensional Lie algebra of step two, that is, [G, [G, G]] = 0. Let ⟨·, ·⟩ be a given inner product on G × G and suppose T is the center of G, i.e. the set of all elements T in G for which [T , V ] = 0 for all V ∈ G. Let Z be the orthogonal complement to the center T under the given inner product. Following Kaplan [1], we can define the nilpotent Lie algebras of Heisenberg type as follows. For each v ∈ Z, let adv : Z → T be the map given by adv (v ′ ) = [v, v ′ ]. If Kv is the kernel of adv , we have the orthogonal decomposition Z = Kv + Zv . G is said to be a Lie algebra of Heisenberg type (or H-type) if adv : Zv → T is a surjective isometry for every unit vector v ∈ Z. Suppose now that G is a Lie algebra of H-type, with the decomposition G = Z + T . Then for each T ∈ T the bilinear form taking Z × Z → R, defined by v, v ′ → ⟨T , [v, v ′ ]⟩ is skew-symmetric and nondegenerate for T ̸= 0. Furthermore, there exists a linear isomorphism JT : Z → Z such that for v, v ′ ∈ Z and T ∈ T : (i) ⟨JT (v), v ′ ⟩ = ⟨T , [v, v ′ ]⟩, (ii) ⟨JT (v), v ′ ⟩ + ⟨v, JT (v ′ )⟩ = 0. It also satisfies JT2 = −|T |2 I and ⟨JT (v), JT ′ (v)⟩ = ⟨T , T ′ ⟩|v|2 and thus |JT (v)| = |T ||v|. Let G be the simply connected Lie group corresponding to G. The exponential mapping from G to G is an analytic diffeomorphism. We can define analytic mappings Z : G → Z, T : G → T by the condition that for all u ∈ G, u = exp(Z (u) + T (u)). Let {Xi }1≤i≤m be an orthonormal basis of Z and {Tk }1≤k≤q an orthonormal basis of the center T . Let ∇G f (u) = (X1 f (u), . . . , Xm f (u)) be the subelliptic gradient on G. We also express Z (u) = z1 X1 + · · · + zm Xm ,

T (u) = t1 T1 + · · · + tq Tq ,

and z (u) = (z1 (u), . . . , zm (u)), t (u) = (t1 (u), . . . , tq (u)). Clearly, |Z (u)| = |z (u)| and |T (u)| = |t (u)|. Given u = exp(Z (u) + T (u)), let N (u) = (|z (u)|4 + 16|t (u)|2 )1/4 be the homogeneous norm on G and ru = t (u) z (u) exp(rZ (u) + r 2 T (u)) denote the dilation on G. Set z ∗ (u) = N (u) , t ∗ (u) = N (u)2 and u∗ = (z ∗ (u), t ∗ (u)). Let us denote

S (N ) = {u : N (u) = 1} the unit sphere with respect to the homogeneous norm N. Then u∗ ∈ S (N ), when u ̸= 0. Let Ω ⊂ G be an open set. For p ≥ 1 and a weight W on G, we say that f : Ω → R is in the weighted horizontal Sobolev space HW 1,p (Ω , W ) if f ∈ Lp (Ω , W ), ∇G f exists in the sense of distributions and |∇G f | ∈ Lp (Ω , W ). Denote ∥f ∥p,W ,Ω =

1/p

 G

|∇G f |p Wdu





1/p  1/p  1/p |f |p Wdu , ∥∇G f ∥p,W ,Ω = U |∇G f |p Wdu , ∥f ∥p,W = G |f |p Wdu and ∥∇G f ∥p,W =

.

1,p HW0

(Ω , W ) to denote the completion of C0∞ (Ω ) under the norm  1/p  ∥f ∥HW 1,p (Ω ,W ) = |f |p Wdu + |∇G f |p Wdu .

We use





We also use HW 1,p (G, W ) to denote the completion of C0∞ (G) under the norm



p

∥f ∥HW 1,p (G,W ) =



p

|f | Wdu + G

1/p

|∇G f | Wdu

.

G

A function Y : G → R is called first-layer symmetric if Y (u) depends on |z (u)| and t (u). A domain Ω is called first-layer symmetric if its characteristic function is first-layer symmetric.

N. Lam, H. Tang / Nonlinear Analysis 89 (2013) 95–109

97

2. Moser–Trudinger inequalities and statement of the main theorems The Moser–Trudinger inequalities can be considered as the limiting case of Sobolev inequalities. They were proposed independently by Yudovič [2], Pohožaev [3] and Trudinger [4] on Euclidean spaces. Basically, the Sobolev inequalities claim 1 ,p np that W0 (Ω ) ⊂ Lq (Ω ) for 1 ≤ q ≤ p∗ = n−p where 1 ≤ p < n and Ω ⊂ Rn , n ≥ 2 is a bounded domain, while the 1 ,n

Moser–Trudinger inequalities deal with the borderline case p = n : W0 (Ω ) ⊂ Lϕn (Ω ) where Lϕn (Ω ) is the Orlicz space   associated with the Young function ϕn (t ) = exp β |t |n/(n−1) − 1 for some β > 0. It means that in this limiting case, the exponential integrability can be admitted: there exist constants αn > 0 and Cn > 0 depending only on n such that





sup 1,n

f ∈W0

 (Ω ), Ω |∇ f |n dx≤1 Ω

n

exp αn |f | n−1



dx ≤ Cn |Ω | .

However, the best possible value of αn was not discovered until the 1971 paper of J. Moser [5]. Indeed, using a different approach, namely, the symmetrization, J. Moser can set up the following result. Theorem A (Moser–Trudinger Inequality). Let Ω be a domain with finite measure in Euclidean n-space Rn , n ≥ 2. Then there 1

−1 exists a sharp constant αn = nωnn− 1 (where ωn−1 is the area of the surface of the unit n-ball) such that



1

|Ω |





n

exp α |f | n−1



dx ≤ c0 < ∞

1 ,n

for any α ≤ αn , any f ∈ W0 (Ω ) with Ω |∇ f |n dx ≤ 1. This constant αn is sharp in the sense that if α > αn , then the above inequality can no longer hold with some c0 independent of f .



This result has been extended and complemented in many directions. For instance, the singular Moser–Trudinger inequality which is an interpolation of the Hardy inequality and the Moser–Trudinger inequality was studied by Adimurthi and Sandeep in [6]. When Ω has infinite volume, the subcritical Moser–Trudinger type inequalities for unbounded domains were first proposed by D.M. Cao [7] when n = 2 and J.M. do Ó [8] for the general case n ≥ 2. These results were sharpened later by Adachi and Tanaka [9] in order to determine the best constant. B. Ruf [10] for the case n = 2, Y. Li and B. Ruf [11] for the general case n ≥ 2 established a critical Moser–Trudinger type inequality for unbounded domains. And more recently, it was extended in [12] to the singular Moser–Trudinger type inequality on the whole Euclidean space. The sharp Moser–Trudinger inequality on the Heisenberg group was first established by Cohn and Lu [13]. Indeed, the following was shown. Theorem B. Let Hn be an n-dimensional Heisenberg group, Q = 2n + 2, Q ′ = Q /(Q − 1), and αQ = Q 2π n Γ



Γ

 Q −1  2

Γ

 Q −1

Γ (n)−1

2

Q ′ −1

sup 1,Q

f ∈W0

(Ω ), ∥∇H f ∥LQ ≤1

|Ω |

2

. Then there exists a constant C0 depending only on Q such that for all Ω ⊂ Hn , |Ω | < ∞,



1

1





exp αQ |f (ξ )|Q





dξ ≤ C0 < ∞.

(2.1) 1,Q

If αQ is replaced by any larger number, the integral in (2.1) is still finite for any f ∈ W0

(Ω ), but the supremum is infinite.

This result was extended to the H-type groups by Cohn and Lu. They proved in [14] the following. Theorem C. Let G be an H-type group with Z ⊂ G of dimension m ≥ 2 and T ⊂ G of dimension q. Set A(G) := Q

  2q−1 1

2

   Q −1 1 q+m π 2 Γ Q +4 m , Q Γ (m/2)Γ (Q /2)

where m + q is the topological dimension of G, Q = m + 2q is the homogeneous dimension of G. Then there exist C0 < ∞ so that for all Ω ⊂ G, |Ω | < ∞,

 sup

1

|Ω |







exp AQ |f (u)|

Q Q −1



du : f ∈

1 ,Q W0



(Ω ), ∥∇G f ∥LQ ≤ 1 ≤ C0 .

Furthermore, if AQ is replaced by any number greater than AQ , then the statement is false. Balogh, Manfredi and Tyson [15] further extended the Moser–Trudinger inequalities to Carnot groups. Moreover, the following weighted Moser–Trudinger inequality on a bounded domain on the H-type group was proved by J. Tyson [16].

98

N. Lam, H. Tang / Nonlinear Analysis 89 (2013) 95–109

Theorem D. Let G be an H-type group with Z ⊂ G of dimension m ≥ 2 and T ⊂ G of dimension q. Let W (u) = |z (u)|−a , 0 ≤ a ≤ m − 2. Set 1/(Q −a−1)

A(G, W ) := (Q − a)cQ −2a

,

where m + q is the topological dimension of G, Q = m + 2q is the homogeneous dimension of G, and

 cp =

S (N )

2π m/2 Γ ((m + p)/4)

|∇G N |p dσ =

4q Γ (m/2)Γ ((Q + p)/4)

.

Then there exist C0 < ∞ so that







|F | sup  exp A(G, W ) ∥∇G F ∥Q −a,W ,Ω Ω ,F Ω W Ω 1

Qa′ 

W ≤ C0 ,

where the supremum is taken over all nonconstant first-layer symmetric functions F in the weighted Sobolev space 1 ,Q − a HW0 (Ω , W ) on a first-layer symmetric domain Ω ⊂ G with finite Haar measure. The supremum becomes infinite if A(G, W ) is replaced by any strictly large value. Very recently, Lam and Lu [17,18] introduced a new idea, namely, a rearrangement-free argument, to study the Moser–Trudinger inequalities on Heisenberg groups and the Adams type inequalities for fractional derivatives. This new method is also used to prove the subcritical Moser–Trudinger type and Adams type inequalities [19,20]. In this paper, first we will set up the following sharp singular Moser–Trudinger inequality for the first-layer symmetric domains with finite Haar measure on G. Theorem 2.1. Let G be an H-type group with Z ⊂ G of dimension m ≥ 2 and T ⊂ G of dimension q. Let W (u) = |z (u)|−a , 0 ≤ a ≤ m − 2. Where m + q is the topological dimension of G, Q = m + 2q is the homogeneous dimension of G. Let Ω be a first-layer symmetric domain with finite measure, then we have sup F

W (Ω )

if and only if



exp(β|F |Qa )



1 1− Q α −a

β

Q ′ −1 (Q −a)(cQ a−2a )

|N (u)|α



+

α

W < ∞,

≤ 1. Here, cp =

Q −a

2π m/2 Γ ((m+p)/4) 4q Γ (m/2)Γ ((Q +p)/4)

, W (Ω ) =

1,Q −a

first-layer symmetric functions F in the weighted Sobolev space HW0



W and the supremum is taken over all



(Ω , W ) with ∥∇G F ∥Q −a,W ,Ω ≤ 1.

Next, we will study the Moser–Trudinger type inequality for unbounded domains on H-type groups for the first-layer symmetric functions in the weighted Sobolev space HW 1,Q −a (G, W ) on the entire Heisenberg type group G: Theorem  any positive real number and [·] denote the integer part of a real number. Then for any pair α ≥  2.2. Let τ be β [Q −a−1] + Q α−a ≤ 1, there holds (Q − a) 1 − Q −a−1 , β > 0 satisfying Q ′ −1 (Q −a)(cQ a−2a )

 sup F



1 G

N (u)α

Qa′

exp(β|F | ) −

[Q −a−2] k=0

 β k kQa′ |F | W ≤ ∞, k!

where the supremum is taken over all first-layer symmetric functions F in the weighted Sobolev space HW 1,Q −a (G, W ) with

∥F ∥1,τ ,W ≤ 1. If

β

Q ′ −1 (Q −a)(cQ a−2a )

+

α Q −a

> 1, the supremum is infinite. Here ∥F ∥1,τ ,W =

 G

|∇G F |Q −a W + τ

 G

| F | Q −a W

 Q −1 a

.

Finally, we will establish the following inequalities of Adachi–Tanaka type on G under a much less restrictive assumption on the norm. Namely, instead of restricting the norm by assuming ∥F ∥1,τ ,W = we only assume that ∥∇G F ∥Q −a,W ≤ 1.



−a−1] Theorem 2.3. For any given (Q − a) 1 − [QQ − a −1 constant Cα,β such that



1 G

N (u)α

 Qa′

exp(β|F | ) −

[Q −a−2] k=0



 G

|∇G F |Q −a W + τ

 G

|F |Q −a W Q ′ −1

 Q −1 a

≤ 1,

≤ α < Q − a, then for any 0 < β < (Q − a − α)(cQ a−2a ), there exists a

 β k kQa′ Q −a−α W ≤ Cα,β ∥F ∥Q −a,W , |F | k!

N. Lam, H. Tang / Nonlinear Analysis 89 (2013) 95–109

99

for all first-layer symmetric functions F ∈ HW 1,Q −a (G, W ) with ∥∇G F ∥Q −a,W = 1. And the restriction 0 < β < (Q − a − Q ′ −1

Q ′ −1

1,Q −a α)(cQ a−2a ) is optimal. That is: if β ≥ (Q − a − α)(cQ a−2a ), there exists a sequence {Fk (u)}∞ (G, W ) such that k=1 ⊂ HW ∥∇G Fk ∥Q −a,W = 1 and    [Q  −a−2] k 1 1 α kQa′ Qa′ |F | W → ∞, exp(β|F | ) − −a−α α k! ∥F ∥QQ − G N (u) k=0 a,W

as k → ∞. The paper is organized as follows. We will provide some useful preliminaries in Section 3. In Section 4, we will prove Theorem 2.1. Theorems 2.2 and 2.3 will be proved in Sections 5 and 6 respectively. 3. Preliminaries To prove these theorems, we first give some useful results. The following version of the integration in polar coordinates can be found in the book of Folland and Stein [21]. Proposition 3.1. There exists a Radon measure dσ on S (N ) such that for any f ∈ L1 (G) we have







f (u)du =

 S (N )

0

G

f (ru∗ )r Q −1 dσ (u∗ )dr .

Let us recall the weighted convolution on an H-type group G. Definition 3.1. Let W ∈ L1loc (G) be a weight. The weighted convolution of two functions K , L : G → R with respect to W is defined to be K∗W L(u) :=



K (h)L(uh−1 )W (h)dh G

at those u ∈ G when the integral is defined, where h−1 is the inverse of h and uh−1 denote group multiplication of u by h−1 . Suppose F is a non-negative function defined on an H-type group G. Define the non-increasing weighted rearrangement ∗ of F by FW (t ) = inf{s > 0 : λF ,W (s) ≤ t }, where λF ,W (s) = W ({u ∈ G : F (u) > s}). In addition, define FW (t ) = t ∗∗

t



−1

∗ FW (s)ds. 0

Using the generalized result of O’Neil [22] to measure spaces by Blozinski [23], we have the weighted O’Neil’s Lemma. Lemma 3.1. Let W be a weight on an H-type group G. For each pair of functions K , L : G → R with L first-layer symmetric, ∗∗ ∗∗ (K∗W L)∗W (t ) ≤ (K∗W L)∗∗ W (t ) ≤ tKW (t )LW (t ) +





∗ KW (s)L∗W (s)ds. t

In Cohn and Lu’s paper [14], they get the one-parameter representation formulas on H-type groups, which will play an important role in our proofs. Lemma 3.2. Suppose that β > −m + 1 and f ∈ C0∞ (G). Then f (v) =

−(cβ )−1



4

G

|z (u)|β−2 ⟨∇G f (v u−1 ), ∇G (N (u)4 )⟩du |N (u)|Q +β

and

|f (v)| ≤ (cβ )

−1

 G

|z (u)|β−2 |∇G f (v u−1 )|du. |N (u)|Q +β

We notice that the weight takes the form W = |∇G N |−a N −a and |∇G N | = and K =

|∇G

N |Q −a−1

N Q −a−1

, we have

|f (v)| ≤ (cQ −2a )−1 K∗W |∇G (f )|. Finally, we state an important lemma, which can be found in [17].

|z (u)| N

on an H-type group. Setting β = Q − 2a

100

N. Lam, H. Tang / Nonlinear Analysis 89 (2013) 95–109

Lemma 3.3. Let 0 < α ≤ 1, 1 < p < ∞ and a(s, t ) be a non-negative measurable function on (−∞, ∞) × [0, ∞] such that (a.e) a(s, t ) ≤ 1,





−∞

1/p′

p′

= b < ∞.

a(s, t ) ds

+

sup t >0

when 0 < s < t ,

0



t

Then there is a constant c0 = c0 (p, b) such that if for φ ≥ 0, ∞



φ(s)p ds ≤ 1, −∞

then

∞ 0

e−Fα (t ) dt ≤ c0 , where

Fα (t ) = α t − α

p′





a(s, t )φ(s)ds

.

−∞

4. Proof of Theorem 2.1 Q −a

Let F ∈ HW0

 Ω

(Ω , W ) be first-layer symmetric on a first-layer symmetric domain Ω ⊂ G, |Ω | < ∞, such that

|∇G F |Q −a W ≤ 1.

By an easy verification, L := |∇G F | is first layer symmetric. By a direct calculation using the polar coordinate integration formula in Proposition 3.1, we compute the weighted distribution for K =

λK ,W (s) =

 {|∇G N |Q −a−1 >sN Q −a−1 }

 = S (N )

=

N Q −a−1

:

|∇G N |−a N −a

s−1/(Q −a−1) |∇G N |



|∇G N |Q −a−1

|∇G N |−a dσ r Q −a−1 dr

0



1 Q −a



S (N )

s−Qa |∇G N |Q −2a dσ =

cQ −2a −Q ′ s a. Q −a

Here we have used the order zero homogeneity of |∇G N |, which follows from the order one homogeneity of N. Then the ∗ weighted rearrangement and its average are given by KW (t ) =



Q −a t cQ −2a

−1/Qa′

∗∗ and KW (t ) = (Q − a)KW∗ (t ). By Lemma 3.1,

we have

(K∗W L)W (t ) ≤ tKW (t )LW (t ) + ∗

∗∗

∗∗





∗ KW (s)L∗W (s)ds t



Q −a

= Now assume that

−1/Qa′ 

cQ −2a

(Q − a)t −1/Qa ′

t



L∗W (s)ds + 0

β

Q ′ −1 (Q −a)(cQ a−2a )

+

α Q −a







s−1/Qa L∗W (s)ds . ′

t ′

Since

λN −α (u),W (s) =

 N (u)−α >s

|∇G N |−a N −a du

 1



1 s



α

|∇G N |−a r Q −a−1 drdσ

= S (N )

= then (N (u)−α )∗W (t ) =

c−a Q −a



Q −a t c−a

0

(s)−

Q −a

α

− Q α−a

,

. 1

Now we change variables by setting φ(s) = W (Ω ) Q −a L∗W (W (Ω )e−s )e



LQ −a Wdu = Ω

 0

W (Ω )



∗ (t ))Qa }. ≤ 1. Set U (u) = (K∗W L)(u), then (exp |U |Qa )∗W (t ) = exp{(UW

L∗W (t )Q −a dt =





φ(s)Q −a ds. 0

s − Q− a

, then

N. Lam, H. Tang / Nonlinear Analysis 89 (2013) 95–109



101



1 α Setting A = (Q − a)(cQ−− 2a ) 1 − Q −a , by the Hardy–Littlewood inequality, we have that

1− Q α −a

W (Ω )





exp(A|U |Qa )



1

N (u)α



1− Q α −a

W (Ω )

W (Ω )



1

Wdu ′

∗ exp(A(UW (t ))Qa )



c−a

0

− Q α−a 

Q −a

− Q α−a t

dt

  α exp A(UW (W (Ω )e )) − 1 − s ds = c−a Q −a 0    − Q α−a  ∞    W (Ω )e−s − 1′ s′ Q −a α ≤ exp 1− (Q − a)(W (Ω )) Qa e Qa L∗W (τ )dτ c−a Q − a 0 0 Qa′     W (Ω ) − 1′ α − 1− sds + τ Qa L∗W (τ )dτ − s Q −a W (Ω )e   − Q α−a  ∞   ∞   s 1 Q −a α −z 1− Q − ′ a = 1− (Q − a)e Qa φ(z )e exp dz c−a Q −a s 0 Qa′     s α sds − 1− + φ(z )dz Q −a 0  − Q α−a  ∞   Q −a = exp −F1− α (s) ds, Q −a 

Q −a

c−a









Qa′

−s

0

(s) is the same as that in Lemma 3.3 with p = Q − a, and  if 0 < s < t , 1, ′ a(s, t ) = (Q − a)e(t −s)/Qa , if t < s < ∞,  0, if − ∞ < s ≤ 0.  ∞ ∞ Q −a ds ≤ 1, then by Lemma 3.3, it is clear that 0 exp −F Since 0 φ(s) 1− where F1−

α Q −a

1− Q α −a

W (Ω )

N (u)α



1,Q −a



exp(β|F |Qa )



1− Q α −a

W (Ω )



N (u)α

Wdu ≤

=

1

β

Q ′ −1

(Q −a)(cQ a−2a )

+

α Q −a

(Ω , W ), with ∥∇G F ∥Q −a,W ,Ω ≤ 1 and all first-layer symmetric

1− Q α −a

1 1− Q α −a

−Q ′



exp(β cQ −a2a |U |Qa )



W (Ω )

W (Ω ) ≤ C0 < ∞,

since

ds ≤ c0 . Therefore,

Wdu ≤ C0 .

Now, for all first-layer symmetric functions F ∈ HW0 domains Ω , using |F | ≤ (cQ −2a )−1 K∗W L, we have 1

α

Q −a



exp(A|U |Qa )



1



 (s)

N (u)α



Wdu



exp(A|U |Qa )

 Ω

 ≤ 1 and A = (Q − a)(cQ−−1 2a ) 1 −

α Q −a

N (u)α

Wdu



. So the desired inequality is obtained.

Next we will show that the inequality in Theorem 2.1 does not hold if

Ω = {u ∈ G : N (u) < 2R}. For 0 < l < R, let fl be the Moser function  1 R Qa′    , if 0 ≤ N (u) ≤ l, log   l   1 log N (Ru) fl (u) = (cQ −2a )1/(Q −a)  , if l ≤ N (u) ≤ R,    R 1/(Q −a)  log   l  0, if R < N (u).

β

Q ′ −1

(Q −a)(cQ a−2a )

+

α Q −a

> 1. Choose an R > 0 and

102

N. Lam, H. Tang / Nonlinear Analysis 89 (2013) 95–109

It is easy to verify that

|∇G fl | = 

|∇G N |

1 log

R l



N

χB(R)\B(l) .

Then

 Ω

|∇fl |Q −a W = 1,

and W (Ω )



exp(β(|fl |)Qa )



1 1− Q α −a

|N (u)|α



W ≥

= Hence when

sup fl

β

Q ′ −1

α

+

Q −a

(Q −a)(cQ a−2a )

W (Ω )

1− Q α −a

log

Qa′ Q −α−a− − Q− a

Q −a c−a (2R)

Q′

− Q −a a

exp β(cQ −2a ) c−a (2R)Q −a Rβ(cQ −2a ) Q −a

l

R l



W B(l)

|N (u)|α

β ′ (cQ −2a )Qa −1

.

> 1, ′

exp β(|fl |)Qa



1

Q −a

|N (u)|α



W = +∞.

That completes the proof of Theorem 2.1. 5. Proof of Theorem 2.2 In order to establish the sharp weighted Moser–Trudinger inequality on the whole H-type group, we use the method as −a−1] Lam and Lu did in [18]. It suffices to prove that for any α, τ satisfying (Q − a)(1 − [QQ − ) ≤ α < Q − a and τ > 0, a−1 there exists a constant C = C (α, τ , Q , a ) such that for all first-layer symmetric functions F ∈ C0∞ (G) \ {0}, F ≥ 0, and   Q −a Q −a |∇G F | W + τ G |F | W ≤ 1, there holds G





1 G

N (u)α



exp(βQ |F |Qa ) −

[Q  −a−2]

βQk k!

k=0

 kQ ′

|F |

W ≤ C (α, τ , Q , a),

a

Q ′ −1

where βQ = (Q − a − α)(cQ a−2a ). Set − (Q −a)(Q1 −a−1)

1

A(F ) = 2

τ Q −a ∥F ∥Q −a,W Ω (F ) = {u ∈ G : F (u) > A(F )}. Then, it is clear that A(F ) < 1, and Ω (F ) is a first-layer symmetric domain. Moreover,



| F | Q −a W ≥



|F |Q −a W ≥



Ω (F )

G

1

Ω (F )

a |A(F )|Q −a W = 2− Q −a−1 τ ∥F ∥QQ − −a,W |W (Ω )|.

We have 1

1

|W (Ω )| ≤ 2 Q −a−1 . τ −a Since W (u) = |z (u)| , and Ω (F ) is first-layer symmetric, we know that Ω (u) is bounded and first layer symmetric. Now we write



1 G

N (u)α



′ Qa

exp(βQ |F | ) −

[Q  −a−2] k=0

βQk k!

 kQa′

W = I1 + I2 ,

|F |

where

 I1 =



1 Ω (F )

N (u)α

Qa′

exp(βQ |F | ) −

[Q −a−2] k=0

βQk k!

 kQa′

|F |

W

and

 I2 =

1 G\Ω (F )

N (u)α

 Qa′

exp(βQ |F | ) −

[Q  −a−2] k=0

βQk k!

 |F |

kQa′

W.

N. Lam, H. Tang / Nonlinear Analysis 89 (2013) 95–109

103

First, we estimate I2 . Since G \ Ω (F ) ⊂ {F (u) < 1}, we see that

 I2 ≤

N (u)α k=[Q −a−1] k!

F (u)<1



∞  βQk

1



N (u)α

F (u)<1

k=[Q −a]

β

k Q

∞ 

 ≤

k!

N (u)>1 k=[Q −a−1]





If Q − a is an integer,

W



βQ[Q −a−1]

1



N (u)α

[Q − a − 1]!

N (u)α k=[Q −a−1] k!

F (u)<1

N (u)α

[Q − a − 1]!

1

βQ[Q −a−1]

N (u)α

[Q − a − 1]!



1

≤C F (u)<1,N (u)<1

N (u)

βQ[Q −a−1]

1

α F (u)<1 N (u) [Q − a − 1]!

N

βQ[Q −a−1]

βQ

1

W

Q −a

1

−a−1] then [QQ − a −1 [Q −a−1]

Q −a

|F |[Q −a−1] Q −a−1 W

|F |[Q −a−1] Q −a−1 W

N (u)α



βQk

∞ 

1 N (u)<1

α F (u)<1 N (u) [Q − a − 1]! If Q − a is not an integer,

F (u)<1



F (u)<1

N (u)<1

< Cα,τ ,Q ,a +



|F |Q −a W +

|F |Q −a W +

G



|F |

Q −a k Q −a−1

[Q − a − 1]!   |∇G N |−a |F |Q −a W + eβQ + a+α

F (u)<1

< eβQ

k!



βQ[Q −a−1]

1

+

βQk

∞ 

1

Q −a

|F |[Q −a−1] Q −a−1 W

Q −a

|F |[Q −a−1] Q −a−1 W .

= 1, using the method above, we have Q −a

|F |[Q −a−1] Q −a−1 W < Cα,τ ,Q ,a .

Q −a

|F |[Q −a−1] Q −a−1 W Q −a

|F |[Q −a−1] Q −a−1 W + C α



1 F (u)<1,N (u)≥1

N (u)α

Q −a

|F |[Q −a−1] Q −a−1 W .

The first term is easy to estimate,



1 F (u)<1,N (u)<1

Q −a

N (u)

|F |[Q −a−1] Q −a−1 W ≤ α



1

F (u)<1,N (u)>1

N (u)α

W

≤ Cα,τ ,Q ,a .   a−1] Using the Hölder inequality and α ≥ (Q − a) 1 − [QQ − we can estimate the second term −a −1   Q −a Q −a 1 1 1 |F |[Q −a−1] Q −a−1 W ≤ |F | 2 [Q −a−1] Q −a−1 W α α N ( u ) N ( u ) F (u)<1,N (u)≥1 F (u)<1,N (u)≥1 1− [Q −a−1]   [Q −a−1]  α −

2(Q −a−1)

|F |Q −a W

≤ F (u)<1,N (u)≥1

F (u)<1,N (u)≥1

WN (u)

1−

[Q −a−1] 2(Q −a−1)

2(Q −a−1)

≤ Cα,τ ,Q ,a . Therefor, we have I2 ≤ Cα,τ ,Q ,a . 1 ,Q − a Next, to estimate I1 , we set v(u) = F (u) − A(F ) in Ω (F ), then v ∈ HW0 (Ω (F ), W ). In Ω (F ), ′



|F |Qa = (|v| + A(F ))Qa ′











≤ |v|Qa + Qa′ 2Qa −1 (|v|Qa −1 A(F ) + |A(F )|Qa ) ′

|v|Qa |A(F )|Q −a ′ + Qa′ 2Qa −1 Q −a  1

≤ |v|Qa + Qa′ 2Qa −1  ′

≤ |v|Qa 1 +

2 Q −a−1

Q −a



1 Qa′



+ |A(F )|Qa



|A(F )|Q −a + C (Q − a),

where we use Young’s inequality and the following inequality: for all q ≥ 1, and a, b ≥ 0

(a + b)q ≤ aq + q2q−1 (aq−1 b + bq ). 1

Let w(u) = (1 +

2 Q −a−1 Q −a−1

|A(F )|Q −a )

Q −a−1 Q −a

v(u) in Ω (F ), then w ∈ HW01,Q −a (Ω (F ), W ) and |F |Qa ≤ |w|Qa + C (Q − a). ′



104

N. Lam, H. Tang / Nonlinear Analysis 89 (2013) 95–109

Moreover, we have

 QQ−−a−a 1

1



2 Q −a−1

∇G w = 1 +

∇G v.

|A(F )|

Q −a

Q −a−1

Then 1





|∇G w|

Q −a

Ω (F )

W =

2 Q −a−1

1+

Q −a−1 2 Q −a−1

1+

Q −a−1



|A(F )|Q −a

1



2 Q −a−1

1+

|A(F )|

Q −a

Q −a−1

Q −a−1  Ω (F )

1

 =

|A(F )|

Q −a

Q −a−1  Ω (F )

Q −a−1 

|∇G v|Q −a W |∇G F |Q −a W

1−τ

 | F | Q −a W .

 G

Thus



|∇G w|

Q −a

Ω (F )

 Q −1a−1

1

 =

W

1+

 ≤

1+

Q −a−1 2

1 Q −a−1

Q −a−1

1+

2 Q −a−1 Q −a−1

τ

 ≤

|A(F )|

Q −a



1−τ

1+

Q −a−1

≤ 1,



| F | Q −a W

 Q −1a−1

G

|A(F )|

Q −a

 1−

τ

− Q −1a−1

2

 |F |

τ ∥F ∥

Q −a

Q −a Q − a ,W

Q −a

1−

G

1−



|F |

W

τ



G



 W



Q −a−1

1

 =

2 Q −a−1

Q −a−1

τ



Q −a−1

|F |Q −a W

G

Q −a

|F |



 W

G

here we use the inequality (1 − x)q ≤ 1 − qx for all 0 ≤ x ≤ 1, 0 < q ≤ 1. So we can use Theorem 2.1 to estimate I1 :

 I1 ≤

1

Ω (u)



N (u)α

≤ eβQ C (Q −a)

exp(βQ |F |Qa )



1 α Ω (u) N (u)



exp(βQ |w|Qa ) α

≤ eβQ C (Q −a) C0 W (Ω )1− Q −a ≤ C (α, τ , Q , a). By the estimates of I1 and I2 , we obtain the desired inequality. Next, we will show that the inequality in Theorem 2.2 does not hold if 0 < l < R, and let fl be the Moser function

f l ( u) =

1

 1 R Qa′    log ,   l   log



|∇ fl |Q −a W = 1, G

and

   R |fl |Q −a W = O 1 log ,

 G

R

N (u)  (cQ −2a )1/(Q −a)  ,   R 1/(Q −a)  log l    0,

Then

l

if 0 ≤ N (u) ≤ l, if l ≤ N (u) ≤ R, if R < N (u).

β

Q ′ −1

(Q −a)(cQ a−2a )

+

α Q −a

> 1. Choose an R > 0, for

N. Lam, H. Tang / Nonlinear Analysis 89 (2013) 95–109

so ∥fl ∥1,τ ,W = 1 + τ O 1/ log





≥ {N (u)≤l}

c−a Q −a β

f

[Q −a−2]

Q ′ −1 (Q −a)(cQ a−2a )

 β k  kQa′ |fl | W k!



1

′ exp(β| fl |Qa ) −

N (u)α

 β k  kQa′ |fl | W k! k=0  k  [Q  −a−2] k β log Rl . − kQ ′ k!∥fl ∥1,τa,W k=0

[Q −a−2]

 β   Q ′ −1 ∥fl ∥1,τ ,W cQ a−2a Q −a−α  R l l

+

105

, then ∥ fl ∥1,τ ,W = 1. It follows that . Set  fl = ∥f ∥ l l 1,τ ,W

k=0



Since

 Q −a

′ exp(β| fl |Qa ) −

N (u)α

=

R l



1 G



1

1

α

> 1 and ∥fl ∥1,τ ,W = [1 + τ O(1/ log Rl )] Q −a , the last term in the above inequality tends to infinity

Q −a

as l → 0. Therefore the proof of Theorem 2.2 is completely finished. 6. Proof of Theorem 2.3 Q ′ −1

−a−1] ) ≤ α < Q − a, β ∈ (0, (Q − a − α)(cQ a−2a )), there exists a It suffices to prove that for any given (Q − a)(1 − [QQ − a−1 constant Cα,β such that for all first-layer symmetric functions F ∈ C0∞ (G), F ≥ 0 and ∥∇G F ∥Q −a,W = 1, there holds





1 G

Q′

N (u)α

exp(β|F | a ) −

[Q  −a−2] k=0

 α k kQa′ Q −a−α |F | W ≤ Cα,β ∥F ∥Q −a,W . k!

k

x and Ω (F ) = {u ∈ G : F > 1}. Since Set Φ (x) = exp(x) − k=0 k! bounded and first-layer symmetric domain. Now, we write

[Q −a−2]

 G

| F | Q −a W ≥





 G

Φ (β|F |Qa ) W = I1 + I2 , N (u)α

where

G\Ω (F )



 I2 =

Φ (β|F |(Q −a) ) W, N (u)α ′

 I1 =

Ω (F )

Φ (β|F |Qa ) W. N (u)α

First, we estimate I1 , since F > 1 in G \ Ω (F ), then ′

 I1 =

G\Ω (F )

Φ (β|F |Qa ) W N (u)α  ∞  1

 β j j QQ−−a−a 1 ≤ |F | W α j! {F ≤1} N (u) j=[Q −a−1]     ∞  Q −a 1 β j Q −a 1 ≤ |F |[Q −a−1] Q −a−1 W | F | W + C α α j! {F ≤1} N (u) {F ≤1} N (u) j=[Q −a]   1 1 β Q −a β |F | W + e |F |Q −a W ≤e α N ( u ) N ( u)α {F ≤1,N (u)≤∥F ∥Q −a,W } {F ≤1,N (u)>∥F ∥Q −a,W }  Q −a 1 +C |F |[Q −a−1] Q −a−1 W . α N ( u ) {F ≤1} 

Because α < Q − a, we can fix γ > 0 s.t. α + γ < Q − a, then e

β



1

α {F ≤1,N (u)≤∥F ∥Q −a,W } N (u)

≤e

β



|F |Q −a W 1

α {F ≤1,N (u)≤∥F ∥Q −a,W } N (u)

|F |γ W

Ω (F )

W > W (Ω ), then Ω (F ) is a

106

N. Lam, H. Tang / Nonlinear Analysis 89 (2013) 95–109

β





≤e

∥F ∥Q −a,W



γ

= e ∥F ∥Q −a,w

r

−α γ Q −a

1−

(|F | )

−a −a Q −1

|∇G N | r r

∥F ∥Q −a,w



γ 1− Q −a

γ

W

S (N )

= e ∥F ∥Q −a,W (C−α )

 Q γ−a

Q −a

γ

W

Q −a−

r

α

1−

γ −1 Q −a dr

dσ dr

1− Q γ−a

1− Q γ−a

0



γ

γ Q −a

G



0

γ

β

1− Q γ−a 

1

1−

N (u)α

{N (u)≤∥F ∥Q −a,W } β



1

Q −a −

α

1−

= Cα,β ∥F ∥Q −a,W ∥F ∥Q −a,W

γ Q −a

1− Q γ−a

a−α = Cα,β ∥F ∥QQ − − a ,W ,

where the second inequality uses the Hölder inequality. Moreover, eβ





1

{F ≤1,N (u)>∥F ∥Q −a,W }

|F |Q −a W ≤ eβ N (u)α a [Q −a−1] Q Q−− a−1

Now we estimate {F ≤1} N (1u)α |F |





1

G

|F |Q −a Q −a−α W = e β ∥ F ∥ Q − a ,W . ∥F ∥αQ −a,W

W . If Q − a is an integer, using the above method we have

Q −a

α {F ≤1} N (u)

a−α |F |[Q −a−1] Q −a−1 W ≤ ∥F ∥QQ − − a ,W .

If Q − a is not an integer, we can write the integral into two parts:



1 {F ≤1} N (u)



Q −a

|F |[Q −a−1] Q −a−1 W ≤ α

1

Q −a

α {F ≤1,N (u)≤∥F ∥Q −a,W } N (u)

 +

|F |[Q −a−1] Q −a−1 W

1

Q −a

α {F ≤1,N (u)>∥F ∥Q −a,W } N (u)

|F |[Q −a−1] Q −a−1 W .

For the first part



1

{F ≤1,N (u)≤∥F ∥Q −a,W }

Q −a

|F |[Q −a−1] Q −a−1 W ≤ N (u)α



1

α {N (u)≤∥F ∥Q −a,W } N (u) ∥F ∥Q −a,W





= S (N )

0

=

c−a Q −a−α

W

|∇G N |−a r −a−α r Q −1 dσ dr

a−α ∥F ∥QQ − − a ,W .

For the second part, using the Hölder inequality and the integration in polar coordinates we have



1

Q −a

α {F ≤1,N (u)>∥F ∥Q −a,W } N (u)

 ≤

|F |[Q −a−1] Q −a−1 W 1

 ≤

Q −a

|F |

=

|F | 2 [Q −a−1] Q −a−1 W

 [Q −a−1]  2(Q −a−1)



W

WN

(Q −a) [Q −a−1] ∥F ∥Q −a,W2(Q −a−1)

1−

α [Q −a−1] 2(Q −a−1)

1− [Q −a−1]

2(Q −a−1)

{N (u)>∥F ∥Q −a,W }

G

=

Q −a

1

α {F ≤1,N (u)>∥F ∥Q −a,W } N (u)



(Q −a) 2[(QQ−−aa−−11]) C ∥F ∥Q −a,W



|∇G N |−a r

S (N )

∥F ∥Q −a,W



Q −1−a−



α

Q −a− 1−

∥F ∥Q −a,W

[Q −a−1] 2(Q −a−1)

−a−α = C ∥F ∥QQ − a,W . Q −a−α

Therefore we know that I1 ≤ Cα,β ∥F ∥Q −a,W .

1− 2[(QQ−−aa−−11])

1−

α [Q −a−1] 2(Q −a−1)

1− [Q −a−1]

2(Q −a−1)

dσ dr

N. Lam, H. Tang / Nonlinear Analysis 89 (2013) 95–109

107

1,Q −a

To estimate I2 , we first note if we set g (u) = F (u) − 1 in Ω (F ), then g (u) ∈ HW0 ∥∇G F ∥Q −a,W ,Ω (F ) = 1. In Ω (F ) Q −a

Q −a

Q −a

(Ω (F ), W ) and ∥∇G g ∥Q −a,W ,Ω (F ) =

1

|F | Q −a−1 = (g + 1) Q −a−1 ≤ (1 + ε)|g | Q −a−1 + (1 − (1 + ε)−Q +a+1 )− Q −a−1 , where we use the fundamental inequality: (a + b)p ≤ (1 + ϵ)ap + (1 − (1 + ϵ)−1/(p−1) )1−p bp , for any a, b, ε > 0, p > 1. Q ′ −1

Now, for given 0 < β < (Q − a − α)(cQ a−2a ), fix ε = is a constant only depending on α, β, a, Q .

Q ′ −1 cQ a−2a (Q −a−α)

β

1

− 1, then ε > 0 and Cε = (1 − (1 + ε)−Q +a+1 )− Q −a−1

Since Ω (F ) is a bounded and first-layer symmetric domain, using Theorem 2.1 and W (Ω ) < ∥F ∥Q −a,W we can obtain Q −a



exp(β|F |Qa )

 I2 ≤

N (u)α

Ω (F )

W Q −a

exp(β(1 + ε)|g | Q −a−1 + β Cε )

 ≤

N (u)α

Ω (F )

β Cε

W

Q ′ −1



exp(cQ a−2a (Q − a − α)|g |Qa )



≤e

N (u)α

Ω (F )

W

α

≤ CW (Ω (F ))1− Q −a

α

1− Q −a −a ≤ C (∥F ∥QQ − a ,W )

−a−α = C ∥F ∥QQ − a,W .

Therefore ′

 G

Φ (β|F |Qa ) Q −a−α W ≤ Cα,β ∥F ∥Q −a,W . N (u)α

That is the desired inequality. Q ′ −1

Q ′ −1

Next, we will show that the restriction 0 < β < (Q − a)(cQ a−2a ) is optimal. That is: if β ≥ (Q − a − α)(cQ a−2a ), we should

1,Q −a choose a sequence of functions such that {Fj (u)}∞ (G, W ), ∥∇G Fj ∥Q −a,W = 1 and j=1 ⊂ HW



1 −a−α ∥F ∥QQ − a,W

1 G

 Qa′

exp(β|F | ) −

N (u)α

[Q  −a−2] k=0

 β k kQa′ |F | W → ∞, k!

as j → ∞. Now, we choose {Fj (u)}∞ j=1 like this

F j ( u) =

1

(cQ −2a )1/(Q −a) (Q − a)

Q −a−1 Q −a

 Q −a−1  Q −a ,  j Q −a−1 (a − Q ) ln N (u) , j Q −a  j   0,

if 0 ≤ N (u) ≤ e if e

j − Q− a

j − Q− a

≤ N (u) ≤ 1,

if 1 < N (u).

Then, we can calculate that



|∇ Fj |Q −a W = 1, G

and

 |Fj |

Q −a

W = CQ ,a j

G

Q −a −1



j − e Q −a

 S (N )

r Q −a−1 |∇GN |−a drdσ 0

+ CQ ,a (Q − a)Q −a ≤ CQ ,a c−a jQ −a−1 → 0,

1 j

e−j Q −a



 S (N )

1 j

− e Q −a

(ln r )Q −a r Q −a−1 |∇GN |−a drdσ

+ CQ ,a (Q − a)Q −a c−a

1 j

1



(ln r )Q −a r Q −a−1 dr 0

,

108

N. Lam, H. Tang / Nonlinear Analysis 89 (2013) 95–109

1,Q −a as j → ∞. So {Fj (u)}∞ (G, W ). But j=1 ⊂ HW





1 G

Qa′

exp(β|Fj | ) −

N (u)α



k=0

1

≥ G

Q ′ −1



Q −a

j

e Q −a−α −

j

− 0≤N (u)≤e Q −a

 [Q −a−2]

− e Q −a ≤N (u)<1

 e

Q −a−α



[Q −a−2] 

Q −a

[Q −a−2] 

k

Q −a

e

k!

j

[Q −a−2] Q −a−α jk Q −a

 Q −ka−1

j

Q −a−α

k=0



|Fj |kQa W

Q −a

(ln N ) Q −a−1

k |∇GN |−a N −a−α

a−α − Q Q−− j a



1

(Q −a)k

(ln r ) Q −a−1 r Q −1−a−α dr

0

Q −a

c−a



(Q − a − α)k c−a 

 k=0

k =1



 Q −a  Q −1a−1

[Q −a−2] Q −a−α jk Q −a

 Q −ka−1

e Q −a−α −

Q −a−α

k!

k!

j



c−a





G

Q ′ −1

((Q − a − α)(cQ a−2a ))k

|∇G N |−a N −a−α

k =1

Q −a j Q −a−α

[Q −a−2]





k!

(Q − a − α)

k=0

k =1

=

[Q  −a−2] Q −a−α jk Q −a

j

c−a





k=0

 −

 β k kQa′ |Fj | W k!

exp((Q − a − α)(cQ a−2a )|Fj |Qa )W − N (u)α

 ≥

[Q  −a−2]

k!

a−α − Q Q−− j a

e

(Q − a − α)k c−a



1

(Q −a)k

(ln r ) Q −a−1 r Q −1−a−α dr

0

,

1,Q −a as j → ∞. Therefore {Fj (u)}∞ (G, W ), ∥∇G Fj ∥Q −a,W = 1 and j=1 ⊂ HW

1 −a−α ∥F ∥QQ − a ,W





1 G

N (u)α

when β ≥ (Q − a − α)(

Qa′

exp(β|F | ) −

Q ′ −1 cQ a−2a

[Q −a−2] k=0

 β k kQa′ |F | W → ∞, k!

). That completes the proof.

Acknowledgment The authors wish to thank Professor Guozhen Lu for suggesting to work on the problem and for his guidance and many useful discussions. They also wish to thank him for his much time on improving the exposition of this paper. References [1] A. Kaplan, Fundamental solution for a class of hypoelliptic PDE generated by composition of quadratic form, Trans. Amer. Math. Soc. 258 (1) (1980) 147–153. [2] V.I. Yudovič, Some estimates connected with integral operators and with solutions of elliptic equations, Dokl. Akad. Nauk SSSR 138 (1961) 805–808 (in Russian). [3] S.I. Pohožaev, On the eigenfunctions of the equation ∆u + λf (u) = 0, Dokl. Akad. Nauk SSSR 165 (1965) 36–39 (in Russian). [4] N.S. Trudinger, On imbeddings into Orlicz spaces and some applications, J. Math. Mech. 17 (1967) 473–483. [5] J. Moser, A sharp form of an inequality by N. Trudinger, Indiana Univ. Math. J. 20 (1971) 1077–1092. [6] Adimurthi, K. Sandeep, A singular Moser–Trudinger embedding and its applications, NoDEA Nonlinear Differential Equations Appl. 13 (5–6) (2007) 585–603. [7] D.M. Cao, Nontrivial solution of semilinear elliptic equation with critical exponent in R2 , Comm. Partial Differential Equations 17 (3–4) (1992) 407–435. J.M. do Ó, N-Laplacian equations in RN with critical growth, Abstr. Appl. Anal. 2 (3–4) (1997) 301–315. S. Adachi, K. Tanaka, Trudinger type inequalities in RN and their best exponents, Proc. Amer. Math. Soc. 128 (1999) 2051–2057. B. Ruf, A sharp Trudinger–Moser type inequality for unbounded domains in R2 , J. Funct. Anal. 219 (2) (2005) 340–367. Y.X. Li, B. Ruf, A sharp Trudinger–Moser type inequality for unbounded domains in Rn , Indiana Univ. Math. J. 57 (1) (2008) 451–480. Adimurthi, Y. Yang, An interpolation of Hardy inequality and Trudinger–Moser inequality in RN and its applications, Int. Math. Res. Not. IMRN 2010 (13) (2010) 2394–2426. [13] W.S. Cohn, G. Lu, Best constants for Moser–Trudinger inequalities on the Heisenberg group, Indiana Univ. Math. J. 50 (4) (2001) 1567–1591. [14] W. Cohn, G. Lu, Best constant for Moser–Trudinger inequalities, fundamental solution and one-parameter representation formulas on groups of Heisenberg type, Acta Math. Sin. (Engl. Ser.) 18 (2) (2002) 375–390. [8] [9] [10] [11] [12]

N. Lam, H. Tang / Nonlinear Analysis 89 (2013) 95–109

109

[15] J. Balogh, J. Manfredi, J. Tyson, Fundamental solution for the Q -Laplacian and sharp Moser–Trudinger inequality in Carnot groups, J. Funct. Anal. 204 (1) (2003) 35–49. [16] J. Tyson, Sharp weighted young’s inequalities and the Moser–Trudinger inequalities on the Heisenberg type groups and Grushin spaces, Potential Anal. 24 (4) (2006) 357–384. [17] N. Lam, G. Lu, A new approach to sharp Moser–Trudinger and Adams type inequalities: a rearrangement-free argument, J. Differential Equations 255 (3) (2013) 298–325. [18] N. Lam, G. Lu, Sharp Moser–Trudinger inquality on the Heisenberg group at the critical case and applications, Adv. Math. 231 (6) (2012) 3259–3287. [19] N. Lam, G. Lu, H. Tang, On nonuniformly subelliptic equations of Q -sub-Laplacian type with critical growth in the Heisenberg group, Adv. Nonlinear Stud. 12 (2012) 659–681. [20] N. Lam, G. Lu, H. Tang, Sharp subcritical Moser–Trudinger inequalities on Heisenberg groups and subelliptic PDEs, 2012. Preprint. [21] G.B. Folland, M.S. Stein, Hardy Space on Homogeneous Group, Princeton University Press, Princeton, New Jersy, 1982. [22] R. O’Neil, Convolution operators and L(p, q) spaces, Duke Math J. 30 (1963) 129–142. [23] A.P. Blozinski, On a convolution theorem for L(p, q) spaces, Trans. Amer. Math. Soc. 164 (1972) 255–265.