1. Introduction
Given a Hermitian manifold , we say that is balanced if . This is equivalent to requiring that the trace of the torsion endomorphism of vanishes identically. These metrics were introduced by M. L. Michelsohn [38] in 1982 as an alternative to Kähler metrics, which are known to impose many topological and geometric restrictions on a complex manifold. Balanced metrics are natural in many ways. They can be seen as dual to Kähler metrics in a sense made precise by Michelsohn [38]. Recently they have gained relevance because of their applications in string theory, and in birational geometry. For example, the Strominger system [40] consists of a system of coupled nonlinear equations on a complex -fold and a bundle over it, parts of which has been simplified by Fu and Yau [17] to the problem of finding a conformally balanced metric. This can be reduced to a Calabi-Yau-type equation for balanced metrics that will be discussed in Section 8. In birational geometry, balanced metrics are important as the existence of balanced metrics is preserved under birational transformations [1]. Hence it is thought that balanced metrics might give an important class of canonical metrics in non-Kähler geometry. For more details, we refer to [18, 19, 43] and references therein.
In this paper, we consider the space of mixed-volume forms on a balanced manifold. A geodesic equation is derived in this space which yields a new nonlinear PDE which we wish to study in-depth. We find an interesting positivity assumption coming from the study of this equation which is also related to the problem of prescribing volume forms for balanced metrics that can be written as an Monge-Ampère equation similar to the Gauduchon conjecture [42].
The space of Kähler metrics on a Kähler manifold with an metric structure has been studied extensively starting with Mabuchi [37], Donaldson [15], Semmes [39], and later by Chen [4] and many others. Similar structures have also been introduced in the space of volume forms on a Riemannian manifold by Donaldson [16]. Such spaces seem to have interesting properties. For example, the geodesic equation in the space of Kähler potentials can be transformed into a degenerate complex Monge-Ampère equation in one dimension higher. These find applications in geometric problems such as the uniqueness of constant scalar curvature metrics in a Kähler class when . In the case of the space of Kähler metrics, geodesic rays are related to the Yau-Tian-Donaldson conjecture on the existence of cscK metrics.
These equations are generally degenerate and involves finding a weak solution to the geodesic equation corresponding to the given metric. It is of interest to extend such structures to Hermitian geometry. In the Kähler case, there are many simplifications especially in the variational computations that makes it possible to study these structures. Although this does not seem to be true in general, the balanced property might be sufficient in some cases.
Let be an dimensional closed balanced manifold. That is, is a Hermitian manifold with the metric satisfying . Then for any smooth function on , define a form by
|
|
|
If is closed, then these forms are in the same Bott-Chern cohomology class . We consider the space of mixed-volume forms of order parametrized by smooth functions on in the following way.
(1.1) |
|
|
|
Then is an infinite dimensional manifold with tangent space at any point identified with the set of all smooth functions on .
|
|
|
The space is endowed with the following metric.
(1.2) |
|
|
|
The geodesic equation in with respect to this metric is given by
(1.3) |
|
|
|
|
|
|
for a non-negative function involving and the torsion tensor of (see Section 2).
The case that is particularly interesting is when so that defines a form which is also a balanced metric when . This cohomology relation is important, for instance in Calabi-Yau type theorems for balanced metrics, where we search for a balanced metric with a prescribed volume form. In this case, the ellipticity cone is contained in defined above.
The space of volume forms on a Riemannian manifold was initially introduced by Donaldson in the context of a free boundary problem related to Nahm’s equation [16]. This is given by
(1.4) |
|
|
|
with the metric on ,
(1.5) |
|
|
|
The geodesic equation in this case is
(1.6) |
|
|
|
This is sometimes also referred to as the Donaldson equation and was shown to have weak solutions by Chen-He [6]. The regularity was subsequently improved to by Chu [9]. There have been subsequent works by Chen-He [7] and He [32] extending this equation to cover, in particular, certain cases of the Streets-Gursky equation [31]. In the case when is Kähler, equation (1.3) will be identical to (1.6) since for Kähler manifolds.
We aim to study the equation (1.3) and show the existence of weak solutions. It is clear that the sign of is an important factor for this equation. In this paper we assume that , so that the equation is degenerate elliptic. In later works, we hope to consider the geometric case when so that the equation is degenerate hyperbolic.
The techniques from [6] cannot be applied to equation (1.3) because of several reasons. Firstly, as the manifold is non-Kähler, there are additional third-order terms involved with the torsion tensor while deriving estimates. This can be dealt with by using the largest eigenvalue of the complex Hessian. But the major obstacle in deriving estimates are the terms involving the function . The structure of the equation is such that there are some important cancellations that enable us to overcome this.
For avoiding degeneracies, we will show solutions for the perturbed equation
(1.7) |
|
|
|
and then take limits as . Here and are assumed to be smooth. A subsolution is a smooth function satisfying the following.
(1.8) |
|
|
|
and the boundary conditions
(1.9) |
|
|
|
Denote . The following estimates will be shown in this paper.
Theorem 1.1.
Let be solution of (1.7). Assume that a subsolution satisfying equation (1.8) and (1.9) exists and . Then we have the following estimates
(1.10) |
|
|
|
|
|
|
|
|
for a constant that depends only on , and other known data.
We will show the construction of a subsolution for any boundary data and in Section 3. We remark that it is much easier to construct a subsolution if . In addition, an estimate for can be obtained by the blow-up argument. This gives the following corollary.
Corollary 1.2.
Assuming , equation (1.3) has a unique solution for any , satisfying the boundary conditions.
The regularity can further be extended to , that is, the real Hessian of has a uniform bound. Estimate for the real Hessian was obtained for the homogeneous complex Monge-Ampère equation by Chu-Tosatti-Weinkove [10] to show regularity. The same technique can be adapted to this setting also taking into account that is only a Hermitian manifold. We do not include the calculation in this paper and refer to [9], [10], [11], and [33] for more details.
The second aim of this paper is to study a Calabi-Yau-type theorem for balanced metrics. We state the main statement here and rest of the details will be presented in Section 8.
Theorem 1.3.
Let be a balanced manifold such that there exists a Hermitian metric on with
(1.11) |
|
|
|
as an form. Then given a form in , there exists another balanced metric such that in , and
(1.12) |
|
|
|
Here is the Chern-Ricci form associated to the metric . This is also equivalent to prescribing a volume form for the metric . Note that the assumption can be obtained by taking the -trace of (1.11).
It can be shown that equation (1.12) can be transformed into the equation for an unknown function and a constant
(1.13) |
|
|
|
|
|
|
Refer to Section 8 for the definitions of the terms involved in this equation. This equation has been observed in [42], where they solve it assuming that , and with additional symmetry assumptions on . When , there are many complications, mostly caused by the fact that the maximum principle does not work for many of the arguments. This should be compared to the case of linear equations when the coefficient of the zeroth-order term does not have a good sign.
See [20, 21, 44, 45, 23, 27, 42] for the theory of equations involving plurisubharmonic forms and [43] for the complex Monge-Ampère equation on balanced manifolds. Theorem 1.3 can be deduced as a consequence of the following theorem.
Theorem 1.4.
Assuming that there exists a Hermitian metric satisfying (1.11), there exists a unique constant and a unique smooth function that solves the equation (1.13).
We will show two different proofs of this theorem. The second proof is more general and will only use that . This suggests a strategy for solving the problem in general, by considering a continuity path along this direction. The assumption seems to be interesting in itself and an in-depth study of this might be fruitful. In addition, it could also be interesting to figure out if this is also a necessary condition for this equation. We will discuss these questions in Section 9.
In the next section, the geodesic equation is derived and various properties of balanced metrics are shown. In the later sections, we derive interior and boundary a priori estimates for the solution. The estimates will depend on the gradient terms in a quadratic way. Hence we can apply the blow-up argument to get gradient estimates. In Section 8, we show estimates for the balanced Calabi-Yau equation.
Acknowledgements: I would like to thank my thesis advisor Professor Bo Guan for suggesting to work in this direction. I also thank Professor Ben Weinkove, Professor Song Sun, and Nicholas McCleerey for helpful discussions, and Bin Guo for clarifying some details in his paper with Professor Duong Phong.
2. The Geodesic equation
Throughout this article, derivatives in the time variable will always be denoted by subscripts in , so that , denote only the space derivatives given by the Chern connection of . We begin by deriving several identities satisfied by a balanced metric.
Lemma 2.1.
Assume . Then the following are true for any .
-
(i)
-
(ii)
-
(iii)
Define a function by
|
|
|
Then .
Proof.
First two parts are simple applications of the product rule.
|
|
|
|
|
|
Applying to (i) with gives
|
|
|
(ii) now follows by combining the above two equations.
For showing (iii),
we compute in orthonormal coordinates at a point. Following the convention in [38],
|
|
|
|
|
|
(2.1) |
|
|
|
|
|
|
|
|
|
|
|
|
Here the in numerator comes from the anti-symmetry of in indices and . By using the fact that for balanced metrics, the second and third terms in the above expression vanishes.
It follows from above and using (ii) that at a point where ,
(2.2) |
|
|
|
where denote the components of the torsion tensor. This shows that .
∎
Remark 2.2.
From (2.2), we can also make the following observation.
|
|
|
for all . This is because the expression for is symmetric with respect to this transformation and hence is clear from (2.4).
Next, we derive the equation of a geodesic segment joining to in by minimizing the following energy functional.
(2.3) |
|
|
|
Let be an end-point fixing variation of paths in such that and , with .
(2.4) |
|
|
|
(2.5) |
|
|
|
Assuming that minimizes , we have
(2.6) |
|
|
|
|
|
|
|
|
where is the variational field. Performing standard variational calculus using integration by parts gives the following geodesic equation.
(2.7) |
|
|
|
|
with and . An important point here is that integration by parts uses the balanced condition and hence this construction will not generalize easily to any Hermitian metric. From now on we will use the notation to denote the geodesic segment joining and .
3. Continuity method
In this section, we will introduce some basic lemmas that are needed for rest of the calculations. In addition, we give some details of the continuity method, and construct explicit subsolutions for any given boundary data and . First fix some notations. Let
|
|
|
and
|
|
|
Note that for a solution . We also denote
Greek indices are used to denote both space and time variables whereas English indices are for space variables only. Denote
(3.1) |
|
|
|
Consider the function given by
|
|
|
It was proven in [16] and later also in [6] that
Lemma 3.1.
is concave in the set where , , and .
We need an extension of this lemma to the complex case. That is, we need to show that is plurisubharmonic. This follows directly from the following proposition. See Theorem 5.6 in Demailly’s lecture notes [13].
Proposition 3.2.
Let be plurisubharmonic functions defined in a domain and be a convex function such that is non-decreasing in each . Then is plurisubharmonic on .
It follows from the above two results that the function given by
(3.2) |
|
|
|
is plurisubharmonic in when and .
Denote the nonlinear operator by
(3.3) |
|
|
|
The continuity path is given by
(3.4) |
|
|
|
We show that there is a unique smooth solution for the Dirichlet problem
(3.5) |
|
|
|
|
|
|
|
|
for each . Let . Clearly and by implicit function theorem there is a such that . For showing that and hence the equation (3.5) has a smooth solution, we will derive a priori estimates up to boundary for (3.5) in the following sections.
For simplicity, we will derive estimates for the equation at . That is, for the equation
(3.6) |
|
|
|
The calculations for general are similar. The linear operator associated to at some is given by
(3.7) |
|
|
|
It follows that the principal symbol can be written as the following matrix.
(3.8) |
|
|
|
We prove some basic results that will be useful later.
Lemma 3.3.
is elliptic at a solution of (3.6).
Proof.
We show this by proving that the matrix (3.8) is positive-definite.
(3.9) |
|
|
|
Given any vector , we can compute
(3.10) |
|
|
|
From (3.9),
(3.11) |
|
|
|
|
|
|
|
|
It follows that
Lemma 3.4.
Let be a function defined on the space of symmetric matrices as follows
(3.12) |
|
|
|
Then
-
(1)
-
(2)
For all such that
(3.13) |
|
|
|
for some small .
Proof.
For part one we refer to [16].
Part two is a special case of Theorem 2.17 from [26]. We give a simpler proof of this here.
Define
|
|
|
Then since , there exists an such that . Then by concavity of
(3.14) |
|
|
|
As a consequence of (3.13) we can write
(3.15) |
|
|
|
|
|
|
|
|
for some positive constants and . Now we show that for any two smooth functions and , the function
(3.16) |
|
|
|
will satisfy conditions (1.8) and (1.9), for large constants and chosen suitably.
First observe that for any
(3.17) |
|
|
|
|
|
|
|
|
where is the lower bound of . So we have for large
(3.18) |
|
|
|
for a small constant that depends on , and
(3.19) |
|
|
|
|
|
|
|
|
for a small positive constant . Now the result follows since the first term in the right side of equation (3.18) can be used to control all the other terms in equations (3.18) and (3.19), by choosing and .
5. Interior estimates
We estimate and separately. Let attain maximum at in the interior of . Then
(5.1) |
|
|
|
(5.2) |
|
|
|
which implies is uniformly bounded at the point from the results of Section 4.
Write the equation (3.6) as
(5.3) |
|
|
|
and differentiate by to get
(5.4) |
|
|
|
|
|
|
|
|
(5.5) |
|
|
|
Now there is an important cancellation between terms that are quadratic in .
(5.6) |
|
|
|
Here we used the equation . By concavity of and plurisubharmonicity of (3.2), the second term in (5.4) is negative. Hence we get that
(5.7) |
|
|
|
where we used . This is a bounded quantity. Since , by assuming that at , from (3.15) it is clear that
(5.8) |
|
|
|
Inequalities (5.7) and (5.8) will together contradict (5.1). Hence the maximum for must be attained at the boundary of .
(5.9) |
|
|
|
Next, we estimate in the interior. We aim to get estimates of the form
(5.10) |
|
|
|
There will be torsion terms with mixed third-order derivatives of the form in the calculations. To control this we will use the concavity of the largest eigenvalue of the complex Hessian . Consider the function
|
|
|
for a large constant to be determined later. Assume attains maximum at an interior point . Choose holomorphic coordinates at that diagonalizes . Then
(5.11) |
|
|
|
|
|
|
|
|
where we used that at ,
(5.12) |
|
|
|
|
|
|
|
|
and . Refer to [41, 24] for the derivative formula for the eigenvalue . As in [41], it might be required to consider a small perturbation of the matrix , to make sure that is differentiable. To keep it simple we skip that detail here. The commutation formulas for covariant derivatives are given by
(5.13) |
|
|
|
where denotes contraction of indices with respect to and the metric , and
(5.14) |
|
|
|
(5.15) |
|
|
|
where the term can be estimated as
(5.16) |
|
|
|
Note that since is uniformly bounded we can assume that .
Take to be the matrix
(5.17) |
|
|
|
and to be as in Lemma 3.4.
In this notation, we can write the PDE as
(5.18) |
|
|
|
Applying and using concavity of from Lemma 3.4 (1), we get
(5.19) |
|
|
|
Denote . For contradiction, we assume that . Combining (5.15) and (5.19),
(5.20) |
|
|
|
(5.21) |
|
|
|
|
|
|
|
|
This is a contradiction if we choose large enough since
|
|
|
for some constant . This shows that
|
|
|
To complete the proof of Theorem 1.1, it is enough to show boundary estimates.
6. Boundary estimates
It is enough to show that on the boundary. Estimates for and on the boundary will follow from the equation and the boundary conditions respectively.
We derive the estimate around a boundary point corresponding to by constructing a local barrier function. The case can be done similarly. Let be any point on the boundary . Consider a coordinate ball centered at of radius . Then we define a barrier function on with given by
|
|
|
where , , are large multiples of to be fixed later. , and will denote independent uniform constants.
First check that on . There are three cases.
-
(1)
If , then .
-
(2)
If , then
|
|
|
for .
-
(3)
If , then
|
|
|
for
Next, we compute . From (3.15), it follows that
(6.1) |
|
|
|
(6.2) |
|
|
|
By differentiating equation (1.7) we also get
(6.3) |
|
|
|
From eqs. 6.1, 6.2 and 6.3, it follows that for large enough compared to and . It follows that on and since ,
|
|
|
at , so that . Similarly by considering , we can get .
To bound , notice that at and hence is bounded at . Now we are done with all the boundary estimates and can write
|
|
|
We derive gradient estimates for in the next section.
7. The Blow-up argument
The blow-up argument for gradient estimates is now shown. In this case, the argument is slightly simpler than many of the known equations ([4], [12], [41]). We fix a and suppress it in the following argument. First consider the case when . Assume that there is a sequence of solutions such that
(7.1) |
|
|
|
and it is attained at . Here as .
Using (1.10), this implies that . Take a convergent subsequence and consider a coordinate ball centered at , small enough so that the metric is close to the euclidean metric. Define a sequence of rescaled functions
|
|
|
defined in the ball . Correspondingly rescale the sub- and super-solutions,
|
|
|
defined in .
Then satisfies the following
|
|
|
|
|
|
Note that taking would give functions defined on the whole of . From the above bounds, it is clear that there is a limit function defined in . As , the sequence converges in to in any fixed ball and any .
|
|
|
and
(7.2) |
|
|
|
for all .
It is well-known fact that any bounded weakly subharmonic function in is constant (Lemma 4.13 in [13]). Near we have
|
|
|
Taking gives in the weak sense, meaning that for all non-negative compactly supported smooth functions . This proves that is weakly subharmonic in and hence is a constant, contradicting .
For or , the limiting functions will be defined in the complex half-plane. In addition, the sub- and the super-solutions are equal at the boundary. Hence by the same argument, and from (7.2) we deduce that is a constant, leading to the same contradiction. We refer to [4] for the argument presented for the degenerate Monge-Ampére equation and [14, 12] for Hessian equations.
8. Calabi-Yau theorem for balanced metrics
Since S.-T. Yau [46] proved the Calabi conjecture in 1976, there has been great interest in establishing similar theorems in non-Kähler geometry. That is, to show the existence of special Hermitian metrics with prescribed Chern-Ricci forms.
An important result along these lines is the Gauduchon conjecture [22] that was resolved in 2017 [42]. Perhaps a more useful theorem from the perspective of geometry and mathematical physics would be to solve the same problem for balanced metrics. We refer to the related work of Fu-Wang-Wu [20] to how this implies the conformal balanced equation in the Strominger system. This asks for a Hermitian metric such that
(8.1) |
|
|
|
for a non-vanishing holomorphic form on a dimensional Hermitian manifold . Fixing , (8.1) says is a balanced metric. Then
|
|
|
for some function . This problem has been considered by Fu-Wang-Wu, solving it on a flat torus in dimension by considering some explicit parametrizations of the metric [20], and also on Kähler manifolds under non-negative curvature assumptions [21]. The equation we consider is a bit different and will use more general cohomology relations similar to [42].
Given a balanced metric and a background Hermitian metric , define a new metric by
(8.2) |
|
|
|
Clearly, is also balanced as . Given a form in , we look for an unknown function , such that
(8.3) |
|
|
|
Written as a PDE in local coordinates this becomes
(8.4) |
|
|
|
where , is smooth form involving the torsion tensor and is linear in , and
|
|
|
is a form. Here is the Hodge star operator with respect to the metric . We refer to [42] for this transformation and the exact form of . First we make the following defintions.
Definition 8.1.
A Hermitian metric is called
-
(i)
Sub-Astheno-Kähler if .
-
(ii)
Super-Astheno-Kähler if .
We say that a Hermitian manifold is sub- or super-Astheno-Kähler if it admits such a metric.
(8.5) |
|
|
|
We show that assuming that as a form is sufficient for obtaining estimates for this equation. This will done in two different ways. First we use the ABP maximum principle introduced by Blocki [2] for complex Monge-Ampère equation and then extended to general fully nonlinear case admitting a -subsolution by Székelyhidi [41]. The second proof will be based on the technique using the auxilliary Monge-Ampère equation. Note that the -trace of is exactly the quantity (for ) when from the previous sections.
|
|
|
Theorem 8.1.
Let be a compact balanced manifold. Assume that on for some Hermitian metric . Then for any solution of equation (8.4)
|
|
|
for a uniform constant that depends only on , , and .
We remark that due to the works of Tosatti-Weinkove [44, 45], Székelyhidi-Tosatti-Weinkove [42], and Guan-Nie [27], it is enough to derive estimates, as all the other estimates will follow similar to those calculations. The estimates can be obtained by simple modifications in the proof of Gauduchon conjecture [42], or the work of Guan-Nie [27]. Hence Theorem 8.1 gives an existence result for equation (8.4) satisfying the condition . In fact, the solution will be unique under this assumption. From [41], we recall the notion of a -subsolution, originally introduced by Guan [26].
Definition 8.2.
Suppose that is a Hermitian manifold and is a real form. We say that a smooth function is a -subsolution for
|
|
|
if at each , the set
|
|
|
Here is a symmetric function of eigenvalues with standard structure assumptions of [3]. From the definition it can be seen that is a -subsolution to . A smooth function being a -subsolution implies that there exists a and such that at each
(8.6) |
|
|
|
Proof of Theorem 8.1.
The proof uses a version of the ABP maximum principle.
First observe that , would give the following elliptic equation.
(8.7) |
|
|
|
for some function . Then from linear elliptic theory (Theorem in [25]), using that , we obtain estimates for the supremum of the function .
|
|
|
for depending on and the coefficients of the equation. So it is enough to estimate . Let be attained at a point on and assume that . Choose coordinates that takes to the origin and consider the coordinate ball , chosen small enough so that on . Let for a small , so that , and .
Then by the ABP maximum principle for upper contact sets (Chapter of [25], Proposition in [41]), the set
|
|
|
(8.8) |
|
|
|
for some positive constant . The following can be verified at any as in [2],
-
(1)
.
-
(2)
.
-
(3)
.
From this and using we can conclude that in the set
(8.9) |
|
|
|
for a small that depends on , which is fixed small enough depending on . Denoting
|
|
|
it follows that at
|
|
|
for small depending on .
From the equation (8.4), it is clear that for . Hence it follows from (8.6) that
|
|
|
This gives a uniform bound for in . Then it follows from the above using (8.8) that
|
|
|
for some constant . From the weak Harnack inequality (Theorem 8.18 in [25]) applied to equation (8.7), on
|
|
|
This implies that is bounded. In the set , . Putting these together with the following calculation
(8.10) |
|
|
|
we get , which shows that is bounded.
Remark 8.2.
The technique from above extends directly to the case of fully nonlinear equations of symmetric functions of eigenvalues under the -subsolution condition. Hence one can consider equations of the form
(8.11) |
|
|
|
for some form .
Remark 8.3.
Examples of non-Kähler balanced manifolds that admit a Hermitian metric so that can be inferred from [36], using explicit constructions on complex nilmanifolds.
Next we show how the estimates can be obtained under a weaker assumption that , by using the auxilliary Monge-Ampère equation. The method of auxilliary Monge-Ampere equation, inspired by the works of Chen-Cheng [5] on cscK metrics was developed by Phong-Guo-Tong [30] to give PDE proofs for estimates to the Monge-Ampère equation, when the right-hand side is only for any . This method was later extended to the case of more general fully nonlinear equations in [28] and equations involving forms and gradient terms in [29]. We show that this can be used to obtain estimates for equation (8.4) under a weaker assumption. The method is similar and we only show the part of the proof that obtains a comparison between solution of equation (8.4) and the solution of the auxilliary Monge-Ampère equation. The argument for equation seen in Gauduchon conjecture has been treated in [29], where to deal with the gradient terms in this equation, Phong and Guo considers the real Monge-Ampère equation for comparison, for which independent gradient estimates are available. Also see the related work of Klemyatin-Liang-Wang [35].
We write (8.4) as
(8.12) |
|
|
|
The principal part of the linearization of this operator is given by
|
|
|
where for simplicity we used and is the metric corresponding to .
It is not too difficult to show that is positive definite at a solution , and
|
|
|
for a constant that depends only on the right-hand side of equation (8.4).
Assume that attains a negative minimum at . Let denote the open ball of radius around small enough so that the metric is close to the euclidean metric in this ball, and such that in . Similarly is a the ball of radius centered at . The auxilliary real Monge-Ampére equation is given by
(8.13) |
|
|
|
where is a sequence of smooth functions on that converges to the from above, is normalization constant so that the integral of the RHS is , and .
The solution with the boundary condition that on exists, is bounded, and has a uniform bound for the gradient (Lemma in [29]). Let be a small constant, and consider for any , the function , and the function
|
|
|
Here and are constants to be chosen later that depends on the bounds on , and other known quantities. Note that is a convex function on and hence is non-positive. It can be immediately observed that on on and hence the set is contained in .
The following formula follows directly by taking the -trace of the definition (8.5) of the metric .
(8.14) |
|
|
|
for a small constant . To show that in , the point where attains a maximum can be assumed to be in . At , the compatibility equation implies
(8.15) |
|
|
|
|
|
|
|
|
where we use to denote the torsion coefficients that appear in , and is a small positive constant. In the last line, and are chosen depending on , , , and other background data to get this bound. Taking second derivatives of , we have at
(8.16) |
|
|
|
|
|
|
|
|
|
|
|
|
where we used equation (8.14),
|
|
|
and the auxilliary equation (8.13). We also used from proof of Theorem 8.1, and (8.15) here. Since by assumption , by a clever choice of in this equation we get that . To find the exact bound on , set
|
|
|
Then take .
This gives a comparison between and . From here the argument is identical to [30], and we can obtain , for a constant that depends on the background data, and the entropy of the function .
Finally, we add some remarks on the openness part of the continuity method and uniqueness of the solution to equation (8.4). The openness can be shown by applying inverse function theorem to the linearized operator. This follows the same steps from [44] and we skip it here. For uniqueness, we could assume that there exist two distinct pairs and that solves the equation. Taking the difference of the equations and applying maximum principle as in [44] proves the uniqueness up to a constant. The only additional comment is that in [44], the solutions were normalized to , otherwise it is only unique up to a constant. This is not possible in our case because of the term . But at the same time, if , then this condition is unnecessary as a translation of the solution will no longer solve the equation.