The Curve Shortening Flow in the Metric-Affine Plane

Total Page:16

File Type:pdf, Size:1020Kb

The Curve Shortening Flow in the Metric-Affine Plane mathematics Article The Curve Shortening Flow in the Metric-Affine Plane Vladimir Rovenski Department of Mathematics, University of Haifa, Mount Carmel, Haifa 31905, Israel; [email protected] Received: 31 March 2020; Accepted: 21 April 2020; Published: 2 May 2020 Abstract: We investigated, for the first time, the curve shortening flow in the metric-affine plane and prove that under simple geometric condition (when the curvature of initial curve dominates the torsion term) it shrinks a closed convex curve to a “round point” in finite time. This generalizes the classical result by M. Gage and R.S. Hamilton about convex curves in a Euclidean plane. Keywords: curve shortening flow; affine connection; curvature; convex MSC: 53C44; 53B05 1. Introduction The one-dimensional mean curvature flow is called the curve shortening flow (CSF), because it is the negative L2-gradient flow of the length of the interface, and it is used in modeling the dynamics of melting solids. The CSF deals with a family of closed curves g in the plane R2 with a Euclidean metric g = h · , · i and the Levi-Civita connection r, satisfying the initial value problem (with parabolic partial differential equation) ¶g/¶t = kN, gj t=0 = g0. (1) Here, k is the curvature of g with respect the unit inner normal vector N and g0 is an embedded plane curve, see survey in [1,2]. The flow defined by (1) is invariant under translations and rotations Recall that the curvature of a convex plane curve is positive. The next theorem by M. Gage and R.S. Hamilton [3] describes this flow of convex curves. Theorem 1. (a) Under the CSF (1), a convex closed curve in the Euclidean plane smoothly shrinks to a point in finite time. (b) Rescaling in order to keep the length constant, the flow converges exponentially fast to a circle in C¥. This theorem and further result by M.A. Grayson, [4] (that the flow moves any closed embedded in the Euclidean plane curve in a finite time to a convex curve) have many generalizations and applications in natural and computer sciences. For example, the anisotropic curvature-eikonal flow (ACEF) for closed convex curves in a Euclidean plane, see ([1] Section 3.4), ¶g/¶t = (F(q)k + l Y(q)) N, gj t=0 = g0, (2) where F > 0 and Y are 2p-periodic functions of the normal to g(· , t) angle q and l 2 R, generalizes the CSF. Anisotropy of the flow (2), studied when Y is also positive, is indispensable in dealing with phase transition, crystal growth, frame propagation, chemical reaction, and mathematical biology. The particular case of ACEF, when F and Y are positive constants, serves as a model for essential biological processes, see [5]. On the other hand, (2) is a particular case of the flow in a Euclidean plane 2 R (x1, x2), ¶g/¶t = F(g, q, k)N, gj t=0 = g0, Mathematics 2020, 8, 701; doi:10.3390/math8050701 www.mdpi.com/journal/mathematics Mathematics 2020, 8, 701 2 of 11 1 2 4 see ([1] Chapter 1), where g = (g , g ) and F = F(x1, x2, x3, x4) is a given function in R , 2p-periodic in q = x3. In recent decades, many results have appeared in the differential geometry of a manifold with an affine connection r¯ (which is a method for transporting tangent vectors along curves), e.g., collective monographs [6,7]. The difference T = r¯ − r (of r¯ and the Levi-Civita connection r of g), is a (1,2)-tensor, called contorsion tensor. Two interesting particular cases of r¯ (and T) are as follows. (1) Metric compatible connection: r¯ g = 0, i.e., hT(X, Y), Zi = −hT(X, Z), Yi. Such manifolds appear in almost Hermitian and Finsler geometries and are central in Einstein-Cartan theory of gravity, where the contorsion tensor is related to the spin tensor of matter. (2) Statistical connection: r¯ is torsionless and the rank 3 tensor r¯ g is symmetric in all its entries, i.e., hT(X, Y), Zi is fully symmetric. Statistical manifold structure, which is related to geometry of a pair of dual affine connections, is central in Information Geometry, see [8]; affine hypersurfaces in + Rn 1 are a natural source of statistical manifolds. There are no results about the CSF in metric-affine geometry. In this paper, the metric-affine plane is R2 (a two-dimensional real vector space) endowed with a Euclidean metric g and an affine connection r¯ . Our objective is to study the CSF in the metric-affine plane and to generalize Theorem1 for convex curves in (R2, g, r¯ ). Thus, we replace (1) by the following initial value problem: ¶g/¶t = k¯ N, gj t=0 = g0, (3) where k¯ is the curvature of a curve g with respect to r¯ and g0 is a closed convex curve. Such flow can be interesting as a geometrically natural analogue of the CSF, which could perhaps show some different behavior and it is not clear that it is a gradient flow for length and is variational in nature. Note that (3) is the particular case (when F = 1 = l) of the ACEF, where Y may change its sign. Put k0 := minfk(x) : x 2 g0g > 0. 2 Let fe1, e2g be the orthonormal frame in (R , g, r¯ ). In the paper we assume the following k Condition 1: T has constant components Tij = hT(ei, ej), eki (that is the contorsion tensor T is r-parallel) and constant norm kTk = c ≥ 0. Let g : S1 ! R2 be a closed curve in the metric-affine plane with the arclength parameter s. Then T = ¶g/¶s is the unit vector tangent to g. In this case, k = hrT T, Ni and the curvature of g with respect to an affine connection r¯ is k¯ = hr¯ T T, Ni, we obtain k¯ = k + Y, (4) where Y is the following function on g: Y = hT(T, T), Ni. (5) kTk = jT( )j = k k = k k = By assumptions : supX,Y2R2nf0g X, Y c, see Condition 1, and T N 1, we have j Yj ≤ c. (6) As far as we are aware such variations to the CSF have not been considered before. In this novel case, the new term defining the difference from the classical case is of a different order of homogeneity with respect to the curvature itself, so the extra term becomes weaker and weaker where the curvature is large, unlike the Finsler/anisotropic setting, where the anisotropic effects remain at all scales. The convergence of the ACEF (2) when F and Y are positive has been studied in ([1] Chapter 3). However, our function Y in (4) takes both positive and negative values, and ([1] Theorem 3.23) is not Mathematics 2020, 8, 701 3 of 11 applicable to our flow of (3). By this reason, we independently develop the geometrical approach to prove the convergence of (3) to a “round point”. The main result of the paper states that a “sufficiently convex” closed curve (i.e., with curvature bounded below by a positive constant chosen to bound the size of the extra term), the curve shrinks to a point under our new flow, and is asymptotic to a shrinking circle solution of the classical CSF. The following theorem generalizes Theorem1(a). Theorem 2. Let g0 be a closed convex curve in the metric-affine plane with condition k0 > 2 c. Then (3) has a unique solution g(·, t), and it exists at a finite time interval [ 0, w), and as t " w, the solution g(·, t) converges ( ) to a point. Moreover, if k > 3 c then w ≤ A g0 · k0−2c , where A(g ) is the area enclosed by g . 0 2p k0−3c 0 0 Nonetheless, the approach of [1] to the normalized flow of (2) in the contracting case still works without the positivity of Y, see ([1] Remark 3.14). Based on this result and Theorem2, we obtain the following result, generalizing Theorem1(b). Theorem 3. Consider the normalized curves g˜(·, t) = (2(w − t))1/2g(·, t), see Theorem2, and introduce a new time variable t = −(1/2) log(1 − w−1 t) 2 [ 0, ¥). Then the curves g˜(·, t) converge to the unit circle smoothly as t ! ¥. In Section2, we prove Theorem2 in several steps, some of them generalize the steps in the proof of ([2] Theorem 1.3). In Section3, we prove Theorem3 about the normalized flow (3), following the proof of convergence of the normalized flow (2) in the contracting case. Theorem2 can be easily extended to the case of non-constant contorsion tensor T of small norm, but we can not now reject the Condition 1 for Theorem3, since its proof is based on the result for the normalized ACEF, see [1], where Y depends only on q. 2. Proof of Theorem 2 Recall the axioms of affine connections r¯ : XM × XM ! XM on a manifold M, e.g., [7]: r¯ = r¯ + r¯ r¯ ( + ) = r¯ + ( ) · + r¯ f X1+X2 Y f X1 Y X2 Y, X f Y1 Y2 f XY1 X f Y1 XY2 for any vector fields X, Y, X1, X2, Y1, Y2 and smooth function f on M. 1 2 Let q be the normal angle for a convex closed curve g : S ! R , i.e., cos q = −hN, e1i and sin q = −hN, e2i. Hence, N = −[cos q, sin q], T = [− sin q, cos q]. (7) Lemma 1. The function Y given in (5) has the following view in the coordinates: 3 3 Y = a30 sin q + a03 cos q + a12 sin q + a21 cos q, (8) where aij are given by 2 2 1 1 1 2 a12 = T12 + T21 − T11, a21 = T12 + T21 − T22, 2 1 1 1 1 2 2 2 a03 = T22 − T22 − T12 − T21, a30 = T11 − T11 − T12 − T21.
Recommended publications
  • Jhep01(2020)007
    Published for SISSA by Springer Received: March 27, 2019 Revised: November 15, 2019 Accepted: December 9, 2019 Published: January 2, 2020 Deformed graded Poisson structures, generalized geometry and supergravity JHEP01(2020)007 Eugenia Boffo and Peter Schupp Jacobs University Bremen, Campus Ring 1, 28759 Bremen, Germany E-mail: [email protected], [email protected] Abstract: In recent years, a close connection between supergravity, string effective ac- tions and generalized geometry has been discovered that typically involves a doubling of geometric structures. We investigate this relation from the point of view of graded ge- ometry, introducing an approach based on deformations of graded Poisson structures and derive the corresponding gravity actions. We consider in particular natural deformations of the 2-graded symplectic manifold T ∗[2]T [1]M that are based on a metric g, a closed Neveu-Schwarz 3-form H (locally expressed in terms of a Kalb-Ramond 2-form B) and a scalar dilaton φ. The derived bracket formalism relates this structure to the generalized differential geometry of a Courant algebroid, which has the appropriate stringy symme- tries, and yields a connection with non-trivial curvature and torsion on the generalized “doubled” tangent bundle E =∼ TM ⊕ T ∗M. Projecting onto TM with the help of a natural non-isotropic splitting of E, we obtain a connection and curvature invariants that reproduce the NS-NS sector of supergravity in 10 dimensions. Further results include a fully generalized Dorfman bracket, a generalized Lie bracket and new formulas for torsion and curvature tensors associated to generalized tangent bundles.
    [Show full text]
  • Section 1.7B the Four-Vertex Theorem
    Section 1.7B The Four-Vertex Theorem Matthew Hendrix Matthew Hendrix Section 1.7B The Four-Vertex Theorem Definition The integer I is called the rotation index of the curve α where I is an integer multiple of 2π; that is, Z 1 k(s) dt = θ(`) − θ(0) = 2πI 0 Definition 2 Let α : [0; `] ! R be a plane closed curve given by α(s) = (x(s); y(s)). Since s is the arc length, the tangent vector t(s) = (x0(s); y 0(s)) has unit length. The tangent indicatrix is 2 0 0 t : [0; `] ! R , which is given by t(s) = (x (s); y (s)); this is a differentiable curve, the trace of which is contained in the circle of radius 1. Matthew Hendrix Section 1.7B The Four-Vertex Theorem Definition 2 Let α : [0; `] ! R be a plane closed curve given by α(s) = (x(s); y(s)). Since s is the arc length, the tangent vector t(s) = (x0(s); y 0(s)) has unit length. The tangent indicatrix is 2 0 0 t : [0; `] ! R , which is given by t(s) = (x (s); y (s)); this is a differentiable curve, the trace of which is contained in the circle of radius 1. Definition The integer I is called the rotation index of the curve α where I is an integer multiple of 2π; that is, Z 1 k(s) dt = θ(`) − θ(0) = 2πI 0 Matthew Hendrix Section 1.7B The Four-Vertex Theorem Definition 2 A vertex of a regular plane curve α :[a; b] ! R is a point t 2 [a; b] where k0(t) = 0.
    [Show full text]
  • Symmetrization of Convex Plane Curves
    Symmetrization of convex plane curves P. Giblin and S. Janeczko Abstract Several point symmetrizations of a convex curve Γ are introduced and one, the affinely invariant ‘cen- tral symmetric transform’ (CST) with respect to a given basepoint inside Γ, is investigated in detail. Examples for Γ include triangles, rounded triangles, ellipses, curves defined by support functions and piecewise smooth curves. Of particular interest is the region of basepoints for which the CST is convex (this region can be empty but its complement in the interior of Γ is never empty). The (local) boundary of this region can have cusps and in principle it can be determined from a geometrical construction for the tangent direction to the CST. MR Classification 52A10, 53A04 1 Introduction There are several ways in which a convex plane curve Γ can be transformed into one which is, in some sense, symmetric. Here are three possible constructions. PT Assume that Γ is at least C1. For each pair of parallel tangents of Γ construct two parallel lines with the same separation and the origin (or any other fixed point) equidistant from them. The resulting envelope, the parallel tangent transform, will be symmetric about the chosen fixed point. All choices of fixed point give the same transform up to translation. This construction is affinely invariant. A curve of constant width, where the separation of parallel tangent pairs is constant, will always transform to a circle. Another example is given in Figure 1(a). This construction can also be interpreted in the following way: Reflect Γ in the chosen fixed point 1 to give Γ∗ say.
    [Show full text]
  • One-Dimensional Projective Structures, Convex Curves and the Ovals of Benguria & Loss
    published version: Comm. Math. Phys. 336 (2015), 933-952 One-dimensional Projective Structures, Convex Curves and the Ovals of Benguria & Loss JACOB BERNSTEIN AND THOMAS METTLER ABSTRACT. Benguria and Loss have conjectured that, amongst all smooth closed curves in R2 of length 2, the lowest possible eigenvalue of the op- erator L 2 is 1. They observed that this value was achieved on a D C two-parameter family, O, of geometrically distinct ovals containing the round circle and collapsing to a multiplicity-two line segment. We characterize the curves in O as absolute minima of two related geometric functionals. We also discuss a connection with projective differential geometry and use it to explain the natural symmetries of all three problems. 1. Introduction In[ 1], Benguria and Loss conjectured that for any, , a smooth closed curve in R2 2 of length 2, the lowest eigenvalue, , of the operator L satisfied D C 1 1. That is, they conjectured that for all such and all functions f H ./, 2 Z Z 2 2 2 2 (1.1) f f ds f ds; jr j C where f is the intrinsic gradient of f , is the geodesic curvature and ds is the lengthr element. This conjecture was motivated by their observation that it was equivalent to a certain one-dimensional Lieb-Thirring inequality with conjectured sharp constant. They further observed that the above inequality is saturated on a two-parameter family of strictly convex curves which contains the round circle and degenerates into a multiplicity-two line segment. The curves in this family look like ovals and so we call them the ovals of Benguria and Loss and denote the family by 1 O.
    [Show full text]
  • List of Symbols, Notation, and Useful Expressions
    Appendix A List of Symbols, Notation, and Useful Expressions In this appendix the reader will find a more detailed description of the conventions and notation used throughout this book, together with a brief description of what spinors are about, followed by a presentation of expressions that can be used to recover some of the formulas in specified chapters. A.1 List of Symbols κ ≡ κijk Contorsion ξ ≡ ξijk Torsion K Kähler function I ≡ I ≡ I KJ gJ GJ Kähler metric W(φ) Superpotential V Vector supermultiplet φ,0 (Chiral) Scalar supermultiplet φ,ϕ Scalar field V (φ) Scalar potential χ ≡ γ 0χ † For Dirac 4-spinor representation ψ† Hermitian conjugate (complex conjugate and transposition) φ∗ Complex conjugate [M]T Transpose { , } Anticommutator [ , ] Commutator θ Grassmannian variable (spinor) Jab, JAB Lorentz generator (constraint) qX , X = 1, 2,... Minisuperspace coordinatization π μαβ Spin energy–momentum Moniz, P.V.: Appendix. Lect. Notes Phys. 803, 263–288 (2010) DOI 10.1007/978-3-642-11575-2 c Springer-Verlag Berlin Heidelberg 2010 264 A List of Symbols, Notation, and Useful Expressions Sμαβ Spin angular momentum D Measure in Feynman path integral [ , ]P ≡[, ] Poisson bracket [ , ]D Dirac bracket F Superfield M P Planck mass V β+,β− Minisuperspace potential (Misner–Ryan parametrization) Z IJ Central charges ds Spacetime line element ds Minisuperspace line element F Fermion number operator eμ Coordinate basis ea Orthonormal basis (3)V Volume of 3-space (a) νμ Vector field (a) fμν Vector field strength ij π Canonical momenta to hij π φ Canonical
    [Show full text]
  • Asymptotic Approximation of Convex Curves
    Asymptotic Approximation of Convex Curves Monika Ludwig Abstract. L. Fejes T´othgave asymptotic formulae as n → ∞ for the distance between a smooth convex disc and its best approximating inscribed or circumscribed polygons with at most n vertices, where the distance is in the sense of the symmetric difference metric. In this paper these formulae are extended by specifying the second terms of the asymptotic expansions. Tools are from affine differential geometry. 1 Introduction 2 i Let C be a closed convex curve in the Euclidean plane IE and let Pn(C) be the set of all convex polygons with at most n vertices that are inscribed in C. We i measure the distance of C and Pn ∈ Pn(C) by the symmetric difference metric δS and study the asymptotic behaviour of S i S i δ (C, Pn) = inf{δ (C, Pn): Pn ∈ Pn(C)} S c as n → ∞. In case of circumscribed polygons the analogous notion is δ (C, Pn). For a C ∈ C2 with positive curvature function κ(t), the following asymptotic formulae were given by L. Fejes T´oth [2], [3] Z l !3 S i 1 1/3 1 δ (C, Pn) ∼ κ (t)dt as n → ∞ (1) 12 0 n2 and Z l !3 S c 1 1/3 1 δ (C, Pn) ∼ κ (t)dt as n → ∞, (2) 24 0 n2 where t is the arc length and l the length of C. Complete proofs of these results are due to D. E. McClure and R. A. Vitale [9]. In this article we extend these asymptotic formulae by deriving the second terms in the asymptotic expansions.
    [Show full text]
  • The Language of Differential Forms
    Appendix A The Language of Differential Forms This appendix—with the only exception of Sect.A.4.2—does not contain any new physical notions with respect to the previous chapters, but has the purpose of deriving and rewriting some of the previous results using a different language: the language of the so-called differential (or exterior) forms. Thanks to this language we can rewrite all equations in a more compact form, where all tensor indices referred to the diffeomorphisms of the curved space–time are “hidden” inside the variables, with great formal simplifications and benefits (especially in the context of the variational computations). The matter of this appendix is not intended to provide a complete nor a rigorous introduction to this formalism: it should be regarded only as a first, intuitive and oper- ational approach to the calculus of differential forms (also called exterior calculus, or “Cartan calculus”). The main purpose is to quickly put the reader in the position of understanding, and also independently performing, various computations typical of a geometric model of gravity. The readers interested in a more rigorous discussion of differential forms are referred, for instance, to the book [22] of the bibliography. Let us finally notice that in this appendix we will follow the conventions introduced in Chap. 12, Sect. 12.1: latin letters a, b, c,...will denote Lorentz indices in the flat tangent space, Greek letters μ, ν, α,... tensor indices in the curved manifold. For the matter fields we will always use natural units = c = 1. Also, unless otherwise stated, in the first three Sects.
    [Show full text]
  • Deformed Weitzenböck Connections, Teleparallel Gravity and Double
    Deformed Weitzenböck Connections and Double Field Theory Victor A. Penas1 1 G. Física CAB-CNEA and CONICET, Centro Atómico Bariloche, Av. Bustillo 9500, Bariloche, Argentina [email protected] ABSTRACT We revisit the generalized connection of Double Field Theory. We implement a procedure that allow us to re-write the Double Field Theory equations of motion in terms of geometric quantities (like generalized torsion and non-metricity tensors) based on other connections rather than the usual generalized Levi-Civita connection and the generalized Riemann curvature. We define a generalized contorsion tensor and obtain, as a particular case, the Teleparallel equivalent of Double Field Theory. To do this, we first need to revisit generic connections in standard geometry written in terms of first-order derivatives of the vielbein in order to obtain equivalent theories to Einstein Gravity (like for instance the Teleparallel gravity case). The results are then easily extrapolated to DFT. arXiv:1807.01144v2 [hep-th] 20 Mar 2019 Contents 1 Introduction 1 2 Connections in General Relativity 4 2.1 Equationsforcoefficients. ........ 6 2.2 Metric-Compatiblecase . ....... 7 2.3 Non-metricitycase ............................... ...... 9 2.4 Gauge redundancy and deformed Weitzenböck connections .............. 9 2.5 EquationsofMotion ............................... ..... 11 2.5.1 Weitzenböckcase............................... ... 11 2.5.2 Genericcase ................................... 12 3 Connections in Double Field Theory 15 3.1 Tensors Q and Q¯ ...................................... 17 3.2 Components from (1) ................................... 17 3.3 Components from T e−2d .................................. 18 3.4 Thefullconnection...............................∇ ...... 19 3.5 GeneralizedRiemanntensor. ........ 20 3.6 EquationsofMotion ............................... ..... 23 3.7 Determination of undetermined parts of the Connection . ............... 25 3.8 TeleparallelDoubleFieldTheory .
    [Show full text]
  • Classification of Convex Ancient Solutions to Curve Shortening Flow on the Sphere
    UC San Diego UC San Diego Electronic Theses and Dissertations Title Classification of Convex Ancient Solutions to Curve Shortening Flow on the Sphere Permalink https://escholarship.org/uc/item/7gt6c9nw Author Louie, Janelle Publication Date 2014 Peer reviewed|Thesis/dissertation eScholarship.org Powered by the California Digital Library University of California UNIVERSITY OF CALIFORNIA, SAN DIEGO Classification of Convex Ancient Solutions to Curve Shortening Flow on the Sphere A dissertation submitted in partial satisfaction of the requirements for the degree Doctor of Philosophy in Mathematics by Janelle Louie Committee in charge: Professor Bennett Chow, Chair Professor Kenneth Intriligator Professor Elizabeth Jenkins Professor Lei Ni Professor Jeffrey Rabin 2014 Copyright Janelle Louie, 2014 All rights reserved. The dissertation of Janelle Louie is approved, and it is ac- ceptable in quality and form for publication on microfilm and electronically: Chair University of California, San Diego 2014 iii TABLE OF CONTENTS Signature Page.................................. iii Table of Contents................................. iv List of Figures..................................v Acknowledgements................................ vi Vita........................................ vii Abstract of the Dissertation........................... viii Chapter 1 Introduction............................1 1.1 Previous work and background...............2 1.2 Results and outline of the thesis..............4 Chapter 2 Preliminaries...........................6 2.1
    [Show full text]
  • Quantum Riemannian Geometry of Phase Space and Nonassociativity
    Demonstr. Math. 2017; 50: 83–93 Demonstratio Mathematica Open Access Research Article Edwin J. Beggs and Shahn Majid* Quantum Riemannian geometry of phase space and nonassociativity DOI 10.1515/dema-2017-0009 Received August 3, 2016; accepted September 5, 2016. Abstract: Noncommutative or ‘quantum’ differential geometry has emerged in recent years as a process for quantizing not only a classical space into a noncommutative algebra (as familiar in quantum mechanics) but also differential forms, bundles and Riemannian structures at this level. The data for the algebra quantisation is a classical Poisson bracket while the data for quantum differential forms is a Poisson-compatible connection. We give an introduction to our recent result whereby further classical data such as classical bundles, metrics etc. all become quantised in a canonical ‘functorial’ way at least to 1st order in deformation theory. The theory imposes compatibility conditions between the classical Riemannian and Poisson structures as well as new physics such as n typical nonassociativity of the differential structure at 2nd order. We develop in detail the case of CP where the i j commutation relations have the canonical form [w , w¯ ] = iλδij similar to the proposal of Penrose for quantum twistor space. Our work provides a canonical but ultimately nonassociative differential calculus on this algebra and quantises the metric and Levi-Civita connection at lowest order in λ. Keywords: Noncommutative geometry, Quantum gravity, Poisson geometry, Riemannian geometry, Quantum mechanics MSC: 81R50, 58B32, 83C57 In honour of Michał Heller on his 80th birthday. 1 Introduction There are today lots of reasons to think that spacetime itself is better modelled as ‘quantum’ due to Planck-scale corrections.
    [Show full text]
  • Isoptics of a Closed Strictly Convex Curve. - II Rendiconti Del Seminario Matematico Della Università Di Padova, Tome 96 (1996), P
    RENDICONTI del SEMINARIO MATEMATICO della UNIVERSITÀ DI PADOVA W. CIESLAK´ A. MIERNOWSKI W. MOZGAWA Isoptics of a closed strictly convex curve. - II Rendiconti del Seminario Matematico della Università di Padova, tome 96 (1996), p. 37-49 <http://www.numdam.org/item?id=RSMUP_1996__96__37_0> © Rendiconti del Seminario Matematico della Università di Padova, 1996, tous droits réservés. L’accès aux archives de la revue « Rendiconti del Seminario Matematico della Università di Padova » (http://rendiconti.math.unipd.it/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit conte- nir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Isoptics of a Closed Strictly Convex Curve. - II. W. CIE015BLAK (*) - A. MIERNOWSKI (**) - W. MOZGAWA(**) 1. - Introduction. ’ This article is concerned with some geometric properties of isoptics which complete and deepen the results obtained in our earlier paper [3]. We therefore begin by recalling the basic notions and necessary results concerning isoptics. An a-isoptic Ca of a plane, closed, convex curve C consists of those points in the plane from which the curve is seen under the fixed angle .7r - a. We shall denote by C the set of all plane, closed, strictly convex curves. Choose an element C and a coordinate system with the ori- gin 0 in the interior of C. Let p(t), t E [ 0, 2~c], denote the support func- tion of the curve C.
    [Show full text]
  • Principal Bundles, Vector Bundles and Connections
    Appendix A Principal Bundles, Vector Bundles and Connections Abstract The appendix defines fiber bundles, principal bundles and their associate vector bundles, recall the definitions of frame bundles, the orthonormal frame bun- dle, jet bundles, product bundles and the Whitney sums of bundles. Next, equivalent definitions of connections in principal bundles and in their associate vector bundles are presented and it is shown how these concepts are related to the concept of a covariant derivative in the base manifold of the bundle. Also, the concept of exterior covariant derivatives (crucial for the formulation of gauge theories) and the meaning of a curvature and torsion of a linear connection in a manifold is recalled. The concept of covariant derivative in vector bundles is also analyzed in details in a way which, in particular, is necessary for the presentation of the theory in Chap. 12. Propositions are in general presented without proofs, which can be found, e.g., in Choquet-Bruhat et al. (Analysis, Manifolds and Physics. North-Holland, Amsterdam, 1982), Frankel (The Geometry of Physics. Cambridge University Press, Cambridge, 1997), Kobayashi and Nomizu (Foundations of Differential Geometry. Interscience Publishers, New York, 1963), Naber (Topology, Geometry and Gauge Fields. Interactions. Applied Mathematical Sciences. Springer, New York, 2000), Nash and Sen (Topology and Geometry for Physicists. Academic, London, 1983), Nicolescu (Notes on Seiberg-Witten Theory. Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2000), Osborn (Vector Bundles. Academic, New York, 1982), and Palais (The Geometrization of Physics. Lecture Notes from a Course at the National Tsing Hua University, Hsinchu, 1981). A.1 Fiber Bundles Definition A.1 A fiber bundle over M with Lie group G will be denoted by E D .E; M;;G; F/.
    [Show full text]