2
votes
1answer
29 views

Why is $F_\phi$ defined on the whole disk

This is a question about a proof on page 97 in these lecture notes. In exercise 13, I don't understand On the hand, $F_\phi$ is defined on the whole open disk $D$ Why is $F_\phi$ defined on ...
0
votes
0answers
18 views

Does there exists $f\in L^{1}(\mathbb R)\cap FL^{1}(\mathbb R)$(=Fourier algebra) but $|f|\not \in A(\mathbb R)$?

For $f\in L^{1}(\mathbb R)$; We define the Fourier transform of $f$ as follows: $$\hat{f}(\xi)= \int_{\mathbb R}f(x) e^{-2\pi i \xi x}dx; \ \text {for} \ \xi \in \mathbb R.$$ Consider a Fourier ...
1
vote
1answer
75 views

Concatenation with continuous function is entire

Apologies. I have to ask two questions in one and I will give you the reason below. The questions are: If $f$ is entire and $g$ is continuous does it follow that $g\circ f$ is entire? If ...
1
vote
0answers
45 views

Integration of rational function on Banach algebra

I do not follow the proof of this Theorem Theorem Suppose$R(\lambda) = P(\lambda) + \sum_{m,k}c_{m,k}(\lambda - \alpha_m)^{-k}$ is a rational function with poles at the points $\alpha_m$. ($P$ ...
1
vote
1answer
36 views

Is holomorphic functions on (0, 1) (vanishing at endpoint) dense in $C_0((0, 1))$?

Here is my argument, please let me know if it works or not. By Stone-Weierstrass Theorem (Complex Version), functions in $C_0((0, 1))$ can be uniformly approximated by polynomials in z and $\bar{z}$ ...
3
votes
1answer
103 views

Bergman-Shilov Boundary and Peak Points

Let $\Omega$ be a domain in $\mathbb{C}^n.$ Consider the Banach algebra $A(\Omega):=\mathcal{C}({\overline{\Omega}})\cap\mathcal{O}(\Omega).$ Denote the Bergman-Shilov boundary of $A(\Omega)$ by ...
-1
votes
1answer
76 views

Spectrum of a unitary

I have a unitary element $v$ in $C(S^{1}, \mathbb{C})$ with full spectrum (the whole circle). Is it possible to construct another unitary $u$ in $C(S^{1}, \mathbb{C})$ out of $v$ such that the ...
1
vote
1answer
109 views

Properties of $ \text{Exp}(A) $, where $ A $ is a Banach algebra.

$ \newcommand{\Exp}{\operatorname{Exp}} $ Let $ A $ be a unital Banach algebra. For $ a \in A $, consider $$ \Exp(A) \stackrel{\text{def}}{=} \{ e^{a_{1}} e^{a_{2}} \cdots e^{a_{n}} ~|~ n \in ...
5
votes
0answers
116 views

invariant subspace of a Hardy space

Let $T$ be the unit circle and $H^1=\{f\in L^1(T): \int_0^{2\pi} f(e^{it})\chi_n(e^{it})dt=0 \text{ for } n>0\}$ where $\chi_n(e^{it})=e^{int}$. Let $M$ be a closed subspace of $H^1$. Then ...
8
votes
1answer
347 views

Liouville's theorem for Banach spaces without the Hahn-Banach theorem?

Let $B$ be a (complex) Banach space. A function $f : \mathbb{C} \to B$ is holomorphic if $\lim_{w \to z} \frac{f(w) - f(z)}{w - z}$ exists for all $z$, just as in the ordinary case where $B = ...
66
votes
1answer
1k views

Can one deduce Liouville's theorem (in complex analysis) from the non-emptiness of spectra in complex Banach algebras?

As you probably know, the classical proof of the non-emptiness of the spectrum for an element $x$ in a general Banach algebra over $\mathbb{C}$ can be proven quite easily using Liouville's theorem in ...