All Questions
Tagged with fa.functional-analysis cv.complex-variables
117 questions with no upvoted or accepted answers
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 (...
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}(...
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 ...
2
votes
0
answers
163
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 ...
2
votes
0
answers
363
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-...
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 ...
2
votes
0
answers
65
views
Closure of the space of holomorphic functions on the open disk in $\mathbb{C}$ with respect to a Hardy-space-like semi-norm
Let $\mathcal{A}\left(\mathbb{D}\right)$ denote the vector space over $\mathbb{C}$ of all holomorphic functions $f:\mathbb{D}\rightarrow\mathbb{C}$. Define the following semi-norm:$$\left\Vert f\right\...
2
votes
0
answers
125
views
Sub Banach spaces (Banach algebras) of the disc algebra which are invariant under the differentiation operator
In this question the disc algebra $\mathcal{A}(\mathbb{D})$ is the Banach algebra of all holomorphic functions on the unit open disc $\mathbb{D} \subset \mathbb{C}$ which have a ...
2
votes
0
answers
119
views
Covariant derivative of the Monge-Ampere equation on Kähler manifolds
I am reading D. Joyce book "Compact manifolds with special holonomy" and I have some problems of understanding some computation on page 111, the first line in the proof of Proposition 5.4.6. More ...
2
votes
0
answers
219
views
Integral with product of two infinite sums
I am looking for references and results on integrals with product of two infinite sums:
$$S_1=\int_0^{\infty} \sum_{n=0}^{\infty} f(nx) \sum_{k=0}^{\infty} \overline{ g(kx)} dx$$
Above integral is ...
2
votes
0
answers
245
views
Dual space of functions of exponential type
The dual space of entire functions is known. It is the space of functions analytic around infinity with non-constant term, $\mathcal{O}^\infty_0$. The action of $F\in \mathcal{O}^\infty_0$ on an ...
2
votes
0
answers
379
views
Is this double integral of Fourier series always real?
Consider $f(x)$ a function from $\mathbb{R^+}$ to $\mathbb{C}$ such that $f(x) \sim_0 x$ and $\int_{0}^{\infty} f(x) dx=\int_{0}^{\infty} x^2 f(x) dx=0$
Can we demonstrate that following integral is ...
2
votes
0
answers
89
views
Link between subharmonic and subanalytic functions
Consider $\Omega$ an open set of $\mathbb{C}$ and $f : \Omega \to \mathbb{R}$ a $C_{\infty}$-function. The following two definitions are well-known (at least the first one) but I prefer to recall them ...
2
votes
0
answers
136
views
To find a positive function with compact spectrum
Let
$e_1=(0,1)^T$,
$$
S=\left\{x\in \mathbb{R}^2\Big| \frac{|\langle x, e_1\rangle|}{|x|}>\delta>0\right\},
$$
is a cone in $\mathbb{R}^2$.
I want to find a non-trivial smooth function ...
2
votes
0
answers
627
views
Is every bijective analytic map bi-analytic?
Suppose that
$E$ and $F$ are complex Banach spaces and $U\subset E$ and $V\subset F$ are open subses.
$f\colon U\to V$ is analytic
$f\colon U\to V$ is bijective
Is $f$ bi-analytic? (i.e. is its ...
2
votes
0
answers
154
views
The boundedness of an entire function along the imaginary axis
I am looking for an answer in the affirmative or the negative concerning the asymptotics of an entire function. The question, relatively simple to state, has proven very taxing to solve and requires ...
2
votes
0
answers
156
views
When does analytic in the operator norm imply analytic in the trace class norm?
This is a crosspost from MSE. It's been up there for a few weeks now. A 200 rep bounty yielded no results (or even comments). I'm hoping someone here has some helpful ideas. See this post for the ...
2
votes
0
answers
144
views
Is logarithmic convexity of the heat kernel with complex time a general fact?
Suppose $H$ is a non-negative self-adjoint operator acting on $L^2(\mathbb{R}^n)$, and generates an analytic semigroup with kernel satisfying a Gaussian upper bound, i.e., if we denote $K(t,x,y)$ the ...
2
votes
0
answers
605
views
complex contour integral calculation after Möbius transformation
Good day to everyone.
In my scientific research I've got stuck with a contour integration problem.
I would like to evaluate the following integral:
$$I=\int_0^{\infty } \frac{e^{\frac{\alpha -\mathrm ...
2
votes
0
answers
122
views
A parametrix for the $\bar\partial$ operator adapted to a holomorphic foliation
Let $X$ be a compact complex manifold with (regular) holomorphic foliation given by a holomorphic subbundle $\mathcal F$ of the tangent bundle. The foliation induces a filtration on differential forms....
2
votes
0
answers
262
views
A specific projection and compactness on the Bargmann-Fock space
Let $F_2$ be the Bargmann Fock space defined as the space of entire functions $f$ on $\mathbb{C}$ such that \begin{align*} \int_{\mathbb{C}} |f(z)|^2 e^{- |z|^2} dA(z) \end{align*} ($dA$ is just ...
1
vote
0
answers
146
views
integral over the unit sphere of $\Bbb C^n$
Please, is there a way to calculate this integral
$$\int_{S_{2n-1}} \frac{e^{a \langle z, \zeta \rangle}}{|z - \zeta|^{\beta}} \, d\sigma(\zeta)$$
where $ z $ is a fixed point in the complex unit ball ...
1
vote
0
answers
71
views
Integral formula of quantum dilogarithm
In the paper"Level N Teichmüller TQFT and Complex Chern-Simons Theory" arXiv:1612.06986, the authors study the quantum dilogarithm function:
\begin{equation}
\mathrm{D}_{\rm b}(x,n)=\prod_{...
1
vote
0
answers
38
views
About Carleson measures on the Hardy space on the bidisc
I have been reading the paper "Carleson Measures in Hardy and Weighted Bergman Spaces of Polydiscs" by F. Jafari and there are a few things that going on that I am not entirely convinced of.
...
1
vote
0
answers
63
views
Extension of meromorphic distribution
Let $W$ be a topological vector space (e.g. Frechet) with a dense subspace $V$. Let $D_s$ be a distribution on $V$ that is meromorphic in $s\in\mathbb C$ and extends continuously to $W$ with respect ...
1
vote
0
answers
115
views
Looking for examples of kernels with scalar Pick property but not the complete Pick property
I am studying Pick Interpolation and Hilbert Function Spaces by Agler and McCarthy.
A kernel $k$ on a set $X$ is said to have $M_{s,t}$ Pick property whenever $x_1,x_2, \ldots , x_n \in X$ and $W_1, ...
1
vote
0
answers
125
views
Interpolating sequences are strongly separated
I am reading Agler and McCarthy's Pick Interpolation and Hilbert Function spaces. In Chapter 9, titled "Interpolating Sequences", the authors say that every interpolating sequence is ...
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 ...
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$ ...
1
vote
0
answers
140
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 ...
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 ...
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....
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$ ...
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}}\;\!...
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 ...
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 ...
1
vote
1
answer
294
views
Regarding subspace generated by the polynomial multiples of outer functions
Let $\mathbb{D}$ and $\mathbb{T}$ denote the open unit disk and unit circle in $\mathbb{C}$ respectively. We write $Hol(\mathbb{D})$ for the space of all holomorphic functions on $\mathbb{D}.$ The ...
1
vote
0
answers
145
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
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 $\...
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)])...
1
vote
0
answers
86
views
Does there exist a bounded analytic function majorated by a given one?
Let $f$ be an element of the Hardy space $H^2$, i.e. $f$ is an analytic function on the unit disk such that $\sum|a_n|^2<\infty$, where $f(z)=\sum a_n z^n$. Assume also that $f\not\equiv 0$.
Is ...
1
vote
0
answers
87
views
An oscillatory integral estimate
Let $n \geq 3$ and consider two sequences of strictly monotone functions $\{\mu_l(t)\}_{l=1}^{n}$ and $\{\lambda_l(t)\}_{l=1}^n$ on the interval $[-1,1]$ with $\mu_l(0)=0$ and $\lambda_l(0)=1$ for all ...
1
vote
0
answers
142
views
Affine algebraic variety as a set of common zeroes of holomorphic functions on ${\mathbb C}^n$
Let $V$ be an affine algebraic variety in ${\mathbb C}^n$, i.e. a set of common zeroes of some set $S$ of polynomials on ${\mathbb C}^n$:
$$
V=\{z\in {\mathbb C}^n:\ \forall p\in S\quad p(z)=0\}.
$$
...
1
vote
0
answers
86
views
An equality of inner products of holomorphic curves
The following is the main result in the paper by Vinnikov, Putinar, Alpay: A Hilbert space approach to bounded analytic extension in the ball, 2003, Communications on Pure and Applied Analysis. The ...
1
vote
0
answers
82
views
Hankel operator with symbol a Blaschke product
If $B={\prod}_j \varphi_j$ is a Blaschke product (finite or infinite) of Blaschke factors $\varphi_j(w)=\frac{w-\alpha_j}{1-\overline{\alpha_j}w}$ with $|\alpha_j|>1$, is it true that the norm of ...
1
vote
0
answers
80
views
What is the character space of $\mathcal P(K)$?
Let $K$ be a compact subset of $\Bbb C$. Let $\mathcal P(K)$ be the closed algebra generated by the complex polynomials on $K$.
What is the character space $\Phi_{\mathcal P(K)}$ of $\mathcal P(K)$?...
1
vote
0
answers
128
views
determine when $e^{ikx}$ can be boundary value of a holomorphic function
Assume that $\Gamma=\{x+if(x): x\in \mathbb{R}\}$ is a graph, separating $\mathbb{C}$ into two connected components. Let's denote the one below $\Gamma$ by $\Omega$.
My question is, for what curves $...
1
vote
0
answers
84
views
extension for a complex operator
Let be $\lambda>0$. Put
$$ L_{\lambda}=\Big[-\frac{\partial^{2}}{\partial z \partial \overline{z}}+\lambda^{2}|z|^{2} +\lambda\Big(\overline{z}\frac{\partial}{ \partial \overline{z}}-z\frac{\...
1
vote
0
answers
109
views
Zeros of functions constituting a Riesz-basis for the Paley-Wiener space
I have a short question which first requires some slightly elaborate definitions:
Let $(e_n)$ be a Riesz-basis for a Hilbert space $\mathcal{H}$ with biorthogonal basis $(g_n)$, i.e. $\langle e_m, ...
1
vote
0
answers
78
views
Related to derivative of Modified Bessel I function wrt the order
I recently met some problems related to the modified Bessel I funtions. Let $I(\nu,x):=I_\nu(x)$, and $I'_\nu(\nu,x):=\dfrac{\partial}{\partial \nu}I(\nu,x)$.
Using maple, it seems that $Re(\dfrac{I'...