All Questions
Tagged with cv.complex-variables reference-request
271 questions
3
votes
2
answers
118
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,456
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
-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 ...
- 1,381
0
votes
1
answer
118
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 ...
- 840
9
votes
2
answers
8k
views
The Paley-Wiener theorem and exponential decay.
Consider a function whose Fourier transform is supported on a half-ray:
$$
A(t)=\int_0^\infty \omega(E) e^{-iEt}d E,
$$
where I can suppose $\omega(E)\geq 0$ and any suitable regularity conditions on $...
- 1,461
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
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 $...
- 471
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)|...
- 11.1k
3
votes
1
answer
178
views
Analytic continuation to the Mittag-Leffler star using Mittag-Leffler summation
This is a reference request for a theorem I thought I had read in a book by Steven Krantz, but I can no longer find it.
Searching for Mittag-Leffler star, I can find references to the following result....
- 91.8k
10
votes
2
answers
417
views
zeros on the circle of convergence
In this question some experiments were used to conjecture that the zeros of partial sums of a series converging to a function with natural boundary on the unit circle were (weakly) converging to the ...
- 4,713
1
vote
1
answer
64
views
Reference dual Dirichlet space $D^1$
Let $\mathbb{D} = \{ z \in \mathbb{C} : |z| < 1 \}$ be the unit disk. The Bergman space $A^1 = A^1(\mathbb{D})$ is the Banach space of holomorphic functions on $\mathbb{D}$ such that
$$
\|f\|_{A^1} ...
4
votes
0
answers
168
views
Explicit bounds on gaps between zeros of $\zeta^\prime(s)$
In $\S$9.1 of "Theory of the Riemann Zeta Function", Titchmarsh uses Borel-Carathéodory and Hadamard Three Circles to show that every circle of radius 6 and center $3+iT$ contains a zeros of ...
- 328
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 ...
- 1,065
212
votes
52
answers
82k
views
Ways to prove the fundamental theorem of algebra
This seems to be a favorite question everywhere, including Princeton quals. How many ways are there?
Please give a new way in each answer, and if possible give reference. I start by giving two:
...
- 118k
1
vote
1
answer
151
views
SOT and WOT convergence of Toeplitz operators
For the Hardy space $H^2$, every $\phi \in L^\infty (\mathbb T)$ induces a bounded Toeplitz operator $T_\phi$ on the Hardy space and $\lVert T_\phi \rVert = \lVert \phi \rVert _{\infty}$. Consequently,...
- 24.2k
-1
votes
1
answer
84
views
Reference Request: Continuous extension of conformal maps
currently I am trying to find some references on the continuous extension of conformal maps between two simply connected domains of the Riemann sphere $\hat{\mathbb C}$. Let $\gamma_1,\gamma_2$ be two ...
- 91.8k
5
votes
1
answer
172
views
Properties of Poisson Integral and Traces of functions in Sobolev space $W^{1,2} (\mathbb D)$
Let $W^{1,2}(\mathbb D)$ be the complex valued Sobolev space on $\mathbb D$ where $\mathbb D $ is the open unit disk of the complex plane. By definition, $W^{1,2} (\mathbb D)$ is the set of all ...
- 24.2k
3
votes
0
answers
219
views
Schwartz's theorem without English language reference
I'm reading the paper "Spectral Synthesis And The Pompeiu Problem" by Leon Brown, Bertram M. Schreiber and B. Alan Taylor,
Annales de l’Institut Fourier 23, No. 3, 125-154 (1973), MR352492, ...
- 865
3
votes
1
answer
458
views
Limit of an infinite series with quadratic arguments
I have encountered a limiting process on some infinite series. So, I would like to ask:
QUESTION. Assume $n$ is an even positive integer. Is this true?
$$\lim_{r\rightarrow1^{-}}\sum_{j=1}^{\infty}\...
- 5,624
7
votes
2
answers
788
views
Reference request for the explicit formula for $\sum_{n\leq x} \Lambda(n)n^{-s}$
Denote by $\Lambda(n)$ the von Mangoldt function, which is equal to $\log p$ if $p\geq 2$ is a prime, and $0$ otherwise. Let $\rho$ denote a complex zero of the Riemann $\zeta$-function. If I recall ...
- 105k
3
votes
1
answer
249
views
Is Toeplitz operator on the Bergman space bounded iff its symbol is bounded?
It is fairly well known that if $T_\varphi$ is a Toeplitz operator on the Hardy-Hilbert space, then $\lVert T_\varphi \rVert = \lVert \varphi \rVert _{\infty}$.
Now, if $\varphi \in L^\infty (\mathbb ...
- 151
6
votes
0
answers
200
views
Reference request: Automorphisms of $\mathbb C\{x,y\}$ which preserve the equation of the cusp, $x^3 - y^2$
In my research I encountered automorphisms of the ring of convergent power series
$$\varphi: \mathbb C\{x,y\} \to \mathbb C\{x,y\},$$
which preserve $f = x^3 - y^2$, i.e. $\varphi(f) = f$. I'm ...
- 12.9k
3
votes
0
answers
89
views
Transformation of Julia set sequence emerging from meromorphic function
I consider a sequence of meromorphic functions on the Riemann sphere $f_k:\hat{\mathbb{C}} \to \hat{\mathbb{C}}$ for $k\in\mathbb{N}$ of the form
$$f_k(z)=\sum_{j=1}^{n_k}\dfrac{1}{(z-p_j)^{c_j}}$$
...
- 91
0
votes
0
answers
109
views
Affine scheme over ring of meromorphic functions with finite poles on unit circle
I am looking into the set $S$ of meromorphic functions with a finite number of poles on the unit circle (i.e., rational functions with poles on the unit circle). I assume that any $h\in S$ has the ...
- 91
7
votes
1
answer
488
views
On a paper by Dimitrie Pompéiu and on one (in two parts) by Edmund Landau
To celebrate the new year and the future of mathematics (or the mathematics of future), I see no better way to ask a question stemming from my researches on power series.
The two papers the title ...
- 6,357
4
votes
2
answers
373
views
Abel–Plana formula with fractional offset
The Abel–Plana formula compares the sum $\sum_{n=0}^\infty f(n)$ to the integral $\int_0^\infty f(x)\,dx$,
\begin{equation}
\sum_{n=0}^{\infty}f\left(n\right)-\int_{0}^{\infty}f\left(x\right)dx=\frac{...
CommunityBot
- 1
5
votes
0
answers
321
views
Approximating $\zeta^{(r)}(s)$ by a sum
Let $\eta:[0,\infty)\to [0,\infty)$ be compactly supported, continuous and piecewise $C^1$, with its derivative $\eta'$ being of bounded variation. It is completely unsurprising that one can prove (...
- 20.1k
9
votes
1
answer
657
views
Is anything known about the power series $\sum x^p$ for $p$ prime?
I'm interested in information about the power series
$$\sum_{\text{$p$ prime}} x^p$$
and the related power series
$$\sum_{n=1}^\infty (-1)^n x^{p(n)}$$
where $p(n)$ is the nth prime.
Immediately, the ...
- 2,679
0
votes
1
answer
128
views
Rational approximation for continuous function on curve $\Gamma$
Let $\Gamma \in C^{1,\lambda}$ be an oriented Jordan curve in complex plane $\mathbb{C} $, $\mathrm{R}(\Gamma)$ the set of all rational functions without poles on $\Gamma $. "$\mathrm{R}(\Gamma)$...
- 4,034
1
vote
0
answers
127
views
an eigenvalue problem for Jacobi Forms
Assume $G(q,z)$ is a Jacobi form of a certain index k. It is known that $G$ can be expanded in a Taylor series with coefficients in the ring of quasi-modular forms (generators $E_2, E_4$ and $E_6$).
$\...
- 43.1k
4
votes
1
answer
535
views
A converse of the maximum modulus Theorem
W. Rudin in Real and Complex Analysis (262) mentioned that
Theorem Suppose $M$ is a vector space of continuous complex functions
on the closed unit disc $\bar U$, with
the following properties:
(a) $...
- 12.9k
7
votes
0
answers
218
views
Analytic continuation of Dixon's identity
Many well-known combinatorial identities has an analytic version. For example, the following identities
$$
2^n = \sum_{k=0}^n \binom{n}{k}
$$
$$
\binom{2n}{n} = \sum_{k=1}^n \binom{n}{k}^2
$$
can be ...
- 1,608
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
29
votes
2
answers
2k
views
Contractibility of the space of Jordan curves
Is the space of Jordan curves in $\textbf{R}^2$ contractible? In other words, is there a canonical or continuous way to deform each Jordan curve to the unit circle $\textbf{S}^1$.
If the curves are ...
- 7,149
2
votes
0
answers
90
views
Computing a complex integral with many poles
For an integer $k\geq 1$, let $f:\mathbb{C}^k\to\mathbb{C}$ be such that $f$ is analytic in the region $\text{Re}(u_i) > -1$ (say) for each $1\leq i \leq k$, and decays rapidly on vertical lines (i....
- 1,990
1
vote
2
answers
354
views
Reference request and clarification for Central Limit Theorem for complex random variables
I'm looking for a reference and a proof of the following version (or eventually a more general version) of the Central Limit Theorem for complex random variables.
Theorem. Let $Z_1, Z_2, \dots, Z_n$ ...
- 1,724
1
vote
0
answers
210
views
Proving that quotient of orthogonal polynomials is a Padé approximant of Stieltjes transform
This question is reposted from Math Stack Exchange (you can see the original post here). The motivation for reposting is that I feel like the question isn't getting much attention in MSE - if there is ...
- 51
6
votes
3
answers
536
views
A need for analytic continuation of a finite sum function
Let $\varphi(n):=(-1)^{n+1}(n+1)2^{2n}$.
I am able to prove the following identity (${\color{red}{\mathbf{LHS}}}$=infinite series, ${\color{blue}{\mathbf{RHS}}}$=finite sum)
\begin{align*}
{\color{red}...
- 10.5k
4
votes
0
answers
279
views
Order of growth of $\left|\frac{1}{\zeta’(\rho)}\right|$ as $\Im(\rho)\rightarrow\infty$?
Let $\zeta$ denote the Riemann zeta function, and let $\rho\in\mathbb{C}$ be a variable that takes its values among the zeros of the zeta function, so that $\zeta(\rho)=0$, and write $\rho=\sigma+it$. ...
- 63.9k
4
votes
1
answer
450
views
Riemann mapping theorem with smooth boundary
This is closely related to the question here. The setup is that $U\subset\mathbb{C}$ is an open bounded simply connected domain with $C^\infty$ boundary. If $\phi:U\rightarrow\mathbb{D}$ is a ...
- 2,154
12
votes
3
answers
784
views
Can the equation $1+z+z^2=z^n$ for natural $n$ have multiple complex roots $z$?
The question is stated in the title of this post.
It is easy to see that, if $z$ is a multiple root of $p_n(z):=1+z+z^2-z^n$, then $(n-2)z^2+(n-1)z+n=0$, so that we can successively express $z^2,\dots,...
- 128k
2
votes
3
answers
478
views
Groups of conformal isomorphisms of simply connected surfaces
By the uniformization theorem every connected and simply connected surface $M$ is conformally equivalent to one of the following three surfaces:
open disk $D$, complex plane $\mathbb{C}$, or $2$-...
- 271
3
votes
1
answer
173
views
Can we define $\partial\bar{\partial}(\log|z_1|^2)\wedge \partial\bar{\partial}(\log|z_2|^2)$ as a current?
In complex analysis, by Poincare-Lelong theorem, we have
$$
\frac{\sqrt{-1}}{\pi}\partial\bar{\partial}(\log|z|^2)=T_{z=0}
$$
as currents, where
$$
T_{z=0}(\eta)=\int_{z=0}\eta.
$$
Now suppose we have ...
- 1,447
3
votes
0
answers
226
views
On an exact expression for the squares of the distances of the critical points to a given zero of a polynomial
Let $p(z) = \prod_{j=1}^{l+1} (z - z_j)^{M_j}$ be a complex polynomial of degree $n$, where the $z_j$ are distinct for $1, \ldots, l+1$. The first $l$ entries in the list $\{z'_1, \ldots, z'_{n-1} \}$ ...
- 429
4
votes
0
answers
159
views
Correct way to extend a sequence defined on the naturals into the complex plane
Preamble
Sequences $a_n$ defined on the natural numbers are clearly not uniquely interpolated by only one function. In particular, given an interpolation $f(n) = a_n$, then $f(n) + \sin(2\pi n)$ is ...
- 1,730
14
votes
1
answer
3k
views
How is the "conformal prediction" conformal?
The question is clarified by Prof.V.Vovk. See his answer below for discussion.
Recently, early works of Gammerman, Vanpnik and Vovk[4] are rediscovered by Wasserman et.al[1] and proposed it as a ...
- 2,600
5
votes
1
answer
170
views
Analytic continuation for disjoint domains
This question is a question about nomenclature more than anything. I have shown all the math, but I don't know what to search for for similar results. In such a sense, it is more so a reference ...
- 24.2k
2
votes
0
answers
138
views
On the solutions of $_2F_1(\alpha, \beta; \gamma, z) = \Lambda$
More General Question
Let
$$F(\alpha,\beta;\gamma;z) = \sum_{n=0}^{+\infty} \frac{(\alpha)_n(\beta)_n}{(\gamma)_nn!}z^n, \quad |z| < 1, \quad (x)_n = x(x+1)...(x+n-1), \quad (x)_0 = 1$$
be the ...
- 233
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
2
votes
1
answer
304
views
Is it possible to define pseudodifferential operator $p(x,T)$ using Cauchy integral formula?
I was wondering how I can define a pseudodifferential operator using Cauchy integral formula.
Consider a differential operator $p(T)$ ($p$ is a polynomial for instance). $p(T)$ can be defined as:
$$\...
- 188k