Kdv Solitons Via Inverse Scattering by G

Total Page:16

File Type:pdf, Size:1020Kb

Kdv Solitons Via Inverse Scattering by G Appendix A KdV Solitons via Inverse Scattering by G. E. Sarty The inverse scattering method for finding soliton solutions of the KdV equa­ tion as presented in Section 4.2 can be automated with the symbolic manipula­ tion program Mathematica (and probably by other such programs as well). At the end of this appendix is a Mathematica routine that will generate n-soliton solutions for the KdV equation Ut - 6UUx + Uxxx = 0 subject to the initial condition of U(x, t = 0) = -n(n + 1)sech2(x). To use the program (assuming you have purchased Mathematica), type the code as given into a file called "invskat.m". Then start up Mathematica and type «invskat .m. This loads the soliton generation code. Then to generate, say, a 2-soliton solution type soliton [2] ; or soli ton [3] for a 3-soliton solu­ tion, etc. The solution is then returned as the function u[x_. tJ. The code 277 278 Appendix A. KdV Solitons via Inverse Scattering has been tested for up to 6 solitons and no attempt has been made to simplify the answer to any extentj it is given in terms of exponential functions. The program of Appendix B simplifies answers in terms of hyperbolic trigonometric functions which gives a neater looking final result. The logic of the program follows that given in Chapter 4 and comments in the code explain the steps followed. We give a brief elaboration here of the steps. First we must use the result that the eigenfunctions of the linear Schrodinger equation at t = 0 for the initial data under our consideration are the associated Legendre functions in the variable e = tanh(z). Symbolically, we write the associated Legendre functions as p;:'(e) where n is the number of solitons sought and 1 ~ m ~ n. (In the code, LegendreP[n.m.Tanh[x]] is P;:'(tanh(z)).) It is known that 1 [pm(e)]2 ~ = .!. (n + m)! 1-1 n 1 - e2 m (n - m)! and this is used to normalize the eigenfunction <Pm(z) = P;:'(tanh(z)) to <Pm(z) = (~~-:)t <pm(z) (which is Phi [m.x] in the code). Next, Cm (0) is calculated as Co [m] in the program. Since Mathematica has trouble doing infinite limits for complicated expressions involving hyperbolic trigonometric functions, some substitutions are done that mimic the calculation as it would be done manually. With Cm(O) in hand, Cm(t), written as Cm[m. t] in the code, can be easily calculated by a formula in Theorem 4.2. Now the kernel function B(e, t), written as B[y_. tJ, can be determined using the fact that R(k, t) = O. The program is now ready to solve the Gelfand­ Levitan equation for K(z, Yj t) using the method of separation of variables. That is, we assume that n K(z,Yjt) = L Lm(z,t)e-k ",11 m=l where K(z,Yjt) is K[x_.y_.tJ and Lm(z,t) is L[m] at this point in the pro­ gram. Note that km = m in our case. The expression for K(z, Yj t) is sub­ stituted into the Gelfand-Levitan equation ( GL in the code). Terms involving e-k ",11 for 1 ~ m ~ n are separated out. That being done, the coefficient functions Lm(z,t) and hence K(z,Yjt) can be solved for algebraically. Finally, the solution is calculated as {) U(z, t) = -2 {)z K(z, Zj t). The symbolic program written in Mathematica is given below: 279 ( ....................................................................... .) (. .) (. • IIVSKAT." -- A "athematica soliton generator. This •• ) (.. package contains subroutines that generate n-soliton solutions •• ) (.. ~or the KdV equation: •• ) (. .) (. • U - 6 U U + U = 0 •• ) (. • t x xxx •• ) (. ..) (. • subject to the initial condition •• ) (. • 2 •• ) (. • U(x,t=O) = -n(n+1) sech [x]. • .) (. ..) (. • The inverse scattering method and the Gel~and-Levitan •• ) (. • equation is used. • .) (. • Programmed by: •• ) (. • G. Sarty, July 1992 •• ) (. ..) ( ........................................................................ ) invskat: : usage = "The package invskat.m returns n soli ton solutions to the standard KdV equation subject to the initial condition U(x,t=O) = -n(n+1) sech[x]·2 using the inverse scattering method. For more in~ormation, type '?soliton." soliton: :usage = "soliton[n] will return an n soliton solution to the standard KdV equation where n is an integer." sOliton[n_Integer] := Block[{m,Phi,Co,Cm,B,K,L,GL,y,eqn,k}, I~[ n <= 0, Return["Use a positive integer."] ]; (. define normalized eigen~unctions: .) Do[ Phi[m,x] = (-1)·m Sqrt[ m(n-m)!/(n+m)! ] LegendreP[n,m,Tanh[x]]; Phi[m,x] = Factor[Phi[m,x]]; Phi[m,x] = Phi[m,x] II. {(1 - u_) (1 + u_) -> (1 - u·2), (-1 + u_) (1 + u_) -> - (1 - u·2), (1 - u_)·k_ (1 + u_)·k_ -> (1 - u·2)·k, (-1 + u_)·k_ (1 + u_)·k_ -> - (1 - u·2)·k}; Phi[m,x] Phi[m,x] II. {(1 - Tanh[x_]·2) -> Sech[x]·2, (-1 + Tanh[x_]·2) -> -Sech[x]·2, (1 - Tanh[x_]·2)·(k_/2) -> Sech[x]·k, (-1 + Tanh[x_]·2)·(k_/2) -> -Sech[x]·k, (1 - Tanh[x_]·2)·k_ -> Sech[x]·(2 k), (-1 + Tanh[x_]·2)·k_ -> -Sech[x]·(2 k)}; Phi[m,x] = PowerExpand[Phi[m,x]], {m,1,n,1}] ; (. de~ine Cm(O) .) Do[ Co[m] Phi[m,x] E·(m x); Co[m] Co[m] II. Sech[x] -> 2/(E·x + E·(-x»; Co[m] Co[m] II. Tanh[x] -> 1; Co[m] = ExpandAII[Co[m]]; 280 Appendix A. KdV Solitons via Inverse Scattering top = lumerator[Co[m]]/E-(m x); bot • ExpandAll[Denominator[Co[.]]/E-(m x)]; Co[m] = top/bot; Co[m] • Limit[ Co[m] , x -> In£inity], {m,l,n,H] ; Do[ Cm[m,t] = Co[m] E-(4 m-3 t), {m,l,n,H] ; (. de£ine B(y,t) .) Do[ B[y_,t_] := Sum[Cm[m,t]-2 E-(-m y), {m,l,n}], {m,l,n,H] ; (. using separation of variables, define l(x,y;t) .) (. substitute into the Gelfand-Levitan equation .) (. first solving the integral of B[y+z,t] l[x,z,t] from x to in£inity, .) (. vrt z: .) in£int = ExpandA11[B[y+z,t] l[x,z,t]] II. E-(b_ + c_ z) -> -E-(b + c x) / c; GL = l[x,y,t] + B[x+y,t] + infint; (. pullout E-(-km y) terms: .) GL = ExpandA11[GL]; GL = ExpandAll[E-«n+l) y) GL]; Do[ GL = GL II. {E-(h_ + m y) -> y[m] E-h, E-(m y) -> y[m]}, {m,l,n,H] ; Do[ eqn[m] = GL; Do[ I£[k == m,eqn[m]=eqn[m] II. y[k] -> l,eqn[m]=eqn[m] II. y[k] -> 0], {k,l,n,H] , {m,l,n ,H]; (. solve for L[m] .) system = {eqn[l] == O}; vars = {L[1]}; Do[ system = Append [system , eqn[m] == 0]; vars = Append[vars, L[m]] , {m,2,n,l}] ; soln = Solve[system,vars]; (. use L[m] to reconstruct l[x,x,t] .) Do[ l[m] = Together[Expand[Part[Part[Part[soln,l],m],2]]], {m,l,n,H]; 281 k[x_,t_] := Together[Expand[Sum[l[mJ E-(-m x), {m,1,n}]]]; (. finally, calculate the solution, u, of the initial value problem .) Return[u[x_,t_] = Together[Expand[-2 D[k[x,t] ,x]]]] ] Appendix B KdV Solitons via Backlund Transform by G. E. Sarty B.1 Backlund Transform Program Biicklund transform and the nonlinear superposition principle were described in section 4.4. In this subsection, we describe how to use a symbolic computer code to implement the nonlinear superposition principle automatically to find multiple soliton solutions of the initial value problems for the KdV equation. The code is written in Mathematica and given in the later part of this subsec­ tion. Specifically, the code has been designed to calculate soliton solutions to the KdV equation using the initial condition U(z, t = 0) = -n(n+ 1) sech 2 (z). The results of 2-,3-, 4-, 5-, 6-, and 7-soltion solutions computed from this code are presented in sections B.2, B.3, B.4, B.5, B.6 and B.7 respectively. The computer program essentially has two parts. One part is a set of routines that enables specific hyperbolic trigonometric function simplifications to be done. This set of routines is called "hyppac.m" . The other part calculates 283 284 Appendix B. KdV Solitons via Backlund Transform the soliton solutions. These two parts have been put into a package called "solipac.m". It can be used by copying the code into a file called "solipac.m" and entering «solipac.m at the Mathematica prompt. Typing soliton[N] will cause the program to generate an N -soliton solution. One may like to test the code by typing in soliton[l] or soliton[2] to generate 1- and 2-soliton solutions. These calculations take only a few seconds on any workstation. If you desire only to calculate an expression for the soliton ladder, type ladder [N] . After the ladder calculation is completed, if one want to see the cor­ responding soltion, simply type finish. For instance, the command ladder [2] generates a 2-soliton ladder. Then the command finish will generate a 2- soliton solution. The program has been tested up to 7 solitons (the 7-soliton solution took about a week's worth of CPU time on a SUN Sparcstation 1+ (1991)). The hyperbolic function routines are pretty much self-explanatory with the locally defined hyperbolic functions being designated with small first letters (e.g. sinh, cosh) to avoid confusion with Mathematica's definitions (Sinh, Cosh, etc.). The soliton calculation itself proceeds by calculation of the the func­ tions Wen) via the nonlinear superposition principle derived using the Backlund transform in section 4.4.
Recommended publications
  • A Very Short Survey on Boundary Behavior of Harmonic Functions
    A VERY SHORT SURVEY ON BOUNDARY BEHAVIOR OF HARMONIC FUNCTIONS BLACK Abstract. This short expository paper aims to use Dirichlet boundary value problem to elab- orate on some of the interactions between complex analysis, potential theory, and harmonic analysis. In particular, I will outline Wiener's solution to the Dirichlet problem for a general planar domain using harmonic measure and prove some elementary results for Hardy spaces. 1. Introduction Definition 1.1. Let Ω Ă R2 be an open set. A function u P C2pΩ; Rq is called harmonic if B2u B2u (1.1) ∆u “ ` “ 0 on Ω: Bx2 By2 The notion of harmonic function can be generalized to any finite dimensional Euclidean space (or on (pseudo)Riemannian manifold), but the theory enjoys a qualitative difference in the planar case due to its relation to the magic properties of functions of one complex variable. Think of Ω Ă C (in this paper I will use R2 and C interchangeably when there is no confusion). Then the Laplace operator takes the form B B B 1 B B B 1 B B (1.2) ∆ “ 4 ; where “ ´ i and “ ` i : Bz¯ Bz Bz 2 Bx By Bz¯ 2 Bx By ˆ ˙ ˆ ˙ Let HolpΩq denote the space of holomorphic functions on Ω. It is easy to see that if f P HolpΩq, then both <f and =f are harmonic functions. Conversely, if u is harmonic on Ω and Ω is simply connected, we can construct a harmonic functionu ~, called the harmonic conjugate of u, via Hilbert transform (or more generally, B¨acklund transform), such that f “ u ` iu~ P HolpΩq.
    [Show full text]
  • Chapter 16 Complex Analysis
    Chapter 16 Complex Analysis The term \complex analysis" refers to the calculus of complex-valued functions f(z) depending on a complex variable z. On the surface, it may seem that this subject should merely be a simple reworking of standard real variable theory that you learned in ¯rst year calculus. However, this naijve ¯rst impression could not be further from the truth! Com- plex analysis is the culmination of a deep and far-ranging study of the fundamental notions of complex di®erentiation and complex integration, and has an elegance and beauty not found in the more familiar real arena. For instance, complex functions are always ana- lytic, meaning that they can be represented as convergent power series. As an immediate consequence, a complex function automatically has an in¯nite number of derivatives, and di±culties with degree of smoothness, strange discontinuities, delta functions, and other forms of pathological behavior of real functions never arise in the complex realm. There is a remarkable, profound connection between harmonic functions (solutions of the Laplace equation) of two variables and complex-valued functions. Namely, the real and imaginary parts of a complex analytic function are automatically harmonic. In this manner, complex functions provide a rich lode of new solutions to the two-dimensional Laplace equation to help solve boundary value problems. One of the most useful practical consequences arises from the elementary observation that the composition of two complex functions is also a complex function. We interpret this operation as a complex changes of variables, also known as a conformal mapping since it preserves angles.
    [Show full text]
  • Lecture Note for Math 220A Complex Analysis of One Variable
    Lecture Note for Math 220A Complex Analysis of One Variable Song-Ying Li University of California, Irvine Contents 1 Complex numbers and geometry 2 1.1 Complex number field . 2 1.2 Geometry of the complex numbers . 3 1.2.1 Euler's Formula . 3 1.3 Holomorphic linear factional maps . 6 1.3.1 Self-maps of unit circle and the unit disc. 6 1.3.2 Maps from line to circle and upper half plane to disc. 7 2 Smooth functions on domains in C 8 2.1 Notation and definitions . 8 2.2 Polynomial of degree n ...................... 9 2.3 Rules of differentiations . 11 3 Holomorphic, harmonic functions 14 3.1 Holomorphic functions and C-R equations . 14 3.2 Harmonic functions . 15 3.3 Translation formula for Laplacian . 17 4 Line integral and cohomology group 18 4.1 Line integrals . 18 4.2 Cohomology group . 19 4.3 Harmonic conjugate . 21 1 5 Complex line integrals 23 5.1 Definition and examples . 23 5.2 Green's theorem for complex line integral . 25 6 Complex differentiation 26 6.1 Definition of complex differentiation . 26 6.2 Properties of complex derivatives . 26 6.3 Complex anti-derivative . 27 7 Cauchy's theorem and Morera's theorem 31 7.1 Cauchy's theorems . 31 7.2 Morera's theorem . 33 8 Cauchy integral formula 34 8.1 Integral formula for C1 and holomorphic functions . 34 8.2 Examples of evaluating line integrals . 35 8.3 Cauchy integral for kth derivative f (k)(z) . 36 9 Application of the Cauchy integral formula 36 9.1 Mean value properties .
    [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]
  • Complex Analysis on Riemann Surfaces Contents 1
    Complex Analysis on Riemann Surfaces Math 213b | Harvard University C. McMullen Contents 1 Introduction . 1 2 Maps between Riemann surfaces . 14 3 Sheaves and analytic continuation . 28 4 Algebraic functions . 35 5 Holomorphic and harmonic forms . 45 6 Cohomology of sheaves . 61 7 Cohomology on a Riemann surface . 72 8 Riemann-Roch . 77 9 The Mittag–Leffler problems . 84 10 Serre duality . 88 11 Maps to projective space . 92 12 The canonical map . 101 13 Line bundles . 110 14 Curves and their Jacobians . 119 15 Hyperbolic geometry . 137 16 Uniformization . 147 A Appendix: Problems . 149 1 Introduction Scope of relations to other fields. 1. Topology: genus, manifolds. Algebraic topology, intersection form on 1 R H (X; Z), α ^ β. 3 2. 3-manifolds. (a) Knot theory of singularities. (b) Isometries of H and 3 3 Aut Cb. (c) Deformations of M and @M . 3. 4-manifolds. (M; !) studied by introducing J and then pseudo-holomorphic curves. 1 4. Differential geometry: every Riemann surface carries a conformal met- ric of constant curvature. Einstein metrics, uniformization in higher dimensions. String theory. 5. Complex geometry: Sheaf theory; several complex variables; Hodge theory. 6. Algebraic geometry: compact Riemann surfaces are the same as alge- braic curves. Intrinsic point of view: x2 +y2 = 1, x = 1, y2 = x2(x+1) are all `the same' curve. Moduli of curves. π1(Mg) is the mapping class group. 7. Arithmetic geometry: Genus g ≥ 2 implies X(Q) is finite. Other extreme: solutions of polynomials; C is an algebraically closed field. 8. Lie groups and homogeneous spaces. We can write X = H=Γ, and ∼ g M1 = H= SL2(Z).
    [Show full text]
  • Plemelj–Sokhotski Isomorphism for Quasicircles in Riemann Surfaces and the Schiffer Operators
    Mathematische Annalen (2020) 378:1613–1653 https://doi.org/10.1007/s00208-019-01922-4 Mathematische Annalen Plemelj–Sokhotski isomorphism for quasicircles in Riemann surfaces and the Schiffer operators Eric Schippers1 · Wolfgang Staubach2 Received: 7 December 2018 / Revised: 24 June 2019 / Published online: 31 October 2019 © The Author(s) 2019 Abstract Let R be a compact Riemann surface and be a Jordan curve separating R into connected components 1 and 2. We consider Calderón–Zygmund type operators 2 T (1,k) taking the space of L anti-holomorphic one-forms on 1 to the space of 2 L holomorphic one-forms on k for k = 1, 2, which we call the Schiffer operators. We extend results of Max Schiffer and others, which were confined to analytic Jordan curves , to general quasicircles, and prove new identities for adjoints of the Schiffer operators. Furthermore, let V be the space of anti-holomorphic one-forms which are orthogonal to L2 anti-holomorphic one-forms on R with respect to the inner product on 1. We show that the restriction of the Schiffer operator T (1,2) to V is an isomorphism onto the set of exact holomorphic one-forms on 2. Using the relation between this Schiffer operator and a Cauchy-type integral involving Green’s function, we also derive a jump decomposition (on arbitrary Riemann surfaces) for quasicircles and initial data which are boundary values of Dirichlet-bounded harmonic functions and satisfy the classical algebraic constraints. In particular we show that the jump operator is an isomorphism on the subspace determined by these constraints.
    [Show full text]
  • Complex Analysis and Conformal Mapping
    Chapter 7 Complex Analysis and Conformal Mapping The term “complex analysis” refers to the calculus of complex-valued functions f(z) depending on a single complex variable z. To the novice, it may seem that this subject should merely be a simple reworking of standard real variable theory that you learned in first year calculus. However, this na¨ıve first impression could not be further from the truth! Complex analysis is the culmination of a deep and far-ranging study of the funda- mental notions of complex differentiation and integration, and has an elegance and beauty not found in the real domain. For instance, complex functions are necessarily analytic, meaning that they can be represented by convergent power series, and hence are infinitely differentiable. Thus, difficulties with degree of smoothness, strange discontinuities, subtle convergence phenomena, and other pathological properties of real functions never arise in the complex realm. The driving force behind many of the applications of complex analysis is the re- markable connection between complex functions and harmonic functions of two variables, a.k.a. solutions of the planar Laplace equation. To wit, the real and imaginary parts of any complex analytic function are automatically harmonic. In this manner, complex functions provide a rich lode of additional solutions to the two-dimensional Laplace equation, which can be exploited in a wide range of physical and mathematical applications. One of the most useful consequences stems from the elementary observation that the composition of two complex functions is also a complex function. We re-interpret this operation as a complex change of variables, producing a conformal mapping that preserves (signed) an- gles in the Euclidean plane.
    [Show full text]
  • Complex Analysis and Conformal Mapping
    Complex Analysis and Conformal Mapping by Peter J. Olver University of Minnesota Contents 1. Introduction ............................ 2 2. Complex Functions ......................... 2 ExamplesofComplexFunctions . 5 3. Complex Differentiation ....................... 9 PowerSeriesandAnalyticity . .12 4. Harmonic Functions .........................15 ApplicationstoFluidMechanics . 20 5. Conformal Mapping .........................27 AnalyticMaps. .27 Conformality . .33 CompositionandtheRiemannMappingTheorem . 38 AnnularDomains . .42 6. Applications of Conformal Mapping .................44 Applications to Harmonic Functions and Laplace’s Equation .......44 ApplicationstoFluidFlow . .48 Poisson’sEquationandtheGreen’sFunction . 53 7. Complex Integration ........................56 Cauchy’sTheorem . .61 CirculationandLift . .65 Cauchy’sIntegralFormula . .71 DerivativesbyIntegration. .72 Liouville’s Theorem and the Fundamental Theorem of Algebra . .. ..73 TheCalculusofResidues . .75 EvaluationofRealIntegrals . .80 References ...............................86 10/13/20 1 c 2020 Peter J. Olver 1. Introduction. The term “complex analysis” refers to the calculus of complex-valued functions f(z) depending on a single complex variable z. To the novice, it may seem that this subject should merely be a simple reworking of standard real variable theory that you learned in first year calculus. However, this na¨ıve first impression could not be further from the truth! Complex analysis is the culmination of a deep and far-ranging study of the funda- mental notions
    [Show full text]
  • Arxiv:Math/0701531V1 [Math.CV] 19 Jan 2007 2X,3D0 21,3D0 22,3H2 24,3T5 32T 32V40
    HOLOMORPHIC EXTENSION OF CR FUNCTIONS, ENVELOPES OF HOLOMORPHY, AND REMOVABLE SINGULARITIES JOEL¨ MERKER AND EGMONT PORTEN D´epartement de Math´ematiques et Applications, UMR 8553 du CNRS, Ecole´ Normale Sup´erieure, 45 rue d’Ulm, F-75230 Paris Cedex 05, France. [email protected] http://www.cmi.univ-mrs.fr/ merker/index.html ∼ Department of Engineering, Physics and Mathematics, Mid Sweden University, Campus Sundsvall, S-85170 Sundsvall, Sweden [email protected] Table of contents (7 main parts) I.Introduction ..................................... ...............................................I. II. Analytic vector field systems, formal CR mappings and local CR automorphism groups .......... II. III. Sussman’s orbit theorem, locally integrable systems of vector fields and CR functions ...........III. IV. Hilbert transform and Bishop’s equation in Holderspaces¨ ......................................IV. V. Holomorphic extension of CR functions . .........................................V. VI.Removable singularities .......................... ............................................VI. [0+3+7+1+19+7 diagrams] IMRS International Mathematics Research Surveys Volume 2006, Article ID 28295, 287 pages arXiv:math/0701531v1 [math.CV] 19 Jan 2007 www.hindawi.com/journals/imrs Date: 2008-2-2. 2000 Mathematics Subject Classification. Primary: 32-01, 32-02. Secondary: 32Bxx, 32Dxx, 32D10, 32D15, 32D20, 32D26, 32H12, 32F40, 32T15, 32T25, 32T27, 32Vxx, 32V05, 32V10, 32V15, 32V25, 32V35, 32V40. 1 2 JOEL¨ MERKER AND EGMONT PORTEN I: Introduction
    [Show full text]
  • Harmonic Analysis a Comprehensive Course in Analysis, Part 3
    Harmonic Analysis A Comprehensive Course in Analysis, Part 3 Barry Simon Harmonic Analysis A Comprehensive Course in Analysis, Part 3 http://dx.doi.org/10.1090/simon/003 Harmonic Analysis A Comprehensive Course in Analysis, Part 3 Barry Simon Providence, Rhode Island 2010 Mathematics Subject Classification. Primary 26-01, 31-01, 46-01; Secondary 30H10, 30H35, 42C40, 42B20, 46E35. For additional information and updates on this book, visit www.ams.org/bookpages/simon Library of Congress Cataloging-in-Publication Data Simon, Barry, 1946– Harmonic analysis / Barry Simon. pages cm. — (A comprehensive course in analysis ; part 3) Includes bibliographical references and indexes. ISBN 978-1-4704-1102-2 (alk. paper) 1. Mathematical analysis—Textbooks. 2. Harmonic analysis—Textbooks. I. Title. QA300.S5275 2015 515.2433—dc23 2015024457 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy select pages for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Permissions to reuse portions of AMS publication content are handled by Copyright Clearance Center’s RightsLink service. For more information, please visit: http://www.ams.org/rightslink. Send requests for translation rights and licensed reprints to [email protected]. Excluded from these provisions is material for which the author holds copyright. In such cases, requests for permission to reuse or reprint material should be addressed directly to the author(s).
    [Show full text]
  • Explorations in Harmonic Analysis with Applications to Complex Function Theory and the Heisenberg Group
    Explorations in Harmonic Analysis with Applications to Complex Function Theory and the Heisenberg Group by Steven G. Krantz with the assistance of Lina Lee August 16, 2007 To the memory of Alberto P. Cald´eron. Table of Contents Preface v 1 Ontology and History of Real Analysis 1 1.1 DeepBackgroundinReal AnalyticFunctions. 2 1.2 The Idea of Fourier Expansions . 4 1.3 Differences of the Real Analytic Theory and the Fourier Theory 6 1.4 ModernDevelopments . .. ... .. .. .. .. ... .. .. 7 1.5 WaveletsandBeyond.. .. ... .. .. .. .. ... .. .. 8 1.6 HistoryandGenesisofFourierSeries . 9 1.6.1 DerivationoftheHeatEquation. 12 2 Advanced Ideas: The Hilbert Transform 17 2.1 TheNotionoftheHilbertTransform . 18 2.1.1 TheGutsoftheHilbertTransform . 20 2.1.2 The Laplace Equation and Singular integrals on RN . 22 2.1.3 Boundedness of the Hilbert Transform . 24 2.1.4 Lp Boundedness of the Hilbert Transform . 32 2.2 TheModifiedHilbertTransform . 33 3 Essentials of the Fourier Transform 41 3.1 Essential Properties of the Fourier Transform . 42 3.2 InvarianceandSymmetryProperties . 44 3.3 Convolution and Fourier Inversion . 50 3.4 QuadraticIntegralsandPlancherel . 58 3.5 SobolevSpaceBasics . 61 i ii 4 Fourier Multipliers 71 4.1 BasicsofFractionalIntegrals. 72 4.2 The Concept of Singular Integrals . 74 4.3 Prolegomena to Pseudodifferential Operators . 77 5 Fractional and Singular Integrals 79 5.1 Fractional and Singular Integrals Together . 80 5.2 FractionalIntegrals . 82 5.3 Background to Singular Integrals . 85 5.4 MoreonIntegralOperators . 93 6 Several Complex Variables 95 6.1 Plurisubharmonic Functions . 96 6.2 Fundamentals of Holomorphic Functions . 103 6.3 NotionsofConvexity . .106 6.3.1 The Analytic Definition of Convexity .
    [Show full text]
  • Uniformization of Riemann Surfaces
    Uniformization of Riemann Surfaces Kevin Timothy Chan [email protected] (617) 493-2677 Thesis Advisor: Yum-Tong Siu April 5, 2004 Abstract The uniformization theorem states that every simply connected Riemann surface is conformally equivalent to the open unit disk, the complex plane, or the Riemann sphere. We present three aproaches to the uniformization of Riemann surfaces. We first prove the uniformization theorem via the construction of a harmonic function by the Dirichlet principle. We then give an alter- nate proof by triangulating the surface and inductively constructing an analytic map. Finally, we introduce projective structures on the surface and describe the geometric realization as a uniformizing map. Contents 1 Introduction 1 2 The First Proof 2 2.1 Preliminaries ...................................... 2 2.2 Construction of the Analytic Map . 3 2.2.1 TheCover.................................... 3 2.2.2 ComparisonFunctions ............................. 4 2.2.3 Existence of the Minimal Comparison Function . 5 2.2.4 Uniqueness of the Minimal Function . 8 2.2.5 TheAnalyticMap ............................... 10 2.3 Bijectivity of the Analytic Map . 10 2.3.1 LocalInjectivity ................................ 11 2.3.2 TheEndlessCurve............................... 12 2.3.3 The3Cases................................... 14 2.4 Arbitrary Riemann Surfaces . 14 3 The Second Proof 15 3.1 Preliminaries ...................................... 15 3.2 Proof of the Uniformization Theorem . 16 3.2.1 Case1:Open.................................. 16 3.2.2 Case2:Closed ................................. 19 4 Uniformization with Projective Structures 19 4.1 Projective Structures . 19 4.2 Connections....................................... 21 4.3 Existence of Projective Structures on Riemann Surfaces . 22 4.4 The Coordinate Cohomology Class . 23 4.5 GeometricRealization ................................ 24 4.6 Problem: Proof of Classical Uniformization .
    [Show full text]