Questions tagged [cv.complex-variables]
Complex analysis, holomorphic functions, automorphic group actions and forms, pseudoconvexity, complex geometry, analytic spaces, analytic sheaves.
3,168
questions
3
votes
1
answer
147
views
Green potential and Hölder continuity
Assume that $U$ is the unit disk and $g\in L^{3/2}(U)$. Define $$f(z) = \int_{U} \log\left|\frac{z-w}{1-z\bar w}\right|g(w)\frac{du \, dv}{\pi}, \ \ w=u+iv.$$ Is there an elementary proof of the fact ...
7
votes
1
answer
462
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 ...
1
vote
0
answers
104
views
Monomorphism/Isomorphism of $C_4$-tangent cones for complex varieties
Suppose that $(M,\mathcal{O}_M)$ is a reduced complex analytic space (or complex algebraic variety if you prefer). The tangent linear fiber space $TM$ associated to $M$ is defined as the analytic ...
3
votes
2
answers
241
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{...
2
votes
2
answers
247
views
If $\inf\{b\in\mathbb{R}\mid\sum_{n=1}^{\infty}e^{-ax_n-by_n}<+\infty\}=1-a$ for all $a\in [0,1]$, does this equality hold for all $a\in\mathbb{R}$?
Let $\left\{x_n\right\}_{n=1}^{+\infty},\left\{y_n\right\}_{n=1}^{+\infty}\subset [0,+\infty)$ be two sequences of non-negative real numbers. Suppose there exist $\lambda\ge 1, c\ge 0$ such that $\...
2
votes
0
answers
82
views
Does Kobayashi isometry map preserve complex geodesics?
Let $\gamma_1, \gamma_2$ are real geodesics in a domain $D$ and these two real geodesics are lying in the same complex geodesics, the question is, are $f\left(\gamma_1\right)$ and $f\left(\gamma_2\...
5
votes
0
answers
313
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 (...
4
votes
1
answer
137
views
Derivative of riemann map from the unit disk to a Jordan domain with non rectifiable boundary
Let $\gamma$ be Jordan curve such that for each point $p \in \gamma$, there exists a neighborhood $U$ of $p$ such that $\gamma \cap U$ is non rectifiable. Let $\phi: \mathbb{D} \to \Omega$ be a ...
6
votes
0
answers
211
views
Is the Taylor map continuous?
(Skip to the bolded theorem below for my question, if you'd like)
Some context on asymptotic expansions and the Taylor map
In the setting of irregular singularities of meromorphic connections on the ...
3
votes
0
answers
91
views
Stein manifolds admitting uniform strictly plurisubharmonic exhaustion functions
Let $(X,\omega)$ be a Kähler manifold. Call $X$ uniformly Stein with respect to $\omega$ if there exists an exhaustion map $\phi:X\to \mathbb{R}$ such that $i\partial\bar\partial \phi \ge \epsilon\...
1
vote
0
answers
64
views
Complex integration in a separable EDO for an eigenvalue problem
I'm trying to prove a result from Leon Cohen's book "Time-frequency Analysis", Chapter 18. Namely, I want to verify the solution of the eigenvalue problem $$\mathcal{C}s(t) = c s(t)$$ for ...
2
votes
1
answer
93
views
Mandelbrot boundary and component of $\infty$
Let $M$ be the Mandelbrot set, and $\partial M$ its boundary. So $\partial M$ is the set of those points $z\in M$ such that every neighborhood of $z$ contains a point of $\mathbb R^2\setminus M$.
Let $...
-1
votes
2
answers
81
views
Limits of integral series
Suppose we have the series of functions:
\begin{equation}
F(x)=\sum_{n=1}^{\infty} f_n(x)
\end{equation}
where convergence is uniform.
Additionally, consider the partial functions of the series:
\...
4
votes
3
answers
689
views
Jordan curve theorem for cylinders
Hello,
I would like to know if the following result is true:
Let $A,B$ be two embedded circles in $S^2$ which do not intersect and let $C$ be the $\textit{closed}$ region bounded by $A$ and $B$ (...
1
vote
0
answers
80
views
Finiteness of theta vanishing in the KP direction for locally planar curves
I believe the main question is Question 2 at the end, and for experts it might be completely okay to skip directly to it (assuming I'm not saying any nonsense).
My motivation comes from pure algebraic ...
49
votes
3
answers
6k
views
Is the Riemann zeta function surjective?
Is the Riemann zeta function surjective or does it miss one value?
1
vote
1
answer
210
views
Let $u$ be harmonic on domain $D\subset \mathbb R^d$, how far can we extend $u$ holomorphically?
If $u$ is harmonic then it is real analytic so then it can be extended locally holomorphically. I also know that if $u$ is harmonic on a ball in $\mathbb R^d$ we have that the radius of convergence is ...
0
votes
0
answers
64
views
Meromorphic functions converging in measure
Let $f_1, f_2, \ldots$, and $g$ be measurable complex-valued functions on the open unit disk. We say that the sequence $f_1, f_2, \ldots$ converges in measure to $g$ if, for all $\epsilon, \mu >0$, ...
0
votes
0
answers
95
views
Evaluating a matrix Pick function via its integral representation
In the proof of Theorem 3.1 of the paper Inequalities for M-matrices, Ando evaluates a matrix function (see equation boxed in orange below) via an integral representation of a Pick function (see ...
4
votes
0
answers
89
views
Elliptic integral as quantity associated with Riemann surface?
There are many elliptic integrals, so to show my point let me
just pick one of them (complete elliptic integral of the first
kind [1]):
$$K(k) = \int_{0}^{1} \frac {dx} {\sqrt{(1-x^{2})(1-k^{2}x^{2})}}...
5
votes
2
answers
526
views
$\frac{\partial f}{\partial \overline{z}}=0$ in distributional sense implies $f$ is holomorphic
Let $f=(u,v)\in \mathscr{D}'(U,\mathbb{C})$ be a distribution, where $U\subset\mathbb{C}=\mathbb{R}^2$ is an open set and $u$ and $v$ are the projection of $f$ onto the real and imaginary axis (ie $\...
4
votes
1
answer
119
views
Is there a generalisation of the Vivanti-Pringsheim theorem for several variables?
The Vivanti-Pringsheim theorem states that if $f(z)$ has a power series with non-negative coefficients and a radius of convergence $R > 0$, then it has a singularity at $R$. So to find the radius ...
209
votes
51
answers
80k
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:
...
11
votes
3
answers
952
views
"Simple" integral equation
Let $H(z)$ be a continuous solution of the problem
$$
H(z)=\frac1{1-z}\int_z^1 \frac{2\zeta}{1+\zeta} H(\zeta^2)\,d\zeta,\ \ \ z\in[0,1);\ \ \ H(1)=1.
$$
Is it true that $H(0)=1-\ln2$? The question ...
6
votes
0
answers
197
views
Obstruction to the existence of global resolution of coherent sheaf
It is well known that any coherent sheaf on a complex manifold (or more generally on some complex spaces) admits locally a resolution with locally free sheaves. It is also well known that for non-...
3
votes
0
answers
101
views
What is known about the analytic continuation of Maz'ya's modified harmonic zeta function $\sum_{n=1}^{\infty} e^{-zH_n}$?
Question:
If we let $H_n = \sum_{k=1}^{n} \frac{1}{k}$ be the harmonic numbers then we can consider the modified zeta function
$$ f(z) = \sum_{n=1}^{\infty} e^{-zH_n } = \sum_{n=1}^{\infty} e^{-z(\ln(...
2
votes
2
answers
271
views
Is a local isometry of the hyperbolic plane the restriction of a global isometry?
The origin question: Let $\Omega \subset \mathbb{H}^2$ be a domain of the hyperbolic plane $\mathbb{H}^2$. Let $u: \Omega \to \mathbb{H}^2$ be injective and an isometry from $\Omega$ to its image. ...
0
votes
1
answer
127
views
Is $\Gamma(z,1)\not=0$ for all $z$ with $\Re(z)<0$?
I found this paper online which appears to present zeros of the incomplete gamma function within the right half plane. It makes me think that there are no zeros in the left half plane. Not sure how to ...
7
votes
1
answer
245
views
Efficiently computing $\sum_k x^{k^2}$ modulo $p$
Let $p$ be prime. There is a whole host of "large" degree polynomials that can be computed efficiently modulo $p$. I was wondering if:
$$q(x) = \sum_{k=0}^{p-1} x^{k^2}$$
is a polynomial ...
3
votes
1
answer
149
views
$n$-th root of meromorphic functions of several complex variables
Let $f:\Omega\rightarrow\mathbb{C}$ be a "nice" meromorphic function of several complex variables on some domain $\Omega$. I wonder if the following claim is true.
Claim. $f$ admits a global ...
1
vote
1
answer
110
views
weakly separated sequences in RKHS are separated by Gleason metric
I am reading Agler and McCarthy's Pick Interpolation and Hilbert Function spaces. In Chapter 9, the authors ask to observe that weakly separated in a Reproducing kernel hilbert space implies separated ...
2
votes
1
answer
250
views
Irreducibility of an explicit complex projective variety
Let $Y\subset \mathbb P^n_\mathbb C$ be a subvariety defined by a series of homogeneous polynomials $f_1, \ldots, f_t$. Is there an effective way to determine the irreducibility of $Y$ as an algebraic ...
0
votes
1
answer
1k
views
1895 Math Trip problem on primitive roots of unity
How to prove that if $\theta _1,\theta _2,\theta _3$ be the arguments of the primitive roots of unity, $\sum \cos p\theta = 0$ when $p$ is a positive integer less than $\dfrac {n} {abc\ldots k}$, ...
74
votes
15
answers
17k
views
$f(f(x))=\exp(x)-1$ and other functions "just in the middle" between linear and exponential
The question is about the function $f(x)$ so that $f(f(x))=\exp (x)-1$.
The question is open ended and it was discussed quite recently in the comment thread in Aaronson's blog here http://...
2
votes
3
answers
439
views
Is the hypergeometric function ${}_1F_2(1;a,a+\frac12;-x^2)$ an elementary function? How about its positivity, monotonicity, and convexity in $x$?
Is the generalized hypergeometric function ${}_1F_2\bigl(1;a,a+\frac12;-x^2\bigr)$ for $a>-1$ and $x>0$ an elementary function?
How about the positivity, monotonicity, and convexity of the ...
6
votes
2
answers
310
views
Does there exist a framework for determining if a power series is "differentially algebraic"
It is a well studied problem to take a function $f$ expressed (usually expressed as a solution to a differential equation w/ some initial conditions) and ask if it has an "elementary closed form&...
0
votes
0
answers
104
views
A surprising result with the Riccati difference equation
I was looking at the Riccati difference equation with positive and negative indices
$$
R_n=\frac{aR_{n-1}+b}{cR_{n-1}+d}\quad n\in[0,N]\\
R_n=\frac{-dR_{n+1}+b}{cR_{n+1}-a}\quad n\in[-N,0]\\
$$
along ...
2
votes
0
answers
99
views
Quotient of integral representation of archimedean exterior square L-function
Let $\psi$ denote a non-trivial additive character of $\mathbb{R}$ and $r=2n$ be a positive even integer. Let $(\pi,V)$ denote an irreducible generic admissible Casselmann-Wallach representation of $...
1
vote
0
answers
119
views
Interpolating sequences are strongly separated
I am reading Agler and McCarthy's Pick Interpolation and Hilbert Function spaces. In Chapter 9, titled "Interpolating Sequences", the authors say that every interpolating sequence is ...
0
votes
1
answer
111
views
Sufficient conditions for ensuring that a monic polynomial in $\mathbf{Z}[x]$ possesses exclusively simple roots
I am seeking sufficient conditions to ensure that a monic polynomial, denoted as $f$ in $\mathbf{Z}[x]$, possesses exclusively simple roots.
Based on an old paper (this reference), it has been ...
2
votes
1
answer
330
views
Combinatorial meaning of a binomial expansion
Let $F$ be a generating function $F(x) = \sum_{i=0}^\infty f_i x^i$, and
suppose that we can do operations formally without worrying about
convergence issues.
Define the coefficients
\begin{gather*}
...
5
votes
1
answer
284
views
Modeling the interior and exterior of a polygonal region on the Riemann sphere using Schwarz-Christoffel mappings
I am thinking about the following. I have been involved in a research project involving static magnetic fields inside and outside a polygonal magnetic material. You ended up trying to find a couple of ...
6
votes
0
answers
141
views
Fourier transform and Hodge-$*$ operator
Suppose I have a full-rank lattice $\Lambda\subset\mathbf{C}$. Then the classical Poisson summation formula says
$$\sum_{\lambda\in\Lambda}f(\lambda)=\sum_{\lambda\in\Lambda'}\widehat{f}(\lambda)$$
...
8
votes
1
answer
511
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
votes
1
answer
378
views
Possible condition for a many variable holomorphic map to be locally surjective
Suppose $a \in \mathbb C^n$, $U$ is a neighbourhood of $a$, and $f: U \to \mathbb C^n$ is analytic. Let $b = f(a)$ and suppose also that $f^{-1}(b) = \{a\}$. Must the image of $f$ contain a ...
4
votes
1
answer
689
views
Understanding Remmert-Stein extension theorem
I'm trying to study the Remmert-Stein theorem in analytic geometry. This is an important result which can be used to prove the Proper Mapping theorem.
A preliminary result is stated in various books (...
1
vote
1
answer
464
views
Gravitational instantons metric (change variables)
I'm trying to understand the paper by Hitchin called: ''Polygons and gravitons". I'm stuck at page 471. At this point, he does some computations and obtains a metric:
$$
\gamma dz d\bar{z}+\gamma^{-...
7
votes
2
answers
915
views
Polynomials having all their zeros on the unit circle
Let $P(z)=\sum_{k=0}^na_kz^k$ be a polynomial of degree $n$ having all its zeros on the unit circle. Let $M=\max_{0\leq k\leq n}\lvert a_k\rvert$. The polynomial $P(z)=z^n+1$ has $\max_{\lvert z\...
3
votes
1
answer
291
views
Example of a morphism of complex spaces or "nice schemes" that is not cohomologically flat in any point
Suppose that $f:X\rightarrow S$ is a proper, separated morphism of complex spaces (with $S$ reduced) and $\mathcal{F}$ a is $f$-flat coherent sheaf on $X$.
From (well-)known results it is known that ...
2
votes
1
answer
100
views
A modified Paley–Wiener theorem with weaker condition
Let's consider the following argument: let $f$ be a function in $L^2(\mathbb R)$ such that $\hat f$ extends to an entire function on $\mathbb C.$ Assume that for each $t>0$ and $x \in \mathbb R$
$$
...