2
votes
2answers
47 views

How to show that $e^{tA}=\frac{1}{2\pi i}\int_{\{Re \ \lambda =a\}}e^{\lambda t}(\lambda I-A)^{-1}d\lambda$?

Let $X$ be a Banach space and $A:X\to X$ be a bounded operator. We can show that if $|\lambda|>|A|$ then $\lambda I-A$ is invertible and $$(\lambda ...
2
votes
0answers
44 views

Sufficient condition for an operator to be compact in Hilbert space of holomorphic function with respect to Gaussion weight (Fock space).

What I read in a book I could not understand, some one please help. Let $\mathcal{F}=\{f:\mathbb{C^n}\rightarrow\mathbb{C}: \text{$f$ is holomorphic and}\int_{\mathbb{C}^n}\lvert ...
2
votes
1answer
52 views

Showing a certain operator on a set of holomorphic functions attains its supremum

Let $G \subseteq \mathbb{C}$ be open and connected, and fix $a_1, a_2 \in G$. Let $\mathcal{F} := \{f: G \rightarrow \mathbb{C}: f$ is holomorphic and $|f(z)| \leq 1 \}$. Define $\Phi: ...
1
vote
0answers
47 views

Fourier transform and inverse transorm

I have to prove that for $f\in L^1(\mathbb{R})$ $$ \check{\hat{f}}=\hat{\check{f}}, $$ where $$ \hat{f}(\xi):=\int\limits_{\mathbb{R}}e^{-i\xi x}f(x)\mathrm{d}x $$ and ...
1
vote
1answer
47 views

If holomorphic $\{f_n\}\to f$ uniformly on compact subsets of $U$, then do $f_n$ and $f$ eventually have the same number of zeros?

Let $U$ be an open subset of $\mathbb{C}$. Let $\{f_n\}$ be a sequence of holomorphic functions on $U$ such that $f_n\to f$ uniformly on any compact subset $K$ in $U$. Suppose $f$ is not constant, ...
2
votes
2answers
50 views

For holomorphic functions, if $\{f_n\}\to f$ uniformly on compact sets, then the same is true for the derivatives.

Let $\Omega$ be an open subset in $\mathbb{C}$. Let $\{f_n\}$ be a sequence of holomorphic functions on $\Omega$ such that $f_n\to f$ pointwise and converges uniformly on any compact subset ...
0
votes
0answers
33 views

show that a function belongs to $L^1(m)$

Let m be normalized lebesgue measure on $d{\Bbb D}$ and for $|z|<1$ and $|w|=1$, let $p_z(w)=(1-|z|^2)/|1-\bar{z}w|^2$. I need to show that a- $p_z \in L^1(m)$ b- for every $x^*\in (L^1(m))^*$, ...
2
votes
1answer
26 views

Definition and analyticity of $T^z$ where $T$ is a positive operator

Let $H$ be a Hilbert space. Suppose that $T\colon D(T) \to H$ is a positive selfadjoint operator where $D(T)$ is the domain of $T$. The spectrum $\sigma(T)$ of the operator $T$ is a subset of ...
2
votes
0answers
50 views

Any other operators that may convert algebraic function into transcendental ones

As we know, the integral may convert or map a rational function or algebraic function into a transcendental one. Are there any other operators that may convert a rational function or algebraic ...
0
votes
0answers
25 views

Biholomorphic, Hypersurface

I'm learning the Hypersurface. And my teacher has a question: Find an example such that two Hypersurfaces are biholomorphic. I think that $$A=\{(x,y)\in \Bbb C,\ \rho(x,y)= x^2+y^2-1=0\}$$ and ...
1
vote
0answers
25 views

generalized expression required

suppose i have a set $ {0,1,2.......x-1}$ Now I am generating an i length sequence using the numbers from above set...${a0,a1,....ai}$ where all $ai$$>=0 $ and $ai<=x-1$ Note numbers may ...
0
votes
1answer
23 views

Check complex differentiability

I am trying to take a derivative w.r.t $z\in\mathbb{C}$ of the following map: $z\mapsto \sum_{j=0}^{\infty}\lambda_{j} (T(\psi+zh))_{j}$ where $(\lambda_{j})$ is a bounded sequence, $T$ is a ...
6
votes
1answer
156 views

Looking for different proofs of “Discrete Liouville's Theorem”.

Good day. There is a question I have already encountered twice, in very different contexts, that is relatively simple looking, but both solutions I know involve some pretty advanced theorems from the ...
0
votes
0answers
43 views

Spectrum of a bounded operator and Liouville's theorem

Let $X$ be a Banach space and $A:X\to X$ be a bounded operator. We know that the spectrum of $A$ is not empty, because otherwise we find a contradiction by using the holomorphy of the function ...
2
votes
0answers
52 views

$\oint_{C}(A-\lambda I)^{-1}\,d\lambda=0$ implies interior of $C$ is in the resolvent.

Suppose that $A$ is a bounded linear operator on a complex Banach space $X$ with resolvent set $\rho(A)$. If $C$ is a simple closed smooth curve in $\rho(A)$ such that $$ ...
1
vote
1answer
45 views

Open subgroup and group algebra

Let $G$ be a locally compact group and $H$ be an open subgroup of $G$. Consider the group algebras $L^1(G)$ and $L^1(H)$ with convolution product and consider $L^1(H)$ as a subalgebra of $L^1(G)$ ...
0
votes
0answers
47 views

A question on particular functions in $L^\infty$

Let D be the open unit disk in the complex plane, $\mu$ be the arc length measure, and $f, g\in L^{\infty}(\partial D,\mu)$ satisfying the following equations: $$ \int_{\partial D} ...
0
votes
0answers
22 views

Banach-valued holomorphic functions [duplicate]

Let $X$ be a Banach space. Can we define holomorphic functions $f:\mathbb{C}\to X$ by the notion of derivability i.e. $$\lim_{h\to0}\frac{f(z_0+h)-f(z_0)}{h}$$ Do we still have equivalence between ...
1
vote
0answers
15 views

Minimization Problem and Winding number

Consider the minimization problem associated to the functional $$ \mathcal{F}(u)=\int_{0}^{2\pi}{\lvert \dot u\rvert\bigg(1+\bigg(\frac{\dot u}{\lvert \dot u\rvert}\cdot m(u)\bigg)^2\bigg),dx} $$ ...
0
votes
1answer
22 views

Proving that the $C_b(M)$ is a complete space with the $L^{\infty}$ norm.

Suppose $A$ is some metric space, and let us define $C_b(M)$ as the vector space consisting of the set of all bounded continuous $\mathbb{R}$ valued functions on $A$. Now, we define the $L^{\infty}$ ...
0
votes
0answers
12 views

Show that $\alpha_j=2iA_j$

I have a question, I don't understand that Why do we have $\alpha_j=2iA_j,\ P_j(z, \overline{z})=\text{Re}A_jz^j$ since proof of Lemma??? ======================================================= ...
0
votes
0answers
9 views

Show that $F_{ll}^{*}=\text{Re}g'_0-2l\text{Re}f_1+F_{ll}+\ldots$

I have stuck when I try to show (4.4): With $j \ge 1$, we have (4.4): \begin{align*}F_{ll}^{*}&=\text{Re}g'_0-2l\text{Re}f_1+F_{ll}+\ldots\\ ...
1
vote
1answer
32 views

Is every closed set $K\subseteq \mathbb{C}$ the essential range of a measurable function?

For a complex-valued function $h$ on a measure space $(S,\Sigma, \mu)$, the $\textit{essential range}$ of $h$ is the set of all $\lambda \in \mathbb{C}$ such that for all $\epsilon >0$ the ...
0
votes
1answer
41 views

solve the functional equation

Let $\phi : R-> C $ (complex numbers) $\phi(0)=1$ $ \phi(-t) = \overline{\phi(t)} $ ( continuous and bounded) solve the functional equation: $Re \phi(t)= \phi(t) \overline{\phi(t)}$ This is all ...
1
vote
0answers
31 views

Real Hypersurfaces In Complex Manifolds

I have a problem: ================= I don't understand (2.12) and (2.13) :( How to prove that $$PF=\sum_{\min(k,l) \le 1}F_{kl}+G_{11}\left \langle z,z \right \rangle +\left ( G_{10}+G_{01} ...
1
vote
2answers
58 views

Geometrical Meaning of derivative of complex function

What's the geometrical meaning of f'(z) in complex analysis, as we know in real analysis f'(x) has meaning ie. Slope of curve or gives max/ min. But what does derivative f'(z) has geometrical meaning ...
0
votes
1answer
25 views

Linear indepedent holomorphic functions

Suppose you have a given set of holomorphic functions $e_\alpha(z)=\exp(\alpha_1z_1+\dots+\alpha_nz_n)$ for different $\alpha=(\alpha_1,\dots,\alpha_n)$ in an open set of $\mathbb{C}^n$. How can I ...
2
votes
1answer
84 views

Application of Riesz representation theorem

Suppose the following situation. We have linear functional $l$ on the space $H(\mathbb{C}^n)$ of entire function and wish to find a representation for $l$ with integration against a complex Borel ...
0
votes
2answers
72 views

One-sided total derivative

Given a function from half space into euclidean space: $f:\mathbb{H}^m\to\mathbb{R}^n$ Suppose its one-sided limit exists at a specific point: $\lim_{\mathbb{H}^m\owns v\to 0}\frac{1}{\lVert ...
1
vote
0answers
35 views

Differentiabilty of certain convolution

Let $\Gamma$ be a smooth closed curve. Suppose $f\in L^2(\Gamma,ds)$ and $g$ is defined everywhere on $\mathbb{C}$ with compact support. Moreover $\frac{dg}{dz}$ exists everywhere but point $z=0$. ...
5
votes
1answer
55 views

Norm of a functional on square integrable harmonic functions

Let H be the Hilbert space of square integrable (real) harmonic functions on the unit disk of the complex plane. I want to find the norm of the linear functional $$h\mapsto h_x(0)$$ Here is my proof ...
3
votes
1answer
115 views

The derivative of harmonic function at origin is a bounded linear functional

The following problem is the 5th problem in the qualifying exam of UCLA (spring 2013). Let $\mathbb{D}=\{(x,y):x^2+y^2<1\}$ and let us define a Hilbert space $$H:=\{u:\mathbb{D} \rightarrow ...
1
vote
0answers
29 views

Analytic family of operators?

If $E_{\lambda}, F_{\lambda}$ are two families of complex Hilbert spaces and $L_{\lambda} : E_{\lambda} \rightarrow F_{\lambda}$ is a family of bounded linear operators, where $\lambda$ is a complex ...
2
votes
1answer
33 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 ...
1
vote
1answer
82 views

compactness in the space of analytic functions

I am always getting confused by the idea of compactness so I would like some help to see whether a set is compact. (I need this to prove existence of a solution of a map) So let $D\in\mathbb{C}$ be ...
1
vote
0answers
47 views

What is a good book that focuses on the applications of complex analysis and spectral theory?

My research involves a great deal of complex analysis and spectral theory, and I always feel a bit flustered when non mathematicians ask me what I study. It's hard to explain the math in layman's ...
2
votes
0answers
37 views

Real-valued Irreducible Representations of Lie Groups

I'm interested in the real-valued irreducible representations of a number of Lie groups. For concreteness I'll use the group $M(2)$ of Euclidean motions, which can be parameterized as follows: $$ g(t, ...
0
votes
1answer
52 views

Show that $\ c_X(p,q) \le d_X(p,q)$, for $ p, q \in X$

Update I'm trying to show the Corollary, but I have stuck...That is: For any complex space $X$, we have: $$\begin{align} (1).\ c_X(p,q) &\le d_X(p,q),\ \text{for}\ p, q \in X \\ (2).\ ...
0
votes
0answers
39 views

The Kobayashi pseudo - distance $d_X$ and the Carathéodory pseudo - distance $c_X$

I'm studying the Kobayashi pseudo - distance $d_X$ and the Carathéodory pseudo - distance $c_X$. And I have trouble when I try to show $4$ properties of $c_X$ in my textbook. {It doesn't have ...
2
votes
1answer
85 views

Extremum of functional of a complex function

consider functional $E$ defined by $$E[z]=\int F(x,z(x))dx$$ where $F$ is a complex-valued nonlinear function. How can we find the function $z(x)$ so that $$G=|E|^2=EE^*=\iint ...
2
votes
1answer
99 views

Behavior of the resolvent near the boundary of the spectrum

My question is, in some sense, a continuation of the question below. Isolated singularities of the resolvent Suppose $T\in B(H)$ has no eigenvalues, pick $x\in H$, $x\neq 0$, and consider the ...
3
votes
2answers
89 views

Isolated singularities of the resolvent

Let $T$ be a bounded operator on $l_2$ such that there exists $\mu$ in the spectrum of $T$ which is an isolated point of the spectrum. We know that for any $x\in l_2$ the resolvent function ...
5
votes
2answers
58 views

Trying to show that $z \mapsto f_z : \mathbb{C} \to L^1(\mathbb{R})$ is complex differentiable where $f_z(x) = e^{-(x+z)^2}$

Let $g$ be the entire function $g(z) = e^{-z^2}$. Note $g$ is integrable along every horizontal line. For each complex number $z \in \mathbb{C}$, define $f_z : \mathbb{R} \to \mathbb{C}$ by $f_z(x) = ...
1
vote
1answer
61 views

Fourier transform of $\frac{d}{dt}\ln\frac{1}{it}$

I'd like to proove the identity $$\mathcal{F}\left(\frac{d}{dt}\ln\frac{1}{it}\right)=2i\pi H$$ with $H=\mathbb{I}_{\mathbb{R}^+}$ ie the Heaviside step function, $\mathcal{F}$ denote the Fourier ...
2
votes
1answer
53 views

Compact Function Set

If a uniformly equicontinuous family of functions is analytic on an open disk in the complex plane, it has compact closure by Montel's theorem (and Arzela-Ascoli). Is it possible that this set is ...
1
vote
1answer
27 views

Summation of the Bergman kernel at two distinct points is constant?

Let $\Omega$ be a bounded simply connected domain in $\mathbb{C}.$ Let $K(z,w)$ denotes the Bergman kernel of $\Omega.$ Let $w_1,\,w_2$ be two distinct points in $\Omega.$ I'm looking for a domain ...
1
vote
1answer
70 views

In a Banach space X, its two Schauder bases have the same cardinal number?

The definition of Schauder basis is, there exist a set family F(whose cardinal number can be finite countable or uncountable), s.t. any x in X could be uniquely expressed countalbe linear combinations ...
2
votes
1answer
56 views

Holomorphic functions on the product of open sets.

Is it true that $$ \mathcal H(\mathrm U \times \mathrm V) \simeq \mathcal H(\mathrm U) \widehat{\otimes} \mathcal H(\mathrm V) $$ for open two open affine sets $\mathrm U$ and $\mathrm V$? Edit: I ...
3
votes
1answer
35 views

A question on a sequence in a Banach algebra [duplicate]

If $\{u_{k}\}_{k=1}^{\infty}$ is a sequence in an Banach algebra (and more specifically, in the set of all the bounded linear operators of a Banach space $X$). If ...
0
votes
1answer
26 views

determine the maximal open subset $G\subset\mathbb{C}^2$ such that the series $f$ converges in $\mathcal{O}(G)$ in the topology of Frechet space.

Consider $f(z_1,z_2)=\sum\limits_{j=0}^\infty(z_1+z_2)^j$,determine the maximal open subset $G\subset\mathbb{C}^2$ such that the series $f$ converges in $\mathcal{O}(G)$ in the topology of Frechet ...