Questions tagged [cv.complex-variables]

Complex analysis, holomorphic functions, automorphic group actions and forms, pseudoconvexity, complex geometry, analytic spaces, analytic sheaves.

Filter by
Sorted by
Tagged with
-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, ...

1
2 3 4 5
63