# MICROLOCAL ANALYSIS OF THE BOCHNER-MARTINELLI INTEGRAL

Save this PDF as:

Size: px
Start display at page:

## Transcription

1 PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages S (XX) MICROLOCAL ANALYSIS OF THE BOCHNER-MARTINELLI INTEGRAL NIKOLAI TARKHANOV AND NIKOLAI VASILEVSKI (Communicated by XXX) Abstract. In order to characterise the C -algebra generated by the singular Bochner-Martinelli integral over a smooth closed hypersurfaces in C n, we compute its principal symbol. We show then that the Szegö projection belongs to the strong closure of the algebra generated by the singular Bochner-Martinelli integral. Contents. Introduction 2. Singular Bochner-Martinelli integral 2 3. Evaluation of the symbol 4 4. C -algebra 6 5. The Szegö projection 7 References 9. Introduction The Bochner-Martinelli integral formula for holomorphic functions in a bounded domain in C n is of great importance in complex analysis, cf. [5]. It is a generalization to many variables of the classical Cauchy formula which actually gave rise to the theory of singular integral equations. A canonical Cauchy-type singular integral known as Hilbert transform is a corner stone of harmonic analysis. To handle more refined integral operators of many-dimensional complex analysis, such as Cauchy- Fantappiè integrals or Szegö projections, etc., there have been elaborated several calculi of pseudodifferential operators relevant to several complex variables, cf. [7]. The Bochner-Martinelli integral does not apply to derive explicit formulas for a solution of the -equation, which is a fundamental equation of complex analysis. On the other hand, the singular Bochner-Martinelli integral over each smooth hypersurface satisfies the cancellation condition, and thus defines a singular integral operator on the hypersurface. In other words, it belongs to the algebra of Received by the editors November 2, Mathematics Subject Classification. Primary 32A25; Secondary 47L5, 47G30. Key words and phrases. The Bochner-Martinelli integral, symbol, C -algebra, Szegö projection. c 2000 American Mathematical Society

2 2 NIKOLAI TARKHANOV AND NIKOLAI VASILEVSKI pseudodifferential operators of order zero with polyhomogeneous symbols. Since its kernel is very explicit the problems of complex analysis have never required, as far as we know, the knowledge of its symbol but in the case n =. The analysis of the Bochner-Martinelli singular integral so far undertaken does not go beyond the potential theory of the 950s, cf. [4]. Since explicit kernels are more useful than the Fourier transform under the presence of singularities of the underlying hypersurface, the existing theory of the Bochner-Martinelli integral leads to the conclusion that no pseudodifferential technique is required in this theory at all. However, the theory of operator algebras gives us an evidence to the contrary. To effectively describe the C -algebra generated by the singular Bochner-Martinelli integral the knowledge of its explicit kernel is obviously insufficient, for the composition rule for the kernels includes integration over the hypersurface and cannot be carried out explicitly. On the other hand, the composition rule for the principal symbols allows one to evaluate the principal symbol of a power of the singular Bochner-Martinelli integral explicitly. This immediately gives rise to the Calkin algebra of the algebra under study. The aim of this paper is to bring together two areas whose interaction might enrich each other. The first of the two is the theory of algebras of pseudodifferential operators with symbol structure. And the second area is the potential theory of the Bochner-Martinelli kernel, which applies to many central problems of complex analysis. 2. Singular Bochner-Martinelli integral Let S be a smooth closed hypersurface in C n, where n. The surface measure ds on S is induced by the Lebesgue measure dy = dy... dy 2n in R 2n, where the complex structure is introduced by ζ j = y j + ıy n+j, for j =,..., n. A trivial verification shows that dy = (2ı) n d ζ dζ, where dζ = dζ... dζ n and similarly for d ζ. If S is given in the form S = {ζ C n : ϱ(ζ) = 0}, where ϱ C (C n ) is a real-valued function satisfying ϱ(ζ) 0 for all ζ S, ϱ(ζ) standing for the real gradient of ϱ at ζ, then ν(ζ) = ϱ(ζ) ϱ(ζ) is the unit normal vector of S at a point ζ S oriented in the direction of increasing of ρ. The complex vector ν c = (ν c,,..., ν c,n ) with coordinates ν c,j = ν j + ıν n+j is called the complex normal of the hypersurface S. In the coordinates of C n we obviously have ϱ ν c,j (ζ) = ζ j ζϱ(ζ) for j =,..., n. We now denote by d ζ[j] the wedge product of all differentials d ζ,..., d ζ n but d ζ j. Lemma 2.. For each j =,..., n, the pull-back of the differential form dζ d ζ[j] under the embedding S C n is equal to ( ) j (2ı) n ı ν c,j ds, where ds is the surface measure on S.

