All Questions
Tagged with cv.complex-variables fa.functional-analysis
298 questions
1
vote
0
answers
113
views
Computing a limit for the Weierstrass function
Let $a\in (0,1)$ and let $b$ be an odd positive integer such that $ab>1+\frac{3}{2}\pi$. Let $\alpha \in (0,1)$ be defined by $\alpha= -\frac{ln(a)}{ln(b)}$ and consider the well known Weierstrass ...
- 4,125
4
votes
1
answer
305
views
Holomorphic extension of the Fourier transform of a measure
If an entire holomorphic function $f(z)$ is given by the analytic continuation of $f(x)=\int_\mathbb{R}e^{-ix\xi}\,d\mu(\xi)$ with a finite Borel measure $\mu$ on $\mathbb{R}$, then $g(x):=\int_\...
- 13
1
vote
0
answers
111
views
Residues of analytic operators
Suppose we have analytic operators $P_{z}: C^1[0,1]\to C^1[0,1]$, where $z \in \mathbb{C}$, and the spectrum of $P_{z_0}$ possesses an isolated eigenvalue $1$ (assuming multiplicity is 1 and $I-P_z$ ...
- 4,461
3
votes
1
answer
166
views
A limit arising from Mellin Inversion: How to compute a specific term of an asymptotic series?
So I am wondering if there exists a general procedure for the following problem:
given a monotonically increasing function $f(n)$ which is nonegative on the interval $[0,\infty)$ and grows faster than ...
- 12.9k
0
votes
0
answers
77
views
Completeness of a normed space
We consider the set $\mathcal{PC}([-r,0],X)$
$$\mathcal{PC}([-r,0],X):=\{\varphi:[-r, 0] \rightarrow X: \varphi \text{ is continuous everywhere except
for a finite number
of points } t_* \text{ ...
- 39
4
votes
0
answers
120
views
Matrix product of entire functions
Suppose I have two $d \times d$ entire matrix functions $F, G$ defined on $\mathbb{C}$ with the the property that $\|FG^*\|_{L^\infty(\mathbb{C})} < \infty$. Can anything be said about $F$ and $G$, ...
- 63.9k
2
votes
2
answers
226
views
Hardy space inclusion in the right-half plane
I'm looking for an example of a function $u \in H_2$ such that $u \notin H_\infty$, where $H_p$ is the Hardy space on the right-half plane. Since this notation is perhaps not standard, here is a ...
- 91.8k
5
votes
1
answer
358
views
Is there a meaningful interpretation of an $L^i$-space?
Do complex-normed spaces exist? Is there an extension of $p$-norms to $p\in\Bbb C\setminus\Bbb R$?
A while ago I thought of extending $L^p$-spaces to the complex-normed setting. After some discussions,...
- 37.8k
2
votes
1
answer
91
views
Pair of positive harmonic functions with negative inner product in Drury-Arveson space
Define a reproducing kernel on the Euclidean ball in $\mathbb{C}^d$ by
$$k(z,w)=\frac{1}{1-\langle z,w\rangle}+\frac{1}{1-\langle w,z\rangle}-1.$$
Call the corresponding real reproducing kernel ...
4
votes
0
answers
74
views
Is there a dense set of Lipschitz functions in $H^\infty(U)$, each of which maps $(1,0,\ldots,0)$ to 1, where $U$ is the unit ball in $\mathbb{C}^N$?
Let $U$ be the open unit ball in $\mathbb{C}^N$, let $A(U)$ be the algebra of functions analytic on $U$ and continuous on $\bar U$, and let $u=(1,0,\ldots,0)$. Let $\mathcal{B}=\{f\in H^\infty (U): \|...
3
votes
1
answer
190
views
Can the equation $1+z+z^q=z^n$ have multiple complex roots $z$?
It is proved here that the equation $1+z+z^2=z^n$ have no multiple complex roots.
Q. Let us consider the equation $1+z+z^q=z^n$ where $q$ and $n$ are natural numbers with $1<q<n$. Any ...
- 22.5k
1
vote
2
answers
588
views
Inequality between coefficients of a polynomial and its supremum
For $d, m \in\mathbb{N}$ fixed, let $P\equiv P(x) := \sum_{|\alpha|\leq m} c_\alpha\cdot x^\alpha$ be a real polynomial in $d$ variables of (total) degree $m$. (That is, the above sum ranges over all ...
- 11
1
vote
0
answers
139
views
Does a Borel transform uniquely determine a Borel measure?
It is a known fact that Borel measures are uniquely determined by their Fourier transforms. This is the motivation for the following question.
I came across the concept of a Borel transform of a Borel ...
- 3,515
0
votes
1
answer
513
views
When is a product of two two-parameter Mittag-Leffler functions a Mittag-Leffler function?
I am studying properties of the two-parameter Mittag-Leffler function.
$$ E_{\alpha,\beta}(z)=\sum_{k=0}^\infty \dfrac{z^k}{\Gamma(\alpha k+\beta)}.$$
I am particularly interested in recurrences and ...
- 133
10
votes
2
answers
738
views
Unconditionally convergent series in some functional spaces
Linked with this question and discussion
(Bilinear product of two summable families), I am very
interested in counterexamples/results about the following questions (cf the end).
First, I recall that a
...
- 615
2
votes
1
answer
158
views
To which space does the derivative of a function in Fock space belong?
Let $f : \mathbb C \to \mathbb C$ be an entire function belonging to the Fock space $F_\alpha^2$, that is,
$$
\int_\mathbb{C} |f(z)|^2 e^{-\alpha|z|^2} \, dA(z)
$$
with $A$ the Euclidean are measure. ...
- 6,696
2
votes
0
answers
85
views
Proving that $u_0$ is a canonical solution
I've asked this question on stack exchange before but no one could help me so I wish I can get some help here.
Let's first start with the definition of the canonical solution:
Consider $\frac{\...
- 21
8
votes
3
answers
429
views
A density claim
Suppose that $g_k\in C([1,2])$, $k\in \mathbb N$ are continuous functions such that $\|g_k\|_{C([1,2])} \leq \epsilon^k$ for some sufficiently small $\epsilon>0$. Is the following claim true:
If $f\...
- 109k
2
votes
2
answers
281
views
Most general reverse Hölder inequality for polynomials
Theorem. Let $m$ be an integer and $P_m$ the vector space of degree $m$ polynomials in one real variable. There is a constant $C$ such that, for all $a<b$ and $p \in P_m$,
$$\|p\|_{L^\infty(a,b)} \...
- 981
10
votes
0
answers
656
views
“Taylor series” is to “Volterra series” as “Laurent series” is to _________?
Preamble
My question is similar to an earlier MathOverflow question:
“Taylor series” is to “Volterra series” as “Padé approximant” is to _________? which I just answered (hopefully my first ever ...
- 446
5
votes
2
answers
330
views
Functional equation of bounded analytic functions
Let $\mathbb{D}:=\{z \in \mathbb{C}|~|z|<1\}$. Consider $f,~g \in H^{\infty}(\mathbb{D}):=\{f\in\text{ Hol}(\mathbb{D}): \|f\|_{\infty}:= \sup_{z \in \mathbb{D}} |f(z)| < \infty\}$ such that $f^...
- 91.8k
4
votes
0
answers
135
views
Reverse Sobolev inequality for family of holomorphic functions
Denote by $P_m$ the space of polynomials of degree $m$ in a single complex variable $x$. This is a "Reverse Sobolev inequality":
Theorem. Let $U \subset \mathbb{C}^2$ be an open domain and $...
- 981
2
votes
0
answers
118
views
Reverse Sobolev inequality for holomorphic functions
Problem. Let $U \subset \mathbb{C}$ be open and $[0,1] \subset U$. Assume $f(z)$ is holomorphic on $U$. Is it possible to find a constant $C$ (that depends on $f$) such that, for all $0 \leq a < b \...
- 981
1
vote
1
answer
85
views
Discrete uniqueness sets for the two-sided Laplace transform?
Let $f : \mathbb R_+ \to \mathbb C$ be a measurable and integrable function where $\mathbb R_+ = [0,\infty)$. The Laplace transform of $f$ is given by
$$
Lf(s) = \int_0^\infty f(x)e^{-sx} \, dx.
$$
A ...
- 91.8k
15
votes
3
answers
4k
views
What holomorphic functions are limits of polynomials?
Let $\Omega$ be a connected open set in the complex plane. What is the closure of the polynomials in $\mathcal{H}(\Omega)$ the set of holomorphic functions on $\Omega$? The topology is the usual ...
- 2,821
5
votes
1
answer
353
views
Family of functions with prescribed derivatives
Suppose $f: \mathbb C \times (-1,1) \to \mathbb C$ is a smooth function that satisfies $f(0,t)=1$ for all $t\in (-1,1)$. Assume that for any $k\in \mathbb N$, any $z \in \mathbb C$ and any $t \in (-1,...
- 128k
5
votes
1
answer
169
views
Hadamard factorization of a function in the Fock space
An entire function $F: \mathbb C \to \mathbb C$ belongs to the Fock space $\mathcal F^2$ if
$$
\int_{\mathbb C} |F(z)|^2e^{-|z|^2} \, dA(z) < \infty.
$$
It is well-known that every $F \in \mathcal ...
- 8,842
1
vote
1
answer
210
views
On a property of complex exponentials
Does there exist a simple smooth closed curve $\gamma:S^1\to \mathbb C$ such that
$$ \int_{0}^{2\pi} e^{\gamma(e^{it})} \, |\gamma'(e^{it} )|\,dt =0?$$
- 91.8k
11
votes
1
answer
428
views
Maximal ideals of the ring $\mathbb C \{T\}$
Consider the Banach $\mathbb C$-algebra
$$
\mathbb C \{T\} = \left\lbrace \sum_{i \geq 0} a_i T^i : \sum_{i \geq 0} |a_i| < \infty \right\rbrace
$$
With the norm given by $\| \sum a_i T^i\| = \sum |...
- 25.8k
2
votes
0
answers
129
views
Existence of analytic function in disk algebra [closed]
Does there exist an analytic function $f\in A(\mathbb{D})$, where $A(\mathbb{D})$ is the disk algebra, such that $f(0)=0$ and the real part of $f(z)$ is strictly positive?
- 1,848
0
votes
0
answers
251
views
How to prove that the function $\lambda \mapsto \langle T_{\lambda}f; g\rangle$ is holomorphic?
Let $\langle;\rangle$ be the usual scalar product on $L^2(\Bbb R^2)$.
How to prove that the function $\lambda \mapsto \langle T_{\lambda}f; g\rangle$ is holomorphic on $\Bbb C^+_*=\{z\in\Bbb C:\text{...
- 501
0
votes
0
answers
120
views
How to prove an equality involving Laguerre polynomials
Assume $\mu<0$. Let $L^\alpha_n(x)$ be Laguerre polynomials of type $n$ and $f\in L^2(\Bbb C)$.
How to prove that $$\sum^\infty_{k=0}\int_{\Bbb C} f(z)\frac{1}{2(2k+1)-\mu}L^0_k(\lvert z\rvert^2)...
- 501
0
votes
0
answers
62
views
To find a DFT for complex functions on a semigroup
For a certain commutative semigroup of integer size $n$, $G=(\{1,2,\dots,n\},\circ: x\circ y\mapsto \min(n,x+y))$, consider all complex functions on it, denoted by $\mathbb C[G]$ or $\mathbb CG$. ...
1
vote
0
answers
47
views
Holomorphic "quasi-interpolation" of a function sequence
I am interested in some sort of analytic interpolation. A toy version of my problem is as follows. Let $V \subset \mathbb{C}$ be a complex neighborhood of $[0,1]$. Assume there is some bounded ...
- 981
2
votes
0
answers
72
views
Semilinear elliptic equations in complex plane
Let $D$ denote the closed unit disk centered at the origin in the complex plane. Let $F: D \times \mathbb C \to \mathbb C$ be a smooth function. Is there any theory for well-posedness (in the sense of ...
- 4,125
3
votes
1
answer
424
views
Regularity of boundary of a level set of a $C^{1,\alpha}$ function
Let $f:\mathbb{R}^2\to\mathbb{R}$ be a $C^{1,\alpha}$ function. Denote $S_C=\{x\in\mathbb{R}^2\mid f(x)=C \}$ the level set of $f$ with value $C$.
What i want to ask is, if $S_C$ is nonempty for some $...
- 5,038
1
vote
2
answers
113
views
$\log(t)$ term in the small time expansion of $\mathrm{Tr}( A e^{-tB} )$
Assume $A$ is an operator on a Hilbert space with discrete spectrum. Assume $B$ is a positive operator on the same Hilbert space also with a discrete spectrum. Also assume $A$ and $B$ commute.
I'm ...
- 21.5k
2
votes
1
answer
128
views
Regarding basis of holomorphic Hardy space
Let $\Omega\subset\mathbb{C}^n$ be any $C^{\infty}$ bounded domain and let $H^2(\partial\Omega)$ denotes a holomorphic Hardy space which is a $L^2(\partial\Omega)$ closure of $A^{\infty}(\Omega)(=\...
- 25.8k
3
votes
0
answers
203
views
Beurling's theorem on invariant subspaces
Beurling's theorem characterize the closed subspaces $M\subset H^2$ of the Hardy space, which are invariant under the shift operator $Sf(z):=zf(z)$, as spaces of the form $\varphi H^2 $ where $\varphi$...
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) ...
- 136
3
votes
0
answers
135
views
Holmgren's theorem on the boundary
Consider $\Omega$ a bounded Lipschitz domain, with $\gamma \subseteq \partial \Omega$ a $C^2$ manifold. I am interested in proving the following.
Let $u: \Omega\times [0,T]\rightarrow \mathbb{R}$ be ...
- 235
2
votes
1
answer
145
views
Estimate for an oscillatory integral of the first kind
I am confused in finding the right bound for the following oscillatory integral
$$I = \int_\mathbb{R} (\psi(2^{-k} \xi))^2 e^{i (y \xi - 3 \eta \xi^2 t)} d\xi.$$
Where $\psi(2^{-k} \xi)$ is a smooth ...
- 63.9k
1
vote
0
answers
94
views
Less strict holomorphy
Using the Grünwald-Letnikov definition of fractional derivative for complex-valued functions, can there be complex function $f(z)$ over all plane, that is not holomorphic but there is $r \in (0,1)$ s....
4
votes
1
answer
196
views
A kind of holomorphicity of maps on Hilbert space
Let $H$ be an infinite dimensional seperable Hilbert space. Is there an Irreducible involutive sub algebra $D$ of $B(H)$ with the following properties?:
1)For every open set $U\subset H$ and every ...
- 25.3k
10
votes
1
answer
349
views
On a variant of Carlson’s theorem
My question is on whether or not there exists some monotone strictly decreasing sequence of positive numbers $c_1>c_2>\ldots$ such that given any $f$ which is a uniformly bounded holomorphic ...
- 91.8k
0
votes
1
answer
2k
views
What is the orthonormal basis for the Bergman space on the disk?
[EDIT by YC: the original question's title asked about a basis for the Hardy space on the disk. It is clear from the actual question that what was meant was the Bergman space.]
In arXiv:0310.5297, ...
- 2,821
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 ...
- 3,738
4
votes
0
answers
120
views
Are fibers in the corona of $H^\infty$ separable?
Let $\mathcal{M}(H^\infty(\mathbb{D}))$ denote the spectrum of the Banach algebra $H^\infty$ and $\mathcal{M}_z(H^\infty(\mathbb{D}))$ the fiber over $z\in \mathbb{D}$, i.e. $\{\varphi\in \mathcal{M}:...
- 81
1
vote
0
answers
271
views
Starlike sets in $\mathbb{C}^n$
Let $S$ be a bounded domain in $\mathbb{C}^n$. $S$ is called starlike about the point $x_0\in S$ if for every point of $S$, the segment of the straight line from the point to $x_0$ lies in $S$. If $S$ ...
- 61
0
votes
0
answers
112
views
How to prove or disprove $ |r'(a)| \leq c_1 \sup_{x \in [a-1/2,a+1/2]} |r(x)|$?
Let $ A = \begin{bmatrix}
a & 1 \\ 0 & a
\end{bmatrix}$ be a Jordan matrix with $ -1 < a < 1 $.
Let $r(z) = \frac{p(z)}{q(z)}$ be an irreducible rational function, where $p(...
- 55