ERROR TERM IN POINTWISE APPROXIMATION OF THE CURVATURE OF A CURVE

Description

Niveau: Supérieur, Doctorat, Bac+8
ERROR TERM IN POINTWISE APPROXIMATION OF THE CURVATURE OF A CURVE VINCENT BORRELLI AND FABRICE ORGERET .Let P be a polygonal line approximating a planar curve curve ?, the discrete curvature kd(P) at a vertex P ? P is (usually) defined to be the quotient of the angle between the normals of the two segments with vertex P by the average length of these segments. In this article we give an explicit upper bound of the difference |k(P)? kd(P)| between the curvature k(P) at P of the curve and the discrete curvature in terms of the polygonal line's data, the supremums over ? of the curvature function k and its derivative k?, and a new ge- ometrical invariant, the return factor ??. One consequence of this upper bound is that it is not needed to know precisely which curve is passing through the vertices of the polygonal line P to have a pointwise information on its curvature. Keywords: Smooth curves; Discrete curvatures, Approximation, Differential Geometry. 1. INTRODUCTION 1.1. Generalities. Curvature estimates are often needed in applications from computer vi- sion, computer graphics, geometric modeling and computer aided design. Indeed, they are of a fundamental importance for the intelligence of the geometry of meshes and there is, in applied geometry, a vast literature devoted to their study ([2],[3],[5],[9],[10], for instance).

• any reasonable curve


• passing through


• such points exist


• average length


• point de ?


• ciently small neighborhood


• going through every


• flat point


• small compared

Sujets

• Comment
• Parábola
• Passing Through

Informations

• Publié par: mijec
• Nombre de lectures: 21
• Langue: English

Extrait

ERRORTERMINPOINTWISEAPPROXIMATIONOFTHECURVATUREOF ACURVE VINCENTBORRELLIANDFABRICEORGERET .Let P beapolygonallineapproximatingaplanarcurvecurve Γ ,thediscretecurvature k d ( P ) atavertexP ∈P is(usually)definedtobethequotientoftheanglebetweenthe normalsofthetwosegmentswithvertex P bytheaveragelengthofthesesegments.In thisarticlewegiveanexplicitupperboundofthedifference | k ( P ) − k d ( P ) | betweenthe curvature k ( P )at P ofthecurveandthediscretecurvatureintermsofthepolygonalline’s data,thesupremumsover Γ ofthecurvaturefunctionkanditsderivativek 0 ,andanewge- ometricalinvariant,thereturnfactor Ω Γ .Oneconsequenceofthisupperboundisthatitis notneededtoknowpreciselywhichcurveispassingthroughtheverticesofthepolygonal line P tohaveapointwiseinformationonitscurvature. Keywords:Smoothcurves;Discretecurvatures,Approximation,DifferentialGeometry. 1.I NTRODUCTION 1.1. Generalities. Curvatureestimatesareoftenneededinapplicationsfromcomputervi- sion,computergraphics,geometricmodelingandcomputeraideddesign.Indeed,theyare ofafundamentalimportancefortheintelligenceofthegeometryofmeshesandthereis,in appliedgeometry,avastliteraturedevotedtotheirstudy([2],[3],[5],[9],[10],forinstance). Neverthelessandasfarasweknow,thisliteratureonlyfocussesontheconvergenceissue: givenasequenceofmeshesapproximatingasurface,dodiscretecurvaturesconvergeto- wardscurvaturesofthesurface?Yetthereisanotherquestion,atleastasimportant,the approximationissue:givenonemeshapproximatingasurface,canweevaluatetheerror betweendiscretecurvaturesandcurvaturesofthesurface?Thegoalofthisarticleisto beginthestudyofthisapproximationissueinaone-dimensionalsetting,forcurves. 1.2.ApproximationProblemforCurves.Therearemanywaystotacklewiththeprob- lemofpointwiseapproximationofcurvature.Themostnaturaloneisprobablytostart withacurve Γ andasequenceofpolygonallines( P n ) n ∈ N whichinterpolatethecurve moreandmoreclosely,thentodefineadiscretecurvaturek d (P i n )oneveryvertexP i n ∈ P n suchthatthenumbers { k d (P i n ) } n ∈ N tendtowardthecurvaturek(P i )of Γ atP i =lim n → ∞ P i n . Thisapproachturnsouttobeboth,relativelyeasyandefficient:ifP i − 1 ,P i ,P i +1 arethree consecutiveverticesofapolygonalline P thenthefollowingnumber − γπ k d ( P i )= i , η i with γ i =∠( P i P i − 1 , P i P i+1 ) ∈ [0, π [ 1 and η i =( | P i P i − 1 | + | P i P i + 1 | ) 2 doestheworkunderveryweakhypothesisonthepolygonalsequence(see[2]forinstance ortheproofof[8]).Nevertheless,althoughnatural,thisprocessisinadequateforconcrete 1