Moser-Trudinger inequality

An inequality arising as a limiting Sobolev inequality (cf. also Sobolev space). Let be a finite-volume manifold of dimension and denote by the corresponding gradient defined on . Then for ,

and the normalization conditions

or

there exist positive constants and , depending only on and , such that

where .

This estimate and its consequences appear naturally in two contexts:

1) as a limiting Sobolev inequality corresponding to end-point phenomena for the Sobolev imbedding on :

where , ;

2) as the determining estimate (linearized form) used to study conformal deformation on manifolds and the problem of prescribing Gaussian curvature.

This inequality was first demonstrated by N. Trudinger [a8] when is a bounded domain in , and the sharp value

was found by J. Moser [a6]. The functional is finite for all values of , but for values greater than the constant depends on the function . Moser also found the sharp value for the two-dimensional sphere . For the -dimensional sphere , the sharp value of is the same as for a bounded domain in (see [a2]). L. Carleson and S.-Y.A. Chang [a4] established the existence of an extremal function when the domain is the unit ball in . D.R. Adams [a1] extended this class of inequalities on bounded domains in to higher-order gradients. Generalizations of the Carleson–Chang theorem have been given for general domains in , and a development of the Moser framework has also been studied for Kähler manifolds (cf. also Kähler manifold). For boundary values of analytic functions in the unit disc with finite Dirichlet integral, a similar estimate holds based on methods of A. Beurling [a5].

Two essential techniques that have been applied to understanding this variational inequality (cf. also Variational equations) are: symmetric rearrangement of functions and conformal invariance. For geometric applications, the linearized Moser–Trudinger inequality has been the critical result: in dimension two with normalized surface measure on [a6]:

and for the unit disc in [a4]:

Here, the constant was shown to be zero by E. Onofri [a7] and the functional inequality implies, using the Polyakov action, that the determinant of the Laplacian under conformal deformation with fixed area is maximized by the standard metric. For dimension two these linearized inequalities are equivalent. W. Beckner [a3] generalized this result on the sphere to higher dimensions, where on the inequality has the form

Here, is a conformally invariant pseudo-differential operator which acts on spherical harmonics of degree in dimension :

and can be represented as an algebraic function of the Laplacian:

In dimension four this is the Paneitz operator . The one-dimensional result corresponds to Szegő's theorem on determinants of Toeplitz operators. Equality is attained above only for functions of the form

From the Orlicz duality between the classes and , the exponential-class Moser–Trudinger inequality is equivalent to a logarithmic fractional-integral inequality written in terms of the fundamental solution or Green's function for the operator :

where and are probability densities on the sphere. Equality is attained only for functions of the form

Using conformal equivalence, this inequality can be reformulated on for probability densities and :

where the relation with the sharp Hardy–Littlewood–Sobolev inequality is evident. This inequality, defined by the mapping

for , and , implies both the linearized Moser–Trudinger inequality and the logarithmic fractional-integral inequality [a3].

The logarithmic inequalities above can be interpreted as variational problems for the free energy with fixed entropy in a statistical mechanics setting. There are various applications of the Moser–Trudinger inequalities to extremal problems for determinants and zeta-functions under conformal deformation of metric. For example, on the four-dimensional sphere the determinant of the conformal Laplacian is extremized under conformal deformation with fixed area by the standard metric (see [a3]). The most important aspect of the Moser–Trudinger inequality has been its connection to the Polyakov–Onofri log determinant variation formula and its subsequent development in terms of conformal geometry and geometric analysis of conformally invariant operators on higher-dimensional manifolds.

References

[a1]	D.R. Adams, "A sharp inequality of J. Moser for higher order derivatives" Ann. of Math. , 128 (1988) pp. 385–398
[a2]	T. Aubin, "Nonlinear analysis on manifolds. Monge–Ampère equations" , Springer (1982)
[a3]	W. Beckner, "Sharp Sobolev inequalities on the sphere and the Moser–Trudinger inequality" Ann. of Math. , 138 (1993) pp. 213–242
[a4]	L. Carleson, S.-Y.A. Chang, "On the existence of an extremal function for an inequality of J. Moser" Bull. Sc. Math. , 110 (1986) pp. 113–127
[a5]	S.-Y.A. Chang, D.E. Marshall, "On a sharp inequality concerning the Dirichlet integral" Amer. J. Math. , 107 (1985) pp. 1015–1033
[a6]	J. Moser, "A sharp form of an inequality by N. Trudinger" Indiana Math. J. , 20 (1971) pp. 1077–1092
[a7]	E. Onofri, "On the positivity of the effective action in a theory of random surfaces" Comm. Math. Phys. , 86 (1982) pp. 321–326
[a8]	N. Trudinger, "On imbeddings into Orlicz spaces and some applications" J. Math. Mech. , 17 (1967) pp. 473–483