Questions tagged [cv.complex-variables]
Complex analysis, holomorphic functions, automorphic group actions and forms, pseudoconvexity, complex geometry, analytic spaces, analytic sheaves.
1
vote
0answers
21 views
Modulus of image of a curve family in a rectangle
I don't expect to get a positive answer to this question but I may as well try.
Let $R$ be the rectangle in $\mathbb{C}$ given by $\{z=x+iy: 0\leq x \leq l, 0 \leq y \leq h\}$ for some $l,h>0$. ...
0
votes
1answer
58 views
meromorphic extension of dirichlet series
Suppose $\{a(n)\}_{n\ge 1}$ is a bounded complex sequence. Let $\phi(s)=\sum_{n\ge 1} \frac{a(n)}{n^s}$. Obviously, the Dirichlet series $\phi(s)$ is absolutely convergent for $\mathcal{R}(s)>1$. I ...
2
votes
1answer
112 views
Must $q$ be analytic?
I have a continuous function $q:\mathbb{R}^+ \to \mathbb{R}^+$. An interesting property of this function is that
$$F(s) = \frac{e^{-q(s)}q(s+1)}{1-e^{s-q(s)}}$$
which also takes $\mathbb{R}^+ \to \...
1
vote
0answers
47 views
Differences of $\omega$-plurisubharmonic functions
Let $X$ be a complex manifold, and $\omega$ a Kähler form on $X$.
A smooth function $\phi$ on $X$ is $\omega$-plurisubharmonic ($\omega$-psh for short) if the form $\omega+\sqrt{-1}\partial\bar{\...
4
votes
0answers
150 views
Regular functions vs holomorphic functions
Let $X$ be an affine smooth variety over the complex numbers, $X^{an}$ its associated smooth complex analytic space, and $\mathcal{O}$, resp. $\mathcal{O}^{an}$ the respective structure sheaves.
Is ...
3
votes
1answer
64 views
Existence of Laurent series with zeroes at $𝑒^2𝑛$ (𝑛∈ℕ0 ) and even faster coefficient decay
This is an extension of an earlier question of mine which corresponds to the case $A = 1$. Precisely, my question is as follows:
Given $A > 0$ fixed but arbitrary, is there a non-trivial ...
0
votes
0answers
43 views
Continuity of Complex function [closed]
enter image description here
For the second part, it is just a formula of Cauchy Integral formula, so F(x) = f(x) for all |z| <= 1, but the only thing I know is that it is continous on the circle. ...
4
votes
1answer
156 views
Zeros of derivatives of Dirichlet Eta function
Let
$$
\eta^{(d)}(z) =
\sum_{n=1}^\infty
\dfrac
{(-1)^d(-1)^{n-1}\ln(n)^d}
{n^z}
$$
be the derivative of Dirichlet Eta function of order $d$.
Does it exist any known or not known zero of $\eta^{(d)}...
0
votes
1answer
104 views
What are the holomorphic automorphism groups of unit ball, polydisc, and Hartogs domain in C^n ( n>1)? [closed]
What are the holomorphic automorphism groups of unit ball, polydisc, and Hartogs domain in $\mathbb{C}^n$ ($n>1$) ? I would be pleased if you tell me.
-4
votes
0answers
68 views
Is there any possibilities that the following partial sum of the Dirichlet eta function can be zero?
If $s_o$ is one of the non-trivial zeros of the Riemann zeta function with $0 <Re(s_o)<1$ , we know:
$$\eta(s_o ) = \left(1-2^{1-s_o}\right) \zeta(s_o)= \sum_{n=1}^\infty \frac {(-1)^{n-1}} ...
9
votes
1answer
141 views
Existence of Laurent series with zeroes at $e^{2n}$ ($n \in \Bbb{N}_0$) and extremely fast coefficient decay
I am working on a problem in harmonic analysis, which I converted into the following existence problem concerning Laurent series. I am a bit at a loss concerning this problem, since my knowledge of ...
10
votes
0answers
248 views
Riemann–Hilbert-type problem
Let $P$ be a fixed pentagon in the hyperbolic plane $\mathbb H^2$ with all the angles equal to $\pi / 3$. Let $w_1, w_2, \dots, w_5$ be the sides
of $P$ going in the counterclockwise order. We are ...
3
votes
1answer
93 views
Decay of the binomial expansion of $f^{\circ k}$
Suppose $f$ is a holomorphic function in a neighborhood of zero fixing zero. Suppose $f'(0) = \lambda$ and $0<\lambda < 1$. It's not so hard to prove that $f^{\circ k}(z) = f(f(\ldots\text{$k$ ...
3
votes
0answers
32 views
Extremal metric for image of a curve family
Let $U\subset \mathbb{C}$ be a domain and $\Gamma$ some family of curves in $U$ with $\textrm{mod}(\Gamma)<\infty$ and such that $\rho$ is an extremal metric for the modulus. Suppose we are given a ...
27
votes
2answers
1k 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 $\...
1
vote
0answers
77 views
Residue theorem with winding numbers [migrated]
In my studies, I've been uniquely using the Residue Theorem with no more than a single winding around each singularity. Actually, my professor has never mentioned winding-numbers in the Residue ...
1
vote
0answers
82 views
Fourier inversion formula for compactly supported distributions
I know that the Fourier transform of a compactly support distribution $u\in \mathscr{E}'(\mathbb{R}^{n})$ is smooth and also satisfies
$$
|\hat{u}(\xi)|\leqslant C_{N}(1+|\xi|)^N,\label{1}\tag{1}
$$
...
0
votes
0answers
83 views
A certain ratio condition for polynomials with real coefficients
Let $p:\mathbb{C} \longrightarrow \mathbb{C}$ be a polynomial with real coefficients and suppose that $p$ satisfies
\begin{equation}
\frac{p(y)}{y} \le \frac{p(x)}{x} \tag{*} \label{ratcond}
\end{...
0
votes
1answer
77 views
Generalized Lambert W Function
I am looking for inverse functions for the following family of functions:
$
\begin{aligned}
f_0(z) &= z+e^z \\
f_1(z) &= ze^z \\
f_2(z) &= z^z \\
&\cdots \\
f_{n+1}(z) &=...
5
votes
1answer
106 views
Failure of Borel-Schmid quasi-unipotency theorem in non-algebraic case
Let $\mathcal{X} \to \Delta^{\times}$ be a smooth family of compact Kähler manifolds over a punctured disc.
When this family is algebraic, the celebrated quasi-unipotency theorem (I think, due to ...
2
votes
0answers
61 views
How to compute expansion factors for hyperbolic rational maps?
It is a commonly-referenced result about certain rational maps acting on $\mathbb{\hat{C}}$ that they are expanding on a neighborhood of their Julia sets. A sufficient condition to be expanding is ...
0
votes
2answers
150 views
Dominant root of a family of polynomials
Let $f(x)=x^5-x^4-x^3-x^2-x-c$, where $c>2$ is a real number. It is easy to prove that there exists a positive real root $\alpha>2$ of $f(x)$ and all the other roots are non real.
Also, by ...
-1
votes
0answers
73 views
Proper projections
Let $D \subset \mathbb{C}^k$ be your favorite complex domain.
Suppose we are given a proper holomorphic mapping $f \colon D \to \mathbb{C}^{k+2}$.
Let us take $k+1$ generic linear functions $l_i \...
2
votes
1answer
93 views
Modulus bounded by Nevanlinna characteristic in several variables
Let $f:\mathbb{C}^n\to\mathbb{C}$ be an entire holomorphic function of $n$ complex variables. Then its Nevannlinna characteristic equals
$$
m_f(r)=\int_{\partial B(r)}\log^+|f(z)|d\eta(z),\quad\forall ...
4
votes
0answers
153 views
When is entire function bounded on a ray?
Let $f(z)=\sum_{n=1}^\infty c_n z^n$ be entire function on the complex plane. May we express the property $\int_0^\infty |f(x)|^2 /x dx<\infty$ or some other property controlling the behavior for ...
4
votes
1answer
169 views
On the roots of Bernoulli polynomials
Consider the Bernoulli polynomials denoted by $B_n(z)$. Now, start plotting the set of all (combined) complex roots $\mathcal{A}_N$ of $B_n(z)$, say for $n=1,2,\dots,N$ for some enough large $N$. It ...
0
votes
1answer
91 views
Compatible solution of PDE
Let $c=c(z, \bar z)$ be a complex function satisfying $\partial_{z} \bar c=\partial_{\bar z} c$. It follows that there exists a real function $f$ such that $\partial_{\bar z} f=-c$. Would it be ...
12
votes
1answer
653 views
Zeros of an infinite series
Let $\sum_{j=1}^{\infty}a_{j}$ be a convergent series of positive numbers and $\{z_{j}\}_{j=1}^\infty$ a closed discrete subset of the open unit disc $\mathbb{D}$. Then $h(z):=\sum_{j=1}^{\infty}\frac{...
3
votes
0answers
129 views
Chern number of projection-Topological magic in physics
I enclosed a computation from a well-known paper in the field of mathematical physics where the Chern number of the first Landau level is computed (the result claimed is $-1$) and the full paper can ...
2
votes
0answers
41 views
Entire analytic functions with entire analytic Fourier transform, and corresponding distributions
I'm interested in the Fourier transform on a space of distributions that includes more than the usual tempered distributions, and in particular allows for $\delta$-distributions supported at complex ...
4
votes
2answers
141 views
Density of Lacunary Functions
I'm curious whether lacunary functions (functions in the complex plane that are holomorphic in some open ball about the origin, but cannot be analytically extended past that ball) are typical or the ...
0
votes
1answer
64 views
Bringing a Heun equation into canonical form
It is a well known fact that any second order Fuchsian differential equation on the complex plane $$u''(x) + p(x)u'(x) + q(x)u(x)=0$$ with exactly $4$ regular singular points may be suitably ...
5
votes
3answers
192 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
1answer
131 views
Compilation of representations of holomorphic functions
Holomorphic functions are my muse. As my muse, I love drawing them different ways. Allow me to frame this as though an artist talking about his muse.
A holomorphic function $f$ on the unit disk $\...
2
votes
1answer
103 views
Extended Abel-Jacobi theorem
Let $X$ be a compact Riemann surface, $u$ a meromorphic function on $X$ with divisor supported on a set of points $\{P_1, ..., P_n\}$, and $f$ a meromorphic function on $X$ such that $f$ has no pole ...
3
votes
2answers
257 views
On finite extensions of the field of meromorphic functions
Let $\mathcal{M}$ be the field of meromorphic functions of one (complex) variable and $w = w(z)$ an analytic function satisfying a polynomial equation
$P(w; z) := w^n + a_{n-1}(z) w^{n-1} + \cdots + ...
-1
votes
1answer
207 views
On a certain representation of the Riemann zeta function
Let $\zeta$ denote the Riemann zeta function. In this answer: https://mathoverflow.net/a/314066/133634, @Paul Garret considers the representation
$$\frac{\zeta(s)}{s} = \int_1^\infty (\sum_{1 \le n \...
4
votes
0answers
74 views
LlogL and Hardy space on the upper half plane
Set $\mathbb{T}$ the unit circle, $dm$ the Lebesgue measure on $\mathbb{T}$ and $\mathbb{C}^+=\left\{z\in \mathbb{C},s.t.\,\Im(z)>0 \right\}$ the upper half plane.
It is well-known that the Cauchy ...
1
vote
1answer
553 views
An integral involving the argument of the Gamma function and the Riemann Hypothesis
Evaluate $$I=\int_{0}^{\infty} \frac{t\arg
\Gamma(\frac{1}{4}+\frac{it}{2})}{(\frac{1}{4}+t^2)^2}\mathrm{d}t$$
where $\Gamma(s)=\int_{0}^{\infty}e^{-x}x^{s-1}\mathrm{d}x.$
Note that $I$ converges ...
8
votes
1answer
226 views
Bounded holomorphic functions on a Riemann surface separating points
Let $R$ be a Riemann surface that admits a non-constant bounded holomorphic function. Then is it true that any two points of $R$ can be separated by a bounded holomorphic function? This is easy to see ...
2
votes
0answers
113 views
Prove conjugation law for Exp(z) using only Exp(x + y) = Exp(x)Exp(y) [closed]
Starting with just the property $E(x + y) = E(x)E(y)$, one can prove quite a lot of the main properties of the exponential function on real numbers. For example, $E(0) = 1$, and $E'(X) = E(X)$, and $E(...
0
votes
0answers
35 views
Steepest descent integration in several dimensions
The method of steepest descent provides an asymptotic approximation for integrals of the form:
$$I = \int_C \exp(M f(z))\mathrm dz$$
for large positive $M$, where $f(z)$ is analytic in the region of ...
5
votes
1answer
151 views
Unconditionally convergent series in some functional spaces
Linked with [this question and discussion](
Bilinear product of two summable families), I am very
interested in counterexamples/results about the following questions (cf the end).
First, I recall ...
20
votes
2answers
1k views
Complex analytic vs algebraic geometry
This is more of a philosophical or historical question, and I can be totally wrong in what I am about to write next.
It looks to me, that complex-analytic geometry has lost its relative positions ...
1
vote
1answer
172 views
Inquiry on the bound for $\int_{0}^{T} \Big|\log|\zeta(1/2 + it)| \Big| \mathrm{d}t$
Let $\zeta$ be the zeta function of Riemann. Is the bound for
$$I_{T}=\int_{0}^{T} \Big|\log|\zeta(1/2 + it)| \Big| \mathrm{d}t$$
known ?
It seems to me that $I_{T} \ll T\log T$ since $\log|\zeta(...
1
vote
0answers
70 views
Is the set of fixed points of hyperbolic elements from $\mathrm{PSL}_{2}(A)$ a group?
Given a subring $A$ of $\mathbb{R}$, we can consider the set $\mathrm{PSL}_{2}(A)$ of elements in $\mathrm{PSL}_{2}(\mathbb{R})$ with entries in $A$ and the determinant of associated matrix is equal ...
5
votes
1answer
319 views
On limits of manifolds
This question should be fairly elementary. I’d just like to check I’m not missing anything.
Let $\{M_n\}_{n\ge 0}$ be an inverse system of smooth manifolds with transition maps $f_{t,s} : M_t\to M_s$,...
4
votes
0answers
168 views
Computing Bohr Radii
The Bohr radius $R$ for $\mathcal{H}(\mathbb{D})$ is defined as $$R = \sup\limits_{0<r<1} \Bigl\{ r\ \Big|\ \sum\limits_{k=0}^{\infty}|a_k|r^k \leq |f|_\mathbb{D} \text{ for all }f(z)=\sum\...
3
votes
1answer
94 views
The extension of a plurisubharmonic Functions
I am reading the paper "Two Theorems on Extensions of Holomorphic Mappings" by Phillip A. Griffiths. Proposition 2.9 of the paper is: If $\Psi$ is a plurisubharmonic on the punctured ball $B_n^{*}$ ...
1
vote
1answer
45 views
On extensions of holomorphic mappings with image in a projective algebraic variety
I am reading the paper "Two Theorems on Extensions of Holomorphic Mappings" by PHILLIP A. GRIFFITHS. In Example 2 of the paper, there is a proposition saying that:
Let $N$ be a complex manifold, $S\...
