اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدMean curvature, threshold dynamics, and phase field theory on finite graphs
137
0
0.0
(
0
)
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
In the continuum, close connections exist between mean curvature flow, the Allen-Cahn (AC) partial differential equation, and the Merriman-Bence-Osher (MBO) threshold dynamics scheme. Graph analogues of these processes have recently seen a rise in popularity as relaxations of NP-complete combinatorial problems, which demands deeper theoretical underpinnings of the graph processes. The aim of this paper is to introduce these graph processes in the light of their continuum counterparts, provide some background, prove the first results connecting them, illustrate these processes with examples and identify open questions for future study. We derive a graph curvature from the graph cut function, the natural graph counterpart of total variation (perimeter). This derivation and the resulting curvature definition differ from those in earlier literature, where the continuum mean curvature is simply discretized, and bears many similarities to the continuum nonlocal curvature or nonlocal means formulation. This new graph curvature is not only relevant for graph MBO dynamics, but also appears in the variational formulation of a discrete time graph mean curvature flow. We prove estimates showing that the dynamics are trivial for both MBO and AC evolutions if the parameters (the time-step and diffuse interface scale, respectively) are sufficiently small (a phenomenon known as freezing or pinning) and also that the dynamics for MBO are nontrivial if the time step is large enough. These bounds are in terms of graph quantities such as the spectrum of the graph Laplacian and the graph curvature. Adapting a Lyapunov functional for the continuum MBO scheme to graphs, we prove that the graph MBO scheme converges to a stationary state in a finite number of iterations. Variations on this scheme have recently become popular in the literature as ways to minimize (continuum) nonlocal total variation.
قيم البحث
اقرأ أيضاً
We analyze the continuum limit of a thresholding algorithm for motion by mean curvature of one dimensional interfaces in various space-time discrete regimes. The algorithm can be viewed as a time-splitting scheme for the Allen-Cahn equation which is
a typical model for the motion of materials phase boundaries. Our results extend the existing statements which are applicable mostly in semi-discrete (continuous in space and discrete in time) settings. The motivations of this work are twofolds: to investigate the interaction between multiple small parameters in nonlinear singularly perturbed problems, and to understand the anisotropy in curvature for interfaces in spatially discrete environments. In the current work, the small parameters are the the spatial and temporal discretization step sizes $triangle x = h$ and $triangle t = tau$. We have identified the limiting description of the interfacial velocity in the (i) sub-critical ($h ll tau$), (ii) critical ($h = O(tau)$), and (iii) super-critical ($h gg tau$) regimes. The first case gives the classical isotropic motion by mean curvature, while the second produces intricate pinning and de-pinning phenomena and anisotropy in the velocity function of the interface. The last case produces no motion (complete pinning).
Inspired by works of Casteras (Pacific J. Math., 2015), Li-Zhu (Calc. Var., 2019) and Sun-Zhu (Calc. Var., 2020), we propose a heat flow for the mean field equation on a connected finite graph $G=(V,E)$. Namely $$ left{begin{array}{lll} partial_tphi(
u)=Delta u-Q+rho frac{e^u}{int_Ve^udmu}[1.5ex] u(cdot,0)=u_0, end{array}right. $$ where $Delta$ is the standard graph Laplacian, $rho$ is a real number, $Q:Vrightarrowmathbb{R}$ is a function satisfying $int_VQdmu=rho$, and $phi:mathbb{R}rightarrowmathbb{R}$ is one of certain smooth functions including $phi(s)=e^s$. We prove that for any initial data $u_0$ and any $rhoinmathbb{R}$, there exists a unique solution $u:Vtimes[0,+infty)rightarrowmathbb{R}$ of the above heat flow; moreover, $u(x,t)$ converges to some function $u_infty:Vrightarrowmathbb{R}$ uniformly in $xin V$ as $trightarrow+infty$, and $u_infty$ is a solution of the mean field equation $$Delta u_infty-Q+rhofrac{e^{u_infty}}{int_Ve^{u_infty}dmu}=0.$$ Though $G$ is a finite graph, this result is still unexpected, even in the special case $Qequiv 0$. Our approach reads as follows: the short time existence of the heat flow follows from the ODE theory; various integral estimates give its long time existence; moreover we establish a Lojasiewicz-Simon type inequality and use it to conclude the convergence of the heat flow.
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.
We prove the mean curvature flow of a spacelike graph in $(Sigma_1times Sigma_2, g_1-g_2)$ of a map $f:Sigma_1to Sigma_2$ from a closed Riemannian manifold $(Sigma_1,g_1)$ with $Ricci_1> 0$ to a complete Riemannian manifold $(Sigma_2,g_2)$ with bound
ed curvature tensor and derivatives, and with sectional curvatures satisfying $K_2leq K_1$, remains a spacelike graph, exists for all time, and converges to a slice at infinity. We also show, with no need of the assumption $K_2leq K_1$, that if $K_1>0$, or if $Ricci_1>0$ and $K_2leq -c$, $c>0$ constant, any map $f:Sigma_1to Sigma_2$ is trivially homotopic provided $f^*g_2<rho g_1$ where $rho=min_{Sigma_1}K_1/sup_{Sigma_2}K_2^+geq 0$, in case $K_1>0$, and $rho=+infty$ in case $K_2leq 0$. This largely extends some known results for $K_i$ constant and $Sigma_2$ compact, obtained using the Riemannian structure of $Sigma_1times Sigma_2$, and also shows how regularity theory on the mean curvature flow is simpler and more natural in pseudo-Riemannian setting then in the Riemannian one.
We prove an existence result for helicoidal graphs with prescribed mean curvature in a large class of warped product spaces which comprises space forms.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
