All Questions
3,560 questions
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 ...
- 63.9k
4
votes
0
answers
268
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 ...
- 105k
2
votes
2
answers
215
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}^...
- 105k
97
votes
19
answers
38k
views
Collecting proofs that finite multiplicative subgroups of fields are cyclic
I teach elementary number theory and discrete mathematics to students who come with no abstract algebra. I have found proving the key theorem that finite multiplicative subgroups of fields are cyclic ...
- 42k
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 ...
- 1,446
4
votes
2
answers
364
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 ...
- 4,115
8
votes
1
answer
278
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 ...
- 1,996
5
votes
1
answer
428
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 ...
- 105k
1
vote
2
answers
258
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.
...
- 151
2
votes
1
answer
116
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 \...
- 91.8k
1
vote
0
answers
43
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 \...
- 12.9k
2
votes
0
answers
133
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 ...
- 147
1
vote
1
answer
129
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 ...
- 2,071
2
votes
1
answer
628
views
Does some published texbook take a particular approach (described here) to the transition from discrete to continuous probability distributions?
(I posted this question at matheducators.stackexchange.com and it seems to be considered an inappropriate question for that site. I don't understand why.)
Imagine an introductory probability course ...
- 188k
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 ...
- 91.8k
6
votes
1
answer
407
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 ...
- 105k
6
votes
0
answers
200
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 ...
- 12.9k
24
votes
7
answers
4k
views
Why are two notions of Gaussian curvature are the same - what is the simplest & most didactic proof?
This question is still wide open - all of the answers so far rely on magical calculations. I've only accepted an answer because, by bounty rules, otherwise one would be accepted automatically. I can't ...
- 45k
5
votes
1
answer
167
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^{(...
- 105k
0
votes
0
answers
201
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 ...
- 502
3
votes
0
answers
105
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, ...
- 83
1
vote
0
answers
199
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 $...
CommunityBot
- 1
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.,...
- 105k
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 ...
- 1,446
0
votes
1
answer
419
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'...
- 39.1k
6
votes
2
answers
606
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}
$$...
- 128k
0
votes
1
answer
128
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 ...
- 188k
1
vote
1
answer
106
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 ...
- 91.8k
2
votes
1
answer
148
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 ...
2
votes
0
answers
186
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 ...
- 513
2
votes
0
answers
150
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:
$...
- 263
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 ...
- 541
-1
votes
1
answer
215
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 ...
- 2,213
1
vote
1
answer
110
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(...
- 91.8k
1
vote
0
answers
115
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, ...
- 151
8
votes
1
answer
1k
views
The inverse of the digamma function
The gamma function is increases on the interval $(x_0, \infty),$ where $x_0$ denotes the unique zero of the digamma function on the positive half line.
The inverse function of gamma function defined ...
- 1,440
2
votes
0
answers
146
views
The Hausdorff measure of intersection of annulus and conformal curve
Recently I came across a problem in my research. Let $g:[0,1]\to\mathbb{C}$ be a restriction of a conformal map that is defined in a simply connected domain $\Omega\subseteq\mathbb{C}$ that include $[...
- 5,048
1
vote
1
answer
105
views
Perturbing pole of Laurent polynomial/series in a single summand
I am working with the ring of Laurent polynomials $\mathbb{F}[X,X^{-1}]$ over $\mathbb{F}$ for some algebraically closed field $\mathbb{F}$ of any characteristic. I encountered a problem emerging from ...
- 21.6k
3
votes
0
answers
89
views
Let $f: X \to D$ be a proper holomorphic submersion. Does a holomorphic form on $X$, closed on each fiber of $f$, have holomorphic coefficients?
Let $D$ be the unit disc in $\mathbb{C}^n$ and let $f: X \to D$ be a proper surjective holomorphic submersion, which is trivial as a smooth fiber bundle, with connected fiber $F$. We get an induced ...
- 658
0
votes
0
answers
121
views
Is any singularity a subgerm of $(\mathbb{C}^n, 0)$?
I am studying singularity theory. I have often come across, in the literature, the sentence which says "let $(X,0) \subset (\mathbb{C}^n,0)$ be a singularity". Here a singularity is a ...
- 369
3
votes
2
answers
646
views
Upper bound for complex integral
I am interested in obtaining a good upper bound for the absolute value of the following integral
$$
\left| \int_{0}^{\pi/3} e^{-itn} \left( 1-e^{it} \right)^{k} dt \right|,
$$
when $n>k>0$ are ...
- 1,440
-3
votes
2
answers
318
views
When is $\Re(\zeta(s)) - \Im(\zeta(s)) = 0 $ with $\Re(\zeta(s))\neq 0$ and $\Im(\zeta(s))\neq 0$? [closed]
When is $\Re(\zeta(s)) - \Im(\zeta(s)) = 0 $ for $0<\Re(s)<1$. Here $\zeta$ denotes the Reimann zeta function. Does the solution live on a vertical line? Or is this another coincidence when both ...
- 1,126
1
vote
1
answer
152
views
Carleman's Liouville theorem for entire functions bounded along every ray
There is a long history on constructing entire functions bounded along every direction. For example, we refer to Burckel's math review on Newman (Amer. Math. Monthly 1976 MR0387593) or this ...
- 91.8k
3
votes
1
answer
119
views
The number of components of the preimage of a continuum for a polynomial
Given a polynomial f with degree d, we can define a dynamical system $(\mathbb{C}, f)$. If we have a proper continuum $N \subset \mathbb{C}$, it is known that the set $f^{-1}(N)$ has at most $d$ ...
- 91.8k
2
votes
2
answers
178
views
Roots of modified polynomials
Consider the following two polynomials:
$$
g=x^3 - x^2 - (c + 2)x + c
$$
and
$$
h=x^3 - x^2 - cx + c
$$
The roots of $h$ are $1$ and $\pm \sqrt{c}$. I am interested in obtaining the roots of $g$, ...
- 1,440
0
votes
0
answers
94
views
The asymptotic behaviour of the Fourier transform of a certain class of radially symmetric functions
Fix $\theta\in (-\pi/2,\pi/2)$ and let $a>0$. Suppose that $f:\mathbb{C}\rightarrow \mathbb{C}$ is analytic in $S:=\{z\in \mathbb{C}: |\arg{z}|<\pi/2\}$ and
$$|f(z)|\sim |z|^{-a},\qquad |z|\to \...
- 63.9k
3
votes
0
answers
89
views
Transformation of Julia set sequence emerging from meromorphic function
I consider a sequence of meromorphic functions on the Riemann sphere $f_k:\hat{\mathbb{C}} \to \hat{\mathbb{C}}$ for $k\in\mathbb{N}$ of the form
$$f_k(z)=\sum_{j=1}^{n_k}\dfrac{1}{(z-p_j)^{c_j}}$$
...
- 91
0
votes
1
answer
65
views
Recovering coefficients from certain parametric complex maps
Consider the parametric complex map $f_{A,B,v}: \ \mathbb{C}^n \rightarrow \mathbb{C}$ defined as:
$$
f_{A,B,v}(x) = Ax\cdot Bx \ |v \cdot x|^2,
$$
where $A,B$ are $n \times n$ complex matrices, $v \...
- 128k
93
votes
20
answers
10k
views
Short papers for undergraduate course on reading scholarly math
(I know this is perhaps only tangentially related to mathematics research, but I'm hoping it is worthy of consideration as a community wiki question.)
Today, I was reminded of the existence of this ...
- 3,068
3
votes
1
answer
712
views
Analytic continuation over boundaries
In D.J Newman's paper
A simple analytic proof of the prime number theorem
there is the following theorem:
Suppose $|a_n|<1$ and form the Dirichlet series $F(s)=\sum_{n=1}^{\infty}\frac{a_n}{n^s}$ ...
- 50.6k