English

Geometric Gradient Flows from Elliptic Level Sets: Normal Decomposition and Reflection Dynamics

Analysis of PDEs 2026-07-18 v1

Abstract

We investigate the asymptotic geometry of shifting superlevel sets Ωt={xΩ:u(x)>t}\Omega_t = \{x \in \Omega : u(x) > t\} generated by solutions to the elliptic Dirichlet problem Δu=f-\Delta u = f in Ω\Omega, where the non-negative source f≢0f \not\equiv 0 is compactly supported within a strictly convex inner core CΩC \subset \Omega. Under a quantitative radial monotonicity condition, each boundary Ωt\partial\Omega_t is a smooth normal graph over C\partial C characterized by a thickness function dtC1,α(C)d_t \in C^{1,\alpha}(\partial C) tracking d0d_0 as t0t \to 0.A central contribution is a rigorous decomposition of the inward unit normal field along the level surfaces: nΩt=νCdt+G+P\mathbf{n}_{\Omega_t} = \nu - \nabla_{\partial C} d_t + \mathcal{G} + \mathcal{P}, where ν\nu is the static radial normal, Cdt-\nabla_{\partial C} d_t is the kinematic driving vector, and G,P\mathcal{G}, \mathcal{P} are curvature and PDE Hessian remainder operators.In a thin-shell configuration (d0C11)(\Vert{}d_0\Vert{}_{C^1} \ll 1), we formalize a discrete specular point-reflection mapping FnF_n on C\partial C. We prove the tangential displacement satisfies Fn(p)p=2dn(p)Cdn(p)+Rn(p)F_n(p) - p = -2d_n(p)\nabla_{\partial C}d_n(p) + R_n(p), with quadratic control RnLCdnC12\Vert{}R_n\Vert{}_{L^\infty} \le C\Vert{}d_n\Vert{}_{C^1}^2. Using the energy E(t)=Cdt2dHN1\mathcal{E}(t) = \int_{\partial C} d_t^2 \, d\mathcal{H}^{N-1}, we show these orbits approximate a continuous gradient flow driven by +Cdt~(p)+\nabla_{\partial C} d_{\tilde{t}}(p) to first order. Finite element computations (FEniCS) validate these convergence rates.

Cite

@article{arxiv.2607.16912,
  title  = {Geometric Gradient Flows from Elliptic Level Sets: Normal Decomposition and Reflection Dynamics},
  author = {Mohammed Barkatou and Mohamed El Morsalani},
  journal= {arXiv preprint arXiv:2607.16912},
  year   = {2026}
}