Questions tagged [cv.complex-variables]
Complex analysis, holomorphic functions, automorphic group actions and forms, pseudoconvexity, complex geometry, analytic spaces, analytic sheaves.
308
questions
12
votes
2
answers
1k
views
Fourier transform of the critical line of zeta?
This was asked on MSE and got a lot of upvotes but no answers, so I'm posting it here.
Is there a known expression for the (distributional) Fourier transform of the Riemann zeta function, taken along ...
11
votes
3
answers
1k
views
Can a metric conformal to a Kahler metric be Kahler?
Let $X$ be a non-compact complex manifold of dimension at least 2 equipped with a Kahler metric $\omega$. Take a smooth positive function $f : X \to \mathbb R$, and define a new hermitian metric on $X$...
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$-...
10
votes
2
answers
1k
views
Characterize where the Dirichlet Problem for the Laplacian is always solvable
Conway's 1978 textbook Functions of One Complex Variable I gives an unsatisfying characterization of the regions for which the Dirichlet Problem can always be solved, and then comments no cleaner ...
9
votes
3
answers
789
views
An integral identity
$\newcommand\la\lambda\newcommand\w{\mathfrak w}\newcommand\R{\mathbb R}$Numerical calculations and other considerations (The min of the mean of iid exponential variables) suggest that
$$\int_\R \frac{...
8
votes
2
answers
1k
views
Higher dimensional residues in complex analysis
Consider a function $f:\mathbb{CP}^1\times\mathbb{CP}^1\to \mathbb{CP}^1 $ defined by $f([x_1,x_2],[y_1,y_2])=[x_1y_1,x_2y_2]$. This function is well defined except at $([0,1],[1,0])$ or vice versa (...
6
votes
1
answer
226
views
Fractional integrals and $\sum f(n) n^x$
Preamble
The following is a rather unrigorous way to obtain the Euler-Maclaurin formula. Consider some $\sum_{n=1}^\infty f(n)$. We may rewrite this as
$$\sum_{n=1}^\infty f(n)=\sum_{n=1}^\infty \sum_{...
6
votes
1
answer
837
views
What is the best known upper bound for $\frac{1}{\zeta'(\rho)}$ assuming the SZC but not the RH?
Let $\zeta$ denote the Riemann zeta function and let $\rho$ denote one of its complex zeros. What is the best known upper bound for $\frac{1}{\zeta'(\rho)}$ assuming that all zeros are simple (SZC), ...
4
votes
2
answers
675
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
917
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 ...
4
votes
1
answer
445
views
Off-diagonal holomorphic extension of real analytic functions on $\mathbb{C}^n \times\mathbb{C}^n$
I am struggling trying to understand an statement in a paper I am reading:
Let $M$ be a complex manifold of dimension $2n$. Let's consider a function $\xi$: $M$ $\rightarrow$ $\mathbb{C}$ whose ...
4
votes
1
answer
682
views
Connections to physics, geometry, geometric probability theory of Euler's beta integral (function)
Euler"s integral for the beta function $B(s,\alpha) = $ (with $x = 1$)
$$ \frac{(s-1)!(\alpha-1)!}{(s+\alpha-1)!} x^{s+\alpha-1} = \int_0^\infty t^{s-1}\; H(x-t) \; (x-t)^{\alpha-1} dt = \int_0^x ...
3
votes
0
answers
646
views
On properties on a certain 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 have to construct and $c$ is a constant.
The following three conditions ...
3
votes
0
answers
199
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} \}$ ...
3
votes
1
answer
378
views
Explicit form for hermitian structure $h$ with respect to $\omega$
Let $(M,\omega)$ be a symplectic manifold. and $\pi:L\to M$ be a complex line bundle , we denote $h$ as hermitian structure,i.e. if $s,s'$ are smooth sections of $L$ and if $X$ is a vector field on $M$...
3
votes
1
answer
345
views
Conformal map onto a circle, from an identification space composed of five squares
I am looking to derive a conformal map for the problem illustrated in this image. I've read a bit about how to map a square onto a circle, but I'm struggling to extend the concepts for the domain at ...
2
votes
1
answer
593
views
Half spaces free of roots of a given polynomial
I thank Loic Teyssier and Emil Jerabek who helped me to revise the two previous version
This question is motivated by the following fact in complex variable:(I learned this fact from the book of ...
2
votes
2
answers
1k
views
What is a simplified intuitive explanation of conformal invariance? [closed]
Can the concept of conformal map and conformal Invariance be explained in very general terms, preferably in high school/undergrad-level Mathematics? Abstracting away from the applications in physics (...
2
votes
2
answers
673
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 ...
1
vote
0
answers
418
views
Multivariate solution to Lambert W / product-log function
Consider solving the following system for $x$
\begin{align*}
a - b e^{\theta x} - cx = 0
\end{align*}
According to your favorite computer algebra program, one possible (and the simplest) is
\begin{...
1
vote
1
answer
723
views
meromorphic extension of a function
Let $\Lambda\in \mathbf{C}$ be a discrete subset. We assume that $\mathrm{Re}(\lambda)<0$ for all the $\lambda\in \Lambda$. For $i\in \mathbf{N}$, $\lambda\in \Lambda$, let $m_{i,\lambda}\in \...
0
votes
2
answers
1k
views
Question on Hartogs's Extension Theorem
Does Hartogs's extension theorem hold if one replaces the word holomorphic by analytic (of course still in several variables)?
For Hartogs's Extension Theorem see here:
http://en.wikipedia.org/wiki/...
127
votes
2
answers
16k
views
What are the shapes of rational functions?
I would like to understand and compute the shapes of rational functions, that is, holomorphic maps of the Riemann sphere to itself, or equivalently, ratios of two polynomials, up to Moebius ...
42
votes
4
answers
3k
views
What is the Krull dimension of the ring of holomorphic functions on a complex manifold?
Consider a connected holomorphic manifold $X$ and its ring of holomorphic functions $\mathcal O(X).$
My general question is simply: in which cases is the Krull dimension $\dim \mathcal O(X)$ known?
...
40
votes
4
answers
4k
views
Polynomials on the Unit Circle
I asked this question in math.stackexchange but I didn't have much luck. It might be more appropiate for this forum. Let $z_1,z_2,…,z_n$ be i.i.d random points on the unit circle ($|z_i|=1$) with ...
39
votes
3
answers
6k
views
On linear independence of exponentials
Problem.
Let $\{\lambda_n\}_{n\in\mathbb N}$ be a sequence of complex numbers . Let's call a family of exponential functions $\{\exp (\lambda_n s)\}_{n\in\mathbb N}$ $F$-independent (where $F$ is ...
37
votes
2
answers
2k
views
Residues in several complex variables
I am trying to educate myself about the basics of the theory of residues in several complex variables. As is usually written in the introduction in the textbooks on the topic, the situation is much ...
37
votes
2
answers
12k
views
What, exactly, has Louis de Branges proved about the Riemann Hypothesis?
I know this is a dangerous topic which could attract many cranks and nutters, but:
According to Wikipedia [and probably his own website, but I have a hard time seeing exactly what he's claiming] Louis ...
37
votes
1
answer
3k
views
Circles and rational functions
Suppose that $\gamma$ is a Jordan analytic curve on the Riemann sphere,
and there exist two rational functions $f$ and $g$ such that
$f$ maps $\gamma$ into a circle, and $g$ maps a circle into $\gamma$...
36
votes
2
answers
3k
views
Computing self-intersections with complex analysis
It is possible to find the winding number of a path $C \subset \mathbb{C}$ using complex analysis:
$$n = \oint_C\frac{dz}{z}.$$
You can also count the number of roots of $f(z) = 0$ inside a close ...
36
votes
6
answers
2k
views
When are some products of gamma functions algebraic numbers?
I want to know when certain expressions of the form
$ {\Gamma(r_1/m) \Gamma(r_2/m) \ldots \Gamma(r_j/m) \over \Gamma(s_1/m) \Gamma(s_2/m) \ldots \Gamma(s_j/m)} $
are algebraic numbers. These ...
33
votes
7
answers
5k
views
Heuristic argument for the Riemann Hypothesis
Is there a heuristic argument that supports the validity of the Riemann hypothesis or are we just relying on numerical evidence? Moreover, what is the strongest theorem that supports the validity of ...
32
votes
1
answer
1k
views
About a claim by Gromov on proper holomorphic maps
At p. 223 of his paper [G03], Mikhail Gromov makes the following claim:
Let $X$, $Y$ be two complex manifolds (not necessarily compact or Kähler) of the same dimension and having the same even Betti ...
32
votes
1
answer
2k
views
Stone-Weierstrass theorem for holomorphic functions?
The Stone-Weierstrass theorem has an analog for the algebras of smooth functions, called
Naсhbin's theorem: An involutive subalgebra $A$ in the algebra ${\mathcal C}^\infty(M)$ of smooth ...
31
votes
2
answers
906
views
Why is there no connection between fast-growing functions and complex analysis
I found myself wondering the other day whether the fast-growing functions from natural to naturals that are studied by people like proof theorists are the restriction to the naturals of analytic ...
31
votes
3
answers
2k
views
Polynomials with the same values set on the unit circle
Assume that $P(z)$, $Q(z)$ are complex polynomials such that $P(S)=Q(S)$, where $S=\{z\colon |z|=1\}$ (equality is understood in the sense of sets, but I do not know the answer even for multisets). ...
29
votes
1
answer
3k
views
Zeros of polynomials with real positive coefficients
The following problem arose in collaborative work with Subhro Ghosh:
Question: To any polynomial $P_n(z)=\sum_{i=0}^n a_i z^i =a_n \prod_{i=1}^n(z-z_i)$, attach the empirical measure of zeros
$L_n=n^{...
29
votes
3
answers
2k
views
Rational functions with a common iterate
Let $f$ and $g$ be two rational functions. To avoid trivialities, we suppose that their degrees are
at least $2$. We say that they have a common iterate if $f^m=g^n$ for some positive integers $m,n$,
...
28
votes
2
answers
2k
views
A 14th and 26th-power Dedekind eta function identity?
Given the Dedekind eta function $\eta(\tau)$. Define $m = (p-1)/2$ and a $24$th root of unity $\zeta = e^{2\pi i/24}$.
Let p be a prime of form $p = 12v+5$. Then for $n = 2,4,8,14$:
$$\sum_{k=0}^{p-...
28
votes
1
answer
1k
views
Are entire functions “essentially” determined by their maximum modulus function?
(Note: This has been asked on Math SE, but without an answer after almost two years and one offered bounty.)
For an entire function $f$ let $M(r,f)=\max_{|z|=r}|f(z)|$ be its maximum modulus function. ...
28
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 ...
27
votes
5
answers
4k
views
What is the naming reason of poles in complex analysis?
A function $f: \textbf{C} \to \textbf{C}$ has a pole of order $k$ if $f(z) = \frac{g(z)}{(z-z_0)^{k}}$ where $g(z)$ is a nonzero analytic function. Why do we call it poles?
27
votes
4
answers
3k
views
Genealogy of the Lagrange inversion theorem
A wonderful piece of classic mathematics, well-known especially to combinatorialists and to complex analysis people, and that, in my opinion, deserves more popularity even in elementary mathematics, ...
27
votes
2
answers
2k
views
A sum involving roots of unity
Let $n$ be a positive integer and $\zeta$ be a primitive $n$th root of unity. It is not hard to show that
\begin{align*}
\sum_{k=1}^{n-1}\frac{\zeta^k}{1-\zeta^k}=\frac{1-n}{2}.
\end{align*}
Since $\...
27
votes
5
answers
4k
views
Why are lacunary series so badly behaved?
Hi!
I just came across the Ostroski-Hadamard gap theorem, and while I can understand the proofs as well as the principle that the series $\sum_{n=0}^\infty z^{2^n}$ ought to have a singularity at ...
24
votes
1
answer
750
views
Decidability of equality of elementary expressions
In the following definition the term expression is to be understood as a finite tree built from formal symbols without any predefined meaning assigned to them.
Define the set $\mathcal{E}$ of ...
24
votes
12
answers
4k
views
2D problems which are easier to solve in 3D
It sometimes happens that 1D problems are easier to solve by somehow adding a dimension. For example, we convert linear differential equations for a real unknown to a complex unknown (to use complex ...
22
votes
6
answers
2k
views
Elementary solutions to f(z+1)-f(z)=g(z) in entire functions
Let g(z) be an entire function of a complex variable z. Does there exist an entire function f(z) such that f(z+1)-f(z)=g(z)? As I learned several years back, the answer to this is apparently 'yes', ...
22
votes
2
answers
2k
views
Anything special (historical?) about surface $x\cdot y\cdot z\ +\ x+y+z=0$?
QUESTION
I wanted to introduce and develop the complex logarithm from scratch. As the result I've arrived a couple of months ago at the following identity after which the road to complex logarithm is ...
21
votes
4
answers
6k
views
When I can safely assume that a function is a Laplace transform of other function?
If I have a function and I want to represent it as being the Laplace transform of another, that is, I want to be sure that there is $\hat{f}(s)$ such that my function $f(x)$ can be written as:
$$f(x) =...