Skip to main content

All Questions

Filter by
Sorted by
Tagged with
11 votes
2 answers
2k views

Complexifying a real Banach space and its dual

A standard way to define the "complexification" $E_\mathbb{C}$ of a real Banach space $E$ is to define a complex linear structure on $E\times E$ by (1) $(x,y)+(u,v)=(x+u, y+v)$, (2) $(a+ib)(x,y)=(ax-...
Fred Dashiell's user avatar
10 votes
0 answers
207 views

Projective tensor squares of uniform algebras

In discussion with a colleague recently (Jan 2017), $\newcommand{\AD}{A({\bf D})}\newcommand{\CT}{C({\bf T})}$ I was reminded that if $A(D)$ denotes the disc algebra and $\iota: \AD\to \CT$ is the ...
Yemon Choi's user avatar
  • 25.8k
9 votes
1 answer
603 views

Interpolation theory and $C^k$-spaces

Consider the Banach spaces $C^k(M)$ ($k=0,1,2,\dots$), consisting of $k$times continuously differentiable functions $f:M\rightarrow \mathbb{C}$ on a closed manifold $M$ (or just the torus if that ...
Jan Bohr's user avatar
  • 779
6 votes
2 answers
240 views

Continuity of a differential of a Banach-valued holomorphic map

Originally posted on MSE. Let $U$ be an open set in $\mathbb{C}^{n}$ let $F$ be a Banach space (in my case even a dual Banach space), and let $\varphi:U\to F$ be a holomorphic map. I seem to be able ...
erz's user avatar
  • 5,529
6 votes
2 answers
201 views

holomorphy in infinite dimensions (holomorphic families of operators)

Let $X$ be a Banach space (over $\mathbb C$), and let $\mathcal L(X)$ be its algebra of bounded linear operators. Let $U\subset \mathbb C^N$ be an open subset, and $f:U\to \mathcal L(X)$ a function ...
André Henriques's user avatar
6 votes
1 answer
290 views

Analytic maps on Banach spaces: analyticity upgrade

Consider the following problem. Let $E,F,G$ be real or complex Banach spaces, such that $F\subset G$ with continuous embedding. Let $U\subset E$ an open set and $$ f:U\to G $$ an analytic map, such ...
Lorenzo Pompili's user avatar
5 votes
1 answer
159 views

$C^j$-topology considered by Greene and Krantz

My question is about the $C^j$ topology used by Greene and Krantz in their paper "Deformations of Complex Structures, Estimates for the $\bar{\partial}$-equation, and stability of the Bergman ...
Pita's user avatar
  • 113
5 votes
1 answer
850 views

$L\log L$ and Hardy space on the upper half plane

Set $\mathbb{T}$ the unit circle, $dm$ the Lebesgue measure on $\mathbb{T}$ and $\mathbb{C}^+=\left\{z\in \mathbb{C},s.t.\,\Im(z)>0 \right\}$ the upper half plane. It is well-known that the Cauchy ...
Whiteboard's user avatar
4 votes
1 answer
293 views

Supremum over which sets makes $H^{\infty}$ non-separable?

It is known that the space $H^{\infty}$ of bounded holomorphic functions on the unit disk $D$ is non-separable with respect to the supremum norm $\|\cdot\|_{\infty}^{D}$. Let $E\subset D$ be connected ...
erz's user avatar
  • 5,529
4 votes
0 answers
148 views

Some questions on Hardy's spaces

In the paper http://www.numdam.org/item/CM_1976__33_3_261_0.pdf, the authors have asked in Page 285 whether the Hardy space $H^p$ embeds isometrically into the Hardy space $H^q$ for $1\leq q<p<...
A beginner mathmatician's user avatar
4 votes
0 answers
117 views

Korovkin subset of $C(\mathbb{T})$

Let $K$ be a compact Hausdorff space and $A$ be a subset of $C(K)$. $A$ is said to be a Korovkin set if for every sequence $(T_n)$ of positive linear operators on $C(K)$, the condition $\|T_n(f)- f\|_\...
Tanmoy Paul's user avatar
4 votes
0 answers
210 views

Inclusion of Hardy spaces

It is well-known that any convergence in $L^p$ for $p \in [1,\infty]$ implies convergence in $L^1_{\text{loc}}$ by Hölder's inequality. It is also known that for $p>1$ it holds that $L^p(\mathbb R)...
Heins Siedentopf's user avatar
3 votes
0 answers
257 views

Complex Hölder space

I already posted this question on math.stackexchange, but got no response and was suggested to post it here. I came across a space in an ergodic theory paper, which I am calling here a (complex) ...
Mrcrg's user avatar
  • 136
2 votes
1 answer
136 views

Is there a scalar product which makes orthonormal the family of complex functions $ (f_n)_{ n \geq 1 } $?

Let $ (f_n)_{ n \geq 1 } $ be a family of complex functions defined as follow, $ \forall n \geq 1 $, $$ f_n (z) = \dfrac{1}{n^{z}} $$ I would like to ask you if it is possible to construct a ( non-...
Angel65's user avatar
  • 595
2 votes
0 answers
55 views

A holomorphic map into a Hilbert space with prescribed orthogonality

This is a variation of my previous question. Let $X\subset \mathbb{C}^n$ be a domain, and let $L:X\times X\to \mathbb{C}$ be such that $L(x,x)>0$, $L(y,x)=\overline{L(x,y)}$ and $L(\cdot,y)$ is ...
erz's user avatar
  • 5,529
1 vote
1 answer
312 views

Invertibility of frame/sampling operator on Bargmann-Fock spaces

Let $F_\alpha ^p (\mathbb{C}^n)$ for $1 < p < \infty$ and $\alpha > 0$ be the Bargmann-Fock space defined as the Banach space of entire functions $f$ such that $f(\cdot) e^{- \frac{\alpha}{2} ...
Joshua Isralowitz's user avatar
0 votes
1 answer
128 views

On a theorem by Mooney and Khavin on the weak sequential completeness of the predual of $H^\infty(\mathbb{D})$

There is a theorem by Mooney http://msp.org/pjm/1972/43-2/pjm-v43-n2-p.pdf#page=185 and independently proved by Havin which says that the predual of $H^{\infty}(\mathbb{D}),$ $L^{1}/H^{1}_{0}$ is ...
vikram's user avatar
  • 175
0 votes
0 answers
145 views

On the pointwise limit of a sequence of analytic functions

I have been confused with this problem for weeks now. Suppose I have Banach spaces $E$ and $F$ and a sequence of functions $f_{n}: U \subset E \to F$, where $U$ is open and nonempty. Let $x \in U$ be ...
InMathweTrust's user avatar
0 votes
0 answers
78 views

What does analytic uniformly in $s$ mean?

Suppose I have a complex vector space $V$ with finite basis $\{e_{1},...,e_{s}\}$. Then, I can consider the algebra $\mathcal{U}$ of formal polynomials on the variables $e_{1},...,e_{s}$. Suppose ...
InMathweTrust's user avatar
0 votes
1 answer
226 views

Subspaces of $H^{\infty}(\mathbb{D})$ which contains a nontrivial weak* closed subalgebra

Let $H^{\infty}(\mathbb{D})$ denotes the Banach space of bounded holomorphic functions in the unit disc. Consider the weak* topology on $L^{\infty}(\mathbb{T})$ that it inherits as the dual of $L^{1}(\...
vikram's user avatar
  • 175
-1 votes
1 answer
119 views

Existence of a function with slow growth on derivatives

Does there exist a smooth compactly supported function $$f \in C^{\infty}_c((0,1))$$ such that $$ \|D^k f\|_{L^{2}(0,1)} \leq \left\lfloor{\alpha\,k}\right \rfloor! \quad \forall\, k\in \mathbb N$$ ...
Ali's user avatar
  • 4,125