Bernstein s analytic continuation of complex powers
|
|
- Eleanore Flynn
- 5 years ago
- Views:
Transcription
1 (April 3, 20) Bernstein s analytic continuation of complex powers Paul Garrett garrett@math.umn.edu garrett/. Analytic continuation of distributions 2. Statement of the theorems on analytic continuation 3. Bernstein s proofs 4. Proof of the Lemma: the Bernstein polynomial 5. Proof of the Proposition: estimates on zeros Let f be a polynomial in x,..., x n with real coefficients. For complex s, let f s + be the function defined by f s +(x) = f(x) s (for f(x) 0) 0 (for f(x) 0) Certainly for Re(s) 0 the function f+ s is locally integrable. For s in this range, define a distribution, also denoted f+, s by f+(φ) s = f+(x) s φ(x) dx (for φ Cc (R n )) R n The object is to analytically continue the distribution f s +, as a meromorphic (distribution-valued) function of s. One should also ask about analytic continuation as a tempered distribution. Several provocative examples appear in [Gelfand-Shilov 964]. In a lecture at the 963 Amsterdam Congress, I.M. Gelfand refined this question to require further that one show that the poles lie in a finite number of arithmetic progressions. [Bernstein 968] gave a first proof, under a regularity hypothesis on the zero-set of the polynomial f. We essentially reproduce that argument here, with supporting material from complex function theory and from the theory of distributions. [Bernstein-Gelfand 969] proved the meromorphic continuation without any hypotheses, but assuming desingularization [Hironaka 966]. [Atiyah 970] gave a similar argument. Although this resolved the original question, invocation of desingularization was unsatisfactory. [Bernstein 97] created the theory of D-modules, and [Bernstein 972] used it to prove the existence of the Bernstein polynomial F f (s) for any f, and so on. Invocation of desingularization was avoided, and much more was done, besides. Thanks to Bill Casselman for suggesting revisions, especially bibliographic, to an old version of this note.. Analytic continuation of distributions We recall the nature of the topologies on test functions and on distributions. Let Cc (U) be the collection of compactly-supported smooth functions with support inside a set U R n. As usual, for U compact, we have a countable family of seminorms on Cc (U): where for ν = (ν,..., ν n ), as usual, µ ν (f) = sup D ν f x D ν = ( x ) ν ( ) νn... x n
2 It is elementary that (for U compact) Cc (U) is a Fréchet space. To treat U not necessarily compact (e.g., R n itself) let U U 2... be compact subsets of U whose union is U. Then C c (U) is the union of the spaces C c (U i ), with the locally convex colimit (direct limit) topology. There is a countable cofinal sub-colimit, and each Fréchet space is closed in the next, so the colimit is called an LF-space (strict-(co-)limit-of-fréchet). LF-spaces are not complete metrizable, but are quasi-complete, meaning that bounded Cauchy nets converge. The spaces D (U) and D (R n ) of distributions on U and on R n, respectively, are the continuous duals of D(U) = C c (U) and D(R n ) = C c (R n ). The topology on the continuous dual space V of a topological vectorspace V is the weak- topology: a sub-basis near 0 in V consists of sets U v,ɛ = {λ V : λ(v) < ɛ} A V -valued function f on an open subset Ω of C is holomorphic on Ω when, for every v V, the C-valued function z f(z)(v) on Ω is holomorphic in the usual sense. More precisely, this is weak- holomorphy, referring to the topology. Let z o Ω for an open subset Ω of C and f a holomorphic V -valued function on Ω z o. Say that f is weakly meromorphic at z o when, for every v V, the C-valued function z f(z)(v) has a pole (as opposed to essential singularity) at z o. Say that f is strongly meromorphic at z o if the orders of these poles are bounded independently of v. That is, f is strongly meromorphic at z o if there is an integer n and an open set Ω containing z o so that, for all v V the C-valued function z (z z o ) n f(z)(v) is holomorphic on Ω. If n is the least integer f so that (z z o ) n f is holomorphic at z o, then f is of order n at z o, etc. To say that f is strongly meromorphic on an open set Ω is to require that there be a set S of points of Ω with no accumulation point in Ω so that f is holomorphic on Ω S, and so that f is strongly meromorphic at each point of S. For brevity, but risking some confusion, we will often say meromorphic rather than strongly meromorphic. 2. Statements of theorems on analytic continuation Let O be the polynomial ring R[x,..., x n ]. For z R n, let O z be the local ring at z, i.e., the ring of ratios P/Q of polynomials where the denominator does not vanish at z. Let m z be the maximal ideal of O z consisting of elements of O z whose numerator vanishes at z. Let I z (depending upon f) be the ideal in O z generated by,..., x x n A point z R n is said to be simple with respect to the polynomial f when f(z) = 0 I z m N z for some N There are α i m z so that f = i α i [2..] Remark: The second condition is equivalent to the O z /I z being finite-dimensional. The simplest situation in which the second condition holds is when I z = O z, i.e., some partial derivative of f is non-zero 2
3 at z. The third condition does not follow from the first two: Bernstein notes that the first two conditions hold but the third does not for f(x, y) = x 5 + y 5 + x 2 y 2 [2..2] Theorem: (local version) For z a simple point with respect to f, there is a neighborhood U of x so that the distribution f+,u s (φ) = f+(x) s φ(x) dx on test functions φ C c (U) on U has an analytic continuation to a meromorphic C c (U) -valued function. [2..3] Theorem: (global version) If all real zeros of f(x) are simple (with respect to f), then f s + is a meromorphic (distribution-valued) function of s C. 3. Bernstein s proof Let R z be the ring of linear differential operators with coefficients in O z. Note that R z is both a left and a right O-module: for D R z, for f, g O and φ a smooth function near z, the definition is (fdg)(φ) = f D(gφ) [3..] Lemma: There is a differential operator D R z and a non-zero Bernstein polynomial H in a single variable so that D(f n+ ) = H(n)f n for any natural number n. (Proof below.) Proof of Local Theorem from Lemma: Let U be a small-enough neighborhood of z so that on it all coefficients of D are holomorphic on U. For sufficiently large n the function f n+ + is continuously differentiable, so Df n+ + = H(n)f n + For each fixed φ C c (U) consider the function g(s) = (Df s+ + H(s)f s +)(φ) The hypotheses of the proposition below are satisfied, so the equality for all large-enough natural numbers implies equality everywhere: Df s+ + = H(s)f s + This gives f s + = Df s+ + H(s) Now claim that for any 0 n Z the distribution f+ s on Cc (U) is meromorphic for Re(s) > n. For n = 0 this is clear. The formula just derived gives the induction step. Further, this argument shows that the poles of f+ s restricted to Cc (U) are concentrated on the finite collection of arithmetic progressions λ i, λ i, λ i 2,... where the λ i are the roots of H(s). In particular, the order of the pole of f s + at a point s o is equal to the number of roots λ i so that s o lies among λ i, λ i, λ i 2,... 3
4 In particular, the distribution f s + really is (strongly) meromorphic. This proves the Theorem, granting the Lemma and granting the Proposition. /// [3..2] Proposition: (attributed by Bernstein to Carlson) For g analytic for Res > 0 and g(s) < be cre s and g(n) = 0 for all sufficiently large natural numbers n, we have g 0. Proof: (of Global Theorem) Invoking the Local Theorem and its proof above, for each z R n choose a neighborhood U z of z in which f s + is meromorphic, so that U z is Zariski-open, i.e., is the complement of a finite union of zero sets of polynomials. Indeed, writing f(x) = α i with α i O z, as in the proof of the Local Theorem, let α i = g i /h i with polynomials g i and h i, and take U z to be the complement of the union of the zero-sets of the denominators h i. By Hilbert s Basis Theorem, R n is covered by finitely-many U z,..., U zn. Make a partition of unity subordinate to this finite cover, i.e., take ψ,..., ψ n so that ψ i 0, ψ i, and sptψ i U zi. Then f s + = i ψ i f s + By choice of the U zi, the right-hand side is a finite sum of meromorphic (distribution-valued) functions. 4. Proof of the Lemma: the Bernstein polynomial Now we prove existence of the differential operator D and the Bernstein polynomial H. This is the most serious part of the argument. (The complex function theory proposition is not trivial, but is standard). Proof: (of Lemma) Let where the α i m z are so that Put Then By Leibniz formula, P (f) = i P = α i R z f = α i R z S i = P f = (P + ) Q α i = f S i f = f f = 0 P (f n ) = nf n S i (f n ) = 0 [4..] Sublemma: There is a non-zero polynomial M in one variable so that M(P ) = i J i (for some J i R z ) Proof: (of Sublemma) As usual, write ν = ν ν n. For a natural number m, move all the coefficients to the right of the differential operators, that is, write P m = D ν γ m,ν (where γ m,ν O z ) ν m 4
5 That this is possible is easy to see: x i 0 (for i j) x i = x j x j (for i = j) The coefficients γ m,ν are polynomials in the α i, so γ m,ν m ν z. Taking M(P ) of the form M(P ) = m q b m P m = m,ν D ν b m γ m,ν (with b m R) the condition of the sublemma will be met if b m γ m,ν I z (for all indices ν) m If ν N, where I m N, then this condition is automatically fulfilled. conditions b m γ m,ν = 0 m Thus, there are finitely-many where γ m,ν is the image of γ m,ν in O z /m N z. Since the latter quotient is, by hypothesis, a finite-dimensional vector space, the collection of such conditions gives a finite collection of homogeneous equations in the coefficients b m. More specifically, the number of such conditions is dim O z /m N z card{ν : ν < N} Taking q large enough assures the existence of a non-trivial solution {b m }, proving the sublemma. /// Returning to the proof of the lemma: as an equation in R z Put Then, as desired, M(P )(P + ) = J i (P + ) = J i S i + J i f D = J i H(P ) = M(P )(P + ) D(f n+ ) = ( J i f)(f n ) = H(P )(f n ) = H(n)f n This proves the Lemma, constructing the differential operator D. /// 5. Proof of the Proposition: estimates on zeros The necessary result is standard, although not so elementary as to be an immediate corollary of Cauchy s Theorem: [5..] Proposition: For g an analytic function for Res > 0 and g(s) < be cre s, if g(n) = 0 for all sufficiently large natural numbers n, then g 0. Proof: Consider G(z) = e c g( z + z ) 5
6 Then g is turned into a bounded function G on the disc, with zeros at points (n )/(n + ) for sufficiently large natural numbers n. We claim that, for a bounded function G on the unit disc with zeros ρ i, either G 0 or ( ρ i ) < + If we prove this, then in the situation at hand the natural numbers are mapped to i ρ n = (n )/(n + ) = n + so here ( ρ n ) = n n Thus, we would conclude G 0 as desired. n + = + Recall Jensen s formula: for any holomorphic function G on the unit disc with G(0) 0 and with zeros ρ,..., for 0 < r < we have G(0) ρ i r r ρ i { π } = exp log G(re iθ ) dθ 2π π Granting this, the assumed boundedness of G on the disc gives an absolute constant C so that for all N G(0) ρ i r (We can harmlessly divide by a suitable power of z to guarantee that G(0) 0.) Then, letting r, r ρ i C ρi G(0) C For an infinite product of positive real numbers ρ i less than to have a value > 0, it is elementary that we must have ( ρ i ) < + i as claimed. This proves the proposition. /// While we re here, let s recall the proof of Jensen s formula (e.g., as in [Rudin 966], for example. 0 < r < and let H(z) = G(z) r 2 ρz ρ r(ρ z) ρ z where the first product is over roots ρ with ρ < r and the second is over roots with ρ = r. Then H is holomorphic and non-zero in an open disk of radius r + ɛ for some ɛ > 0. Thus, log H is harmonic in this disk, and has the mean value property log H(0) = π log H(re iθ ) dθ 2π π Fix On one hand, H(0) = G(0) r ρ 6
7 On the other hand, if z = r the factors have absolute value. Thus, log H(re iθ ) = log G(re iθ ) As noted in Rudin (see below), ρ =r r 2 ρz r(ρ z) log e i(θ arg ρ) (where e i arg ρ = ρ) π log e iθ dθ = 0 2π π Therefore, the integral in the assertion of the mean value property is unchanged upon replacing H by G. Putting this all together gives Jensen s formula. /// We execute the integral computation, following Rudin. Since the disk is simply-connected, there is a function λ(z) on the open unit disc so that exp(λ(z)) = z We completely specify this λ by requiring λ(0) = 0. We have Reλ(z) = log z and Imλ(z) < π 2. Let δ > 0 be small. Let Γ = Γ δ be the (counterclockwise) path around the unit circle from e iδ to e (2π δ)i and let γ = γ δ be the (clockwise) path around a small circle centered at from e (2π δ)i to e iδ. Then 2π 2π log e iθ dθ = lim 0 2π [ = Re λ(z) dz ] = Re 2πi Γ z δ 0 2π δ δ [ 2πi log e iθ dθ γ λ(z) dz ] z by Cauchy s theorem. Elementary estimates show that the latter integral has a bound of the form Cδ log(/δ), which goes to 0 as δ 0. [Atiyah 970] M.F. Atiyah Resolution of singularities and division of distributions, Comm. Pure. Appl. Math. 23 (970), [Bernstein 968] I.N. Bernstein, The possibility of analytic continuation of f+ λ (Russian), Fun. An. and Applications 2 (968) no., for certain polynomials f [Bernstein-Gelfand 969] I.N. Bernstein and S.I. Gelfand, Meromorphy of the function P λ (Russian), Fun. An. and Applications 3 (969), no., [Bernstein 97] I.N. Bernstein, Modules over rings of differential operators; an investigation of the fundamental solutions of equations with constant coefficients (Russian), Fun. An. and Applications 5 (97) no. 2, -6. [Bernstein 972] I.N. Bernstein, Analytic continuation of generalized functions with respect to a parameter (Russian), Fun. An. and Applications 6 (972) no. 4, [Gelfand-Shilov 964] I.M. Gelfand, G.E. Shilov, Generalized functions, vol. I: properties and operations, Academic Press, 964 (Russian original, Fizmatgiz, 958). [Hironaka 964] H. Hironaka, Resolution of singularities of an algebraic variety over a field of characteristic zero, I, II, Ann. of Math. 79 (964), , [Rudin 966] W. Rudin, Real and Complex Analysis, McGraw-Hill,
Garrett: `Bernstein's analytic continuation of complex powers' 2 Let f be a polynomial in x 1 ; : : : ; x n with real coecients. For complex s, let f
1 Bernstein's analytic continuation of complex powers c1995, Paul Garrett, garrettmath.umn.edu version January 27, 1998 Analytic continuation of distributions Statement of the theorems on analytic continuation
More informationTopological vectorspaces
(July 25, 2011) Topological vectorspaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ Natural non-fréchet spaces Topological vector spaces Quotients and linear maps More topological
More informationINTRODUCTION TO REAL ANALYTIC GEOMETRY
INTRODUCTION TO REAL ANALYTIC GEOMETRY KRZYSZTOF KURDYKA 1. Analytic functions in several variables 1.1. Summable families. Let (E, ) be a normed space over the field R or C, dim E
More informationCompleteness and quasi-completeness. 1. Products, limits, coproducts, colimits
(April 24, 2014) Completeness and quasi-completeness Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/notes 2012-13/07d quasi-completeness.pdf]
More information08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms
(February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops
More informationSeminorms and locally convex spaces
(April 23, 2014) Seminorms and locally convex spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/notes 2012-13/07b seminorms.pdf]
More informationHartogs Theorem: separate analyticity implies joint Paul Garrett garrett/
(February 9, 25) Hartogs Theorem: separate analyticity implies joint Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ (The present proof of this old result roughly follows the proof
More informationNotes on Distributions
Notes on Distributions Functional Analysis 1 Locally Convex Spaces Definition 1. A vector space (over R or C) is said to be a topological vector space (TVS) if it is a Hausdorff topological space and the
More informationRepresentations of moderate growth Paul Garrett 1. Constructing norms on groups
(December 31, 2004) Representations of moderate growth Paul Garrett Representations of reductive real Lie groups on Banach spaces, and on the smooth vectors in Banach space representations,
More informationNATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II
NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II Chapter 2 Further properties of analytic functions 21 Local/Global behavior of analytic functions;
More informationSolutions to Complex Analysis Prelims Ben Strasser
Solutions to Complex Analysis Prelims Ben Strasser In preparation for the complex analysis prelim, I typed up solutions to some old exams. This document includes complete solutions to both exams in 23,
More informationTheorem [Mean Value Theorem for Harmonic Functions] Let u be harmonic on D(z 0, R). Then for any r (0, R), u(z 0 ) = 1 z z 0 r
2. A harmonic conjugate always exists locally: if u is a harmonic function in an open set U, then for any disk D(z 0, r) U, there is f, which is analytic in D(z 0, r) and satisfies that Re f u. Since such
More informationVector-Valued Integrals
(July 18, 2011) Vector-Valued Integrals Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ 1. Gelfand-Pettis integrals 2. Coproducts, colimits of topological vectorspaces 3. Ubiquity of
More informationPart IB. Further Analysis. Year
Year 2004 2003 2002 2001 10 2004 2/I/4E Let τ be the topology on N consisting of the empty set and all sets X N such that N \ X is finite. Let σ be the usual topology on R, and let ρ be the topology on
More informationQualifying Exam Complex Analysis (Math 530) January 2019
Qualifying Exam Complex Analysis (Math 53) January 219 1. Let D be a domain. A function f : D C is antiholomorphic if for every z D the limit f(z + h) f(z) lim h h exists. Write f(z) = f(x + iy) = u(x,
More informationMATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5
MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5.. The Arzela-Ascoli Theorem.. The Riemann mapping theorem Let X be a metric space, and let F be a family of continuous complex-valued functions on X. We have
More informationBanach-Alaoglu, boundedness, weak-to-strong principles Paul Garrett 1. Banach-Alaoglu theorem
(April 12, 2004) Banach-Alaoglu, boundedness, weak-to-strong principles Paul Garrett Banach-Alaoglu theorem: compactness of polars A variant Banach-Steinhaus theorem Bipolars Weak
More informationWEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS
WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS YIFEI ZHAO Contents. The Weierstrass factorization theorem 2. The Weierstrass preparation theorem 6 3. The Weierstrass division theorem 8 References
More informationLet X be a topological space. We want it to look locally like C. So we make the following definition.
February 17, 2010 1 Riemann surfaces 1.1 Definitions and examples Let X be a topological space. We want it to look locally like C. So we make the following definition. Definition 1. A complex chart on
More informationMA3111S COMPLEX ANALYSIS I
MA3111S COMPLEX ANALYSIS I 1. The Algebra of Complex Numbers A complex number is an expression of the form a + ib, where a and b are real numbers. a is called the real part of a + ib and b the imaginary
More informationFINAL EXAM MATH 220A, UCSD, AUTUMN 14. You have three hours.
FINAL EXAM MATH 220A, UCSD, AUTUMN 4 You have three hours. Problem Points Score There are 6 problems, and the total number of points is 00. Show all your work. Please make your work as clear and easy to
More informationCOMPLEX ANALYSIS Spring 2014
COMPLEX ANALYSIS Spring 204 Cauchy and Runge Under the Same Roof. These notes can be used as an alternative to Section 5.5 of Chapter 2 in the textbook. They assume the theorem on winding numbers of the
More informationHahn-Banach theorems. 1. Continuous Linear Functionals
(April 22, 2014) Hahn-Banach theorems Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/notes 2012-13/07c hahn banach.pdf] 1.
More informationComplex Analysis Qualifying Exam Solutions
Complex Analysis Qualifying Exam Solutions May, 04 Part.. Let log z be the principal branch of the logarithm defined on G = {z C z (, 0]}. Show that if t > 0, then the equation log z = t has exactly one
More informationConsidering our result for the sum and product of analytic functions, this means that for (a 0, a 1,..., a N ) C N+1, the polynomial.
Lecture 3 Usual complex functions MATH-GA 245.00 Complex Variables Polynomials. Construction f : z z is analytic on all of C since its real and imaginary parts satisfy the Cauchy-Riemann relations and
More informationLocally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem
56 Chapter 7 Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem Recall that C(X) is not a normed linear space when X is not compact. On the other hand we could use semi
More informationMath 220A - Fall Final Exam Solutions
Math 22A - Fall 216 - Final Exam Solutions Problem 1. Let f be an entire function and let n 2. Show that there exists an entire function g with g n = f if and only if the orders of all zeroes of f are
More informationMath Final Exam.
Math 106 - Final Exam. This is a closed book exam. No calculators are allowed. The exam consists of 8 questions worth 100 points. Good luck! Name: Acknowledgment and acceptance of honor code: Signature:
More informationζ(u) z du du Since γ does not pass through z, f is defined and continuous on [a, b]. Furthermore, for all t such that dζ
Lecture 6 Consequences of Cauchy s Theorem MATH-GA 45.00 Complex Variables Cauchy s Integral Formula. Index of a point with respect to a closed curve Let z C, and a piecewise differentiable closed curve
More informationLECTURE-15 : LOGARITHMS AND COMPLEX POWERS
LECTURE-5 : LOGARITHMS AND COMPLEX POWERS VED V. DATAR The purpose of this lecture is twofold - first, to characterize domains on which a holomorphic logarithm can be defined, and second, to show that
More informationMath 225B: Differential Geometry, Final
Math 225B: Differential Geometry, Final Ian Coley March 5, 204 Problem Spring 20,. Show that if X is a smooth vector field on a (smooth) manifold of dimension n and if X p is nonzero for some point of
More informationProblem 1A. Calculus. Problem 3A. Real analysis. f(x) = 0 x = 0.
Problem A. Calculus Find the length of the spiral given in polar coordinates by r = e θ, < θ 0. Solution: The length is 0 θ= ds where by Pythagoras ds = dr 2 + (rdθ) 2 = dθ 2e θ, so the length is 0 2e
More informationPart II. Riemann Surfaces. Year
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 96 Paper 2, Section II 23F State the uniformisation theorem. List without proof the Riemann surfaces which are uniformised
More informationCompact operators on Banach spaces
Compact operators on Banach spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto November 12, 2017 1 Introduction In this note I prove several things about compact
More informationMath General Topology Fall 2012 Homework 6 Solutions
Math 535 - General Topology Fall 202 Homework 6 Solutions Problem. Let F be the field R or C of real or complex numbers. Let n and denote by F[x, x 2,..., x n ] the set of all polynomials in n variables
More informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
More informationPart IB Complex Analysis
Part IB Complex Analysis Theorems Based on lectures by I. Smith Notes taken by Dexter Chua Lent 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after
More informationare Banach algebras. f(x)g(x) max Example 7.4. Similarly, A = L and A = l with the pointwise multiplication
7. Banach algebras Definition 7.1. A is called a Banach algebra (with unit) if: (1) A is a Banach space; (2) There is a multiplication A A A that has the following properties: (xy)z = x(yz), (x + y)z =
More informationAn Introduction to Complex Analysis and Geometry John P. D Angelo, Pure and Applied Undergraduate Texts Volume 12, American Mathematical Society, 2010
An Introduction to Complex Analysis and Geometry John P. D Angelo, Pure and Applied Undergraduate Texts Volume 12, American Mathematical Society, 2010 John P. D Angelo, Univ. of Illinois, Urbana IL 61801.
More informationThe weak topology of locally convex spaces and the weak-* topology of their duals
The weak topology of locally convex spaces and the weak-* topology of their duals Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 1 Introduction These notes
More informationCOMPLEX ANALYSIS Spring 2014
COMPLEX ANALYSIS Spring 24 Homework 4 Solutions Exercise Do and hand in exercise, Chapter 3, p. 4. Solution. The exercise states: Show that if a
More informationMath Homework 2
Math 73 Homework Due: September 8, 6 Suppose that f is holomorphic in a region Ω, ie an open connected set Prove that in any of the following cases (a) R(f) is constant; (b) I(f) is constant; (c) f is
More informationAn introduction to some aspects of functional analysis
An introduction to some aspects of functional analysis Stephen Semmes Rice University Abstract These informal notes deal with some very basic objects in functional analysis, including norms and seminorms
More informationMORE NOTES FOR MATH 823, FALL 2007
MORE NOTES FOR MATH 83, FALL 007 Prop 1.1 Prop 1. Lemma 1.3 1. The Siegel upper half space 1.1. The Siegel upper half space and its Bergman kernel. The Siegel upper half space is the domain { U n+1 z C
More informationPOWER SERIES AND ANALYTIC CONTINUATION
POWER SERIES AND ANALYTIC CONTINUATION 1. Analytic functions Definition 1.1. A function f : Ω C C is complex-analytic if for each z 0 Ω there exists a power series f z0 (z) := a n (z z 0 ) n which converges
More informationQualifying Exams I, 2014 Spring
Qualifying Exams I, 2014 Spring 1. (Algebra) Let k = F q be a finite field with q elements. Count the number of monic irreducible polynomials of degree 12 over k. 2. (Algebraic Geometry) (a) Show that
More informationMath 868 Final Exam. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each). Y (φ t ) Y lim
SOLUTIONS Dec 13, 218 Math 868 Final Exam In this exam, all manifolds, maps, vector fields, etc. are smooth. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each).
More informationPROBLEMS. (b) (Polarization Identity) Show that in any inner product space
1 Professor Carl Cowen Math 54600 Fall 09 PROBLEMS 1. (Geometry in Inner Product Spaces) (a) (Parallelogram Law) Show that in any inner product space x + y 2 + x y 2 = 2( x 2 + y 2 ). (b) (Polarization
More informationMath 680 Fall A Quantitative Prime Number Theorem I: Zero-Free Regions
Math 68 Fall 4 A Quantitative Prime Number Theorem I: Zero-Free Regions Ultimately, our goal is to prove the following strengthening of the prime number theorem Theorem Improved Prime Number Theorem: There
More informationFrom the definition of a surface, each point has a neighbourhood U and a homeomorphism. U : ϕ U(U U ) ϕ U (U U )
3 Riemann surfaces 3.1 Definitions and examples From the definition of a surface, each point has a neighbourhood U and a homeomorphism ϕ U from U to an open set V in R 2. If two such neighbourhoods U,
More informationReview of complex analysis in one variable
CHAPTER 130 Review of complex analysis in one variable This gives a brief review of some of the basic results in complex analysis. In particular, it outlines the background in single variable complex analysis
More informationMath 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative
Math 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative This chapter is another review of standard material in complex analysis. See for instance
More informationB. Appendix B. Topological vector spaces
B.1 B. Appendix B. Topological vector spaces B.1. Fréchet spaces. In this appendix we go through the definition of Fréchet spaces and their inductive limits, such as they are used for definitions of function
More informationNOTES ON SEVERAL COMPLEX VARIABLES. J. L. Taylor Department of Mathematics University of Utah July 27, 1994 Revised June 9, 1997
NOTES ON SEVERAL COMPLEX VARIABLES J. L. Taylor Department of Mathematics University of Utah July 27, 1994 Revised June 9, 1997 Notes from a 1993 94 graduate course Revised for a 1996-97 graduate course
More informationAnalysis Comprehensive Exam, January 2011 Instructions: Do as many problems as you can. You should attempt to answer completely some questions in both
Analysis Comprehensive Exam, January 2011 Instructions: Do as many problems as you can. You should attempt to answer completely some questions in both real and complex analysis. You have 3 hours. Real
More informationMath General Topology Fall 2012 Homework 1 Solutions
Math 535 - General Topology Fall 2012 Homework 1 Solutions Definition. Let V be a (real or complex) vector space. A norm on V is a function : V R satisfying: 1. Positivity: x 0 for all x V and moreover
More informationRiemann Surfaces and Algebraic Curves
Riemann Surfaces and Algebraic Curves JWR Tuesday December 11, 2001, 9:03 AM We describe the relation between algebraic curves and Riemann surfaces. An elementary reference for this material is [1]. 1
More informationA note on a construction of J. F. Feinstein
STUDIA MATHEMATICA 169 (1) (2005) A note on a construction of J. F. Feinstein by M. J. Heath (Nottingham) Abstract. In [6] J. F. Feinstein constructed a compact plane set X such that R(X), the uniform
More informationCOMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY
COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski
More informationProblem Set 5 Solution Set
Problem Set 5 Solution Set Anthony Varilly Math 113: Complex Analysis, Fall 2002 1. (a) Let g(z) be a holomorphic function in a neighbourhood of z = a. Suppose that g(a) = 0. Prove that g(z)/(z a) extends
More informationSPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS
SPRING 006 PRELIMINARY EXAMINATION SOLUTIONS 1A. Let G be the subgroup of the free abelian group Z 4 consisting of all integer vectors (x, y, z, w) such that x + 3y + 5z + 7w = 0. (a) Determine a linearly
More information2. Function spaces and approximation
2.1 2. Function spaces and approximation 2.1. The space of test functions. Notation and prerequisites are collected in Appendix A. Let Ω be an open subset of R n. The space C0 (Ω), consisting of the C
More informationPlurisubharmonic Functions and Pseudoconvex Domains
Plurisubharmonic Functions and Pseudoconvex Domains Thomas Jackson June 8, 218 1 Introduction The purpose of this project is to give a brief background of basic complex analysis in several complex variables
More informationMATH 566 LECTURE NOTES 6: NORMAL FAMILIES AND THE THEOREMS OF PICARD
MATH 566 LECTURE NOTES 6: NORMAL FAMILIES AND THE THEOREMS OF PICARD TSOGTGEREL GANTUMUR 1. Introduction Suppose that we want to solve the equation f(z) = β where f is a nonconstant entire function and
More informationA TALE OF TWO CONFORMALLY INVARIANT METRICS
A TALE OF TWO CONFORMALLY INVARIANT METRICS H. S. BEAR AND WAYNE SMITH Abstract. The Harnack metric is a conformally invariant metric defined in quite general domains that coincides with the hyperbolic
More informationComplex Analysis Problems
Complex Analysis Problems transcribed from the originals by William J. DeMeo October 2, 2008 Contents 99 November 2 2 2 200 November 26 4 3 2006 November 3 6 4 2007 April 6 7 5 2007 November 6 8 99 NOVEMBER
More informationMATH 566 LECTURE NOTES 4: ISOLATED SINGULARITIES AND THE RESIDUE THEOREM
MATH 566 LECTURE NOTES 4: ISOLATED SINGULARITIES AND THE RESIDUE THEOREM TSOGTGEREL GANTUMUR 1. Functions holomorphic on an annulus Let A = D R \D r be an annulus centered at 0 with 0 < r < R
More informationF (z) =f(z). f(z) = a n (z z 0 ) n. F (z) = a n (z z 0 ) n
6 Chapter 2. CAUCHY S THEOREM AND ITS APPLICATIONS Theorem 5.6 (Schwarz reflection principle) Suppose that f is a holomorphic function in Ω + that extends continuously to I and such that f is real-valued
More informationThe uniformization theorem
1 The uniformization theorem Thurston s basic insight in all four of the theorems discussed in this book is that either the topology of the problem induces an appropriate geometry or there is an understandable
More informationMath 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative
Math 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative This chapter is another review of standard material in complex analysis. See for instance
More informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
More informationComplex Analysis, Stein and Shakarchi Meromorphic Functions and the Logarithm
Complex Analysis, Stein and Shakarchi Chapter 3 Meromorphic Functions and the Logarithm Yung-Hsiang Huang 217.11.5 Exercises 1. From the identity sin πz = eiπz e iπz 2i, it s easy to show its zeros are
More informationMath 213br HW 1 solutions
Math 213br HW 1 solutions February 26, 2014 Problem 1 Let P (x) be a polynomial of degree d > 1 with P (x) > 0 for all x 0. For what values of α R does the integral I(α) = 0 x α P (x) dx converge? Give
More informationYour first day at work MATH 806 (Fall 2015)
Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies
More informationComplex Analysis Qual Sheet
Complex Analysis Qual Sheet Robert Won Tricks and traps. traps. Basically all complex analysis qualifying exams are collections of tricks and - Jim Agler Useful facts. e z = 2. sin z = n=0 3. cos z = z
More informationWe denote the space of distributions on Ω by D ( Ω) 2.
Sep. 1 0, 008 Distributions Distributions are generalized functions. Some familiarity with the theory of distributions helps understanding of various function spaces which play important roles in the study
More informationCONSEQUENCES OF POWER SERIES REPRESENTATION
CONSEQUENCES OF POWER SERIES REPRESENTATION 1. The Uniqueness Theorem Theorem 1.1 (Uniqueness). Let Ω C be a region, and consider two analytic functions f, g : Ω C. Suppose that S is a subset of Ω that
More informationTopic 4 Notes Jeremy Orloff
Topic 4 Notes Jeremy Orloff 4 auchy s integral formula 4. Introduction auchy s theorem is a big theorem which we will use almost daily from here on out. Right away it will reveal a number of interesting
More informationConvex Optimization Notes
Convex Optimization Notes Jonathan Siegel January 2017 1 Convex Analysis This section is devoted to the study of convex functions f : B R {+ } and convex sets U B, for B a Banach space. The case of B =
More information2 Infinite products and existence of compactly supported φ
415 Wavelets 1 Infinite products and existence of compactly supported φ Infinite products.1 Infinite products a n need to be defined via limits. But we do not simply say that a n = lim a n N whenever the
More informationA C 0 coarse structure for families of pseudometrics and the Higson-Roe functor
A C 0 coarse structure for families of pseudometrics and the Higson-Roe functor Jesús P. Moreno-Damas arxiv:1410.2756v1 [math.gn] 10 Oct 2014 Abstract This paper deepens into the relations between coarse
More informationComplex Analysis MATH 6300 Fall 2013 Homework 4
Complex Analysis MATH 6300 Fall 2013 Homework 4 Due Wednesday, December 11 at 5 PM Note that to get full credit on any problem in this class, you must solve the problems in an efficient and elegant manner,
More informationMASTERS EXAMINATION IN MATHEMATICS SOLUTIONS
MASTERS EXAMINATION IN MATHEMATICS PURE MATHEMATICS OPTION SPRING 010 SOLUTIONS Algebra A1. Let F be a finite field. Prove that F [x] contains infinitely many prime ideals. Solution: The ring F [x] of
More informationCOMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS
Series Logo Volume 00, Number 00, Xxxx 19xx COMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS RICH STANKEWITZ Abstract. Let G be a semigroup of rational functions of degree at least two, under composition
More information1. The COMPLEX PLANE AND ELEMENTARY FUNCTIONS: Complex numbers; stereographic projection; simple and multiple connectivity, elementary functions.
Complex Analysis Qualifying Examination 1 The COMPLEX PLANE AND ELEMENTARY FUNCTIONS: Complex numbers; stereographic projection; simple and multiple connectivity, elementary functions 2 ANALYTIC FUNCTIONS:
More informationMath 185 Homework Problems IV Solutions
Math 185 Homework Problems IV Solutions Instructor: Andrés Caicedo July 31, 22 12 Suppose that Ω is a domain which is not simply connected Show that the polynomials are not dense in H(Ω) PROOF As mentioned
More informationIntroduction to Topology
Introduction to Topology Randall R. Holmes Auburn University Typeset by AMS-TEX Chapter 1. Metric Spaces 1. Definition and Examples. As the course progresses we will need to review some basic notions about
More informationPICARD S THEOREM STEFAN FRIEDL
PICARD S THEOREM STEFAN FRIEDL Abstract. We give a summary for the proof of Picard s Theorem. The proof is for the most part an excerpt of [F]. 1. Introduction Definition. Let U C be an open subset. A
More information1. If 1, ω, ω 2, -----, ω 9 are the 10 th roots of unity, then (1 + ω) (1 + ω 2 ) (1 + ω 9 ) is A) 1 B) 1 C) 10 D) 0
4 INUTES. If, ω, ω, -----, ω 9 are the th roots of unity, then ( + ω) ( + ω ) ----- ( + ω 9 ) is B) D) 5. i If - i = a + ib, then a =, b = B) a =, b = a =, b = D) a =, b= 3. Find the integral values for
More informationA PROOF OF A CONVEX-VALUED SELECTION THEOREM WITH THE CODOMAIN OF A FRÉCHET SPACE. Myung-Hyun Cho and Jun-Hui Kim. 1. Introduction
Comm. Korean Math. Soc. 16 (2001), No. 2, pp. 277 285 A PROOF OF A CONVEX-VALUED SELECTION THEOREM WITH THE CODOMAIN OF A FRÉCHET SPACE Myung-Hyun Cho and Jun-Hui Kim Abstract. The purpose of this paper
More informationTHIRD SEMESTER M. Sc. DEGREE (MATHEMATICS) EXAMINATION (CUSS PG 2010) MODEL QUESTION PAPER MT3C11: COMPLEX ANALYSIS
THIRD SEMESTER M. Sc. DEGREE (MATHEMATICS) EXAMINATION (CUSS PG 2010) MODEL QUESTION PAPER MT3C11: COMPLEX ANALYSIS TIME:3 HOURS Maximum weightage:36 PART A (Short Answer Type Question 1-14) Answer All
More informationMATH 452. SAMPLE 3 SOLUTIONS May 3, (10 pts) Let f(x + iy) = u(x, y) + iv(x, y) be an analytic function. Show that u(x, y) is harmonic.
MATH 45 SAMPLE 3 SOLUTIONS May 3, 06. (0 pts) Let f(x + iy) = u(x, y) + iv(x, y) be an analytic function. Show that u(x, y) is harmonic. Because f is holomorphic, u and v satisfy the Cauchy-Riemann equations:
More informationHomework 27. Homework 28. Homework 29. Homework 30. Prof. Girardi, Math 703, Fall 2012 Homework: Define f : C C and u, v : R 2 R by
Homework 27 Define f : C C and u, v : R 2 R by f(z) := xy where x := Re z, y := Im z u(x, y) = Re f(x + iy) v(x, y) = Im f(x + iy). Show that 1. u and v satisfies the Cauchy Riemann equations at (x, y)
More informationLECTURE-20 : ISOLATED SINGULARITIES. A punctured domain is an open set with a point removed. For p Ω, we use the notation
LECTURE-20 : ISOLATED SINGULARITIES VED V. DATAR A punctured domain is an open set with a point removed. For p Ω, we use the notation Ω p = Ω \ {p}, or simply Ω when there is no confusion about the point
More informationComplex Variables Notes for Math 703. Updated Fall Anton R. Schep
Complex Variables Notes for Math 703. Updated Fall 20 Anton R. Schep CHAPTER Holomorphic (or Analytic) Functions. Definitions and elementary properties In complex analysis we study functions f : S C,
More informationProblem 1A. Find the volume of the solid given by x 2 + z 2 1, y 2 + z 2 1. (Hint: 1. Solution: The volume is 1. Problem 2A.
Problem 1A Find the volume of the solid given by x 2 + z 2 1, y 2 + z 2 1 (Hint: 1 1 (something)dz) Solution: The volume is 1 1 4xydz where x = y = 1 z 2 This integral has value 16/3 Problem 2A Let f(x)
More informationLECTURE 3 Functional spaces on manifolds
LECTURE 3 Functional spaces on manifolds The aim of this section is to introduce Sobolev spaces on manifolds (or on vector bundles over manifolds). These will be the Banach spaces of sections we were after
More informationMAT 544 Problem Set 2 Solutions
MAT 544 Problem Set 2 Solutions Problems. Problem 1 A metric space is separable if it contains a dense subset which is finite or countably infinite. Prove that every totally bounded metric space X is separable.
More informationMATH 311: COMPLEX ANALYSIS CONTOUR INTEGRALS LECTURE
MATH 3: COMPLEX ANALYSIS CONTOUR INTEGRALS LECTURE Recall the Residue Theorem: Let be a simple closed loop, traversed counterclockwise. Let f be a function that is analytic on and meromorphic inside. Then
More information= F (b) F (a) F (x i ) F (x i+1 ). a x 0 x 1 x n b i
Real Analysis Problem 1. If F : R R is a monotone function, show that F T V ([a,b]) = F (b) F (a) for any interval [a, b], and that F has bounded variation on R if and only if it is bounded. Here F T V
More information