Analysis of a method to parameterize planar curves immersed in triangulations
This provides a theoretical foundation for a parameterization method used in high-order curved finite elements, benefiting computational geometry and numerical simulation.
The authors prove that a planar C^2-regular boundary can be parameterized using its closest point projection over selected edges in an ambient triangulation, under simple mesh assumptions, establishing a homeomorphism and C^1 regularity with Jacobian bounds.
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.