DOCSLIB.ORG

Classical Spaces of Holomorphic Functions

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Classical Spaces of Holomorphic Functions CLASSICAL SPACES OF HOLOMORPHIC FUNCTIONS MARCO M. PELOSO Contents 1. Hardy Spaces on the Unit Disc 1 1.1. Review from complex analysis 1 1.2. Hardy spaces 5 1.3. Harmonic Hardy classes 7 1.4. Fatou's theorem 9 1.5. The zero sets of functions in Hp 13 1.6. Boundary behaviour of functions in Hardy spaces 16 1.7. The Cauchy–Szeg¨oprojection 19 2. Bergman spaces on the unit disc 22 2.1. Function spaces with reproducing kernel 22 2.2. The Bergman spaces 25 2.3. Biholomorphic invariance 28 2.4. Lp-boundedness of a family of integral operators 29 2.5. The Bergman kernel and projection on the unit disc 33 3. The Paley{Weiner and Bernstein spaces 35 3.1. The Fourier transform 35 3.2. The Paley{Wiener theorems 40 3.3. The Paley{Wiener spaces 45 3.4. The Bernstein spaces 49 4. Function theory on the upper half plane 51 4.1. Hardy spaces on the upper-half plane 51 4.2. Factorization and boundary behaviour of functions in Hp(U). 54 4.3. H2 and the Paley{Wiener theorem revisited 55 4.4. H1, the atomic decomposition and the space of bounded mean oscillations 55 4.5. Weighted Bergman spaces on the upper-half plane 55 4.6. The Paley{Wiener theorem for Bergman spaces 55 5. Further topics 56 5.1. Hardy spaces on tube domains in Cn 56 5.2. Weighted Bergman spaces on the unit ball in Cn 56 5.3. The Cauchy integral along Lipschitz curves 56 5.4. Real variable Hardy spaces 56 5.5. Hankel and Toeplitz operators 56 References 56 Appunti per il corso Argomenti Avanzati di Analisi Complessa per i Corsi di Laurea in Matematica dell'Universit`adi Milano, a.a. 2011/12. { November 12, 2011. SPACES OF HOLOMORPHIC FUNCTIONS 1 In these notes we consider spaces of holomorphic functions defined on domains of the complex plane or, toward the end of the notes, on domains of the n-dimensional complex space Cn. We begin with the Hardy spaces on the unit disc. 1. Hardy Spaces on the Unit Disc 1.1. Review from complex analysis. Let C denote the field of complex numbers z = x + iy, where x; y 2 R are the real and imaginary part, respectively, of z. We will denote by D the unit disc, that is, D = z 2 C : jzj < 1 : Here and in what follows, we will denote by D(z0; r) the disc centered at z0 2 C and radius r > 0; we will sometimes abbreviate Dr to denote the disc D(0; r). If f is holomorphic on D then it can be written as sum of a converging power series +1 X k f(z) = akz : k=0 From Cauchy's formula we know that, if γ is a simple closed curve contained in D and z lies in the interior of γ (which is a well-defined domain by the Jordan curve theorem), then 1 Z f(ζ) f(z) = dζ : 2πi γ ζ − z If the function f is actually holomorphic in a slightly larger disc DR with R > 1, then we may take the unit circonference @D as curve of integration and obtain 1 Z f(ζ) f(z) = dζ ; 2πi @D ζ − z for all z 2 D. One of the main themes of this course is trying to recover the holomorphic function f (in a given class) from its boundary values, once these values are suitably defined. Setting z = reiη, we rewrite the above identity as Z 2π iθ iη 1 iθ e f(re ) = f(e ) iθ iη dθ 2π 0 e − re 1 Z 2π 1 = f(eiθ) dθ i(η−θ) 2π 0 1 − re Z 2π 1 i(η−θ) 1 = f(e ) iθ dθ ; (1.1) 2π 0 1 − re using the periodicity of the exponential. Notice that +1 1 X = rneinθ 1 − reiθ n=0 iθ =: Cr(e ) ; (1.2) iθ where Cr(e ) is the Cauchy kernel (thought of as a convolution kernel, see (1.4) below). 2 M. M. PELOSO Therefore, using the uniform convergence on compact subsets of D of the power series, we have that (1.1) gives the identity +1 X 1 Z 2π f(reiη) = rn f(eiθ)ein(η−θ) dθ 2π n=0 0 +1 X 1 Z 2π = rneinη f(eiθ)e−inθ dθ : (1.3) 2π n=0 0 We recall that the unit circle @D = fζ 2 C : ζ = eiθg inherits the multiplicative structure from C and it is homeomorphic (as a topological group) to the interval [−π; π] (or any interval of length 2π) once we identify the two end points of the interval. This group T = R=2πZ is called the torus. Of course, the identification between T and @D is given by the mapping t 7! eit. Given f; g 2 L1(T) (where, we recall, T is identified with the unit circle) the convolution on T is defined as 1 Z 2π f ∗ g(eiη) = f(eiθ)g(ei(η−θ)) dθ : (1.4) 2π 0 Therefore, the identity (1.1) can be expressed as convolution on the group T as iη iη f(re ) = (f ∗ Cr)(e ) : (1.5) Moreover, in (1.3) we recognize the n-th Fourier coefficient of the restriction of f on the unit circle @D (function that, at this stage, is assumed to be continuous) 1 Z 2π f^(n) = f(eiθ)e−inθ dθ : 2π 0 It is clear that in order to define the Fourier coefficients is sufficient to assume that f is an L1-function on the unit circle. Another integral formula, with its relative integral kernel, that will play a key role in these notes is the Poisson reproducing formula for the unit disc D 1 Z 2π 1 − r2 u(reiη) = u(eiθ) dθ i(η−θ) 2 2π 0 j1 − re j = (Pu)(reiη) ; (1.6) where u is a function harmonic in a domain containing D and 0 < r < 1. The operator P is called the Poisson operator and Pu the Poisson integral of the function u defined on the unit circle. More generally, the solution of the Dirichlet problem on the unit D (see [CA-notes]) shows that if we start with a continuous function g on the unit circle @D, the function u := Pg is harmonic in D, continuous on the closure of the unit disc and coincides with g on the unit circle. It is worth to observe that Pg is well defined for all g 2 L1(T) and that Pg is a harmonic function in D. One of the main questions that we are going to address is if, and in which sense, the function Pg admits boundary values and, in this case, if such values coincide with the function g. In SPACES OF HOLOMORPHIC FUNCTIONS 3 other words, a classical question is whether the Dirichlet problem (for the Laplacian on the unit disc) ( ∆f = 0 on D (1.7) f = g on @D ; where g 2 Lp(@D) is an assigned function, 1 ≤ p < 1, admits a solution and in what sense the solution f admits g as values on the boundary. As in the case of the reproducing formula (1.5) we may think of the Poisson integral as a convolution integral operator on T by writing 1 − r2 P (eiθ) = ; (1.8) r j1 − reiθj2 so that the Poisson integral of a function g 2 L1(T) is defined by the formula 1 Z 2π 1 − r2 (Pg)(reiη) = g(eiθ) dθ = (P ∗ g)(eiη) : (1.9) i(η−θ) 2 r 2π 0 j1 − re j In complex analysis we were used to think of the Poisson kernel, that we denote temporarely iθ iη iθ as P~z(e ) as a function of the variables z = re 2 D and e 2 @D, where 1 − r2 1 − r2 P~ (eiθ) = = (1.10) z jeiθ − reiηj2 j1 − rei(η−θ)j2 1 − r2 = : (1.11) 1 − 2r cos(θ − η) + r2 In the current setting it is more convenient to think of the Poisson kernel as a family of iη functions fPrg defined on the torus T, hence depending on the variable e , and of the Poisson integral of a function g as the convolution of g with Pr, as in (1.9). According to this point of view, the collection of functions fPrg0<r<1 on T is a summability kernel (or a approximation of the identity), A family of functions fΦtgt>0 is called a summability kernel if they satisfy the following properties: Z 2π 1 iθ (1) Φt(e ) dθ = 1 for t > 0; 2π 0 (2) kΦtkL1 ≤ C with C independent of t; Z iθ (3) for every δ > 0, lim jΦt(e )j dθ = 0. t!+1 δ≤|θ|≤π p We recall that if fΦtgt>0 is a summability kernel on T and g 2 L (T), 1 ≤ p < 1, then p Φt ∗ g ! g in the L -norm, and that if g 2 C(T), then Φt ∗ g ! g in the sup-norm. We collect here the basic properties of the Poisson kernel and integral. iη iη iη Proposition 1.1. The function P (re ) = Pr(e ) is harmonic in D as function of z = re and Z 2π 1 iη Pr(e ) dη = 1 2π 0 for all 0 < r < 1. Moreover, as collection fPrg of functions on T we have (i) for 1 ≤ p < 1, kf ∗ PrkLp ≤ kfkLp ; (ii) for 1 ≤ p < 1, limr!1− kf ∗ Pr − fkLp = 0; 4 M.
Load more

Recommended publications
  • Fourier Spectrum Characterizations of Clifford $ H^{P} $ Spaces on $\Mathbf {R}^{N+ 1} + $ for $1\Leq P\Leq\Infty$
    p n+1 Fourier Spectrum of Clifford H Spaces on R+ for 1 ≤ p ≤ ∞ Pei Dang, Weixiong Mai,∗ Tao Qian Abstract This article studies the Fourier spectrum characterization of func- p n+1 tions in the Clifford algebra-valued Hardy spaces H (R+ ), 1 ≤ p ≤ ∞. Namely, for f ∈ Lp(Rn), Clifford algebra-valued, f is further the non-tangential boundary limit of some function in p n+1 ˆ ˆ H (R+ ), 1 ≤ p ≤ ∞, if and only if f = χ+f, where χ+(ξ) = 1 ξ 2 (1 + i |ξ| ), the Fourier transformation and the above relation are suitably interpreted (for some cases in the distribution sense). These results further develop the relevant context of Alan McIn- tosh. As a particular case of our results, the vector-valued Clifford Hardy space functions are identical with the conjugate harmonic systems in the work of Stein and Weiss. The latter proved the cor- responding singular integral version of the vector-valued cases for 1 ≤ p < ∞. We also obtain the generalized conjugate harmonic systems for the whole Clifford algebra-valued Hardy spaces rather than only the vector-valued cases in the Stein-Weiss setting. Key words: Hardy space, Monogenic Function, Fourier Spectrum, Riesz Transform, Clifford Algebra, Conjugate Harmonic System arXiv:1711.02610v2 [math.CV] 14 Oct 2019 In memory of Alan McIntosh 1 Introduction The classical Paley-Wiener Theorem asserts that for a L2(R)-function f, scalar-valued, it is further the non-tangential boundary limit (NTBL) of a function in the Hardy H2 space in the upper half plane if and only if the Fourier transform of f, denoted by fˆ, satisfies the ˆ ˆ relation f = χ+f, where χ+ is the characteristic (indicator) function of the set (0, ∞), that This work was supported by the Science and Technology Development Fund, Macao SAR: 0006/2019/A1, 154/2017/A3; NSFC Grant No.
    [Show full text]
  • 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.
    [Show full text]
  • 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]
  • Anisotropic Hardy Spaces and Wavelets
    Anisotropic Hardy Spaces and Wavelets Marcin Bownik Author address: Department of Mathematics, University of Michigan, 525 East Uni- versity Ave., Ann Arbor, MI 48109 E-mail address: [email protected] 1 viii ANISOTROPIC HARDY SPACES AND WAVELETS Abstract In this paper, motivated in part by the role of discrete groups of dilations in wavelet theory, we introduce and investigate the anisotropic Hardy spaces associ- ated with very general discrete groups of dilations. This formulation includes the classical isotropic Hardy space theory of Fefferman and Stein and parabolic Hardy space theory of Calder´on and Torchinsky. Given a dilation A, that is an n n matrix all of whose eigenvalues λ satisfy λ > 1, define the radial maximal function× | | 0 −k −k Mϕf(x) := sup (f ϕk)(x) , where ϕk(x)= det A ϕ(A x). k∈Z | ∗ | | | Here ϕ is any test function in the Schwartz class with ϕ =0. For 0 <p< we p 6 ∞ introduce the corresponding anisotropic Hardy space HA as a space of tempered 0 p n R distributions f such that Mϕf belongs to L (R ). Anisotropic Hardy spaces enjoy the basic properties of the classical Hardy spaces. For example, it turns out that this definition does not depend on the choice of the test function ϕ as long as ϕ = 0. These spaces can be equivalently introduced in terms of grand, tangential, or6 nontangential maximal functions. We prove the Calder´on-Zygmund decompositionR which enables us to show the atomic p decomposition of HA. As a consequence of atomic decomposition we obtain the p description of the dual to HA in terms of Campanato spaces.
    [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]
  • Additive Invariants on the Hardy Space Over the Polydisc
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Journal of Functional Analysis 253 (2007) 359–372 www.elsevier.com/locate/jfa Additive invariants on the Hardy space over the polydisc Xiang Fang 1 Department of Mathematics, Kansas State University, Manhattan, KS 64502, USA Received 21 March 2007; accepted 29 August 2007 Available online 10 October 2007 Communicated by G. Pisier Abstract In recent years various advances have been made with respect to the Nevanlinna–Pick kernels, especially on the symmetric Fock space, while the development on the Hardy space over the polydisc is relatively slow. In this paper, several results known on the symmetric Fock space are proved for the Hardy space over the polydisc. The known proofs on the symmetric Fock space make essential use of the Nevanlinna–Pick properties. Specifically, we study several integer-valued numerical invariants which are defined on an arbitrary in- variant subspace of the vector-valued Hardy spaces over the polydisc. These invariants include the Samuel multiplicity, curvature, fiber dimension, and a few others. A tool used to overcome the difficulty associated with non-Nevanlinna–Pick kernels is Tauberian theory. Published by Elsevier Inc. Keywords: Hardy space, polydisc; Samuel multiplicity; Curvature; Fiber dimension; Defect operator 0. Introduction and the main results The purpose of this paper is to prove several theorems on the Hardy space H 2(Dn) over the polydisc, whose symmetric Fock space versions are known, but the proofs rely on the properties of Nevanlinna–Pick kernels. In particular, our results allow one to formulate a theory of curvature invariant on H 2(Dn) in parallel to that on the symmetric Fock space [4].
    [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]
  • Hardy Spaces, Bmo, and Boundary Value Problems for the Laplacian on a Smooth Domain in Rn
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 351, Number 4, April 1999, Pages 1605{1661 S 0002-9947(99)02111-X HARDY SPACES, BMO, AND BOUNDARY VALUE PROBLEMS FOR THE LAPLACIAN ON A SMOOTH DOMAIN IN RN DER-CHEN CHANG, GALIA DAFNI, AND ELIAS M. STEIN Abstract. We study two different local Hp spaces, 0 <p 1, on a smooth ≤ domain in Rn, by means of maximal functions and atomic decomposition. We prove the regularity in these spaces, as well as in the corresponding dual BMO spaces, of the Dirichlet and Neumann problems for the Laplacian. 0. Introduction Let Ω be a bounded domain in Rn, with smooth boundary. The Lp regularity of elliptic boundary value problems on Ω, for 1 <p< , is a classical result in the theory of partial differential equations (see e.g. [ADN]).∞ In the situation of the whole space without boundary, i.e. where Ω is replaced by Rn, the results for Lp, 1 <p< , extend to the Hardy spaces Hp when 0 <p 1 and to BMO. Thus it is a natural∞ question to ask whether the Lp regularity of≤ elliptic boundary value problems on a domain Ω has an Hp and BMO analogue, and what are the Hp and BMO spaces for which it holds. This question was previously studied in [CKS], where partial results were ob- p p tained and were framed in terms of a pair of spaces, hr(Ω) and hz(Ω). These spaces, variants of those defined in [M] and [JSW], are, roughly speaking, the “largest” and “smallest” hp spaces that can be associated to a domain Ω.
    [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]