A convex surface contracting by a strictly monotone, homogeneous degree one function of curvature remains smooth until it contracts to a point in finite time, and is asymptotically spherical in shape. No assumptions are made on the concavity of the speed as a function of principal curvatures.
We consider curvature flows in hyperbolic space with a monotone, symmetric, homogeneous of degree 1 curvature function F. Furthermore we assume F to be either concave and inverse concave or convex. For compact initial hypersurfaces, which are strictly convex by horospheres, we show the long time existence of mixed volume preserving curvature flows. Furthermore we show that these flows converge exponentially in the C-infinity topology to a geodesic sphere.
We study fully nonlinear geometric flows that deform strictly $k$-convex hypersurfaces in Euclidean space with pointwise normal speed given by a concave function of the principal curvatures. Specifically, the speeds we consider are obtained by performing a nonlinear interpolation between the mean and the $k$-harmonic mean of the principal curvatures. Our main result is a convexity estimate showing that, on compact solutions, regions of high curvature are approximately convex. In contrast to the mean curvature flow, the fully nonlinear flows considered here preserve $k$-convexity in a Riemannia…
In this paper, we first investigate the flow of convex surfaces in the space form $\mathbb{R}^3(κ)~(κ=0,1,-1)$ expanding by $F^{-α}$, where $F$ is a smooth, symmetric, increasing and homogeneous of degree one function of the principal curvatures of the surfaces and the power $α\in(0,1]$ for $κ=0,-1$ and $α=1$ for $κ=1$. By deriving that the pinching ratio of the flow surface $M_t$ is no greater than that of the initial surface $M_0$, we prove the long time existence and the convergence of the flow. No concavity assumption of $F$ is required. We also show that for the flow in $\mathbb{H}^3$ wit…
We consider embedded hypersurfaces evolving by fully nonlinear flows in which the normal speed of motion is a homogeneous degree one, concave or convex function of the principal curvatures, and prove a non-collapsing estimate: Precisely, the function which gives the curvature of the largest interior sphere touching the hypersurface at each point is a subsolution of the linearized flow equation if the speed is concave. If the speed is convex then there is an analogous statement for exterior spheres. In particular, if the hypersurface moves with positive speed and the speed is concave in the pri…
A recent article Li and Lv considered contraction of convex hypersurfaces by certain nonhomogeneous functions of curvature, showing convergence to points in finite time in certain cases where the speed is a function of a degree-one homogeneous, concave and inverse concave function of the principle curvatures. In this article we extend the result to various other cases that are analogous to those considered in other earlier work, and we show that in all cases, where sufficient pinching conditions are assumed on the initial hypersurface, then under suitable rescaling the final point is asymptoti…
We prove that strictly convex surfaces moving by $K^{α/2}$ become spherical as they contract to points, provided $α$ lies in the range $[1,2]$. In the process we provide a natural candidate for a curvature pinching quantity for surfaces moving by arbitrary functions of curvature, by finding a quantity conserved by the reaction terms in the evolution of curvature.
We prove an inequality for the curvature of level sets of minimal graphs having vanishing boundary values and show that if the boundary is concave, then all the level sets are concave.
We study asymptotic behavior of nonparametric hypersurfaces moving by $α$ powers of Gauss curvature $α> 1/n$. Our work generalizes the results of V. Oliker [Oli91] for $α= 1$.
The main result of this paper is a convexity estimate for translating solitons of extrinsic geometric flows which evolve under a $1$-homogeneous concave function in the principal curvatures. In addition, we show examples of these hypersurfaces in $\mathbb{R}^{n+1}$ for particular functions.
We prove that there are no networks homeomorphic to the Greek "theta" letter (a double cell) embedded in the plane with two triple junctions with angles of $120$ degrees, such that under the motion by curvature they are self-similarly shrinking. This fact completes the classification of the self-similarly shrinking networks in the plane with at most two triple junctions.
In the paper \cite{yau1974convex}, Yau proved that: There is no non-trivial continuous concave function on a complete manifold with finite volume. We prove analogue theorems for several metric spaces, including Alexandrov spaces with curvature bounded below/above, $C^α$-Hölder Riemannian manifolds.
We prove a complete family of `cylindrical estimates' for solutions of a class of fully non-linear curvature flows, generalising the cylindrical estimate of Huisken-Sinestrari for the mean curvature flow. More precisely, we show that, for the class of flows considered, an $(m+1)$-convex ($0\leq m\leq n-2$) solution becomes either strictly $m$-convex, or its Weingarten map approaches that of a cylinder $\R^m\times S^{n-m}$ at points where the curvature is becoming large. This result complements the convexity estimate proved by the authors and McCoy for the same class of flows.
We consider the motion by mean curvature of an $n$-dimensional graph over a time-dependent domain in $\mathbb{R}^n$, intersecting $\mathbb{R}^n$ at a constant angle. In the general case, we prove local existence for the corresponding quasilinear parabolic equation with a free boundary, and derive a continuation criterion based on the second fundamental form. If the initial graph is concave, we show this is preserved, and that the solution exists only for finite time. This corresponds to a symmetric version of triple junction motion of hypersurfaces by mean curvature, with constant angles at th…
In this paper, we study a class of fully nonlinear contracting curvature flows of closed, uniformly convex hypersurfaces in the Euclidean space $\mathbb R^{n+1}$ with the normal speed $Φ$ given by $r^αF^β$ or $u^αF^β$, where $F$ is a monotone, symmetric, inverse-concave, homogeneous of degree one function of the principal curvatures, $r$ is the distance from the hypersurface to the origin and $u$ is the support function of hypersurface. If $α\geq β+1$ when $Φ=r^αF^β$ or $α> β+1$ when $Φ=u^αF^β$, we prove that the flow exists for all times and converges to the origin. After proper rescaling, we…
It was recently proved that embedded solutions of Euclidean hypersurface flows with speeds given by concave (convex), degree one homogeneous functions of the Weingarten map are interior (exterior) non-collapsing. These results were subsequently extended to hypersurface flows in the sphere and hyperbolic space. In the first part of the paper, we show that locally convex solutions are exterior non-collapsing for a larger class of speed functions than previously considered; more precisely, we show that the previous results hold when convexity of the speed function is relaxed to inverse-concavity.…
This paper concerns the evolution of complete noncompact locally uniformly convex hypersurface in Euclidean space by curvature flow, for which the normal speed $Φ$ is given by a power $β\geq 1$ of a monotone symmetric and homogeneous of degree one function $F$ of the principal curvatures. Under the assumption that $F$ is inverse concave and its dual function approaches zero on the boundary of positive cone, we prove that the complete smooth strictly convex solution exists and remains a graph until the maximal time of existence. In particular, if $F=K^{s/n}G^{1-s}$ for any $s\in(0, 1]$, where $…
We show some computations related to the motion by mean curvature flow of a submanifold inside an ambient Riemannian manifold evolving by Ricci or backward Ricci flow. Special emphasis is given to the possible generalization of Huisken's monotonicity formula and its connection with the validity of some Li--Yau--Hamilton differential Harnack--type inequalities in a moving Riemannian manifold.
We prove curvature estimates for general curvature functions. As an application we show the existence of closed, strictly convex hypersurfaces with prescribed curvature $F$, where the defining cone of $F$ is $\C_+$. $F$ is only assumed to be monotone, symmetric, homogeneous of degree 1, concave and of class $C^{m,\al}$, $m\ge4$.
In this note, we study Liouville type theorem for conformal Gaussian curvature equation (also called the mean field equation) $$ -Δu=K(x)e^u, in R^2 $$ where $K(x)$ is a smooth function on $R^2$. When $K(x)=K(x_1)$ is a sign-changing smooth function in the real line $R$, we have a non-existence result for the finite total curvature solutions. When $K$ is monotone non-decreasing along every ray starting at origin, we can prove a non-existence result too. We use moving plane method and moving sphere method.
We consider the quermassintegral preserving flow of closed \emph{h-convex} hypersurfaces in hyperbolic space with the speed given by any positive power of a smooth symmetric, strictly increasing, and homogeneous of degree one function $f$ of the principal curvatures which is inverse concave and has dual $f_*$ approaching zero on the boundary of the positive cone. We prove that if the initial hypersurface is \emph{h-convex}, then the solution of the flow becomes strictly \emph{h-convex} for $t>0$, the flow exists for all time and converges to a geodesic sphere exponentially in the smooth topolo…
We prove that any smooth Riemannian manifold of non-negative scalar curvature and with a strictly mean convex and compact boundary component can be (C^2) extended beyond the component to have non-negative scalar curvature and to enjoy anyone of the following three types of (new) boundary: strictly convex, totally geodesic or strictly concave. The extension procedure can be applied for instance to "positive mass" type of theorems.
We discover new monotonicity formulae for minimal submanifolds in space forms, which imply the sharp area bound for minimal submanifolds through a prescribed point in a geodesic ball. These monotonicity formulae involve an energy-like integral over sets which are, in general, not geodesic balls. In the Euclidean case, these sets reduce to the moving-centre balls introduced by the second author in [Zhu18].
We consider an evolving plane curve with two endpoints that can move freely on the $x$-axis with generating constant contact angles. We discuss the asymptotic behavior of global-in-time solutions when the evolution of this plane curve is governed by area-preserving curvature flow equation. The main result shows that any moving curve converges to a traveling wave if the moving curve starts from an embedded convex curve and remains bounded in global time.
We show that every convex ancient solution of mean curvature flow with Type I curvature growth is either spherical, cylindrical, or planar. We then prove the corresponding statement for flows by a natural class of curvature functions which are convex or concave in the second fundamental form. Neither of these results assumes interior noncollapsing.
In this paper, we study the rigidity results of complete graphical translating hypersurfaces when the translating direction is not in the graphical direction. We proved that any entire graphical translating surface in the translating direction not parallel to the graphical one is flat if either the translating surface is mean convex or the entropy of the translating surface is smaller than $2$. For higher dimensional case, we show that the same conclusion holds if the graphical translating hypersurface satisfies certain growth condition.
In this paper, we define a new type of ruled surface called ruled surface by using the alternative frame of a base curve. Then, we study its differential geometric properties such as striction line, distribution parameter, fundamental forms, Gaussian and mean curvatures. Moreover, we find geodesic curvatures, normal curvatures, and geodesic torsions of the base curve and the striction line of the new ruled surface. Finally, we give two related examples.
In this paper, we investigate closed strictly convex hypersurfaces in $\mathbb{R}^{n+1}$ which shrink self-similarly under a large family of fully nonlinear curvature flows by high powers of curvature. When the speed function is given by powers of a homogeneous of degree $1$ and inverse concave function of the principal curvatures with power greater than $1$, we prove that the only such hypersurfaces are round spheres. We also prove that slices are the only closed strictly convex self-similar solutions to such curvature flows in the hemisphere $\mathbb{S}^{n+1}_{+}$ with power greater than or …
In this paper we consider the Ricci curvature of a Ricci soliton. In particular, we have showed that a complete gradient Ricci soliton with non-negative Ricci curvature possessing a non-constant convex potential function having finite weighted Dirichlet integral satisfying an integral condition is Ricci flat and also it isometrically splits a line. We have also proved that a gradient Ricci soliton with non-constant concave potential function and bounded Ricci curvature is non-shrinking and hence the scalar curvature has at most one critical point.
We consider strictly convex hypersurfaces which are evolving by the non-parametric logarithmic Gauss curvature flow subject to a Neumann boundary condition. Solutions are shown to converge smoothly to hypersurfaces moving by translation. In particular, for bounded domains we prove that convex functions with prescribed normal derivative satisfy a uniform oscillation estimate.
In this paper we study the general affine geometry of curves in affine space $A^2$. For a regular plane curves we define two kinds of moving frames. The first is of minimal order in all moving frames.The second is the Frenet moving frame. We get the moving equations of these moving frames. And we prove that curvature and signature are the complete invariants of regular curves. As application we give a complete classification of constant curvature curves in $A^2$.
We consider a system of three surfaces, graphs over a bounded domain in ${\mathbb R}^2$, intersecting along a time-dependent curve and moving by mean curvature while preserving the pairwise angles at the curve of intersection (equal to $2π/3$.) For the corresponding two-dimensional parabolic free boundary problem we prove short-time existence of classical solutions (in parabolic Hölder spaces), for sufficiently regular initial data satisfying a compatibility condition.
In this paper, we study the evolution of submannifold moving by mean curvature minus a external force field. We prove that the flow has a long-time smooth solution for all time under almost optimal conditions. Those conditions are that the second fundamental form on the initial submanifolds is not too large, the external force field, with its any order derivatives, is bounded, and the field is convex with its eigenvalues satisfying a pinch inequality.
Using the moving frame and invariants, any discrete curve in $\R^3$ could be uniquely identified by its centroaffine curvatures and torsions. In this paper, depending on the affine curvatures of the fractal curves, such as Koch curve and Hilbert curve, we can clearly describe their iterative regularities. Interestingly, by the affine curvatures, the fractal curves can be quantified and encoded accordingly to a sequence. Hence, it is more convenient for future reference. Given three starting points, we can directly generate the affine Koch curve and affine Hilbert curve at the step $n, \forall …
The localization technique from convex geometry is generalized to the setting of Riemannian manifolds whose Ricci curvature is bounded from below. In a nutshell, our method is based on the following observation: When the Ricci curvature is non-negative, log-concave measures are obtained when conditioning the Riemannian volume measure with respect to an integrable geodesic foliation. The Monge mass transfer problem plays an important role in our analysis.
This paper concerns the evolution of a closed hypersurface of dimension $n(\geq 2)$ in the Euclidean space ${\mathbb{R}}^{n+1}$ under a mixed volume preserving flow. The speed equals a power $β(\geq 1)$ of homogeneous, either convex or concave, curvature functions of degree one plus a mixed volume preserving term, including the case of powers of the mean curvature and of the Gauss curvature. The main result is that if the initial hypersurface satisfies a suitable pinching condition, there exists a unique, smooth solution of the flow for all times, and the evolving hypersurfaces converge expone…
In this paper, we reformulate the Bakry-Émery curvature on a weighted graph in terms of the smallest eigenvalue of a rank one perturbation of the so-called curvature matrix using Schur complement. This new viewpoint allows us to show various curvature function properties in a very conceptual way. We show that the curvature, as a function of the dimension parameter, is analytic, strictly monotone increasing and strictly concave until a certain threshold after which the function is constant. Furthermore, we derive the curvature of the Cartesian product using the crucial observation that the curv…
We provide a direct proof of a non-collapsing estimate for compact hypersurfaces with positive mean curvature moving under the mean curvature flow: Precisely, if every point on the initial hypersurface admits an interior sphere with radius inversely proportional to the mean curvature at that point, then this remains true for all positive times in the interval of existence.
In the first part Busemann concavity as non-negative curvature is introduced and a bi-Lipschitz splitting theorem is shown. Furthermore, if the Hausdorff measure of a Busemann concave space is non-trivial then the space is doubling and satisfies a Poincaré condition and the measure contraction property. Using a comparison geometry variant for general lower curvature bounds $k\in\mathbb{R}$, a Bonnet-Myers theorem can be proven for spaces with lower curvature bound $k>0$. In the second part the notion of uniform smoothness known from the theory of Banach spaces is applied to metric spaces. It i…
Any two equivalent discrete curves must have the same invariants at the corresponding points under an affine transformation. In this paper, we construct the moving frame and invariants for the discrete centroaffine curves, which could be used to discriminate the same discrete curves from different graphics, and estimate whether a polygon flow is stable or periodically stable. In fact, using the similar method as the Frenet-Serret frame, a discrete curve can be uniquely identified by its centroaffine curvatures and torsions. In 1878, Darboux studied the problem of midpoint iteration of polygons…
Let $(M,d)$ be a separable and complete geodesic space with curvature lower bounded, by $κ\in \mathbb R$, in the sense of Alexandrov. Let $μ$ be a Borel probability measure on $M$, such that $μ\in\mathcal P_2(M)$, and that has at least one barycenter $x^{*}\in M$. We show that for any geodesically $α$-convex function $f:M\to \mathbb R$, for $α\in \mathbb R$, the inequality \[f(x^*)\le \int_M (f -\fracα{2}d^2(x^*,.))\,{\rm d}μ,\] holds provided $f$ is locally Lipschitz at $x^*$ and either positive or in $L^1(μ)$. Our proof relies on the properties of tangent cones at barycenters and on the exis…
A canal surface is the envelope of a moving sphere with varying radius, defined by the trajectory C(t) (spine curve) of its center and a radius function r(t). In this paper, we investigate when parameter curves of the canal surface are also lines of curvature. Last of all, for special spine curves we obtain the radius function of canal surfaces.
The purpose of this paper is twofold: firstly, to establish sufficient conditions under which the mean curvature flow supported on a hypersphere with exterior Dirichlet boundary exists globally in time and converges to a minimal surface, and secondly, to illustrate the application of Killing vector fields in the preservation of graphicality for the mean curvature flow with free boundary. To this end we focus on the mean curvature flow of a topological annulus with inner boundary meeting a standard n-sphere in \R^{n+1} perpendicularly and outer boundary fixed to an (n-1)-sphere with radius R>1 …
We use Ilmanen's elliptic regularization to prove that for an initially smooth mean convex hypersurface in Euclidean n-space moving by mean curvature flow, the surface is very nearly convex in a spacetime neighborhood of every singularity. Previously this was known only (i) for n < 7, and (ii) for arbitrary n up to the first singular time.
Using the methods of moving frames and exterior differential systems, we show that there exist Hopf hypersurfaces in complex hyperbolic space CH^2 with any specified value of the Hopf principal curvature less than or equal to the corresponding value for the horosphere. We give a construction for all such hypersurfaces in terms of Weierstrass-type data, and also obtain a classification of pseudo-Einstein hypersurfaces in CH^2.
From optimal transport to robust dimensionality reduction, a plethora of machine learning applications can be cast into the min-max optimization problems over Riemannian manifolds. Though many min-max algorithms have been analyzed in the Euclidean setting, it has proved elusive to translate these results to the Riemannian case. Zhang et al. [2022] have recently shown that geodesic convex concave Riemannian problems always admit saddle-point solutions. Inspired by this result, we study whether a performance gap between Riemannian and optimal Euclidean space convex-concave algorithms is necessar…
In this paper are determined the principal curvatures and principal curvature lines on canal surfaces which are the envelopes of families of spheres with variable radius and centers moving along a closed regular curve in R^3. By means of a connection of the differential equations for these curvature lines and real Riccati equations, it is established that canal surfaces have at most two isolated periodic principal lines. Examples of canal surfaces with two simple and one double periodic principal lines are given.