Spherical Curves with Modified Orthogonal Frame 1 Introduction 2

Total Page:16

File Type:pdf, Size:1020Kb

Spherical Curves with Modified Orthogonal Frame 1 Introduction 2 ISSN: 1304-7981 Number: 10, Year:2016, Pages: 60-68 http://jnrs.gop.edu.tr Received: 18.05.2016 Editors-in-Chief : Bilge Hilal C»ad³rc³ Accepted: 06.06.2016 Area Editor: Serkan Demiriz Spherical Curves with Modi¯ed Orthogonal Frame Bahaddin BUKCUa;1 ([email protected]) Murat Kemal KARACANb ([email protected]) aGazi Osman Pasa University, Faculty of Sciences and Arts, Department of Mathematics,60250,Tokat-TURKEY bUsak University, Faculty of Sciences and Arts, Department of Mathematics,1 Eylul Campus, 64200,Usak-TURKEY Abstract - In [2-4,8-9], the authors have characterized the spherical curves in di®erent spaces.In this paper, we shall charac- Keywords - Spherical curves, terize the spherical curves according to modi¯ed orthogonal frame Modi¯ed orthogonal frame in Euclidean 3-space. 1 Introduction In the Euclidean space E3 a spherical unit speed curves and their characterizations are given in [8,9]. In [2-4,7], the authors have characterized the Lorentzian and Dual 3 spherical curves in the Minkowski 3-space E1 . In this paper, we shall characterize the spherical curves according to modi¯ed orthogonal frame in the Euclidean 3-space. 2 Preliminaries We ¯rst recall the classical fundamental theorem of space curves, i.e., curves in Euclid- ean 3-space E3. Let ®(s) be a curve of class C3, where s is the arc-length parameter. Moreover we assume that its curvature ·(s) does not vanish anywhere. Then there exists an orthonormal frame ft; n; bg which satis¯es the Frenet-Serret equation 2 3 2 3 2 3 t0(s) 0 · 0 t(s) 4 n0(s) 5 = 4 ¡· 0 ¿ 5 4 n(s) 5 (1) b0(s) 0 ¡¿ 0 b(s) 1Corresponding Author Journal of New Results in Science 6 (2016) 60-68 61 where t; n and b are the tangent, principal normal and binormal unit vectors, respec- tively, and ¿(s) is the torsion. Given a function ·(s) of class C1 and a continuous func- tion ¿(s), there exists a curve of class C3 which admits an orthonormal frame ft; n; bg satisfying the Eq.(1) with given · and ¿ as its curvature and torsion, respectively. Such a curve is uniquely determined by a motion of E3: 3 Let ®i (i = 1; 2; 3) be coordinates in E : Let ®(s) an analytic curve , where s runs through some interval and ®(s) be analytic in s. We assume that ® is non-singular, i.e., X3 µ ¶2 d®i ds i=1 is nowhere zero. Therefore we can parametrize ® by its arc length s. In the rest of this paper, we only consider ® in the following form: ® = ®(s) = (®1; ®2; ®3) ; s 2 I where ®(s) is analytic in s and I is a non-empty open interval. We assume that the curvature ·(s) of ® is not identically zero. Now we de¯ne an orthogonal frame fT; N; Bg as follows: d® dT T = ;N = ;B = T £ N; ds ds where T £ N is the vector product of T and N. The relations between those and the classical Frenet frame ft; n; bg at non-zero points of · are 8 < T = t N = ·n (2) : B = ·b: Thus N(s0) = B(s0) = 0 when ·(s0) = 0 and squares of the length of N and B vary analytically in s. By the de¯nition of fT; N; Bg or Eq.(2), a simple calculation shows that 2 3 2 3 2 3 T 0(s) 0 1 0 T (s) 4 0 5 4 2 ·0 5 4 5 N (s) = ¡· · ¿ N(s) (3) B0(s) ·0 B(s) 0 ¡¿ · where a dash denotes the di®erentiation with respect to the arc length s and det (®0; ®00; ®000) ¿ = ¿(s) = ·2 is the torsion of ®. From the Frenet-Serret equation, we know that any zero point of ·2 is a removable singularity of ¿. The Eq.(3) corresponds to the Frenet-Serret equation in the classical case. Moreover, fT; N; Bgsatis¯es: ½ hT;T i = 1; hN; Ni = hB; Bi = ·2; (4) hT;Ni = hT;Bi = hN; Bi = 0 where h; i denotes the inner product of E3. We note that the essential quantities in Eqs.(3) and (4) are ·2(s) and ¿(s) which are analytic in s [7]. Journal of New Results in Science 6 (2016) 60-68 62 3 Spherical Curves with Modi¯ed Orthogonal Frame De¯nition 3.1. Let ® be in E3given with coordinate neighborhood (I; ®). If ® ½ E3 then ® is called a spherical curve of E3: De¯nition 3.2. The sphere having su±ciently close common four points at m 2 ® with the curve ® ½ E3 is called the osculating sphere or curvature sphere of the curve ® at the point m 2 ®: Now let us calculate the geometric locus of the sphere having su±ciently close common three points with curve ® ½ E3 at the point m 2 ®: Theorem 3.3. Let ® be in E3given with coordinate neighborhood (I; ®) : The geometric locus of the centers of the spherical curves having su±ciently close common three points with the curve ® providing the modi¯ed orthogonal frame vectors fT; N; Bgat the point ®(s); s 2 I is a(s) = ®(s) + m2(s)N(s) + m3(s)B(s); where p ¡2 ¡2 2 2 m2 : I ! R; m2(s) = · ; m3(s) = §· r · ¡ 1: Proof. Let (I; ®) be a coordinate neighborhood, and s 2 I be parameter for the curve ®. Let also a be the center and r be the radius of the sphere having su±ciently close common three points with ®. In accordance to this, let us consider f : I ! R (5) s ! f(s) = ha ¡ ®(s); a ¡ ®(s)i ¡ r2: Since f(s) = f 0(s) = f 00(s) = 0 (6) at the point ®(s), then the sphere © ª S2 = x 2 E3 : hx ¡ a; x ¡ ai = r2 ; (x generic point of the sphere) with the curve ® at this point passes su±ciently close three points. So, considering Eqs.(5) and (6) together f 0(s) = ¡2 hT; a ¡ ®(s)i = 0: is obtained. From this, since f 00(s) = 0, we get hT;T i + ha ¡ ®(s); ¡Ni = 0: Considering Eq.(3) with this, we have ha ¡ ®(s);Ni = 1: On the other hand, for the base fT; N; Bg ; a ¡ ®(s) = m1(s)T (s) + m2(s)N(s) + m3(s)B(s); m1(s); m2(s); m3(s) 2 R (7) Journal of New Results in Science 6 (2016) 60-68 63 is obtained. However, by using Eq.(6), we have m1(s) = ha ¡ ®(s);T (s)i ) m1(s) = 0; (8) and 1 ·2m = ha ¡ ®(s);N(s)i ) m = ; (9) 2 2 ·2 By using f(s) = 0, we get 2 2 2 2 2 2 2 ha ¡ ®(s); a ¡ ®(s)i = r ) m1(s) + m2(s)· (s) + m3(s)· (s) = r : (10) Considering Eq.(8) in Eq.(10), we have £ 2 2 ¤ 2 2 m2(s) + m3(s) · (s) = r : (11) Considering also Eq.(9) in Eq.(11) then p ¡2 2 2 m3(s) = §· r · ¡ 1 = ¸: (12) Therefore, subtituting Eqs.(8),(9),(12) in Eq.(3) 1 p a(s) = ®(s) + N(s) § ·¡2 r2·2 ¡ 1B(s): ·2 Here a and r change when the spheres change. Hence, m3(s) = ¸ 2 R is a parameter. This completes the proof of the theorem. Corollary 3.4. Let the curve ® in E3 be given with neighborhood coordinate (I; ®): Then the centers of the spheres which pass su±ciently close common three points with ® at the points ®(s) 2 ® are located on a straight line. Proof. By Theorem 3.3, we have 1 a(s) = ®(s) + N(s) + ¸B(s) ·2(s) The equation with ¸ parameter denotes a line which pass through the point C(s) = 1 ®(s) + ·2(s) N(s) and is parallel to the B: 1 De¯nition 3.5. The line a(s) = ®(s) + ·2 N(s) + ¸B(s) is the geometric locus of the centers of the spheres which have su±ciently close common three points with the curve ® ½ E3 at the point m 2 ® is called curvature the axis at the point m 2 ® of curve ® ½ E3: The point 1 C(s0) = ®(s0) + 2 N(s0) · (s0) on curvature the axis is called curvature the center at the point m = ®(s0) of curve ® ½ E3. Theorem 3.6. Let curve ® ½ E3 be given by (I; ®) coordinate neighborhood. If a(s) = ®(s) + m2(s)N(s) + m3(s)B(s) is the center of the osculating sphere at the point ®(s) 2 ®, then (·¡2)0 m0 m (s) = ·¡2(s); m (s) = or m (s) = 2 . 2 3 2¿ 3 2¿ Journal of New Results in Science 6 (2016) 60-68 64 Proof. The proof of the theorem is similar to the proof of Theorem3.3. The osculating sphere with the curve ® have su±ciently close common four points. Therefore, since f 00(s) = 0 in (6) thus f 000(s) = 0. Then we have ·0 h¡T;Ni ¡ ·2 ha ¡ ®(s);T i + ha ¡ ®(s);Ni + ¿ ha ¡ ®(s);Bi = 0 · Considering Eqns.(1), (8) and (9) in the last equality, we obtain ·0 ha ¡ ®(s);Bi = ¡ : ¿· or ·0 (·¡2)0 m (s) = ¡ or m = 3 ¿·3 3 2¿ Using Eq.(4) in the last equation yields m0 m = 2 : 3 2¿ Corollary 3.7. Let curve ® in E3 is given by (I; ®) neighbouring coordinate. If r is the radius of the osculating sphere at ®(s) 2 ®, then s q · 0 ¸2 1 (·¡2) r = [m2(s) + m2(s)] ·2 = + : 2 3 ·2 2¿ Proof. If the center of the osculating sphere at ®(s) is a, then by Theorem 3.3, a = ®(s) + m2(s)N(s) + m3(s)B(s): Thus we have s q · 0 ¸2 1 (·¡2) r = ka ¡ ®(s)k = ·2(s)m2(s) + ·2(s)m2(s) = + : 2 3 ·2 2¿ 2 2 Theorem 3.8.
Recommended publications
  • 290 E. B. STOUFFER [May-June, SOME CANONICAL FORMS AND
    290 E. B. STOUFFER [May-June, SOME CANONICAL FORMS AND ASSOCIATED CANONICAL EXPANSIONS IN PROJECTIVE DIFFERENTIAL GEOMETRY* BY E. B. STOUFFER 1. Introduction. A simplification of the methods of ap­ proach to any branch of mathematics is always very de­ sirable. This is particularly true in a geometry, where exten­ sive analytical machinery must be set up before geometric results can be obtained. This paper is a contribution to the simplification of Wilczynski's methods of attack upon plane and space curves in projective differential geometry.f A canonical form for the fundamental differential equation associated with the curve is determined. It leads at once to a complete and independent system of invariants and co- variants in their canonical form. The determination of the corresponding system in the general form involves only simple substitutions. An associated canonical expansion for the equation or equations of the curve is obtained by very direct methods and the geometrical significance of the corresponding triangle or tetrahedron of reference becomes easily evident. Because of the method of their derivation, the fundamental invariants and covariants obtained are those which have an immediately evident geometrical sig­ nificance. The methods here employed may be applied to surfaces, both curved and ruled in ordinary space and may also be extended to geometry in hyperspace. The resulting simplifi­ cations are in some cases quite remarkable. These results will be presented in later papers. * Part of a paper read upon invitation of the Program Committee at a meeting of the Southwestern Section of the Society, St. Louis, November 26, 1927. t See Wilczynski, Projective Differential Geometry of Curves and Ruled Surfaces, Chapters 2, 3 and 13.
    [Show full text]
  • Osculating Curves and Surfaces*
    OSCULATING CURVES AND SURFACES* BY PHILIP FRANKLIN 1. Introduction The limit of a sequence of curves, each of which intersects a fixed curve in « +1 distinct points, which close down to a given point in the limit, is a curve having contact of the «th order with the fixed curve at the given point. If we substitute surface for curve in the above statement, the limiting surface need not osculate the fixed surface, no matter what value » has, unless the points satisfy certain conditions. We shall obtain such conditions on the points, our conditions being necessary and sufficient for contact of the first order, and sufficient for contact of higher order. By taking as the sequence of curves parabolas of the «th order, we obtain theorems on the expression of the »th derivative of a function at a point as a single limit. For the surfaces, we take paraboloids of high order, and obtain such expressions for the partial derivatives. In this case, our earlier restriction, or some other, on the way in which the points close down to the limiting point is necessary. In connection with our discussion of osculating curves, we obtain some interesting theorems on osculating conies, or curves of any given type, which follow from a generalization of Rolle's theorem on the derivative to a theorem on the vanishing of certain differential operators. 2. Osculating curves Our first results concerning curves are more or less well known, and are presented chiefly for the sake of completeness and to orient the later results, t We begin with a fixed curve c, whose equation, in some neighbor- hood of the point x —a, \x —a\<Q, may be written y=f(x).
    [Show full text]
  • Book 6 in the Light and Matter Series of Free Introductory Physics Textbooks
    Book 6 in the Light and Matter series of free introductory physics textbooks www.lightandmatter.com The Light and Matter series of introductory physics textbooks: 1 Newtonian Physics 2 Conservation Laws 3 Vibrations and Waves 4 Electricity and Magnetism 5 Optics 6 The Modern Revolution in Physics Benjamin Crowell www.lightandmatter.com Fullerton, California www.lightandmatter.com copyright 1998-2003 Benjamin Crowell edition 3.0 rev. May 15, 2007 This book is licensed under the Creative Com- mons Attribution-ShareAlike license, version 1.0, http://creativecommons.org/licenses/by-sa/1.0/, except for those photographs and drawings of which I am not the author, as listed in the photo credits. If you agree to the license, it grants you certain privileges that you would not otherwise have, such as the right to copy the book, or download the digital version free of charge from www.lightandmatter.com. At your option, you may also copy this book under the GNU Free Documentation License version 1.2, http://www.gnu.org/licenses/fdl.txt, with no invariant sections, no front-cover texts, and no back-cover texts. ISBN 0-9704670-6-0 To Gretchen. Brief Contents 1 Relativity 13 2 Rules of Randomness 43 3 Light as a Particle 67 4 Matter as a Wave 85 5 The Atom 111 Contents 2 Rules of Randomness 2.1 Randomness Isn’t Random . 45 2.2 Calculating Randomness . 46 Statistical independence, 46.—Addition of probabilities, 47.—Normalization, 48.— Averages, 48. 2.3 Probability Distributions . 50 Average and width of a probability distribution, 51.
    [Show full text]
  • The Frenet–Serret Formulas∗
    The Frenet–Serret formulas∗ Attila M´at´e Brooklyn College of the City University of New York January 19, 2017 Contents Contents 1 1 The Frenet–Serret frame of a space curve 1 2 The Frenet–Serret formulas 3 3 The first three derivatives of r 3 4 Examples and discussion 4 4.1 Thecurvatureofacircle ........................... ........ 4 4.2 Thecurvatureandthetorsionofahelix . ........... 5 1 The Frenet–Serret frame of a space curve We will consider smooth curves given by a parametric equation in a three-dimensional space. That is, writing bold-face letters of vectors in three dimension, a curve is described as r = F(t), where F′ is continuous in some interval I; here the prime indicates derivative. The length of such a curve between parameter values t I and t I can be described as 0 ∈ 1 ∈ t1 t1 ′ dr (1) σ(t1)= F (t) dt = dt Z | | Z dt t0 t0 where, for a vector u we denote by u its length; here we assume t is fixed and t is variable, so | | 0 1 we only indicated the dependence of the arc length on t1. Clearly, σ is an increasing continuous function, so it has an inverse σ−1; it is customary to write s = σ(t). The equation − def (2) r = F(σ 1(s)) s J = σ(t): t I ∈ { ∈ } is called the re-parametrization of the curve r = F(t) (t I) with respect to arc length. It is clear that J is an interval. To simplify the description, we will∈ always assume that r = F(t) and s = σ(t), ∗Written for the course Mathematics 2201 (Multivariable Calculus) at Brooklyn College of CUNY.
    [Show full text]
  • The Elementary Differential Geometry of Plane Curves CAMBRIDGE UNIVERSITY PRESS
    ilmm mnm IINBINQ LIST QECa 1921 Digitized by the Internet Archive in 2007 with funding from Microsoft Corporation http://www.archive.org/details/elennentarydifferOOfowluoft Cambridge Tracts in Mathematics "; and Mathematical Physics General Editors J. G. LEATHEM, Sc.D. G. H. HARDY, M.A., F.R.S. No. 20 The Elementary Differential Geometry of Plane Curves CAMBRIDGE UNIVERSITY PRESS C. F. CLAY, Manager LONDON : FETTER LANE, E.G. 4 NEW YORK : G. P. PUTNAM'S SONS BOMBAY ") CALCUTTA I MACM I LLAN AND CO., Ltd. MADRAS J TORONTO : J. M. DENT AND SONS, Ltd. TOKYO : MARUZEN-KABUSHIKI-KAISHA ALL RIGHTS RESERVED THE <> ELEMENTARY DIFFERENTIAL GEOMETRY OF PLANE CURVES BY R. H. FOWLER, M.A, Fellow of Trinity College, Cambridge CAMBRIDGE AT THE UNIVERSITY PRESS 1920 4 PKEFACE THIS tract is intended to present a precise account of the elementary differential properties of plane curves. The matter contained is in no sense new, but a suitable connected treatment in the English language has not been available. As a result, a number of interesting misconceptions are current in English text books. It is sufficient to mention two somewhat striking examples, (a) According to the ordinary definition of an envelope, as the locus of the limits of points of intersection of neighbouring curves, a curve is not the envelope of its circles of curvature, for neighbouring circles of curvature do not intersect, (b) The definitions of an asymptote—(1) a straight line, the distance from which of a point on limit of the curve tends to zero as the point tends to infinity ; (2) the a tangent to the curve, whose point of contact tends to infinity—are not equivalent.
    [Show full text]
  • Osculating Curves: Around the Tait-Kneser Theorem
    Osculating curves: around the Tait-Kneser Theorem E. Ghys S. Tabachnikov V. Timorin 1 Tait and Kneser The notion of osculating circle (or circle of curvature) of a smooth plane curve is familiar to every student of calculus and elementary differential geometry: this is the circle that approximates the curve at a point better than all other circles. One may say that the osculating circle passes through three infinitesimally close points on the curve. More specifically, pick three points on the curve and draw a circle through these points. As the points tend to each other, there is a limiting position of the circle: this is the osculating circle. Its radius is the radius of curvature of the curve, and the reciprocal of the radius is the curvature of the curve. If both the curve and the osculating circle are represented locally as graphs of smooth functions then not only the values of these functions but also their first and second derivatives coincide at the point of contact. Ask your mathematical friend to sketch an arc of a curve and a few osculating circles. Chances are, you will see something like Figure 1. Figure 1: Osculating circles? arXiv:1207.5662v1 [math.DG] 24 Jul 2012 This is wrong! The following theorem was discovered by Peter Guthrie Tait in the end of the 19th century [9] and rediscovered by Adolf Kneser early in the 20th century [4]. Theorem 1 The osculating circles of an arc with monotonic positive curvature are pairwise disjoint and nested. Tait's paper is so short that we quote it almost verbatim (omitting some old-fashioned terms): 1 When the curvature of a plane curve continuously increases or diminishes (as in the case with logarithmic spiral for instance) no two of the circles of curvature can intersect each other.
    [Show full text]
  • Some Characterizations of Null Osculating Curves in the Minkowski Space-Time
    Proceedings of the Estonian Academy of Sciences, 2012, 61, 1, 1–8 doi: 10.3176/proc.2012.1.01 Available online at www.eap.ee/proceedings Some characterizations of null osculating curves in the Minkowski space-time Kazım Ilarslan˙ a¤ and Emilija Nesoviˇ c´b a Kırıkkale University, Faculty of Sciences and Arts, Department of Mathematics, Kırıkkale, Turkey b University of Kragujevac, Faculty of Science, Department of Mathematics and Informatics, Kragujevac, Serbia Received 14 October 2010, accepted 15 July 2011, available online 15 February 2012 4 Abstract. In this paper we give the necessary and sufficient conditions for null curves in E1 to be osculating curves in terms of their curvature functions. In particular, we obtain some relations between null normal curves and null osculating curves as well as 4 between null rectifying curves and null osculating curves. Finally, we give some examples of the null osculating curves in E1. Key words: Minkowski space-time, null curve, osculating curve, curvature. 1. INTRODUCTION In the Euclidean space E3 there exist three classes of curves, so-called rectifying, normal, and osculating curves, which satisfy Cesa`ro’s fixed point condition [3]. Namely, rectifying, normal, and osculating planes of such curves always contain a particular point. It is well known that if all the normal or osculating planes of a curve in E3 pass through a particular point, then the curve lies in a sphere or is a planar curve, respectively. It is also known that if all rectifying planes of the curve in E3 pass through a particular point, then the ratio of torsion and curvature of the curve is a non-constant linear function [2].
    [Show full text]
  • [Math.DG] 23 Feb 2006 Variations on the Tait–Kneser Theorem
    Variations on the Tait–Kneser theorem Serge Tabachnikov and Vladlen Timorin Department of Mathematics, Penn State University University Park, PA 16802, USA Institute for Mathematical Sciences, State University of New York at Stony Brook Stony Brook, NY 11794, USA 1 Introduction At every point, a smooth plane curve can be approximated, to second order, by a circle; this circle is called osculating. One may think of the osculating circle as passing through three infinitesimally close points of the curve. A vertex of the curve is a point at which the osculating circle hyper-osculates: it approximates the curve to third order. Equivalently, a vertex is a critical point of the curvature function. Consider a (necessarily non-closed) curve, free from vertices. The classical Tait-Kneser theorem [13, 5] (see also [3, 10]), states that the osculating circles of the curve are pairwise disjoint, see Figure 1. This theorem is closely related to the four vertex theorem of S. Mukhopadhyaya [8] that a plane oval has at least 4 vertices (see again [3, 10]). Figure 1 illustrates the Tait-Kneser theorem: it shows an annulus foliated arXiv:math/0602317v2 [math.DG] 23 Feb 2006 by osculating circles of a curve. Remark 1.1 This foliation is not differentiable! Here is a proof. Let f be a differentiable function in the annulus, constant on the leaves. We claim that f is constant. Indeed, df vanishes on the tangent vectors to the leaves. The curve is tangent to its osculating circle at every point, hence df vanishes on the curve as well. Hence f is constant on the curve.
    [Show full text]
  • Abstract This Paper Considers Osculating Algebraic Curves of Degree D of a Smooth Curve in the Projective Plane RP 2
    Abstract This paper considers osculating algebraic curves of degree d of a smooth curve in the projective plane RP 2. There is a wonderful Tait- Kneser-like theorem for curves of degree 2. Also there is a similar result for ovals of cubic curves, that was proven by S.Tabachnikov and V.Timorin ([2]) . Our main goal is to prove a generalization of this theorem for any degree d using methods of differential and projective geometry. 1 Contents Introduction 3 Main part 4 Definitions . 4 Coordinates . 5 The main problem . 6 Definitions . 7 Strategy of research . 8 Conclusion 8 References 9 2 Introduction The Tait-Kneser theorem was discovered by Peter Guthrie Tait ([3]) at the end of the 19th century and rediscovered by Adolf Kneser early in the 20th century. The theorem states the following: Theorem 1. The osculating circles of an arc with a monotonic positive cur- vature are pairwise disjoint and nested. The proof is very simple. If A; B are any two points of an evolute, the chord AB is the distance between the centers of the circles, and is necessarily less than the arc AB, the difference of their radii. There is whole series of similar theorems, here are some examples: 1. Taylor polynomials Let f(x) be a smooth function of real variable. The Taylor polynomial Tt(x) of degree n approximates f up to the n-th derivative. Then for an even n: Theorem 2. For any distinct a; b 2 I, the graphs of the Taylor polynomials Ta and Tb are disjoint over the whole real line.
    [Show full text]
  • Estimating Differential Quantities Using Polynomial Fitting of Osculating Jets Frédéric Cazals, Marc Pouget
    Estimating Differential Quantities using Polynomial fitting of Osculating Jets Frédéric Cazals, Marc Pouget To cite this version: Frédéric Cazals, Marc Pouget. Estimating Differential Quantities using Polynomial fitting of Oscu- lating Jets. Computer Aided Geometric Design, Elsevier, 2005, 22 (2), pp.121-146. inria-00097582 HAL Id: inria-00097582 https://hal.inria.fr/inria-00097582 Submitted on 21 Sep 2006 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Estimating Differential Quantities † using Polynomial fitting of Osculating Jets ∗ F. Cazals ,‡ M. Pouget § September 20, 2004 Abstract This paper addresses the point-wise estimation of differential properties of a smooth manifold S —a curve in the plane or a surface in 3D— assuming a point cloud sampled over S is provided. The method consists of fitting the local representation of the manifold using a jet, and either interpolation or approximation. A jet is a truncated Taylor expansion, and the incentive for using jets is that they encode all local geometric quantities —such as normal, curvatures, extrema of curvature. On the way to using jets, the question of estimating differential properties is recasted into the more general framework of multivariate interpolation / approximation, a well-studied problem in numerical analysis.
    [Show full text]
  • Concerning the Curvature of Curved Lines
    EULER'S INTRODUCTIO IN ANALYSIN INFINITORUM VOL. 2 Chapter 14. Translated and annotated by Ian Bruce. page 332 CHAPTER XIV CONCERNING THE CURVATURE OF CURVED LINES 304. Just as in the chapter above we have investigated right lines, which will indicate the direction of this curved line at some point, thus here we will investigate simpler curved lines, which may agree so precisely with a proposed curve, that as if perhaps in the smallest space they may be merged together. For thus from the known nature of the simpler curve the nature of the proposed curve likewise may be deduced. Clearly here we will proceed by a similar method, as we have used above in examining the nature of the branches extending to infinity; that is to say at first by investigating the right line, which touches the curve, then truly a simpler curved line, which may meet the proposed curve much more than and which may not only touch, but will be in a much better contact. Moreover the contact of the smallest arcs of curved lines of this kind is accustomed to be called osculating. 305. Therefore let some equation be proposed between the orthogonal coordinates x and y, and the nature of the minimum part of the curve Mm (Fig. 55) is required to be investigated situated around the point M, since the abscissa AP p and the applied line PM q shall be found, and on the axis MR the minimum abscissa may be considered Mqt and the applied line qm u ; and there becomes x pt and yqu ; with which values substituted in the equation it may arrive at this equation 0At Bu Ctt Dtu Euu Ft3 Gttu etc., which expresses the nature of the curve related to the same axis MR.
    [Show full text]
  • Points of Ninth Order on Cubic Curves
    Rose-Hulman Undergraduate Mathematics Journal Volume 15 Issue 1 Article 1 Points of Ninth Order on Cubic Curves Leah Balay-Wilson Smith College Taylor Brysiewicz Northern Illinois University, [email protected] Follow this and additional works at: https://scholar.rose-hulman.edu/rhumj Recommended Citation Balay-Wilson, Leah and Brysiewicz, Taylor (2014) "Points of Ninth Order on Cubic Curves," Rose-Hulman Undergraduate Mathematics Journal: Vol. 15 : Iss. 1 , Article 1. Available at: https://scholar.rose-hulman.edu/rhumj/vol15/iss1/1 Rose- Hulman Undergraduate Mathematics Journal Points of Ninth Order on Cubic Curves Leah Balay-Wilson a Taylor Brysiewicz b Volume 15, No. 1, Spring 2014 Sponsored by Rose-Hulman Institute of Technology Department of Mathematics Terre Haute, IN 47803 a Email: [email protected] Smith College b http://www.rose-hulman.edu/mathjournal Northern Illinois University Rose-Hulman Undergraduate Mathematics Journal Volume 15, No. 1, Spring 2014 Points of Ninth Order on Cubic Curves Leah Balay-Wilson Taylor Brysiewicz Abstract. In this paper we geometrically provide a necessary and sufficient con- dition for points on a cubic to be associated with an infinite family of other cubics who have nine-pointic contact at that point. We then provide a parameterization of the family of cubics with nine-pointic contact at that point, based on the osculating quadratic. Acknowledgements: This research took place at the University of Wisconsin { Stout REU 2013, which was sponsored by NSF grant DMS 1062403. The authors wish to ac- knowledge the support of the University of Wisconsin { Stout. In particular, Dr. Seth Dutter, for all of his guidance and support throughout this project.
    [Show full text]