2
votes
1answer
24 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
47 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
24 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
24 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
22 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
149 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
40 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
45 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
43 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
12 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
21 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
50 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
77 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
51 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
112 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
79 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
46 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
36 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
48 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
36 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
84 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
96 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
87 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
57 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
60 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
52 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 ...
2
votes
1answer
99 views

Additional hypotheses needed for the converse of $\mathscr F \subset H(G)$ normal $\implies$ $\mathscr F ' = \{f' : f \in \mathscr F\}$ normal?

Problem Show that if $\mathscr F \subset H(G)$ is normal then $\mathscr F' = \{f' : f \in \mathscr F\}$ is also normal. Is the converse true? Can you add something to the hypothesis that $\mathscr ...
0
votes
0answers
39 views

Problem with the Cauchy-Green transform

Let $u \in C_c(\mathbb C)$. Then it's Cauchy-Green transform $$ \tilde u(z) = -\frac{1}{\pi} \int\limits_{\mathbb C} \frac{u(\xi)}{\xi-z} d\xi_R d\xi_I, \quad \xi = \xi_R + i \xi_I, $$ is ...
2
votes
1answer
52 views

how to show f is bijective?

Suppose that the set-mapping $f:X\rightarrow Y$ of one-dimensional domains of $\mathbb{C}$ induces an isomorphism $f^0:\mathcal{O}(Y)\rightarrow \mathcal{O}(X)$ defined by $g\mapsto g\circ f$ of ...
1
vote
0answers
28 views

Find Limit of Complex integration

How should we prove that $\int_{\mathbb{C}}\frac{|G(w)|}{|z-w|}dA(w)\longrightarrow0$ as $|z|\longrightarrow\infty$where $G(z)\in L^{1}(\mathbb{C})$ and $|G(z)|\leq\frac{C_{0}}{|z|^{1+\varepsilon}}$ ...
1
vote
1answer
42 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}$ ...
0
votes
1answer
62 views

An application of Runge's Theorem to approximate analytic functions by polynomials

Apply the following form of Runge's Theorem: if $X\subset \mathbb{C}$ is an open subset,and if $\mathbb{C}\setminus X$ is connected,then $\mathbb{C}[z]$ is dense in $\mathcal{O}(X)$ in the topology of ...
1
vote
0answers
48 views

Constructing an L2 function from an entire function bounded on R

I have an entire function $f(z)$ of exponential type $\tau\geq0$ that is bounded on $\mathbb{R}$ and zero at every member of the complex sequence $\{\lambda_n\}$. What I want is an entire function of ...