All Questions
3,560 questions
1
vote
0
answers
25
views
Functions of bounded boundary rotation on the upper-half plane
It is a fact that there is a one to one correspondence between the space $M(k)$ of finite, signed Borel measures on $\mathbb{S}^1$ with total mass equal to $2$ and total variation equal to some $2 \...
- 111
7
votes
1
answer
488
views
On a paper by Dimitrie Pompéiu and on one (in two parts) by Edmund Landau
To celebrate the new year and the future of mathematics (or the mathematics of future), I see no better way to ask a question stemming from my researches on power series.
The two papers the title ...
- 6,367
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
2
votes
0
answers
116
views
Construction of an analytic function whose Fourier transformation has compact support [closed]
Is there a non-constant real analytic function $f$ on $\mathbb{R^2}$ satisfying the following properties?
$f$ vanishes on $x$-axis and $y$-axis;
the Fourier transformation $\hat{f}$ of $f$ has a ...
- 67
52
votes
3
answers
6k
views
Is the Riemann zeta function surjective?
Is the Riemann zeta function surjective or does it miss one value?
- 2,375
9
votes
2
answers
1k
views
On the error term of the Riemann explicit formula
Let: $\rho$ be a non-trivial zero of the Riemann zeta function, $\Lambda$ be the von-Mangoldt function and $\psi(x) =\sum_{n \leq x} \Lambda(n)$. What is the best known upper bound for
$$f(x, T) := \...
- 1,019
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
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
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
18
votes
2
answers
2k
views
Is this entire function a square?
Let $f$ be the entire function on $\mathbb C$ defined by
$$
f(z)=\frac{z-\sin z}{z}.
\tag{1}\label{1}$$
It is easy to see that $f$ is positive on $\mathbb R^*$ and has a zero of order 2 at 0.
Does ...
- 16.2k
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
7
votes
2
answers
1k
views
Polynomials having all their zeros on the unit circle
Let $P(z)=\sum_{k=0}^na_kz^k$ be a polynomial of degree $n$ having all its zeros on the unit circle. Let $M=\max_{0\leq k\leq n}\lvert a_k\rvert$. The polynomial $P(z)=z^n+1$ has $\max_{\lvert z\...
- 559
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
-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 ...
- 317
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 ...
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
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
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
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
2
votes
4
answers
742
views
Is the hypergeometric function ${}_1F_2(1;a,a+\frac12;-x^2)$ an elementary function? How about its positivity, monotonicity, and convexity in $x$?
Is the generalized hypergeometric function ${}_1F_2\bigl(1;a,a+\frac12;-x^2\bigr)$ for $a>-1$ and $x>0$ an elementary function?
How about the positivity, monotonicity, and convexity of the ...
- 1,101
84
votes
12
answers
21k
views
Is Euclid dead?
Apparently Euclid died about 2,300 years ago (actually 2,288 to be more precise), but the title of the question refers to the rallying cry of Dieudonné, "A bas Euclide! Mort aux triangles!" (...
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
30
votes
1
answer
846
views
A holomorphic function sending integers (and only integers) to $\{0,1,2,3\}$
Does there exist a function $f$, holomorphic on the whole complex plane $\mathbb{C}$, such that $f\left(\mathbb{Z}\right)=\{0,1,2,3\}$ and
$\forall z\in\mathbb{C}\ (f(z)\in\{0,1,2,3\}\Rightarrow z\in\...
- 413
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 ...
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'...
- 61
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
35
votes
7
answers
6k
views
Heuristic argument for the Riemann Hypothesis
Is there a heuristic argument that supports the validity of the Riemann hypothesis or are we just relying on numerical evidence? Moreover, what is the strongest theorem that supports the validity of ...
- 3,699
1
vote
0
answers
133
views
Fundamental set for families of abelian varieties
I'm considering the universal family of principally polarized g-dimensional abelian varieties with level N-structure. Let's briefly recall the usual construction as a quotient of $\mathbb{C}^g \times \...
- 73
35
votes
5
answers
3k
views
Looking for some interesting complex integration contours
I am currently working on some tools to make contour integration in a proof assistant less painful and I'm looking for interesting examples of contours in the complex plane used in the literature. I ...
- 1,241
4
votes
2
answers
374
views
Abel–Plana formula with fractional offset
The Abel–Plana formula compares the sum $\sum_{n=0}^\infty f(n)$ to the integral $\int_0^\infty f(x)\,dx$,
\begin{equation}
\sum_{n=0}^{\infty}f\left(n\right)-\int_{0}^{\infty}f\left(x\right)dx=\frac{...
- 188k
46
votes
3
answers
5k
views
Putnam 2020 inequality for complex numbers in the unit circle
The following simple-looking inequality for complex numbers in the unit disk generalizes Problem B5 on the Putnam contest 2020:
Theorem 1. Let $z_1, z_2, \ldots, z_n$ be $n$ complex numbers such that ...
- 33.8k
44
votes
10
answers
11k
views
What kid-friendly math riddles are too often spoiled for mathematicians?
Some math riddles tend to be spoiled for mathematicians before they get a chance to solve them. Three examples:
What is $1+2+\cdots+100$?
Is it possible to tile a mutilated chess board with dominoes?...
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
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
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 ...
- 167
18
votes
2
answers
1k
views
Proving algebraicity of compact Riemann surfaces without Chow's theorem
I am trying to write a report for a complex analysis class where I prove Riemann-Roch and apply it to prove algebraicity of compact Riemann surfaces. While writing this, I found that Riemann-Roch ...
- 283
2
votes
3
answers
264
views
Control of values of an entire function in a strip around the real line
Consider an entire function $f: \mathbb C \to \mathbb C$ such that $f|_{\mathbb R}(x)\to 0$ as $x \in \mathbb R \to \pm\infty.$ Does that imply that for each $T>0,$ we have $f(x+iy) \to 0$ as $x\to ...
- 1,755
25
votes
2
answers
3k
views
What is the origin/history of the following very short definition of the Lebesgue integral?
Typical courses on real integration spend a lot of time defining the Lebesgue measure and then spend another lot of time defining the integral with respect to a measure. This is sometimes criticized ...
- 32.5k
2
votes
2
answers
268
views
If $\inf\{b\in\mathbb{R}\mid\sum_{n=1}^{\infty}e^{-ax_n-by_n}<+\infty\}=1-a$ for all $a\in [0,1]$, does this equality hold for all $a\in\mathbb{R}$?
Let $\left\{x_n\right\}_{n=1}^{+\infty},\left\{y_n\right\}_{n=1}^{+\infty}\subset [0,+\infty)$ be two sequences of non-negative real numbers. Suppose there exist $\lambda\ge 1, c\ge 0$ such that $\...
- 605
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
5
votes
1
answer
315
views
Modeling the interior and exterior of a polygonal region on the Riemann sphere using Schwarz-Christoffel mappings
I am thinking about the following. I have been involved in a research project involving static magnetic fields inside and outside a polygonal magnetic material. You ended up trying to find a couple of ...
- 5,215
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 $...
- 513
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
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
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$ ...
- 97
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
5
votes
1
answer
180
views
Is there a generalisation of the Vivanti-Pringsheim theorem for several variables?
The Vivanti-Pringsheim theorem states that if $f(z)$ has a power series with non-negative coefficients and a radius of convergence $R > 0$, then it has a singularity at $R$. So to find the radius ...
- 887
20
votes
4
answers
2k
views
PDF readers for presenting Math online
In the current situation it seems especially important to be able to present your mathematical results online in a way that your audience does not fall asleep in front of their screens. But I am ...
10
votes
1
answer
1k
views
Proving the Replica Trick works
The replica trick attempts to calculate the expectation of the logarithm $X=\log(Z)$ of a random variable $Z$. The wikipedia article describes the logarithm as the limit
$$
\log(Z) = \lim_{n\to 0}\...
- 385
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 ...
- 637