Analysis of a method to parameterize planar curves immersed in triangulations

Abstract

We prove that a planar $C^2$-regular boundary $Γ$ can always be parameterized with its closest point projection $π$ over a certain collection of edges $Γ_h$ in an ambient triangulation, by making simple assumptions on the background mesh. For $Γ_h$, we select the edges that have both vertices on one side of $Γ$ and belong to a triangle that has a vertex on the other side. By imposing restrictions on the size of triangles near the curve and by requesting that certain angles in the mesh be strictly acute, we prove that $π:Γ_h\rightarrowΓ$ is a homeomorphism, that it is $C^1$ on each edge in $Γ_h$ and provide bounds for the Jacobian of the parameterization. The assumptions on the background mesh are both easy to satisfy in practice and conveniently verified in computer implementations. The parameterization analyzed here was previously proposed by the authors and applied to the construction of high-order curved finite elements on a class of planar piecewise $C^2$-curves.