Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
Benjamin Dickman's user avatar
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 ...
T. Amdeberhan's user avatar
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}...
M.G.'s user avatar
  • 7,127
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,...
Iosif Pinelis's user avatar
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 ...
Moishe Kohan's user avatar
  • 12.2k
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 $\...
Peter Scholze's user avatar
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 $...
Lasse Rempe's user avatar
  • 6,548
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 ...
Stopple's user avatar
  • 11.1k
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$-...
mdr's user avatar
  • 565
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,...
asv's user avatar
  • 21.8k
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 ...
Squid with Black Bean Sauce's user avatar
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} \}$ ...
thomashennecke's user avatar
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 ...
user33122's user avatar
  • 125
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 ...
Mohammad Ghomi's user avatar
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 ...
Henry.L's user avatar
  • 8,071
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 ...
user avatar
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 {\...
Misha's user avatar
  • 31.2k
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 ...
Nike Dattani's user avatar
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 $...
Emilio Pisanty's user avatar
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 $\...
partition_of_unity's user avatar
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 ...
Very Forgetful Functor's user avatar
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, ...
user avatar
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 (...
Alexandre Eremenko's user avatar
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 ...
Helge's user avatar
  • 3,343
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 ...
Lorenzo Pompili's user avatar
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$ ...
aglearner's user avatar
  • 14.3k
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 ...
Manfred Weis's user avatar
  • 13.2k
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)! ...
Iosif Pinelis's user avatar
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(\...
reuns's user avatar
  • 3,403
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 ...
user avatar