### K-spectral sets and the holomorphic functional calculus

In two previous posts I discussed the holomorphic functional calculus as part of a standard course in functional analysis (lectures notes 18 and 19). In this post I wish to discuss a slightly different approach, which relies also on the notion of K-spectral sets, and relies a little less on contour integration of Banach-space valued functions.

In my very personal opinion this approach is a little more natural then the standard one, and it would be even more natural if one was able to altogether remove the dependence on Banach-space valued integrals (unfortunately, right now I don’t know how to do this completely).

### Advanced Analysis, Notes 19: The holomorphic functional calculus II (definition and basic properties)

In this post we continue our discussion of the holomorphic functional calculus for elements of a Banach algebra (or operators). The beginning of this discussion can be found in Notes 18. Read the rest of this entry »

### Advanced Analysis, Notes 18: The holomorphic functional calculus I (motivation, definition, line integrals of holomorphic Banach-space valued functions)

This course, Advanced Analysis, contains some lectures which I have not written up as posts. For the topic of Banach algebras and C*-algebras the lectures I give in class follow pretty closely Arveson’s presentation from “A Short Course in Spectral Theory” (except that we do more examples in class). But there is one topic  – the holomorphic functional calculus -for which I decided to take a slightly different route, and for the students’ reference I am writing up my point of view.

Throughout this lecture we fix a unital Banach algebra $A$. By “unital Banach algebra” we mean that $A$ is a Banach algebra with normalised unit $1_A$.  For a complex number $t \in \mathbb{C}$ we write $t$ for $t \cdot 1_A$; in particular $1 = 1_A$.  The spectrum $\sigma(a)$ of an element $a \in A$ is the set $\sigma(a) = \{t \in \mathbb{C} : a- t \textrm{ is not invertible in } A\}.$

The resolvent set of $a$, $\rho(a)$, is defined to be the complement of the spectrum, $\rho(a) = \mathbb{C} \setminus \sigma(a)$.

• The course “Advanced Analysis” is over. The lecture notes (the part that I prepared) are available here. Comments are very welcome. I hope to teach this course again in the not too far future and complete the lecture notes (add notes on Banach and C*-algebras, spectral theory and Fredholm theory). The homework exercises are available here, at the bottom of the page (the webpage is in Hebrew but the exercises are in English).
• In April Ken Davidson will be visiting our department at BGU. On this occasion we will hold a short conference, dates: April 9-10. Here is the conference page. Contact me for more details.
• There are some interesting discussions going on in Gowers’s Weblog (see “Why I’ve joined the bad guys” and “Why I’ve joined the good guys” and some of the comments), regarding journals, publishing, new ideas, APCs, and so forth. The big news is that Gowers (after he kind of admits that being an editor of Forum of Mathematics makes him one of the bad guys) is now connected to another publishing adventure, that of epijournals, or arxiv overlay journals, which makes him one of the good guys (Just to set things straight: I think Gowers is a good guy). BTW: Gowers makes it clear that the credit for this initiative does not belong to him but to others, see his post.
• I promised myself to stop writing about this topic, but I guess I am still allowed to put a link to something that I wrote about this in the past. So here is a link to a letter (also other letters) I sent to Letters to the Editor of the Notices. It is a response to this article by Rob Kirby.

### Advanced Analysis, Notes 17: Hilbert function spaces (Pick’s interpolation theorem)

In this final lecture we will give a proof of Pick’s interpolation theorem that is based on operator theory.

Theorem 1 (Pick’s interpolation theorem): Let $z_1, \ldots, z_n \in D$, and $w_1, \ldots, w_n \in \mathbb{C}$ be given. There exists a function $f \in H^\infty(D)$ satisfying $\|f\|_\infty \leq 1$ and $f(z_i) = w_i \,\, \,\, i=1, \ldots, n$

if and only if the following matrix inequality holds: $\big(\frac{1-w_i \overline{w_j}}{1 - z_i \overline{z_j}} \big)_{i,j=1}^n \geq 0 .$

Note that the matrix element $\frac{1-w_i\overline{w_j}}{1-z_i\overline{z_j}}$ appearing in the theorem is equal to $(1-w_i \overline{w_j})k(z_i,z_j)$, where $k(z,w) = \frac{1}{1-z \overline{w}}$ is the reproducing kernel for the Hardy space $H^2$ (this kernel is called the Szego kernel). Given $z_1, \ldots, z_n, w_1, \ldots, w_n$, the matrix $\big((1-w_i \overline{w_j})k(z_i,z_j)\big)_{i,j=1}^n$

is called the Pick matrix, and it plays a central role in various interpolation problems on various spaces.

I learned this material from Agler and McCarthy’s monograph [AM], so the following is my adaptation of that source.

(A very interesting article by John McCarthy on Pick’s theorem can be found here).