The Krzyż conjecture: an extremal problem for non-vanishing bounded analytic functions
|
|
- Pauline Wheeler
- 5 years ago
- Views:
Transcription
1 The Krzyż conjecture: an extremal problem for non-vanishing bounded analytic functions Dragan Vukotić Universidad Autónoma de Madrid Joint work with María J. Martín, Eric T. Sawyer, and Ignacio Uriarte-Tuero CIRM, Luminy, Function Spaces and Harmonic Analysis 30th October, 2014
2 Notation D = {z C : z < 1}: unit disk. T = {z C : z = 1}: unit circle. H 2 : the space of all functions such that f (z) = n=0 a nz n in D and ( ) 1/2 f 2 = a n 2 <. n=0 H : f = sup z D f (z) <.
3 Linear Extremal Problems Let 1 p. Find sup Φ(a 0,..., a n ) : f H p 1, f (z) = a j z j, j=0 where Φ is a continuous functional. Landau, Carathéodory, Szegö: concrete problems of this type. Unified approach (dual extremal problems): Rogosinski- H. Shapiro and S.Ya. Khavinson.
4 A non-linear extremal problem Let B denote the class of all f analytic in D such that 0 < f (z) 1 for all z en D. Consider the extremal problem of determining the supremum: M n = sup { a n : f B }, n 1. Obviously, M n 1 for all n 1. Uniform bounds on M n smaller than one exist.
5 Some basic observations Use normal families to show that the supremum M n is attained for some function f (an extremal function). Clearly, if f (z) = j=0 a jz j is extremal and λ = µ = 1, then so is λf (µz) = λ j=0 µj a j z j (rotations of f ). For every n 1, the function f n (z) = e (zn 1)/(z n +1) = 1 e + 2 e zn 2 3e z3n +... shows that M n 2/e =
6 The normalized problem By using rotations again, we can study instead the equivalent normalized problem of finding for n 1. M n = sup{re a n : f B, a 0 > 0}, The n-th coefficient of an extremal function for the above problem must actually satisfy the condition Re a n = a n. That is, a n > 0 actually must hold for such functions. (Otherwise use rotations to get a function in B for which Re a n > M n.)
7 The Krzyż conjecture Conjecture. (Krzyż, 1968) M n = 2/e for all n 1. For a fixed n, equality is attained only for the function f n as above: f n (z) = e (zn 1)/(z n +1) = 1 e + 2 e zn 2 3e z3n +... and its rotations. (With our normalization, this should be the unique extremal function.)
8 Some known uniform estimates Horowitz (1978): M n 1 1 3π + 4 π sin 1 12 = , n N. This was improved to in Ermers thesis (1990). Asymptotic bounds: Prokhorov, Romanova (2006). Being non-linear, the problem is harder than most linear ones.
9 Further observations No more than one coefficient of f can be 2/e since if a n 2/e and a m 2/e, m n, then 1 f 2 f 2 2 = ( ) 2 2 a n 2 2 = 8 e e 2 > 1. n=0 For the purported extremal function, we have a 0 = 1 e, a 1 = a 2 =... = a n 1 = 0, a n = 2a 0.
10 Further observations No more than one coefficient of f can be 2/e since if a n 2/e and a m 2/e, m n, then 1 f 2 f 2 2 = ( ) 2 2 a n 2 2 = 8 e e 2 > 1. n=0 For the purported extremal function, we have a 0 = 1 e, a 1 = a 2 =... = a n 1 = 0, a n = 2a 0.
11 Partial results Case n = 1: relatively easy (known since 1934). n = 2 is already non-trivial: Krzyż, Reade, MacGregor (unpublished). n = 3: Hummel, Scheinberg, Zalcman (1977). n = 4: Tan (1983?), Brown (1987). n = 5: Samaris (2003). Lewandowski, Szynal, Peretz: various partial contributions.
12 Partial results Case n = 1: relatively easy (known since 1934). n = 2 is already non-trivial: Krzyż, Reade, MacGregor (unpublished). n = 3: Hummel, Scheinberg, Zalcman (1977). n = 4: Tan (1983?), Brown (1987). n = 5: Samaris (2003). Lewandowski, Szynal, Peretz: various partial contributions.
13 Partial results Case n = 1: relatively easy (known since 1934). n = 2 is already non-trivial: Krzyż, Reade, MacGregor (unpublished). n = 3: Hummel, Scheinberg, Zalcman (1977). n = 4: Tan (1983?), Brown (1987). n = 5: Samaris (2003). Lewandowski, Szynal, Peretz: various partial contributions.
14 Partial results Case n = 1: relatively easy (known since 1934). n = 2 is already non-trivial: Krzyż, Reade, MacGregor (unpublished). n = 3: Hummel, Scheinberg, Zalcman (1977). n = 4: Tan (1983?), Brown (1987). n = 5: Samaris (2003). Lewandowski, Szynal, Peretz: various partial contributions.
15 Partial results Case n = 1: relatively easy (known since 1934). n = 2 is already non-trivial: Krzyż, Reade, MacGregor (unpublished). n = 3: Hummel, Scheinberg, Zalcman (1977). n = 4: Tan (1983?), Brown (1987). n = 5: Samaris (2003). Lewandowski, Szynal, Peretz: various partial contributions.
16 Partial results Case n = 1: relatively easy (known since 1934). n = 2 is already non-trivial: Krzyż, Reade, MacGregor (unpublished). n = 3: Hummel, Scheinberg, Zalcman (1977). n = 4: Tan (1983?), Brown (1987). n = 5: Samaris (2003). Lewandowski, Szynal, Peretz: various partial contributions.
17 The structure of extremal functions Hummel, Scheinberg, and Zalcman (1977) established the structure of extremal functions, indicating various proofs of this fact. This structure can be deduced from an earlier work of S.Ya. Khavinson. Other proofs: Kortram (1993), based on the study of extreme points of the unit ball in H. Marshall (2011, unpublished), based on the Carathéodory-Toeplitz theorem (from 1911).
18 The structure of extremal functions Hummel, Scheinberg, and Zalcman (1977) established the structure of extremal functions, indicating various proofs of this fact. This structure can be deduced from an earlier work of S.Ya. Khavinson. Other proofs: Kortram (1993), based on the study of extreme points of the unit ball in H. Marshall (2011, unpublished), based on the Carathéodory-Toeplitz theorem (from 1911).
19 The structure of extremal functions Hummel, Scheinberg, and Zalcman (1977) established the structure of extremal functions, indicating various proofs of this fact. This structure can be deduced from an earlier work of S.Ya. Khavinson. Other proofs: Kortram (1993), based on the study of extreme points of the unit ball in H. Marshall (2011, unpublished), based on the Carathéodory-Toeplitz theorem (from 1911).
20 The structure of extremal functions Hummel, Scheinberg, and Zalcman (1977) established the structure of extremal functions, indicating various proofs of this fact. This structure can be deduced from an earlier work of S.Ya. Khavinson. Other proofs: Kortram (1993), based on the study of extreme points of the unit ball in H. Marshall (2011, unpublished), based on the Carathéodory-Toeplitz theorem (from 1911).
21 All extremal functions have the form N j=1 f (z) = e r α j z 1 j α j z+1, 1 N n, r j > 0, α j = 1, j = 1, 2,..., N. There are many parameters to handle and it is not at all obvious that we must have a complete symmetry: N = n, r j = 1 n, α j = e 2πji/n. Note that the above f is actually f = e B 1 B+1, where B is a finite Blaschke product of degree N n. NEED TO SHOW: B(z) = z n.
22 Recurrence relations Lemma. If f and g are analytic in D and f = e g, f (z) = a j z j, g(z) = j=0 b j z j, j=0 then and k=0 a 0 = e b 0 n 1 ( a n = 1 k ) a k b n k, n 1. n
23 More precisely, (b1 2 a 1 = a 0 b 1, a 2 = a b 2 ) a 3 = a 0 ( b b 1b 2 + b 3 a 4 = a 0 ( b b2 1 b b 1b 3 + b b 4, ), ),...
24 In general, where, for each n 1, P n (b 1, b 2,..., b n ) = a n = a 0 P n (b 1, b 2,..., b n ), 1 m n, m j=1 i j (n)=n c i1 (n),i 2 (n),...,i m(n)b i1 (n)b i2 (n)... b im(n), where all i j (n) N and c i1 (n),i 2 (n),...,i m(n) > 0. Whenever 1 m n and m j=1 i j(n) = n, the term containing the product b i1 (n)b i2 (n)... b im(n) actually appears in the expression for P n with a non-zero coefficient in front of it.
25 Some relevant observations If f (z) = j=0 a jz j is extremal for the Krzyż problem (with a 0 > 0) then we know that a n > 0. Also, one can use a variational method to show that P(λ) = a n + 2a n 1 λ a 1 λ n 1 + 2a 0 λ n has positive real part on the unit circle (equivalently, on the closed unit disk). Consequence: a n 2a 0.
26 Can also show: if f is extremal, f = e g, and the coefficients of g are denoted by b j, we have Writing Re {a n b 0 + a n 1 b a 0 b n } = 0. P(z) = 2a 0 n (z λ k ), k=1 and computing P(0), it follows that the zeros λ k of the polynomial P(λ), 1 k n, satisfy the condition ( 1) n n λ k 1. k=1
27 A trick of F. Wiener If f 1 in D, f (z) = k=0 a kz k, and ω = e 2πi/n is the primitive n-th root of unity, define the function W n f (z) = 1 n 1 f (ω k z) = n H(z) = k=0 a nk z nk = H(z n ). k=0 a nk z k = a 0 + a n z + a 2n z , k=0 also bounded by one and with H (0) = a n.
28 How can Wiener s trick help? Let f be extremal. If the function H does not vanish in D, the conjecture follows by applying Wiener s trick to reduce the problem on M n to that of M 1 (known). If it vanishes, there exist a Blaschke product B (possibly a constant of modulus one) and a function G, analytic and non-vanishing in D, such that H = BG, G = H 1.
29 Since for any α with α = 1 we have H = (αb)(αg) and H(0) = a 0 > 0, we can replace B by αb and so without loss of generality we may assume that B(0) is real and positive. Thus, W n f (z) = a 0 + a n z n +... = B(z n )G(z n ) = (B 0 + B n z n +...)(C 0 + C n z n +...). When W n f does not vanish in the disk, can think of B B 0 = 1 so as to include both cases. Can show: if f is extremal and 0 < B 0 1, we have a n a B 0.
30 Some special results One can prove the Krzyż conjecture under some additional hypotheses on an extremal function such as: a i = 0 for all i belonging to some I {1, 2,..., n 1}. Typically, about a half of these initial coefficients are assumed to vanish. J.E. Brown s (1985): if a i = 0 whenever 1 i < (n + 1)/2 then the conjecture follows. Peretz (1991) proved the following: (a) if n is odd and a 1 = a 3 =... = a n 2 = 0 then a 0 1/e, (b) if, in addition to this, a 0 = 1/e then a n = 2/e.
31 Note: Brown s assumptions a i = 0 whenever 1 i < (n + 1)/2 imply that also b i = 0 whenever 1 i < (n + 1)/2. Also simple: for n odd, Peretz s assumptions a 1 = a 3 =... = a n 2 = 0 imply that a k = a 0 b k for each k {1, 2,..., n}, hence also b 1 = b 3 =... = b n 2 = 0.
32 Inductive sets In what follows, the sets I of indices as in the papers by Brown and Peretz will be called inductive sets. This will lead to further examples and a unified proof of the conjecture under other similar assumptions. Fix n N, n 2. Given K {1, 2, 3,..., n 1}, define C n K = {c = (c 1, c 2,..., c n ) C n : c i = 0 for all i K }. By an additive semigroup or simply semigroup we will mean a subset of N closed under addition. For K {1, 2, 3,..., n 1}, denote by G(K ) the additive semigroup generated by (K {n}) c = N \ (K {n}).
33 Let n N, n 2, and a 0 > 0. A subset I of {1, 2, 3,..., n 1} is said to be n-inductive if a n = a 0 b n for all a C n I and b C n that satisfy the recursion formulas for a j and b j. A subset J of {1, 2, 3,..., n 1} is said to be exponentially n-inductive if a n = a 0 b n for all a C n and b C n J that satisfy the recursion formulas for a j and b j. We will sometimes suppress the integer n and simply say I is inductive or J is exponentially inductive when the value of n is understood.
34 The following lemma allows us to have enough examples. Lemma. Fix n N, n 2, a 0 > 0. (a) Let I = {i : 1 i n 1, a i = 0}. Then I is n-inductive if and only if n / G(I). (b) Let J = {j : 1 j n 1, b j = 0}. Then J is exponentially n-inductive if and only if n / G(J).
35 The situation considered by Peretz corresponds to the semigroup G(I) = 2N = {2, 4, 6, 8,...}. In Brown s result, G(I) is the semigroup generated by the set {i N : (n + 1)/2 i n 1}. In both cases, as observed before, I = J hence G(I) = G(J). There are other examples of inductive sets with density about 1/2 in 1, 2,..., n 1.
36 Summary of observations Let f = e g be extremal and let a j and b j be as before. Then a n > 0 (in fact, a n = M n 2/e). May assume: b 0 < 0. Know: (I) 2 an a B 0, where B 0 is the constant term in the Blaschke factor of the earlier factorization normalized so that 0 < B 0 1. (II) The polynomial P(z) = a n + 2a n 1 z a 1 z n 1 + 2a 0 z n has non-negative real part on the closed unit disk D and strictly positive real part on D. (III) N n in the formula for the structure of extremal functions N j=1 f (z) = e r α j z 1 j α j z+1, and also Re b n 2 b 0 (by Carathéodory s lemma). (IV) The zeros λ j, 1 j n, of the polynomial P satisfy λ k 1 for 1 k n and ( 1) n n k=1 λ k 1.
37 Summary of observations Let f = e g be extremal and let a j and b j be as before. Then a n > 0 (in fact, a n = M n 2/e). May assume: b 0 < 0. Know: (I) 2 an a B 0, where B 0 is the constant term in the Blaschke factor of the earlier factorization normalized so that 0 < B 0 1. (II) The polynomial P(z) = a n + 2a n 1 z a 1 z n 1 + 2a 0 z n has non-negative real part on the closed unit disk D and strictly positive real part on D. (III) N n in the formula for the structure of extremal functions N j=1 f (z) = e r α j z 1 j α j z+1, and also Re b n 2 b 0 (by Carathéodory s lemma). (IV) The zeros λ j, 1 j n, of the polynomial P satisfy λ k 1 for 1 k n and ( 1) n n k=1 λ k 1.
38 Summary of observations Let f = e g be extremal and let a j and b j be as before. Then a n > 0 (in fact, a n = M n 2/e). May assume: b 0 < 0. Know: (I) 2 an a B 0, where B 0 is the constant term in the Blaschke factor of the earlier factorization normalized so that 0 < B 0 1. (II) The polynomial P(z) = a n + 2a n 1 z a 1 z n 1 + 2a 0 z n has non-negative real part on the closed unit disk D and strictly positive real part on D. (III) N n in the formula for the structure of extremal functions N j=1 f (z) = e r α j z 1 j α j z+1, and also Re b n 2 b 0 (by Carathéodory s lemma). (IV) The zeros λ j, 1 j n, of the polynomial P satisfy λ k 1 for 1 k n and ( 1) n n k=1 λ k 1.
39 Summary of observations Let f = e g be extremal and let a j and b j be as before. Then a n > 0 (in fact, a n = M n 2/e). May assume: b 0 < 0. Know: (I) 2 an a B 0, where B 0 is the constant term in the Blaschke factor of the earlier factorization normalized so that 0 < B 0 1. (II) The polynomial P(z) = a n + 2a n 1 z a 1 z n 1 + 2a 0 z n has non-negative real part on the closed unit disk D and strictly positive real part on D. (III) N n in the formula for the structure of extremal functions N j=1 f (z) = e r α j z 1 j α j z+1, and also Re b n 2 b 0 (by Carathéodory s lemma). (IV) The zeros λ j, 1 j n, of the polynomial P satisfy λ k 1 for 1 k n and ( 1) n n k=1 λ k 1.
40 The main result Theorem. Let n 2 and consider an arbitrary but fixed extremal function f for the normalized Krzyż problem. Write f (z) = j=0 a jz j, g(z) = j=0 b jz j, and f = e g as before, and consider the quantity B 0, the polynomial P and its zeros as described. (I) The following statements are equivalent: (1) a n = 2a 0 ; (2) a k = 0 whenever 1 k < n; (3) b k = 0 whenever 1 k < n;
41 (4) f (z) = e (zn 1)/(z n +1) (and, in particular, M n = 2/e); (5) the set I consisting of all indices i {1, 2,..., n 1} for which a i = 0 is n-inductive; (6) the set J consisting of all indices j {1, 2,..., n 1} for which b j = 0 is exponentially n-inductive; (7) there exists an analytic function H in D such that H(z) 1 for all z D and k N, k n/2, with g(z) = (z k H(z) 1)/(z k H(z) + 1) ; (8) the zeros of the polynomial P satisfy ( 1) n n k=1 λ k = 1; (9) the zeros of P all lie on the unit circle; (10) the zeros of P are actually the n-th roots of 1;
42 (11) a n b 0 + a 0 Re {b n } = 0; (12) Re {a 1 b n 1 + a 2 b n a n 1 b 1 } = 0; (13) a n = a 0 Re b n. (14) Re b n = 2 b 0, N = n, and r 1 = r 2 =... = r n ; (15) B 0 = 1; (16) W n f does not vanish in D; (17) W n f f ; (18) g = W n g. (II) In addition to the above, the following is true: there is a unique extremal function for the normalized problem if and only if every extremal function for this problem satisfies any one of the conditions (1) (18) from part (I), and therefore all of them.
43 According to the above findings, proving the conjecture essentially amounts to showing that N = n in N j=1 f (z) = e r α j z 1 j α j z+1, and the following three sets of numbers actually coincide: - {α 1,..., α N }, the rotation coefficients in the point masses in extremal functions, - {ω 1,..., ω n }, the n-th roots of 1, - {λ 1,..., λ n }, the roots of the polynomial P associated with the extremal function f, - the zeros of Re P = Q 2 on T. Alternatively, it suffices to show the uniqueness of the extremal function for the normalized problem. Although unpublished so far, this fact seems to be known to several experts.
44 According to the above findings, proving the conjecture essentially amounts to showing that N = n in N j=1 f (z) = e r α j z 1 j α j z+1, and the following three sets of numbers actually coincide: - {α 1,..., α N }, the rotation coefficients in the point masses in extremal functions, - {ω 1,..., ω n }, the n-th roots of 1, - {λ 1,..., λ n }, the roots of the polynomial P associated with the extremal function f, - the zeros of Re P = Q 2 on T. Alternatively, it suffices to show the uniqueness of the extremal function for the normalized problem. Although unpublished so far, this fact seems to be known to several experts.
45 THANK YOU!
arxiv: v3 [math.cv] 18 Dec 2014
THE KRZYŻ CONJECTURE REVISITED arxiv:1311.7668v3 [math.cv] 18 Dec 2014 MARÍA J. MARTÍN, ERIC T. SAWYER, IGNACIO URIARTE-TUERO, AND DRAGAN VUKOTIĆ Abstract. The Krzyż conjecture concerns the largest values
More informationThe Krzyż Conjecture and an Entropy Conjecture
arxiv:1803.09718v1 [math.cv] 26 Mar 2018 The Krzyż Conjecture and an Entropy Conjecture Jim Agler John E. McCarthy September 24, 2018 Abstract: We show that if the minimum entropy for a polynomial with
More informationComplex Analysis Homework 9: Solutions
Complex Analysis Fall 2007 Homework 9: Solutions 3..4 (a) Let z C \ {ni : n Z}. Then /(n 2 + z 2 ) n /n 2 n 2 n n 2 + z 2. According to the it comparison test from calculus, the series n 2 + z 2 converges
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 informationWhy Bohr got interested in his radius and what it has led to
Why Bohr got interested in his radius and what it has led to Kristian Seip Norwegian University of Science and Technology (NTNU) Universidad Autónoma de Madrid, December 11, 2009 Definition of Bohr radius
More informationNumerical Sequences and Series
Numerical Sequences and Series Written by Men-Gen Tsai email: b89902089@ntu.edu.tw. Prove that the convergence of {s n } implies convergence of { s n }. Is the converse true? Solution: Since {s n } is
More informationBoundary behaviour of optimal polynomial approximants
Boundary behaviour of optimal polynomial approximants University of South Florida Laval University, in honour of Tom Ransford, May 2018 This talk is based on some recent and upcoming papers with various
More information2.2 Some Consequences of the Completeness Axiom
60 CHAPTER 2. IMPORTANT PROPERTIES OF R 2.2 Some Consequences of the Completeness Axiom In this section, we use the fact that R is complete to establish some important results. First, we will prove that
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 informationChapter 1. Sets and Mappings
Chapter 1. Sets and Mappings 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write
More informationCourse 214 Basic Properties of Holomorphic Functions Second Semester 2008
Course 214 Basic Properties of Holomorphic Functions Second Semester 2008 David R. Wilkins Copyright c David R. Wilkins 1989 2008 Contents 7 Basic Properties of Holomorphic Functions 72 7.1 Taylor s Theorem
More informationLegendre s Equation. PHYS Southern Illinois University. October 18, 2016
Legendre s Equation PHYS 500 - Southern Illinois University October 18, 2016 PHYS 500 - Southern Illinois University Legendre s Equation October 18, 2016 1 / 11 Legendre s Equation Recall We are trying
More informationBOHR S POWER SERIES THEOREM IN SEVERAL VARIABLES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 10, October 1997, Pages 2975 2979 S 0002-9939(97)04270-6 BOHR S POWER SERIES THEOREM IN SEVERAL VARIABLES HAROLD P. BOAS AND DMITRY KHAVINSON
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 informationSOME PROPERTIES OF THE CANONICAL DIVISOR IN THE BERGMAN SPACE
SOME PROPERTIES OF THE CANONICAL DIVISOR IN THE BERGMAN SPACE Cyrus Luciano 1, Lothar Narins 2, Alexander Schuster 3 1 Department of Mathematics, SFSU, San Francisco, CA 94132,USA e-mail: lucianca@sfsu.edu
More informationSOME COUNTEREXAMPLES IN DYNAMICS OF RATIONAL SEMIGROUPS. 1. Introduction
SOME COUNTEREXAMPLES IN DYNAMICS OF RATIONAL SEMIGROUPS RICH STANKEWITZ, TOSHIYUKI SUGAWA, AND HIROKI SUMI Abstract. We give an example of two rational functions with non-equal Julia sets that generate
More informationCopyright 2010 Pearson Education, Inc. Publishing as Prentice Hall.
.1 Limits of Sequences. CHAPTER.1.0. a) True. If converges, then there is an M > 0 such that M. Choose by Archimedes an N N such that N > M/ε. Then n N implies /n M/n M/N < ε. b) False. = n does not converge,
More informationShih-sen Chang, Yeol Je Cho, and Haiyun Zhou
J. Korean Math. Soc. 38 (2001), No. 6, pp. 1245 1260 DEMI-CLOSED PRINCIPLE AND WEAK CONVERGENCE PROBLEMS FOR ASYMPTOTICALLY NONEXPANSIVE MAPPINGS Shih-sen Chang, Yeol Je Cho, and Haiyun Zhou Abstract.
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 informationCOMBINATORIAL COUNTING
COMBINATORIAL COUNTING Our main reference is [1, Section 3] 1 Basic counting: functions and subsets Theorem 11 (Arbitrary mapping Let N be an n-element set (it may also be empty and let M be an m-element
More informationA Note on Coefficient Inequalities for (j, i)-symmetrical Functions with Conic Regions
BULLETIN OF THE INTERNATIONAL MATHEMATICAL VIRTUAL INSTITUTE ISSN (p) 2303-4874 ISSN (o) 2303-4955 wwwimviblorg /JOURNALS / BULLETIN Vol 6(2016) 77-87 Former BULLETIN OF THE SOCIETY OF MATHEMATICIANS BANJA
More informationOn the Waring problem for polynomial rings
On the Waring problem for polynomial rings Boris Shapiro jointly with Ralf Fröberg, Giorgio Ottaviani Université de Genève, March 21, 2016 Introduction In this lecture we discuss an analog of the classical
More informationPrinciple of Mathematical Induction
Advanced Calculus I. Math 451, Fall 2016, Prof. Vershynin Principle of Mathematical Induction 1. Prove that 1 + 2 + + n = 1 n(n + 1) for all n N. 2 2. Prove that 1 2 + 2 2 + + n 2 = 1 n(n + 1)(2n + 1)
More informationRESEARCH STATEMENT. Introduction
RESEARCH STATEMENT PRITHA CHAKRABORTY Introduction My primary research interests lie in complex analysis (in one variable), especially in complex-valued analytic function spaces and their applications
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 information1 Examples of Weak Induction
More About Mathematical Induction Mathematical induction is designed for proving that a statement holds for all nonnegative integers (or integers beyond an initial one). Here are some extra examples of
More informationWeek 2: Sequences and Series
QF0: Quantitative Finance August 29, 207 Week 2: Sequences and Series Facilitator: Christopher Ting AY 207/208 Mathematicians have tried in vain to this day to discover some order in the sequence of prime
More informationEstimates for the resolvent and spectral gaps for non self-adjoint operators. University Bordeaux
for the resolvent and spectral gaps for non self-adjoint operators 1 / 29 Estimates for the resolvent and spectral gaps for non self-adjoint operators Vesselin Petkov University Bordeaux Mathematics Days
More informationContinued fractions for complex numbers and values of binary quadratic forms
arxiv:110.3754v1 [math.nt] 18 Feb 011 Continued fractions for complex numbers and values of binary quadratic forms S.G. Dani and Arnaldo Nogueira February 1, 011 Abstract We describe various properties
More informationMATH 1A, Complete Lecture Notes. Fedor Duzhin
MATH 1A, Complete Lecture Notes Fedor Duzhin 2007 Contents I Limit 6 1 Sets and Functions 7 1.1 Sets................................. 7 1.2 Functions.............................. 8 1.3 How to define a
More information4 Uniform convergence
4 Uniform convergence In the last few sections we have seen several functions which have been defined via series or integrals. We now want to develop tools that will allow us to show that these functions
More informationMultiple interpolation and extremal functions in the Bergman spaces
Multiple interpolation and extremal functions in the Bergman spaces Mark Krosky and Alexander P. Schuster Abstract. Multiple interpolation sequences for the Bergman space are characterized. In addition,
More informationAnalysis of Algorithms I: Asymptotic Notation, Induction, and MergeSort
Analysis of Algorithms I: Asymptotic Notation, Induction, and MergeSort Xi Chen Columbia University We continue with two more asymptotic notation: o( ) and ω( ). Let f (n) and g(n) are functions that map
More information#A69 INTEGERS 13 (2013) OPTIMAL PRIMITIVE SETS WITH RESTRICTED PRIMES
#A69 INTEGERS 3 (203) OPTIMAL PRIMITIVE SETS WITH RESTRICTED PRIMES William D. Banks Department of Mathematics, University of Missouri, Columbia, Missouri bankswd@missouri.edu Greg Martin Department of
More informationSUMS OF ENTIRE FUNCTIONS HAVING ONLY REAL ZEROS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 SUMS OF ENTIRE FUNCTIONS HAVING ONLY REAL ZEROS STEVEN R. ADAMS AND DAVID A. CARDON (Communicated
More informationHomework 4, 5, 6 Solutions. > 0, and so a n 0 = n + 1 n = ( n+1 n)( n+1+ n) 1 if n is odd 1/n if n is even diverges.
2..2(a) lim a n = 0. Homework 4, 5, 6 Solutions Proof. Let ɛ > 0. Then for n n = 2+ 2ɛ we have 2n 3 4+ ɛ 3 > ɛ > 0, so 0 < 2n 3 < ɛ, and thus a n 0 = 2n 3 < ɛ. 2..2(g) lim ( n + n) = 0. Proof. Let ɛ >
More informationThe Landau problem for nonvanishing functions with real coecients
Journal of Computational Applied Mathematics 139 (2002) 129 139 www.elsevier.com/locate/cam The Lau problem for nonvanishing functions with real coecients Philippos Koulorizos, Nikolas Samaris Department
More informationON THE NORM OF A COMPOSITION OPERATOR WITH LINEAR FRACTIONAL SYMBOL
ON THE NORM OF A COMPOSITION OPERATOR WITH LINEAR FRACTIONAL SYMBOL CHRISTOPHER HAMMOND Abstract. For any analytic map ϕ : D D, the composition operator C ϕ is bounded on the Hardy space H 2, but there
More informationHardy spaces of Dirichlet series and function theory on polydiscs
Hardy spaces of Dirichlet series and function theory on polydiscs Kristian Seip Norwegian University of Science and Technology (NTNU) Steinkjer, September 11 12, 2009 Summary Lecture One Theorem (H. Bohr)
More informationNATIONAL UNIVERSITY OF SINGAPORE. Department of Mathematics. MA4247 Complex Analysis II. Lecture Notes Part IV
NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part IV Chapter 2. Further properties of analytic/holomorphic functions (continued) 2.4. The Open mapping
More informationBiholomorphic functions on dual of Banach Space
Biholomorphic functions on dual of Banach Space Mary Lilian Lourenço University of São Paulo - Brazil Joint work with H. Carrión and P. Galindo Conference on Non Linear Functional Analysis. Workshop on
More informationCyclic vectors in Dirichlet-type spaces
Cyclic vectors in Dirichlet-type spaces Constanze Liaw (Baylor University) at TeXAMP 2013 This presentation is based on joint work with C. Bénéteau, A. Condori, D. Seco, A. Sola. Thanks to NSF for their
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 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 informationOn the Crossing Number of Complete Graphs with an Uncrossed Hamiltonian Cycle
On the Crossing Number of Complete Graphs with an Uncrossed Hamiltonian Cycle Daniel M Kane September, 03 In [], Guy conjectured that the crossing number of the complete graph was given by: cr(k n = Z(n
More informationRevision Problems for Examination 1 in Algebra 1
Centre for Mathematical Sciences Mathematics, Faculty of Science Revision Problems for Examination 1 in Algebra 1 Arithmetics 1 Determine a greatest common divisor to the integers a) 5431 and 1345, b)
More information4 Linear Recurrence Relations & the Fibonacci Sequence
4 Linear Recurrence Relations & the Fibonacci Sequence Recall the classic example of the Fibonacci sequence (F n ) n=1 the relations: F n+ = F n+1 + F n F 1 = F = 1 = (1, 1,, 3, 5, 8, 13, 1,...), defined
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 informationL p Spaces and Convexity
L p Spaces and Convexity These notes largely follow the treatments in Royden, Real Analysis, and Rudin, Real & Complex Analysis. 1. Convex functions Let I R be an interval. For I open, we say a function
More informationCourse 214 Section 2: Infinite Series Second Semester 2008
Course 214 Section 2: Infinite Series Second Semester 2008 David R. Wilkins Copyright c David R. Wilkins 1989 2008 Contents 2 Infinite Series 25 2.1 The Comparison Test and Ratio Test.............. 26
More informationMATH 117 LECTURE NOTES
MATH 117 LECTURE NOTES XIN ZHOU Abstract. This is the set of lecture notes for Math 117 during Fall quarter of 2017 at UC Santa Barbara. The lectures follow closely the textbook [1]. Contents 1. The set
More informationMATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals
MATH 02 INTRODUCTION TO MATHEMATICAL ANALYSIS Properties of Real Numbers Some Fundamentals The whole course will be based entirely on the study of sequence of numbers and functions defined on the real
More informationBMO Round 2 Problem 3 Generalisation and Bounds
BMO 2007 2008 Round 2 Problem 3 Generalisation and Bounds Joseph Myers February 2008 1 Introduction Problem 3 (by Paul Jefferys) is: 3. Adrian has drawn a circle in the xy-plane whose radius is a positive
More information(x 1, y 1 ) = (x 2, y 2 ) if and only if x 1 = x 2 and y 1 = y 2.
1. Complex numbers A complex number z is defined as an ordered pair z = (x, y), where x and y are a pair of real numbers. In usual notation, we write z = x + iy, where i is a symbol. The operations of
More informationCHAPTER 7. Connectedness
CHAPTER 7 Connectedness 7.1. Connected topological spaces Definition 7.1. A topological space (X, T X ) is said to be connected if there is no continuous surjection f : X {0, 1} where the two point set
More informationANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2.
ANALYSIS QUALIFYING EXAM FALL 27: SOLUTIONS Problem. Determine, with justification, the it cos(nx) n 2 x 2 dx. Solution. For an integer n >, define g n : (, ) R by Also define g : (, ) R by g(x) = g n
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 informationRings With Topologies Induced by Spaces of Functions
Rings With Topologies Induced by Spaces of Functions Răzvan Gelca April 7, 2006 Abstract: By considering topologies on Noetherian rings that carry the properties of those induced by spaces of functions,
More informationHAIYUN ZHOU, RAVI P. AGARWAL, YEOL JE CHO, AND YONG SOO KIM
Georgian Mathematical Journal Volume 9 (2002), Number 3, 591 600 NONEXPANSIVE MAPPINGS AND ITERATIVE METHODS IN UNIFORMLY CONVEX BANACH SPACES HAIYUN ZHOU, RAVI P. AGARWAL, YEOL JE CHO, AND YONG SOO KIM
More informationEcon Slides from Lecture 1
Econ 205 Sobel Econ 205 - Slides from Lecture 1 Joel Sobel August 23, 2010 Warning I can t start without assuming that something is common knowledge. You can find basic definitions of Sets and Set Operations
More informationComposition operators: the essential norm and norm-attaining
Composition operators: the essential norm and norm-attaining Mikael Lindström Department of Mathematical Sciences University of Oulu Valencia, April, 2011 The purpose of this talk is to first discuss the
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 informationarxiv: v1 [math.mg] 15 Jul 2013
INVERSE BERNSTEIN INEQUALITIES AND MIN-MAX-MIN PROBLEMS ON THE UNIT CIRCLE arxiv:1307.4056v1 [math.mg] 15 Jul 013 TAMÁS ERDÉLYI, DOUGLAS P. HARDIN, AND EDWARD B. SAFF Abstract. We give a short and elementary
More information1 The Observability Canonical Form
NONLINEAR OBSERVERS AND SEPARATION PRINCIPLE 1 The Observability Canonical Form In this Chapter we discuss the design of observers for nonlinear systems modelled by equations of the form ẋ = f(x, u) (1)
More informationSolving a linear equation in a set of integers II
ACTA ARITHMETICA LXXII.4 (1995) Solving a linear equation in a set of integers II by Imre Z. Ruzsa (Budapest) 1. Introduction. We continue the study of linear equations started in Part I of this paper.
More information1. Introduction This paper investigates the properties of Ramanujan polynomials, which, for each k 0, the authors of [2] define to be
ZEROS OF RAMANUJAN POLYNOMIALS M. RAM MURTY, CHRIS SMYTH, AND ROB J. WANG Abstract. In this paper, we investigate the properties of Ramanujan polynomials, a family of reciprocal polynomials with real coefficients
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 informationComposition Operators on Hilbert Spaces of Analytic Functions
Composition Operators on Hilbert Spaces of Analytic Functions Carl C. Cowen IUPUI (Indiana University Purdue University Indianapolis) and Purdue University First International Conference on Mathematics
More informationMath 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction
Math 4 Summer 01 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More informationLinear functionals and the duality principle for harmonic functions
Math. Nachr. 285, No. 13, 1565 1571 (2012) / DOI 10.1002/mana.201100259 Linear functionals and the duality principle for harmonic functions Rosihan M. Ali 1 and S. Ponnusamy 2 1 School of Mathematical
More informationWe are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero
Chapter Limits of Sequences Calculus Student: lim s n = 0 means the s n are getting closer and closer to zero but never gets there. Instructor: ARGHHHHH! Exercise. Think of a better response for the instructor.
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 informationWeek 9-10: Recurrence Relations and Generating Functions
Week 9-10: Recurrence Relations and Generating Functions April 3, 2017 1 Some number sequences An infinite sequence (or just a sequence for short is an ordered array a 0, a 1, a 2,..., a n,... of countably
More informationExtension of continuous functions in digital spaces with the Khalimsky topology
Extension of continuous functions in digital spaces with the Khalimsky topology Erik Melin Uppsala University, Department of Mathematics Box 480, SE-751 06 Uppsala, Sweden melin@math.uu.se http://www.math.uu.se/~melin
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 informationOn the variety of linear recurrences and numerical semigroups
Semigroup Forum DOI 10.1007/s00233-013-9551-2 RESEARCH ARTICLE On the variety of linear recurrences and numerical semigroups Ivan Martino Luca Martino Received: 10 April 2013 / Accepted: 24 October 2013
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 informationStanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon Measures
2 1 Borel Regular Measures We now state and prove an important regularity property of Borel regular outer measures: Stanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon
More informationHOMEWORK ASSIGNMENT 6
HOMEWORK ASSIGNMENT 6 DUE 15 MARCH, 2016 1) Suppose f, g : A R are uniformly continuous on A. Show that f + g is uniformly continuous on A. Solution First we note: In order to show that f + g is uniformly
More informationTopological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
More informationIntroduction and Preliminaries
Chapter 1 Introduction and Preliminaries This chapter serves two purposes. The first purpose is to prepare the readers for the more systematic development in later chapters of methods of real analysis
More informationACI-matrices all of whose completions have the same rank
ACI-matrices all of whose completions have the same rank Zejun Huang, Xingzhi Zhan Department of Mathematics East China Normal University Shanghai 200241, China Abstract We characterize the ACI-matrices
More informationDIAGONAL TOEPLITZ OPERATORS ON WEIGHTED BERGMAN SPACES
DIAGONAL TOEPLITZ OPERATORS ON WEIGHTED BERGMAN SPACES TRIEU LE Abstract. In this paper we discuss some algebraic properties of diagonal Toeplitz operators on weighted Bergman spaces of the unit ball in
More informationSolutions for Problem Set #5 due October 17, 2003 Dustin Cartwright and Dylan Thurston
Solutions for Problem Set #5 due October 17, 23 Dustin Cartwright and Dylan Thurston 1 (B&N 6.5) Suppose an analytic function f agrees with tan x, x 1. Show that f(z) = i has no solution. Could f be entire?
More informationAlmost all trees have an even number of independent sets
Almost all trees have an even number of independent sets Stephan G. Wagner Department of Mathematical Sciences Stellenbosch University Private Bag X1, Matieland 7602, South Africa swagner@sun.ac.za Submitted:
More informationBank-Laine functions with periodic zero-sequences
Bank-Laine functions with periodic zero-sequences S.M. ElZaidi and J.K. Langley Abstract A Bank-Laine function is an entire function E such that E(z) = 0 implies that E (z) = ±1. Such functions arise as
More information3. 4. Uniformly normal families and generalisations
Summer School Normal Families in Complex Analysis Julius-Maximilians-Universität Würzburg May 22 29, 2015 3. 4. Uniformly normal families and generalisations Aimo Hinkkanen University of Illinois at Urbana
More informationWe have been going places in the car of calculus for years, but this analysis course is about how the car actually works.
Analysis I We have been going places in the car of calculus for years, but this analysis course is about how the car actually works. Copier s Message These notes may contain errors. In fact, they almost
More informationThe 4-periodic spiral determinant
The 4-periodic spiral determinant Darij Grinberg rough draft, October 3, 2018 Contents 001 Acknowledgments 1 1 The determinant 1 2 The proof 4 *** The purpose of this note is to generalize the determinant
More informationMathematics-I Prof. S.K. Ray Department of Mathematics and Statistics Indian Institute of Technology, Kanpur. Lecture 1 Real Numbers
Mathematics-I Prof. S.K. Ray Department of Mathematics and Statistics Indian Institute of Technology, Kanpur Lecture 1 Real Numbers In these lectures, we are going to study a branch of mathematics called
More informationConvergence Rates for Renewal Sequences
Convergence Rates for Renewal Sequences M. C. Spruill School of Mathematics Georgia Institute of Technology Atlanta, Ga. USA January 2002 ABSTRACT The precise rate of geometric convergence of nonhomogeneous
More informationON THE GAPS BETWEEN ZEROS OF TRIGONOMETRIC POLYNOMIALS
Real Analysis Exchange Vol. 8(), 00/003, pp. 447 454 Gady Kozma, Faculty of Mathematics and Computer Science, Weizmann Institute of Science, POB 6, Rehovot 76100, Israel. e-mail: gadyk@wisdom.weizmann.ac.il,
More informationNotes on Complex Analysis
Michael Papadimitrakis Notes on Complex Analysis Department of Mathematics University of Crete Contents The complex plane.. The complex plane...................................2 Argument and polar representation.........................
More information1 Local estimates of exponential polynomials and their applications to inequalities of uncertainty principle type - part I
1 Local estimates of exponential polynomials and their applications to inequalities of uncertainty principle type - part I after F. L. Nazarov [3] A summary written by Christoph Marx Abstract A classical
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 information13 Maximum Modulus Principle
3 Maximum Modulus Principle Theorem 3. (maximum modulus principle). If f is non-constant and analytic on an open connected set Ω, then there is no point z 0 Ω such that f(z) f(z 0 ) for all z Ω. Remark
More informationPolynomial Harmonic Decompositions
DOI: 10.1515/auom-2017-0002 An. Şt. Univ. Ovidius Constanţa Vol. 25(1),2017, 25 32 Polynomial Harmonic Decompositions Nicolae Anghel Abstract For real polynomials in two indeterminates a classical polynomial
More information2 Sequences, Continuity, and Limits
2 Sequences, Continuity, and Limits In this chapter, we introduce the fundamental notions of continuity and limit of a real-valued function of two variables. As in ACICARA, the definitions as well as proofs
More informationCONFORMAL MODELS AND FINGERPRINTS OF PSEUDO-LEMNISCATES
CONFORMAL MODELS AND FINGERPRINTS OF PSEUDO-LEMNISCATES TREVOR RICHARDS AND MALIK YOUNSI Abstract. We prove that every meromorphic function on the closure of an analytic Jordan domain which is sufficiently
More informationConsequences of the Completeness Property
Consequences of the Completeness Property Philippe B. Laval KSU Today Philippe B. Laval (KSU) Consequences of the Completeness Property Today 1 / 10 Introduction In this section, we use the fact that R
More information