3 MICROLOCAL ANALYSIS OF THE BOCHNER-MARTINELLI INTEGRAL 3 Proof. An easy computation shows that the pull-back of the differential form dy[j] under the embedding S R 2n is equal to ( ) j ν j ds, for every j =,..., 2n. From this the lemma follows immediately. Given an integrable function f : S C with compact support on S, the Bochner- Martinelli integral of f is defined by (2.) Mf (z) = f(ζ)u(ζ, z) for z S, where U(ζ, z) = (n )! (2πı) n S ( ) ζ j j z j ζ z 2n d ζ[j] dζ is referred to as the Bochner-Martinelli kernel, cf. [5]. Obviously, M f is a harmonic function in C n \ S, and it vanishes at infinity unless n =. Moreover, Mf is of finite order growth near S, hence Mf possesses weak limit values on S both from within and without S. If z S then the integral (2.) no longer exists, for the kernel U(ζ, z) has a point singularity at z whose order just amounts to the dimension of S. Moreover, if f is merely continuous then even the Cauchy principal value of Mf may fail to exist, i.e., (2.2) p.v. Mf (z) = lim ε 0 for z S. ζ S ζ z ε f(ζ)u(ζ, z) However, if the function f satisfies Dini s condition at z, i.e., where ω θ (f, z) := sup f(ζ) f(z) ζ S ζ z <θ 0 ω θ (f, z) dθ <, θ is the continuity modulus of f at z, then the Cauchy principal value integral (2.2) exists at this point. Lemma 2.2. If f L comp(s) satisfies Dini s condition at a point z S then the singular integral (2.2) exists, and lim Mf (z ± εν(z)) = f(z) + p.v. Mf (z). ε 0 2 Proof. For this and other generalizations of the classical Sokhotskii-Plemelj jump formulas we refer the reader to [5]. Lemma 2.2 shows in particular that the cancellation condition, which is necessary and sufficient for the existence of a singular integral operator, is fulfilled for singular Bochner-Martinelli integral (2.2). From now on we restrict our discussion to this singular integral operator and will write it simply M S f. If S is of class C then M S : C comp(s) C (S) is a polyhomogeneous pseudodifferential operator of zero order on S.

4 4 NIKOLAI TARKHANOV AND NIKOLAI VASILEVSKI 3. Evaluation of the symbol In this section we evaluate the principal symbol of the singular Bochner-Martinelli integral (2.2). To this end, we identify the cotangent space T z S of S at a point z S with all linear forms on T z R 2n which vanish on the one-dimensional subspace of T z R 2n spanned by ν(z). Since T z R 2n = R 2n, one can actually specify T z S as the hyperplane through the origin in R 2n which is orthogonal to the vector ν(z). Lemma 3.. For all z S and ξ Tz S, the symbol of order 0 of the operator M S is equal to σ 0 (M S )(z, ξ) = ( ν j (z) ξ n+j ν n+j (z) ξ ) j 2 ξ ξ Proof. Using Lemma 2. we get M S f (z) = (3.) = σ 2n S S f(ζ) ( f(ζ) 2 ζ j z j ζ z 2n ν c,j(ζ) ds(ζ) ν c,j (ζ) ζ j ) G 2n (z ζ) ds(ζ), where σ 2n is the area of the (2n ) -dimensional sphere in R 2n, and G 2n (z) = σ 2n (2 2n) z 2n 2 is the standard fundamental solution of convolution type of the Laplace operator in R 2n. Let G 2n stand for the operator with Schwartz kernel G 2n (z ζ) in R 2n. This is a polyhomogeneous pseudodifferential operator of order 2 well known as the Newton potential in R 2n. Its principal symbol is ξ 2. The equality (3.) means that (3.2) M S f (z) = G 2n (2 ν c,j (ζ) ζ j ) (fσs ), where the prime stands for the transposed operator, and σ S is the surface layer on S. We thus see that the pseudodifferential M S on S is the restriction to S of the pseudodifferential operator Ψ = G 2n (2 ν c,j (ζ) ζ j ) on all of R 2n. This latter is of order and its principal symbol is easily evaluated, namely σ ı (Ψ)(z, ξ) = ξ 2 ν c,j (z) (ξ j ıξ n+j ) = ı ν c,j (z) ξ j ıξ n+j ξ 2

5 MICROLOCAL ANALYSIS OF THE BOCHNER-MARTINELLI INTEGRAL 5 for z in a neighbourhood of S and ξ R 2n. A familiar argument now shows that the principal symbol of M S is given by the formula σ 0 (M S )(z, ξ) = 2π p.v. = ı 2π = ı 2π ν c,j (z) p.v. σ (Ψ)(z, tν(z) + ξ) dt (tν j (z) + ξ j ) ı(tν n+j (z) + ξ n+j ) tν(z) + ξ 2 tν c,j (z) + (ξ j ıξ n+j ) ν c,j (z) p.v. t 2 + 2t ν(z), ξ + ξ 2 dt for all z S and ξ R 2n orthogonal to the vector ν(z). Note that the integral on the right-hand side diverges, however, its Cauchy principal value exists, which is due to the condition ν(z), ξ = 0. We finally obtain σ 0 (M S )(z, ξ) = ı 2π which just amounts to = σ 0 (M S )(z, ξ) = 2 showing the lemma. ı 2 ξ ν c,j (z) (ξ j ıξ n+j ) ν c,j (z) (ξ j ıξ n+j ), t 2 + ξ 2 dt ( ν j (z) ξ n+j ν n+j (z) ξ ) j + ı ν(z), ξ, ξ ξ 2 ξ Note that for S = {z C n : Iz n = 0} Lemma 3. gives σ 0 (M S )(z, ξ) = 2 which obviously agrees with the symbol of the Hilbert transform on the real axis, i.e., for n =. Worth mentioning a very simple and transparent geometric interpretation of the symbol σ 0 (M S ). The tangent hyperplane T z S of S at a point z contains the complex plane T C,z S of real dimension 2n 2 determined by the equation (ν c (z), ζ z) = 0, where by (, ) is meant the scalar product in C n. This plane is called the complex tangent plane of S at z. The vector ν c (z) C n spans over C a complex plane N C,z S of real dimension 2 in C n, which is called the complex normal plane of S at z. The whole space C n splits into the orthogonal sum T C,z S N C,z S, if we put the origin at z. The question is now how well is S fit in this complex decomposition. The complex vector ν c (z) is identified under the complex structure in R 2n with the real vector ν(z). Hence, the multiplication of ν c (z) with ı puts it in the tangent hyperplane T z S. Being the intersection of T z S and N C,z S, the real vector ıν c (z) = ( ν n+,..., ν 2n, ν,..., ν n ) completes ν c (z) to an orthonormal basis of N C,z S. The real line in T z S determined by ıν c (z) is well known in complex analysis and is usually referred to as distinguished direction. Lemma 3. then shows that (3.3) σ 0 (M S )(z, ξ) = 2 ξ ıν c(z), ξ, ξ n ξ, dt

