The blow-up analysis of an affine Toda system corresponding to superconformal minimal surfaces in
Introduction
The compactness of a solution space of a nonlinear equation or a system plays an important role in the study of the existence of solutions. For most of interesting geometric partial differential equations it is a challenging problem to understand their solution space. One of important methods is the so-called blow-up analysis, which gives us better information, when the solution space is lack of the compactness. This method goes back at least to the work of Sacks-Uhlenbeck [38] on harmonic maps. Since then, there has been a lot of work on the blow-up analysis for harmonic maps, and also for minimal surfaces, the equation of the constant mean curvature surface, pseudo-holomorphic curves, Yang-Miles fields and the Yamabe equation [1], [4], [40], which play an important role in geometric analysis. In this paper we are interested in the blow-up analysis for the following Liouville type system, where is an matrix, which has usually a geometric meaning, for example the Cartan matrix of . The Toda system is an important object in integrable system [29], [18], appears in many physical models [15] and relates to many geometric objects, holomorphic curve, minimal surfaces, harmonic maps and flat connections. See for example [2], [3], [14], [16], [25].
When and , it is the Liouville equation which plays a fundamental role in many two dimensional physical models and also in the problem of prescribed Gaussian curvature [7], [6], [11]. Its blow-up analysis has been carried out by Brezis-Merle [5], Li [30] and Li-Shafrir [31]. When and A is the Cartan matrix for , the blow-up analysis for (1.1) was initiated by Jost-Wang [24] and continued by Jost-Lin-Wang [26], Lin-Wei-Ye [32] and many mathematicians. There also have been a lot of work on the blow-up analysis for the Liouville system with conical singularities. Here we just mention the work of Chen-Li [10], Lin-Wei-Ye [32] and the recent work of Lin-Wei-Yang [33], Lin-Wei-Yang-Zhang [34]. When A is the Cartan matrix for a simple group, for example , (1.1) is called a Toda system, or a 2-dimensional open (or finite) Toda system. There are also work on the Toda system for other simple groups. See for example Karmakar-Lin-Nie [28]. Here we remark that such a system could be embedded in the Toda system for . The solutions of an (open) Toda system are closely related to holomorphic curves, harmonic maps and flat connections, see [2], [3], [14], [16].
Other than these open Toda systems there are another type of Liouville systems closely related to constant mean curvature surfaces, superconformal minimal surfaces and harmonic maps rather than holomorphic curves, which are usually called affine Toda systems or periodic Toda systems. The corresponding Liouville systems (or Toda systems) have also different features, though they are very close. The simplest equation is the well-known equation, especially in mathematical physics, the sinh-Gordon equation The blow-up analysis of (1.3) was initiated by Spruck in [39] and was continued by Ohtsuka-Suzuki in [37], where the existence of solutions were also studied. A more precise blow-up analysis was obtained by Jost-Wang-Ye-Zhou [27], where they showed that the local masses of blow-up must be multiples of 8π. The proof uses the connection of the solutions of (1.3) with constant mean curvature surfaces and harmonic maps. A possible drawback of this geometric proof is that it may work only for (1.3), not for the system with variable coefficients, namely, where and are two positive functions.1 The precise blow up analysis for (1.4) has been carried out recently by Jevnikar-Wei-Yang [22] by using a powerful analytic method. A similar blow-up analysis for the Tzitzeica equation was carried out in [21]. For the topological degree of the sinh-Gordon equation, see Jevnikar-Wei-Yang [23]. In this paper we want to generalize their analysis to the following system It is clear that the sinh-Gordon equation (1.3) is a special case of (1.5)-(1.6) with . This system is related to minimal surfaces into without superminimal points [19]. It was appeared already in the work on integrable system by Fordy-Gibbons in [18]. For the geometric formulation, we refer to the classical paper by Ferus-Pinkall-Pedit-Sterling [19]. For System (1.5)-(1.6) it is convenient to consider the following equivalent system: Let System (1.5)-(1.6) is now equivalent to the following system in .
Our main result in this paper is the following
Theorem 1.1 Let be a sequence of solutions of System (1.7)-(1.10) satisfying and with 0 being its only blow-up point in , i.e. Denote Then where V is defined
One can easily show that Here . The first 5 possibilities of are Since the roles of and are symmetric, we have not listed the obvious possibilities by changing and . When , it is easy to see that System (1.7)–(1.10) is reduced to the sinh-Gordon equation. The above result generalizes the previous results given in [39], [37], [27], [22] for sinh-Gordon equation.
The result holds also for System (1.7)–(1.9) with variable coefficients. We remark that like the sinh-Gordon equation one may expect all cases listed in V could occur. For the related work we refer to the work of Esposito-Wei [17] and Grossi-Pistoia [20] and reference therein. We leave this problem to the interested reader. With Theorem 1.1 one can obtain the existence of solutions for system (1.5)-(1.6) under suitable conditions. See for example [12], [26] and the work of Malchiodi for an approach to the existence [36].
This paper follows closely the arguments given in [22]. We do blow-up analysis for our system and obtain blow-up limits which are solution of either the Liouville equation (1.2) or the following system Except this complexity, there is one big difference. In order to describe this difference, let us first recall the key ideas in [22] for the sinh-Gordon equation. By using a selection process for describing the blow-up situations in the framework of prescribed curvature problems (see for example [8], [30]), the key point in [22] is to show that in each bubbling disk at least local mass ( or ) is a multiple of 4. More precisely, let be a bubbling disk. By using a standard blow-up analysis, one can easily get that there exists a sequence of numbers with , such that which roughly means that in one component of converges to a solution of the Liouville equation while the other converges to −∞. Here is the so-called local mass (or local energy) of . As r increases from to , there are two possibilities: either
(1) or , or
(2) there exists with and , such that one component of the solutions has slow decay (for the definition, see Definition 2.3 below). One only needs to care about case (2). In this case, the authors in [22] managed to show that as r increases across , one of () almost does not change while the other increases at least a positive quantity. More precisely they proved that there exists with and such that Then a local Pohozaev identity for the sinh-Gordon equation implies that This means the local energies increase always a multiple of 4, whenever r increases across such an . Then the results follow from a careful iteration argument.
For our system (1.7)–(1.9) we also have a similar local Pohozaev identity See Section 2 below. This identity plays also a crucial role in our proof. However, alone with this identity is not enough for our system, since we have 3 local energies. It could happen that when r increases, one of local energies keeps almost no change, other two local energies increase at least a positive quantity. One could not use the local Pohozaev identity to conclude that these two energies must increase a multiple of 4. In order to deal with this problem, we manage to do another blow-up near and obtain a “singular bubble”, which is either a solution of the Liouville equation (1.2) or the system (1.15), but with a singular source at the origin. See (3.22) and (3.23). The classification result in the recent work of Lin-Yang-Zhong [35] tells us that the corresponding local energies are a multiple of 4. Moreover, we show that between the previous blow-up and the singular bubble there is no energy loss. In order to show this we crucially use an oscillation estimate Lemma 2.2 and the local Pohozaev identity. This is the main difference to the paper of Jevnikar-Wei-Yang [22]. This proof's ideas come from the study of the harmonic maps, where one proves the so-called energy identity, see for example the work of Ding-Tian [13].
Our methods work at least also for the affine Toda system for , which includes the Tzitzeica equation as a special case. See Section 5 below. The blow-up analysis of the Tzitzeica equation [41] was carried out by Jevnikar-Yang [21] recently.
We want to emphasize that in the above blow-up analysis the classification of all entire solution of the blow-up limits plays a crucial role. The classification for the Liouville equation (1.2) was given by Chen-Li [9], for (1.1) for by Jost-Wang [24]. As mentioned above we need also the classification of entire solutions to the Liouville equation (1.2) and system (1.15) with a singular source. For such a result see the work of Lin-Wei-Ye [32] and Lin-Yang-Zhong [35] or Appendix below.
Recently there have been many interesting further results on the study of local mass of a blow-up sequence of open Toda systems (with or without singular sources) with the number of components more than two, for example the Toda systems with Lie algebras of . See the work of Lin-Yang-Zhong [35] and Karmakar-Lin-Nie [28] where there are also complicated (or even more complicated) blow-up phenomena. The main difference between our results, or other results for affine Toda systems in [39], [37], [27], [22], and the results in [35] and [28], or previous results for open Toda systems, is that affine Toda systems have infinitely many local blow-up possibilities, while open Toda systems have only finitely many local blow-up possibilities. Nevertheless, the blow-up analysis for affine Toda systems is established on the blow-up analysis for the corresponding Toda systems without or even with singular sources. This is showed in this paper. We believe that it is a general phenomenon.
The rest of the paper is organized as follows. In Section 2 we establish a selection process for finite number of bubbling areas, the oscillation estimate outside the blow-up set and the local Pohozaev identities corresponding to the blow-up analysis of system (2.1)-(2.4). In Section 3, we prove a local blow-up behavior Theorem 3.1 where we need to explore more careful blow-up analysis in the bubbling areas. With the help of local Theorem 3.1, by using a standard argument of combining the blow-up areas and a global Pohozaev identity, we give the proof of our main Theorem 1.1 in Section 4. In Section 5, we discuss another systems, affine Toda system for . The blow-up analysis holds for this system. In Section 6, we recall two classification theorems which are used in our proof. In Section 7 we review the relationship between the system (1.5)-(1.6) and the minimal surface into .
Section snippets
Some basic lemmas
In this section, we prove the selection of bubbling areas, a crucial oscillation estimate and the local Pohozaev identity, which play important roles in our later proof.
Let us repeat the system and the assumptions we will use in this paper in . We consider a sequence of solutions of (2.1)-(2.4) with a uniformly bounded energy and with 0 being its only blow-up point in , i.e.
Local blow-up behavior
In this section, we will prove a local blow-up behavior Theorem 3.1. This is a key step in the proof of our main Theorem 1.1. We need to do a more careful blow-up analysis in the bubbling domain. See the proof of Proposition 3.5.
By a translation we may assume for any k. Denote .
Theorem 3.1 Let be a solution of (2.1)-(2.4). Then we have either all have fast decay on and or there exists one component with slow
Proof of main Theorem 1.1
In this section, we will prove our main Theorem 1.1. We first recall the definition of the Group given by [33] which is very useful to differentiate the bubble areas.
Definition 4.1 Let be a subset of with at least two points. G is called a group if for any points with . For any with and any , there holds
Here two sequences of positive numbers and satisfying mean that
Affine Toda system
Another closely related completely integrable system is the following See [18]. When , it reduces to a scalar equation which is usually called Tzitzéica equation [41]. Its blow-up analysis was studied recently by Jevnikar-Yang [21]. Let It is clear to see that the above system is equivalent to It is usually the affine Toda system for . Our method works also
Appendix 1: classification results
In this Appendix we recall two classification results.
Theorem 6.1 Classification theorem Suppose is a solution ofin , with . Then we have and Proof Let . Then in , with . One can easily embed the above system into the open Toda system for with and . Then the classification theorem proved in [25] implies
Appendix 2: minimal surfaces in
In this Appendix we sketch the idea how to relate the system (1.5)-(1.6) to a minimal surface in . We use a reverse direction to describe this relationship as in [19], namely from a solution of (1.5)-(1.6) to a minimal surface. For the details and proofs, we refer to [19]. Let be a solution of (1.5)-(1.6). and . For simplicity we denote still by . Moreover, let and . Hence now satisfies the same equations as in [19].
References (41)
- et al.
The scalar curvature problem on the standard three dimensional sphere
J. Funct. Anal.
(1991) - et al.
Existence results for mean field equations
Ann. Inst. Henri Poincaré, Anal. Non Linéaire
(1999) - et al.
Harmonic maps from surfaces to complex projective spaces
Adv. Math.
(1983) - et al.
A priori estimates for D4 and F4 Toda systems
J. Funct. Anal.
(2020) - et al.
On conformal minimal immersions of into
Math. Ann.
(1988) - et al.
Some geometrical aspects of the 2-dimensional Toda equations
- et al.
Multiple solutions of H-systems and Rellich's conjecture
Commun. Pure Appl. Math.
(1984) - et al.
Uniform estimate and blow up behaviour for solutions of in two dimensions
Commun. Partial Differ. Equ.
(1991) - et al.
The scalar curvature equation on 2- and 3- spheres
Calc. Var. Partial Differ. Equ.
(1993) - et al.
Prescribing Gaussian curvature on
Acta Math.
(1987)
Estimate of the conformal scalar curvature equation via the method of moving planes. II
J. Differ. Geom.
Classification of solutions of some nonlinear elliptic equations
Duke Math. J.
What kinds of singular surfaces can admit constant curvature?
Duke Math. J.
Scalar curvatures on
Trans. Am. Math. Soc.
Gang energy identity for a class of approximate harmonic maps from surfaces
Commun. Anal. Geom.
Holomorphic curves and Toda systems
Lett. Math. Phys.
Self-Dual Chern-Simons Theories
Non-simple blow-up solutions for the Neumann two-dimensional sinh-Gordon equation
Calc. Var. Partial Differ. Equ.
Integrable nonlinear Klein-Gordon equations and Toda lattices
Commun. Math. Phys.
Minimal tori in
J. Reine Angew. Math.
Cited by (7)
Exact solutions for two dimensional D<inf>n</inf><sup>(1)</sup> Toda equation
2024, Communications in Nonlinear Science and Numerical SimulationOn-machine measurement method of hole parallelism error based on multi-sensor fusion
2024, Measurement Science and TechnologyThe Blow-Up Analysis on B<inf>2</inf><sup>(1)</sup>Affine Toda System: Local Mass and Affine Weyl Group
2023, International Mathematics Research NoticesMeasurement and evaluation of wheel profiles of a rail vehicle on an underfloor wheelset lathe
2022, Measurement Science and TechnologyDecoupling method for four-degree-of-freedom automatic centering and tilting worktable
2022, Measurement Science and Technology