All Questions
Tagged with cv.complex-variables fa.functional-analysis
298 questions
3
votes
1
answer
137
views
Estimate the homogeneous components of a polynomial against its maximum
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$, where $d, m \in\mathbb{N}$ are fixed.
(I.e., the above sum ranges over ...
- 128k
4
votes
1
answer
317
views
Taylor coefficients of Hadamard product
I imagine this to be a very classical question in complex analysis:
Consider the Hadamard product
$$g(\mu) = \prod_{n=1}^{\infty}E_1(\mu z_n),$$
where $E_1(z):=(1-z)e^z$ is the first elementary ...
- 17.2k
2
votes
0
answers
120
views
Does a holomorphic function with logarithmic growth at the boundary have $L^2$ boundary values?
Let $f(z)$ be a holomorphic function on the unit disc, with logarithmic growth at the boundary:
$$
|f(z)| = \mathcal O\bigg(\log\Big(\frac{1}{1-|z|}\Big)\bigg).
$$
Does it follow that the (...
- 6,357
11
votes
1
answer
413
views
Estimating the growth of the Taylor coefficients given the growth of the function at the boundary
Let $f(z)=\sum a_nz^n$ be a Taylor series that converges for $|z|<1$ and satisfies
$$
|f(z)|\le \frac{1}{(1-|z|)^{k}}
$$
for some fixed $k>0$.
Question: What can I deduce about the growth of the ...
- 43.2k
11
votes
1
answer
582
views
An extension of the Carlson's theorem in complex analysis
For the statement of Carlson's theorem please see,
https://en.wikipedia.org/wiki/Carlson%27s_theorem.
There is an extension of Carlson's theorem that says that the condition that $f$ needs to vanish ...
- 91.8k
4
votes
0
answers
104
views
Walsh-Lebesgue type theorem in $\Bbb R^{2m}$ for $m>1$
Is someone aware of any analogue of the Walsh-Lebesgue theorem in $\mathbb{R}^{2m}$ for $m>1$ and dealing with polyharmonic polynomials?
In this post, $\phi$ is said to be polyharmonic in $\mathbb{...
- 6,357
4
votes
1
answer
636
views
Existence of a smooth compactly supported function
Let $U$ be a bounded domain in $\mathbb R^n$. Does there exist a smooth function $f$ with compact support in $U$ such that:
$$ \| f\|_{W^{k,\infty}(U)} \leq (k!)^{2-\epsilon},$$
for some $\epsilon>...
- 91.8k
4
votes
0
answers
197
views
Approximation of a holomorphic function vanishing at a submanifold by polynomials
Suppose $M$ is a complex affine algebraic manifold in ${\mathbb C}^n$ (I mean, a set of common zeroes of a system of polynomials on ${\mathbb C}^n$, which is at the same time a smooth manifold). ...
- 7,426
4
votes
0
answers
208
views
A more general version of the Fejér-Riesz theorem
A classical result, known as the Fejér-Riesz theorem, states that any Laurent polynomial $p(z)=\sum_{|k|\leq N} c_kz^k$
(the coefficients $c_k$ are complex numbers) which is nonnegative on the torus $\...
3
votes
0
answers
193
views
Fermat's Last Theorem (FLT) in standard model space corresponding to an infinite Blaschke product
Let $u$ be an inner function and denote by $H^2$ the Hardy space on the open unit disc D. A model space $K_u$ associated to $u$ is a Hilbert space of the form $K_u=(uH^2)^⊥$ where ⊥ denotes the ...
3
votes
0
answers
177
views
Truncation on $H^\infty(\mathbb{D})$ vs $H^\infty(\mathbb{D}^2)$
$\newcommand{\D}{\mathbb{D}}$
Let $H^\infty(\D)$ be the space of bounded analytic functions in the unit disc $\D$. For a function $f(z) = \sum_{n=0}^\infty a_nz^n$ we can define its truncation as
$$...
- 6,476
2
votes
0
answers
65
views
On a question relating integral equation:
I don't know if the following question qualifies as research level. If it isn't, sorry.
Set the following terminology:
$ \alpha_1 =\alpha_1(t,x)=t(\tan^{-1}(x)+c)$
$\alpha_2=\alpha_2(s,x)=s(\tan^{-1}(...
- 41
1
vote
1
answer
128
views
Computation on the Hardy space
Why
$$
\Pi_+ \left(\frac{\overline{z}}{1-\overline{qz}}f\right)= \frac{f(z)-f(\bar{q})}{z-\overline{q}}, \quad f\in H^2(\mathbb D),$$
where
$q\in \mathbb C$,
$\Pi_{+}$ is the Szegö projector:
$$\Pi_{+...
- 36
1
vote
2
answers
106
views
'Partial boundedness' of continuously parametrised power series
Let $a_1, a_2, \ldots : D\rightarrow\mathbb{R}$ be a sequence of continuous functions, with $D$ a compact metric space.
Suppose that the function $f : D\times[0,\infty)\rightarrow\mathbb{R}$ given by
$...
- 231
6
votes
1
answer
181
views
Mittag-Leffler function
Let the Mittaq-Leffler function be defined by the expression
$$ E_{\mu,\nu}(z) = \sum_{k=0}^{\infty} \frac{z^k}{\Gamma(k\mu+\nu)}\quad \text{$\mu>0$ and $\nu\in \mathbb R$}$$
Now let $n\in \mathbb ...
- 128k
4
votes
1
answer
389
views
Existence of periodic solution to ODE
We shall consider the matrix-valued differential operator
$$(L u)(x) :=u'(x) - \begin{pmatrix} 0 & \sin(2\pi x-\frac{\pi}{6})\\ - 2\sin(2\pi x+\frac{\pi}{6}) & 0 \end{pmatrix} u(x).$$
This is ...
- 192
3
votes
0
answers
646
views
On properties on a certain functional
Consider the following function:
$$F(z) = \omega(z)\sin^2\left(\frac{c\Gamma(z)}{z}\right)$$
Here, $\omega(z)$ is a weight we have to construct and $c$ is a constant.
The following three conditions ...
- 375
5
votes
2
answers
338
views
Approximation of analytic function by a fixed number of monomials
This question seems simple but I can't manage to disprove it. Let $N\in \mathbb{N}$. We know that by its analyticity that this precise linear combination of monomials
$
\sum_{n=0}^K \frac1{n!} x^n
$
...
- 109k
4
votes
0
answers
546
views
Understanding vector-valued analytic functions vs holomorphic functional calculus
Let $A$ be a unital Banach algebra over complex numbers and call elements of $A$ "vectors". Let $\Omega$ be an open set in $\mathbb{C}$ and $H(\Omega)$ the space of analytic functions on $\...
- 83
2
votes
1
answer
153
views
Regarding upper semicontinuity of a function
Let $E$ be a linear subspace of $\mathbb{C}^{n\times n}$.
Define the function $\mu_E:\mathbb{C}^{n\times n}\longrightarrow \mathbb{R}_+$ as
$$
\mu_E(A)=\frac{1}{\inf\{\|X\|:X\in E\text{ and }\det(I_n-...
CommunityBot
- 1
2
votes
1
answer
162
views
Max-root inequality for convex combination of real-stable monic polynomials (Kadison-Singer Problem)
In the paper "The Kadison-Singer Problem" by Marcin Bownik (https://arxiv.org/pdf/1702.04578.pdf), the following Lemma (3.8) is proven:
Lemma:
Let $p, q\in \mathbb{R}[x]$ be stable monic ...
- 128k
11
votes
1
answer
486
views
Resources for divergent / asymptotic series
This series is divergent; therefore, we may be able to do something with it. -- Oliver Heaviside
[Edit (1/14/21) from the answer by Count Iblis to a recent MO-Q on math vids: An enthusiastic intro is ...
- 10.5k
1
vote
0
answers
74
views
Is $A^{-\infty}$ a $Q$-algebra?
Let $\mathbb{D}=\{z\in \mathbb{C}: |z|<1\}$ and
$$
A^{-\infty}=\Big\{f:\mathbb{D}\rightarrow \mathbb{C}\;|\; \exists n\in \mathbb{N} \textrm{ such that }\|f\|_{-n}= \sup\limits_{z\in \mathbb{D}}\;\!...
- 21
1
vote
0
answers
203
views
Construction of weight function to satisfy condition on given functional
Consider the following function :
$$F(z) = \omega(z){\sin^2\left(\frac{c\Gamma(z)}{z}\right)}$$
Here, $\omega(z)$ is a weight we are going to consider
The following two conditions should meet for $\...
- 375
3
votes
1
answer
124
views
Use of Invariant metric/distances to classify domains in $\mathbb{C}^n$
I am a graduate student in mathematics, who works usually in operator theory. Lately I had to read about about the Lempert’s theorem(a theorem regarding when some pseudometric/distances coincide) and ...
- 7,902
1
vote
0
answers
139
views
Converse to Hausdorff-Young (or Riesz-Thorin) for finite cyclic groups?
Let $v$ be a vector $v \in \mathbb{R}^p$, with non-negative entries and $p$ prime. The Hausdorff-Young inequality gives bounds of the form:
$$\|\mathcal{F}v\|_a \le C_{a,b} \|v\|_b$$
where the ...
- 435
2
votes
0
answers
71
views
Dominant singularity of a multivariate complex function and Cauchy integral formula
Suppose I have a function $f: \mathbb C^d \rightarrow \mathbb C$, that i know in close form, and from which i want to bound the taylor coefficients around 0. For that, I am using the cauchy integral ...
- 686
3
votes
0
answers
233
views
Sequence unifomly bounded
Let $f(\lambda,z)$ be a continuous function on $\Bbb R^2$ such that
I) For $n\in\Bbb N$ and $x\in\Bbb R^*_+$ we have : $f(n,x)=\cos(nx)+ x O\big(\frac{1}{n}\big)$ as $n\to\infty$ and $x\in[n^{-1}\...
- 81
2
votes
0
answers
162
views
Hilbert transform on weighted Sobolev spaces
Let $\mathscr H\,f$ denote the Hilbert transform of a function $f \in L^2(\mathbb R)$. We know that $\mathscr H$ is an isometry on $L^2(\mathbb R)$, but I want to know to what is the mapping ...
- 4,125
-1
votes
2
answers
129
views
Is it possible for all of the smooth/continuous curves in $R^3$ to form a Hilbert space? [closed]
Under which condition can it form a Hilbert space? Or what space can it form?
You can write down certain condition to make it to be a Hilbert space, e.g., Let $$p(t)=[x(t),y(t),z(t)]^T\in \text{R}^3$$ ...
- 2,369
2
votes
1
answer
192
views
Existence of a distinguished continuous version of the logarithm of a continuous function
Let $E$ be a $\mathbb R$-Banach space and $\varphi\in C^0(E,\mathbb C\setminus\{0\})$ with $\varphi(0)=1$.
I want to show that there is an unique $\psi\in C^0(E,\mathbb C)$ with $\psi(0)=0$ and $$\...
- 16.4k
3
votes
1
answer
144
views
Coefficient problem in the class $\Sigma$
Let $\Sigma$ be the class of univalent (injective) holomorphic functions on $\mathbb{C}\backslash \mathbb{D}$ where $\mathbb{D}$ is the closed unit disk. Analogous to the famous Bieberbach conjecture ...
- 91.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 ...
- 6,025
11
votes
1
answer
411
views
A density question for the Hilbert transform
Let $\mathscr Hf$ denote the Hilbert transform of a function $f$ defined on the real-line $\mathbb R$. Are the set of functions
$$ \{(f+\mathscr Hf)_{|_{(0,1)}}\,:\, f \in C^{\infty}(\mathbb R)\quad \...
- 52.3k
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 ...
- 12.5k
0
votes
0
answers
105
views
About the definition of lineal convexity
I have been trying to understand the definition of lineal convexity. I am reading the article Duality of functions defined in lineally convex sets by Christer O. Kiselman. For a set $A\subset \mathbb{...
- 63.9k
1
vote
0
answers
84
views
A Riemann Hilbert problem on the unit square
Let $p_0=0$, $p_1=1$, $p_2=1+i$ and $p_3=i$ be the four vertices of a square $Q$ on the complex plane $\mathbb C$.
Let $f \in C^{\infty}_c((0,1))$ and consider the following Riemann-Hilbert problem on ...
- 4,125
4
votes
2
answers
1k
views
What does analyticity imply in complex analysis? [closed]
In complex analysis, we're constantly faced with problems about the analyticity of a function, on which many theorems are developed. I of course know a bunch of formulas and theorems, but could not ...
- 91.8k
2
votes
0
answers
362
views
The conformal map from interior of ellipse to interior of the unit disk (property check)
Based on example 5 (page 546) and example 7 (page 550) of the book "Applied and computational complex analysis. Volume 3, Wiley, 1986" written by Peter Henrici, if $a,b>0$ satisfies $a^2-...
- 730
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 ...
- 1,409
3
votes
0
answers
73
views
A holomorphic shrinking of a domain into a compact subset
This question is related to these two.
Let $X\subset \mathbb{C}^{n}$ be a bounded domain. I am interested in the following property: there is a sequence of continuous maps $\varphi_n:\overline{X}\to X$...
- 5,529
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 ...
- 5,529
6
votes
1
answer
299
views
Continuity of eigenvectors
Let $\mathbb{C} \ni z \mapsto M(z)$ be a square matrix depending holomorphically on a parameter $z$ with the property that $\operatorname{dim}\ker(M(z)))=1$ for $z $ away from a discrete set $D \...
- 17.5k
1
vote
0
answers
144
views
Using Paley-Wiener Theorem to prove the decay of $G(x-y)$
This question is related to my previous one, where I was looking for some help to prove the decay of the lattice Green function:
\begin{eqnarray}
G(x-y) = \int_{[-\pi,\pi]^{d}}\frac{d^{d}k}{(2\pi)^{d}}...
- 1,305
0
votes
1
answer
322
views
Injectivity of analytic functions
Suppose $f : \mathbb{R} \rightarrow \mathbb{R}^n$ is a real analytic function on $(a, \infty)$. I have two questions:
Suppose $||f(x)|| \rightarrow \infty$ as $x \rightarrow \infty$. I know without ...
- 128k
3
votes
2
answers
497
views
if $f\circ f=g$ has no solution does this imply $f\circ f=g+g^{-1}$ also has no solution with $g^{-1}$ being a compositional inverse of $g$?
This question is related to solving $f(f(x))=g(x)$.
Assume that $g$ is a bijective function $g:\mathbb{R}\to \mathbb{R}$. If there is no continuous function $f : \mathbb R \to \mathbb R\,$ for which $...
- 32.5k
2
votes
1
answer
103
views
A density question
Suppose $\Omega= (0,1)\times(0,1)\subset \mathbb R^2$. Assume that $f, g \in C^{\infty}(\Omega)$ and that
$$ \int_\Omega \left(f(x_1,x_2)- \frac{m}{(n+1)}g(x_1,x_2)\right) x_1^n \,x_2^m \,dx_1\,dx_2 = ...
- 13k
3
votes
1
answer
237
views
Isoperimetric inequality for analytic functions on an annulus
Let $f$ be an anylytic function on the unid disk $|z|<1$. It is well known that
$$\left (\int_0^{2\pi}f(e^{i\theta})d \theta \right)^2 \geq 4\pi \iint_{|z|<1} |f(r e^{i\theta})|^2r dr d \theta.$...
- 434
7
votes
3
answers
1k
views
Compactness properties of plurisubharmonic functions
I'm quite interested in this topic, but the main text on Several Complex Variables say little of nothing about it. Here are my questions, and I'd be grateful of any reference or information.
Let $\...
- 60.5k
1
vote
0
answers
196
views
Asymptotic of a functional as $x\rightarrow \infty$
Consider the following functional :
$$
I(x,s) =\int_0^\infty\mathrm dy \frac{F(x + \mathrm iy, s) − F(x −\mathrm iy, s)}{\mathrm e^{2πy}-1},
$$
where $ F(z, s) = \dfrac{\sinh(\sin^2[π\Gamma(z)/(2z)])...
- 375