THE CONVERSE OF THE FOUR VERTEX THEOREM
|
|
- Ashley Clarke
- 5 years ago
- Views:
Transcription
1 PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 133, Number 7, Pages S (5) Article electronically published on January 31, 25 THE CONVERSE OF THE FOUR VERTEX THEOREM BJÖRNE.J.DAHLBERG (Communicated by Ronald A. Fintushel) Abstract. We establish the converse to the four vertex theorem without the positivity condition. 1. Introduction Let T denote the unit circle of the complex plane C and let γ : T C be the parametrisation of a smooth, simple and closed curve such that γ and such that γ is also regular. Here the smoothness condition means that γ is infinitely many times continuously differentiable. If κ : T R denotes the curvature function of γ, then the four vertex theorem asserts that if κ is not a constant, then κ has at least four critical points p i T, i =1,...,4, ordered counterclockwise such that p 1,p 3 are local maxima and p 2,p 4 are local minima and that furthermore κ(p 1 ) >,κ(p 3 ) > and max(κ(p 2 ),κ(p 4 )) < min(κ(p 1 ),κ(p 3 )). This result was apparently first proved for the case of closed convex curves by Mukhopadhyaya [4]. For proofs in the case of simple closed curves see Fog [1], Jackson [3] and Vietoris [5]. The converse of this was studied by Gluck [2], who proved that if κ is a smooth and strictly positive function satisfying the above four vertex property, then κ is the curvature function of a smooth, simple and closed curve. The purpose of this note is to establish the converse to the four vertex theorem without the positivity condition. Theorem 1.1. Suppose κ : T R is not a constant and assume that κ has at least four critical points ordered counterclockwise p i T, i =1,...,4, such that p 1,p 3 are local maxima and p 2,p 4 are local minima with κ(p 1 ) >,κ(p 3 ) > and max(κ(p 2 ),κ(p 4 )) < min(κ(p 1 ),κ(p 3 )). If in addition κ is smooth, then κ is the curvature function of a smooth, simple and closed curve. Received by the editors March 1, 23 and, in revised form, March 29, Mathematics Subject Classification. Primary 53A4. The author was supported by a grant from the NFR, Sweden. Björn Dahlberg died on the 3th of January The results of this paper appeared in his posthumous work. The final version was prepared by Vilhelm Adolfsson and Peter Kumlin, Department of Mathematics, Chalmers University of Technology and Göteborg University, SE Göteborg, Sweden; vilhelm@math.chalmers.se c 25 American Mathematical Society
2 2132 BJÖRNE.J.DAHLBERG We remark that a smooth function K : T R represents the curvature of a smooth, simple and closed curve parametrised by the arc length if and only if the following three conditions are satisfied: (1.1) (1.2) (1.3) τ t Kds=2, e iα(s) ds =, e iα(s) ds if t<τ<2. Here α(s) = s K(t) dt and the parametrisation of the associated curve γ is given by t γ K (t) = e iα(s) ds. The above three conditions all have a geometric interpretation. The first condition expresses that the curve γ K has a well-determined tangent at s =, and the second condition expresses that γ K is a closed curve. Finally, the third condition expresses that γ K is simple, that is, without self-intersections. We will say that κ is a non normalised curvature function if { I = (1.4) κdt and K = 2 I κ satisfies (1.2) and (1.3). In order to prove the theorem it is enough to show the existence of a smooth diffeomorphism ϕ : T T such that κ ϕ is a non normalised curvature function. For letting ψ denote the inverse of ϕ and setting K = 2 I κ ϕ, I = κ ϕdt,then the curve Γ parametrised by Γ(t) = 2 I γ K(ψ(t)) has κ as its curvature function. 2. Preliminary results The construction of the diffeomorphisms required for the proof of Theorem 1.1 will be based on the following observations. Proposition 2.1. Let E j T,j=1,...,4, be non-empty, pairwise disjoint open intervals that are ordered counterclockwise on the unit circle with E j = T. Let a, b be two positive numbers with a b and define the function k by { a on E1 E k = 3, b on E 2 E 4. Suppose furthermore that kds=2. Then k is the curvature function of a closed convex curve parametrised by the arc length if and only if E 3 = { w : w E 1 } and E 4 = { w : w E 2 }. Proof. We begin by establishing the necessity. Let γ be a curve of length 2 whose curvature is given by k = k(s). Since k is strictly positive it is well known that γ is convex. Let κ = κ(ϑ) represent the curvature of γ as a function of the angle ϑ that the tangent forms with the positive x-axis. Then it is easily seen that (2.1) e iϑ 1 dϑ =. κ(ϑ)
3 THE CONVERSE OF THE FOUR VERTEX THEOREM 2133 Let the function F = F (ϑ) parametrise γ with respect to the angle ϑ that the tangent forms with the x-axis. Now set e j = {ϑ : F (ϑ) γ(e j )}, j =1,...,4. Then the e j s are non empty, pairwise disjoint open intervals in T that are ordered counterclockwise and for which e j = T. Then κ = a on U = e 1 e 3 and κ = b on V = e 2 e 4. Since a b and e iϑ dϑ = it follows from (2.1) that (2.2) e iϑ dϑ = e iϑ dϑ =. U Denote by 2l j the length of the interval e j and let c j denote its centre. From (2.2) it follows that e ic1 sin l 1 + e ic3 sin l 3 =ande ic2 sin l 2 + e ic4 sin l 4 =. Since l j > for j =1,...,4 it is easily seen that c 3 = c 1 +, c 2 = c 4 +, l 3 = l 1 and l 4 = l 2, which yields the necessity part of the proposition. The sufficiency part is an easy consequence of (1.1), (1.2) and (1.3). Proposition 2.2. For α C with α < 1, letg α denote the restriction to T of the Möbius transformation g α (w) = w α 1 ᾱw. Let E j T, j =1,...,4, be non-empty, pairwise disjoint open intervals that are ordered counterclockwise on the unit circle with E j = T. Suppose E 3 = { w : w E 1 } and E 4 = { w : w E 2 }. If g α (E 1 )= g α (E 3 ) and g α (E 2 )= g α (E 4 ), then α =. Proof. The proof will be carriedout by a contradiction argument. We assume therefore that α. Let z,ζ denote the end points of the interval E 1. The assumptions on g α imply that g α ( z) = g α (z) andg α ( ζ) = g α (ζ). A straightforward computation shows that therefore ᾱz 2 = α and ᾱζ 2 = α. Under the assumption that α it follows therefore that z 2 = ζ 2, which is impossible since E 1 is non-empty with length strictly less than. This contradiction establishes the proposition. We will need an infinitesimal version of the above propositions. Proposition 2.3. For α C with α < 1, letg α denote the restriction to T of the Möbius transformation g α (w) = w α 1 ᾱw. Let f : T R denote the function defined by f(e iθ )=1whenever θ 2 < 4 or θ 3 2 < 4 and zero elsewhere. Let a and b be two positive numbers such that a b and set κ = a(1 f) +bf. Furthermore, let a and b be normalised so that κdt =2 and define I α = κ g α. Let A α be defined by A α () = and A α = κ g α. Suppose that α depends smoothly on a real parameter t such that α() =. Letting α denote the derivative with respect to the t-variable evaluated at t =we have that I =and V Ȧ(t)e ia(t) dt = z (ξz 1 + ηz 2 ). Here ξ and η are defined by α = ξ + iη, and z =2 2i(b a)e iw, w =(a +2b)/4, z 1 =(e ib 2 1)/b and z2 =(e ia 2 1)/a. Furthermore the vectors z 1 and z 2 are linearly independent over R.
4 2134 BJÖRNE.J.DAHLBERG Proof. We begin by selecting a smooth branch of the argument for points in a neighbourhood of {e iθ : θ θ θ 1 },where<θ <θ 1 < 2. Now let G α denote the argument of the inverse of g α. It is easily seen that Ȧ(t) = if <t< 4, (a b)ġ( 4 ) if 4 <t< 3 4, (a b)(ġ( 4 ) Ġ( 3 4 )) if 3 4 <t< 5 4, (a b)(ġ( 4 ) Ġ( 3 4 )+Ġ( 5 4 )) if 5 4 <t< 7 4, (a b)(ġ( 4 ) Ġ( 3 4 )+Ġ( 5 4 ) Ġ( 7 4 )) if 7 4 <t<2. Since the inverse of g α is given by g α it is also easily seen that Ġ(θ) =2Im( αe iθ ), where Im(w) denotes the imaginary part of w. Hence Ġ(θ + ) = Ġ(t), so that if <t< 4 or 7 4 <t<2, (a Ȧ(t) = b)ġ( 4 ) if 4 <t< 3 4, (a b)(ġ( 4 ) Ġ( 3 4 )) if 3 4 <t< 5 4, (b a)ġ( 3 4 ) if 5 4 <t< 7 4. In particular, we see that since I α = A α (2) wehavethati =. By using that A (t + ) = + A (t) and integrating it is easy to verify that the expression for Ȧ(t) holds. It remains to verify that the vectors z 1 and z 2 are linearly independent over R. We first note that the normalisation κdt =2 means that a + b =2 so that a, b (, 2). Assuming that z 1 and z 2 are not linearly independent, there would exist real numbers α, β such that αz 1 + βz 2 =wherenotbothα and β equals zero. In fact, both α and β have to be non-zero in this case since otherwise z 1 or z 2 has to equal zero in which case 1 = e iw 2 for w = a or w = b, whichin turn implies that w =4nfor some n Z and this contradicts that a, b (, 2). Thus, since both α and β have to be non-zero we get that there is a real number c suchthat c(1 e ib 2 )=e ia 2 1 e ib 4 c(e ib 4 e ib 4 )=e ia 4 (e ia 4 e ia 4 ) c sin(b 4 )=ei(a+b) 4 sin(a 4 ) c sin(b 4 )=ei 2 sin(a 4 ) whereweusedthata + b =2. Consequently, c sin(b 4 )=Re(c sin(b 4 )) = Re(i sin(a )) =. 4 Since c wegetsin(b 4 ) =, which implies that b 4 = n for some n Z, which contradicts b (, 2). Thus, the assumption of linear dependence must be wrong and this yields the proposition. 3. Proof of the plane case Let f : T R denote the function defined by f(e iθ ) = 1 whenever θ 2 < 4 or θ 3 2 < 4 and zero elsewhere. The proof of the theorem will be carried out in two steps. First one chooses a diffeomorphism η of the circle such that for some positive numbers a, b we have that κ = κ η a(1 f)+bf on T. This step is an easy consequence of the four vertex condition. The second step consists in showing the existence of a complex
5 THE CONVERSE OF THE FOUR VERTEX THEOREM 2135 number β with β < 1 such that if g β denotes the fractional transformation g β (w) = w β,w T, 1 βw then K = κ g β satisfies (1.4). We need some definitions in order to construct the first preliminary diffeomorphism. For j =1,...,4, let θ j =(j 1) 2 and set q j = e iθj,a j = {e iθ : θ θ j < 4 ɛ} for a small positive number ɛ. By continuity there are points r j T, j = 1,...,4, also ordered counterclockwise and positive numbers a, b such that <a<band κ(r 1 )=κ(r 3 )= a, κ(r 2 )=κ(r 4 )=b. Pick intervals B j T,j =1,...,4, such that r j B j and κ(w) κ(r j ) <ɛfor all w B j. Let η be any smooth orientation preserving C diffeomorphism of the circle such that η(a j ) B j for j =1,...,4. It is now easily seen that κ η = a(1 f)+bf + e, where e is bounded with e dt < Cɛ and C is independent of ɛ. We now claim that if ɛ has been chosen small enough, then there is a β C, β 1 2 such that κ g β is a non normalised curvature function. To see this set k = κ g β, k = a(1 f g β )+bf g β and let I = kdt, I = k dt, K = 2 I k and K = 2 I k. If ɛ has been chosen small enough, then clearly I whenever β 1 2. Set F (β,ɛ) = e iα (s) ds and F (β) = e iα(s) ds, where α, α are defined by α() = α () = and α = K, α = K. It follows from Propositions 2.1 and 2.2 that F (β) whenever β, β < 1. Noticing that F () = we see from Proposition 2.3 that the restriction of F to a sufficiently small circle centred at has non-vanishing winding number around. By a standard topology argument and the fact that lim ɛ F (β,ɛ) =F (β) it follows that if ɛ has been chosen sufficiently small, then for all ɛ (,ɛ )thereisaβ, β < 1 2 such that F (β,ɛ) =. Since the curve γ(t) = t eiα(u) du is simple and closed and α α Cɛ, it follows that τ (s) ds whenever <t<τ<2, which completes the proof of the t eiα theorem. References [1] D. Fog, Über den Vierscheitelsatz und seine Verallgemeinerungen, Sitzungsbereiche der Berlin Akademie der Wissenschaft (1933), [2] H. Gluck, The converse of the four vertex theorem, L Enseignement Mathématique, II e Serie, Tome XVII (1971), MR (49:9737) [3] S.B.Jackson,Vertices for plane curves, Bulletin of the American Mathematical Society 5 (1944), MR1992 (6:1e) [4] S. Mukhopadhyaya, New methods in the geometry of a plane arc, Bull. Calcutta Math. Soc. 1 (199), [5] L. Vietoris, Ein einfacher Beweis des Vierscheitelsatzes der ebenen Kurven, Archivder Mathematik 3 (1952), MR52137 (14:577h) Department of Mathematics, ChalmersUniversityofTechnology, SE Göteborg, Sweden
THE FOUR VERTEX THEOREM AND ITS CONVERSE in honor of Björn Dahlberg
Writhe - Four Vertex Theorem.14 June, 2006 THE FOUR VERTEX THEOREM AND ITS CONVERSE in honor of Björn Dahlberg The Four Vertex Theorem says that a simple closed curve in the plane, other than a circle,
More informationAn Investigation of the Four Vertex Theorem and its Converse
Union College Union Digital Works Honors Theses Student Work 6-2017 An Investigation of the Four Vertex Theorem and its Converse Rebeka Kelmar Union College - Schenectady, NY Follow this and additional
More informationPart IB. Further Analysis. Year
Year 2004 2003 2002 2001 10 2004 2/I/4E Let τ be the topology on N consisting of the empty set and all sets X N such that N \ X is finite. Let σ be the usual topology on R, and let ρ be the topology on
More informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More informationMATH DIFFERENTIAL GEOMETRY. Contents
MATH 3968 - DIFFERENTIAL GEOMETRY ANDREW TULLOCH Contents 1. Curves in R N 2 2. General Analysis 2 3. Surfaces in R 3 3 3.1. The Gauss Bonnet Theorem 8 4. Abstract Manifolds 9 1 MATH 3968 - DIFFERENTIAL
More informationMATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5
MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5.. The Arzela-Ascoli Theorem.. The Riemann mapping theorem Let X be a metric space, and let F be a family of continuous complex-valued functions on X. We have
More informationComplex Analysis Qualifying Exam Solutions
Complex Analysis Qualifying Exam Solutions May, 04 Part.. Let log z be the principal branch of the logarithm defined on G = {z C z (, 0]}. Show that if t > 0, then the equation log z = t has exactly one
More informationFrom the definition of a surface, each point has a neighbourhood U and a homeomorphism. U : ϕ U(U U ) ϕ U (U U )
3 Riemann surfaces 3.1 Definitions and examples From the definition of a surface, each point has a neighbourhood U and a homeomorphism ϕ U from U to an open set V in R 2. If two such neighbourhoods U,
More informationMath 147, Homework 6 Solutions Due: May 22, 2012
Math 147, Homework 6 Solutions Due: May 22, 2012 1. Let T = S 1 S 1 be the torus. Is it possible to find a finite set S = {P 1,..., P n } of points in T and an embedding of the complement T \ S into R
More information8. THE FARY-MILNOR THEOREM
Math 501 - Differential Geometry Herman Gluck Tuesday April 17, 2012 8. THE FARY-MILNOR THEOREM The curvature of a smooth curve in 3-space is 0 by definition, and its integral w.r.t. arc length, (s) ds,
More informationSolutions for Math 348 Assignment #4 1
Solutions for Math 348 Assignment #4 1 (1) Do the following: (a) Show that the intersection of two spheres S 1 = {(x, y, z) : (x x 1 ) 2 + (y y 1 ) 2 + (z z 1 ) 2 = r 2 1} S 2 = {(x, y, z) : (x x 2 ) 2
More informationcarries the circle w 1 onto the circle z R and sends w = 0 to z = a. The function u(s(w)) is harmonic in the unit circle w 1 and we obtain
4. Poisson formula In fact we can write down a formula for the values of u in the interior using only the values on the boundary, in the case when E is a closed disk. First note that (3.5) determines the
More informationGeometric Aspects of Sturm-Liouville Problems I. Structures on Spaces of Boundary Conditions
Geometric Aspects of Sturm-Liouville Problems I. Structures on Spaces of Boundary Conditions QINGKAI KONG HONGYOU WU and ANTON ZETTL Abstract. We consider some geometric aspects of regular Sturm-Liouville
More informationMapping problems and harmonic univalent mappings
Mapping problems and harmonic univalent mappings Antti Rasila Helsinki University of Technology antti.rasila@tkk.fi (Mainly based on P. Duren s book Harmonic mappings in the plane) Helsinki Analysis Seminar,
More informationOsculating 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
More informationDifferential Topology Solution Set #2
Differential Topology Solution Set #2 Select Solutions 1. Show that X compact implies that any smooth map f : X Y is proper. Recall that a space is called compact if, for every cover {U } by open sets
More informationComplex Analysis, Stein and Shakarchi The Fourier Transform
Complex Analysis, Stein and Shakarchi Chapter 4 The Fourier Transform Yung-Hsiang Huang 2017.11.05 1 Exercises 1. Suppose f L 1 (), and f 0. Show that f 0. emark 1. This proof is observed by Newmann (published
More informationHyperbolic Geometry on Geometric Surfaces
Mathematics Seminar, 15 September 2010 Outline Introduction Hyperbolic geometry Abstract surfaces The hemisphere model as a geometric surface The Poincaré disk model as a geometric surface Conclusion Introduction
More informationM ath. Res. Lett. 15 (2008), no. 2, c International Press 2008 SMOOTH HYPERSURFACE SECTIONS CONTAINING A GIVEN SUBSCHEME OVER A FINITE FIELD
M ath. Res. Lett. 15 2008), no. 2, 265 271 c International Press 2008 SMOOTH HYPERSURFACE SECTIONS CONTAINING A GIEN SUBSCHEME OER A FINITE FIELD Bjorn Poonen 1. Introduction Let F q be a finite field
More informationCHAPTER 2. CONFORMAL MAPPINGS 58
CHAPTER 2. CONFORMAL MAPPINGS 58 We prove that a strong form of converse of the above statement also holds. Please note we could apply the Theorem 1.11.3 to prove the theorem. But we prefer to apply the
More informationPart IB. Geometry. Year
Part IB Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2017 17 Paper 1, Section I 3G Give the definition for the area of a hyperbolic triangle with interior angles
More informationCentre for Mathematics and Its Applications The Australian National University Canberra, ACT 0200 Australia. 1. Introduction
ON LOCALLY CONVEX HYPERSURFACES WITH BOUNDARY Neil S. Trudinger Xu-Jia Wang Centre for Mathematics and Its Applications The Australian National University Canberra, ACT 0200 Australia Abstract. In this
More informationLecture 2: Isoperimetric methods for the curve-shortening flow and for the Ricci flow on surfaces
Lecture 2: Isoperimetric methods for the curve-shortening flow and for the Ricci flow on surfaces Ben Andrews Mathematical Sciences Institute, Australian National University Winter School of Geometric
More informationPart IB GEOMETRY (Lent 2016): Example Sheet 1
Part IB GEOMETRY (Lent 2016): Example Sheet 1 (a.g.kovalev@dpmms.cam.ac.uk) 1. Suppose that H is a hyperplane in Euclidean n-space R n defined by u x = c for some unit vector u and constant c. The reflection
More informationA UNIQUENESS THEOREM FOR MONOGENIC FUNCTIONS
Annales Academiæ Scientiarum Fennicæ Series A. I. Mathematica Volumen 8, 993, 05 6 A UNIQUENESS THEOREM FOR MONOGENIC FUNCTIONS Jörg Winkler Technische Universität Berlin, Fachbereich 3, Mathematik Straße
More informationNotes on Complex Analysis
Michael Papadimitrakis Notes on Complex Analysis Department of Mathematics University of Crete Contents The complex plane.. The complex plane...................................2 Argument and polar representation.........................
More informationCLASSIFICATIONS OF THE FLOWS OF LINEAR ODE
CLASSIFICATIONS OF THE FLOWS OF LINEAR ODE PETER ROBICHEAUX Abstract. The goal of this paper is to examine characterizations of linear differential equations. We define the flow of an equation and examine
More informationGood Problems. Math 641
Math 641 Good Problems Questions get two ratings: A number which is relevance to the course material, a measure of how much I expect you to be prepared to do such a problem on the exam. 3 means of course
More informationOn the smoothness of the conjugacy between circle maps with a break
On the smoothness of the conjugacy between circle maps with a break Konstantin Khanin and Saša Kocić 2 Department of Mathematics, University of Toronto, Toronto, ON, Canada M5S 2E4 2 Department of Mathematics,
More informationCOMPLEX ANALYSIS Spring 2014
COMPLEX ANALYSIS Spring 24 Homework 4 Solutions Exercise Do and hand in exercise, Chapter 3, p. 4. Solution. The exercise states: Show that if a
More informationAero III/IV Conformal Mapping
Aero III/IV Conformal Mapping View complex function as a mapping Unlike a real function, a complex function w = f(z) cannot be represented by a curve. Instead it is useful to view it as a mapping. Write
More informationGenerating Starlike and Convex Univalent Functions
M a t h e m a t i c a B a l k a n i c a New Series Vol. 9, 2005, Fasc. 3-4 Generating Starlike and Convex Univalent Functions Vanessa Bertoni, Dimitar K. Dimitrov 2 Presented by P.Kenderov We generate
More informationHouston Journal of Mathematics. c 2015 University of Houston Volume 41, No. 4, 2015
Houston Journal of Mathematics c 25 University of Houston Volume 4, No. 4, 25 AN INCREASING FUNCTION WITH INFINITELY CHANGING CONVEXITY TONG TANG, YIFEI PAN, AND MEI WANG Communicated by Min Ru Abstract.
More informationMA3111S COMPLEX ANALYSIS I
MA3111S COMPLEX ANALYSIS I 1. The Algebra of Complex Numbers A complex number is an expression of the form a + ib, where a and b are real numbers. a is called the real part of a + ib and b the imaginary
More informationSecond Midterm Exam Name: Practice Problems March 10, 2015
Math 160 1. Treibergs Second Midterm Exam Name: Practice Problems March 10, 015 1. Determine the singular points of the function and state why the function is analytic everywhere else: z 1 fz) = z + 1)z
More informationThe Inner Mapping Radius of Harmonic Mappings of the Unit Disk 1
The Inner Mapping Radius of Harmonic Mappings of the Unit Disk Michael Dorff and Ted Suffridge Abstract The class S H consists of univalent, harmonic, and sense-preserving functions f in the unit disk,,
More information3. 4. Uniformly normal families and generalisations
Summer School Normal Families in Complex Analysis Julius-Maximilians-Universität Würzburg May 22 29, 2015 3. 4. Uniformly normal families and generalisations Aimo Hinkkanen University of Illinois at Urbana
More informationA NOTE ON RANDOM HOLOMORPHIC ITERATION IN CONVEX DOMAINS
Proceedings of the Edinburgh Mathematical Society (2008) 51, 297 304 c DOI:10.1017/S0013091506001131 Printed in the United Kingdom A NOTE ON RANDOM HOLOMORPHIC ITERATION IN CONVEX DOMAINS FILIPPO BRACCI
More informationVector-Valued Functions
Vector-Valued Functions 1 Parametric curves 8 ' 1 6 1 4 8 1 6 4 1 ' 4 6 8 Figure 1: Which curve is a graph of a function? 1 4 6 8 1 8 1 6 4 1 ' 4 6 8 Figure : A graph of a function: = f() 8 ' 1 6 4 1 1
More informationNATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II
NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II Chapter 2 Further properties of analytic functions 21 Local/Global behavior of analytic functions;
More informationMathematical Research Letters 2, (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS. Shuguang Wang
Mathematical Research Letters 2, 305 310 (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS Shuguang Wang Abstract. It is shown that the quotients of Kähler surfaces under free anti-holomorphic involutions
More informationConverse Sturm-Hurwitz-Kellogg theorem and related results
arxiv:71.592v1 [math.dg] 31 Oct 27 Converse Sturm-Hurwitz-Kellogg theorem and related results Serge Tabachnikov February 2, 28 Abstract We prove that if V n is a Chebyshev system on the circle and f(x)
More informationMath 497C Mar 3, Curves and Surfaces Fall 2004, PSU
Math 497C Mar 3, 2004 1 Curves and Surfaces Fall 2004, PSU Lecture Notes 10 2.3 Meaning of Gaussian Curvature In the previous lecture we gave a formal definition for Gaussian curvature K in terms of the
More informationConformal Mappings. Chapter Schwarz Lemma
Chapter 5 Conformal Mappings In this chapter we study analytic isomorphisms. An analytic isomorphism is also called a conformal map. We say that f is an analytic isomorphism of U with V if f is an analytic
More informationPICARD S THEOREM STEFAN FRIEDL
PICARD S THEOREM STEFAN FRIEDL Abstract. We give a summary for the proof of Picard s Theorem. The proof is for the most part an excerpt of [F]. 1. Introduction Definition. Let U C be an open subset. A
More information2 hours THE UNIVERSITY OF MANCHESTER.?? January 2017??:????:??
hours MATH3051 THE UNIVERSITY OF MANCHESTER HYPERBOLIC GEOMETRY?? January 017??:????:?? Answer ALL FOUR questions in Section A (40 marks in all) and TWO of the THREE questions in Section B (30 marks each).
More informationThe Awesome Averaging Power of Heat. Heat in Geometry
The Awesome Averaging Power of Heat in Geometry exemplified by the curve shortening flow PUMS lecture 17 October 2012 1 The Heat Equation 2 The Curve Shortening Flow 3 Proof of Grayson s Theorem 4 Postscript
More informationINTRODUCTION TO COMPLEX ANALYSIS W W L CHEN
INTRODUTION TO OMPLEX NLYSIS W W L HEN c W W L hen, 1986, 28. This chapter originates from material used by the author at Imperial ollege, University of London, between 1981 and 199. It is available free
More informationOn Bank-Laine functions
Computational Methods and Function Theory Volume 00 0000), No. 0, 000 000 XXYYYZZ On Bank-Laine functions Alastair Fletcher Keywords. Bank-Laine functions, zeros. 2000 MSC. 30D35, 34M05. Abstract. In this
More informationSolutions to Exercises 6.1
34 Chapter 6 Conformal Mappings Solutions to Exercises 6.. An analytic function fz is conformal where f z. If fz = z + e z, then f z =e z z + z. We have f z = z z += z =. Thus f is conformal at all z.
More informationThe central force problem
1 The central force problem Moment. Das Moment des Eindrucks, den ein Mann auf das gemeine Volk macht, ist ein Produkt aus dem Wert des Rocks in den Titel. Georg Christoph Lichtenberg We start by dealing
More information(x 1, y 1 ) = (x 2, y 2 ) if and only if x 1 = x 2 and y 1 = y 2.
1. Complex numbers A complex number z is defined as an ordered pair z = (x, y), where x and y are a pair of real numbers. In usual notation, we write z = x + iy, where i is a symbol. The operations of
More informationFinal Exam - MATH 630: Solutions
Final Exam - MATH 630: Solutions Problem. Find all x R satisfying e xeix e ix. Solution. Comparing the moduli of both parts, we obtain e x cos x, and therefore, x cos x 0, which is possible only if x 0
More informationSMOOTH HYPERSURFACE SECTIONS CONTAINING A GIVEN SUBSCHEME OVER A FINITE FIELD
SMOOTH HYPERSURFACE SECTIONS CONTAINING A GIEN SUBSCHEME OER A FINITE FIELD BJORN POONEN 1. Introduction Let F q be a finite field of q = p a elements. Let X be a smooth quasi-projective subscheme of P
More informationDYNAMICS ON THE CIRCLE I
DYNAMICS ON THE CIRCLE I SIDDHARTHA GADGIL Dynamics is the study of the motion of a body, or more generally evolution of a system with time, for instance, the motion of two revolving bodies attracted to
More informationON HARMONIC FUNCTIONS ON SURFACES WITH POSITIVE GAUSS CURVATURE AND THE SCHWARZ LEMMA
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 44, Number 5, 24 ON HARMONIC FUNCTIONS ON SURFACES WITH POSITIVE GAUSS CURVATURE AND THE SCHWARZ LEMMA DAVID KALAJ ABSTRACT. We prove some versions of the Schwarz
More informationFINAL EXAM MATH 220A, UCSD, AUTUMN 14. You have three hours.
FINAL EXAM MATH 220A, UCSD, AUTUMN 4 You have three hours. Problem Points Score There are 6 problems, and the total number of points is 00. Show all your work. Please make your work as clear and easy to
More informationEilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )
II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups
More informationINDIAN INSTITUTE OF TECHNOLOGY BOMBAY MA205 Complex Analysis Autumn 2012
INDIAN INSTITUTE OF TECHNOLOGY BOMBAY MA205 Complex Analysis Autumn 2012 September 5, 2012 Mapping Properties Lecture 13 We shall once again return to the study of general behaviour of holomorphic functions
More informationMath 225B: Differential Geometry, Final
Math 225B: Differential Geometry, Final Ian Coley March 5, 204 Problem Spring 20,. Show that if X is a smooth vector field on a (smooth) manifold of dimension n and if X p is nonzero for some point of
More informationMath 715 Homework 1 Solutions
. [arrier, Krook and Pearson Section 2- Exercise ] Show that no purely real function can be analytic, unless it is a constant. onsider a function f(z) = u(x, y) + iv(x, y) where z = x + iy and where u
More informationApplication of the Euler s gamma function to a problem related to F. Carlson s uniqueness theorem
doi:.795/a.6.7..75 A N N A L E S U N I V E R S I T A T I S M A R I A E C U R I E - S K Ł O D O W S K A L U B L I N P O L O N I A VOL. LXX, NO., 6 SECTIO A 75 8 M. A. QAZI Application of the Euler s gamma
More information1 The Differential Geometry of Surfaces
1 The Differential Geometry of Surfaces Three-dimensional objects are bounded by surfaces. This section reviews some of the basic definitions and concepts relating to the geometry of smooth surfaces. 1.1
More informationGroup construction in geometric C-minimal non-trivial structures.
Group construction in geometric C-minimal non-trivial structures. Françoise Delon, Fares Maalouf January 14, 2013 Abstract We show for some geometric C-minimal structures that they define infinite C-minimal
More informationThurston s bending measure conjecture for once punctured torus groups
Thurston s bending measure conjecture for once punctured torus groups Caroline Series Mathematics Institute Warwick University Coventry CV4 7AL, U.K. Abstract We prove Thurston s bending measure conjecture
More informationUNIFORM DENSITIES OF REGULAR SEQUENCES IN THE UNIT DISK. Peter L. Duren, Alexander P. Schuster and Kristian Seip
UNIFORM DENSITIES OF REGULAR SEQUENCES IN THE UNIT DISK Peter L. Duren, Alexander P. Schuster and Kristian Seip Abstract. The upper and lower uniform densities of some regular sequences are computed. These
More informationMAT389 Fall 2016, Problem Set 11
MAT389 Fall 216, Problem Set 11 Improper integrals 11.1 In each of the following cases, establish the convergence of the given integral and calculate its value. i) x 2 x 2 + 1) 2 ii) x x 2 + 1)x 2 + 2x
More informationExercises for Part 1
MATH200 Complex Analysis. Exercises for Part Exercises for Part The following exercises are provided for you to revise complex numbers. Exercise. Write the following expressions in the form x + iy, x,y
More informationLeft Invariant CR Structures on S 3
Left Invariant CR Structures on S 3 Howard Jacobowitz Rutgers University Camden August 6, 2015 Outline CR structures on M 3 Pseudo-hermitian structures on M 3 Curvature and torsion S 3 = SU(2) Left-invariant
More informationCalculus III. Math 233 Spring Final exam May 3rd. Suggested solutions
alculus III Math 33 pring 7 Final exam May 3rd. uggested solutions This exam contains twenty problems numbered 1 through. All problems are multiple choice problems, and each counts 5% of your total score.
More informationarxiv: v1 [math.dg] 30 Nov 2013
An Explicit Formula for the Spherical Curves with Constant Torsion arxiv:131.0140v1 [math.dg] 30 Nov 013 Demetre Kazaras University of Oregon 1 Introduction Ivan Sterling St. Mary s College of Maryland
More informationSOME ASPECTS ON CIRCLES AND HELICES IN A COMPLEX PROJECTIVE SPACE. Toshiaki Adachi* and Sadahiro Maeda
Mem. Fac. Sci. Eng. Shimane Univ. Series B: Mathematical Science 32 (1999), pp. 1 8 SOME ASPECTS ON CIRCLES AND HELICES IN A COMPLEX PROJECTIVE SPACE Toshiaki Adachi* and Sadahiro Maeda (Received December
More informationMATH 311: COMPLEX ANALYSIS CONTOUR INTEGRALS LECTURE
MATH 3: COMPLEX ANALYSIS CONTOUR INTEGRALS LECTURE Recall the Residue Theorem: Let be a simple closed loop, traversed counterclockwise. Let f be a function that is analytic on and meromorphic inside. Then
More informationarxiv: v1 [math.dg] 8 Nov 2007
A ZOLL COUNTEREXAMPLE TO A GEODESIC LENGTH CONJECTURE FLORENT BALACHEFF 1, CHRISTOPHER CROKE 2, AND MIKHAIL G. KATZ 3 arxiv:711.1229v1 [math.dg] 8 Nov 27 Abstract. We construct a counterexample to a conjectured
More informationNew York Journal of Mathematics. Natural maps between CAT(0) boundaries
New York Journal of Mathematics New York J. Math. 19 (2013) 13 22. Natural maps between CAT(0) boundaries Stephen M. Buckley and Kurt Falk Abstract. It is shown that certain natural maps between the ideal,
More informationAppendix E : Note on regular curves in Euclidean spaces
Appendix E : Note on regular curves in Euclidean spaces In Section III.5 of the course notes we posed the following question: Suppose that U is a connected open subset of R n and x, y U. Is there a continuous
More informationarxiv: v3 [math.dg] 19 Jun 2017
THE GEOMETRY OF THE WIGNER CAUSTIC AND AFFINE EQUIDISTANTS OF PLANAR CURVES arxiv:160505361v3 [mathdg] 19 Jun 017 WOJCIECH DOMITRZ, MICHA L ZWIERZYŃSKI Abstract In this paper we study global properties
More informationPart IB. Complex Analysis. Year
Part IB Complex Analysis Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section I 2A Complex Analysis or Complex Methods 7 (a) Show that w = log(z) is a conformal
More informationTheorema Egregium, Intrinsic Curvature
Theorema Egregium, Intrinsic Curvature Cartan s second structural equation dω 12 = K θ 1 θ 2, (1) is, as we have seen, a powerful tool for computing curvature. But it also has far reaching theoretical
More informationOn the dynamics of a rigid body in the hyperbolic space
On the dynamics of a rigid body in the hyperbolic space Marcos Salvai FaMF, Ciudad Universitaria, 5000 Córdoba, rgentina e-mail: salvai@mate.uncor.edu bstract Let H be the three dimensional hyperbolic
More informationGLOBAL, GEOMETRICAL COORDINATES ON FALBEL S CROSS-RATIO VARIETY
GLOBAL GEOMETRICAL COORDINATES ON FALBEL S CROSS-RATIO VARIETY JOHN R. PARKER & IOANNIS D. PLATIS Abstract. Falbel has shown that four pairwise distinct points on the boundary of complex hyperbolic -space
More informationA unique representation of polyhedral types. Centering via Möbius transformations
Mathematische Zeitschrift manuscript No. (will be inserted by the editor) A unique representation of polyhedral types. Centering via Möbius transformations Boris A. Springborn Boris Springborn Technische
More informationLecture 11. Geodesics and completeness
Lecture 11. Geodesics and completeness In this lecture we will investigate further the metric properties of geodesics of the Levi-Civita connection, and use this to characterise completeness of a Riemannian
More informationMA304 Differential Geometry
MA34 Differential Geometr Homework solutions, Spring 8, 3% of the final mark Let I R, where I = (a, b) or I = [a, b] Let α : I R 3 be a regular parameterised differentiable curve (not necessaril b arc
More informationCenter of Gravity and a Characterization of Parabolas
KYUNGPOOK Math. J. 55(2015), 473-484 http://dx.doi.org/10.5666/kmj.2015.55.2.473 pissn 1225-6951 eissn 0454-8124 c Kyungpook Mathematical Journal Center of Gravity and a Characterization of Parabolas Dong-Soo
More informationHow circular are generalized circles
How circular are generalized circles Mario Ponce A plane circle is defined as the locus of points that have constant distance (radius) from a distinguished point (center). In this short note we treat with
More informationAnalysis Comprehensive Exam, January 2011 Instructions: Do as many problems as you can. You should attempt to answer completely some questions in both
Analysis Comprehensive Exam, January 2011 Instructions: Do as many problems as you can. You should attempt to answer completely some questions in both real and complex analysis. You have 3 hours. Real
More informationREPRESENTATION THEORY WEEK 7
REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable
More informationTHE ZERO-DISTRIBUTION AND THE ASYMPTOTIC BEHAVIOR OF A FOURIER INTEGRAL. Haseo Ki and Young One Kim
THE ZERO-DISTRIBUTION AND THE ASYMPTOTIC BEHAVIOR OF A FOURIER INTEGRAL Haseo Ki Young One Kim Abstract. The zero-distribution of the Fourier integral Q(u)eP (u)+izu du, where P is a polynomial with leading
More informationON THE TOTAL CURVATURE OF A KNOTTED SPACE CURVE.
ON THE TOTAL CURVATURE OF A KNOTTED PACE CURVE. ITVÁN FÁRY (TRANLATION BY E. DENNE.) 1. Introduction 1. M. Fenchel 1 has proved a theorem saying that a closed curve (in ordinary space) has total curvature
More informationMath Spring 2014 Solutions to Assignment # 12 Completion Date: Thursday June 12, 2014
Math 3 - Spring 4 Solutions to Assignment # Completion Date: Thursday June, 4 Question. [p 67, #] Use residues to evaluate the improper integral x + ). Ans: π/4. Solution: Let fz) = below. + z ), and for
More informationf(s)ds, i.e. to write down the general solution in
1. First order ODEs. Simplest examples. Existence and uniqueness theorem Example 1.1. Consider the equation (1.1) x (t) = 1 This is an equation because there is an unknown: the function x(t). This is a
More informationStrictly convex functions on complete Finsler manifolds
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 126, No. 4, November 2016, pp. 623 627. DOI 10.1007/s12044-016-0307-2 Strictly convex functions on complete Finsler manifolds YOE ITOKAWA 1, KATSUHIRO SHIOHAMA
More informationA few words about the MTW tensor
A few words about the Ma-Trudinger-Wang tensor Université Nice - Sophia Antipolis & Institut Universitaire de France Salah Baouendi Memorial Conference (Tunis, March 2014) The Ma-Trudinger-Wang tensor
More informationMetric Spaces Lecture 17
Metric Spaces Lecture 17 Homeomorphisms At the end of last lecture an example was given of a bijective continuous function f such that f 1 is not continuous. For another example, consider the sets T =
More informationConsequences of Continuity
Consequences of Continuity James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University October 4, 2017 Outline 1 Domains of Continuous Functions 2 The
More informationLAGRANGIAN HOMOLOGY CLASSES WITHOUT REGULAR MINIMIZERS
LAGRANGIAN HOMOLOGY CLASSES WITHOUT REGULAR MINIMIZERS JON WOLFSON Abstract. We show that there is an integral homology class in a Kähler-Einstein surface that can be represented by a lagrangian twosphere
More informationLarge automorphism groups of 16-dimensional planes are Lie groups
Journal of Lie Theory Volume 8 (1998) 83 93 C 1998 Heldermann Verlag Large automorphism groups of 16-dimensional planes are Lie groups Barbara Priwitzer, Helmut Salzmann Communicated by Karl H. Hofmann
More informationConverse Sturm Hurwitz Kellogg theorem and related results
J. fixed point theory appl. Online First c 28 Birkhäuser Verlag Basel/Switzerland DOI 1.17/s11784-7-49-y Journal of Fixed Point Theory and Applications Converse Sturm Hurwitz Kellogg theorem and related
More informationBoutroux s Method vs. Re-scaling Lower estimates for the orders of growth of the second and fourth Painlevé transcendents
Boutroux s Method vs. Re-scaling Lower estimates for the orders of growth of the second and fourth Painlevé transcendents 18.06.2003 by Norbert Steinmetz in Dortmund Abstract. We give a new proof of Shimomura
More information