Questions tagged [cv.complex-variables]
Complex analysis, holomorphic functions, automorphic group actions and forms, pseudoconvexity, complex geometry, analytic spaces, analytic sheaves.
3,146
questions
-2
votes
2
answers
151
views
Bounds for analytic circles
It is known that for certain particular entire functions $f(s)$ of first order, in the circle $|s| = p$, if $\epsilon$ is a positive number as small as desired, the following bound holds:
$$|f(s)| = O(...
0
votes
1
answer
378
views
Approximation of the product $(\bar{z} - a)^{-1} \cdot (z - b)^{-1}$
$\def\zbar{\smash{\overline z}\vphantom z}$I would like to construct an approximation of the product
\begin{equation}
f(z) = \frac{1}{\zbar-a} \frac{1}{z-b},
\end{equation}
where $a, b \in \mathbb{C}$,...
15
votes
0
answers
207
views
Proofs of the valence formula that avoid tricky contours?
$\DeclareMathOperator\ord{ord}\DeclareMathOperator\Im{Im}$The valence formula for a modular form asserts that if $f: \mathbf{H} \to \mathbf{C}$ is a modular form of weight $k$ on the upper half-plane $...
8
votes
1
answer
375
views
Is $\frac{1}{L(1+it)}$ unbounded?
Let $\chi$ be a Dirichlet character and $L(s, \chi)$ be the corresponding L-function. Is $$\frac{1}{L(1+it, \chi)}$$ unbounded for $t \in \mathbb{R}$? I'm aware that this is true if $L=\zeta$, but I'm ...
49
votes
4
answers
6k
views
If the Riemann Hypothesis fails, must it fail infinitely often?
That is must there either be no non-trivial zeros off the critical line or
infinitely many?
I'm sure that no one believes otherwise, but I've never seen a theorem in the
literature addressing this. ...
2
votes
1
answer
1k
views
When may function (meromorphic) be expanded as power series with coefficients of integers
Let $F$ be meromorphic function, with what properties may it be expanded as power series with coefficients of integers in such a form:
$$F=\sum_0^{\infty}a_i x^i,a_i\in \mathbb{N} \bigcup 0,\exists M \...
0
votes
0
answers
46
views
Examining the Hilbert transform of functions over the positive real line
$\DeclareMathOperator\supp{supp}$Let $H:L^{2}(\mathbb{R})\to L^{2}(\mathbb{R})$ be the Hilbert transform. Let suppose we have a compaclty supported function $f \in L^{2}(\mathbb{R})$ such that $\supp(...
7
votes
1
answer
2k
views
Current status of Bloch constant and Landau constant bounds
The Bloch constant B (based on a theorem introduced by André Bloch in 1925 on the maximum radius of a one-to-one disk in the image of a normalized analytic function of the unit disk, see for instance ...
0
votes
0
answers
15
views
Recovering the population eigenvalue distribution from the Marchenko-Pastur distribution
Question: If we know the value of $y>0$ and the Marchenko-Pastur distribution $\nu$ (and thus also $m_\nu$), can we reconstruct the distribution $H$ from equality (1) below?
Background on the ...
4
votes
0
answers
254
views
Four infinite series involving Riemann zeta function
Can you provide a proof for at least one of the claims given below?
It is known that $\pi=\displaystyle\sum_{n=1}^{\infty}\frac{3^n-1}{4^n} \cdot \zeta(n+1)$ where $\zeta$ denotes Riemann zeta ...
2
votes
2
answers
193
views
A expression for the tangent function involving $\zeta(n),n=2,3,\ldots$
A few procrastinal computations motivated by Four infinite series involving Riemann zeta function suggest the identity
$$\tan\left(\frac{\kappa-1}{\kappa+1}\frac{\pi}{2}\right)=\frac{1}{\pi}\sum_{n=1}^...
4
votes
1
answer
155
views
Restricted Perron-Bremermann envelopes
Consider an upper semicontinuous function $\phi: \Omega \to (-\infty, \infty]$, in the sense that $\phi = \phi^*$, where $\phi^*$ denotes the upper semicontinuous regularization
$$
\phi^*(z) = \...
2
votes
1
answer
2k
views
Degree of holomorphic maps between compact Riemann surfaces
Can all nonzero degree map between compact Riemann surfaces (both genus >1 ) be deformed to holomorphic maps, if we can change the conformal structures on them? The simplest case: does there exist ...
4
votes
2
answers
331
views
Nontrivial invariant transformations for heat equations
It is well known that if $u$ is a harmonic function on $\mathbb R^2$ then its Kelvin transform defined by
$$ v(r,\theta) = u(\frac{1}{r},\theta)$$
is also harmonic for $r>0$. Note that the Kelvin ...
8
votes
1
answer
258
views
A real-valued analogue of the Weierstrass $\wp$ Function
I am interested in the following function:
$$\mathcal{Q}(z) = \sum_{w \in L^*} \frac{1}{|z-w|^2} - \frac{1}{|w|^2} \, . $$
This function is analogous to the Weierstrass $\wp$ function, the only ...
0
votes
1
answer
224
views
Sufficient conditions for decomposition of a bounded random variable into several small pieces
Given a random variable $X$ with $\mathsf{supp}\, X \subseteq [0,1]$ and $n$ positive numbers $h_1,\cdots,h_n$ with $\sum_{i=1}^n h_i=1$, I want to know some sufficient conditions for decomposing $X$ ...
5
votes
1
answer
350
views
Lindelöf hypotheses for derivatives of zeta
The Lindelöf hypothesis says that if we have:
$$\zeta(\sigma+iT)=\mathcal O(T^a)$$
Then if one considers $\sigma=1/2$ then $\inf a=0$. Further, from convexity and the functional equation this implies ...
6
votes
0
answers
564
views
Generating functions in countable commutative monoids
Let $f: \mathbb{N}_0 \rightarrow \mathbb{C}$ be a function. The power series of $f$ can be viewed as the function $\mathscr{P}_f : q \mapsto \sum_{n \in \mathbb{N}_0}^{} f(n)q^n$ where $q \in \mathbb{...
1
vote
2
answers
133
views
Problem in understanding maximum principle for subharmonic functions
I am reading subharmonic functions and their properties from the book From Holomorphic Functions to Complex Manifolds by Grauert and Fritzsche. Let me first define what a subharmonic function is.
...
2
votes
1
answer
93
views
Bound for the $n$-th derivative of a proper rational function with no poles on the right half-plane
Suppose that
$f$ and $g$ are polynomials with nonnegative coefficients,
the degree of $g$ is greater than the degree of $f$,
$g + f$ have no zeros on the right half plane $\mathbb{C}_+ = \{z \in \...
1
vote
0
answers
39
views
Looking at a frequency reassignment rule as a Möbius transform
Suppose we have some Schwartz function $h$. Denote its Fourier transform $\widehat{h}$. Let $\xi_0$, $a$, $\Delta$ be positive and fixed.
I have a function $\Omega: \mathbb{R}\times \mathbb{R}^+ \to \...
2
votes
0
answers
114
views
Techniques of showing the Order
In their paper The integral of Riemann Xi Function, Lagarias and Montague show that the integral
$$\Xi_{\lambda}^{-1}(z)=2\int_0^{\infty}e^{\lambda u^2}\phi(u)\Big( \frac{\sin zu}{u}\Big)\;du$$
is ...
1
vote
1
answer
115
views
Zeroes of entire function on $\mathbb C^n$
Let $n\ge 2$ be an integer and let $f$ be an entire function on $\mathbb C^n$. Let $A$ be a subset of $\mathbb R^n$ with positive $n$-dimensional Lebesgue measure. Then if $f$ vanishes at $A$, this ...
6
votes
1
answer
208
views
Mellin-Barnes integral representation of the exponential function with a non-real argument
I have been studying a definite integral that I found out to be a particular (and possibly one of the simplest) case(s) of the arcane Mellin-Barnes integral. Solving this problem would lead to a ...
12
votes
4
answers
2k
views
Interesting results for open Riemann surfaces
As far as I know, interesting results for open Riemann surfaces are quite rare. One of them is the theorem of Gunning and Narasimhan, which asserts that every connected open Riemann surface admits a ...
5
votes
1
answer
305
views
Conjectured closed form of $\int_0^1 \frac{\text{Li}_2\left(\frac{x}{4}\right)}{4-x}\,\log\left(\frac{1+\sqrt{1-x}}{1-\sqrt{1-x}}\right)\,dx$
After reading some meta posts, I've decided to post this question on MathOverflow since I didn't receive any comments or answers on MSE
Certainly, I apologize for any oversight. Here's a more refined ...
2
votes
1
answer
392
views
Finite generation of certain graded sequences of ideals
Let $U\subset\mathbb{C}^n$ be an open set containing the origin $o$ and $Y\subset U$ a complex analytic subvariety of pure codimension $c$ with ideal sheaf $\mathcal{I}_Y$. Let $\frak{a}_{\bullet}=\{{\...
5
votes
0
answers
185
views
Reference request: Automorphisms of $\mathbb C\{x,y\}$ which preserve the equation of the cusp, $x^3 - y^2$
In my research I encountered automorphisms of the ring of convergent power series
$$\varphi: \mathbb C\{x,y\} \to \mathbb C\{x,y\},$$
which preserve $f = x^3 - y^2$, i.e. $\varphi(f) = f$. I'm ...
0
votes
1
answer
304
views
Expectation of complex random variable
I am researching frequency offset estimation and ended up reading a paper "Cramer-Rao Lower Bound on Frequency Offset Estimation Error in OFDM Systems With Timing Error Feedback Compensation"...
0
votes
1
answer
74
views
Accessible points of a simply connected domain
We know that if $U$ is an open subset of $\mathbb{\widehat C}$ (extended complex plane), a point $v\in\partial U$ is called accessible from $U$ if there exists a curve $\gamma:[0,1)\to U$ such that $\...
4
votes
1
answer
157
views
Probability of a number being a bound for roots
Consider the polynomial $p(z)=\sum_0^na_iz^k$ where $a_n=1$ and $a_k \sim N(0,1)$, $k=0,1,2,\dotsc,n-1.$
What is the probability that 2 will be a bound of the roots of the polynomial? How can we find ...
5
votes
1
answer
136
views
Upper bound for the $n$-th derivative of a rational function $\frac{f}{f+g}$
Let $f$ and $g$ be real polynomials with nonnegative coefficients. Let
$$
h = \frac{f}{f+g}.
$$
I want to prove that the $n$-th derivative of $h$ satisfies:
There exists $C > 0$ such that
$$
|h^{(...
0
votes
0
answers
135
views
“Holomorphic” bump function
I was wondering in what sense can I construct a holomorphic “bump function”? Now, of course we cannot really construct a holomorphic bump function in the usual sense, but I have a much rougher idea in ...
3
votes
0
answers
92
views
Error function of the second moment of the divisor function
It is easy to show that the second moment of the divisor function has asymptotics:
$$\sum_{n\leq x} d_0(n)^2 = xP(\log(x))+E_2(x)$$
Where $P$ is some polynomial and that:
$$E_2 = o(x)$$
Previously, ...
2
votes
1
answer
362
views
Limit of an infinite series with quadratic arguments
I have encountered a limiting process on some infinite series. So, I would like to ask:
QUESTION. Assume $n$ is an even positive integer. Is this true?
$$\lim_{r\rightarrow1^{-}}\sum_{j=1}^{\infty}\...
1
vote
0
answers
185
views
Constructing curves with large tangent space in complex variety
Suppose $M$ is a (singular) complex analytic/algebraic variety. Then for every $p\in M$ there exists a (possibly reducible) curve $C \subset U\subseteq M$ containing $p$ such that $T_pC=T_pM$, where $...
16
votes
4
answers
2k
views
Roots of $x^n-x^{n-1}-\cdots-x-1$
It is easy to see that $f(x)=x^n-x^{n-1}-\cdots-x-1$ has only one positive root $\alpha$ which lies in the interval $(1,2)$. But it is claimed that this root is a Pisot number (a.k.a. PV number), i.e.,...
23
votes
5
answers
10k
views
Example of continuous function that is analytic on the interior but cannot be analytically continued?
I am looking for an example of a function $f$ that is 1) continuous on the closed unit disk, 2) analytic in the interior and 3) cannot be extended analytically to any larger set. A concrete example ...
0
votes
1
answer
300
views
Necessary conditions for convergence of convolution
In math.SE, I've asked a question about the convergence of convolution of two functions which have bilateral Laplace transform and also have disjoint Region Of Convergence (ROC) but the question didn'...
6
votes
2
answers
306
views
Infinite sum of even Bessel functions - Identities
Recently, I came across the following identities among first-kind Bessel functions, namely
$$
2\sum_{k=1}^{\infty}(-1)^k\,k^5\,J_{2k}(x) = \frac{x^2}{4}\left[x\,J_1(x)-J_0(x)\right] \label{1}\tag{1}
$$...
0
votes
1
answer
122
views
Small phase approximation
Does anyone known how to prove that if $|\phi_k (r)| \ll 1$ for all $r$ and all $k=1,...,n\,$, the following equation
$$ S=\left|\int_0^\infty A(r)e^{-i[\phi_0(r)+\sum_{k=1}^n \phi_k(r)]} dr \right|^2 ...
1
vote
1
answer
98
views
Characterizing the unimodular functions from the closed disk $\overline{\mathbb{D}}$ to $\mathbb{C}$ with constraints
Let $\mathbb{D}$ be the open disc. It is well known that if $f:\mathbb{D}\to\mathbb{C}$ is analytic, continuous on the boundary, and is unimodular (say with a finite number of zeros) then $f$ is a ...
2
votes
1
answer
133
views
Entire function of finite order with deficient value
There are some sufficient conditions for an entire function to have a finite deficient value e.g., if the order $\rho$ of an entire function $f$ is such that $2<\rho<+\infty$ with all but ...
0
votes
2
answers
477
views
On integral relating logarithm of absolute value of Zeta function
Sorry for such a direct question:
Consider the following integral:
$$I(t)=\int_{1/2}^{1} {\log|\zeta(a+it)|}da.$$
How to find the nature of $I(t)$ as $t\rightarrow\infty$?
2
votes
0
answers
162
views
Splitting of de Rham cohomology for singular spaces
I am currently trying to wrap my head around the following splitting result by Bloom & Herrera (here is a link to the ResearchGate publication) for the de Rham cohomology of (in particular) a ...
2
votes
0
answers
134
views
Beyond Watson's lemma
Suppose $f:[0,1]\rightarrow \mathbb{C}$ is a smooth function, which I wish to approximate near $0$. Watson's Lemma implies that I can find a smooth function $a:[0,1]\rightarrow \mathbb{C}$ such that:
$...
9
votes
0
answers
1k
views
How complicated can an elementary antiderivative get?
I asked this question on MSE here.
I recently learned that there are many very large numbers that have been defined, such as $\operatorname{TREE}(3)$ and many others that are too big to be written ...
-1
votes
1
answer
159
views
Best approximation of the modulus function
While there is extensive study regarding the best approximation of function with polynomial functions in the real domain, the study of approximation of complex variables becomes much sparse. See this ...
1
vote
1
answer
92
views
Interpolation by holomorphic functions of small exponential type on a half-plane
Let $\{a_n\}_{n=1}^\infty$ be a sequence of complex numbers satisfying $|a_n|\le n^2$ and $|a_n|\to \infty$. I'm looking for a function $h(z)$ such that:
(a) $h$ is holomorphic on a half-plane $\{\Re(...
1
vote
0
answers
107
views
Looking for examples of kernels with scalar Pick property but not the complete Pick property
I am studying Pick Interpolation and Hilbert Function Spaces by Agler and McCarthy.
A kernel $k$ on a set $X$ is said to have $M_{s,t}$ Pick property whenever $x_1,x_2, \ldots , x_n \in X$ and $W_1, ...