THE S.V.D. of the POISSON KERNEL 1. Introduction This Paper

Total Page:16

File Type:pdf, Size:1020Kb

THE S.V.D. of the POISSON KERNEL 1. Introduction This Paper THE S.V.D. OF THE POISSON KERNEL GILES AUCHMUTY Abstract. The solution of the Dirichlet problem for the Laplacian on bounded regions N Ω in R , N 2 is generally described via a boundary integral operator with the Poisson kernel. Under≥ mild regularity conditions on the boundary, this operator is a compact 2 2 2 linear transformation of L (∂Ω,dσ) to LH (Ω) - the Bergman space of L harmonic functions on Ω. This paper describes the singular value decomposition (SVD)− of this operator and related results. The singular functions and singular values are constructed using Steklov eigenvalues and eigenfunctions of the biharmonic operator on Ω. These allow a spectral representation of the Bergman harmonic projection and the identification 2 of an orthonormal basis of the real harmonic Bergman space LH (Ω). A reproducing 2 2 kernel for LH (Ω) and an orthonormal basis of the space L (∂Ω,dσ) also are found. This enables the description of optimal finite rank approximations of the Poisson kernel with error estimates. Explicit spectral formulae for the normal derivatives of eigenfunctions for the Dirichlet Laplacian on ∂Ω are obtained and used to identify a constant in an inequality of Hassell and Tao. 1. Introduction This paper describes representation results for harmonic functions on a bounded region Ω in RN ; N 2. In particular a spectral representation of the Poisson kernel for solutions of the Dirichlet≥ problem for Laplace’s equation with L2 boundary data is described. This leads to an explicit description of the Reproducing− Kernel (RK) for 2 the harmonic Bergman space LH (Ω) and the singular value decomposition (SVD) of the Poisson kernel for the Laplacian. These results hold subject to mild boundary regularity conditions. In a earlier paper [8] the author used harmonic Steklov eigenfunctions to construct reproducing kernels for a family Hs(Ω),s R of harmonic functions modeled on Sobolev spaces. A similar approach is used here to∈ construct an orthonormal basis of the harmonic 2 Bergman space LH (Ω) for quite general bounded regions using the eigenfunctions of the Dirichlet Biharmonic Steklov (DBS) eigenproblem. Fichera [19] in 1955 showed that the norm of the Poisson kernel as a map of L2(∂Ω,dσ) to L2(Ω) is determined by smallest eigenvalue of this DBS eigenproblem. Here a maximal orthogonal set of DBS eigenfunctions is constructed that allows the 2 determination of bases of LH (Ω) and related Hilbert spaces. These constructions then The author gratefully acknowledges research support by NSF award DMS 11008754. 2010 Mathematics Subject classification. Primary 46E22, Secondary 35J40, 46E35, 33E20. Key words and phrases. Singular Value Decomposition, harmonic Bergman space, biharmonic Steklov eigenfunctions, Poisson kernel, Reproducing kernel. 1 2 AUCHMUTY 2 yield a spectral representation of this harmonic extension operator EH from L (∂Ω,dσ) 2 to LH (Ω) in terms of these DBS eigenfunctions and eigenvalues. Results about Steklov eigenproblems related for the Laplacian and the biharmonic operator are described in sections 4 and 5. A nice summary of recent results on the DBS eigenproblem may be found in chapter 3 of Gazzola-Grunau-Sweers [20]. In particular properties of the spectrum were obtained by Ferrero, Gazzola and Weth [18] and properties of the first eigenvalue were studied in Bucur, Ferrero and Gazzola [13]. Here the DBS eigenproblem is studied in the space H0(∆, Ω) which is different to the spaces used in previous treatments. In section 5, an algorithm to construct an explicit sequence of Dirichlet Biharmonic Steklov (DBS) eigenfunctions that yield an orthonormal basis H 2 B of LH (Ω) is described. P 2 2 The Bergman harmonic projection H of L (Ω) onto LH (Ω) is defined in section 6. Some differences between the harmonic projection on H1(Ω) used in elliptic PDEs and the Bergmann harmonic projection are noted. Then the sequence of DBS eigenfunctions is 2 used to construct an orthonormal basis of LH (Ω). A representation result for the Bergman P 2 2 harmonic projection H of L (Ω) onto LH (Ω) in terms of the DBS eigenfunctions is proved as theorem 6.2. 2 A formula for the reproducing kernel for LH (Ω) then follows as corollary 6.3. This RK may be viewed as a Delta function on the class of harmonic functions - see (6.10). The reproducing kernel described here appears to be a spectral representation of a re- producing kernel constructed by J.L. Lions in [24] using control theory methods. Lions 2 showed that there is a reproducing kernel for LH (Ω) that is a perturbation of the funda- mental solution of the biharmonic operator; the perturbation depending on the region Ω. Subsequently, Englis et al in [15] and J.L. Lions in [25], have studied the construction of other Reproducing Kernels for various classes of harmonic and other elliptic operators on bounded regions. Classically the solution operator for the Dirichlet problem for Laplace’s equation has been represented as a boundary integral involving the Poisson kernel and the data. This solution operator may be identified with the harmonic extension operator EH . Under mild regularity conditions on the boundary ∂Ω, EH is proved in section 7 to be a compact 2 2 linear transformation from L (∂Ω,dσ) to the harmonic Bergman space LH (Ω). The spectral representation of the harmonic extension operator is then shown to provide an SVD for the Poisson kernel. The singular vectors are the orthonormal bases H and involving DBS eigenvalues and eigenfunctions and the singular values are relatedB toW the DBS eigenvalues. Moreover associated finite rank approximations of the Poisson operator have error estimates depending on appropriate DMS eigenvalues. See theorem 7.2 and the error estimates for finite rank approximations of the Poisson operator in theorem 7.3. In section 8 an explicit formula for the normal derivative of Dirichlet Laplacian eigenfunctions on Ω is found. This provides a quantification of a constant described by Hassell and Tao [22] for the 2-norms of such eigenfunctions in the case where the domain is a nice bounded region of RN . SVD OF THE POISSON KERNEL 3 The results here are stated under a weak regularity condition (B2) on the boundary ∂Ω. This condition has been the subject of recent interest as it is related to phenomena that arise in the study of biharmonic boundary value problems. Some comments about these issues may be found in section 2.7 of the monograph of Gazzola, Grunau and Sweers [20] including a description of some apparent ”paradoxes”. 2. Definitions and Notation. A region is a non-empty, connected, open subset of RN . Its closure is denoted Ω and its boundary is ∂Ω := Ω Ω. A standard assumption about the region is the following. \ (B1): Ω is a bounded region in RN and its boundary ∂Ω is the union of a finite number of disjoint closed Lipschitz surfaces; each surface having finite surface area. When this holds there is an outward unit normal ν defined at σ a.e. point of ∂Ω. The definitions and terminology of Evans and Gariepy [17] will be followed except that σ, dσ, respectively, will represent Hausdorff (N 1) dimensional measure and integration − − with respect to this measure. All functions in this paper will take values in R := [ , ] and derivatives should be taken in a weak sense. −∞ ∞ The real Lebesgue spaces Lp(Ω) and Lp(∂Ω,dσ), 1 p are defined in the ≤ ≤ ∞ standard manner and have the usual norms denoted by u p and u p,∂Ω. When p = 2, these spaces will be Hilbert spaces with inner products k k k k 1 u,v := u(x) v(x) dx and u,v Ω := ∂Ω − uv dσ. h i h i∂ | | ZΩ Z∂Ω Let H1(Ω) be the usual real Sobolev space of functions on Ω. It is a real Hilbert space under the standard H1 inner product − [u,v] := [u(x) v(x) + u(x) v(x)] dx. (2.1) 1 ∇ ·∇ ZΩ Here u is the gradient of the function u and the associated norm is denoted u 1,2, and denotes∇ the Euclidean inner product of vectors. k k · The region Ω is said to satisfy Rellich’s theorem provided the imbedding of H1(Ω) p into L (Ω) is compact for 1 p<pS where pS := 2N/(N 2); N 3, or pS = when N = 2. There are a number≤ of different criteria on Ω and−∂Ω that≥ imply this result.∞ When (B1) holds it is theorem 1 in section 4.6 of [17]; see also Amick [2]. DiBenedetto [14], in theorem 14.1 of chapter 9 shows that the result holds when Ω is bounded and satisfies a ”cone property”. Adams and Fournier give a thorough treatment of conditions for this result in chapter 6 of [3] and show that it also holds for some classes of unbounded regions. When (B1) holds, then the trace of a Lipschitz continuous function on Ω to ∂Ω is continuous and there is a continuous extension of this map to W 1,1(Ω). This linear map γ is called the trace on ∂Ω and each γ(u) is Lebesgue integrable with respect to σ; see 4 AUCHMUTY [17], section 4.2 for details. In particular, when Ω satisfies (B1), then the Gauss-Green theorem holds in the form u(x)D v(x) dx = uvν dσ v(x)D u(x) dx for 1 j N. (2.2) j j − j ≤ ≤ ZΩ Z∂Ω ZΩ and all u,v in H1(Ω). Often, as here, γ is omitted in boundary integrals. The region Ω is said to satisfy a compact trace theorem provided the trace mapping γ : H1(Ω) L2(∂Ω,dσ) is compact.
Recommended publications
  • Genius Manual I
    Genius Manual i Genius Manual Genius Manual ii Copyright © 1997-2016 Jiríˇ (George) Lebl Copyright © 2004 Kai Willadsen Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License (GFDL), Version 1.1 or any later version published by the Free Software Foundation with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. You can find a copy of the GFDL at this link or in the file COPYING-DOCS distributed with this manual. This manual is part of a collection of GNOME manuals distributed under the GFDL. If you want to distribute this manual separately from the collection, you can do so by adding a copy of the license to the manual, as described in section 6 of the license. Many of the names used by companies to distinguish their products and services are claimed as trademarks. Where those names appear in any GNOME documentation, and the members of the GNOME Documentation Project are made aware of those trademarks, then the names are in capital letters or initial capital letters. DOCUMENT AND MODIFIED VERSIONS OF THE DOCUMENT ARE PROVIDED UNDER THE TERMS OF THE GNU FREE DOCUMENTATION LICENSE WITH THE FURTHER UNDERSTANDING THAT: 1. DOCUMENT IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, WITHOUT LIMITATION, WARRANTIES THAT THE DOCUMENT OR MODIFIED VERSION OF THE DOCUMENT IS FREE OF DEFECTS MERCHANTABLE, FIT FOR A PARTICULAR PURPOSE OR NON-INFRINGING. THE ENTIRE RISK AS TO THE QUALITY, ACCURACY, AND PERFORMANCE OF THE DOCUMENT OR MODIFIED VERSION OF THE DOCUMENT IS WITH YOU.
    [Show full text]
  • Convergence of Complete Ricci-Flat Manifolds Jiewon Park
    Convergence of Complete Ricci-flat Manifolds by Jiewon Park Submitted to the Department of Mathematics in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Mathematics at the MASSACHUSETTS INSTITUTE OF TECHNOLOGY May 2020 © Massachusetts Institute of Technology 2020. All rights reserved. Author . Department of Mathematics April 17, 2020 Certified by. Tobias Holck Colding Cecil and Ida Green Distinguished Professor Thesis Supervisor Accepted by . Wei Zhang Chairman, Department Committee on Graduate Theses 2 Convergence of Complete Ricci-flat Manifolds by Jiewon Park Submitted to the Department of Mathematics on April 17, 2020, in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Mathematics Abstract This thesis is focused on the convergence at infinity of complete Ricci flat manifolds. In the first part of this thesis, we will give a natural way to identify between two scales, potentially arbitrarily far apart, in the case when a tangent cone at infinity has smooth cross section. The identification map is given as the gradient flow of a solution to an elliptic equation. We use an estimate of Colding-Minicozzi of a functional that measures the distance to the tangent cone. In the second part of this thesis, we prove a matrix Harnack inequality for the Laplace equation on manifolds with suitable curvature and volume growth assumptions, which is a pointwise estimate for the integrand of the aforementioned functional. This result provides an elliptic analogue of matrix Harnack inequalities for the heat equation or geometric flows. Thesis Supervisor: Tobias Holck Colding Title: Cecil and Ida Green Distinguished Professor 3 4 Acknowledgments First and foremost I would like to thank my advisor Tobias Colding for his continuous guidance and encouragement, and for suggesting problems to work on.
    [Show full text]
  • Elementary Applications of Fourier Analysis
    ELEMENTARY APPLICATIONS OF FOURIER ANALYSIS COURTOIS Abstract. This paper is intended as a brief introduction to one of the very first applications of Fourier analysis: the study of heat conduction. We derive the steady state equation, which serves as our motivating PDE, and then iden- tify solutions to two fundamental scenarios: the first, a heat distribution on a circle; the second, one on a rod. In doing all of this there is much more room for depth that simply isn't explored for brevity's sake. A more comprehensive paper could explicitly define what constitutes a good kernel, the limitations of convergence of the Fourier transform, and different ways to circumvent these limitations. Theoretically, there's room to explore harmonic functions explic- itly, as well as Hilbert spaces and the L2 space. That would be the more analytic route to take; on the other hand there are many fascinating applica- tions that aren't broached either. In math, application is nearly synonymous with PDEs, and as far as partial differential equations are concerned, the most important feature that the Fourier transform has is the property of exchanging differentiation for multiplication. This property is really what makes bothering with the Fourier transforms of most functions worth it at all. Another equally important property of Fourier transforms is called scaling, which, in physics, directly leads to a concept called the Heisenberg Uncertainty Principle, which, like the whole of quantum physics, is very good at bothering people. Contents 1. Introduction 1 2. The heat equation 2 3. The Steady-state equation and the Laplacian 3 4.
    [Show full text]
  • Uniformization of Riemann Surfaces
    CHAPTER 3 Uniformization of Riemann surfaces 3.1 The Dirichlet Problem on Riemann surfaces 128 3.2 Uniformization of simply connected Riemann surfaces 141 3.3 Uniformization of Riemann surfaces and Kleinian groups 148 3.4 Hyperbolic Geometry, Fuchsian Groups and Hurwitz’s Theorem 162 3.5 Moduli of Riemann surfaces 178 127 128 3. UNIFORMIZATION OF RIEMANN SURFACES One of the most important results in the area of Riemann surfaces is the Uni- formization theorem, which classifies all simply connected surfaces up to biholomor- phisms. In this chapter, after a technical section on the Dirichlet problem (solutions of equations involving the Laplacian operator), we prove that theorem. It turns out that there are very few simply connected surfaces: the Riemann sphere, the complex plane and the unit disc. We use this result in 3.2 to give a general formulation of the Uniformization theorem and obtain some consequences, like the classification of all surfaces with abelian fundamental group. We will see that most surfaces have the unit disc as their universal covering space, these surfaces are the object of our study in 3.3 and 3.5; we cover some basic properties of the Riemaniann geometry, §§ automorphisms, Kleinian groups and the problem of moduli. 3.1. The Dirichlet Problem on Riemann surfaces In this section we recall some result from Complex Analysis that some readers might not be familiar with. More precisely, we solve the Dirichlet problem; that is, to find a harmonic function on a domain with given boundary values. This will be used in the next section when we classify all simply connected Riemann surfaces.
    [Show full text]
  • Lectures on Partial Differential Equations
    Lectures on Partial Differential Equations Govind Menon1 Dec. 2005 Abstract These are my incomplete lecture notes for the graduate introduction to PDE at Brown University in Fall 2005. The lectures on Laplace’s equation and the heat equation are included here. Typing took too much work after that. I hope what is here is still useful. Andreas Kl¨ockner’s transcript of the remaining lectures is also posted on my website. Those however have not been proofread. Comments are wel- come by email. Contents 1 Laplace’s equation 3 1.1 Introduction............................ 3 1.1.1 Minimal surfaces and Laplace’s equation . 3 1.1.2 Fields and Laplace’s equation . 5 1.1.3 Motivation v. Results . 5 1.2 Notation.............................. 5 1.3 Themeanvalueinequality. 6 1.4 Maximumprinciples ....................... 8 1.5 Thefundamentalsolution . 10 1.6 Green’s function and Poisson’s integral formula . 13 1.7 The mean value property revisited . 17 1.8 Harmonic functions are analytic . 17 1.9 Compactness and convergence . 21 1.10 Perron’s method for the Dirichlet problem . 22 1.11 Energy methods and Dirichlet’s principle . 26 1.12 Potentials of measures . 28 1.13 Lebesgue’sthorn .. .. .. .. .. .. .. 30 1.14 The potential of a compact set . 33 1.15 Capacity of compact sets . 37 1 2 1.16 Variational principles for capacity . 39 2 The heat equation 43 2.1 Motivation ............................ 43 2.2 Thefundamentalsolution . 43 2.3 Uniquenessofsolutions . 47 2.4 Theweakmaximumprinciple . 48 2.5 Themeanvalueproperty . 49 2.6 Thestrongmaximumprinciple . 53 2.7 Differenceschemes . .. .. .. .. .. .. 54 2.8 Randomwalks .......................... 56 2.9 Brownianmotion ........................
    [Show full text]
  • The Operator-Valued Poisson Kernel and Its Applications
    Irish Math. Soc. Bulletin 51 (2003), 21–44 21 The Operator-valued Poisson Kernel and its Applications ISABELLE CHALENDAR 1. Introduction Let H be a complex Hilbert space and let L(H) denote the algebra of all linear and bounded mappings from H to H. For T 2 L(H), its spectrum σ(T ) is the nonempty compact subset of C consisting of all ¸ 2 C such that T ¡ ¸Id is non-invertible in L(H). Its point spectrum σp(T ) is the (possibly empty) subset of σ(T ) consisting of those ¸ 2 C such that ker (T ¡ ¸Id) 6= f0g. We write D for the open unit disc in C, and T for the unit circle. The spaces Lp = Lp(T), 1 · p · 1 are the usual Lebesgue function spaces relative to nor- malized Lebesgue measure on T. 2 2 As usual, we define theP Hardy space H = H (D) as the space of all functions f : z 7! 1 a zn for which the norm kfk = ¡ ¢ n=0 n P1 2 1=2 2 n=0 janj is finite. It is well known that H (D) may be re- garded isometrically as a closed subspace H2(T) of L2 [31, 25], by identifying the Taylor coefficients of f with the Fourier coefficients of an L2(T) function. The Hardy space H1 is the set of bounded and analytic functions on D, which is isometrically isomorphic to H1(T) := ff 2 L1(T): fˆ(n) = 0; n < 0g via the mapping that 1 takes a function into its radial limit.
    [Show full text]
  • Notes on Distributions
    Notes on Distributions Peter Woit Department of Mathematics, Columbia University [email protected] April 26, 2020 1 Introduction This is a set of notes written for the 2020 spring semester Fourier Analysis class, covering material on distributions. This is an important topic not covered in Stein-Shakarchi. These notes will supplement two textbooks you can consult for more details: A Guide to Distribution Theory and Fourier Transforms [2], by Robert Strichartz. The discussion of distributions in this book is quite compre- hensive, and at roughly the same level of rigor as this course. Much of the motivating material comes from physics. Lectures on the Fourier Transform and its Applications [1], by Brad Os- good, chapters 4 and 5. This book is wordier than Strichartz, has a wealth of pictures and motivational examples from the field of signal processing. The first three chapters provide an excellent review of the material we have covered so far, in a form more accessible than Stein-Shakarchi. One should think of distributions as mathematical objects generalizing the notion of a function (and the term \generalized function" is often used inter- changeably with \distribution"). A function will give one a distribution, but many important examples of distributions do not come from a function in this way. Some of the properties of distributions that make them highly useful are: Distributions are always infinitely differentiable, one never needs to worry about whether derivatives exist. One can look for solutions of differential equations that are distributions, and for many examples of differential equations the simplest solutions are given by distributions.
    [Show full text]
  • An Improved Riemann Mapping Theorem and Complexity In
    AN IMPROVED RIEMANN MAPPING THEOREM AND COMPLEXITY IN POTENTIAL THEORY STEVEN R. BELL Abstract. We discuss applications of an improvement on the Riemann map- ping theorem which replaces the unit disc by another “double quadrature do- main,” i.e., a domain that is a quadrature domain with respect to both area and boundary arc length measure. Unlike the classic Riemann Mapping Theo- rem, the improved theorem allows the original domain to be finitely connected, and if the original domain has nice boundary, the biholomorphic map can be taken to be close to the identity, and consequently, the double quadrature do- main close to the original domain. We explore some of the parallels between this new theorem and the classic theorem, and some of the similarities between the unit disc and the double quadrature domains that arise here. The new results shed light on the complexity of many of the objects of potential theory in multiply connected domains. 1. Introduction The unit disc is the most famous example of a “double quadrature domain.” The average of an analytic function on the disc with respect to both area measure and with respect to boundary arc length measure yield the value of the function at the origin when these averages make sense. The Riemann Mapping Theorem states that when Ω is a simply connected domain in the plane that is not equal to the whole complex plane, a biholomorphic map of Ω to this famous double quadrature domain exists. We proved a variant of the Riemann Mapping Theorem in [16] that allows the domain Ω = C to be simply or finitely connected.
    [Show full text]
  • 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).
    [Show full text]
  • A Computation of Poisson Kernels for Some Standard Weighted Biharmonic Operators in the Unit Disc
    A COMPUTATION OF POISSON KERNELS FOR SOME STANDARD WEIGHTED BIHARMONIC OPERATORS IN THE UNIT DISC ANDERS OLOFSSON Abstract. We compute Poisson kernels for integer weight parameter stan- dard weighted biharmonic operators in the unit disc with Dirichlet boundary conditions. The computations performed extend the supply of explicit exam- ples of such kernels and suggest similar formulas for these Poisson kernels to hold true in more generality. Computations have been carried out using the open source computer algebra package Maxima. 0. Introduction We address in this paper the problem of finding explicit formulas for Poisson kernels for weighted biharmonic operators of the form ∆w−1∆ in the unit disc D with Dirichlet boundary conditions, where ∆ = @2=@z@z¯, z = x + iy, is the Laplacian in the complex plane and w = wγ is a weight function of the form 2 γ wγ (z) = (1 − jzj ) ; z 2 D; for some real parameter γ > −1. Such a weight function wγ is commonly referred to as a standard weight. Let us first describe the context of these Poisson kernels. Let w : D ! (0; 1) be a smooth radial weight function and consider the weighted biharmonic Dirichlet problem ∆w−1∆u = 0 in D; (0.1) 8 u = f0 on T; < @nu = f1 on T: Here T = @D is the unit circle: and @n denotes differentiation in the inward normal direction. The first equation in (0.1), the biharmonic equation ∆w−1∆u = 0, is evaluated in the distributional sense and defines a class of functions which we 0 call w-biharmonic. In full generality the boundary datas fj 2 D (T) (j = 0; 1) are distributions on T and the boundary conditions in (0.1) are interpreted in a 0 distributional sense as follows: Let u be a smooth function in D and let f0 2 D (T).
    [Show full text]
  • A Concise Course in Complex Analysis and Riemann Surfaces Wilhelm Schlag
    A concise course in complex analysis and Riemann surfaces Wilhelm Schlag Contents Preface v Chapter 1. From i to z: the basics of complex analysis 1 1. The field of complex numbers 1 2. Differentiability and conformality 3 3. M¨obius transforms 7 4. Integration 12 5. Harmonic functions 19 6. The winding number 21 7. Problems 24 Chapter 2. From z to the Riemann mapping theorem: some finer points of basic complex analysis 27 1. The winding number version of Cauchy’s theorem 27 2. Isolated singularities and residues 29 3. Analytic continuation 33 4. Convergence and normal families 36 5. The Mittag-Leffler and Weierstrass theorems 37 6. The Riemann mapping theorem 41 7. Runge’s theorem 44 8. Problems 46 Chapter 3. Harmonic functions on D 51 1. The Poisson kernel 51 2. Hardy classes of harmonic functions 53 3. Almost everywhere convergence to the boundary data 55 4. Problems 58 Chapter 4. Riemann surfaces: definitions, examples, basic properties 63 1. The basic definitions 63 2. Examples 64 3. Functions on Riemann surfaces 67 4. Degree and genus 69 5. Riemann surfaces as quotients 70 6. Elliptic functions 73 7. Problems 77 Chapter 5. Analytic continuation, covering surfaces, and algebraic functions 79 1. Analytic continuation 79 2. The unramified Riemann surface of an analytic germ 83 iii iv CONTENTS 3. The ramified Riemann surface of an analytic germ 85 4. Algebraic germs and functions 88 5. Problems 100 Chapter 6. Differential forms on Riemann surfaces 103 1. Holomorphic and meromorphic differentials 103 2. Integrating differentials and residues 105 3.
    [Show full text]
  • Hilbert Space Embeddings and Metrics on Probability Measures
    JournalofMachineLearningResearch11(2010)1517-1561 Submitted 8/09; Revised 3/10; Published 4/10 Hilbert Space Embeddings and Metrics on Probability Measures Bharath K. Sriperumbudur [email protected] Department of Electrical and Computer Engineering University of California, San Diego La Jolla, CA 92093-0407, USA Arthur Gretton∗ [email protected] MPI for Biological Cybernetics Spemannstraße 38 72076, Tubingen,¨ Germany Kenji Fukumizu [email protected] The Institute of Statistical Mathematics 10-3 Midori-cho, Tachikawa Tokyo 190-8562, Japan Bernhard Scholkopf¨ [email protected] MPI for Biological Cybernetics Spemannstraße 38 72076, Tubingen,¨ Germany Gert R. G. Lanckriet [email protected] Department of Electrical and Computer Engineering University of California, San Diego La Jolla, CA 92093-0407, USA Editor: Ingo Steinwart Abstract A Hilbert space embedding for probability measures has recently been proposed, with applications including dimensionality reduction, homogeneity testing, and independence testing. This embed- ding represents any probability measure as a mean element in a reproducing kernel Hilbert space (RKHS). A pseudometric on the space of probability measures can be defined as the distance be- tween distribution embeddings: we denote this as γk, indexed by the kernel function k that defines the inner product in the RKHS. We present three theoretical properties of γk. First, we consider the question of determining the conditions on the kernel k for which γk is a metric: such k are denoted characteristic kernels. Un- like pseudometrics, a metric is zero only when two distributions coincide, thus ensuring the RKHS embedding maps all distributions uniquely (i.e., the embedding is injective). While previously pub- lished conditions may apply only in restricted circumstances (e.g., on compact domains), and are difficult to check, our conditions are straightforward and intuitive: integrally strictly positive defi- nite kernels are characteristic.
    [Show full text]