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
1 answer
139 views

Functions with asymmetrically decreasing Fourier transform?

$\def\ii{{\rm i}}\def\bbR{\mathbb R}\def\bbC{\mathbb C}\def\bbNo{\mathbb N_0}\def\Fou{\mathscr F}$Specifically, I would like to have a compactly supported continuous function $f=u+\ii\,v:\bbR\to\bbC$ ...
4 votes
1 answer
166 views

Conditional convergence of Artin $L$-functions

Let $k$ be a number field and $V$ a non-trivial irreducible Artin representation over $k$. Consider the associated Artin $L$-function with corresponding Euler product decomposition $L(V,s)= \prod_v ...
4 votes
2 answers
150 views

Is $\frac{|t|}{e^{a|t|}-e^{-b|t|}}$ the Fourier transform of a positive function

Consider the function $$\phi_{a,b}(t)=\frac{|t|}{e^{a|t|}-e^{-b|t|}}, \ \ t\in\mathbb{R},$$ where $0<a<b$. Can $\phi_{a,b}$ be the Fourier transform of a positive function for some $a<b$?
1 vote
1 answer
51 views

Equivalent condition for the Pick matrix being positive semidefinite

On the wikipedia page of the Nevanlinna-Pick theorem the following claim appears: Let $\lambda_1,\lambda_2,f(\lambda_1),f(\lambda_2)\in\mathbb{D}$. The matrix $P_{ij}:=\frac{1-f(\lambda_i)\overline{f(\...
0 votes
1 answer
86 views

Analyzing a Dirichlet series with log-oscillating terms via Fourier methods

I am investigating the series $S(z)$ defined as follows: $$ S(z) = \sum_{n=1}^{\infty} n^{-a}\cos(b\ln(n)), $$ where $z = a + bi \in \mathbb{C}$, with $0 < a < 1$, and $b \in \mathbb{R}$. I want ...
27 votes
1 answer
1k views

About the function $\prod_{k \in \mathbb{N}}(1-\frac{x^3}{k^3})$

I'm wondering if the function $$f(x)=\prod_{k \in \mathbb{N}}\left(1-\frac{x^3}{k^3}\right)$$ has a name, or if there are any properties (especially about derivatives of $f$) have studied so far. I ...
2 votes
1 answer
79 views

On compactly supported functions with prescribed sparse coordinates

Let $\{\phi_n\}_{n=1}^{\infty}$ be an orthonormal basis for $L^2((0,1))$ consisting of Dirichlet eigenfunctions for the operator $-\partial^2_x + q(x)$ where $q \in C^{\infty}_c((0,1))$ is fixed. ...
0 votes
1 answer
95 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 $\...
-2 votes
2 answers
278 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(...
1 vote
1 answer
84 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(...
25 votes
1 answer
721 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 $...
0 votes
1 answer
385 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}$,...
8 votes
1 answer
385 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 \...
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
18 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
158 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
336 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
260 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
226 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
364 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
571 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
142 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
95 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
40 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
121 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
117 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
213 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
311 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}=\{{\...
6 votes
0 answers
189 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
306 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"...
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
139 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
139 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
365 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
187 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
3k 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
11k 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
307 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
313 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
124 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 ...

1
2 3 4 5
64