Abstract
We introduce a new energy functional of conformal invariance and consider its critical points, named the m-symphonic map. We study a Hölder continuity of m-symphonic maps from domains of \(\mathbb {R}^m\) into the spheres in the higher dimension \(m \ge 4\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Symphonic maps are critical points of the energy functional, called symphonic energy,
for any smooth map u from a compact Riemannian manifold \((M,\,g)\) into another compact Riemannian manifold \((N,\,h)\), where \(u^*h\) denotes the pullback of the metric h by u,
for any vector fields X, Y on M, and \(d\omega _g\) is the volume form on \((M,\,g)\). The squared integral of the trace of the pullback \(u^*h\)
is the well-known 4-energy. The difference between the pullback and the trace
is a measurement of the conformality of a map from (M, g) to (N, h), since \(T_u = 0\), if a map u is conformal, where m is the dimension of the source manifold M. The maps u satisfying \(T_u = 0\) is called weakly conformal, that is, \(d u = 0\) or u is conformal. The squared integral of \(T_u\)
is introduced to look for maps closest to conformal ones. The first and second variation formulas, monotonicity type formula and Bochner type formula are derived and critical points of the functional are geometrically studied, relating to the conformality and homotopy of maps [15, 20, 21]. \(T_u\) is also equal to the stress energy tensor in the two dimension case \(m = 2\) (refer to [3, 4, p. 392]). Both of the 4-energy and the symphonic energy (1.1) are conformally invariant in the four dimensional domain. While the symphonic energy density is the norm of the pullback \(u^*h\), the 4-energy density is the trace of the pullback \(u^*h\). Thus, the symphonic energy may have more geometric information than that of the 4-energy. That is our motivation of studying the symphonic maps.
The higher dimensional \(m \ge 4\) analogue to (1.1) is the following functional on the m-dimensional domain, called m-symphonic energy,
which is indeed invariant under any conformal changes of metrics of the m-dimensional domain. Critical points of m-symphonic energy is called m-symphonic maps. The m-symphonic maps naturally concern the usual m-harmonic maps, as explained above, and also the higher dimensional hypersurface of prescribed mean curvature, that reflects the regularity proof by use of the determinant structure of nonlinear term (see [14, 23, 26]). In this paper we prove the following regularity for m-symphonic maps, \(m \ge 4\), that extends the previous result for symphonic maps in [18] to the higher dimension \(m \ge 4\):
Main Theorem
(Theorem 5.1) Let \(m \ge 4\) and \(\Omega \) be a domain of the m-dimensional Euclidean space \(\mathbb {R}^m\). Then any m-symphonic map from \(\Omega \) into the standard sphere is Hölder continuous.
The main theorem follows from a similar argument as in [18], of that the key ingredient is the determinant structure of the nonlinear term coming from the target constraint. The compensatory regularity of the determinant is nowadays well known and is applied to geometric equations such as harmonic maps, originally, two or higher dimensional surface of prescribed mean curvature. See [5, 12] for harmonic maps, [25, 27] for p-harmonic maps, [11] for polyharmonic maps, [22] for a new Sobolev type inequality and [16] for the H-system heat flow. However, here an algebraic property specific to the p-symphonic operator is emphasized, that is the following monotonicity inequality (Proposition 3.1):
for any vectors A \(=\) \((A_1,\,A_2,\,\ldots \,,\,A_n)\) and B \(=\) \((B_1,\,B_2,\,\ldots \,,\,B_n)\), where \(\sigma (\ )\) denotes the symphonic energy density form:
The coercive inequality above for the p-symphonic operator is clearly different from that of the p-harmonic operator. The m-symphonic energy (1.2) is an m/2 powered integral of the norm of the pullback \(u^*h\), on the other hand, the well-known m-harmonic maps are critical points of the m-energy, an m/2 powered integral of the trace of the pullback \(u^*h\),
The coerciveness of the p-symphonic operator seems to stem from the norm of pullback metric. Refer to the proof of Proposition 3.1. The proof of regularity as in the main theorem follows from the local energy growth estimate, Theorem 5.2 below. The m-symphonic maps on the m-dimensional domain is on the energy critical case in the sense that the local m-energy on a m-dimensional ball is invariant under the usual scaling transformation (see Theorem 5.2, 5.1, 5.6) in Sect. 5). Thus, the regularity criterion may naturally be given by the local energy, similarly as the m-harmonic maps on the m-dimensional domain. Such regularity argument as above have already been performed in the case that \(m = 4\) by [17, 18]. Thus, the process and ingredients of the proof in the higher dimension \(m \ge 4\) here are similar to that of [18]. Based on the usual rescaling argument, the classical regularity tools well-known nowadays are employed, such as Hardy and BMO estimates with the duality between the Hardy space and BMO space (see Sect. 4). Such regularity methods have been applied for harmonic and p-harmonic maps (refer to [5, 12, 25, 27]). Here, we shall show how to make use of the algebraic structure of the principal part in the p-symphonic maps, presented above, in the regularity proof.
2 Preliminaries
We gather the notations, used in the followings.
The pullback \(u^*h\) on the standard metric \(h = \left( h_{\alpha \beta } (u)\right) = \left( \delta _{\alpha \beta }\right) \) of \(\mathbb {R}^n\) is
and
where \(g = \left( g_{i j}\right) = \left( \delta _{i j}\right) \) denotes the standard metric on \(\mathbb {R}^m\), \(g^{- 1} = \left( g^{i j}\right) \) and thus,
Let \(\Omega \) be a domain in \(\mathbb {R}^m\), \(m \ge 1\), and \(p > 1\). The Sobolev space of \(\mathbb {R}^n\)-valued \( L^p\)-functions on \(\Omega \) is denoted by \(L^{1,\,p} \left( \Omega , \, \mathbb {R}^n\right) \), \(n \ge 1\),
where dx is the Lebesgue measure, and \(D_i u^\alpha \), \(i = 1, \, \ldots , \, m ;\) \(\alpha = 1, \, \ldots , \, n\), are weak derivatives and \(D u (x) = \left( D_i u^\alpha (x)\right) \) is the gradient. \(L^{1, \, p}_0 (\Omega , \, \mathbb {R}^n)\) is the completion on \(L^{1, \, p}\)-norm of \(\mathbb {R}^n\)-valued smooth maps with compact support on \(\Omega \). The \(\mathbb {S}^{n- 1}\)-valued Sobolev maps on \(\Omega \), \(L^{1, \, p} (\Omega , \, \mathbb {S}^{n - 1})\), is defined as be
The p-symphonic energy is introduced as follows:
Definition 2.1
(p-symphonic energy) Let \(p > 1\). The p-symphonic energy is defined as
for \(u \in L^{1, \, p}(\Omega , \, \mathbb {R}^n)\), where
is the symphonic energy density.
Remark 2.1
The p-symphonic energy density is of p-th powered gradients. In fact, there exists a positive constant \(C > 1\) such that
A weak solution of p-symphonic maps from \(\Omega \) into \(\mathbb {S}^{n-1}\) is given as follows:
Definition 2.2
Let \(p > 1\). A weakly p-symphonic map u is defined as a weak solution \(u \in L^{1, \, p}(\Omega , \, \mathbb {S}^{n - 1})\) of the Euler-Lagrange equation for the p-symphonic energy \(E^{sym}_{p} (u)\)
that is, for any \(\phi \in L^{1, \, p}_0 \cap L^\infty (\Omega , \, \mathbb {R}^n)\),
Now we consider a weak solution of
The operator in left hand side of (2.4) is called as p-symphonic operator. We shall present the Hölder regularity of a weak solution of (2.4), for later use.
Lemma 2.1
Let \(v \in L^{1, \, m} \left( B (1), \, \mathbb {R}^n\right) \) be a weak solution to (2.4). Then there exist positive constants \(\alpha < 1\) and C depending only on m such that
for any positive number \(r < 1\) and, in particular, v is Hölder continuous in B(1/2) with an exponent \(\alpha \).
Proof
We argue as in the proof of Theorem 1 in [17] (also refer to [10, 19]). The growth estimate of local energy in (2.5) is shown to hold for a local minimizer. If the target manifold \((\mathbb {R}^n, \, h)\) has the Euclidean metric \(h = \left( \delta _{\alpha \beta }\right) \), then the Euler-Lagrange equation is (5.14) and a weak solution of (5.14) is a local minimizer. Putting \(F (P) = \sigma (P)^{m / 4}=\left\{ \sum _{i, \, j = 1}^m \left( P_i \cdot P_j \right) ^2 \right\} ^{m / 4} \) for any \(P = \left( P_i^\alpha \right) \), its second derivative in componentwise is
and thus, its quadratic form is
where the Cauchy inequality is used for the second term of the right hand side in the first equality. So, the local minimality of a weak solution follows from the Taylor expansion. The Hölder regularity follows from Morrey’s Dirichlet growth theorem with (2.5), as usual (see [9, 10, 19]). \(\square \)
3 A monotonicity inequality for \(\varvec{p}\)-symphonic operator
Here, an algebraic inequality associated with the p-symphonic maps is presented, that will be crucially used in the regularity proof later.
Proposition 3.1
For any vectors A \(=\) \((A_i)\), B \(=\) \((B_i)\) with \(A_i,\) \(B_i \in \mathbb {R}^m\), \(i = 1, \ldots , m\), let \(\sigma (\ )\) denote the symphonic energy density form :
Suppose that \(p \ge 4\). Then, it hold true that
and that
Proof
Put the notation
Noting that \(a_{ij}\) and \(b_{ij}\) are positive semi-definite, we have
Replacing A by B we get
A direct computation yields
which is furthermore estimated below by (3.4, 3.5)
The above quantities are arranged and computed as
The last inequality follows from the non-negativity of the second term in the previous quantity, since p \(\ge \) 4. The inequality (3.2) is obtained.
For the proof of (3.3), put the notation
By direct computation we have
and thus,
where, in the last inequality, we use the Schwarz inequality in \(\mathbb {R}^{m^2}\) to estimate
The proof of (3.3) is complete. \(\square \)
4 Function spaces
The Hardy space and the space of functions of bounded mean oscillation are crucially used in the proof of the main theorem. Here let us recall the definitions and properties of these function spaces (See more details in [7, 24, 28]).
Definition 4.1
(Hardy space) Let u be in \(L^1 (\mathbb {R}^m)\). We say that u belongs to the Hardy space \({\mathcal {H}}^1 (\mathbb {R}^m)\) if the grand maximal function of u
is finite in \(L^1 (\mathbb {R}^m)\) , where \(\phi _r(x) = r^{- m}\phi (r^{- 1} x)\) for \(r > 0\) and \(\phi \) is a smooth function on \(\mathbb {R}^m\) with compact support in \(B (0, \, 1)=\{x \in \mathbb {R}^m ; |x| < 1\}\). The definition dose not depend on choice of a function \(\phi \).
Definition 4.2
(Functions of bounded mean oscillation) Let u belong to \(L^{1}_{\mathrm{loc}} (\mathbb {R}^m)\). u is of bounded mean oscillation (abbreviated as BMO) if
where the supremum is taken over all finite ball B \(\subset \) \(\mathbb {R}^m\), |B| is the n-dimensional Lebesgue measure of B, and \((u)_B\) denotes the integral average of u over B, \((u)_B = \frac{1}{|B|} \ \int _B u(x) dx\).
The functions space \(\mathrm{BMO}\), modulo constants, is a Banach space with the norm \(\Vert \cdot \Vert _{BMO}\) defined above.
We will need the Hardy and BMO spaces on the domain \(\Omega \subset \mathbb {R}^m\).
Definition 4.3
(Hardy space on \(\Omega \)) \(L^1 (\Omega )\)-function u belongs to \(\mathcal {H}^1 (\Omega )\) if and only if \({\widetilde{u}} \in \mathcal {H}^1 (\mathbb {R}^m)\), where \({\widetilde{u}}\) is the extension of u by letting \(u = 0\) outside \(\Omega \). A norm on \(\mathcal {H}^1 (\Omega )\) is defined as
Definition 4.4
(BMO on \(\Omega \)) \(L^1 (\Omega )\)-function u is in \(BMO (\Omega )\) if and only if \({\widetilde{u}} \in BMO (\mathbb {R}^m)\), where \({\widetilde{u}}\) is the extension of u to all of \(\mathbb {R}^m\) by letting \(u = 0\) outside \(\Omega \). A norm on \(BMO (\Omega )\) is defined as
The Fefferman-Stein inequality means the duality between \(\mathcal {H}^1(\mathbb {R}^m)\) and \(BMO(\mathbb {R}^m)\), \((\mathcal {H}^1(\mathbb {R}^m))^{*} = BMO(\mathbb {R}^m)\). See the proof in [7, 24].
Lemma 4.1
(Fefferman-Stein inequality) Whenever \(u \in \mathcal {H}^1(\mathbb {R}^m)\) and \(v \in BMO(\mathbb {R}^m)\), there holds
where the positive constant C depending only on n.
Finally, we require the Hardy space estimate in \(L^p\)-setting, due to Coifman, Lions, Meyer and Semmes (refer the proof in [2, 5]).
Lemma 4.2
Suppose that \(u \in L^{1, \, m} (\mathbb {R}^n, \, \mathbb {R})\) and \(v = \left( v^i\right) \in L^{m / (m - 1)} (\mathbb {R}^n, \mathbb {R}^n)\), and furthermore,
Then there holds \(v \cdot D u = \sum _{i = 1}^m v^i \, D_i u \in \mathcal {H}^1 (\mathbb {R}^n, \, \mathbb {R})\) and
5 Hölder continuity of \(\varvec{m}\)-symphonic maps
In this section we shall prove our main theorem.
Theorem 5.1
Let \(\Omega \) be a domain of the m-dimensional Euclidean space \(\mathbb {R}^m\) with \(m \ge 4\). Then any m-symphonic map from \(\Omega \) into the standard sphere is Hölder continuous.
The proof of Theorem 5.1 is based on a local energy growth estimate (refer to [9, 10, 13, 29]).
Let \(\Omega \subset \mathbb {R}^m\) be a domain and \(u \in L^{1,\,m} (\Omega ,\, \mathbb {S}^n)\) be a weakly m-symphonic map as in Definition 2.2. For any ball \(B (x_0, \, r) \subset \Omega \), the local energy is defined by
Theorem 5.2
(Energy growth estimate) There exist positive constants \(\varepsilon _0, \, \theta < 1\) such that the following holds true: If, for \(B (x_0, \, r) \subset \Omega \) with \(x_0 \in \Omega \) and \(r > 0\),
then
The everywhere regularity of a weakly m-symphonic map in Theorem 5.1 follows from applying inductively Theorem 5.2 (refer to [18, Proof of Theorem 1.1, Page 7–8]) : There exists a positive number \(\alpha < 1\) such that
holds for any \({\bar{x}} \in B (x_0, \, R_0 / 2)\) and any positive number \(\rho < R_0 / 2\). Finally, we employ the Morrey Dirichlet growth theorem to have that the solution u is uniformly Hölder continuous in \(B (x_0, \, R_0 / 2)\) and thus, locally Hölder continuous in \(\Omega \).
Proof of Theorem 5.2
We proceed the proof by reduction to absurdity. Suppose that, for any positive number \(\theta < 1\), there exist families of weak solutions \(\{u_k\}\) and balls \(B (x_k, r_k) \subset \Omega \), \(k = 1, 2, \ldots \), such that
and
Now we make a scaling transformation as follows: For \(x \in B (1) = B (0, 1)\) let
Then, we find by (5.1), (5.6) and Poincaré inequality that
On the other hand, (5.5) is equivalent to
By (5.8), the sequence \(\{v_k\}\) is bounded in \(L^{1,\,m} (B (1), \mathbb {R}^n)\) and thus, there exist a subsequence \(\{v_k\}\), denoted by the same notation as above, and the limit map \(v_\infty \in L^{1,\,m} (B (1), \mathbb {R}^n)\) such that
Each scaled solution \(v_k\) also satisfies the scaled equation of the symphonic maps on B(1)
for any smooth map \(\phi \) defined on B(1) into \(\mathbb {R}^n\), with compact support. By (5.6) it is clear that
Now we assert that the limit map \(v_\infty \) satisfies
for any \(\mathbb {R}^n\)-valued smooth map \(\phi \) on B(1) with compact support. The proof will be given in Sect. 6.
By (5.8) and (2.5), there holds
provided \(\theta \) is chosen small such that
Here we shall claim the strong convergence of gradients, that is proved in Sect. 7,
and, in particular,
Then, taking the limit \(k \rightarrow \infty \) in (5.9) forces, for \(\theta < 1 / 2\),
contradicting to the limit taken in (5.15) as \(k \rightarrow \infty \). \(\square \)
6 Weak compactness
In this section we show the validity of (5.14), that is, the limit map \(v_\infty \) obtained in (5.10) and (5.11) verifies (5.14).
Theorem 6.1
Let \(v = v_\infty \in L^{1,\,m} (B (1), \mathbb {R}^n)\) be the limit map obtained by (5.10) and (5.11). Then it holds that
for any \(\mathbb {R}^n\)-valued smooth map \(\phi \) with compact support in B(1).
The proof relies on a weak compactness, that is the convergence in the distributional sense of our m-symphonic operator
under that of sequence \(\{v_k\}\) in (5.11) and (5.10) (refer to [6] for harmonic case and [1, 8, 30] for p-Laplacian case).
Lemma 6.1
(Strong convergence of the gradient) There holds, for any \(\mu \), \(1 \le \mu < 2\), and any K compactly contained in B(1),
Proof
For the symphonic maps with \(p = 4\) the similar assertion as above is obtained in [18], following the argument in [1, Theorem 2.1, pp. 31–33]. Here, the proof is almost same as that in in the symphonic maps case \(p = 4\), except for the use of algebraic inequalities. Thus, we indicate only how to use the algebraic inequalities Proposition 3.1 peculiar to the p-symphonic operator.
Let, for any positive \(\delta < 1\) and \(k \ge 1\),
The estimation in [18, (5.7), Page 12] is changed in the following: By use of the algebraic inequality (3.2) in Proposition 3.1 we compute as
The estimation of each term in the right hand side of (6.5) is performed similarly as in [18, Page 11–14]. \(\square \)
Now the proof of Theorem 6.1 follows from Lemma 6.1.
Proof of Theorem 6.1
Let \(\phi \) be a \(\mathbb {R}^n\)-valued smooth map with compact support in B(1). We compute as
The second term in the right hand side of (6.6) simply converges to zero as \(k \rightarrow \infty \), by the weak convergence (5.11), since, with \(m^\prime = \frac{m}{m - 1}\),
By virtue of (6.3) in Lemma 6.1, the first term in the right hand side of (6.6) is estimated above as
Here, the first inequality of (6.7) is by the Schwarz inequality for Euclidean inner product on \(\mathbb {R}^{m^2}\). The second inequality follows from the algebraic inequality (3.3) in Proposition 3.1. In the last inequality of (6.7), the Hölder inequality is used with exponent \(\mu \) as
and thus, the second term in the right hand side of (6.7) is bounded by (5.8) and, by (6.3) in Lemma 6.1, the first term goes to zero as \(k \rightarrow \infty \).
Finally, we apply the convergence in (6.6) for the scaled equation (5.12) with (5.4), (5.8) and (5.13), to have (6.1). \(\square \)
7 Strong compactness
In this section we will show the strong convergence of \(\{D v_k\}\) in (6.3), Here the maps \(v_k\) and \(v_\infty \) are extended into all of the space \(\mathbb {R}^m\) by letting \(v_k = 0\) and \(v_\infty = 0\) outside \(B (1) = B (0, 1)\). Let \(\eta \) be a real-valued smooth function on \(\mathbb {R}^m\) such that \(0 \le \eta \le 1\), \(\text{supp } \, \eta \subset B (5 / 8)\) and \(\eta = 1\) in B(1/2). In the following we often the abbreviate as B(r) a ball \(B (0, \, r)\) with center of the origin 0 and radius \(r > 0\). Now we present the BMO estimate, that is similar to [18, Lemma 6.1, Page 16] (also see [5]).
Lemma 7.1
The sequence \(\{\eta \, v_k\}\) is bounded in \(BMO (\mathbb {R}^m, \mathbb {R}^n)\).
Now we define the vector field on B(1) as
for \(\alpha , \, \beta = 1, \ldots , n\) and \(k = 1, 2, \ldots \).
Lemma 7.2
The sequence \(F_k^{\alpha \, \beta }\) of \(\mathbb {R}^m\)-valued vector fields is bounded in \(L^{m / {m - 1}} (B (1), \, \mathbb {R}^m)\) for \(\alpha , \, \beta = 1, \ldots , n\), and satisfies
for any \(k = 1, 2, \ldots \) and, for any real-valued function \(\phi \in L^{1, \, m}_0 \cap L^\infty (B (1), \, \mathbb {R})\).
The proof is done similarly as in [18, Lemma 6.2, Page 17–18].
Lemma 7.3
The sequence \(\left\{ D \left( \eta \, v_k^\alpha \right) \cdot F_k^{\alpha \, \beta } \right\} \) is bounded in \(\mathcal {H}^1 (\mathbb {R}^m, \, \mathbb {R})\) for any \(\alpha , \, \beta = 1, \ldots , n\).
Proof
Since \(v_k \in L^{1, \, m} (B (1), \, \mathbb {R}^n)\) by (5.8), the assertion is obtained from Lemma 7.2 and (4.2) in Lemma 4.2. \(\square \)
Proposition 7.1
The sequence \(\{D v_k\}\) of gradients of the scaled solutions is strongly convergent in the following sense: For any \(i, j = 1, \ldots , m\),
Proof
Subtracting (5.14) for the limit map \(v = v_\infty \) from (5.12) for \(v_k\) we have
for any \(\phi \in L^{1,\, m}_0 \cap L^\infty (B (1), \, \mathbb {R}^n)\). Choosing \(\phi = \eta ^2 \, \left( v_k - v\right) \) in (7.4), the left hand side of the resulting equation is estimated below as
where the algebraic inequality (3.2) in Proposition 3.1 is applied for the first term, and the Hölder inequality for the second term. The right hand side of (7.4) is computed by use of the so-called Hélein technique
where we use by (5.6) and (5.13) that
By the Fefferman-Stein inequality, Lemma 4.1, the first term in the right hand side of (7.6) is bounded for each \(\alpha , \, \beta = 1, \ldots , n\) by
where Lemmas 7.1 and 7.3 are crucially used and, \(\eta \, v\) is in \(BMO (\mathbb {R}^m, \mathbb {R}^n)\), by the Poimcaré inequality, (5.8) and (5.11). The second term in the right hand side of (7.6) is estimated above for each \(\alpha , \beta = 1, \ldots , n\) as
where, again, by (5.8), the sequence \(\left\{ F_k^{\alpha \, \beta } \right\} \) is bounded in \(L^{m / (m - 1)} (B (1), \, \mathbb {R}^m)\) and, the sequence \(\left\{ v_k^\alpha \, \left( v_k^\beta - v^\beta \right) \right\} \) is also bounded in \(L^m (B (1), \, \mathbb {R}^{n^2})\) by the Sobolev inequality in the m-dimensional domain B(1), \(L^{1,\,m} (B (1)) \hookrightarrow L^q (B (1))\) for any \(q \ge 1\) and (5.8)
Finally, the desired convergence (7.3) follows from (7.4), (7.5), (7.6), (7.8) and (7.9). \(\square \)
References
Chen, Y., Hong, M.-C., Hungerbühler, N.: Heat flow of \(p\)-harmonic maps with values into spheres. Math. Z. 215, 25–35 (1994)
Coifman, R., Lions, P.L., Meyer, Y., Semmes, S.: Compensated compactness and Hardy spaces. J. Math. Pures Appl. 72, 247–286 (1993)
Eells, J., Lemaire, L.: A report on harmonic maps. Bull. Lond. Math. Soc. 10, 1–68 (1978)
Eells, J., Lemaire, L.: Another report on harmonic maps. Bull. Lond. Math. Soc. 20, 385–524 (1988)
Evans, L.C.: Partial regularity for stationary harmonic maps into spheres, Arch. Ration. Mech. Anal. 20, 385–524 (1988)
Evans, L.C.: Weak convergence methods of nonlinear partial differential equations. CBMS Regional Conference Series in Mathematics, 74. Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI (1990)
Fefferman, C., Stein, E.M.: \(H^{p}\) spaces of several variables. Acta Math. 192(3–4), 137–193 (1972)
Fuchs, M.: The blow-up of \(p\)-harmonic maps. Manuscr. math. 81, 89–94 (1993)
Giaquinta, M.: Introduction to Regularity Theory for Nonlinear Elliptic Systems. Birkhäuser Verlag, Basel (1993)
Giusti, E.: Direct Methods in the Calculus of Variations. World Scientific Publishing Co., London (2003)
Goldstein, P., Strzelecki, P., Zatorska-Goldstein, A.: On polyharmonic maps into spheres in the critical dimension. Ann. Inst. H. Poincaré Anal. Non. Linéaire 26, 1387–1405 (2009)
Hélein, F.: Harmonic maps, conservation laws and moving frames, Cambridge Tracs in Mathematics, vol. 150. Cambridge University Press, Cambridge (2002)
Hildebrandt, S., Widman, K.-O.: Some regularity results for quasilinear elliptic systems of second order. Math. Z. 142, 67–86 (1975)
Iwaniec, T., Martin, G.: Geometric function theory and non-linear analysis, Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, New York, (2001). Zbl 1045.30011 MR 1859913
Kawai, S., Nakauchi, N.: Some results for stationary maps of a functional related to pullback metrics. Nonlinear Anal. 74, 2284–2295 (2011)
Leone, C., Misawa, M., Verde, A.: A global existence result for the heat flow of higher dimensional H-systems. J. Math. Pures Appl. 97(3), 282–294 (2012)
Misawa, M., Nakauchi, N.: A Hölder continuity of minimizing symphonic maps. Nonlinear Anal. 75, 5971–5974 (2012)
Misawa, M., Nakauchi, N.: A Hölder continuity of symphonic maps into the spheres. Calc. Var. PDE 55, 1–20 (2016)
Morrey, C.B.: Multiple Integrals in the Calculus of Variations. Springer, Berlin (1966)
Nakauchi, N.: A variational problem related to conformal maps. Osaka J. Math. 48, 717–739 (2011)
Nakauchi, N., Takenaka, Y.: A variational problem for pullback metrics. Ricerche di Mat. 60, 219–235 (2011)
Riviére, T., Strzelecki, P.: A sharp nonlinear Gagliardo-Nirenberg-type estimates and applications to the regularity of elliptic systems. Comm. Partial Differ. Equ. 30(4–6), 589–604 (2005)
Schikorra, A., Strzelecki, P.: Invitation to H-systems in higher dimensions: known results, new facts, and related open problems. EMS Surv. Math. Sci. 4(1), 21–42 (2017)
Stein, E.M.: Harmonic Analysis, Real-Variable Methods, Orthogonality, and Oscillatory Integrals. Princeton University Press, Princeton (1993)
Strzelecki, P.: Regularity of p-harmonic maps from p-dimensional ball into a sphere. Manuscr. Math. 82(3–4), 407–415 (1994)
Strzelecki, P., Zatorska-Goldstein, A.: A compactness theorem for weak solutions of higher-dimensional H-systems. Duke Math. J. 121(2), 269–284 (2004)
Takeuchi, H.: Some conformal properties of p-harmonic maps and a regularity for sphere-valued p-harmonic maps. J. Math. Soc. Jpn. 46(2), 217–234 (1994)
Torchinsky, A.: Real Variable Methods in Harmonic Analysis. Academic Press, New York (1986)
Widman, K.-O.: Hölder continuity of solutions of elliptic systems. Manuscr. Math. 5, 299–308 (1971)
Zeidler, E.: Nonlinear Functional Analysis and its Applications II / B (Nonlinear Monotonic operators). Springer, New York (1990)
Acknowledgements
This work was partially supported by the Grant-in-Aid for Scientific Research (C) No.15K04962, No.18K03375 (Misawa) and No.15K04846, No.18K03280 (Nakauchi) at Japan Society for the Promotion of Science. We would like to appreciate the reviewers for their support and advice in references.
Author information
Authors and Affiliations
Corresponding author
Additional information
This article is part of the section “Theory of PDEs” edited by Eduardo Teixeira.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.