- Research Article
- Open access
- Published:

# Brézis-Wainger Inequality on Riemannian Manifolds

*Journal of Inequalities and Applications*
**volume 2008**, Article number: 715961 (2008)

## Abstract

The Brézis-Wainger inequality on a compact Riemannian manifold without boundary is shown. For this purpose, the Moser-Trudinger inequality and the Sobolev embedding theorem are applied.

## 1. Introduction

There is no doubt that the Brézis-Wainger inequality (see [1]) is a very useful tool in the examination of partial differential equations. Namely, a lot of estimates to a solution of PDE are obtained with the help of the Brézis-Wainger inequality. Especially, the inequality is often applied in the theory of wave maps.

In this paper, we extend the Brézis-Wainger result onto a compact Riemannian manifold. We show the following theorem.

Theorem 1.1.

Let be an -dimensional compact Riemannian manifold, and , , for , where is a positive integer and is a real number. Then, and

where is a positive constant.

The proof relies on the application of a Moser-Trudinger inequality (see Theorem 2.2) and the Sobolev embedding theorem (see Theorem 2.1). Moreover, we will use the integral representation of a smooth function via the Green function (see [2]).

## 2. Preliminaries

In order to make this paper more readable, we recall some definitions and facts from the theory of Sobolev spaces on Riemannian manifolds. In particular, we present useful inequalities and embeddings.

Let be a smooth, compact Riemannian manifold without boundary. We will denote by a space of smooth real functions. For and integer , we denote by the *m* th covariant derivative of . Next, for and for a fixed integer and a real , we set

where by we have denoted the Riemannian measure on the manifold .

We define the Sobolev space as a completion of with respect to .

We close this section stating the following results, which will be used in the proof of the main result.

Theorem 2.1 (Sobolev Embedding Theorem [3, 4]).

Let be a smooth, compact Riemannian -manifold. Then, for any real numbers and any integers , if , then . Moreover, there exists a constant such that for all , the following inequality holds:

Theorem 2.2 (Moser-Trudinger Inequality [5]).

Let be a smooth, compact Riemannian -manifold and a positive integer, strictly smaller than . There exist a constant and such that for all with and , the following inequality holds:

Let us stress that this inequality is a generalization of the Moser and Trudinger result (see [6–8]).

## 3. Proof of the Main Result

In this section, we will prove the main result, that is, Theorem 1.1.

Proof.

Let us notice that by the assumptions we have an embedding . First of all, we show the following lemma.

Lemma 3.1.

If , , and , then . Moreover, the following estimate holds:

Proof.

Let us put

in Young's inequality

where . Then, we obtain an estimate

where is a constant from the Moser-Trudinger inequality (see Theorem 2.2).

Next, we can estimate

Subsequently, we can apply the Moser-Trudinger inequality to the right-hand side of the above inequality:

From this, the proof of Lemma 3.1 follows.

Now, we can go back to the proof of Theorem 1.1. First, we prove the theorem for such that and . Replacing by if necessary, we may suppose that

for .

Let us recall (see [2]) that for , a compact Riemannian -manifold, there exists a Green function such that

(1)for any and any ,

where is a Riemannian volume of the manifold , and is the Laplace-Beltrami operator on a manifold;

(2)there exists a constant such that for any ,

where is a diagonal:

and is a Riemannian distance from to .

Let us define the map . Next, we apply the first property of the Green function to the map and to the point . Namely,

Subsequently, by the second property of the Green function we can estimate as follows:

Now, we will try to estimate the last term in the inequality (3.12). Let us notice that if , then . Next, by the Sobolev theorem (see Theorem 2.1),

and we have that .

Using elementary calculations, one can easily show the lemma.

Lemma 3.2.

There exist and a finite such that the following equality holds:

where is the exponent from the Sobolev theorem.

By Hölder's inequality with exponents , we can estimate the inequality (3.12) as follows:

where and is the exponent from Lemma 3.2. Finally, by Lemma 3.1 and the Sobolev theorem, we obtain

Let us stress that since , the constant does not depend on . We can rewrite the inequality (3.16) as follows:

Hence,

Taking into account , we obtain

This finishes the proof of the inequality in the case such that and . Subsequently, one can easily obtain the inequality for such that .

Now, we prove the theorem for an arbitrary such that . We apply the density argument. Namely, for any , there exists such that

Next, we define

Such has zero-mean value. Moreover, the following inequality holds:

Indeed,

Hence,

Finally, we take . This completes the proof.

## References

Brézis H, Wainger S:

**A note on limiting cases of Sobolev embeddings and convolution inequalities.***Communications in Partial Differential Equations*1980,**5**(7):773–789. 10.1080/03605308008820154Aubin T:

*Nonlinear Analysis on Manifolds. Monge-Ampère Equations, Grundlehren der Mathematischen Wissenschaften*.*Volume 252*. Springer, New York, NY, USA; 1982:xii+204.Hebey E:

*Sobolev Spaces on Riemannian Manifolds, Lecture Notes in Mathematics*.*Volume 1635*. Springer, Berlin, Germany; 1996:x+116.Hebey E:

*Nonlinear Analysis on Manifolds: Sobolev Spaces and Inequalities, Courant Lecture Notes in Mathematics*.*Volume 5*. American Mathematical Society, Providence, RI, USA; 2000:x+309.Fontana L:

**Sharp borderline Sobolev inequalities on compact Riemannian manifolds.***Commentarii Mathematici Helvetici*1993,**68**(1):415–454. 10.1007/BF02565828Adams DR:

**A sharp inequality of J. Moser for higher order derivatives.***The Annals of Mathematics*1988,**128**(2):385–398. 10.2307/1971445Moser J:

**A sharp form of an inequality by N. Trudinger.***Indiana University Mathematics Journal*1971,**20:**1077–1092. 10.1512/iumj.1971.20.20101Trudinger NS:

**On imbeddings into Orlicz spaces and some applications.***Journal of Mathematics and Mechanics*1967,**17:**473–483.

## Acknowledgments

The author wishes to thank Professor Yuxiang Li for pointing out the paper [5]. Moreover, the author thanks the referees for comments and invaluable suggestions.

## Author information

### Authors and Affiliations

### Corresponding author

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Górka, P. Brézis-Wainger Inequality on Riemannian Manifolds.
*J Inequal Appl* **2008**, 715961 (2008). https://doi.org/10.1155/2008/715961

Received:

Accepted:

Published:

DOI: https://doi.org/10.1155/2008/715961