Questions tagged [cv.complex-variables]
Complex analysis, holomorphic functions, automorphic group actions and forms, pseudoconvexity, complex geometry, analytic spaces, analytic sheaves.
3,152
questions
2
votes
0
answers
82
views
Does the reduction of the pole order to compute the Poincare residue work?
I am trying to understand the Poincare residue and referring to On Computing Picard-Fuchs Equations, which is cited by Wikipedia's page on the Poincare residue.
On pp. 5--6, he gives a way to compute ...
3
votes
1
answer
150
views
A limit arising from Mellin Inversion: How to compute a specific term of an asymptotic series?
So I am wondering if there exists a general procedure for the following problem:
given a monotonically increasing function $f(n)$ which is nonegative on the interval $[0,\infty)$ and grows faster than ...
-1
votes
1
answer
139
views
On the bound for $\int_{x}^{x+i\infty} (\cot(\pi z)+ i)z^{-s} \, \mathrm{d}z$
I'm reading Titchmarsh's "The theory of the Riemann zeta function", and on p.81 it is claimed that
$$ \int_{x}^{x+i\infty} (\cot(\pi z)+i)z^{-s} \, \mathrm{d}z \ll \frac{x^{-\sigma}}{2(n+1)\...
3
votes
0
answers
72
views
Separate holomorphicity implies holomorphicity on analytic varieties
Suppose that $M$ and $N$ are two complex analytic varities and suppose that $f\colon M\times N \to \mathbb{C}$ is a map. Further assume that $f$ is such that for every $p\in M$ the map $f(p,\cdot)\...
0
votes
0
answers
75
views
Completeness of a normed space
We consider the set $\mathcal{PC}([-r,0],X)$
$$\mathcal{PC}([-r,0],X):=\{\varphi:[-r, 0] \rightarrow X: \varphi \text{ is continuous everywhere except
for a finite number
of points } t_* \text{ ...
3
votes
1
answer
291
views
Zeros of the derivative of $\xi$
In his paper on Zeros of derivatives of Riemann $\xi$-function on critical line Brian Conrey mention that
It can be shown that the Riemann hypothesis implies that all zeros of $\xi (s)$, the ...
1
vote
0
answers
97
views
Contour integral with two essential singularity
I'm solving problems on the Gamma random variables and there is this question where it wants me to calculate the Mellin transform of sum of two independent Gamma variables from their moment generating ...
5
votes
1
answer
323
views
Boundary zeros of a holomorphic function $f: \Omega \to \Bbb C$
My question stems from the following result about holomorphic functions on the unit disc:
"A function, continuous on the closed unit disc, holomorphic inside, and vanishing on an open subset of ...
7
votes
0
answers
210
views
Partitions, weights and polynomials with roots on the unit circle
Let us consider the set $[n]=\{1,\ldots,n\}$ and all of its partitions into exactly $m$ blocks, but let us allow each block to be internally ordered. For example, taking $n=6$ and $m=2$, we will ...
7
votes
1
answer
508
views
Help finding an analytic continuation
I am looking for the analytic continuation of
\begin{align*}
& f_m(v,w) := \sum\limits_{k,l=0}^\infty v^k w^l {k+l+m \choose k} {k+l+m \choose l} \ ,
\end{align*}
where $m \in \{1,2,...\}$ is ...
2
votes
1
answer
178
views
The sum of $q^{-2}$ over nonzero Gaussian integers
I'm reading about the Weierstrass zeta function. In this context,
$\phi(z)=\zeta(z)-\pi\bar{z}$
is periodic over the lattice
$$\mathcal{L}=\{a+bi\mid a,b\in\mathbb{Z}\}.$$
If we take $w\in\mathcal{L}\...
4
votes
0
answers
115
views
Matrix product of entire functions
Suppose I have two $d \times d$ entire matrix functions $F, G$ defined on $\mathbb{C}$ with the the property that $\|FG^*\|_{L^\infty(\mathbb{C})} < \infty$. Can anything be said about $F$ and $G$, ...
0
votes
0
answers
32
views
Resolvent estimates for Laplacians on directed graphs
Let us consider a directed and weighted graph $G$ with $N = |G|$ nodes. Denote the corresponding (weighted) adjacency matrix by $W \in \mathbb{R}^{N\times N}_{\geq 0}$ and let $D$ be the diagonal in-...
2
votes
1
answer
185
views
Local equality of functions implies global equality?
The following question arised in my research, and I was unable to settle it after playing with it for sometime. Let $\{a^k_i\}_{i\geq 1}$ (for $k\in \{1,2,3,4\}$) be four sequences of real numbers. ...
0
votes
0
answers
95
views
Asking a reference about the $p$-Laplacian of $|\nabla u|^p$
It is well-known that for a harmonic function $u$, i.e.
$$ \Delta u=0, $$
the quantity $|\nabla u|^2$ is subharmonic, i.e.
$$\Delta (|\nabla u|^2) \geq 0. $$
Reason:
$$\Delta (|\nabla u|^2)= 2 \nabla (...
7
votes
1
answer
150
views
Plane curve with continuously increasing Hausdorff dimension
In a recent paper, we required the following fact.
Proposition 1. There exists a simple closed curve $\gamma\subset\mathbb{C}$ with the following property. If $\phi$ is a biholomorphic map, defined on ...
9
votes
1
answer
1k
views
Proving the Replica Trick works
The replica trick attempts to calculate the expectation of the logarithm $X=\log(Z)$ of a random variable $Z$. The wikipedia article describes the logarithm as the limit
$$
\log(Z) = \lim_{n\to 0}\...
4
votes
1
answer
177
views
Is there a complete Kahler metric on a bounded domain?
Let $\Omega\subset\mathbb{C}^n$ be a bounded domain.
By the theorems of Cheng-Yau and Mok-Yau, $\Omega$ admits a complete Kahler-Einstein metric if and only if $\Omega$ is a pseudoconvex domain.
My ...
2
votes
2
answers
165
views
Hardy space inclusion in the right-half plane
I'm looking for an example of a function $u \in H_2$ such that $u \notin H_\infty$, where $H_p$ is the Hardy space on the right-half plane. Since this notation is perhaps not standard, here is a ...
2
votes
0
answers
63
views
Differentiable functions on analytic varieties
Let $\iota\colon X\to \Omega\subseteq \mathbb{C}^n$ be a complex analytic variety $X$ in an open subset $\Omega$ of $\mathbb{C}^n$. If $N$ is a smooth manifold and $h\colon M\to X$ is a continuous map,...
23
votes
1
answer
1k
views
Can we just use the linear term of exponential sums to sum divergent series
Suppose you want to compute the sum $\sum_{n=0}^{\infty} a_n $
You could consider the expression $f(x) = \sum_{n=0}^{\infty} e^{a_n x}$ and try to compute the coefficient of an $x^1$ term in the ...
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 ...
5
votes
1
answer
344
views
Is there a meaningful interpretation of an $L^i$-space?
Do complex-normed spaces exist? Is there an extension of $p$-norms to $p\in\Bbb C\setminus\Bbb R$?
A while ago I thought of extending $L^p$-spaces to the complex-normed setting. After some discussions,...
1
vote
1
answer
141
views
Bounds for the logarithmic derivative in the Selberg Class
Let $F \in \mathcal{S}$, where $\mathcal{S}$ is the set of $L-$functions in the Selberg Class. Are there established upper and lower bounds for $$\left|\frac{F^{'}(s)}{F(s)}\right|,$$ where $s = \...
2
votes
0
answers
212
views
Zeta function associated with a function $f$
Let the function $f(t) = \cos(at)$, where ($0 < a < 1$). Let us define
$$\zeta(z, f) = \frac{1}{\Gamma(z)} \int_0^{+\infty} \frac{t^{z-1}\cos(at)}{e^t-1}\, dt.
$$
Is there a general formula that ...
1
vote
2
answers
138
views
Location of the negative real roots of certain integer-valued polynomials
The following question on polynomials arose as a potentially helpful intermediate step on a proof of a Theorem that I want to demonstrate. Its statement is quite elementary, and I can think of a ...
1
vote
0
answers
69
views
Vanishing components of Kähler metric
Let $(X, \omega) $ be a $n$-dimensional complex Kähler manifold such that $\omega^{n-1}=d\alpha $.
Does $\partial\alpha^{n-1,n-2} =0$ (resp. $\bar\partial\alpha^{n-2,n-1} =0$)
Where $\alpha^{n-1,n-2}$ ...
4
votes
0
answers
251
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$. ...
1
vote
0
answers
139
views
Top cohomology of the canonical class of a compact non-Kähler manifold
Let $X$ be a complex compact manifold of complex dimension $n$. Let $K_X$ denote its canonical class. Is it true that the cohomology group
$$H^n(X,K_X)$$
is one dimensional?
Remark. If $X$ is Kähler ...
14
votes
1
answer
658
views
Sums of non-surjective entire functions
Suppose Suppose $A$ and $B$ are two entire, non-surjective, functions. This means
$$
A(z)=e^{f(z)}+c_1
$$
and
$$
B(z)=e^{g(z)}+c_2
$$
for some entire functions $f$ and $g$, and some complex ...
0
votes
0
answers
137
views
A mistake on a Barnes beta like integral
Consider the Barnes beta like integral: Where Re$(a)$ ,Re$(b)$ is greater than $0$ and $c$ is not a negative integer, where $|z|<1$ and $|$arg$(-z)$|$<\pi$,
$$\frac{1}{2\pi i}\int_{-i\infty}^{i\...
2
votes
3
answers
434
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 ...
2
votes
1
answer
199
views
An integral transform computation
In Erdelyi, Tables of Integral Transforms, p. 344 Section 7.2.
they note that
\begin{align}
\frac{1}{2 \pi i} \int_{c-i\infty}^{c+i\infty} s^{\nu} e^{\alpha s^2} x^{-s} \, ds
= 2^{-\nu/2} \pi^{-...
4
votes
1
answer
327
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 ...
0
votes
0
answers
37
views
lower bound on an ellipse
Is there anyway to estimate the lower bound for $Re(zP'(z)/P(z))=\sum_{k=1}^n\frac{z}{z-z_k}$ on an ellipse where $P(z)=\prod_{k=1}^n(z-z_k)$ with $z_k, 1\leq k\leq n$ lying entirely within the ...
7
votes
1
answer
285
views
When $H^{p,q}_{\bar\partial}(X)$ can be seen as a subspace of $H^k(X,\mathbb C)$?
It is known that for a $\partial\bar\partial$-manifold $X$ (a compact complex manifold satisfies the $\partial\bar\partial$-lemma), the Bott-Chern cohomology $H_{BC}^{\bullet,\bullet}:=\frac{\ker \...
2
votes
1
answer
152
views
Bounding minimal absolute value of a point on a complex algebraic variety
Given a system of complex polynomial equations in $n$ variables, giving rise to an affine variety $V \subseteq \mathbb C^n$, is there a bound $b \in \mathbb R$ such that if $V(\mathbb C) \neq \...
4
votes
0
answers
57
views
Is there a dense set of Lipschitz functions in $H^\infty(U)$, each of which maps $(1,0,\ldots,0)$ to 1, where $U$ is the unit ball in $\mathbb{C}^N$?
Let $U$ be the open unit ball in $\mathbb{C}^N$, let $A(U)$ be the algebra of functions analytic on $U$ and continuous on $\bar U$, and let $u=(1,0,\ldots,0)$. Let $\mathcal{B}=\{f\in H^\infty (U): \|...
2
votes
0
answers
163
views
Can the equation $1+z^p+z^q+z^r=z^n$ have multiple complex roots $z$?
The math overflow post asks whether the equation $1+z^p+z^q=z^n$ can have multiple complex roots where $p<q<n$ (On the irreducibility of certain trinomials and quadrinomials).
Q. Let us ...
1
vote
1
answer
101
views
Dense orbits for a rational map
Given a complex rational function $f$ and $z\in \mathbb C$, let $O^+(z)=\{f^n(z):n\geq 1\}$. Let $$D(f)=\big\{z\in \mathbb C:\overline{O^+(z)}=J(f)\big\}.$$
So $D(f)$ is the set of points whose (...
0
votes
1
answer
145
views
Residue calculation for Eulerian expansion of the cotangent
I am looking for ideas on proving the Eulerian expansion of the cotangent using residue calculation: $$\pi\cot(\pi z)=\frac{1}{z}+\sum_{n=1}^{\infty}\left(\frac{1}{z+n}+\frac{1}{z-n}\right), \ z\in\...
4
votes
1
answer
125
views
Sum of holomorphic squares?
Consider a variable $z \in \mathbb{R}^n$ and assume $u(z) \in \mathbb{R}^m$ and $H(z) \in \mathbb{R}^{m \times m}$. Further assume that $H(z)$ is symmetric positive definite for every $z$. Consider ...
2
votes
1
answer
158
views
Is this a valid method of extending convergence of the Maclaurin series for $\frac{x}{x+1}$ from $|x|<1$ to $\Re(x)>-1$?
I originally asked this question on Math StackExchange a few months ago and no answers or even comments have yet been posted, so I'm asking this question again here on Math OverFlow.
This Math ...
5
votes
1
answer
107
views
Jordan curve boundaries of Fatou components
Let $f:\mathbb C\to \mathbb C$ be a rational map and let $J(f)$ and $F(f)$ denote the Julia and Fatou sets of $f$, respectively.
Let $\mathcal S$ be the set of all boundaries of Fatou components. ...
3
votes
1
answer
187
views
Can the equation $1+z+z^q=z^n$ have multiple complex roots $z$?
It is proved here that the equation $1+z+z^2=z^n$ have no multiple complex roots.
Q. Let us consider the equation $1+z+z^q=z^n$ where $q$ and $n$ are natural numbers with $1<q<n$. Any ...
12
votes
3
answers
752
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,...
3
votes
0
answers
293
views
Demailly regularisation on singular complex spaces
Let $X$ be a compact (Hausdorff reduced) complex space. It is asserted (and used in an essential way) in a famous paper by Demailly and Păun ("Numerical characterization of the Kähler cone of a ...
2
votes
0
answers
83
views
Finding a branch cut or a branch point [closed]
Is there a way to find a branch cut or a branch point, through which a curve over a complex function goes, or in general in some region of complex function, say $\ln(f(z))$, using numerical methods or ...
1
vote
0
answers
109
views
Existence of meromorphic one-form with a fixed order pole
Let $X$ be a compact Riemann surface of genus $g$. We identify it with $4g$ polygon $\{a_i,b_i, a_i^\prime, b_i^\prime\}_{i=1}^g$. For a meromorphic 1 form $\omega$, we define
$A_i(\omega)= \int_{...
1
vote
0
answers
121
views
Asymptotic location of zeros of of a sequence of analytic functions
Assume we have a sequence of functions $f_n$ analytic in a bounded domain $\Omega \subset \{ |z|\ge 1 \}$ of the complex plane, such that the sequence
$$
g_n(z) = f_n(z) - z^n
$$
converges to an ...