6 Trudinger Inequalities [057Z]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
6 Trudinger Inequalities
In this section, we illustrate the versatility of our approach by establishing also inequalities of Trudinger type for general non-linear energies. Let be a fully nonlinear operator satisfying the same structural conditions as in Theorem 1, and define for each ,
| (6.1) |
(this notation is slightly different from the notation used earlier for degenerating background metrics, but there should be no confusion, as the background metric is here fixed, and the index can be dropped). Recall that we had established before integral estimates for in terms of the entropy . Trudinger estimates are also exponential estimates, but in terms of the energy . We have
Theorem 7
Let be a plurisubharmonic function such that . Then
| (6.2) |
where and are the constants coming from the -invariant estimate of .
We note that when specialized to the case when is the Monge-Ampère operator , our theorem recovers an inequality proved in [2, 10]. Moreover, our estimate has the major advantage that all constants there depend only on the -invariant of the underlying manifold, hence is uniform over degenerating families with uniform -invariants.
Proof of Theorem 7: Let us solve the following auxiliary Monge-Ampère equation with , which is solvable due to Yau’s theorem [25].
| (6.3) |
then by the same maximum argument as in Lemma 1, we obtain the inequality
| (6.4) |
Now we pick , where and are constants in estimate above, which only depends on and . Now set . Then on , we have by our choice of ,
| (6.5) |
and on , we have
| (6.6) |
now multiplying by and integrating, we get
| (6.7) |
which is the desired result.