On Sharp Constants for Dual Segal Bargmann L p Spaces
|
|
- Amanda Norris
- 5 years ago
- Views:
Transcription
1 On Sharp Constants for Dual Segal Bargmann L p Spaces William E. Gryc Department of Mathematics and Computer Science Muhlenberg College Allentown, PA wgryc@muhlenberg.edu Todd Kemp Department of Mathematics University of California, San Diego La Jolla, CA 993- tkemp@math.ucsd.edu August 3, 4 Abstract We study dilated holomorphic L p space of Gaussian measures over C n, denoted Hp,α n with variance scaling parameter α >. The duality relations (Hp,α) n H p,α hold with p + p, but not isometrically. We identify the sharp lower constant comparing the norms on H p,α and (Hp,α) n, and provide upper and lower bounds on the sharp upper constant. We prove several suggestive partial results on the sharpness of the upper constant. One of these partial results leads to a sharp bound on each Taylor coefficient of a function in the Fock space for n. Contents Introduction The Sharp Lower Constant 4. A Relationship Between the Norm, the Dual Norm, and the Projection P n α Proof of Theorem. Using Lemma The Strictness of Hölder s Inequality and a Lower Bound for the Sharp Upper Constant 9 3. The Proof of Theorem The Proof of Theorem Monomials and the Ratio R p,α (g, h) 3 5 The Conjectured Sharp Constant and Quadratic Exponentials 7 Introduction This paper is concerned with the holomorphic L p spaces associated to Gaussian measures on C n. In the case p, such spaces are often called Segal Bargmann spaces [3] or Fock spaces [9]. They are core examples in the theory of holomorphic reproducing kernel Hilbert spaces, with connections to quantum field theory, stochastic analysis, and beyond. The scaling of duality between these holomorphic L p -spaces is still not fully understood; this paper presents some new sharp results, and new puzzles about these dual norms. Supported by NSF CAREER Award DMS-5487
2 To fix notation, let α >, n N, and let γα n denote the following Gaussian probability measure on C n : ( α ) n γα(dz) n e α z λ n (dz), π where λ n is the Lebesgue measure on C n. The spaces considered in this paper are of the form L p hol (γn α) for p < and some α >, the subspaces of the full L p (γα)-spaces n consisting of holomorphic functions. These are Banach spaces in the usual L p -norm. However, as discovered by Sjögren [7] and proved as [, Proposition.5], in this scaling, with p + p as usual, L p hol (γn α) and L p (γα) n are not dual to each other when p. It was shown by Janson, Peetre, and Rochberg [4] that the correct scaling requires the parameter α to dilate with p. That is, we define the dilated holomorphic L p space as } Hp,α n L p hol (γn αp/ {f ) Hol(C n f(z)e α z ): / p λ n (dz) <, (.) with norm ( h p,α h H n p,α h p dγ n αp/) /p. (.) Similarly, if Λ (H n p,α) is a bounded linear functional, denote its dual norm by Λ p,α Λ (H n p,α ) sup Λ(g). (.3) g Hp,α\{} n g p,α (We de-emphasize the n-dependence of the norms p,α and p,α; it will always be clear from context.) It was shown in [4] that Hp,α n and Hp n,α are dual spaces for < p <. One of the two main theorems of the present authors paper [] was the following estimate on the sharp constants of comparison for the dual norms. Theorem. (Theorem. in []). Let < p <, and p + p Let n N and α >. Define f, g α C n fg dγ n α. Then for any h H n p,α,. Define the constant C p by C p p /p p /p. (.4) h p,α, h α p,α C n p h p,α. (.5) Presently, we are interested in the sharpness of the inequalities in (.5). In fact, the first inequality is sharp, and this yields a new concise proof of a pointwise bound for the space H n p,α. Theorem.. Let < p <, p + p, and α >. Then It follows that, for any z C n, and any g H n p,α,, h α p,α inf h H n p,α \{} h p,α. g(z) e α z g p,α. (.6) Remark.3. The bound (.6) is well-known; it can be found, for example, as [9, Theorem.8]. In fact, it is common to define a supremum norm on holomorphic functions g as g,α sup g(z)e α z, z C n in which case (.6) can be elegantly rewritten as g,α g p,α for < p <.
3 That the first inequality in (.5) should hold sharply is natural to expect from the method of proof given in []. Indeed, it is instructive to write (.5) in the alternate form proven in our first paper. Note that H n,α is a closed subspace of L (γ n α); let P n α : L (γ n α) H n,α denote the orthogonal projection. In fact, P n α is an integral operator that is bounded from L p (γ n αp/ ) to Hn p,α for all < p <, as was originally shown in [4]. Denote by P n α p p P n α : L p (γ n α) H n p,α. In [, Lemma.8], we proved that Pα n h p,α p p Cp n, h α p,α h p,α. (.7) The /C n p in the middle term comes from the global geometry underlying these spaces. Note from (.) that H n p,α can be though of as consisting of holomorphic sections : functions F of the form F (z) f(z)e α z / for some holomorphic f; the integrability condition for containment in H n p,α is then simply that F L p (C n, λ n ). The factor /C n p then arises from the constants relating the norms p,α and p,α to the L p (C n, λ n )- and L p (C n, λ n )-norms, yielding p /p and p /p factors from the normalization coefficients of the measures γαp/ n and γαp n /. The first inequality in (.7) then simplifies due to the first main theorem [, Theorem.], which states that Pα n p p Cp n. The sharpness of the first inequality in (.5) is indicative of the fact that the orthogonal projection Pα n controls the geometry of the spaces Hp,α. n In this context, the second inequality in (.7), and hence in (.5), is simply Hölder s inequality. In the larger spaces L p (C n, λ n ) and L p (C n, λ n ) where the section spaces Hp,α n live, Hölder s inequality is, of course, sharp: if F L p (C n, λ n ), then the function G F p F is in L p (C n, λ n ) and G p F p/p p, so that F, G F p p F p G p. However, the function G is typically not a holomorphic section, and so it is not a surprise that the same saturation argument fails in the spaces Hp,α. n In fact, we can say more. Theorem.4. Let < p <, p, p + p, and α >. If g Hp,α n and h Hp n,α are non-zero, then g, h α < C n p g p,α h p,α. (.8) Theorem.4 asserts that Hölder s inequality is a strict inequality in the Segal-Bargmann spaces. It is a priori possible that the inequality is nevertheless saturated by a sequence in Hp,α n Hp n,α, but we believe this is not the case. Indeed, we conjecture that the second inequality in (.5) is not sharp. To the question of the sharp constant, we prove the following. Theorem.5. Let < p <, p + p, n N, and α >. For g Hp,α n and h Hp n,α nonzero, define Then C n/ p sup g H n p,α \{} R p,α (g, h) g, h α. g p,α h p,α sup R p,α (g, h) C n h H n p,α \{} p. (.9) We can exhibit sequences in Hp,α n Hp n,α that saturate (.8) with Cn/ p in place of Cp n, as will be demonstrated in the proof of Theorem.5 (cf. (3.)); indeed, such a saturating sequence can be built from monomials. If the same bound could be shown to hold not only for monomials but all holomorphic polynomials, this would prove the sharpness of the Cp n/ -bound in general (since holomorphic polynomials are dense in Hp,α). n This conjecture seems to be quite difficult to prove. The final major results of this paper are two partial results in this direction, summarized as follows. Theorem.6. Let < p <, n N, and α >. Let M n denote the space of holomorphic monomials on C n. Then sup sup R p,α (g, h) Cp n/. h M n g H n p,α\{} 3
4 That is: restricting one variable of R p,α to run through monomials, but letting the other run freely over H n p,α yields the conjectured global maximum. Theorem.6 is proved as a corollary to Theorem 4.4 below, which has its own independently interesting corollaries. In particular, we have the following result: Corollary.7. Let < p < and α >. Let f Hp,α and with the Taylor series k a kz k. Then for any j N {}, we have a j z j p,α a k z p,α k f p,α, and k ( αp ) j/ a j ( ) /p f p,α. (.) Γ jp + In either inequality above, we have equality if and only if f(z) is a constant multiple of z j. Corollary.7 is proven as Corollary 4.7. A non-sharp bound (but one independent of j) akin to (.) can be found in [9, Ch., Ex. 8], and a growth condition on Taylor coefficients can be found as Corollary 5 in [8]. We believe that the sharp estimate of (.) is new. Finally, we prove the following partial result: restricting to Gaussian-like functions in H p,α yields the desired maximum. Theorem.8. Let G α denote the space of quadratic exponential functions in H,α (cf. (5.3)). Then sup g,h G α R p,α (g, h) C p. Given the Gaussian nature of the spaces H p,α, it is very natural to expect the maximum of R p,α to be achieved on Gaussian functions, in light of [5], for example. Theorem.8 is proved as Theorem 5. below. The Sharp Lower Constant Our overall goal in this section is to prove Theorem.. To prove this theorem and others in the paper, many integrals involving Gaussian and exponential functions will be calculated. Often the details of these calculations will be omitted, but are based on the following formula (cf. [6]): Lemma.. Let A be a complex symmetric matrix, v a vector in R k, and let (, ) denote the standard inner product on R k. Define the function f(x) exp( (x, Ax) + (v, x)). Then f L (R k ) if and only if R(A) is positive definite, and in this case, Rk e (x,ax)+(v,x) dx πk/ det(a) e (v,a v). (.) Theorem. has two claims: first, that, h α p,α inf h H n p,α \{} h p,α (.) and the infimum is achieved on functions of the form h α z (w) e α w,z for any z C n. Secondly, for any z C n, and any g H n p,α, g(z) e α z g p,α (.3) 4
5 and the above equation is sharp. As we stated in the introduction, (.3) is well-known. In fact one can use it to prove the first part of the Theorem.. To see how, we first record a fact (first proved in [4]) that will be useful in the following arguments as well. The projection Pα n : L (γα) n Hp,α n is given by the integral operator (Pα n g)(z) e α z,w g(w) γα(dw) n g, h α z α, (.4) C n where for any z C n we define the function h α z as h α z (w) e α w,z. Since polynomials are dense in L (γ n α), we may extend this integral operator to act densely on any space in which polynomials are dense. The first main theorem of [] shows that P n α is, in fact, bounded on L p (γ n αp/ ), with image in H n p,α. Now, any holomorphic polynomial g over C n is in H n,α and so P n α g g; since holomorphic polynomials are dense in H n p,α, it therefore follows that (P n α g)(z) g, h α z α g(z), for all z C n, g H n p,α. (.5) Remark.. Since Hp,α n L p (γαp/ n ), it might seem more natural to expect that the reproducing formula for (w) e αp functions in H n p,α should involve the reproducing kernel h αp/ z z,w. This would be true if the inner product used was, αp/ ; it is a remarkable and useful fact that, using the fixed inner product, α for all H n p,α spaces gives a consistent reproducing kernel for all of them. Now we can state the following lemma: Lemma.3. Let < p <. If (.3) holds for all g H n p,α and z C n, then (.) holds. Proof. Assume (.3) holds for all g H n p,α. Note that by (.5) we know that, h α p,α inf h H n p,α \{} h p,α (.6) Assume that (.3) holds for functions g in H n p,α. For any fixed z C n, the functional, h α z α is pointwise evaluation at z, cf. (.5). Thus, by (.3), we know that, h α z α p,α e α z However, one can easily calculate using Lemma. that h α z p,α e α z, proving that, h α z p,α h α z p,α. Thus, by (.6) we have proven (.) and shown that this infimum is achieved at each h α z, as desired. Note that Lemma.3 actually proves Theorem. since (.3) is known to hold for all g H n p,α and z C n ; it is often referred to as Bargmann s inequality. However, we have an alternate proof of Theorem. that proves the result independently of the a priori truth of (.3). That is, without assuming (.3) is true, we can prove both (.) and (.3). This proof is based on the following lemma: Lemma.4. Let n N, α >, and < p < with p + p, h α p,α C n p inf f P α. Let h H n p,α. Then f p,α. h Furthermore, there exists a function f Pα h where the infimum is achieved. The rest of this section is devoted to proving the Lemma.4 and using it to prove Theorem.. 5
6 . A Relationship Between the Norm, the Dual Norm, and the Projection P n α Before we prove Lemma.4, we need some preliminary results. While we refer to the mapping P n α : L p (γ n αp/ ) H n p,α as a projection, it is of course not a true orthogonal projection for p as in this case H n p,α is not a Hilbert space. However, it acts like a projection in the following ways (as proven in [4]): P n α is the identity on elements in H n p,α (this was actually shown in (.5)) and P n α is self-adjoint in the following sense: P n α g, h α g, P n α h α for all (g, h) L p (γ n α) L p (γ n α). (.7) As we alluded to in the Introduction, to prove a statement about the spaces H n p,α it can be useful to prove an analogous statement in a corresponding Lebesgue measure setting. Indeed, the differing measures of γ n αp/ and γ n αp / preclude us from using some basic results of duality in Lp spaces. To remove this complication, we define a mapping g n p,α : L p (γ n αp/ ) Lp (C n, λ n ) as (g n p,αf)(z) ( pα ) n/p e α z f(z). π It is easy to check that g n p,α is an isometric isomorphism. Furthermore, define the set S n p,α as the image of H n p,α under g n p,α above. That is, S n p,α {F : F p,λ <, z F (z)e α z is holomorphic} where F p,λ is the L p (C n, λ n ) norm of F. The space S n p,α is the set of so-called holomorphic sections mentioned in the introduction. Using the isomorphism g n p,α one can see that (S n p,α) S n p,α as identified using the usual Lebesgue integral pairing (G, H) λ C GH dλ n. n Define a new operator Q n α : L p (C n, λ n ) L p (C n, λ n ) as Q n α g n p,αpα n ( ) g n p,α. Note that Q n α does not actually depend on p. Indeed, g n p,α only depends on p through multiplication by p- dependent constant. From this fact, it is easy to see that Q n α g α, P n α g α,, justifying the notation. By definition, the following diagram commutes: L p (γ αp/ ) g n p,α L p (C n, λ n ) Pα n Hp,α n g n p,α Q n α S n p,α Denote by Q n α p p the norm of Q n α as an operator on L p (C n, λ n ) and P n α p p the norm of P n α as an operator on L p (γ n αp/ ). Since gn p,α and its inverse are isometric, it is not difficult to show that P n α and Q n α share many similar properties. Specifically,. Q n α p p P n α p p,. Q n α is the identity on S n p,α and maps onto S n p,α for < p <, and 3. Q n α is self-adjoint in the sense of (.7) in the pairing (G, H) λ C n GH dλ n. 6
7 To precisely state the third fact above, we write (Q n αg, H) λ (G, Q n αh) λ for all (G, H) L p (C n, λ n ) L p (C n, λ n ). (.8) We can now state and prove a result analogous to Lemma.4 for the space of holomorphic sections. Below (S n p,α ) denotes the dual norm of Sn p,α. Lemma.5. Let H S n p,α. Then (, H) λ (S n p,α ) inf F (Q n α ) H F p,λ. Furthermore, there exists some F (Q n α) H L p (C n, λ n ) such that inf F (Q n α ) H F p,λ F p,λ. Proof of Lemma.5. Let H S n p,α be arbitrary. We prove the first equation of the lemma by showing that (, H) λ (S n p,α ) inf F (Q n α ) H F p,λ, and (.9) (, H) λ (S n p,α ) inf F (Q n α) H F p,λ. (.) We first prove (.9). Let F (Q n α) H be arbitrary. Then (, H) λ (S n p,α ) sup (G, H) λ (G, Q n sup αf ) λ (Q n sup αg, F ) λ (G, F ) λ sup G S n G p,α p,λ G S n G p,α p,λ G S n G p,α p,λ G S n G p,α p,λ (G, F ) λ sup F p G L p (C n,λ n ) G,λ. p,λ Since F (Q n α) H was arbitrary, we have proven (.9). To prove (.), define the linear functional Λ : S n p,α C as Λ(G) (G, H) λ. Note that (, H) λ (S n p,α ) Λ, so that Λ is bounded. By the Hahn-Banach theorem there is a linear functional Λ : L p (C n, λ n ) C that extends Λ without increasing its norm. As Λ (L p (C n, λ)), there exists a function F L p (C n, λ n ) such that Λ(G) (G, F ) λ. First note that for any G L p (C n, λ n ) we have proving F (Q n α) H. Then (G, Q n α F ) λ (Q n αg, F ) λ Λ(Q n αg) Λ(Q n αg) (Q n αg, H) λ (G, H) λ, (, H) λ (S n p,α ) Λ (G, sup F ) λ G L p (C n,λ n ) G F p,λ inf G p,λ G (Q n p,λ, α ) H proving (.). Combining (.9) and the preceding inequality, we see that F p,λ inf G (Q n α ) H G p,λ, completing the lemma. We can now provide a proof for Lemma.4: 7
8 Proof of Lemma.4. For g L p (γαp/ n ) and h Lp (γαp n /), a straightforward calculation reveals that g, h α C n p (g n p,αg, g n p,α h) λ. (.) Note that the constant C n p pops up above since we are combining two different isometries: g n p,α and g n p,α. A straightforward combination of (.) and Lemma.5 completes the proof. Remark.6. Before moving on to a proof of Theorem., we note here that we can use Lemma.4 to rederive (.5). That is, the inequality h p,α, h α p,α C n p h p,α. Let h H n p,α be arbitrary. For the first inequality, note that for any f (P n α ) h Thus, Also, h Pα h, so that Putting these inequalities together gives us h p,α P n α p p f p,α. (.) h p,α P n α p p inf inf f P α h h p,α P n α p p inf f p,α. f Pα h f p,α h p,α. f Pα h f p,α h p,α. Using Lemma.4 and the fact that P n α p p Cn p (from []) in the above equation gives us h p,α C n p, h α p,α C n p h p,α. Multiplying the above by C n p gives us a proof of (.5).. Proof of Theorem. Using Lemma.4 We are now ready to prove Theorem.. We first prove, h α p,α inf h H n p,α \{} h p,α (.3) and that this infimum is achieved. Note that by the proof of (.5) in Remark.6, to prove equality in (.3) it suffices to show that there exists some h H n p,α and f (P n α ) h such that there is equality in (.). That is h p,α C n p f p,α. (.4) Let f(z) ( pα) p/n π e α z ; then Pα n f h α (the z case of the function hα z (w) e α w,z ). A straightforward computation shows that h h α and f satisfy (.4). This proves (.3). 8
9 Now, using (.5), we have g, h α α g(). We just showed that, h α p,α h p,α, which means that the following inequality is sharp: g() g p,α for all g H n p,α. (.5) Let z C n be arbitrary. Let g Hp,α n be arbitrary. Define a new function g z (w) g(z + w)e α w+z,z. Note that g z is holomorphic and ( αp ) n g z p p,α g(z + w)e α w+z,z p e αp w / λ n (dw) π C ( n αp ) n g(y)e α y,z p e αp y z / λ n (dy) π C n ( e αp z / αp ) n g(y) p e αp y / λ n (dy) e αp z / g p p,α <, C n π proving that g z H n p,α. Applying (.5) to g z yields the inequality g(z) e α z / g p,α for all g H n p,α. (.6) A straightforward calculation shows that the inequality (.6) is an equality when g h α z, proving the inequality sharp. The sharpness of (.6) proves that, h α z α p,α e α z / h α z p,α, proving the infimum (.3) is achieved at each h α z and completing the proof of Theorem.. 3 The Strictness of Hölder s Inequality and a Lower Bound for the Sharp Upper Constant As Theorem. is proven, we know that the left-hand inequality of (.5) is sharp. For the remainder of the paper, we will consider the right-hand inequality, that is, h α p,α C n p h p,α. (3.) As we stated in the introduction, we do not know whether (3.) is sharp, but Theorems.4,.5,.6 and.8 suggest that it is not sharp. We presently prove Theorems.4 and The Proof of Theorem.4 Here will prove that Hölder s inequality is not sharp in the Segal-Bargmann spaces. Let < p <, p, g Hp,α, n and h Hp n,α, neither identically. We will proceed by contradiction. That is, suppose that g and h give equality in Hölder s inequality (modified by the constant Cp n to account for the scaling of the spaces Hp,α). n Thus, g, h α g(z)h(z) γα(dz) n (3.) C ( n α ) n g(z)e α z / h(z)e α z / λ n (dz) π C n ( α ) ( ) n /p ( ) /p g(z)e α z / p λ n (dz) h(z)e α z / p λ n (dz) (3.3) π C n C n ( α ) ( ) n π n/p ( ) π n/p π pα p g α L p (γ αp/ ) h L p (γ αp / ) Cp n g L p (γ αp/ ) h L p (γ αp / ) g, h α, 9
10 proving that both (3.) and (3.3) are actually equalities. For equality in (3.3), we must have for some β >. Rearranging the above gives us For (3.) to be an equality, we must have g(z)e α z / p β p h(z)e α z / p g(z) β h(z) p /p e α(p p) z p. (3.4) g(z)h(z) e iθ f(z), (3.5) where θ [, π] and f is a nonnegative real-valued function. By replacing g(z) with β e iθ g(z), we preserve holomorphicity and the finiteness of the p,α -norm. Thus, without loss of generality, we may assume that e iθ β, and replace Equations (3.4) and (3.5) with and g(z) h(z) p /p e α(p p) z p, (3.6) g(z)h(z) f(z), where f is non-negative real-valued. (3.7) Since g, h are holomorphic and not identically, they are each non-zero on an open dense subset of C n ; thus, there is an open set U where neither g nor h vanishes. Then g/h is holomorphic on U, and g(z) h(z) g(z)h(z) h(z) f(z) > for z U. h(z) Thus, g/h is a positive holomorphic function, and so it is equal to a positive constant c on U. Equation (3.6) then shows that c h(z) h(z) p /p e α(p p) z p. Solving for h(z) above and raising each side to the gives h(z) c e α z, p p p power (which is possible as p and thus p p ) c c p /p. Fix any point z (z,..., z n ) U; then there is some disk D C such that {(ζ, z,..., z n ): ζ D} U. Thus the function h (ζ) h(ζ, z,..., z n ) is holomorphic and non-vanishing on D, and we have h (ζ) c e α ( ζ + z + + z n ). The function h (ζ) c e α ( z + + z n ) h (ζ) is therefore holomorphic and non-vanishing on D, and h (ζ) e α ζ. It follows that h has a holomorphic logarithm l on D, so e α ζ h (ζ) e l(ζ) e Rl(ζ), z D. As exp is one-to-one on R, it follows that Rl(ζ) α ζ for ζ D. This is impossible, since l is holomorphic, but ζ α ζ is not harmonic. This concludes the proof.
11 3. The Proof of Theorem.5 As in the Introduction, define R p,α (g, h) as R p,α (g, h) g, h α. g p,α h p,α Note that the sharp constant for (3.) is equal to sup g H n p,α \{} sup h H n p,α \{} R p,α (g, h), hence our interest in this ratio. Theorem.5 concerns bounds on this ratio; namely that (.9), reproduced below, holds: C n/ p sup g H n p,α \{} sup R p,α (g, h) C n h H n p,α \{} p. There are many ways to prove the right-hand side of (.9). In particular, we can rewrite Theorem.4 in terms of R p,α (g, h) to say that for any g Hp,α n and h Hp n,α we have By the above, we have sup g H n p,α\{} R p,α (g, h) < C n p. sup R p,α (g, h) C n h H n p,α \{} p. (3.8) Thus, we need only prove the left-hand inequality of (.9). To that end, we will consider the case where g and h are monomials. Note that (by the rotational invariance of γα) n distinct monomials are orthogonal, so we will consider only g h. For k,..., k n N, define the g k,k,...,k n (z) z k zk... zkn n. Note that ( αp ) n g k,k,...,k n p p,α z kp z kp... z n knp e (αp/)( z + z z n ) λ n (dz) π C n ) n n z j pk j e (αp/) z j λ(dz j ) ( αp π j n g kj p p,α j where g k : C C is given by g k (z) z k. Note, then, that C R p,α (g k,...,k n, g k,...,k n ) n R p,α (g kj, g kj ). (3.9) j Hence, to prove the left-hand side of (.9), it suffices to show that As usual, denote the Gamma function Γ(z) as Γ(z) sup R p,α (g k, g k ) Cp /. (3.) k N Then, using polar coordinates, we have ( αp ) g k p p,α z kp e (αp/) z λ(dz) π (αp) C (r ) kp/ re (αp/)r dr. t z e t dt, R(z) >. ( αp π ) r r kp e (αp/)r dsdr S
12 Using the substitution u αp r yields Thus, we have g k p p,α (r ) kp/ e (αp/)r (αp)rdr ( ) kp/ αp R p,α (g k, g k ) g k, g k α g k p,α g k p,α u kp/ e u du ( ) kp/ Γ(kp/ + ). αp g k,α g k p,α g k p,α ( ) pp k/ Γ(k + ) 4 Γ(kp/ + ) /p Γ(kp. (3.) / + ) /p Using the Gamma function relation Γ(z + ) zγ(z), it is convenient to express this ratio as Γ(k + ) Γ(kp/ + ) /p Γ(kp / + ) /p k (kp/) /p (kp /) /p C p Γ(k) Γ(kp/) /p Γ(kp /) /p Γ(k) Γ(kp/) /p Γ(kp. (3.) /) /p To properly analyze this expression, we will use a precise form of Stirling s approximation for the Gamma function: for any z C with R(z) >, ( z ( e ) ) z arctan(t/z) S(z) ln Γ(z) π z e πt dt. (3.3) See, for example, [, (6..5)]. Thus, we can express the Gamma function precisely as Γ(z) π z z e S(z) z. (3.4) With this in hand, together with (3.) and (3.), we have the following expression for R p,α (g k, g k ). ( ) pp k/ Γ(k) R p,α (g k, g k ) C p 4 Γ(kp/) /p Γ(kp /) /p ( ) pp k/ πk k e S(k) k C p 4 ( π(kp/) ) kp/ /p ( π(kp e S(kp/) kp/ /) kp / /p e S(kp /) kp /) ( ) pp k/ k k C p 4 (kp/) k/ /p (kp e S(k) /) k/ /p C / p e S(k) p S(kp/) p S(kp /). p S(kp/) p S(kp /) Thus, to prove (3.) and thus Theorem.5, it suffices to prove the following proposition. Proposition 3.. For any p (, ) \ {} and any k N, Moreover, the limit of this expression as k is. S(k) p S(kp/) p S(kp /) <.
13 Proof. Denote the integrand of S(x) as s(t, x): s(t, x) arctan(t/x) e πt. Note that s C ((, ) ); the first two x derivatives are as follows: s t (t, x) x t + x e πt, s x (t, x) x 4t (t + x ) e πt. Thus, for each t >, x s(t, x) is strictly convex on (, ). In particular, since p + p and p, p (, ), and since p p, we have ( s(t, x) s t, xp p + xp ) p < p ( s t, xp ) + ) (t, p s xp. Since t s(t, x) is strictly positive, upon integration this inequality remains strict, and so ( S(x) s(t, x) dt < p s t, xp ) ) dt + (t, p s xp dt p S(xp/) + p S(xp /). Taking x k N proves the first statement of the proposition. s For the second statement, it suffices to show that lim x S(x). As computed above, x (t, x) <, and so x s(t, x) is decreasing; in particular, for x the integrand is arctan(t) e πt, which is an L (, ) function. Since lim x arctan(t/x) for each fixed t, it follows from the Dominated Convergence Theorem that lim x S(x), completing the proof. Remark 3.. () Note, from (3.3), the statement lim x S(x) is (up to a logarithm) precisely the usual statement of Stirling s approximation: lim x Γ(x) ( z ) lim z e π x x es(x). We include the Dominated Convergence Theorem proof above just for completeness. () The above computations are only valid for k >. However, it is easy to check that R p,α (g, g ) < C / p, since g. Thus, we have completed the proof of Theorem.5. Let us also note, for use in the next section, that Proposition 3. actually shows that, for each k N, 4 Monomials and the Ratio R p,α (g, h) R p,α (g k, g k ) < C / p. (3.5) Equation (3.5) suggests that Cp n/ is actually the supremum of the ratio R p,α (g, h). One way to prove that this would be to show that the ratio R p,α is maximized in some sense on monomials. In this section we will prove a partial result in this vein (Theorem 4.4) which has two interesting corollaries. We begin by stating a result that will be useful in what follows. Lemma 4.. Let < p < and α >. If f H p,α, then the Taylor series of f centered at converges to f in the L p (γ αp/ ) norm. 3
14 The above result is well-known. For example, it can be found as [9, Ex. 5, Ch. ]. We next define a nonlinear operator G n p,α(h) that will be central in proving Theorem 4.4, the main result of this section. Let < p <. For h L p (γ n αp/ ), define Gn p,α(h) as First we note that, if h L p (γ n αp/ ), then Gn p,α(h) L p (γ n αp / ): G n p,α(h)(z) h(z) p h(z)e α( p ) z. (4.) G n p,α(h) p,α (( ) αp n p ( h(z) p h(z) e α( p ) z ) ) p /p e αp z dz π C (( ) n αp n ( ) π n h(z) p π αp C ( ) n p n/p h p/p p,α. ( αp ) ) n /p e αp z dz π In fact, the function G n p,α(h) has been designed to have the property that ( ) n h, G n p,α(h) α h p p,α Cp n h p,α G n p p,α(h) p,α. (4.) That is, it gives equality in Hölder s inequality (up to the scale constants required by the dilated Gaussian measures). Furthermore, for all g L p (γαp n /) we have h, g α C n p h p,α g p,α g is a constant multiple of G n p,α(h). (4.3) By Theorem.4, G n p,α(h) cannot be holomorphic if h is holomorphic, nonconstant, and p, but we can consider its projection into holomorphic space: Lemma 4.. Let < p <, α >, and n N. For all f, h H n p,α\{}, we have f, P n α (G n p,α(h)) α f p,α h, P n α (G n p,α(h)) α h p,α, (4.4) and equality is achieved if and only if f is a constant multiple of h. Proof. Assuming the premise of the lemma and using Hölder s inequality, we have f, P n α (G n p,α(h)) α f p,α f, Gn p,α(h) α f p,α C n p G n p,α(h) p,α h, Gn p,α(h) α h p,α h, P n α (G n p,α(h)) α h p,α, where in the second line we used (4.). This proves the first part of the lemma. For the second part, note that by (4.3) we have equality above if and only if f is a constant multiple of G n p,α (Gn p,α(h)). However, G n p,α (Gn p,α(h))(z) G n p,α(h)(z) p G n p,α(h)(z)e α( p ) z h(z) (p )(p )+(p ) e α ((p )(p )+(p )) z h(z) h(z), as (p )(p ) + (p ) (p )(p ) + (p ). Thus, we have equality in (4.4) if and only if f is a constant multiple of h. 4
15 as Let N N {}. For α >, n N, and a multi-index j (j, j,..., j n ) N n, define the function ψ α,j α ψ j,α (z) j j! zj for z C n, (4.5) where we use the standard notations j j + j j n, j! j!j!... j n!, and z j z j zj... zjn n. The set {ψ j,α } j N n is an orthonormal basis in H,α n. These functions also have the interesting property that Pα n (G p,α (ψ j,α )) is a multiple of ψ j,α. Lemma 4.3. Let < p <, α >, and n N. For each multi-index j (j, j,..., j n ) N n, the function ψ j,α defined in (4.5) satisfies P n α G n p,α(ψ j,α ) In particular, there exists a constant K j,p,α such that ( ) j p/+n n k Γ(j kp/ + ) p ψ j,α. (4.6) p j! P n α G n p,α(ψ j,α ) K j,p,α z j. (4.7) Proof. First note we have for any j N n ( n ) Pα n G n p,α(ψ j,α )(z) Pα n G n p,α ψ jk,α(z k ) Pα n k n G p,α(ψ jk,α(z k )) k n PαG p,α(ψ jk,α(z k )). Thus, the general result will follow if we prove the lemma for n. To that end, fix a nonnegative integer j. Using the self-adjointness of P α as well as the fact that P α is the identity on H p,α we have for any other nonnegative integer k: P α G p,α(ψ j,α ), ψ k,α α αk/+(p )j/+ π k! j! p C αk/+(p )j/+ π k! j! p ( α pj/+ p j! k z j(p ) z j (z) k e αp z dz r j(p )+k+ e αp r ( π r jp+ e αp r dr ) δ jk ) e i(j k)θ dθ dr ( ( ) ) jp/+ p Γ(jp/ + ) δ jk. (4.8) p j! By Lemma 4. the Taylor series of the exponential function converges in L p (γαp/ ), and so we use (4.8) to compute P αg p,α(ψ j,α )(z) P α G p,α(ψ j,α ), ψ k,α k α ψ k,α(z) proving (4.6). Equation (4.7) follows from (4.6) as z j is a constant multiple of ψ j,α. ( ) jp/+ Γ(jp/ + ) p ψ j,α (z), p j! We now can prove our partial result on the ratio R p,α taking on maximal values on monomials: 5
16 Theorem 4.4. Let < p <, α >, and n N. For any f H n p,α\{} and multi-index j N n, we have or, equivalently, f, z j α f p,α zj, z j α z j p,α, (4.9) R p,α (f, z j ) R p,α (z j, z j ). (4.) Furthermore, both inequalities (4.9) and (4.) are sharp and are equality if and only if f(z) is a constant multiple of z j. Proof. Assume the premise of the theorem. First note that (4.9) and (4.) are equivalent, as (4.) is just (4.9) with both sides of the inequality divided by z j p,α. Thus, to prove the rest of the lemma, it suffices to consider only (4.9). To that end, we apply Lemma 4. to the functions f and ψ j,α : f, P n α (G n p,α (ψ j,α)) α f p,α ψ j,α, P n α (G n p,α (ψ j,α)) α ψ j,α p,α zj, P n α (G n p,α (ψ j,α)) α z j p,α. (4.) By Lemma 4.3, dividing both sides of the inequality above by K j,p,α yields (4.9). Note that by Lemma 4. we have equality in (4.) if and only if f is a constant multiple of ψ j,α, which is equivalent to f(z) being a constant multiple of z j, as desired. Remark 4.5. By symmetry of R p,α, Theorem 4.4 also implies that, for any fixed < p <, α >, n N, and j N n, we have for all g H n p,α R p,α (z j, g) R p,α (z j, z j ). Theorem 4.4 is a weak form of the fully conjectured theorem: that sup f,g R p,α (f, g) Cp n/ (or equivalently sup f,g R p,α (f, g) Cp n/ ). Indeed, Section 3. computes that R p,α (z j, z j ) < Cp n/ for all j (and that Cp n/ is the limit as j ), and so we have shown that R p,α (f, z j ) < C n/ p for all j N n. (4.) Thus, restricting one of the variables in R p,α to range through the space of monomials z j gives the global maximum result, proving Theorem.6. This is, of course, a far cry from the desired theorem, but it is suggestive. We also have two interesting corollaries from Theorem 4.4. The first holds for all finite complex dimensions n, while the second focuses on Taylor coefficients when n. Both corollaries involve projecting a function onto monomials. More specifically, fix a complex dimension n. For any multi-index j N n, define the map P j,α : H n p,α Span{z j } H n p,α as P j,α (f) f, ψ j,α α ψ j,α. By Hölder s inequality, this mapping is continuous. Heuristically, P j,α (h) is projecting h onto the j th monomial. The corollary below gives us more reason to call P j,α a projection, despite the lack of a Hilbert space structure to the space H n p,α. Corollary 4.6. Let < p <, α >, and n N. The mapping P j,α : H n p,α H n p,α has norm. That is, if f H n p,α, then f, ψ j,α α ψ j,α p,α f p,α. (4.3) Furthermore, we have equality if and only if f(z) is a constant multiple of z j. 6
17 Proof. Assume the premise of the corollary. If f is the zero function, then the result follows. So assume f is not the function. As ψ j,α is a scalar multiple of z j, by Theorem 4.4, we have f, ψ j,α α f p,α ψ j,α, ψ j,α α ψ j,α p,α ψ j,α p,α. Multiplying the above by ψ j,α p,α f p,α yields (4.3). The equality condition again follows from the equality condition in Theorem 4.4. Now we can use Corollary 4.6 to prove another corollary on Taylor coefficients in the case where n. Corollary 4.7. Let < p < and α >. Let f Hp,α and with the Taylor series f(z) k a kz k. Then for any j N, a j z j p,α a k z p,α k f p,α, (4.4) and k ( αp ) j/ a j ( ) /p f p,α. (4.5) Γ jp + In either inequality above, we have equality if and only if f(z) is a constant multiple of z j. Proof. Assume the premise of the corollary. We first prove (4.4). By Lemma 4., the Taylor series of f(z) converges in norm, and so for any fixed j N, we have (using w as the integration variable here) f, ψ j,α α ψ j,α a k w k, ψ j,α (w) ψ j,α (z) a j w j, ψ j,α (w) α ψ j,α (z) a j z j. (4.6) k α Inequality (4.4) as well as the equality statement now follows from Corollary 4.6 and (4.6). To prove (4.5), first note that ( ( z j p,α z jp αp ) ) /p e αp z dz C π ( ( ) jp/ ) ( /p αp αp r) jp/ e αp r αprdr ( ( ) jp/ ) /p u mp/ e u du αp ( ) j/ Γ (jp/ + ) /p. αp Thus dividing (4.4) by z j p,α yields (4.5), proving the corollary. 5 The Conjectured Sharp Constant and Quadratic Exponentials Let M {z N : N is a nonnegative integer}. We previously showed in (3.5) that, for dimension n, sup R p,α (g, h) C p. g,h M 7
18 To strengthen our evidence for C p being the sharp constant for n we will prove a similar equality over a larger family of functions that is more natural to the problem s setting. To that end, we consider functions g in the family { } G e p(z) : p(z) is a polynomial. These functions are holomorphic but not generally in H p,α. In particular, if g(z) e p(z) H n p,α, then by (.6) the function e R(p(z)) α z / is bounded on C by g p,α, implying that the degree of p(z) must be no larger than. In fact, if p(z) is quadratic, then its leading coefficient must satisfy a certain inequality, as proven in the next lemma: Lemma 5.. Let α > and a, c C, and define g(z) exp ( αaz + α cz). If p <, then f(z) H p,α if and only if c <. In this case, we have g p,α ( c exp ) /p ( α a + R(ca ) ) c. Proof. Define g(z) e (αaz+ α cz ) for some constants a, c C. Define a matrix A and a vector v as [ ] [ ] R(c) I(c) R(a) A, v. I(c) + R(c) I(a) Note that A is positive definite R(c) > and R(c) I(c) > c < c <. Now we have g p p,α e (αaz+ α cz ) ( p αp ) ( e αp αp ) z dz e ( (x, αp αp Ax)+( v,x)) dx. C π π R By Lemma., the above integral converges if and only if A is positive definite which holds if and only if c <, proving the first part of the lemma. Assuming c <, we have g p p,α ( αp ) e ( (x, π R One can compute the inner product (v, A v) as (v, A v) αp αp Ax)+( v,x)) dx ( αp ) exp c v, A v. (5.) [ ] [ ] + R(c) I(c) R(a) [R(a) I(a)] a + R(ca ) c I(c) R(c) I(a) c. (5.) Substituting (5.) into (5.) and taking p th roots gives the desired result. In light of the above lemma, we define a subset G α of G as the appropriate quadratic exponential functions { ( G α G H,α n exp αaz + α } cz) : a, c C, c <. (5.3) We chose p in H n,α above, but note that by Lemma 5. and the discussion that preceded it, G α G H n p,α for any p <. We can now state the main theorem of this section. Theorem 5.. Let G α be defined as in (5.3) and let < p <. Then sup R p,α (g, h) C p. g,h G α 8
19 The function R p,α is a Gaussian kernel : it is defined on an L p L p space with a Gaussian weight. It does not quite fit the conditions of [5] (which asserts that, in a similar setup, Gaussian kernels have only Gaussian maximizers), but given that landmark paper it is very natural to think that the maximum should occur on quadratic exponential functions in this case as well. Thus, Theorem 5. provides more highly suggestive evidence that maximum really is C p, at least in the n dimensional case. We will break the proof of Theorem 5. into multiple lemmas. We begin by computing the ratio R p,α (g, h) for functions g, h G α : Lemma 5.3. Let g, h G α be arbitrary with g(z) exp ( αaz + α cz) and h(z) exp ( αbz + α dz). Then R p,α (g, h) ( c ) /p ( d ) /p cd exp ( [ ]) α R ab + a d + b c a + a c cd c b + b d d. (5.4) Proof. We first compute g, h α. This computation here is very similar although a bit more complicated to the proof of Lemma 5.. Define a matrix B and a vector w as [ ] [ ] (c + d) ic + id a + b B, w. ic + id + (c + d) i(a b) As c, d < it is easy to see that B has a positive definite real part. One can compute that g, h α α e (x, α Bx)+( α w,x) dx π R det(b) cd e α (w,b w). We compute ( w, B w ) as ( w, B w ) 8ab + 4a d + 4b c Combining (5.5) and (5.5) with Lemma 5. we have R p,α (g, h) completing the proof. 4( cd) ab + a d + b c. (5.5) cd g, h α g p,α h p,α ( [ ]) ( c ) /p ( d ) /p α exp cd R ab + a d + b c a + a c cd c b + b d d, The next step is to understand the exponential term in (5.4) and to show that it is never greater than. To that end, we have the following lemma: Lemma 5.4. Fix b, c, d C where c < and d <. Define the function f : R R as [ ] (x + iy)b + (x + iy) d + b f(x, y) R c x + iy + (x + iy) c cd c b + b d d. (5.6) Then f has a unique critical point (x, y ) that satisfies x + iy Furthermore, sup (x,y) R f(x, y) f(x, y ). b(d c) + b( cd) d. (5.7) 9
20 Proof. We will prove this lemma using calculus. First we compute the partial derivatives of f: We can rewrite the above as [ f b + (x + iy)d x R cd [ f ib + i(x + iy)d R y cd [ b + (x + iy)d I cd ] (x + iy)c c i(x + iy)c c (x + iy)c c x c, ] ] y c y c ( ) f x + i f b + (x iy)d (x iy)c + (x + iy) y cd c. (5.8) Suppose that (x, y ) is a critical point. We then can set the above equation to and solve for b, yielding b (x iy )(c d) + (x + iy )( cd) c. (5.9) Using (5.9) one can verify that (5.7) holds. Furthermore, one can rewrite (5.7) as (x + iy ) + bc cd b + bd d. (5.) Setting (5.8) equal to, conjugating, and multiplying the result by x + iy, as well as multiplying (5.) by b yield the two equations (x + iy )b + (x + iy ) d cd (x + iy )b + b c cd b + b d d. (x + iy ) c + x + iy c, Adding the two equations above yields f(x, y ). To complete the proof, we need to show that f takes on a global maximum at (x, y ). To that end, we compute the Hessian of f(x, y). First note that from (5.8) we have ( ) f x x + i f d y cd + c c ( ) ( f d y x + i f i y cd c ) c Thus, the Hessian matrix H of f at any point (x, y) is given by ( ) H 4 R d cd +c ( c I d cd ) c c I ( d cd ) c c ( ) R d cd c c (5.) Thus, to show that f(x, y ) is a global maximum, it suffices to show that H is negative definite. Let h be the (, ) entry of H, and define a function g : D R (where D {z C : z }) as ( z g(z) R cz + c ) c.
21 Note that h 4g(d). As g is the real part of a holomorphic function, it is harmonic and thus takes its maximum and minimum values on D, that is, the unit circle. By assumption d is in the interior of D, so we must have One can compute that d dθ g(eiθ ) d ( dθ R e iθ c 4 h g(d) < max θ [ π,π] g(eiθ ). (5.) + c ) ( c R e iθ ) i (e iθ c) ( I e iθ (e iθ c) ( ) Thus, we have a critical point of g(e iθ ) exactly when I e iθ, which is equivalent to (e iθ c) e iθ (e iθ c) ± e iθ (e iθ c). e Using the fact that iθ (e iθ c) c+ we can solve the above equation to find two critical points: (e iθ c)(e iθ c) +c and c c. As the circle D is closed, the maximum of g must occur on one of these points and the minimum on the other. A straightforward calculation yields ( ) ( ) c + c g, g + c c c. Hence, from (5.) we have Next we show that det(h) is positive. To that end, one can compute that h 4g(d) < 4 max θ [ π,π] g(eiθ ). (5.3) ( ) 4 det(h) c As d <, by the Maximum Modulus Principle, we thus have Note that for any real number θ, we have ( ) 4 det(h) > c max e iθ ce iθ c c Plugging the above into (5.4) yields θ [ π,π) d cd c c ( ) e iθ c c e iθ c ( ) 4 det(h) > c max θ [ π,π) By (5.3) and (5.5), the matrix H is negative definite, as desired. Now we are in a position to prove Theorem 5.. e iθ ce iθ c c e iθ ce iθ c c ( ) c. ).. (5.4). (5.5)
22 Proof of Theorem 5.. By Lemmas 5.3 and 5.4, we have sup R p,α (g, h) g,h G α sup g,h G α R p,α (g, h) sup c,d C, c, d < Note that, by the reverse triangle inequality, for c, d < we have ( c ) /p ( d ) /p ( c ) /p ( d ) /p. cd c d Hence, we have sup R p,α (g, h) g,h G α sup x,y [,) Fix x [, ) and consider the function h x (y) : [, ) [, ) as Then h x is differentiable and ( c ) /p ( d ) /p. (5.6) cd ( x ) /p ( y ) /p. (5.7) xy h x (y) ( x ) /p ( y ) /p. (5.8) xy h x(y) ( x ) /p ( y ) /p p y ( xy) Thus, y is a critical point of h x if and only if x x(y) y y + p ( y ) ( y + p ( y ) ) y x. y ( p )y + p. (5.9) It is easy to see that x(), x(), and that x (y) > (the fact that p > is important here). Thus, x(y) is an invertible function that maps [, ] onto [, ]. Hence, h x has exactly one critical point y x and y x satisfies (5.9). If y < y x, then x(y ) < x which implies h x(y ) >. Similarly, if y > y x, then h x(y ) <, proving that y x is a local maximum for h x. Since y x is a unique critical point, it must be a global maximum for h x. Also, by the invertibility of x(y), for every y [, ), there exists a unique x [, ) for which y y x (namely, x(y)). Thus, we can rewrite (5.7) as sup R p,α (g, h) sup hx (y x ) sup h x(y) (y). (5.) g,h G α x [,) y [,) A computation shows that h x(y) (y) p ((p ) ( p ) y ) /p (( p )y + p ) /p. (5.) Note that, while h x(y) (y) is not formally defined at y, it can be continuously extended to. In fact, define g : [, ] [, ) as g(y) p ((p ) ( p ) y ) /p (( p )y + p ) /p, and note that g is continuous on [, ] and differentiable on (, ). For y (, ), g (y) y p ( p ) ((p ) ( p ) y ) (p )/p (( p )y + p ) ( p )/p >,
23 proving that g is increasing on its domain. Hence, combining equations (5.) and (5.) we have sup R p,α (g, h) sup h x(y) (y) sup g(y) g() g,h G α y [,) y [,] ((p ) ( p ) ) /p (( p ) + p ) /p C p completing the proof. Acknowledgement. We would like to thank the referee of an earlier version of this manuscript for important insights: in particular the idea behind Theorem 4.4. p References [] ABRAMOWITZ, M., AND STEGUN, I. Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Dover Publications, Mineola, New York, 965. [] GRYC, W. E., AND KEMP, T. Duality in Segal-Bargmann spaces. J. Funct. Anal. 6, 6 (), [3] HALL, B. C. Holomorphic methods in analysis and mathematical physics. Contemporary Mathematics 6 (), 59. [4] JANSON, S., PEETRE, J., AND ROCHBERG, R. Hankel forms on the Fock space. Rev. Mat. Iberoamericana 3, no. (987), [5] LIEB, E. Gaussian kernels have only Gaussian maximizers. Invent. math. (99), [6] LIEB, E., AND LOSS, M. Analysis, second ed. American Mathematical Society, Providence, Rhode Island,. [7] SJÖGREN, P. Un contre-exemple pour le noyau reproduisant de la mesure gaussienne dans le plan complexe. Seminaire Paul Krée (Equations aux dérivées partielles en dimension infinite), Paris (975/976). [8] TUNG, J. Taylor coefficients of functions in Fock spaces. J. Math. Anal. Appl. (6), [9] ZHU, K. Analysis on Fock Spaces. Springer, New York, New York,. 3
TRANSLATION INVARIANCE OF FOCK SPACES
TRANSLATION INVARIANCE OF FOCK SPACES KEHE ZHU ABSTRACT. We show that there is only one Hilbert space of entire functions that is invariant under the action of naturally defined weighted translations.
More informationPRODUCTS OF TOEPLITZ OPERATORS ON THE FOCK SPACE
PRODUCTS OF TOEPLITZ OPERATORS ON THE FOCK SPACE HONG RAE CHO, JONG-DO PARK, AND KEHE ZHU ABSTRACT. Let f and g be functions, not identically zero, in the Fock space F 2 α of. We show that the product
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
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 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 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 informationUNCERTAINTY PRINCIPLES FOR THE FOCK SPACE
UNCERTAINTY PRINCIPLES FOR THE FOCK SPACE KEHE ZHU ABSTRACT. We prove several versions of the uncertainty principle for the Fock space F 2 in the complex plane. In particular, for any unit vector f in
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 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 informationA CLASS OF INTEGRAL OPERATORS ON THE UNIT BALL OF C n. 1. INTRODUCTION Throughout the paper we fix a positive integer n and let
A CLASS OF INTEGRAL OPERATORS ON THE UNIT BALL OF C n OSMAN KURES AND KEHE ZHU ABSTRACT. For real parameters a, b, c, and t, where c is not a nonpositive integer, we determine exactly when the integral
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 informationOn Riesz-Fischer sequences and lower frame bounds
On Riesz-Fischer sequences and lower frame bounds P. Casazza, O. Christensen, S. Li, A. Lindner Abstract We investigate the consequences of the lower frame condition and the lower Riesz basis condition
More informationOn John type ellipsoids
On John type ellipsoids B. Klartag Tel Aviv University Abstract Given an arbitrary convex symmetric body K R n, we construct a natural and non-trivial continuous map u K which associates ellipsoids to
More informationDavid Hilbert was old and partly deaf in the nineteen thirties. Yet being a diligent
Chapter 5 ddddd dddddd dddddddd ddddddd dddddddd ddddddd Hilbert Space The Euclidean norm is special among all norms defined in R n for being induced by the Euclidean inner product (the dot product). A
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
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 informationTHEORY OF BERGMAN SPACES IN THE UNIT BALL OF C n. 1. INTRODUCTION Throughout the paper we fix a positive integer n and let
THEORY OF BERGMAN SPACES IN THE UNIT BALL OF C n RUHAN ZHAO AND KEHE ZHU ABSTRACT. There has been a great deal of work done in recent years on weighted Bergman spaces A p α on the unit ball of C n, where
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 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 informationRecall that any inner product space V has an associated norm defined by
Hilbert Spaces Recall that any inner product space V has an associated norm defined by v = v v. Thus an inner product space can be viewed as a special kind of normed vector space. In particular every inner
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 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 informationj=1 [We will show that the triangle inequality holds for each p-norm in Chapter 3 Section 6.] The 1-norm is A F = tr(a H A).
Math 344 Lecture #19 3.5 Normed Linear Spaces Definition 3.5.1. A seminorm on a vector space V over F is a map : V R that for all x, y V and for all α F satisfies (i) x 0 (positivity), (ii) αx = α x (scale
More informationINTEGRATION WORKSHOP 2003 COMPLEX ANALYSIS EXERCISES
INTEGRATION WORKSHOP 23 COMPLEX ANALYSIS EXERCISES DOUGLAS ULMER 1. Meromorphic functions on the Riemann sphere It s often useful to allow functions to take the value. This exercise outlines one way to
More informationChapter 8 Integral Operators
Chapter 8 Integral Operators In our development of metrics, norms, inner products, and operator theory in Chapters 1 7 we only tangentially considered topics that involved the use of Lebesgue measure,
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationRadial balanced metrics on the unit disk
Radial balanced metrics on the unit disk Antonio Greco and Andrea Loi Dipartimento di Matematica e Informatica Università di Cagliari Via Ospedale 7, 0914 Cagliari Italy e-mail : greco@unica.it, loi@unica.it
More informationA 3 3 DILATION COUNTEREXAMPLE
A 3 3 DILATION COUNTEREXAMPLE MAN DUEN CHOI AND KENNETH R DAVIDSON Dedicated to the memory of William B Arveson Abstract We define four 3 3 commuting contractions which do not dilate to commuting isometries
More information1 Orthonormal sets in Hilbert space
Math 857 Fall 15 1 Orthonormal sets in Hilbert space Let S H. We denote by [S] the span of S, i.e., the set of all linear combinations of elements from S. A set {u α : α A} is called orthonormal, if u
More informationQUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 1, 2015 (Day 1)
QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 1, 2015 (Day 1) 1. (A) The integer 8871870642308873326043363 is the 13 th power of an integer n. Find n. Solution.
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
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 informationReal Analysis Prelim Questions Day 1 August 27, 2013
Real Analysis Prelim Questions Day 1 August 27, 2013 are 5 questions. TIME LIMIT: 3 hours Instructions: Measure and measurable refer to Lebesgue measure µ n on R n, and M(R n ) is the collection of measurable
More informationChapter 4: Open mapping theorem, removable singularities
Chapter 4: Open mapping theorem, removable singularities Course 44, 2003 04 February 9, 2004 Theorem 4. (Laurent expansion) Let f : G C be analytic on an open G C be open that contains a nonempty annulus
More informationIf Y and Y 0 satisfy (1-2), then Y = Y 0 a.s.
20 6. CONDITIONAL EXPECTATION Having discussed at length the limit theory for sums of independent random variables we will now move on to deal with dependent random variables. An important tool in this
More informationFunctional Analysis I
Functional Analysis I Course Notes by Stefan Richter Transcribed and Annotated by Gregory Zitelli Polar Decomposition Definition. An operator W B(H) is called a partial isometry if W x = X for all x (ker
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 informationFFTs in Graphics and Vision. Homogenous Polynomials and Irreducible Representations
FFTs in Graphics and Vision Homogenous Polynomials and Irreducible Representations 1 Outline The 2π Term in Assignment 1 Homogenous Polynomials Representations of Functions on the Unit-Circle Sub-Representations
More informationWold decomposition for operators close to isometries
Saarland University Faculty of Natural Sciences and Technology I Department of Mathematics Bachelor s Thesis Submitted in partial fulfilment of the requirements for the degree of Bachelor of Science in
More informationAsymptotic of Enumerative Invariants in CP 2
Peking Mathematical Journal https://doi.org/.7/s4543-8-4-4 ORIGINAL ARTICLE Asymptotic of Enumerative Invariants in CP Gang Tian Dongyi Wei Received: 8 March 8 / Revised: 3 July 8 / Accepted: 5 July 8
More informationSpectra of Multiplication Operators as a Numerical Tool. B. Vioreanu and V. Rokhlin Technical Report YALEU/DCS/TR-1443 March 3, 2011
We introduce a numerical procedure for the construction of interpolation and quadrature formulae on bounded convex regions in the plane. The construction is based on the behavior of spectra of certain
More informationL. Levaggi A. Tabacco WAVELETS ON THE INTERVAL AND RELATED TOPICS
Rend. Sem. Mat. Univ. Pol. Torino Vol. 57, 1999) L. Levaggi A. Tabacco WAVELETS ON THE INTERVAL AND RELATED TOPICS Abstract. We use an abstract framework to obtain a multilevel decomposition of a variety
More informationCommutative Banach algebras 79
8. Commutative Banach algebras In this chapter, we analyze commutative Banach algebras in greater detail. So we always assume that xy = yx for all x, y A here. Definition 8.1. Let A be a (commutative)
More informationTrace Class Operators and Lidskii s Theorem
Trace Class Operators and Lidskii s Theorem Tom Phelan Semester 2 2009 1 Introduction The purpose of this paper is to provide the reader with a self-contained derivation of the celebrated Lidskii Trace
More information1 Functional Analysis
1 Functional Analysis 1 1.1 Banach spaces Remark 1.1. In classical mechanics, the state of some physical system is characterized as a point x in phase space (generalized position and momentum coordinates).
More informationMath 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.
Math 350 Fall 2011 Notes about inner product spaces In this notes we state and prove some important properties of inner product spaces. First, recall the dot product on R n : if x, y R n, say x = (x 1,...,
More informationWhere is matrix multiplication locally open?
Linear Algebra and its Applications 517 (2017) 167 176 Contents lists available at ScienceDirect Linear Algebra and its Applications www.elsevier.com/locate/laa Where is matrix multiplication locally open?
More informationFunctional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32
Functional Analysis Martin Brokate Contents 1 Normed Spaces 2 2 Hilbert Spaces 2 3 The Principle of Uniform Boundedness 32 4 Extension, Reflexivity, Separation 37 5 Compact subsets of C and L p 46 6 Weak
More informationSOLUTIONS TO ADDITIONAL EXERCISES FOR II.1 AND II.2
SOLUTIONS TO ADDITIONAL EXERCISES FOR II.1 AND II.2 Here are the solutions to the additional exercises in betsepexercises.pdf. B1. Let y and z be distinct points of L; we claim that x, y and z are not
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 informationTopology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:
Topology Xiaolong Han Department of Mathematics, California State University, Northridge, CA 91330, USA E-mail address: Xiaolong.Han@csun.edu Remark. You are entitled to a reward of 1 point toward a homework
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 information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
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 informationUncertainty Principles for the Segal-Bargmann Transform
Journal of Mathematical Research with Applications Sept, 017, Vol 37, No 5, pp 563 576 DOI:103770/jissn:095-65101705007 Http://jmredluteducn Uncertainty Principles for the Segal-Bargmann Transform Fethi
More informationADJOINT OPERATOR OF BERGMAN PROJECTION AND BESOV SPACE B 1
AJOINT OPERATOR OF BERGMAN PROJECTION AN BESOV SPACE B 1 AVI KALAJ and JORJIJE VUJAINOVIĆ The main result of this paper is related to finding two-sided bounds of norm for the adjoint operator P of the
More informationCHAPTER V DUAL SPACES
CHAPTER V DUAL SPACES DEFINITION Let (X, T ) be a (real) locally convex topological vector space. By the dual space X, or (X, T ), of X we mean the set of all continuous linear functionals on X. By the
More informationA strongly polynomial algorithm for linear systems having a binary solution
A strongly polynomial algorithm for linear systems having a binary solution Sergei Chubanov Institute of Information Systems at the University of Siegen, Germany e-mail: sergei.chubanov@uni-siegen.de 7th
More informationDepartment of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016
Department of Mathematics, University of California, Berkeley YOUR 1 OR 2 DIGIT EXAM NUMBER GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016 1. Please write your 1- or 2-digit exam number on
More informationHilbert spaces. 1. Cauchy-Schwarz-Bunyakowsky inequality
(October 29, 2016) Hilbert 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 2016-17/03 hsp.pdf] Hilbert spaces are
More informationComposition Operators with Multivalent Symbol
Composition Operators with Multivalent Symbol Rebecca G. Wahl University of South Dakota, Vermillion, South Dakota 57069 March 10, 007 Abstract If ϕ is an analytic map of the unit disk D into itself, the
More informationFactorization in Polynomial Rings
Factorization in Polynomial Rings Throughout these notes, F denotes a field. 1 Long division with remainder We begin with some basic definitions. Definition 1.1. Let f, g F [x]. We say that f divides g,
More informationIntroduction to Abstract Mathematics
Introduction to Abstract Mathematics Notation: Z + or Z >0 denotes the set {1, 2, 3,...} of positive integers, Z 0 is the set {0, 1, 2,...} of nonnegative integers, Z is the set {..., 1, 0, 1, 2,...} of
More informationSynopsis of Complex Analysis. Ryan D. Reece
Synopsis of Complex Analysis Ryan D. Reece December 7, 2006 Chapter Complex Numbers. The Parts of a Complex Number A complex number, z, is an ordered pair of real numbers similar to the points in the real
More informationMS 3011 Exercises. December 11, 2013
MS 3011 Exercises December 11, 2013 The exercises are divided into (A) easy (B) medium and (C) hard. If you are particularly interested I also have some projects at the end which will deepen your understanding
More informationRiemann integral and volume are generalized to unbounded functions and sets. is an admissible set, and its volume is a Riemann integral, 1l E,
Tel Aviv University, 26 Analysis-III 9 9 Improper integral 9a Introduction....................... 9 9b Positive integrands................... 9c Special functions gamma and beta......... 4 9d Change of
More informationVOLUME INTEGRAL MEANS OF HOLOMORPHIC FUNCTIONS
VOLUME INTEGRAL MEANS OF HOLOMORPHIC FUNCTIONS JIE XIAO AND KEHE ZHU ABSTRACT. The classical integral means of a holomorphic function f in the unit disk are defined by [ 1/p 1 2π f(re iθ ) dθ] p, r < 1.
More informationKernel Method: Data Analysis with Positive Definite Kernels
Kernel Method: Data Analysis with Positive Definite Kernels 2. Positive Definite Kernel and Reproducing Kernel Hilbert Space Kenji Fukumizu The Institute of Statistical Mathematics. Graduate University
More informationThe following definition is fundamental.
1. Some Basics from Linear Algebra With these notes, I will try and clarify certain topics that I only quickly mention in class. First and foremost, I will assume that you are familiar with many basic
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 informationProblem List MATH 5143 Fall, 2013
Problem List MATH 5143 Fall, 2013 On any problem you may use the result of any previous problem (even if you were not able to do it) and any information given in class up to the moment the problem was
More informationExamples of Dual Spaces from Measure Theory
Chapter 9 Examples of Dual Spaces from Measure Theory We have seen that L (, A, µ) is a Banach space for any measure space (, A, µ). We will extend that concept in the following section to identify an
More information11 COMPLEX ANALYSIS IN C. 1.1 Holomorphic Functions
11 COMPLEX ANALYSIS IN C 1.1 Holomorphic Functions A domain Ω in the complex plane C is a connected, open subset of C. Let z o Ω and f a map f : Ω C. We say that f is real differentiable at z o if there
More informationElementary linear algebra
Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The
More informationBoolean Inner-Product Spaces and Boolean Matrices
Boolean Inner-Product Spaces and Boolean Matrices Stan Gudder Department of Mathematics, University of Denver, Denver CO 80208 Frédéric Latrémolière Department of Mathematics, University of Denver, Denver
More informationSome notes on Coxeter groups
Some notes on Coxeter groups Brooks Roberts November 28, 2017 CONTENTS 1 Contents 1 Sources 2 2 Reflections 3 3 The orthogonal group 7 4 Finite subgroups in two dimensions 9 5 Finite subgroups in three
More informationConformal Mappings. Chapter Schwarz Lemma
Chapter 5 Conformal Mappings In this chapter we study analytic isomorphisms. An analytic isomorphism is also called a conformal map. We say that f is an analytic isomorphism of U with V if f is an analytic
More informationGlobal holomorphic functions in several non-commuting variables II
arxiv:706.09973v [math.fa] 29 Jun 207 Global holomorphic functions in several non-commuting variables II Jim Agler U.C. San Diego La Jolla, CA 92093 July 3, 207 John E. McCarthy Washington University St.
More informationLecture 1 The complex plane. z ± w z + w.
Lecture 1 The complex plane Exercise 1.1. Show that the modulus obeys the triangle inequality z ± w z + w. This allows us to make the complex plane into a metric space, and thus to introduce topological
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 informationSPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS
SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS G. RAMESH Contents Introduction 1 1. Bounded Operators 1 1.3. Examples 3 2. Compact Operators 5 2.1. Properties 6 3. The Spectral Theorem 9 3.3. Self-adjoint
More informationMATH 426, TOPOLOGY. p 1.
MATH 426, TOPOLOGY THE p-norms In this document we assume an extended real line, where is an element greater than all real numbers; the interval notation [1, ] will be used to mean [1, ) { }. 1. THE p
More information4 Hilbert spaces. The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan
The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan Wir müssen wissen, wir werden wissen. David Hilbert We now continue to study a special class of Banach spaces,
More informationProblem set 2 The central limit theorem.
Problem set 2 The central limit theorem. Math 22a September 6, 204 Due Sept. 23 The purpose of this problem set is to walk through the proof of the central limit theorem of probability theory. Roughly
More informationSpectral Theory, with an Introduction to Operator Means. William L. Green
Spectral Theory, with an Introduction to Operator Means William L. Green January 30, 2008 Contents Introduction............................... 1 Hilbert Space.............................. 4 Linear Maps
More information2. Dual space is essential for the concept of gradient which, in turn, leads to the variational analysis of Lagrange multipliers.
Chapter 3 Duality in Banach Space Modern optimization theory largely centers around the interplay of a normed vector space and its corresponding dual. The notion of duality is important for the following
More informationBLOCH SPACE AND THE NORM OF THE BERGMAN PROJECTION
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 38, 2013, 849 853 BLOCH SPACE AN THE NORM OF THE BERGMAN PROJECTION Antti Perälä University of Helsinki, epartment of Mathematics and Statistics
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 informationHEAT KERNEL ANALYSIS ON INFINITE-DIMENSIONAL GROUPS. Masha Gordina. University of Connecticut.
HEAT KERNEL ANALYSIS ON INFINITE-DIMENSIONAL GROUPS Masha Gordina University of Connecticut http://www.math.uconn.edu/~gordina 6th Cornell Probability Summer School July 2010 SEGAL-BARGMANN TRANSFORM AND
More informationMath 115 ( ) Yum-Tong Siu 1. Derivation of the Poisson Kernel by Fourier Series and Convolution
Math 5 (006-007 Yum-Tong Siu. Derivation of the Poisson Kernel by Fourier Series and Convolution We are going to give a second derivation of the Poisson kernel by using Fourier series and convolution.
More informationRIEMANN SURFACES. max(0, deg x f)x.
RIEMANN SURFACES 10. Weeks 11 12: Riemann-Roch theorem and applications 10.1. Divisors. The notion of a divisor looks very simple. Let X be a compact Riemann surface. A divisor is an expression a x x x
More informationElements of Positive Definite Kernel and Reproducing Kernel Hilbert Space
Elements of Positive Definite Kernel and Reproducing Kernel Hilbert Space Statistical Inference with Reproducing Kernel Hilbert Space Kenji Fukumizu Institute of Statistical Mathematics, ROIS Department
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 informationClass Notes for MATH 454.
Class Notes for MATH 454. by S. W. Drury Copyright c 2002 2015, by S. W. Drury. Contents 1 Metric and Topological Spaces 2 1.1 Metric Spaces............................ 2 1.2 Normed Spaces...........................
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 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 information1 Continuity Classes C m (Ω)
0.1 Norms 0.1 Norms A norm on a linear space X is a function : X R with the properties: Positive Definite: x 0 x X (nonnegative) x = 0 x = 0 (strictly positive) λx = λ x x X, λ C(homogeneous) x + y x +
More informationCHAPTER VIII HILBERT SPACES
CHAPTER VIII HILBERT SPACES DEFINITION Let X and Y be two complex vector spaces. A map T : X Y is called a conjugate-linear transformation if it is a reallinear transformation from X into Y, and if T (λx)
More informationCalculus in Gauss Space
Calculus in Gauss Space 1. The Gradient Operator The -dimensional Lebesgue space is the measurable space (E (E )) where E =[0 1) or E = R endowed with the Lebesgue measure, and the calculus of functions
More informationMAT 257, Handout 13: December 5-7, 2011.
MAT 257, Handout 13: December 5-7, 2011. The Change of Variables Theorem. In these notes, I try to make more explicit some parts of Spivak s proof of the Change of Variable Theorem, and to supply most
More information