Given two Jordan curves in a Riemannian manifold, a minimal surface of annulus type bounded by these curves is described as the harmonic extension of a critical point of some functional (the Dirichlet integral) in a certain space of boundary parametrizations. The $H^{2,2}$-regularity of the minimal surface of annulus type will be proved by applying the critical points theory and Morrey's growth condition.
Unstable minimal surfaces are the unstable stationary points of the Dirichlet-Integral. In order to obtain unstable solutions, the method of the gradient flow together with the minimax-principle is generally used. The application of this method for minimal surfaces in the Euclidean spacce was presented in \cite{s3}. We extend this theory for obtaining unstable minimal surfaces in Riemannian manifolds. In particular, we handle minimal surfaces of annulus type, i.e. we prescribe two Jordan curves of class $C^3$ in a Riemannian manifold and prove the existence of unstable minimal surfaces of annu…
We establish continuous maximal regularity results for parabolic differential operators acting on sections of tensor bundles on Riemannian manifolds. As an application, we show that solutions to the Yamabe flow instantaneously regularize and become real analytic in space and time. The regularity result is obtained by introducing a family of parameter-dependent diffeomorphims acting on functions over Riemannian manifolds in conjunction with maximal regularity and the implicit function theorem.
We show the smoothness of weakly Dirac-harmonic maps from a closed spin Riemann surface into stationary Lorentzian manifolds, and obtain a regularity theorem for a class of critical elliptic systems without anti-symmetry structures.
Minimal surfaces in the sub-Riemannian Heisenberg group can be constructed by means of a Riemannian approximation scheme, as limit of Riemannian minimal surfaces. We study the regularity of Lipschitz, non-characteristic minimal surfaces which arise as such limits. Our main results are a-priori estimates on the solutions of the approximating Riemannian PDE and the ensuing $C^{\infty}$ regularity of the sub-Riemannian minimal surface along its Legendrian foliation.
We derive a priori second order estimates for solutions of a class of fully nonlinear elliptic equations on Riemannian manifolds under some very general structure conditions. We treat both equations on closed manifolds, and the Dirichlet problem on manifolds with boundary without any geometric restrictions to the boundary except being smooth and compact. As applications of these estimates we obtain results on regularity and existence.
In this paper, we study the Sobolev regularity of solutions to nonlinear second order elliptic equations with super-linear first-order terms on Riemannian manifolds, complemented with Neumann boundary conditions, when the source term of the equation belongs to a Lebesgue space, under various integrability regimes. Our method is based on an integral refinement of the Bochner's identity, and leads to "semilinear Calderón-Zygmund" type results. Applications to the problem of smoothness of solutions to Mean Field Games systems with Neumann boundary conditions posed on convex domains of the Euclide…
The key condition A3w of Ma, Trudinger and Wang for regularity of optimal transportation maps is implied by the nonnegativity of a pseudo-Riemannian curvature -- which we call cross-curvature -- induced by the transportation cost. For the Riemannian distance squared cost, it is shown that (1) cross-curvature nonnegativity is preserved for products of two manifolds; (2) both A3w and cross-curvature nonnegativity are inherited by Riemannian submersions; and (3) the $n$-dimensional round sphere satisfies cross-curvature nonnegativity. From these results, a large new class of Riemannian manifolds …
We study the stability of the Positive Mass Theorem (PMT) and the Riemannian Penrose Inequality (RPI) in the case where a region of an asymptotically flat manifold $M^3$ can be foliated by a smooth solution of Inverse Mean Curvature Flow (IMCF) which is uniformly controlled. We consider a sequence of regions of asymptotically flat manifolds $U_T^i\subset M_i^3$, foliated by a smooth solution to IMCF which is uniformly controlled, and if $\partial U_T^i = Σ_0^i \cup Σ_T^i$ and $m_H(Σ_T^i) \rightarrow 0$ then $U_T^i$ converges to a flat annulus with respect to $L^2$ metric convergence. If instea…
In this paper we consider surfaces of class $C^1$ with continuous prescribed mean curvature in a three-dimensional contact sub-Riemannian manifold and prove that their characteristic curves are of class $C^2$. This regularity result also holds for critical points of the sub-Riemannian perimeter under a volume constraint. All results are valid in the first Heisenberg group $\mathbb{H}^1$.
The aim of this note is to present an alternative proof for an already known result relative to the solvability of the Dirichlet problem in Riemannian manifolds (see remark 0.1). In particular, we discuss the p-regularity (regularity relative to the p-laplacian) of domains of the form I = O-K, where O is a regular domain and K is a regular submanifold of variable codimension (see theorem 4.4). In theorem 5.1 we prove a sort of generalized external cone condition for the regularity of domains in Riemaniann manifolds giving a geometric and intuitive proof of this fact.
A Sharp Regularity Threshold for Uniqueness in Riemannian Calderón-type Problems
Université Marie et Louis Pasteur（玛丽和路易·巴斯德大学）；Instituto de Ciencias Matemáticas, Consejo Superior de Investigaciones Científicas（高等科学研究委员会数学科学研究所）；Nantes Université（南特大学）；McGill University（麦吉尔大学）
Let $M$ be an $n$-dimensional complete simply connected Riemannian manifold with sectional curvature bounded above by a nonpositive constant $-κ^2$. Using the cone total curvature $TC(Γ)$ of a graph $Γ$ which was introduced by Gulliver and Yamada Math. Z. 2006, we prove that the density at any point of a soap film-like surface $Σ$ spanning a graph $Γ\subset M$ is less than or equal to $\frac{1}{2π}\{TC(Γ) - κ^{2}\area(p\mbox{$\times\hspace*{-0.178cm}\times$}Γ)\}$. From this density estimate we obtain the regularity theorems for soap film-like surfaces spanning graphs with small total curvature…
We prove the $C^{1}$ regularity for a class of abnormal length-minimizers in rank $2$ sub-Riemannian structures. As a consequence of our result, all length-minimizers for rank $2$ sub-Riemannian structures of step up to $4$ are of class $C^{1}$.
We prove that the boundary of the trapped region in an asymptotically Euclidean Riemannian manifold of dimension at least 3 is a stable smooth minimal hypersurface except for a singular set of codimension at least 8.
We are concerned with the global weak rigidity of the Gauss-Codazzi-Ricci (GCR) equations on Riemannian manifolds and the corresponding isometric immersions of Riemannian manifolds into the Euclidean spaces. We develop a unified intrinsic approach to establish the global weak rigidity of both the GCR equations and isometric immersions of the Riemannian manifolds, independent of the local coordinates, and provide further insights of the previous local results and arguments. The critical case has also been analyzed. To achieve this, we first reformulate the GCR equations with div-curl structure …
We study the existence and regularity of solutions to the Cauchy problem for the inhomogeneous heat equation on compact Riemannian manifolds with conical singularities. We introduce weighted Hölder and Sobolev spaces with discrete asymptotics and we prove existence and maximal regularity of solutions to the Cauchy problem for the inhomogeneous heat equation, when the free term lies in a weighted parabolic Hölder or Sobolev space with discrete asymptotics. This generalizes a result previously obtained by Coriasco, Schrohe, and Seiler (Thm. 7.2 in Math. Z. 244 (2003), 235--269) by different mean…
In this paper we consider a set $E\subsetΩ$ with prescribed mean curvature $f\in C(Ω)$ and Euclidean Lipschitz boundary $\partial E=Σ$ inside a three-dimensional contact sub-Riemannian manifold $M$. We prove that if $Σ$ is locally a regular intrinsic graph, the characteristic curves are of class $C^2$. The result is shape and improves the ones contained in \cite{MR2583494} and \cite{GalRit15}.
We study the stability of the Positive Mass Theorem (PMT) and the Riemannian Penrose Inequality (RPI) in the case where a region of an asymptotically hyperbolic manifold $M^3$ can be foliated by a smooth solution of Inverse Mean Curvature Flow (IMCF) which is uniformly controlled. We consider a sequence of regions of asymptotically hyperbolic manifolds $U_T^i\subset M_i^3$, foliated by a smooth solution to IMCF which is uniformly controlled, and if $\partial U_T^i = Σ_0^i \cup Σ_T^i$ and $m_H(Σ_T^i) \rightarrow 0$ then $U_T^i$ converges to a topological annulus portion of hyperbolic space with…
We derive gradient and second order {\em a priori} estimates for solutions of the Neumann problem for a general class of fully nonlinear elliptic equations on compact Riemannian manifolds with boundary. These estimates yield regularity and existence results.
We show $C^{1,α}$-regularity for energy minimizing maps from a 2-dimensional Riemannian manifold into a Finsler space $(\R^n, F)$ with a Finsler structure $F(u,X)$.
We prove the equivalence of several natural notions of conformal maps between sub-Riemannian manifolds. Our main contribution is in the setting of those manifolds that support a suitable regularity theory for subelliptic $p$-Laplacian operators. For such manifolds we prove a Liouville-type theorem, i.e., 1-quasiconformal maps are smooth. In particular, we prove that contact manifolds support the suitable regularity. The main new technical tools are a sub-Riemannian version of p-harmonic coordinates and a technique of propagation of regularity from horizontal layers.
This article studies the smoothness of conformal mappings between two Riemannian manifolds whose metric tensors have limited regularity. We show that any bi-Lipschitz conformal mapping or $1$-quasiregular mapping between two manifolds with $C^r$ metric tensors ($r > 1$) is a $C^{r+1}$ conformal (local) diffeomorphism. This result was proved in [12, 27, 33], but we give a new proof of this fact. The proof is based on $n$-harmonic coordinates, a generalization of the standard harmonic coordinates that is particularly suited to studying conformal mappings. We establish the existence of a $p$-harm…
Many models in mathematical physics are given as non-linear partial differential equation of hydrodynamic type; the incompressible Euler, KdV, and Camassa--Holm equations are well-studied examples.A beautiful approach to well-posedness is to go from the Eulerian to a Lagrangian description.Geometrically it corresponds to a geodesic initial value problem on the infinite-dimensional group of diffeomorphisms with a right invariant Riemannian metric. By establishing regularity properties of the Riemannian spray one can then obtain local, and sometimes global, existence and uniqueness results. Ther…
In this paper, we are concerned with the regularity of noncollapsed Riemannian manifolds $(M^n,g)$ with bounded Ricci curvature, as well as their Gromov-Hausdorff limit spaces $(M^n_j,d_j)\stackrel{d_{GH}}{\longrightarrow} (X,d)$, where $d_j$ denotes the Riemannian distance. Our main result is a solution to the codimension $4$ conjecture, namely that $X$ is smooth away from a closed subset of codimension $4$. We combine this result with the ideas of quantitative stratification to prove a priori $L^q$ estimates on the full curvature $|Rm|$ for all $q<2$. In the case of Einstein manifolds, we im…
In this article we prove that all boundary points of a minimal oriented hypersurface in a Riemannian manifold are regular, that is, in a neighborhood of any boundary point, the minimal surface is a $\mathcal{C}^{1, \frac14}$ submanifold with boundary.
We study Dirichlet problems for harmonic maps from a Riemannian $m$-manifold $(M,g)$ into a Finsler $n$-manifold $(N, F)$. We assume that the dimension of the source manifold $M$ is less than or equal to 4, and that the finsler structure $F(u,X)$ is given as F(u,X)= \sqrt{h_{ij}(u)X^i X^j + {\cal B}(u,X)}, (u\in N, X \in T_uN) where $(h_{ij})$ is a Riemannian metric and ${\cal B}(u,X)$ is a function on $TN$ with positive homogeneity of degree 2 with respect to $X$. Under these assumptions, an existence and interior regularity result will be given.
In this paper we prove the strong Sard conjecture for sub-Riemannian structures on 3-dimensional analytic manifolds. More precisely, given a totally nonholonomic analytic distribution of rank 2 on a 3-dimensional analytic manifold, we investigate the size of the set of points that can be reached by singular horizontal paths starting from a given point and prove that it has Hausdorff dimension at most 1. In fact, provided that the lengths of the singular curves under consideration are bounded with respect to a given complete Riemannian metric, we demonstrate that such a set is a semianalytic cu…
Let B be a fiber bundle with compact fiber F over a compact Riemannian n-manifold M. There is a natural Riemannian metric on the total space B consistent with the metric on M. With respect to that metric, the volume of a rectifiable section s:M--> B is the mass of the image s(M) as a rectifiable n-current in B. Theorem: For any homology class of sections of B, there is a mass-minimizing Cartesian current T representing that homology class which is the graph of a C^1 section on an open dense subset of M.
We show that for a generic $8$-dimensional Riemannian manifold with positive Ricci curvature, there exists a smooth minimal hypersurface. Without the curvature condition, we show that for a dense set of 8-dimensional Riemannian metrics there exists a minimal hypersurface with at most one singular point. This extends previous work on generic regularity that only dealt with area-minimizing hypersurfaces. These results are a consequence of a more general estimate for a one-parameter min-max minimal hypersurface $Σ\subset (M,g)$ (valid in any dimension): $$\mathcal H^{0} (\mathcal{S}_{nm}(Σ)) +{\r…
For a bounded domain equipped with a piecewise Lipschitz continuous Riemannian metric g, we consider harmonic map from $(Ω, g)$ to a compact Riemannian manifold $(N,h)\subset\mathbb R^k$ without boundary. We generalize the notion of stationary harmonic map and prove the partial regularity. We also discuss the global Lipschitz and piecewise $C^{1,α}$-regularity of harmonic maps from $(Ω, g)$ manifolds that support convex distance functions.
For free boundary problems on Euclidean spaces, the monotonicity formulas of Alt-Caffarelli-Friedman and Caffarelli-Jerison-Kenig are cornerstones for the regularity theory as well as the existence theory. In this article we establish the analogs of these results for the Laplace-Beltrami operator on Riemannian manifolds. As an application we show that our monotonicity theorems can be employed to prove the Lipschitz continuity for the solutions of a general class of two-phase free boundary problems on Riemannian manifolds.
We establish mean curvature estimate for immersed hypersurface with nonnegative extrinsic scalar curvature in Riemannian manifold $(N^{n+1}, \bar g)$ through regularity study of a degenerate fully nonlinear curvature equation in general Riemannian manifold. The estimate has a direct consequence for the Weyl isometric embedding problem of $(\mathbb S^2, g)$ in $3$-dimensional warped product space $(N^3, \bar g)$. We also discuss isometric embedding problem in spaces with horizon in general relativity, like the Anti-de Sitter-Schwarzschild manifolds and the Reissner-Nordström manifolds.
We prove existence of harmonic coordinates for the nonlinear Laplacian of a Finsler manifold and apply them in a proof of the Myers--Steenrod theorem for Finsler manifolds. Different from the Riemannian case, these coordinates are not suitable for studying optimal regularity of the fundamental tensor, nevertheless, we obtain some partial results in this direction when the Finsler metric is Berwald.
In this paper, we study some intrinsic characterization of conformally compact manifolds. We show that, if a complete Riemannian manifold admits an essential set and its curvature tends to -1 at infinity in certain rate, then it is conformally compactifiable and the compactified metrics can enjoy some regularity at infinity. As consequences we prove some rigidity theorems for complete manifolds whose curvature tends to the hyperbolic one in a rate greater than 2.
In this work there is established an optimal existence and regularity theory for second order linear parabolic differential equations on a large class of noncompact Riemannian manifolds. Then it is shown that it provides a general unifying approach to problems with strong degeneracies in the interior or at the boundary.
We analyze the asymptotic behavior of a $2$-dimensional integral current which is almost minimizing in a suitable sense at a singular point. Our analysis is the second half of an argument which shows the discreteness of the singular set for the following three classes of $2$-dimensional currents: area minimizing in Riemannian manifolds, semicalibrated and spherical cross sections of $3$-dimensional area minimizing cones.
The paper focuses on the $L^{p}$-Positivity Preservation property ($L^{p}$-PP for short) on a Riemannian manifold $(M,g)$. It states that any $L^p$ function $u$ with $1<p<+\infty$, which solves $(-Δ+ 1)u\ge 0$ on $M$ in the sense of distributions must be non-negative. Our main result is that the $L^{p}$-PP holds if (the possibly incomplete) $M$ has a finite number of ends with respect to some compact domain, each of which is $q$-parabolic for some, possibly different, values $2p/(p-1) < q \leq +\infty$. When $p=2$, since $\infty$-parabolicity coincides with geodesic completeness, our result se…
We show the regularity of, and derive a-priori estimates for (weakly) harmonic maps from a Riemannian manifold into a Euclidean sphere under the assumption that the image avoids some neighborhood of a half-equator. The proofs combine constructions of strictly convex functions and the regularity theory of quasi-linear elliptic systems. We apply these results to the spherical and Euclidean Bernstein problems for minimal hypersurfaces, obtaining new conditions under which compact minimal hypersurfaces in spheres or complete minimal hypersurfaces in Euclidean spaces are trivial.
Weak Continuity of the Cartan Structural System and Compensated Compactness on Semi-Riemannian Manifolds with Lower Regularity
Mathematical Institute, University of Oxford（牛津大学数学研究所）；New York University–Shanghai（纽约大学上海分校）；NYU–ECNU Institute of Mathematical Sciences（纽约大学-华东师范大学数学科学研究所）；School of Mathematical Sciences, Shanghai Jiao Tong University（上海交通大学数学科学学院）
Inspired by the idea of Colding-Minicozzi in [CM1], we define (mean curvature flow) entropy for submanifolds in a general ambient Riemannian manifold. In particular, this entropy is equivalent to area growth of a closed submanifold in a closed ambient manifold with non-negative Ricci curvature. Moreover, this entropy is monotone along the mean curvature flow in a closed Riemannian manifold with non-negative sectional curvatures and parallel Ricci curvature. As an application, we show the partial regularity of the limit of mean curvature flow of surfaces in a three dimensional Riemannian manifo…
The goal of the present paper is to establish some kind of regularity of an energy minimizer map between Riemannian polyhedra. More precisely, we will show the hölder continuity of local energy minimizers between Riemannian polyhedra with the target spaces without focal points. With this new result, we also complete our existence theorem obtained in [5], and consequently we generalize completely, to the case of target polyhedra without focal points (which is weaker geometric condition than the nonpositivity of the curvature), the Eells-fuglede's existence and regularity theorem [12, chapters 1…
It is the purpose of this article to establish a technical tool to study regularity of solutions to parabolic equations on manifolds. As applications of this technique, we prove that solutions to the Ricci-DeTurck flow, the surface diffusion flow and the mean curvature flow enjoy joint analyticity in time and space, and solutions to the Ricci flow admit temporal analyticity.
Let $N$ be a Riemannian manifold and consider a stationary union of three or more $C^{1,μ}$ hypersurfaces-with-boundary $M_k$ in $N$ with a common boundary $Γ$. We show that if $N$ is smooth, then $Γ$ is smooth and each $M_k$ is smooth up to $Γ$ (real analytic in the case $N$ is real analytic). Consequently we strengthen a result of Wickramasekera to conclude that under the stronger hypothesis that $V$ is a stationary, stable, integral $n$-varifold in an $(n+1)$-dimensional, smooth (real analytic) Riemannian manifold such that the support of $\|V\|$ is nowhere locally the union of three or mor…
We construct a branched center manifold in a neighborhood of a singular point of a $2$-dimensional integral current which is almost minimizing in a suitable sense. Our construction is the first half of an argument which shows the discreteness of the singular set for the following three classes of $2$-dimensional currents: area minimizing in Riemannian manifolds, semicalibrated and spherical cross sections of $3$-dimensional area minimizing cones.
We construct Lipschitz $Q$-valued functions which approximate carefully integral currents when their cylindrical excess is small and they are almost minimizing in a suitable sense. This result is used in two subsequent works to prove the discreteness of the singular set for the following three classes of $2$-dimensional integral currents: area minimizing in Riemannian manifolds, semicalibrated and spherical cross sections of $3$-dimensional area minimizing cones.
Interior singularity and branching of geodesics in real-analytic sub-Riemannian manifolds
Università degli Studi dell’Aquila（阿奎拉大学）；Scuola Internazionale Superiore di Studi Avanzati (SISSA)（国际高等研究院）；Unité de Mathématiques Appliquées, ENSTA, Institut Polytechnique de Paris（巴黎理工学院应用数学系）
