72808FA576A9
(Even graphical corner expanders) For every $\kappa >0$ there is a smooth even function $\phi _\kappa :\mathbb R\to \mathbb R$ satisfying
The profile $\Gamma _\kappa =\{ (x,\phi _\kappa (x)):x\in \mathbb R\} $ is a smooth complete properly embedded noncompact curve in $\mathbb R^2$, with topology $\mathbb R$, reflection symmetry, and two ends asymptotic to the rays of $y=\kappa |x|$. It is $E$-minimizing against compact replacements. Its curvature vector is nonzero and points along the upward graph normal: writing $q=\phi _\kappa -x\phi _\kappa '$ gives $q'=-x(1+(\phi _\kappa ')^2)q/2$ and $\phi _\kappa ''=(1+(\phi _\kappa ')^2)q/2$, with $q(0)>0$.
The source gives the quantitative estimate, for $x>0$,
The flow $\sqrt t\, \Gamma _\kappa $, $t\in (0,\infty )$, smooths the corner at time zero. These are ODE-defined profiles, not elementary closed formulas. Source: [Ding20], Section 4, equations (4.9)–(4.15), printed pp. 373–374, supplied PDF pp. 15–16. The figure shows a numerical ODE profile with $\phi (0)=1$. Taking the product with $\mathbb R$ gives an example in $\mathbb R^3$ with one zero principal curvature.
Comments
Comments are not enabled yet.