We show that directed minimal cones in (n+1)-dimensional Euclidean space which have at most one singularity are - besides the trivial cases: empty set, whole space - half spaces. Using blow-up techniques, this result can be used to get C^{1,lambda}-regularity for the measure-theoretic boundary of almost minimal Caccioppoli sets which are representable as subgraphs in R^n, n<=8. This provides a different method to obtain a result due to De Giorgi. We also prove a splitting theorem for general directed minimal cones. Such a cone is the Cartesian product of R^k and C, where C is an undirected minimal cone or a half-line.
We prove a new logarithmic epiperimetric inequality for multiplicity-one stationary cones with isolated singularity by flowing in the radial direction any given trace along appropriately chosen directions. In contrast to previous epiperimetric inequalities for minimal surfaces (e.g. those of Reifenberg, Taylor and White), we need no a priori assumptions on the structure of the cone (e.g. integrability). Moreover, if the cone is integrable (not only through rotations), we recover the classical epiperimetric inequality. As a consequence we deduce a new $\varepsilon$-regularity result for almost …
In this paper, we prove a boundary pointwise regularity for fully nonlinear elliptic equations on cones. In addition, based on this regularity, we give simple proofs of the Liouville theorems on cones.
Hardt-Simon proved that every area-minimizing hypercone $\mathbf{C}$ having only an isolated singularity fits into a foliation of $\mathbb{R}^{n+1}$ by smooth, area-minimizing hypersurfaces asymptotic to $\mathbf{C}$. In this paper we prove that if a stationary $n$-varifold $M$ in the unit ball $B_1 \subset \mathbb{R}^{n+1}$ lies sufficiently close to a minimizing quadratic cone (for example, the Simons' cone $\mathbf{C}^{3,3}$), then $\mathrm{spt} M \cap B_{1/2}$ is a $C^{1,α}$ perturbation of either the cone itself, or some leaf of its associated foliation. In particular, we show that singul…
We show that the only nonlocal $s$-minimal cones in $\R^2$ are the trivial ones for all $s \in (0,1)$. As a consequence we obtain that the singular set of a nonlocal minimal surface has at most $n-3$ Hausdorff dimension.
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.
We show that if (u;K) is a minimizer of the Mumford-Shah functional in an open set of R^3, and if x, K and r > 0 are such that K is close enough to a minimal cone of type P (a plane), Y (three half planes meeting with 120 degrees angles) or T (cone over a regular tetrahedron centered at the origin) in terms of Hausdorff distance in B(x; r), then K is C^1,alpha equivalent to the minimal cone in B(x; cr) where c < 1 is an universal constant.
Special Legendrian Integral Cycles in $S^5$ are the links of the tangent cones to Special Lagrangian integer multiplicity rectifiable currents in Calabi-Yau 3-folds. We show that such Special Legendrian Cycles are smooth except possibly at isolated points.
We prove smoothing estimates for velocity averages of the kinetic transport equation in hyperbolic Sobolev spaces at the critical regularity, leading to a complete characterisation of the allowable regularity exponents. Such estimates will be deduced from some mixed-norm estimates for the cone multiplier operator at a certain critical index. Our argument is not particular to the geometry of the cone and we illustrate this by establishing analogous estimates for the paraboloid.
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 study the oblique derivative problem for uniformly elliptic equations on cone domains. Under the assumption of axi-symmetry of the solution, we find sufficient conditions on the angle of the oblique vector for Hölder regularity of the gradient to hold up to the vertex of the cone. The proof of regularity is based on the application of carefully constructed barrier methods or via perturbative arguments. In the case that such regularity does not hold, we give explicit counterexamples. We also give a counterexample to regularity in the absence of axi-symmetry. Unlike in the equivalent two dime…
We consider $2$-dimensional integer rectifiable currents which are almost area minimizing and show that their tangent cones are everywhere unique. Our argument unifies a few uniqueness theorems of the same flavor, which are all obtained by a suitable modification of White's original theorem for area minimizing currents in the euclidean space. This note is also the first step in a regularity program for semicalibrated $2$-dimensional currents and spherical cross sections of $3$-dimensional area minimizing cones.
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.
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 prove some epsilon regularity results for n-dimensional minimal two-valued Lipschitz graphs. The main theorems imply uniqueness of tangent cones and regularity of the singular set in a neighbourhood of any point at which at least one tangent cone is equal to a pair of transversely intersecting multiplicity one n-dimensional planes, and in a neighbourhood of any point at which at which at least one tangent cone is equal to a union of four distinct multiplicity one n-dimensional half-planes that meet along an (n-1) - dimensional axis. The key ingredient is a new Excess Improvement Lemma obtai…
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.
In this paper we prove uniqueness of blow-ups and $C^{1,\log}$-regularity for the free-boundary of minimizers of the Alt-Caffarelli functional at points where one blow-up has an isolated singularity. We do this by establishing a (log-)epiperimetric inequality for the Weiss energy for traces close to that of a cone with isolated singularity, whose free-boundary is graphical and smooth over that of the cone in the sphere. With additional assumptions on the cone, we can prove a classical epiperimetric inequality which can be applied to deduce a $C^{1,α}$ regularity result. We also show that these…
This paper deals with the obstacle problem for the infinity Laplacian. The main results are a characterization of the solution through comparison with cones that lie above the obstacle and the sharp $C^{1,1/3}$--regularity at the free boundary.
We study a free interface problem of finding the optimal energy configuration for mixtures of two conducting materials with an additional perimeter penalization of the interface. We employ the regularity theory of linear elliptic equations to study the possible opening angles of Taylor cones and to give a different proof of a partial regularity result by Fan Hua Lin.
If one considers an integral varifold $I^m\subseteq M$ with bounded mean curvature, and if $S^k(I)\equiv\{x\in M: \text{ no tangent cone at $x$ is }k+1\text{-symmetric}\}$ is the standard stratification of the singular set, then it is well known that $\dim S^k\leq k$. In complete generality nothing else is known about the singular sets $S^k(I)$. In this paper we prove for a general integral varifold with bounded mean curvature, in particular a stationary varifold, that every stratum $S^k(I)$ is $k$-rectifiable. In fact, we prove for $k$-a.e. point $x\in S^k$ that there exists a unique $k$-plan…
We prove that, in every dimension, Lipschitz nonlocal minimal surfaces are smooth. Also, we extend to the nonlocal setting a famous theorem of De Giorgi stating that the validity of Bernstein's theorem in dimension $n+1$ is a consequence of the nonexistence of $n$-dimensional singular minimal cones in $\R^n$.
In continuing the study of harmonic mapping from 2-dimensional Riemannian simplicial complexes in order to construct minimal surfaces with singularity, we obtain an a-priori regularity result concerning the real analyticity of the free boundary curve. The free boundary is the singular set along which three disk-type minimal surfaces meet. Here the configuration of the singular minimal surface is obtained by a minimization of a weighted energy functional, in the spirit of J.Douglas' approach to the Plateau Problem. Using the free boundary regularity of the harmonic map, we construct a local uni…
We show how to apply harmonic spaces potential theory in the study of the Dirichlet problem for a general class of evolution hypoelliptic partial differential equations of second order. We construct Perron-Wiener solution and we provide a sufficient condition for the regularity of the boundary points. Our criterion extends and generalizes the classical parabolic-cone criterion for the Heat equation due to Effros and Kazdan.
In this paper, we study the Dirichlet problem of the geodesic equation in the space of Kähler cone metrics $\mathcal H_\b$; that is equivalent to a homogeneous complex Monge-Ampère equation whose boundary values consist of Kähler metrics with cone singularities. Our approach concerns the generalization of the space defined in Donaldson \cite{MR2975584} to the case of Kähler manifolds with boundary; moreover we introduce a subspace $\mathcal H_C$ of $\mathcal H_\b$ which we define by prescribing appropriate geometric conditions. Our main result is the existence, uniqueness and regularity of $C^…
We introduce a compactification of the space of simple positive divisors on a Riemann surface, as well as a compactification of the universal family of punctured surfaces above this space. These are real manifolds with corners. We then study the space of constant curvature metrics on this Riemann surface with prescribed conical singularities at these divisors. Our interest here is in the local deformation for these metrics, and in particular the behavior as conic points coalesce. We prove a sharp regularity theorem for this phenomenon in the regime where these metrics are known to exist. This …
We prove an improvement of flatness result for nonlocal minimal surfaces which is independent of the fractional parameter $s$ when $s\rightarrow 1^-$. As a consequence, we obtain that all the nonlocal minimal cones are flat and that all the nonlocal minimal surfaces are smooth when the dimension of the ambient space is less or equal than 7 and $s$ is close to 1.
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…
These notes record the lectures for the CIME Summer Course taught by the first author in Cetraro during the week of June 19-23, 2017. The notes contain the proofs of several results on the classification of stable solutions to some nonlinear elliptic equations. The results are crucial steps within the regularity theory of minimizers to such problems. We focus our attention on three different equations, emphasizing that the techniques and ideas in the three settings are quite similar. The first topic is the stability of minimal cones. We prove the minimality of the Simons cone in high dimension…
We study the regularity of solutions of the Poisson equation with Dirichlet, Neumann and mixed boundary values in polyhedral cones $K\subset \mathbb{R}^3$ in the specific scale $\ B^α_{τ,τ}, \ \frac{1}τ=\fracα{d}+\frac{1}{p}\ $ of Besov spaces. The regularity of the solution in these spaces determines the order of approximation that can be achieved by adaptive and nonlinear numerical schemes. We aim for a thorough discussion of homogeneous and inhomogeneous boundary data in all settings studied and show that the solutions are much smoother in this specific Besov scale compared to the fractiona…
Extending earlier results on the existence of bounded imaginary powers for cone differential operators on weighted $L^p$-spaces $\mathcal{H}^{0,γ}_p(\mathbb{B})$ over a manifold with conical singularities, we show how the same assumptions also yield the existence of bounded imaginary powers on higher order Mellin-Sobolev spaces $\mathcal{H}^{s,γ}_p(\mathbb{B})$, $s\geq0$. As an application we then consider the Cahn-Hilliard equation on a manifold with (possibly warped) conical singularities. Relying on our work for the case of straight cones, we first establish $R$-sectoriality (and thus maxim…