6 6 NIKOLAI TARKHANOV AND NIKOLAI VASILEVSKI i.e., the value of the principal symbol of M S at (z, ξ) just amounts to half the orthogonal projection of the cotangent vector ξ Tz S onto the distinguished direction. 4. C -algebra Suppose D is a bounded domain in C n whose boundary is a smooth compact closed hypersurface S. We first note that the operator M S is essentially selfadjoint, i.e., the difference M S MS is compact. This is a direct consequence of the fact that the principal symbol of M S is real-valued. Furthermore, it is known that the operator M S is selfadjoint if and only if S is a sphere in C n, cf. [5]. Denote by A = A(C(S), M S ) the C -algebra generated by the Bochner-Martinelli integral M S, its adjoint operator MS, and by all multiplication operators ai with a C(S). For n =, the algebra A(C(S), M S ) coincides with the whole algebra of onedimensional singular integral operators, while for n 2 it is a proper subalgebra of zero order pseudodifferential operators on S. Theorem 4.. The C -algebra A is irreducible. Proof. In order to establish the theorem we show that the algebra A does not have any non-trivial invariant subspace. Each invariant subspace of its subalgebra {ai : a C(S)} = C(S) is obviously of the form V Σ = {χ Σ f : f L 2 (S)}, where χ Σ is the characteristic function of a measurable subset Σ S of positive measure. Now, the space V Σ is invariant for the entire algebra A if and only if χ Σ M S = M S χ Σ I. In this case the function χ Σ = χ Σ ( ( )) = χ Σ 2 I + M S (( ) = S) 2 I + M χ Σ I ( = S) 2 I + M χ Σ admits an analytic extension to the domain D which thus possesses the boundary values {, if z Σ, χ Σ (z) = 0, if z S \ Σ, on S. Thus, modulo a zero measure set, either Σ = or Σ = S. Hence it follows that each invariant subspace of the algebra A is trivial, being either {0} or L 2 (S), as desired. Being irreducible, the algebra A contains non-zero compact operators (for example, commutators [ai, M S ]). By Theorem of [6], it contains the entire ideal K of compact operators on L 2 (S). Denote by Â = A/K the Calkin algebra of the algebra A. The essential spectrum of the operator M S, i.e., the spectrum of the image M S of M S in the Calkin algebra, coincides obviously with the range of its principal symbol. By (3.3), the essential spectrum of M S just amounts to the interval [ /2, /2], and thus, by the standard

7 MICROLOCAL ANALYSIS OF THE BOCHNER-MARTINELLI INTEGRAL 7 functional calculus, the C -subalgebra of Â generated by M S is isomorphic and isometric to C[ /2, /2]. The description of the Calkin algebra Â can be obtained either by using the familiar localization technique or by deducing the result from the well-known description of the Calkin algebra for the C -algebra of zero order pseudodifferential operators on the surface S. Theorem 4.2. The Calkin algebra Â of the algebra A = A(C(S), M S) is isomorphic and isometric to C(S [ /2, /2]). Under this isomorphism, the homomorphism π : A Â is generated by the following mapping of generators of the algebra A: π : ai a(z), z S; π : M S σ, σ [ /2, /2]. Note that a zero order pseudodifferential operator Ψ belongs to the algebra A if and only if its principal symbol has the form ( (4.) σ 0 ) (Ψ)(z, ξ) = a z, 2 ξ ıν c(z), ξ for a suitable function a C(S [ /2, /2]). 5. The Szegö projection Let D be a strictly pseudoconvex domain in C n, and let S be its boundary. As in Section 2, we write ds for the surface measure on S, and consider L 2 (S) with respect to this measure. Moreover, we denote by H 2 (S) the Hardy space on S, that is, the subspace of L 2 (S) consisting of all functions admitting an analytic continuation to the domain D. Let P S stand for the orthogonal projection of L 2 (S) onto H 2 (S), called also Szegö projection. By Lemma 2.2, the limit values on S of the Bochner-Martinelli integral from within S are related to the singular integral by the formula M = (/2)I + M S. In [8] the iterations of M are proved to converge in the strong topology of L(L 2 (S)) to the Szegö projection P S in case S is the boundary of a ball in C n. The question arises whether this result can be extended to arbitrary strictly pseudoconvex domains D. Using (3.3), we may readily evaluate the principal symbol of iterations M N for all N =, 2,.... This yields (5.) σ 0 (M N )(z, ξ) = ( 2 + ) N 2 ξ ıν c(z), ξ = ( ξ ) N 2 N + ıν c (z), ξ whenever z S and ξ R 2n is orthogonal to the normal vector ν(z). From (5.) we deduce by the Schwarz inequality that { (5.2) lim N σ0 (M N, if ξ = t ıνc (z), t > 0, )(z, ξ) = 0, otherwise, for all z S. Moreover, this convergence is uniform on each subset of T S of the form z S and ξ/ ξ ıν(z) ε, with ε > 0.

8 8 NIKOLAI TARKHANOV AND NIKOLAI VASILEVSKI Note that {(z, ξ) : ξ = t ıν c (z), t > 0} is just the symplectic submanifold of T S, on which the symbols of generalized Toeplitz operators live, cf. [2, ]. In [2], the covector ıν c (z) is written as one-form ι I ϱ(z) ϱ(z) where ι : S C n is the inclusion map. The equality (5.2) shows that the limit of σ 0 (M N ) is exactly the principal symbol of the Szegö projection P S. Since the generalized Toeplitz operators of negative order induce compact operators on L 2 (S), cf. ibid., (5.2) gives us a microlocal version of Romanov s theorem [8] which is also valid for arbitrary strictly pseudoconvex surfaces. Theorem 5.. Assume that S is the boundary of a strictly pseudoconvex domain. Then lim N ((/2)I + M S) N = P S + K S in the strong topology of L(L 2 (S)), where K S is a compact operator. As but one direct and simple consequence of Theorem 5. we mention that P S (2M S ) + K S = (2M S ) P S + K S = P S (2M S ) P S + K S = P S, where K S and K S are compact operators, and K S = K S P S = P S K S. While for S being the boundary of a ball one has exactly P S (2M S ) = (2M S ) P S = P S (2M S ) P S = P S. In conclusion we mention as well that if Ψ is a pseudodifferential operator in A with principal symbol (4.) then P S ΨP S = P S (a(z, /2)I) P S holds modulo compact operators.

9 MICROLOCAL ANALYSIS OF THE BOCHNER-MARTINELLI INTEGRAL 9 References. Boutet de Monvel, L., On the index of Toeplitz operators of several complex variables, Inventiones Math. 50 (979), Boutet de Monvel, L. and Guillemin, V., The Spectral Theory of Toeplitz Operators, Princeton University Press, Princeton, New Jersey, Guillemin, V., Toeplitz operators in n dimensions, Integral Equations Operator Theory 7 (984), no. 2, Günter, N. M., Potential Theory and Its Application to Fundamental Problems of Mathematical Physics, Gostekhizdat, Moscow, 953, 45 p. 5. Kytmanov, A. M., The Bochner-Martinelli Integral, and Its Applications, Birkhäuser Verlag, Basel et al., Murphy, G. I., C -Algebras and Operator Theory, Academic Press, Inc., Boston et al., Nagel, A. and Stein, E. M., Lectures on Pseudo-Differential Operators, Princeton University Press, Princeton, New Jersey, Romanov, A. V., Spectral analysis of Martinelli-Bochner integral for ball in C n, and its applications, Functional Anal. Appl. 2 (978), no. 3. Institute of Mathematics, University of Potsdam, PO Box , 445 Potsdam, Germany address: Departamento de Matemáticas, CINVESTAV del I.P.N.,Apartado Postal 4-740, México, D.F., México address:

### BANACH AND HILBERT SPACE REVIEW

BANACH AND HILBET SPACE EVIEW CHISTOPHE HEIL These notes will briefly review some basic concepts related to the theory of Banach and Hilbert spaces. We are not trying to give a complete development, but

### 8.1 Examples, definitions, and basic properties

8 De Rham cohomology Last updated: May 21, 211. 8.1 Examples, definitions, and basic properties A k-form ω Ω k (M) is closed if dω =. It is exact if there is a (k 1)-form σ Ω k 1 (M) such that dσ = ω.

### FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied

### WHICH LINEAR-FRACTIONAL TRANSFORMATIONS INDUCE ROTATIONS OF THE SPHERE?

WHICH LINEAR-FRACTIONAL TRANSFORMATIONS INDUCE ROTATIONS OF THE SPHERE? JOEL H. SHAPIRO Abstract. These notes supplement the discussion of linear fractional mappings presented in a beginning graduate course

### Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

### Metric Spaces. Chapter 7. 7.1. Metrics

Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some

### THREE DIMENSIONAL GEOMETRY

Chapter 8 THREE DIMENSIONAL GEOMETRY 8.1 Introduction In this chapter we present a vector algebra approach to three dimensional geometry. The aim is to present standard properties of lines and planes,

### Mathematical Physics, Lecture 9

Mathematical Physics, Lecture 9 Hoshang Heydari Fysikum April 25, 2012 Hoshang Heydari (Fysikum) Mathematical Physics, Lecture 9 April 25, 2012 1 / 42 Table of contents 1 Differentiable manifolds 2 Differential

### Math 241, Exam 1 Information.

Math 241, Exam 1 Information. 9/24/12, LC 310, 11:15-12:05. Exam 1 will be based on: Sections 12.1-12.5, 14.1-14.3. The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/241fa12/241.html)

### RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES

RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES GAUTAM BHARALI AND INDRANIL BISWAS Abstract. In the study of holomorphic maps, the term rigidity refers to certain types of results that give us very specific

### 1 Norms and Vector Spaces

008.10.07.01 1 Norms and Vector Spaces Suppose we have a complex vector space V. A norm is a function f : V R which satisfies (i) f(x) 0 for all x V (ii) f(x + y) f(x) + f(y) for all x,y V (iii) f(λx)

### RANDOM INTERVAL HOMEOMORPHISMS. MICHA L MISIUREWICZ Indiana University Purdue University Indianapolis

RANDOM INTERVAL HOMEOMORPHISMS MICHA L MISIUREWICZ Indiana University Purdue University Indianapolis This is a joint work with Lluís Alsedà Motivation: A talk by Yulij Ilyashenko. Two interval maps, applied

### 1. Let P be the space of all polynomials (of one real variable and with real coefficients) with the norm

Uppsala Universitet Matematiska Institutionen Andreas Strömbergsson Prov i matematik Funktionalanalys Kurs: F3B, F4Sy, NVP 005-06-15 Skrivtid: 9 14 Tillåtna hjälpmedel: Manuella skrivdon, Kreyszigs bok

### Separation Properties for Locally Convex Cones

Journal of Convex Analysis Volume 9 (2002), No. 1, 301 307 Separation Properties for Locally Convex Cones Walter Roth Department of Mathematics, Universiti Brunei Darussalam, Gadong BE1410, Brunei Darussalam

### State of Stress at Point

State of Stress at Point Einstein Notation The basic idea of Einstein notation is that a covector and a vector can form a scalar: This is typically written as an explicit sum: According to this convention,

### 7. Cauchy s integral theorem and Cauchy s integral formula

7. Cauchy s integral theorem and Cauchy s integral formula 7.. Independence of the path of integration Theorem 6.3. can be rewritten in the following form: Theorem 7. : Let D be a domain in C and suppose

### RAJALAKSHMI ENGINEERING COLLEGE MA 2161 UNIT I - ORDINARY DIFFERENTIAL EQUATIONS PART A

RAJALAKSHMI ENGINEERING COLLEGE MA 26 UNIT I - ORDINARY DIFFERENTIAL EQUATIONS. Solve (D 2 + D 2)y = 0. 2. Solve (D 2 + 6D + 9)y = 0. PART A 3. Solve (D 4 + 4)x = 0 where D = d dt 4. Find Particular Integral:

### DIVISORS AND LINE BUNDLES

DIVISORS AND LINE BUNDLES TONY PERKINS 1. Cartier divisors An analytic hypersurface of M is a subset V M such that for each point x V there exists an open set U x M containing x and a holomorphic function

### Finite dimensional C -algebras

Finite dimensional C -algebras S. Sundar September 14, 2012 Throughout H, K stand for finite dimensional Hilbert spaces. 1 Spectral theorem for self-adjoint opertors Let A B(H) and let {ξ 1, ξ 2,, ξ n

### CITY UNIVERSITY LONDON. BEng Degree in Computer Systems Engineering Part II BSc Degree in Computer Systems Engineering Part III PART 2 EXAMINATION

No: CITY UNIVERSITY LONDON BEng Degree in Computer Systems Engineering Part II BSc Degree in Computer Systems Engineering Part III PART 2 EXAMINATION ENGINEERING MATHEMATICS 2 (resit) EX2005 Date: August

### INVARIANT METRICS WITH NONNEGATIVE CURVATURE ON COMPACT LIE GROUPS

INVARIANT METRICS WITH NONNEGATIVE CURVATURE ON COMPACT LIE GROUPS NATHAN BROWN, RACHEL FINCK, MATTHEW SPENCER, KRISTOPHER TAPP, AND ZHONGTAO WU Abstract. We classify the left-invariant metrics with nonnegative

### 4. Expanding dynamical systems

4.1. Metric definition. 4. Expanding dynamical systems Definition 4.1. Let X be a compact metric space. A map f : X X is said to be expanding if there exist ɛ > 0 and L > 1 such that d(f(x), f(y)) Ld(x,

### Recall that two vectors in are perpendicular or orthogonal provided that their dot

Orthogonal Complements and Projections Recall that two vectors in are perpendicular or orthogonal provided that their dot product vanishes That is, if and only if Example 1 The vectors in are orthogonal

### Invariant Metrics with Nonnegative Curvature on Compact Lie Groups

Canad. Math. Bull. Vol. 50 (1), 2007 pp. 24 34 Invariant Metrics with Nonnegative Curvature on Compact Lie Groups Nathan Brown, Rachel Finck, Matthew Spencer, Kristopher Tapp and Zhongtao Wu Abstract.

### CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC. 1. Introduction

Acta Math. Univ. Comenianae Vol. LXXXI, 1 (2012), pp. 71 77 71 CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC E. BALLICO Abstract. Here we study (in positive characteristic) integral curves

### Metric Spaces. Chapter 1

Chapter 1 Metric Spaces Many of the arguments you have seen in several variable calculus are almost identical to the corresponding arguments in one variable calculus, especially arguments concerning convergence

### Lecture 18 - Clifford Algebras and Spin groups

Lecture 18 - Clifford Algebras and Spin groups April 5, 2013 Reference: Lawson and Michelsohn, Spin Geometry. 1 Universal Property If V is a vector space over R or C, let q be any quadratic form, meaning

### Proof. The map. G n i. where d is the degree of D.

7. Divisors Definition 7.1. We say that a scheme X is regular in codimension one if every local ring of dimension one is regular, that is, the quotient m/m 2 is one dimensional, where m is the unique maximal

### Duality of linear conic problems

Duality of linear conic problems Alexander Shapiro and Arkadi Nemirovski Abstract It is well known that the optimal values of a linear programming problem and its dual are equal to each other if at least

### The Dirichlet Unit Theorem

Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if

### 4: SINGLE-PERIOD MARKET MODELS

4: SINGLE-PERIOD MARKET MODELS Ben Goldys and Marek Rutkowski School of Mathematics and Statistics University of Sydney Semester 2, 2015 B. Goldys and M. Rutkowski (USydney) Slides 4: Single-Period Market

### Introduction to Algebraic Geometry. Bézout s Theorem and Inflection Points

Introduction to Algebraic Geometry Bézout s Theorem and Inflection Points 1. The resultant. Let K be a field. Then the polynomial ring K[x] is a unique factorisation domain (UFD). Another example of a

### 16.3 Fredholm Operators

Lectures 16 and 17 16.3 Fredholm Operators A nice way to think about compact operators is to show that set of compact operators is the closure of the set of finite rank operator in operator norm. In this

### THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear

### α = u v. In other words, Orthogonal Projection

Orthogonal Projection Given any nonzero vector v, it is possible to decompose an arbitrary vector u into a component that points in the direction of v and one that points in a direction orthogonal to v

### FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 RAVI VAKIL CONTENTS 1. Discrete valuation rings: Dimension 1 Noetherian regular local rings 1 Last day, we discussed the Zariski tangent space, and saw that it

### Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

### Toeplitz Operators on. finite and infinite dimensional spaces. with associated

Toeplitz Operators on finite and infinite dimensional spaces with associated Ψ -Fréchet Algebras Dissertation zur Erlangung des Grades Doktor der Naturwissenschaften am Fachbereich Physik, Mathematik und

### ISOMETRIES OF R n KEITH CONRAD

ISOMETRIES OF R n KEITH CONRAD 1. Introduction An isometry of R n is a function h: R n R n that preserves the distance between vectors: h(v) h(w) = v w for all v and w in R n, where (x 1,..., x n ) = x

### 1. Introduction. O. MALI, A. MUZALEVSKIY, and D. PAULY

Russ. J. Numer. Anal. Math. Modelling, Vol. 28, No. 6, pp. 577 596 (2013) DOI 10.1515/ rnam-2013-0032 c de Gruyter 2013 Conforming and non-conforming functional a posteriori error estimates for elliptic

### Lecture 7: Finding Lyapunov Functions 1

Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science 6.243j (Fall 2003): DYNAMICS OF NONLINEAR SYSTEMS by A. Megretski Lecture 7: Finding Lyapunov Functions 1

### The fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992), 33 37) Bart de Smit

The fundamental group of the Hawaiian earring is not free Bart de Smit The fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992),

### 1. Introduction. PROPER HOLOMORPHIC MAPPINGS BETWEEN RIGID POLYNOMIAL DOMAINS IN C n+1

Publ. Mat. 45 (2001), 69 77 PROPER HOLOMORPHIC MAPPINGS BETWEEN RIGID POLYNOMIAL DOMAINS IN C n+1 Bernard Coupet and Nabil Ourimi Abstract We describe the branch locus of proper holomorphic mappings between

### Notes on metric spaces

Notes on metric spaces 1 Introduction The purpose of these notes is to quickly review some of the basic concepts from Real Analysis, Metric Spaces and some related results that will be used in this course.

### 1 Sets and Set Notation.

LINEAR ALGEBRA MATH 27.6 SPRING 23 (COHEN) LECTURE NOTES Sets and Set Notation. Definition (Naive Definition of a Set). A set is any collection of objects, called the elements of that set. We will most

### MA651 Topology. Lecture 6. Separation Axioms.

MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples

### In memory of Lars Hörmander

ON HÖRMANDER S SOLUTION OF THE -EQUATION. I HAAKAN HEDENMALM ABSTRAT. We explain how Hörmander s classical solution of the -equation in the plane with a weight which permits growth near infinity carries

### Numerical Analysis Lecture Notes

Numerical Analysis Lecture Notes Peter J. Olver 5. Inner Products and Norms The norm of a vector is a measure of its size. Besides the familiar Euclidean norm based on the dot product, there are a number

### INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem

### Section 4.4 Inner Product Spaces

Section 4.4 Inner Product Spaces In our discussion of vector spaces the specific nature of F as a field, other than the fact that it is a field, has played virtually no role. In this section we no longer

### ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS

ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS DANIEL RABAYEV AND JACK SONN Abstract. Let f(x) be a monic polynomial in Z[x] with no rational roots but with roots in Q p for

### On the representability of the bi-uniform matroid

On the representability of the bi-uniform matroid Simeon Ball, Carles Padró, Zsuzsa Weiner and Chaoping Xing August 3, 2012 Abstract Every bi-uniform matroid is representable over all sufficiently large

### Section 6.1 - Inner Products and Norms

Section 6.1 - Inner Products and Norms Definition. Let V be a vector space over F {R, C}. An inner product on V is a function that assigns, to every ordered pair of vectors x and y in V, a scalar in F,

### Rotation Rate of a Trajectory of an Algebraic Vector Field Around an Algebraic Curve

QUALITATIVE THEORY OF DYAMICAL SYSTEMS 2, 61 66 (2001) ARTICLE O. 11 Rotation Rate of a Trajectory of an Algebraic Vector Field Around an Algebraic Curve Alexei Grigoriev Department of Mathematics, The

### A new viewpoint on geometry of a lightlike hypersurface in a semi-euclidean space

A new viewpoint on geometry of a lightlike hypersurface in a semi-euclidean space Aurel Bejancu, Angel Ferrández Pascual Lucas Saitama Math J 16 (1998), 31 38 (Partially supported by DGICYT grant PB97-0784

### Similarity and Diagonalization. Similar Matrices

MATH022 Linear Algebra Brief lecture notes 48 Similarity and Diagonalization Similar Matrices Let A and B be n n matrices. We say that A is similar to B if there is an invertible n n matrix P such that

### OPTIMAL CONTROL OF A COMMERCIAL LOAN REPAYMENT PLAN. E.V. Grigorieva. E.N. Khailov

DISCRETE AND CONTINUOUS Website: http://aimsciences.org DYNAMICAL SYSTEMS Supplement Volume 2005 pp. 345 354 OPTIMAL CONTROL OF A COMMERCIAL LOAN REPAYMENT PLAN E.V. Grigorieva Department of Mathematics

### Sets of Fibre Homotopy Classes and Twisted Order Parameter Spaces

Communications in Mathematical Physics Manuscript-Nr. (will be inserted by hand later) Sets of Fibre Homotopy Classes and Twisted Order Parameter Spaces Stefan Bechtluft-Sachs, Marco Hien Naturwissenschaftliche

### 9 Multiplication of Vectors: The Scalar or Dot Product

Arkansas Tech University MATH 934: Calculus III Dr. Marcel B Finan 9 Multiplication of Vectors: The Scalar or Dot Product Up to this point we have defined what vectors are and discussed basic notation

### 6. Define log(z) so that π < I log(z) π. Discuss the identities e log(z) = z and log(e w ) = w.

hapter omplex integration. omplex number quiz. Simplify 3+4i. 2. Simplify 3+4i. 3. Find the cube roots of. 4. Here are some identities for complex conjugate. Which ones need correction? z + w = z + w,

### Math 5311 Gateaux differentials and Frechet derivatives

Math 5311 Gateaux differentials and Frechet derivatives Kevin Long January 26, 2009 1 Differentiation in vector spaces Thus far, we ve developed the theory of minimization without reference to derivatives.

### 2 Complex Functions and the Cauchy-Riemann Equations

2 Complex Functions and the Cauchy-Riemann Equations 2.1 Complex functions In one-variable calculus, we study functions f(x) of a real variable x. Likewise, in complex analysis, we study functions f(z)

### On the structure of C -algebra generated by a family of partial isometries and multipliers

Armenian Journal of Mathematics Volume 7, Number 1, 2015, 50 58 On the structure of C -algebra generated by a family of partial isometries and multipliers A. Yu. Kuznetsova and Ye. V. Patrin Kazan Federal

### Parabolic Equations. Chapter 5. Contents. 5.1.2 Well-Posed Initial-Boundary Value Problem. 5.1.3 Time Irreversibility of the Heat Equation

7 5.1 Definitions Properties Chapter 5 Parabolic Equations Note that we require the solution u(, t bounded in R n for all t. In particular we assume that the boundedness of the smooth function u at infinity

### CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. This chapter contains the beginnings of the most important, and probably the most subtle, notion in mathematical analysis, i.e.,

### Section 1.1. Introduction to R n

The Calculus of Functions of Several Variables Section. Introduction to R n Calculus is the study of functional relationships and how related quantities change with each other. In your first exposure to

### Let H and J be as in the above lemma. The result of the lemma shows that the integral

Let and be as in the above lemma. The result of the lemma shows that the integral ( f(x, y)dy) dx is well defined; we denote it by f(x, y)dydx. By symmetry, also the integral ( f(x, y)dx) dy is well defined;

### An explicit inversion formula for the exponetial Radon transform using data from 180

ISSN: 40-567 An explicit inversion formula for the exponetial Radon transform using data from 80 Hans Rullgård Research Reports in Mathematics Number 9, 00 Department of Mathematics Stockholm University

### 3 Orthogonal Vectors and Matrices

3 Orthogonal Vectors and Matrices The linear algebra portion of this course focuses on three matrix factorizations: QR factorization, singular valued decomposition (SVD), and LU factorization The first

### A QUICK GUIDE TO THE FORMULAS OF MULTIVARIABLE CALCULUS

A QUIK GUIDE TO THE FOMULAS OF MULTIVAIABLE ALULUS ontents 1. Analytic Geometry 2 1.1. Definition of a Vector 2 1.2. Scalar Product 2 1.3. Properties of the Scalar Product 2 1.4. Length and Unit Vectors

### DIRICHLET S PROBLEM WITH ENTIRE DATA POSED ON AN ELLIPSOIDAL CYLINDER. 1. Introduction

DIRICHLET S PROBLEM WITH ENTIRE DATA POSED ON AN ELLIPSOIDAL CYLINDER DMITRY KHAVINSON, ERIK LUNDBERG, HERMANN RENDER. Introduction A function u is said to be harmonic if u := n j= 2 u = 0. Given a domain

### The cover SU(2) SO(3) and related topics

The cover SU(2) SO(3) and related topics Iordan Ganev December 2011 Abstract The subgroup U of unit quaternions is isomorphic to SU(2) and is a double cover of SO(3). This allows a simple computation of

### The Ideal Class Group

Chapter 5 The Ideal Class Group We will use Minkowski theory, which belongs to the general area of geometry of numbers, to gain insight into the ideal class group of a number field. We have already mentioned

### Doug Ravenel. October 15, 2008

Doug Ravenel University of Rochester October 15, 2008 s about Euclid s Some s about primes that every mathematician should know (Euclid, 300 BC) There are infinitely numbers. is very elementary, and we

### (Basic definitions and properties; Separation theorems; Characterizations) 1.1 Definition, examples, inner description, algebraic properties

Lecture 1 Convex Sets (Basic definitions and properties; Separation theorems; Characterizations) 1.1 Definition, examples, inner description, algebraic properties 1.1.1 A convex set In the school geometry

### Inner Product Spaces

Math 571 Inner Product Spaces 1. Preliminaries An inner product space is a vector space V along with a function, called an inner product which associates each pair of vectors u, v with a scalar u, v, and

### Linear Algebra. A vector space (over R) is an ordered quadruple. such that V is a set; 0 V ; and the following eight axioms hold:

Linear Algebra A vector space (over R) is an ordered quadruple (V, 0, α, µ) such that V is a set; 0 V ; and the following eight axioms hold: α : V V V and µ : R V V ; (i) α(α(u, v), w) = α(u, α(v, w)),

### MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 2. x n. a 11 a 12 a 1n b 1 a 21 a 22 a 2n b 2 a 31 a 32 a 3n b 3. a m1 a m2 a mn b m

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS 1. SYSTEMS OF EQUATIONS AND MATRICES 1.1. Representation of a linear system. The general system of m equations in n unknowns can be written a 11 x 1 + a 12 x 2 +

### MATH 425, PRACTICE FINAL EXAM SOLUTIONS.

MATH 45, PRACTICE FINAL EXAM SOLUTIONS. Exercise. a Is the operator L defined on smooth functions of x, y by L u := u xx + cosu linear? b Does the answer change if we replace the operator L by the operator

### 1.3. DOT PRODUCT 19. 6. If θ is the angle (between 0 and π) between two non-zero vectors u and v,

1.3. DOT PRODUCT 19 1.3 Dot Product 1.3.1 Definitions and Properties The dot product is the first way to multiply two vectors. The definition we will give below may appear arbitrary. But it is not. It

### Geometrical Characterization of RN-operators between Locally Convex Vector Spaces

Geometrical Characterization of RN-operators between Locally Convex Vector Spaces OLEG REINOV St. Petersburg State University Dept. of Mathematics and Mechanics Universitetskii pr. 28, 198504 St, Petersburg

### Extrinsic geometric flows

On joint work with Vladimir Rovenski from Haifa Paweł Walczak Uniwersytet Łódzki CRM, Bellaterra, July 16, 2010 Setting Throughout this talk: (M, F, g 0 ) is a (compact, complete, any) foliated, Riemannian

### Analytic cohomology groups in top degrees of Zariski open sets in P n

Analytic cohomology groups in top degrees of Zariski open sets in P n Gabriel Chiriacescu, Mihnea Colţoiu, Cezar Joiţa Dedicated to Professor Cabiria Andreian Cazacu on her 80 th birthday 1 Introduction

### and s n (x) f(x) for all x and s.t. s n is measurable if f is. REAL ANALYSIS Measures. A (positive) measure on a measurable space

RAL ANALYSIS A survey of MA 641-643, UAB 1999-2000 M. Griesemer Throughout these notes m denotes Lebesgue measure. 1. Abstract Integration σ-algebras. A σ-algebra in X is a non-empty collection of subsets

### IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible

### Linear Algebra Done Wrong. Sergei Treil. Department of Mathematics, Brown University

Linear Algebra Done Wrong Sergei Treil Department of Mathematics, Brown University Copyright c Sergei Treil, 2004, 2009, 2011, 2014 Preface The title of the book sounds a bit mysterious. Why should anyone

### Orthogonal Projections and Orthonormal Bases

CS 3, HANDOUT -A, 3 November 04 (adjusted on 7 November 04) Orthogonal Projections and Orthonormal Bases (continuation of Handout 07 of 6 September 04) Definition (Orthogonality, length, unit vectors).

### Chapter 20. Vector Spaces and Bases

Chapter 20. Vector Spaces and Bases In this course, we have proceeded step-by-step through low-dimensional Linear Algebra. We have looked at lines, planes, hyperplanes, and have seen that there is no limit

### Mathematical Methods of Engineering Analysis

Mathematical Methods of Engineering Analysis Erhan Çinlar Robert J. Vanderbei February 2, 2000 Contents Sets and Functions 1 1 Sets................................... 1 Subsets.............................

### Finite Dimensional Hilbert Spaces and Linear Inverse Problems

Finite Dimensional Hilbert Spaces and Linear Inverse Problems ECE 174 Lecture Supplement Spring 2009 Ken Kreutz-Delgado Electrical and Computer Engineering Jacobs School of Engineering University of California,

### Numerical methods for American options

Lecture 9 Numerical methods for American options Lecture Notes by Andrzej Palczewski Computational Finance p. 1 American options The holder of an American option has the right to exercise it at any moment

### Our goal first will be to define a product measure on A 1 A 2.

1. Tensor product of measures and Fubini theorem. Let (A j, Ω j, µ j ), j = 1, 2, be two measure spaces. Recall that the new σ -algebra A 1 A 2 with the unit element is the σ -algebra generated by the

### Some stability results of parameter identification in a jump diffusion model

Some stability results of parameter identification in a jump diffusion model D. Düvelmeyer Technische Universität Chemnitz, Fakultät für Mathematik, 09107 Chemnitz, Germany Abstract In this paper we discuss

### Recall that the gradient of a differentiable scalar field ϕ on an open set D in R n is given by the formula:

Chapter 7 Div, grad, and curl 7.1 The operator and the gradient: Recall that the gradient of a differentiable scalar field ϕ on an open set D in R n is given by the formula: ( ϕ ϕ =, ϕ,..., ϕ. (7.1 x 1

### Fiber sums of genus 2 Lefschetz fibrations

Proceedings of 9 th Gökova Geometry-Topology Conference, pp, 1 10 Fiber sums of genus 2 Lefschetz fibrations Denis Auroux Abstract. Using the recent results of Siebert and Tian about the holomorphicity

### 1. Let X and Y be normed spaces and let T B(X, Y ).

Uppsala Universitet Matematiska Institutionen Andreas Strömbergsson Prov i matematik Funktionalanalys Kurs: NVP, Frist. 2005-03-14 Skrivtid: 9 11.30 Tillåtna hjälpmedel: Manuella skrivdon, Kreyszigs bok

### Vectors, Gradient, Divergence and Curl.

Vectors, Gradient, Divergence and Curl. 1 Introduction A vector is determined by its length and direction. They are usually denoted with letters with arrows on the top a or in bold letter a. We will use

### OSTROWSKI FOR NUMBER FIELDS

OSTROWSKI FOR NUMBER FIELDS KEITH CONRAD Ostrowski classified the nontrivial absolute values on Q: up to equivalence, they are the usual (archimedean) absolute value and the p-adic absolute values for