We investigate for the first time the curve shortening flow in the metric-affine plane and prove that under simple geometric condition it shrinks a closed convex curve to a "round point" in finite time. This generalizes the classical result by M. Gage and R.S. Hamilton about convex curves in Euclidean plane.
In this paper, we consider affine self-similar solutions for the affine curve shortening flow in the Euclidean plane. We obtain the equations of all affine self-similar solutions up to affine transformations and solve the equations or give descriptions of the solutions for the degenerate case. Some new special solutions for the affine curve shortening flow are found.
In this paper we classify convex compact ancient solutions to the affine curve shortening flow: namely, any convex compact ancient solution to the affine curve shortening flow must be a shrinking ellipse. The method combines a rescaling argument inspired by \cite{Wang}, affine invariance of the equation and monotonicity of the affine isoperimetric ratio. We will give two proofs. The essential ideas are related, but the first one uses level set represenation of the evolution. The second proof employs Schauder's estimates, and it also provides a new simple proof for the corresponding classificat…
For a polygon in Euclidean space we consider a transformation T which is obtained by applying the midpoints polygon construction twice and using an index shift. For a closed polygon this is a curve shortening process. A polygon is called (affine) soliton of the transformation T if its image under T is an affine image of the polygon. We describe a large class of solitons by considering smooth curves which are solutions of a linear system of differential equations of second order with constant coefficients. As examples we obtain solitons lying on spiral curves which under the transformation T ro…
We define and study a discrete process that generalizes the convex-layer decomposition of a planar point set. Our process, which we call "homotopic curve shortening" (HCS), starts with a closed curve (which might self-intersect) in the presence of a set $P\subset \mathbb R^2$ of point obstacles, and evolves in discrete steps, where each step consists of (1) taking shortcuts around the obstacles, and (2) reducing the curve to its shortest homotopic equivalent. We find experimentally that, if the initial curve is held fixed and $P$ is chosen to be either a very fine regular grid or a uniformly r…
We prove that a closed immersed plane curve with total curvature $2πm$ has entropy at least $m$ times the entropy of the embedded circle, as long as it generates a type I singularity under the curve shortening flow (CSF). We construct closed immersed plane curves of total curvature $2πm$ whose entropy is less than $m$ times the entropy of the embedded circle. As an application, we extend Colding-Minicozzi's notion of a generic mean curvature flow to closed immersed plane curves by constructing a piecewise CSF whose only singularities are embedded circles and type II singularities.
We show that a curve is a soliton solution to the curve shortening flow if and only if its geodesic curvature can be written as the inner product between its tangent vector field and a fixed vector of the 3-dimensional Minkowski space. We use this characterization to provide a qualitative study of the solitons. We show that for each fixed vector there is a 2-parameter family of soliton solutions to the curve shortening flow on the 2-dimensional hyperbolic space. Moreover, we prove that each soliton is defined on the entire real line, it is embedded and its geodesic curvature converges to a con…
We construct ancient solutions to Curve Shortening in the plane whose total curvature is uniformly bounded by gluing together an arbitrary chain of given Grim Reapers along their common asymptotes.
Motivated by Legendrian curve shortening flows in $\mathbb{R}^{3}$, we study the curve shortening flow of figure-eight curves in the plane. We show that, under some symmetry and curvature conditions, a figure-eight curve will shrink to a point at the first singular time.
We find and classify self-similar solutions of the curve shortening flow in standard hyperbolic 2-space. Together with earlier work of Halldórsson on curve shortening flow in the plane and Santos dos Reis and Tenenblat in the 2-sphere, this completes the classification of self-similar curve shortening flows in the constant curvature model spaces in 2-dimensions.
In this paper we study an experimentally-observed connection between two seemingly unrelated processes, one from computational geometry and the other from differential geometry. The first one (which we call "grid peeling") is the convex-layer decomposition of subsets $G\subset \mathbb Z^2$ of the integer grid, previously studied for the particular case $G=\{1,\ldots,m\}^2$ by Har-Peled and Lidický (2013). The second one is the affine curve-shortening flow (ACSF), first studied by Alvarez et al. (1993) and Sapiro and Tannenbaum (1993). We present empirical evidence that, in a certain well-defin…
In this paper, we study a family of curves on $S^2$ that defines a two-dimensional smooth projective plane. We use curve shortening flow to prove that any two-dimensional smooth projective plane can be smoothly deformed through a family of smooth projective planes into one which is isomorphic to the real projective plane. In addition, as a consequence of our main result, we show that any two smooth embedded curves on $RP^2$ which intersect transversally at exactly one point converge to two different geodesics under the flow.
We classify closed convex $α$-curve shortening flows for sub-affine-critical powers $α\leq \frac{1}{3}$. In addition, we show that closed convex smooth finite entropy $α$-curve shortening flows with $\frac{1}{3}<α$ is a shrinking circle. After normalization, the ancient flows satisfying the above conditions converge exponentially fast to smooth closed convex shrinkers at the backward infinity. In particular, when $α=\frac{1}{k^2-1}$ with $3\leq k \in \mathbb{N}$, the round circle shrinker has non-trivial Jacobi fields, but the ancient flows do not evolve along the Jacobi fields.
This article gives an alternative approach to the self-shrinking and self-expanding solutions of the curve shortening flow, which are related to singularity formation of the mean curvature flow. The motivation for the self-similar solutions arises from natural area preserving rescaling. Further we describe the self-similar solutions in terms of a simple ODE and give an alternative proof that they lie in planes.
In $\mathbb{R}^n$ with a density $e^ψ$, we study the mean curvature flow associated to the density ($ψ$-mean curvature flow or $ψ$MCF) of a hypersurface. The main results concern with the description of the evolution under $ψ$MCF of a closed embedded curve in the plane with a radial density, and with a statement of subconvergence to a $ψ$-minimal closed curve in a surface under some general circumstances.
We formulate a uniqueness conjecture for curve shortening flow of proper curves on certain symmetric surfaces and give an example of a non-flat metric on the plane with respect to which curve shortening flow is not unique. That is, with respect to a suitably chosen metric, we construct a non-static solution to curve shortening flow starting from a properly embedded geodesic.
We apply the stabilization technique, developed by T. Zelenyak in 1960s for parabolic equations, on curve shortening flow in $\R^3$, and derive several new monotonicity formulas. All of them share one main feature: the dependence of the "energy" term on the angle between the position vector and the plane orthogonal to the tangent vector. The first formula deals with the projection of the curve on the unit sphere, and computes the derivative of its length. The second formula is the generalization of the classical formula of G. Huisken, while the third one is the generalization of the monotonici…
We consider a network in the Euclidean plane that consists of three distinct half-lines with common start points. From that network as initial condition, there exists a network that consists of three curves that all start at one point, where they form 120 degree angles, and expands homothetically under curve shortening flow. We also prove uniqueness of these networks.
Curve shortening in the $z$-plane in which, at a given point on the curve, the normal velocity of the curve is equal to the curvature, is shown to satisfy $S_tS_z=S_{zz}$, where $S(z,t)$ is the Schwarz function of the curve. This equation is shown to have a parametric solution from which the known explicit solutions for curve shortening flow; the circle, grim reaper, paperclip and hairclip, can be recovered.
In this paper we introduce a geometric quantity, the $r$-multiplicity, that controls the length of a smooth curve as it evolves by curve shortening flow. The length estimates we obtain are used to prove results about the level set flow in the plane. If $K$ is locally-connected, connected and compact, then the level set flow of $K$ either vanishes instantly, fattens instantly or instantly becomes a smooth closed curve. If the compact set in question is a Jordan curve $J$, then the proof proceeds by using the $r$-multiplicity to show that if $γ_n$ is a sequence of smooth curves converging unifor…
A study of proper affine vector fields in plane symmetric static space-times by using the rank of the Rieman matrix and holonomy. Studying proper affine vector fields in each case, It is shown that the special class of the above space-times admit proper affine vector fields.
We consider embedded, smooth curves in the plane which are either closed or asymptotic to two lines. We study their behaviour under curve shortening flow with a global forcing term. Firstly, we prove an analogue to Huisken's distance comparison principle for curve shortening flow for initial curves whose local total curvature does not lie below $-π$, and show that this condition is sharp. Secondly, for bounded forcing terms, we exclude singularities in finite time. Thirdly, for immortal flows of closed curves whose forcing terms provide non-vanishing enclosed area and bounded length, we show c…
Using certain solutions of the curve shortening flow, including self-shrinking and self-expanding curves or spirals, we construct and characterize many new examples of translating solitons for mean curvature flow in complex Euclidean plane. They generalize the Joyce, Lee and Tsui ones \cite{JLT} in dimension two. The simplest (non trivial) example in our family is characterized as the only (non totally geodesic) Hamiltonian stationary Lagrangian translating soliton for mean curvature flow in complex Euclidean plane.
After having given the general variational formula for the functionals indicated in the title, the critical points of the integral of the equi-affine curvature under area constraint and the critical points of the full-affine arc-length are studied in greater detail.
The area distance to a convex plane curve is an important concept in computer vision. In this paper we describe a strong link between area distances and improper affine spheres. This link makes possible a better understanding of both theories. The concepts of the theory of affine spheres lead to a new definition of an area distance on the outer part of a convex plane arc. Also, based on the theory of discrete affine spheres, we propose fast algorithms to compute the area distances. On the other hand, area distances provide a good geometrical understanding of improper affine spheres.
We present a fundamental theory of curves in the affine plane and the affine space, equipped with the general-affine groups ${\rm GA}(2)={\rm GL}(2,{\bf R})\ltimes {\bf R}^2$ and ${\rm GA}(3)={\rm GL}(3,{\bf R})\ltimes {\bf R}^3$, respectively. We define general-affine length parameter and curvatures and show how such invariants determine the curve up to general-affine motions. We then study the extremal problem of the general-affine length functional and derive a variational formula. We give several examples of curves and also discuss some relations with equiaffine treatment and projective tr…
In this paper, we compute sub-Riemannian limits of Gaussian curvature for a Euclidean $C^2$-smooth surface in the affine group and the group of rigid motions of the Minkowski plane away from characteristic points and signed geodesic curvature for Euclidean $C^2$-smooth curves on surfaces. We get Gauss-Bonnet theorems in the affine group and the group of rigid motions of the Minkowski plane.
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 introduce a new family of affine metrics on a locally strictly convex surface $M$ in affine 4-space. Then, we define the symmetric and antisymmetric equiaffine planes associated with each metric. We show that if $M$ is immersed in a locally strictly convex hyperquadric, then the symmetric and the antisymmetric planes coincide and contain the affine normal to the hyperquadric. In particular, any surface immersed in a locally strictly convex hyperquadric is affine semiumbilical with respect to the symmetric or antisymmetric equiaffine planes.
For a pair of points in a smooth locally convex surface in 3-space, its mid-plane is the plane containing its mid-point and the intersection line of the corresponding pair of tangent planes. In this paper we show that the limit of mid-planes when one point tends to the other along a direction is the Transon plane of the direction. Moreover, the limit of the envelope of mid-planes is non-empty for at most six directions, and, in this case, it coincides with the center of the Moutard's quadric. These results establish an unexpected connection between these classical notions of affine differentia…
In this paper, we investigate the evolution of spacelike curves in Lorentz-Minkowski plane $\mathbb{R}^{2}_{1}$ along prescribed geometric flows (including the classical curve shortening flow or mean curvature flow as a special case), which correspond to a class of quasilinear parabolic initial boundary value problems, and can prove that this flow exists for all time. Moreover, we can also show that the evolving spacelike curves converge to a spacelike straight line or a spacelike Grim Reaper curve as time tends to infinity.
A Margulis spacetime is a complete flat affine Lorentzian 3-manifold with free fundamental group. Associated to $M$ is a noncompact complete hyperbolic surface $Σ$. We study double extensions of $π_1 (M) \cong π_1 (Σ)$ when $Σ$ is homeomorphic to a projective plane minus two discs. We classify proper actions of this double extension on Minkowski space and show that there exist proper actions that do not admit crooked fundamental domains.
In this paper, we define deformed Schouten-Van Kampen connections which are metric connections and compute sub-Riemannian limits of Gaussian curvature for a Euclidean C2-smooth surface associated to deformed Schouten-Van Kampen connections with two kinds of distributions in the affine group and the group of rigid motions of the Minkowski plane away from characteristic points and signed geodesic curvature for Euclidean C2-smooth curves on surfaces. According to above results, we get Gauss-Bonnet theorems associated to two kinds of deformed Schouten-Van Kampen connections in the affine group and…
We study the contraction of a convex immersed plane curve with speed (1/α)k^{α}, where αin(0,1] is a constant and show that, if the blow-up rate of the curvature is of type one, it will converge to a homothetic self-similar solution. We also discuss a special symmetric case of type two blow-up and show that it converges to a translational self-similar solution. In the case of curve shortening flow (i.e., when α=1), this translational self-similar solution is the familiar "Grim Reaper" (a terminology due to M. Grayson [GR]).
We consider closed, embedded, smooth curves in the plane and study their behaviour under curve flows with a global forcing term. We prove an analogue to Huisken's distance comparison principle for curve shortening flow for initial curves whose local total curvature does not lie below -pi and arbitrary global forcing terms.
We study translating soliton solutions to the flow by powers of the curvature of curves in the plane. We characterize these solitons as critical curves for functionals depending on the curvature. More precisely, translating solitons to the flow by powers of the curvature are shown to be generalized elastic curves. In particular, focusing on the curve shortening flow, we deduce a new variational characterization of the grim reaper curve.
In this paper, the isoperimetric inequality in centro-affine plane geometry is obtained. We also investigate the long-term behavior of an invariant plane curve flow, whose evolution process can be expressed as a second-order nonlinear parabolic equation with respect to centro-affine curvature. The forward and backward limits in time are discussed, which shows that a closed convex embedded curve may converge to an ellipse when evolving according to this flow.
The envelope of straight lines affine normal to a plane curve C is its affine evolute; the envelope of the affine lines tangent to C is the original curve, together with the entire affine tangent line at each inflexion of C. In this paper, we consider plane curves without inflexions. We use some techniques of singularity theory to explain how the first envelope turns into the second, as the (constant) slope between the set of lines forming the envelope and the set of affine tangents to C changes from 0 to 1. In particular, we guarantee the existence of the first slope for which singularities o…
Suppose curves are moving by curvature in a plane, but one embeds the plane in $R^3$ and looks at the plane from an angle. Then circles shrinking to a round point would appear to be ellipses shrinking to an ``elliptical point,'' and the surface energy would appear to be anisotropic as would the mobility. The result of this paper is that if one uses the apparent surface energy and the apparent mobility, then the motion by weighted curvature with mobility in the apparent plane is the same as motion by curvature in the original plane but then viewed from the angle. This result applies not only to…
Recently Andrews and Bryan [3] discovered a comparison function which allows them to shorten the classical proof of the well-known fact that the curve shortening flow shrinks embedded closed curves in the plane to a round point. Using this comparison function they estimate the length of any chord from below in terms of the arc length between its endpoints and elapsed time. They apply this estimate to short segments and deduce directly that the maximum curvature decays exponentially to the curvature of a circle with the same length. We consider the expansion of convex curves under inverse (mean…
By analyzing the affine Taylor expansion of a non-degenerate plane curve, we obtain characterizations of classes of such curves via curvature properties of the gravity curve. The proof is based on an analysis of the degree parity and leading coefficients of polynomials occurring in the expansion.
We give the following results for Pinkall's central affine curve flow on the plane: (i) a systematic and simple way to construct the known higher commuting curve flows, conservation laws, and a bi-Hamiltonian structure, (ii) Baecklund transformations and a permutability formula, (iii) infinitely many families of explicit solutions. We also solve the Cauchy problem for periodic initial data.
In this article we investigate a family of nonlinear evolutions of polygons in the plane called the $β$-polygon flow and obtain some results analogous to results for the smooth curve shortening flow: (1) any planar polygon shrinks to a point and (2) a regular polygon with five or more vertices is asymptotically stable in the sense that nearby polygons shrink to points that rescale to a regular polygon. In dimension four we show that the shape of a square is locally stable under perturbations along a hypersurface of all possible perturbations. Furthermore, we are able to show that under a lower…