All Questions
3,560 questions
4
votes
0
answers
227
views
Holomorphic non vanishing modular form
Let $\mathcal{O}(\mathcal{H})^\times$ be the multiplicativee group of holomorphic functions on the Poincaré half-plane $\mathcal{H}$ that do not vanish there.
Let $j(g,z)=(cz+d)$ and $gz=(az+b)/(cz+d)$...
3
votes
0
answers
167
views
Suitability of formal type theory for mathematical thinking (vs. traditional set theory)
Type theory has advantages over set theory for the (computer) formalisation of mathematics, but has anybody who does mathematics with pen and paper found proof assistants or automated theorem provers, ...
0
votes
1
answer
278
views
If there are infinite poles inside an infinite integral contour, and the sum of residues of these poles converges. Can the residue theorem hold?
The residue theorem is commonly used to calculate situations where the number of isolated singularities is limited. However, I am very curious whether the residue theorem can be extended to cases with ...
- 17
0
votes
0
answers
56
views
Validation of complex mapping area calculation
I want to know whether the following approach and computations are correct for calculating the area of image of a polynomial under a polynomial map. Here are my thoughts :
I want to to estimate the ...
- 826
7
votes
2
answers
415
views
Perturbation of zeros of an entire function of exponential type
Suppose that $(z_n) \subset \mathbb C$ is a sequence (repetitions allowed) such that
$$
F(z) = \prod_n \left ( 1-\frac{z}{z_n} \right )
$$
defines an entire function of exponential type, that is, $|F(...
- 437
2
votes
0
answers
152
views
Does the complex interpolation space $(L^1(\mathbb{R}),W^{2,1}(\mathbb{R}))_{\frac{1}{2}}$ continuously embed into $L^\infty(\mathbb{R})$?
The complex interpolation space between $(L^p(\mathbb{R}),W^{2,p}(\mathbb{R}))_\theta$ with interpolation parameter $\theta=\frac{1}{2}$ is known to be $W^{1,p}(\mathbb{R})$ for $1<p<\infty$. As ...
- 989
1
vote
1
answer
121
views
An asymptotic integral with complex phase
Suppose that $D\subset \mathbb R^2$ is the closed unit disk and that $f\in C^{\infty}(D)$. Assume that for all $\lambda \in (1,\infty)$ there holds
$$ \left|\int_D f(x^1,x^2)\, e^{\lambda (x^1+ix^2)}\,...
- 4,115
1
vote
0
answers
108
views
$H^\infty$ functions with certain $H^2$ factors
While discussing the factorization theorems and shift-cyclicity in Hardy spaces, a friend and I came across a problem that seems to be answerable but we could not get anywhere. The problem is as ...
- 63
1
vote
0
answers
79
views
Source of Proof of a theorem on Area of Pre-image under a complex polynomial
The following fascinating theorem ,attributed to Polya is mentioned in the introduction of the paper "The Areas of Polynomial Images and Pre-Images by
Edward Crane" paper link.Could ...
- 826
2
votes
0
answers
66
views
Perturbation of zeros of functions in the Cartwright class
An entire function $F$ of exponential type belongs to the Cartwright class, if
$$
\int_{\mathbb R} \frac{\max \{ \log |F(x)|,0 \}}{1+x^2} \, dx < \infty.
$$
Suppose that $F$ belongs to the ...
- 437
1
vote
0
answers
29
views
Variation of the metric on Kähler quotient
We can use Kähler quotient to produce a family of Kähler metrics on quotient space.
My question is: how do we calculate the variation of these metric?
This seems to be a natural question but I can't ...
- 93
0
votes
0
answers
38
views
Reference on multifractal complex measures?
This is a cross-post of this physicsSE post; I am also posting it here since this question lies at the boundary of both physics and math.
I am learning about multifractal formalism recently. It seems ...
- 715
3
votes
1
answer
141
views
Is inverse image along finite group quotient $t$-exact for the perverse $t$-structure?
Let $q: \mathbb{C}\to \mathbb{C}$ be the quotient by $\mathbb{Z}/n\mathbb{Z},$ i.e. the map taking $z\mapsto z^n$. In the accepter answer to Operations on perverse sheaves on disk the inverse image of ...
- 1,071
0
votes
1
answer
102
views
On weighted Fourier transforms
Suppose that $f\in L^{\infty}((0,1))$ and that there exists $c_1,c_2>0$ such that
$$ \left|\int_0^1 e^{i \xi x} e^{-|\xi|^{-1}x}f(x)\,dx \right| \leq c_1 e^{-c_2|\xi|} \quad \forall\, |\xi|>1.$$
...
- 4,115
3
votes
1
answer
107
views
Does the reproducing property of the unitary group Poisson kernel require a multiple of the identity?
The Poisson kernel of the unitary group is
$$ P(Z,U)=\frac{\det(1-ZZ^\dagger)^N}{\det(1-ZU^\dagger)^N\det(1-UZ^\dagger)^N}.$$
It has a reproducing property, $\int dU P(Z,U)f(U)=f(Z)$, where $dU$ is ...
- 2,552
1
vote
0
answers
48
views
Mellin transform of the volume form of a probability zonoid and its fundamental strip
Let $ L^n_+$ be the set of all $n$-dimensional nonnegative random vectors $\mathbf X = (X_1, X_2,\cdot\cdot\cdot,X_n)^⊤$ with finite and positive marginal expectations, and let $\mathbf Ψ^{(n)}$ be ...
- 383
3
votes
1
answer
250
views
Is Toeplitz operator on the Bergman space bounded iff its symbol is bounded?
It is fairly well known that if $T_\varphi$ is a Toeplitz operator on the Hardy-Hilbert space, then $\lVert T_\varphi \rVert = \lVert \varphi \rVert _{\infty}$.
Now, if $\varphi \in L^\infty (\mathbb ...
- 151
3
votes
1
answer
136
views
Growth of preimages of singular values of finite type entire map
Let $f\colon \mathbb{C} \to \mathbb{C}$ be an entire map having precisely two distinct singular values $w^1$ and $w^2$. If $w^i$ has infinitely many preimages under $f$, we write $(z_n^i)_{n \in \...
- 41
0
votes
1
answer
160
views
Teichmüller theory for open surfaces?
I have a rather straightforward and perhaps somewhat naive question: Is there a Teichmüller theory for open surfaces?
My motivation basically is that I would like to find out more about the "...
- 7,127
6
votes
1
answer
292
views
Analytic maps on Banach spaces: analyticity upgrade
Consider the following problem.
Let $E,F,G$ be real or complex Banach spaces, such that $F\subset G$ with continuous embedding. Let $U\subset E$ an open set and
$$ f:U\to G $$
an analytic map, such ...
- 1,075
4
votes
0
answers
821
views
One of the numbers $\zeta(5), \zeta(7), \zeta(9), \zeta(11)$ is irrational
I am reading an interesting paper One of the numbers ζ(5), ζ(7), ζ(9), ζ(11) is irrational by Zudilin. We fix odd numbers $q$ and $r$, $q\geq r+4$ and a tuple $\eta_0,\eta_1,...,\eta_q$ of positive ...
- 11
4
votes
2
answers
360
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$ ...
- 3,584
4
votes
1
answer
245
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 ...
- 21.4k
4
votes
2
answers
287
views
Teaching suggestions for Kleene fixed point theorem
I will take over two lectures from a colleague in which we discuss fixed point theory in the context of complete partial orders, and culminates in showing the Kleene fixed point theorem (see f.e. ...
- 41
4
votes
2
answers
193
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$?
- 407
-1
votes
1
answer
109
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 ...
- 375
1
vote
1
answer
71
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(\...
- 502
2
votes
1
answer
112
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. ...
- 4,115
28
votes
2
answers
1k
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 $...
- 114k
-2
votes
2
answers
322
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(...
- 27
1
vote
1
answer
116
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(...
- 424
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
5
votes
1
answer
427
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 ...
- 83
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 ...
- 181
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 \...
- 111
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 \...
- 187
6
votes
0
answers
632
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{...
- 405
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 ...
- 61
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 ...
- 16.2k
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 ...
- 224
7
votes
1
answer
521
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 ...
- 71
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 ...
- 1,286
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.
...
- 41
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^{(...
- 187
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 ...
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
1
answer
155
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 $\...
1
vote
0
answers
198
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 $...
- 513
6
votes
2
answers
604
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}
$$...