Domain Coloring and the Argument Principle Frank A
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
GPU-Based Visualization of Domain-Coloured Algebraic Riemann Surfaces
GPU-based visualization of domain-coloured algebraic Riemann surfaces Stefan Kranich∗ 11 November 2015 Abstract We examine an algorithm for the visualization of domain-coloured Riemann surfaces of plane algebraic curves. The approach faithfully reproduces the topology and the holomorphic structure of the Riemann surface. We discuss how the algorithm can be implemented efficiently in OpenGL with geometry shaders, and (less efficiently) even in WebGL with multiple render targets and floating point textures. While the generation of the surface takes noticeable time in both implementations, the visualization of a cached Riemann surface mesh is possible with interactive performance. This allows us to visually explore otherwise almost unimaginable mathematical objects. As examples, we look at the complex square root and the folium of Descartes. For the folium of Descartes, the visualization reveals features of the algebraic curve that are not obvious from its equation. 1 Introduction 1.1 Mathematical background The following basic example illustrates what we would like to visualize. Example 1.1. Let y be the square root of x, p y = x: If x is a non-negative real number, we typically define y as the non-negative real arXiv:1507.04571v3 [cs.GR] 10 Nov 2015 number whose square equals x, i.e. we always choose the non-negative solution of the equation y2 − x = 0 (1) p as y = x. For negative real numbers x, no real number y solves Equation 1. However, if we define the imaginary unit i as a number with the property that i2 = −1 then the square root of x becomes the purely imaginary number y = ipjxj: ∗Zentrum Mathematik (M10), Technische Universit¨atM¨unchen, 85747 Garching, Germany; E-mail address: [email protected] 1 Im Im Re Re Figure 1.2: When a complex number (black points) runs along a circle centred at the origin of the complex plane, its square roots (white points) move at half the angular velocity (left image). -
Visualization of Complex Function Graphs in Augmented Reality
M A G I S T E R A R B E I T Visualization of Complex Function Graphs in Augmented Reality ausgeführt am Institut für Softwaretechnik und Interaktive Systeme der Technischen Universität Wien unter der Anleitung von Univ.Ass. Mag. Dr. Hannes Kaufmann durch Robert Liebo Brahmsplatz 7/11 1040 Wien _________ ____________________________ Datum Unterschrift Abstract Understanding the properties of a function over complex numbers can be much more difficult than with a function over real numbers. This work provides one approach in the area of visualization and augmented reality to gain insight into these properties. The applied visualization techniques use the full palette of a 3D scene graph's basic elements, the complex function can be seen and understood through the location, the shape, the color and even the animation of a resulting visual object. The proper usage of these visual mappings provides an intuitive graphical representation of the function graph and reveals the important features of a specific function. Augmented reality (AR) combines the real world with virtual objects generated by a computer. Using multi user AR for mathematical visualization enables sophisticated educational solutions for studies dealing with complex functions. A software framework that has been implemented will be explained in detail, it is tailored to provide an optimal solution for complex function graph visualization, but shows as well an approach to visualize general data sets with more than 3 dimensions. The framework can be used in a variety of environments, a desktop setup and an immersive setup will be shown as examples. Finally some common tasks involving complex functions will be shown in connection with this framework as example usage possibilities. -
Augustin-Louis Cauchy - Wikipedia, the Free Encyclopedia 1/6/14 3:35 PM Augustin-Louis Cauchy from Wikipedia, the Free Encyclopedia
Augustin-Louis Cauchy - Wikipedia, the free encyclopedia 1/6/14 3:35 PM Augustin-Louis Cauchy From Wikipedia, the free encyclopedia Baron Augustin-Louis Cauchy (French: [oɡystɛ̃ Augustin-Louis Cauchy lwi koʃi]; 21 August 1789 – 23 May 1857) was a French mathematician who was an early pioneer of analysis. He started the project of formulating and proving the theorems of infinitesimal calculus in a rigorous manner, rejecting the heuristic Cauchy around 1840. Lithography by Zéphirin principle of the Belliard after a painting by Jean Roller. generality of algebra exploited by earlier Born 21 August 1789 authors. He defined Paris, France continuity in terms of Died 23 May 1857 (aged 67) infinitesimals and gave Sceaux, France several important Nationality French theorems in complex Fields Mathematics analysis and initiated the Institutions École Centrale du Panthéon study of permutation École Nationale des Ponts et groups in abstract Chaussées algebra. A profound École polytechnique mathematician, Cauchy Alma mater École Nationale des Ponts et exercised a great Chaussées http://en.wikipedia.org/wiki/Augustin-Louis_Cauchy Page 1 of 24 Augustin-Louis Cauchy - Wikipedia, the free encyclopedia 1/6/14 3:35 PM influence over his Doctoral Francesco Faà di Bruno contemporaries and students Viktor Bunyakovsky successors. His writings Known for See list cover the entire range of mathematics and mathematical physics. "More concepts and theorems have been named for Cauchy than for any other mathematician (in elasticity alone there are sixteen concepts and theorems named for Cauchy)."[1] Cauchy was a prolific writer; he wrote approximately eight hundred research articles and five complete textbooks. He was a devout Roman Catholic, strict Bourbon royalist, and a close associate of the Jesuit order. -
Argument Principle
Topic 11 Notes Jeremy Orloff 11 Argument Principle 11.1 Introduction The argument principle (or principle of the argument) is a consequence of the residue theorem. It connects the winding number of a curve with the number of zeros and poles inside the curve. This is useful for applications (mathematical and otherwise) where we want to know the location of zeros and poles. 11.2 Principle of the argument Setup. � a simple closed curve, oriented in a counterclockwise direction. f .z/ analytic on and inside �, except for (possibly) some finite poles inside (not on) � and some zeros inside (not on) �. p ; ; p f � Let 1 § m be the poles of inside . z ; ; z f � Let 1 § n be the zeros of inside . Write mult.zk/ = the multiplicity of the zero at zk. Likewise write mult.pk/ = the order of the pole at pk. We start with a theorem that will lead to the argument principle. Theorem 11.1. With the above setup f ¨ z (∑ ∑ ) . / dz �i z p : Ê f z = 2 mult. k/* mult. k/ � . / Proof. To prove this theorem we need to understand the poles and residues of f ¨.z/_f .z/. With this f z m z f z z in mind, suppose . / has a zero of order at 0. The Taylor series for . / near 0 is f z z z mg z . / = . * 0/ . / g z z where . / is analytic and never 0 on a small neighborhood of 0. This implies ¨ m z z m*1g z z z mg¨ z f .z/ . * 0/ . / + . * 0/ . / f z = z z mg z . -
A Formal Proof of Cauchy's Residue Theorem
A Formal Proof of Cauchy's Residue Theorem Wenda Li and Lawrence C. Paulson Computer Laboratory, University of Cambridge fwl302,[email protected] Abstract. We present a formalization of Cauchy's residue theorem and two of its corollaries: the argument principle and Rouch´e'stheorem. These results have applications to verify algorithms in computer alge- bra and demonstrate Isabelle/HOL's complex analysis library. 1 Introduction Cauchy's residue theorem | along with its immediate consequences, the ar- gument principle and Rouch´e'stheorem | are important results for reasoning about isolated singularities and zeros of holomorphic functions in complex anal- ysis. They are described in almost every textbook in complex analysis [3, 15, 16]. Our main motivation of this formalization is to certify the standard quantifier elimination procedure for real arithmetic: cylindrical algebraic decomposition [4]. Rouch´e'stheorem can be used to verify a key step of this procedure: Collins' projection operation [8]. Moreover, Cauchy's residue theorem can be used to evaluate improper integrals like Z 1 itz e −|tj 2 dz = πe −∞ z + 1 Our main contribution1 is two-fold: { Our machine-assisted formalization of Cauchy's residue theorem and two of its corollaries is new, as far as we know. { This paper also illustrates the second author's achievement of porting major analytic results, such as Cauchy's integral theorem and Cauchy's integral formula, from HOL Light [12]. The paper begins with some background on complex analysis (Sect. 2), fol- lowed by a proof of the residue theorem, then the argument principle and Rouch´e'stheorem (3{5). -
Domain Coloring of Complex Functions
Domain Coloring of Complex Functions Contents 1 Introduction Not only in mathematic we are confronted with graphs of all possible data sets. In economics and science we want to present the results by plotting their function graph inside a optimal coordinate system. In complex analysis we work with holomorphic functions which are complex differen- tiable. Like in real analysis we are interesting to plot such functions as graph inside a optimal coordinate systems. The graph of holomorphic functions is a subset of the four-dimensional coordinate system. But we are limited to three dimension, because we do not know how to draw objects in higher dimensional spaces. Therefore we are forced to construct a methode to visualize such functions. In this sec- tion we give a short overview of the domain coloring which allows us to visualize the graph of complex funtions by using colors. First we give a overview of complex analysis and holomorphic function. After we have presented the main idea behind the domain coloring we discuss a example to understand the main concept of domain coloring. 1 2 Introduction to Complex Analysis 2 Introduction to Complex Analysis In this section we give a short review of the main idea of complex analysis which we need to understand the methode of domain coloring. The reader should familiar with the construction of complex numbers and the representation of such numbers with polar coordinates. In complex anlysis we work with complex function which consist of three parts: first, a set D ⊂ C of input values, which is called the domain of the function, second, the range of f in C and third, for every input value x 2 D, a unique function value f(x) in the range of f. -
Domain Coloring of Complex Functions
Domain Coloring of Complex Functions Konstantin Poelke and Konrad Polthier 1 Introduction 2 What is a Function? Let us briefly recap the definition of a Visualizing functions is an omnipresent function to fix terminology. A function f task in many sciences and almost every day consists of three parts: first, a set D of in- we are confronted with diagrams in news- put values, which is called the domain of the papers and magazines showing functions of function, second, a set Y called the range of all possible flavours. Usually such func- f and third, for every input value x ∈ D, tions are visualized by plotting their func- a unique value y ∈ Y , called the function tion graph inside an appropriate coordinate value of f at x, denoted f(x). The set Γ(f) system, with the probably most prominent of all pairs (a, f(a)), a ∈ D, is a subset of choice being the cartesian coordinate sys- the product set D × Y and called the func- tem. This allows us to get an overall im- tion graph of f. pression of the function’s behaviour as well One particular type of functions that are as to detect certain distinctive features such widely used in engineering and physics are as minimal or maximal points or points complex functions, i.e. functions f : D ⊆ where the direction of curvature changes. C → Y ⊆ C whose domain and range In particular, we can “see” the dependence are subsets of the complex numbers, and between input and output. However, this we will focus on complex functions in the technique is limited to three dimensions, following. -
Applications of the Cauchy Theory
Chapter 4 Applications Of The Cauchy Theory This chapter contains several applications of the material developed in Chapter 3. In the first section, we will describe the possible behavior of an analytic function near a singularity of that function. 4.1 Singularities We will say that f has an isolated singularity at z0 if f is analytic on D(z0,r) \{z0} for some r. What, if anything, can be said about the behavior of f near z0? The basic tool needed to answer this question is the Laurent series, an expansion of f(z)in powers of z − z0 in which negative as well as positive powers of z − z0 may appear. In fact, the number of negative powers in this expansion is the key to determining how f behaves near z0. From now on, the punctured disk D(z0,r) \{z0} will be denoted by D (z0,r). We will need a consequence of Cauchy’s integral formula. 4.1.1 Theorem Let f be analytic on an open set Ω containing the annulus {z : r1 ≤|z − z0|≤r2}, 0 <r1 <r2 < ∞, and let γ1 and γ2 denote the positively oriented inner and outer boundaries of the annulus. Then for r1 < |z − z0| <r2, we have 1 f(w) − 1 f(w) f(z)= − dw − dw. 2πi γ2 w z 2πi γ1 w z Proof. Apply Cauchy’s integral formula [part (ii)of (3.3.1)]to the cycle γ2 − γ1. ♣ 1 2 CHAPTER 4. APPLICATIONS OF THE CAUCHY THEORY 4.1.2 Definition For 0 ≤ s1 <s2 ≤ +∞ and z0 ∈ C, we will denote the open annulus {z : s1 < |z−z0| <s2} by A(z0,s1,s2). -
Una Introducción Al Método De Dominio Colorado Con Geogebra Para
101 Una introducción al método de dominio colorado con GeoGebra para la visualización y estudio de funciones complejas Uma introdução ao método do domínio colorado com GeoGebra para visualizar e estudar funções complexas An introduction the method domain coloring with GeoGebra for visualizing and studying complex JUAN CARLOS PONCE CAMPUZANO1 0000-0003-4402-1332 researchgate.net/profile/Juan_Ponce_Campuzano geogebra.org/u/jcponce http://dx.doi.org/10.23925/2237-9657.2020.v9i1p101-119 RESUMEN Existen diversos métodos para visualizar funciones complejas, tales como graficar por separado sus componentes reales e imaginarios, mapear o transformar una región, el método de superficies analíticas y el método de dominio coloreado. Este último es uno de los métodos más recientes y aprovecha ciertas características del color y su procesamiento digital. La idea básica es usar colores, luminosidad y sombras como dimensiones adicionales, y para visualizar números complejos se usa una función real que asocia a cada número complejo un color determinado. El plano complejo puede entonces visualizarse como una paleta de colores construida a partir del esquema HSV (del inglés Hue, Saturation, Value – Matiz, Saturación, Valor). Como resultado, el método de dominio coloreado permite visualizar ceros y polos de funciones, ramas de funciones multivaluadas, el comportamiento de singularidades aisladas, entre otras propiedades. Debido a las características de GeoGebra en cuanto a los colores dinámicos, es posible implementar en el software el método de dominio coloreado para visualizar y estudiar funciones complejas, lo cual se explica en detalle en el presente artículo. Palabras claves: funciones complejas, método de dominio coloreado, colores dinámicos. RESUMO Existem vários métodos para visualizar funções complexas, como plotar seus componentes reais e imaginários separadamente, mapear ou transformar uma região, o método de superfície analítica e o método de domínio colorido. -
Arxiv:2002.05234V1 [Cs.GR] 12 Feb 2020 Have Emerged
VISUALIZING MODULAR FORMS DAVID LOWRY-DUDA Abstract. We describe practical methods to visualize modular forms. We survey several current visualizations. We then introduce an approach that can take advantage of colormaps in python's matplotlib library and describe an implementation. 1. Introduction 1.1. Motivation. Graphs of real-valued functions are ubiquitous and com- monly serve as a source of mathematical insight. But graphs of complex functions are simultaneously less common and more challenging to make. The reason is that the graph of a complex function is naturally a surface in four dimensions, and there are not many intuitive embeddings available to capture this surface within a 2d plot. In this article, we examine different methods for visualizing plots of mod- ular forms on congruent subgroups of SL(2; Z). These forms are highly symmetric functions and we should expect their plots to capture many dis- tinctive, highly symmetric features. In addition, we wish to take advantage of the broader capabilities that exist in the python/SageMath data visualization ecosystem. There are a vast number of color choices and colormaps implemented in terms of python's matplotlib library [Hun07]. While many of these are purely aesthetic, some offer color choices friendly to color blind viewers. Further, some are designed with knowledge of color theory and human cognition to be perceptually uniform with respect to human vision. We describe this further in x3. 1.2. Broad Overview of Complex Function Plotting. Over the last 20 years, different approaches towards representing graphs of complex functions arXiv:2002.05234v1 [cs.GR] 12 Feb 2020 have emerged. -
1 Some Very Useful Theorems
Yuval Advanced Complex Analysis Mathcamp 2017 1 Some very useful theorems The ultimate goal of this class is to understand the geometric properties of analytic functions, but before we can do that, there are quite a few theorems that we need to prove first. All of these theorems are suprising, beautiful, and insanely useful. 1.1 Isolated roots and unique continuations Definition. A function f : C ! C is said to have isolated roots if its roots (the places where it evaluates to 0) are \spaced out". Formally, this means that if z0 2 C is a root, namely f(z0) = 0, then there is some " > 0 such that if 0 < jz − z0j < ", then f(z) 6= 0. In other words, the roots of f are not arbitrarily close to one another. Having isolated roots is a very special property. For instance, the function g : C ! C defined by g(x + iy) = x − y is an extremely nice function, but it does not have isolated roots: the entire line y = x is composed of roots of g, so every root has other roots arbitrarily close to it. Nevertheless, we have the following result: Theorem. If f : C ! C is analytic and not the zero function, then f has isolated roots. Proof. Suppose not. Then we have a root z0 that has other roots arbitrarily close to it. This means that we can find a sequence of points z1; z2;::: 2 C with f(zk) = 0 and limk!1 zk = z0. We expand f as a Taylor series centered at z0, by writing 1 X n f(z) = an(z − z0) n=0 for some collection of complex numbers an. -
Real-Time Visualization of Geometric Singularities Master’S Thesis by Stefan Kranich
TECHNISCHE UNIVERSITÄT MÜNCHEN Department of Mathematics Real-time Visualization of Geometric Singularities Master’s thesis by Stefan Kranich Supervisor: Prof. Dr. Dr. J¨urgen Richter-Gebert Advisor: Prof. Dr. Dr. J¨urgen Richter-Gebert Submission date: September 17, 2012 Abstract Dynamic geometry is a branch of geometry concerned with movement of elements in geometric constructions. If we move an element of a construction and update the positions of the other elements accordingly, we traverse a continuum of instances of the construction, its configuration space. In many geometric constructions, interesting effects occur in the neighbourhood of geometric singularities, i.e. around points in configuration space at which ambiguous geometric operations of the construction branch. For example, at a geometric singularity two points may exchange their role of being the upper/lower point of intersection of two circles. On the other hand, we frequently see ambiguous elements jump unexpectedly from one branch to another in the majority of dynamic geometry software. If we want to explain such effects, we must consider complex coordinates for the elements of geometric constructions. Consequently, what often hinders us to fully comprehend the dynamics of geometric constructions is that our view is limited to the real perspective. In particular, the two-dimensional real plane exposed in dynamic geometry software is really just a section of the multidimensional complex configuration space which determines the dynamic behaviour of a construction. The goal of this thesis is to contribute to a better understanding of dynamic geom- etry by making the complex configuration space of certain constructions accessible to visual exploration in real-time.