No Arabic abstract
We consider a variational scheme for the anisotropic (including crystalline) mean curvature flow of sets with strictly positive anisotropic mean curvature. We show that such condition is preserved by the scheme, and we prove the strict convergence in BV of the time-integrated perimeters of the approximating evolutions, extending a recent result of De Philippis and Laux to the anisotropic setting. We also prove uniqueness of the flat flow obtained in the limit.
In the last 15 years, White and Huisken-Sinestrari developed a far-reaching structure theory for the mean curvature flow of mean convex hypersurfaces. Their papers provide a package of estimates and structural results that yield a precise description of singularities and of high curvature regions in a mean convex flow. In the present paper, we give a new treatment of the theory of mean convex (and k-convex) flows. This includes: (1) an estimate for derivatives of curvatures, (2) a convexity estimate, (3) a cylindrical estimate, (4) a global convergence theorem, (5) a structure theorem for ancient solutions, and (6) a partial regularity theorem. Our new proofs are both more elementary and substantially shorter than the original arguments. Our estimates are local and universal. A key ingredient in our new approach is the new non- collapsing result of Andrews. Some parts are also inspired by the work of Perelman. In a forthcoming paper, we will give a new construction of mean curvature flow with surgery based on the theorems established in the present paper.
An existence and uniqueness result, up to fattening, for crystalline mean curvature flows with forcing and arbitrary (convex) mobilities, is proven. This is achieved by introducing a new notion of solution to the corresponding level set formulation. Such a solution satisfies the comparison principle and a stability property with respect to the approximation by suitably regularized problems. The results are valid in any dimension and for arbitrary, possibly unbounded, initial closed sets. The approach accounts for the possible presence of a time-dependent bounded forcing term, with spatial Lipschitz continuity. As a by-product of the analysis, the problem of the convergence of the Almgren-Taylor-Wang minimizing movements scheme to a unique (up to fattening) flat flow in the case of general, possibly crystalline, anisotropies is settled.
We show that convex viscosity solutions of the Lagrangian mean curvature equation are regular if the Lagrangian phase has Holder continuous second derivatives.
We will give a new proof of the existence of hypercylinder expander of the inverse mean curvature flow which is a radially symmetric homothetic soliton of the inverse mean curvature flow in $mathbb{R}^ntimes mathbb{R}$, $nge 2$, of the form $(r,y(r))$ or $(r(y),y)$ where $r=|x|$, $xinmathbb{R}^n$, is the radially symmetric coordinate and $yin mathbb{R}$. More precisely for any $lambda>frac{1}{n-1}$ and $mu>0$, we will give a new proof of the existence of a unique even solution $r(y)$ of the equation $frac{r(y)}{1+r(y)^2}=frac{n-1}{r(y)}-frac{1+r(y)^2}{lambda(r(y)-yr(y))}$ in $mathbb{R}$ which satisfies $r(0)=mu$, $r(0)=0$ and $r(y)>yr(y)>0$ for any $yinmathbb{R}$. We will prove that $lim_{ytoinfty}r(y)=infty$ and $a_1:=lim_{ytoinfty}r(y)$ exists with $0le a_1<infty$. We will also give a new proof of the existence of a constant $y_1>0$ such that $r(y_1)=0$, $r(y)>0$ for any $0<y<y_1$ and $r(y)<0$ for any $y>y_1$.
We will give a new proof of a recent result of P.~Daskalopoulos, G.Huisken and J.R.King ([DH] and reference [7] of [DH]) on the existence of self-similar solution of the inverse mean curvature flow which is the graph of a radially symmetric solution in $mathbb{R}^n$, $nge 2$, of the form $u(x,t)=e^{lambda t}f(e^{-lambda t} x)$ for any constants $lambda>frac{1}{n-1}$ and $mu<0$ such that $f(0)=mu$. More precisely we will give a new proof of the existence of a unique radially symmetric solution $f$ of the equation $mbox{div},left(frac{ abla f}{sqrt{1+| abla f|^2}} right)=frac{1}{lambda}cdotfrac{sqrt{1+| abla f|^2}}{xcdot abla f-f}$ in $mathbb{R}^n$, $f(0)=mu$, for any $lambda>frac{1}{n-1}$ and $mu<0$, which satisfies $f_r(r)>0$, $f_{rr}(r)>0$ and $rf_r(r)>f(r)$ for all $r>0$. We will also prove that $lim_{rtoinfty}frac{rf_r(r)}{f(r)}=frac{lambda (n-1)}{lambda (n-1)-1}$.