Questions tagged [cv.complex-variables]
Complex analysis, holomorphic functions, automorphic group actions and forms, pseudoconvexity, complex geometry, analytic spaces, analytic sheaves.
3,298 questions
1
vote
0
answers
51
views
Description of all biholomorphic maps from annulus [duplicate]
Consider the collection $\mathcal{C}$ of all maps $f \colon B_1 -\overline{B}_\beta \to \mathbb{C}$ such that $f$ is biholomorphic onto its image. Is this collection $\mathcal{C}$ path-connected?
In ...
- 11
0
votes
0
answers
72
views
Singular behavior of zeros of incomplete zeta function
I've been looking at the zeros of the incomplete zeta function
$\zeta_{lower}(s, z)$ recently.
$$
\zeta_{\mathrm{lower}}(s,z)=-\frac{{\Gamma(1-s)}}{2\pi i}\int_{z}^{\infty}\frac{{(-t)^{s-1}}}{e^{t}-1}...
1
vote
0
answers
37
views
Currents with logarithmic poles compared with those with no poles
I am learning Deligne homology via U. Jannsen, "Deligne homology, Hodge-$\mathscr{D}$-conjecture, and motives." There, the currents with logarithmic poles are given in Definition 1.4 by
$$
'\...
- 161
3
votes
1
answer
99
views
Vector bundles over a Stein space are projective
It is a "well known" fact that
locally free sheaves over a Stein space $X$ are projective as $\mathcal{O}_X$-modules
(see e.g. just after Lemma 1.6 in O'Brian-Toledo-Tong's "The trace ...
- 1,107
0
votes
1
answer
124
views
Holomorphic functions of certain blow up at origin
Suppose that $D=\{z\in \mathbb C\,:\, |z|\leq 1\}$ and let $f$ be holomorphic on $D\setminus\{0\}$ such that $|f(z)|\leq e^{\frac{1}{|z|}}$ for all $0<|z|\leq 1$ and assume additionally that $\lim\...
- 4,115
1
vote
0
answers
144
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 ...
- 501
2
votes
1
answer
197
views
Section 3 of Atiyah's "On analytic surfaces with double points" — some questions
I have some questions about section 3 of Atiyah's "On analytic surfaces with double points," a short 9 page paper. Section 3 is all dedicated to proving lemma 4.
Near the end of section 3, ...
- 129
0
votes
0
answers
56
views
Complexity of evaluation of analytic functions
Given an analytic function $f(x)$ (say as combination of elementary functions and operators), is it possible to compute $n$ first bits of the value of the function on the whole interval $[a, b]$ ...
- 67
1
vote
0
answers
39
views
Can one explicitly define a right inverse for a convolution operator on the space of entire functions?
A result of Meise and Taylor in 1988 shows that every non-zero convolution operator on the Frechet space $H(\mathbb{C})$ of all entire functions on $\mathbb{C}$ has a continuous linear right inverse $...
5
votes
1
answer
272
views
Why "no wandering domain" fails in parabolic basin?
Theorem (Sullivan). Every Fatou component $U$ of $f$ rational map is eventually periodic, that is, there exist $n > m > 0$ such that $f^n(U) = f^m(U)$
I am familiar with the proof: spread around ...
0
votes
0
answers
79
views
Alternative proof of parabolic implosion
I am working on an alternative proof of parabolic implosion from complex dynamics, but only allowing hyperbolic perturbation.
Theorem (Parabolic Implosion) Let $f(z)=z^2+z$ and $U_f$ be parabolic ...
-3
votes
1
answer
193
views
Bounding a number-theoretic integral
Find a good upper bound on $$\int_1^T\frac{\zeta'(s)}{\zeta(s)\zeta(1-s)}X^sdt,$$ where $s=c+it$ for a constant $c>1$ and $X>0$ is a parameter. If needed, we can assume RH.
My attempt here is ...
- 107
2
votes
0
answers
70
views
Is the hypothesis "uniformly equivalent" needed?
I am reading S. Shimorin's paper titled Complete Nevanlinna-Pick property of Dirichlet-type spaces. My question concerns Lemma 2.3. which is as follows:
Assume $\mathscr{H}$ is a Hilbert space of ...
- 151
0
votes
1
answer
117
views
Nonstationary phase method for oscillatory integral
I want to approximate an integral of the form $$\int_a^bf(t)e^{ig(t)}dt,$$where $f(t)$ is smooth, $g(t)$ is real-valued and smooth.
The stationary phase method says that if $t_0\in [a,b]$ is such that ...
- 107
1
vote
1
answer
63
views
Need bound for absolute value of complex-valued special functions (Taylor coefficients of Faddeeva's w(z))
To guarantee accuracy for code [1] that computes Faddeeva's w(z) [2] using Taylor expansions around different centers, I would need upper bounds for the absolute values $|w_n(z)|$ of the coefficients
$...
- 111
1
vote
2
answers
224
views
Bounds of zeta function near $\Re(s)=1$
Richert proved in
https://link.springer.com/article/10.1007/BF01399533
that $$ \zeta(s) =O\left( |\Im(s)|^{100(1-\Re(s))^{3/2}} (\log |\Im(s)|)^{2/3}\right)$$ uniformly in the region $\Re(s)\in [1/2,1]...
- 3,062
2
votes
1
answer
213
views
How can one test whether a given analytic curve in the plane is algebraic or not?
Suppose $\Gamma$ is an analytic Jordan curve in the complex plane $\mathbb{C}$. What are ways to test whether $\Gamma$ is (contained in) an algebraic curve, i.e., whether there exists a real ...
- 2,154
3
votes
1
answer
177
views
Mellin transform at $0$
Let $f$ be a smooth complex valued function with support on $[0,2]$ and with Mellin transform $\tilde{f}$. Recall that the Mellin transform is defined as $$\tilde{f}(w)=\int_0^{\infty}f(x)x^{w-1}dx.$$ ...
user543269
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 ...
1
vote
1
answer
189
views
How to evaluate the following integral?
How to (analytically) calculate the following integral,
$$I = \int_{S_{2n-1}} \left( \langle z, \zeta \rangle \right)^a e^{ b \langle z, \zeta \rangle} \, d\sigma(\zeta),$$
where $\langle z, \zeta \...
- 501
-2
votes
0
answers
113
views
How to calculate this integral [migrated]
Is there a formula of this integral
$$\int_{S_{2n-1}} \frac{e^{i a \langle z, \zeta \rangle}}{|z - \zeta|^{2\lambda}} \, d\sigma(\zeta)$$
and how to calculate it.
Thank you in advance
- 113
20
votes
1
answer
616
views
Conjecture on the number of roots of $z^n + P(z)$ within the unit disk
Some other people and I have noticed that the following seems to be true.
Fix an integer polynomial $P \in \mathbb{Z}[x]$. Let $a_n$ be the number of roots of $z^n + P(z) = 0$ that lie in the unit ...
- 303
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_{...
- 109
0
votes
0
answers
76
views
Constant mean curvature hypersurface
Assume that $f:\mathbb{B}^2\to \mathbb{C}$ is a holomorphic function defined in the unit ball in $\mathbb{C}^2$. Let $u(z)=|f(z)|(1-|z|^2)$ and consider $\Sigma =\{z: u(z)=c\}$. It seems to me that if ...
- 37
1
vote
1
answer
133
views
Does this sequence of Blaschke Product have rescaling limit $z-1$?
Background: The conformal conjugacy class of parabolic isometry of upper half plane $\mathbb{H}$ consists of $f(z) = z+1$ and $g(z)=z-1$.
Consider surjective proper holomorphic $F_n: \mathbb{H} \...
0
votes
0
answers
57
views
Double-periodic functions with (possible) poles
Consider the set of double-periodic function $f:\mathbb C/(\mathbb Z+i \mathbb Z) \setminus \{z_0\} \to \mathbb C$, where $z_0$ is a fixed point inside $\mathbb C/(\mathbb Z+i \mathbb Z),$ that have a ...
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.
...
2
votes
0
answers
163
views
Bounds of modular functions on the Ford circles
Assume a holomorphic function from a product of two upper half planes $Z: \mathbb{H}_+\times \mathbb{H}_+\rightarrow \mathbb{C}$ with an expansion of the form
$$
Z(\tau,\tau') = \sum_{(h,h')\in S} a_{...
- 21
0
votes
0
answers
27
views
Conformal mapping which is $\alpha$-holder continuous for each $\alpha<1$
Recall that the Jordan curve $J\subset \mathbb{C}$ is called asymptotically conformal if
$$\text{$\max_{z\in J(a,b)}\frac{|a-z|+|z-b|}{|a-b|}\to 1$ as $a,b\in J, |a-b|\to 0$}$$
where $J(a,b)$ is the ...
- 207
0
votes
0
answers
66
views
Uniformization and constructive analytic continuation of Taylor-Maclaurin series
Context. In their paper, "Uniformization and Constructive Analytic Continuation of Taylor Series", Costin and Dunne present a constructive method to greatly increase the accuracy of a ...
4
votes
0
answers
160
views
An unusual uniqueness property for entire functions
For given $q\in (0,1),$ coefficients $|c_k|\leq Cq^{k^2/3},$ and non-negative non-decreasing convergent sequences $\{a_k\}_{k=0}^\infty$ and $\{b_k\}_{k=0}^\infty$ satisfying $a_k\geqslant b_k,\;k=0,...
- 783
1
vote
0
answers
113
views
Are there any known statistics on the sign of the Stieltjes Constants?
The Stieltjes Constants $\gamma_n$ arise from considering the laurent series of the Riemann Zeta function at $s=1$
$$ \zeta(s) = \frac{1}{s-1} + \sum_{n=0}^{\infty} (-1)^n \frac{\gamma_n}{n!} (s-1)^n $...
- 2,679
2
votes
0
answers
37
views
Theta series of well-rounded lattices
I've started looking into well-rounded Euclidean lattices and I was interested in learning whether their theta series have any interesting properties, but haven't found much in terms of bibliography ...
- 223
2
votes
0
answers
179
views
Analytic continuation of $\int_V (f(x_1,\cdots,x_n))^s dx_i$
Let $V$ be an $n$-dimensional simplex, let $f(\boldsymbol{x}) = f(x_1,\cdots,x_n)\in \mathbb{C}[x_1,\cdots,x_n]$ be a product of linear polynomials that is non-zero in interior of $V$. Also let $E(\...
- 528
13
votes
2
answers
799
views
For which rationals is this exponential sum bounded?
Given $x \in [0, 1]$, we denote by $e(x)$ the complex number $e^{2 \pi i x}$.
Can we characterise the set of rationals $x$ for which the sum
$$A_N(x)\, :=\, \sum_{n = 0}^N e(2^n x)$$
remains bounded ...
- 6,155
0
votes
0
answers
82
views
A far reaching generalization of the WPT?
I encountered the the Nullstellensatz for Germs of Holomorphic Functions in Daniel Huybrechts' Complex Geometry: An Introduction, specifically Proposition 1.1.29
If $I\subset \mathcal{O}_{\mathbb{C}^...
7
votes
2
answers
186
views
Non-locally connected polynomial Julia sets
What are some examples of complex polynomials whose Julia sets are connected, but not locally?
In the book Complex Dynamics by Carleson and Gamelin, I found:
They seem to reference:
But what is a ...
- 3,317
13
votes
1
answer
289
views
Descriptive complexity of analytic continuation
Consider the set of complex power series
$$
f(z)=\sum_{n=0}^\infty a_nz^n
$$ that have radius of convergence $1$ and can be analytically continued to the neighborhood of some point on the unit circle. ...
- 623
4
votes
1
answer
172
views
Is every Cantor set $C\subseteq\mathbb R^{\infty}$ the limit set of a Fuchsian group?
Is every Cantor set $C\subseteq\mathbb R^{\infty}$ the limit set of a Fuchsian group?
Let's recall the definitions. A Fuchsian group $G$ is a discrete subgroup of $\operatorname{PSL}(2,\mathbb R)=\...
- 24.2k
3
votes
1
answer
326
views
Holomorphic homotopy conjecture
Let $X$ be a smooth projective variety over the complex numbers, and let $\text{Coh}(X)$ be the category of coherent sheaves on $X$. Consider the dg-category $\text{Perf}(X)$ of perfect complexes on $...
- 31
-2
votes
1
answer
121
views
Infinite sum related to Hurwitz Zeta
I want to evaluate the following sum:
\begin{equation}
\sum_{-\infty}^{\infty}\frac{(-1)^n}{(n+a)^2}
\end{equation}
Where $a\in\mathbb{R}$ is not an integer. Such is similar to $\zeta(2,a)$, but it ...
- 125
4
votes
1
answer
214
views
Explicit expression for a function in number theory
In their paper "Moyenne de certains fonctions arithmétiques sur les entiers friables", Tenenbaum and Wu proved that for the case of the function $\beta$ which is the indicator function of ...
- 1,249
2
votes
2
answers
361
views
Size of $\zeta'(s)$ at its zeros
How large can the derivative of the Riemann zeta function be at its zeros?
More specifically, let $\rho$ be a zero of the zeta function with $\Im(\rho)\in (0,T]$. What can we say about $|\zeta'(\rho)|...
user536681
2
votes
1
answer
315
views
Where to find or how to establish a general formula for the improper integral $\int_{0}^{\infty}\frac{\sin t}{t}(\ln t)^k\operatorname{d\!} t$?
When I tried to establish the Maclaurin power series expansion of the reciprocal $\frac{1}{\Gamma(z)}$ of the Euler gamma function $\Gamma(z)$, I came across the improper integral $$
I_k=\int_{0}^{\...
- 1,091
0
votes
0
answers
65
views
Rotations and bi-analytic functions
Are the bi-analytic functions $\partial^2_{\overline{z}} f=0$
invariant under rotations?
- 41
9
votes
1
answer
391
views
A hypergeometric series for $\Gamma(1/4)^4/\pi^3$
Sorry if this comes out of the blue. Looking at old notes of mine, I found the identity
$$\dfrac{\Gamma(1/4)^4}{\pi^3}=4+\sum_{n\ge0}\binom{2n+1}{n}^3\dfrac{1}{2^{6n+1}}\;.$$
I cannot remember how I ...
- 13.1k
3
votes
1
answer
116
views
Interpretations of analytic continuations of CDFs to complex probabilities
Are there notable cases where analytic continuations of cumulative distribution functions to complex arguments have a meaningful interpretation or are otherwise useful?
If a one dimensional CDF is ...
- 7,525
2
votes
1
answer
257
views
Complex (i.e., Imaginary) Probability
I’ve been doing some numerical approximation of probability distributions. For continuous $\operatorname{PDF}$s (or $\operatorname{CDF}$s) greater smoothness can be exploited to achieve more ...
4
votes
1
answer
256
views
Asymptotics of an entire function with real zeroes on the real line
Define $ F(x) := A x^m e^{B x} \prod_{k \geqslant 1} (1 - x/\alpha_k)e^{x/\alpha_k} $ where we suppose that $ \alpha_k \in \mathbb{R} $. This function is defined on the whole complex plane and is ...
- 593
10
votes
1
answer
442
views
Analytic continuation gives a covering space (and not just a local homeomorphism)
Let $\mathcal{G}$ be the space of germs of holomorphic functions defined on open subsets of $\mathbb{C}$, topologized in the usual way. There is a natural map $p\colon \mathcal{G} \rightarrow \mathbb{...
- 111