All Questions
Tagged with cv.complex-variables reference-request
33 questions
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:
...
31
votes
11
answers
13k
views
Uniformization theorem for Riemann surfaces
How does one prove that every simply connected Riemann surface is conformally equivalent to the open unit disk, the complex plane, or the Riemann sphere, and these are not conformally equivalent to ...
11
votes
1
answer
1k
views
Extending an assignment property from Q to R (or C)
Property of any odd number of nonnegative integers:
Given $x_1 \leq \cdots \leq x_{2n + 1}$ with each $x_i \in \mathbb{Z}_{\geq 0}$, suppose that for any $x_i$ we remove, the remaining numbers can be ...
27
votes
3
answers
2k
views
Kasteleyn's formula for domino tilings generalized?
It seems a marvel when a bunch of irrational numbers "conspire" to become rational, even better an integer. An elementary example is $\prod_{j=1}^n4\cos^2\left(\pi j/(2n+1)\right)=1$.
Kasteleyn's ...
15
votes
1
answer
2k
views
Dirichlet series expansion of an analytic function
Let $F(s)=\sum_{n\geq 1}\frac{a_n}{n^s}$ be a Dirichlet series with (finite) abscissa of absolute convergence $\sigma_a$. It can be shown that $\forall \sigma >\sigma_a:$
$$\lim_{T\to\infty}\frac{1}...
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,...
7
votes
2
answers
1k
views
Surjective entire functions without critical points
It is easy to construct surjective locally univalent holomorphic functions $f: {\mathbb D}\to {\mathbb C}$, where ${\mathbb D}$ is the open unit disk.
I am pretty sure that the answer to the ...
21
votes
0
answers
2k
views
Cartan–Oka vanishing in one variable without $\overline{\partial}$?
This is a literature question, about possible proofs of some very basic results in complex analysis.
Some key facts about holomorphic functions are proved via reduction to smooth functions, using $\...
20
votes
2
answers
1k
views
Belyi functions on non-compact surfaces; or: Building Riemann surfaces from equilateral triangles
Some background on (compact) Belyi surfaces
$\newcommand{\Ch}{\hat{\mathbb{C}}}$
A compact Riemann surface $X$ is called a Belyi surface if there exists a branched covering map $f:X\to \Ch$ such that $...
15
votes
5
answers
2k
views
Zeros of the derivative of Riemann's $\xi$-function
The Riemann xi function $\xi(s)$ is defined as
$$
\xi(s)=\frac12 s(s-1)\pi^{-s/2}\Gamma(s/2)\zeta(s).
$$
It is an entire function whose zeros are precisely those of $\zeta(s)$.
Since $\xi$ is real ...
10
votes
3
answers
2k
views
Origin of term Ahlfors-David regular
Much of the literature on analysis in metric spaces makes use of an assumption called Ahlfors regularity or Ahlfors-David regularity. Let $q>0$. A metric space $(X,d)$ is Ahlfors(-David) $q$-...
4
votes
2
answers
700
views
Basic questions on the Hilbert scheme/ Douady space
Let $X$ be a complex projective scheme (resp. complex analytic space). The Hilbert scheme (resp. Douady space) parameterizes closed subschemes (resp. complex analytic subspaces) of $X$. More precisely,...
4
votes
2
answers
984
views
Reference request: Oldest complex analysis books with (unsolved) exercises?
Per the title, what are some of the oldest complex analysis books out there with (unsolved) exercises? Maybe there are some hidden gems from before the 20th century out there. I am aware of the ...
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} \}$ ...
2
votes
2
answers
859
views
$ 2|f^{'}(0)| = \sup_{z, w \in D} |f(z)-f(w)|$ if and only if $f$ is linear
I know the following is a well-known result.
Let $D = B(0,1) \subset \mathbb{C} $ a disc, $f$ holomorphic on $D$. Show that $$ 2|f^{'}(0)| \le \sup_{z, w \in D} |f(z)-f(w)|$$
Furthermore, there is ...
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 ...
21
votes
5
answers
7k
views
References for complex analytic geometry?
I'm looking for references on the "algebraic geometry" side of complex analytis, i.e. on complex spaces, morphisms of those spaces, coherent sheaves, flat morphisms, direct image sheaves etc....
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 ...
13
votes
2
answers
1k
views
Is the exponential function the sole solution to these equations?
Let us take the exponential function $\lambda^z$ where $0 < \lambda < 1$. There are many great uniqueness conditions this holomorphic function satisfies. For example, it is the only function ...
10
votes
2
answers
538
views
Is there an analogue of Mostow-Palais equivariant embedding theorem for noncompact groups
Let $M$ be a (Hausdorff) smooth compact manifold and $G$ a Lie group acting smoothly on $M$. If $G$ is compact then, by Mostow-Palais theorem, there exists an equivariant smooth embedding $M\to {\...
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 ...
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 $...
8
votes
3
answers
2k
views
Harmonic level sets and boundary data
This is probably a classic problem, so a good reference book or paper to get me started on this type of question would be great:
Let $\mathbb{D} \subset \mathbb{C}$ be the unit disk with boundary $\...
8
votes
2
answers
495
views
Literature on non-Archimedean analogues of basic complex analysis results
It looks like there is some literature out there on what might be called 'non-Archimedean complex analysis' e.g. Benedetto - An Ahlfors Islands Theorem for non-archimedean meromorphic functions and ...
7
votes
1
answer
248
views
Are there such things as non-trivial entire semigroups?
I'll state the theorem I am posing up front, and then explain why I think this theorem appears to be true. I am asking if anyone can prove it, or knows references to where it is proved. Please, ...
7
votes
2
answers
590
views
Dependence of a solution of a linear ODE on parameter
Is the following theorem known, or can be easily derived from known results?
Consider the differential equation
$$w''-kz^{-1}w'=(\lambda+\phi(z))w,$$
where $k>0$ is fixed, $\lambda$ is a large (...
6
votes
1
answer
2k
views
Approximation by analytic functions
Dear all.
Let
$$
f(x) = \sum_{k \in \mathbb{Z}} \hat{f}(k) \exp(2\pi \mathrm{i} kx)
$$
be a function given by usual fourier series.
Since my original question hasn't got any answer yet, and I ...
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 ...
4
votes
1
answer
150
views
Linearisation of complex $S^1$ actions at fixed points
Let $(U,x)$ be an open complex $n$-manifold (say an $n$-ball) with an action of $S^1$ by holomorphic transformations that fix $x$. How to prove that there is a neighbourhood $U_1\subset U$ of $x$ ...
2
votes
1
answer
277
views
Length-preserving Analogue of Riemann's Mapping Theorem
The Riemann mapping theorem (cf e.g. http://en.wikipedia.org/wiki/Riemann_mapping_theorem) essentially guarantees the existence of a biholomorphic mapping of a simply connected, open subset of the ...
2
votes
1
answer
177
views
Another combinatorial identity
Is it true that
$$\sum_{r=0}^p \sum_{i=0}^r a_{n,p,r,i}=0$$
for all natural $n$ and all natural $p\ge2n$, where
$$a_{n,p,r,i}:=\frac{(-1)^r (n+p-r-1)! (n p-i (r-i))}{i!(r-i)! (n-i)!
(p-r+i)! (n-r+i)! ...
2
votes
3
answers
515
views
Asymptotic number of zeros for Dirichlet series with functional equation
I think the usual proof for the asymptotic number of zeros of the Riemann zeta function
$$N(T) = \#\left\{\rho : \ \zeta(\rho)=0, \begin{array}{l}\scriptstyle Im(\rho)\ \in\ [0,T]\\ \scriptstyle Re(\...
2
votes
1
answer
230
views
Entire composite square roots of functions of finite order
A composite square root of a function $g$ is a function $f$ such that $f(f(z)) = g(z)$. Not surprisingly, for arbitrary $g$ a function like this is hard to find. Specifically I am looking at functions ...