All Questions
3,560 questions
2
votes
1
answer
99
views
A question on Bloch functions
Let $\mathcal{B}(\Delta)$ be the space of Bloch functions in the unit disk $\Delta$. For any $f\in \mathcal{B}(\Delta)$, we define the Bloch norm by
$$
\|f\|_{\mathcal{B}}=\sup_{|z|<1}|f'(z)|(1-|z|^...
- 1,706
6
votes
1
answer
247
views
Convergence and meromorphic continuation of a Dirichlet series under RH
Consider a Dirichlet series $F(s) = \sum_{n\geq1} \frac{a_{n}}{n^{s}}$ such that $a_{n} = O(1)$. Suppose the Dirichlet series
$$\zeta(s)F(s)=\sum_{n\geq1} \frac{(a\star1)(n)}{n^{s}}$$
converges ...
- 611
16
votes
2
answers
1k
views
New series for $\pi$ from string theory
This is a direct followup to the post Possible new series for $\pi$ by Timothy Chow
and its numerous answers and comments.
Using another formula in the same string theory paper by Saha and Sinha one ...
- 13.1k
0
votes
0
answers
60
views
On an oscillatory property of the Riemann Xi-function
In their paper "The Integral of the Riemann Xi-Function", Lagarias and Montague mention Wintner's 1947 proof that
$$
\Xi^{(-1)}(t) > 0 \quad \text{when} \quad t > 0.
$$
This result ...
- 61
5
votes
1
answer
173
views
Properties of Poisson Integral and Traces of functions in Sobolev space $W^{1,2} (\mathbb D)$
Let $W^{1,2}(\mathbb D)$ be the complex valued Sobolev space on $\mathbb D$ where $\mathbb D $ is the open unit disk of the complex plane. By definition, $W^{1,2} (\mathbb D)$ is the set of all ...
- 151
3
votes
2
answers
141
views
Accessible literature on fractional dimensions of subsets of $\mathbb R^n$
I am currently wondering whether it is realistically possible to choose the topic "Fractals and fractal dimensions" for a seminar aimed at undergraduate students in the 2nd semester, with ...
- 1,942
-2
votes
2
answers
322
views
Is there a term for a countour integral that disregards direction?
Is there a name for integration of the form $\oint_\gamma f(z) |dz|$?
In other words, the integral that only takes into account the length of the contour and the values of the function but not the ...
- 10.1k
1
vote
1
answer
132
views
Deriving a specific bound for functions in Hardy Space
Reading some article a while ago I read the following: (here $H^2$ represents the Hardy space)
Let $f\in H^2$ be such that $f(0)=1$, and let $0<\lvert\lambda\rvert<1$, then $$\lVert f(\lambda z)\...
6
votes
0
answers
208
views
Partial fraction expansions of meromorphic functions
Sorry if this question (inspired by the recent flurry of activity around a "new" formula for $\pi$) is too naive.
Imitating what one does with Hadamard products, one can try to do the same ...
- 13.1k
7
votes
2
answers
389
views
Systematic way to compute $\sum_{n=1}^\infty P(n) / Q(n)$ for polynomials $P$ and $Q$
This may be well known so feel free to downvote.
When $P = 1$ and $Q(x) = x^k$, this is of course the Riemann zeta function. But what about other cases?
For instance is it always possible to express $\...
- 4,466
1
vote
0
answers
338
views
Recognizing when a $2\pi$-periodic function is a shifted sine
Consider a real analytic function $f(x)$ with a period of $2\pi.$ Let $t\in \operatorname{Range}(f(x))$, $$I(t)=\int_{0}^{2\pi}\log |t-f(x)|dx.$$ Prove that $I(t)$ is equal to a constant if and only ...
- 21
30
votes
1
answer
4k
views
Proof of "Possible new series for $\pi$" without use of physics
Related post: The post Possible new series for $\pi$ is about whether the identity is new, so to avoid confusion I was advised to ask this question separately.
I am looking for a proof of the ...
- 1,459
2
votes
1
answer
154
views
Branched covering maps between Riemann surfaces
What is an example of a branched covering map between Riemann surfaces of infinite degree? i.e. something like a branched version of the exponential map $exp: \mathbb{C} \to \mathbb{C}^*$.
Thanks!
- 357
3
votes
1
answer
104
views
Characterization of bi-Hermitian structures with equal Lee forms
Let $(M,g,I_+,I_-)$ be a compact bi-Hermitian manifold, where $g$ is a Riemannian metric and $I_+$, $I_-$ are two complex structures that are both compatible with $g$. We assume that $I_+$ and $I_-$ ...
user530766
1
vote
0
answers
42
views
Concerning the definition of a class of functions introduced by Nilsson
In the paper 'Some growth and ramification properties of certain integrals on algebraic manifolds' by Nilsson we find the following definitions:
My question is how does one prove the remark "It ...
- 360
3
votes
1
answer
231
views
Prescribe the type of an entire function which inverse zeros are summable
According to Lindelöf's theorem, given points $z_i\in \mathbb C\setminus \{0\}$ ordered by increasing modulus with possible repetitions, we can define a function
$$
f(z)=\prod_{n=1}^\infty (1-z/z_n)e^{...
- 1,352
14
votes
1
answer
1k
views
The location of the zeros of the "new" function $\Psi(s)=\sum _{n=1}^{\infty }{\frac{1}{n!^s}}$
Defining the Psi function as $$\Psi(s)=\sum _{n=1}^{\infty }{\frac{1}{n!^s}}$$ and by studying, from a numerical point of view, the location of the zeros in the complex plane up to $0<\Im(s)<...
- 161
0
votes
0
answers
144
views
Function of several complex variables with prescribed zeros
I accidentally stumbled upon a problem of complex analysis in several variables, and I have a hard time understanding what I read, it might be related to the Cousin II problem but I cannot say for ...
- 1,352
6
votes
0
answers
342
views
Does the Poincaré lemma (Dolbeault–Grothendieck lemma) still hold on singular complex space?
Let $X$ be a complex manifold, then we have the Poincaré lemma (or say, Dolbeault-Grothendieck lemma) (locally) on $X$, whose formulation is as follows:
( $\bar{\partial}$-Poincaré lemma) If $\...
- 327
2
votes
0
answers
68
views
Entire functions and Bergman spaces
Given an open set $D \subset \mathbb{C}$ with compact closure, let us consider the Bergman space $A^2(D)$ of all holomorphic functions on $D$ that are square integrable on $D$ with respect to the ...
- 13.5k
7
votes
0
answers
166
views
Example of closed non-exact torsion differential form on variety
I asked this question some time ago on MSE and received close to no interest. I feel it is appropriate for this site:
I am interested in finding a particular example. I would like to find a variety (...
- 513
10
votes
3
answers
853
views
The smallest nontrivial zero of the Riemann zeta function
Consider the Riemann zeta function $$\zeta(s)=\dfrac{1}{1-2^{1-s}}\sum_{n=1}^\infty\frac{(-1)^{n-1}}{n^s},\operatorname {R}(s)>0.$$ Riemann suggested that all nontrivial zeroes lie on the line $\...
- 89
3
votes
0
answers
219
views
Schwartz's theorem without English language reference
I'm reading the paper "Spectral Synthesis And The Pompeiu Problem" by Leon Brown, Bertram M. Schreiber and B. Alan Taylor,
Annales de l’Institut Fourier 23, No. 3, 125-154 (1973), MR352492, ...
- 421
1
vote
1
answer
190
views
Generalisation of Paley–Wiener type results for unbounded sets
Do you know an unbounded open set $A\subset \mathbb{R}^d$, $d\geq 2$ with the following property: if some integrable function $f$ on $\mathbb{R}^d$ has its Fourier transform vanishing on $A^c$ and all ...
- 1,352
0
votes
0
answers
39
views
Contraction of an inclusion with respect to Kobayshi hyperbolic metric
Suppose that $X = \mathbb{C}^n - \Delta_X$ and $Y = \mathbb{C}^n - \Delta_Y$, where $\Delta_X$ and $\Delta_Y$ are unions of hyperplanes in $\mathbb{C}^n$ such that $\Delta_Y \subset \Delta_X$, $\...
- 41
0
votes
0
answers
188
views
Behavior of subtree of $\mathbb{Z}^2$ embedded in $\mathbb{C}$ under compactification of the latter to the riemann sphere
I consider a countable subtree $T$ of the integer lattice isomorphic to $\mathbb{Z}^2$ with directed edges. It shall be embedded in $\mathbb{C}$ where the edge $(u,v)$ points from $u$ to $v$ if and ...
- 91
0
votes
0
answers
46
views
Function samplable from the past and Hardy spaces
What I am ultimately looking for is a $L^2$ function $f$ on the real line that can be sampled from the past, i.e. for each $x<0$ there are $L^2$ coefficients $c_n(x)$, $n\in \mathbb{N}$ such that, ...
- 1,352
1
vote
1
answer
175
views
Motivation for defining polar derivative
The polar derivative of a polynomial $p(z)$ is defined as
$$ D_\alpha p(z):=np(z)+(\alpha -z)p^{\prime}(z) \qquad \alpha\in\mathbb{C}. $$ It is a polynomial of degree $n-1.$ I am new to complex ...
- 826
4
votes
0
answers
72
views
Stability of analytic continuation
Let $(Q,\| \cdot \|)$ be a certain Banach space of entire functions, say certain functions of finite order that satisfy a growth condition of the form $|f(z)| \leq c e^{a|z|^\gamma}$ for some $c,a,\...
0
votes
0
answers
59
views
Convergence of Liouville correlation functions
A key object in Liouville conformal field theory is the random Liouville measure $M$ defined heuristically as $M(d^2x) = :e^{2bX(x)}: d^2x$, where $X$ is a Gaussian free field and $:e^{2bX}:$ denotes ...
user528837
-1
votes
1
answer
122
views
On $\Re\frac{\zeta'}{\zeta}(s) \geq -A \log(|t|+4)$ for some $A>0$
On page 438 of "Multiplicative Number Theory I" by Montgomery-Vaughan one finds the following statement and its verification :
Assuming RH, there exists an absolute constant $A>0$ such ...
- 59
0
votes
1
answer
211
views
Sign of $\Re\frac{\xi'(s)}{\xi(s)}$ locally around a zeta zero
In the article ”On a positivity property of the real part of logarithmic derivative of the Riemann $\xi$–function” the authors check the positivity of $\Re \frac{\xi'}{\xi}(s)$ for $\frac{1}{2}<\...
- 59
-6
votes
1
answer
139
views
Is the real part of the Eta function bounded by $2 \sum_{n=1}^{\infty}{\dfrac{(-1)^{n-1}}{n^{\alpha}}} $ [closed]
Consider the series defined by
\begin{equation}
f(\alpha,\beta) := \sum_{n=1}^{\infty}{\dfrac{(-1)^{n-1}}{n^{\alpha}}\cos(\beta\ln(n))}
\end{equation}
is it true that $$f(\alpha,\beta) \le 2\sum_{n=1}...
1
vote
0
answers
64
views
Extension of meromorphic distribution
Let $W$ be a topological vector space (e.g. Frechet) with a dense subspace $V$. Let $D_s$ be a distribution on $V$ that is meromorphic in $s\in\mathbb C$ and extends continuously to $W$ with respect ...
- 3,799
11
votes
6
answers
2k
views
Hard problems with an easy-to-understand answer
I am very interested by problem in mathematics which are difficult (go at least 10 years without a resolution, say) but which have a solution that is short and elementary.
In this video Launay gave an ...
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
0
votes
1
answer
191
views
Estimates for the first coefficient of the Taylor expansion of $\zeta$ around a zero
Let's suppose that $s_0=\frac{1}{2}-\Delta+it$ with $0<\Delta<\frac{1}{2}$ is a simple zeta zero (i.e a zero not on the critical line). Then $1-\overline{s_0}$ is also a zero.
If we take the ...
- 59
-1
votes
1
answer
116
views
Riemann xi function strictly increasing along a half-plane
Matiyasevich, Saidak, Zvengrowsk proved the following result:
Let $σ_0$ be greater than or equal to the real part of any zero of ξ. Then $|ξ(s)|$ is strictly increasing in the half-plane $σ > σ_0$.
...
- 59
11
votes
1
answer
961
views
Can the topologist's sine curve be realized as a Julia set?
Does there exist a rational function $f\in\Bbb{C}(z)$ whose Julia set coincides with
$$
T:=\left\{\left(x,\sin\left(\frac{1}{x}\right)\right)\,\Big|\,x\in\left(0,\frac{1}{\pi}\right]\right\}\cup\big(\{...
- 3,599
2
votes
0
answers
259
views
Least number of circles required to cover a continuous function on $[a,b]$
I asked this question on MSE here.
Given a continuous function $f :[a,b]\to\mathbb{R}$, what is the least number of closed circles with fixed radius $r$ required to cover the graph of $f$?
It is ...
- 541
3
votes
1
answer
111
views
When entire or meromorphic map of finite type restricts to a Galois covering?
Suppose that $f \colon \mathbb{C} \to \mathbb{C}$ is an entire map of finite type, i.e., with finitely many singular values. Then we can consider the restriction $f| \mathbb{C} \setminus f^{-1}(S_f) \...
- 41
1
vote
0
answers
118
views
Poles/Residues of the Gamma function under action of Mobius transform $\Gamma(A(z))$
I am not sure whether this is rather an MO or MSE question but it results from my research, so I put it here.
In my effort to find (or to disprove the existence of) $k,l,h\in\mathbb{N}$ such that $2^{...
- 91
2
votes
1
answer
589
views
Bounds for Dirichlet L-functions
Let $L$ denote a Dirichlet L-function attached to the primitive character $\chi$. What are the best known bounds for $L(\sigma+it, \chi)$?
PS: For $L=\zeta$ and $0\leq\sigma\leq 1$, i'm aware of a ...
- 1,019
1
vote
1
answer
152
views
complex optimization in the plane
I am trying to get the following condition:
$\forall\,\alpha,\beta,\gamma\in\mathbb{C}\,\,\exists\,u,v\in\mathbb{T}\colon\quad|\alpha^2uv-(\beta u-\gamma v)^2|-|\alpha^2+4\beta\gamma|=|\beta u+\gamma ...
- 375
2
votes
1
answer
136
views
Is there a scalar product which makes orthonormal the family of complex functions $ (f_n)_{ n \geq 1 } $?
Let $ (f_n)_{ n \geq 1 } $ be a family of complex functions defined as follow,
$ \forall n \geq 1 $,
$$ f_n (z) = \dfrac{1}{n^{z}} $$
I would like to ask you if it is possible to construct a ( non-...
- 595
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
3
votes
1
answer
200
views
Complex analytic function $f$ on $\mathbb{C}^n$ vanish on real sphere must vanish on complex sphere
I'm considering a complex entire function $f$: $\mathbb{C}^n\to \mathbb{C}$. Suppose $f=0$ on $\{(x_1,\cdots,x_n)\in\mathbb{R}^n:\sum_{k=1}^n x_k^2=1\}$. I want to prove
$$f=0\textit{ on } M_1=\{(z_1,\...
- 421
3
votes
1
answer
218
views
Subset of a complex manifold whose intersection with every holomorphic curve is analytic
The Osgood's lemma in complex analysis says that if $f \colon \mathbb{C}^n \to \mathbb{C}$ a continuous function such that $f|_{L}$ is holomorphic for every complex line $L \subset \mathbb{C}^n$, ...
- 1,170
16
votes
0
answers
519
views
Gabriel's theorem for complex analytic spaces
Let $X,Y$ be noetherian schemes over $\mathbb{C}$.
Then, it is known that
$$
\text{Coh}(X) \simeq \text{Coh}(Y) \Rightarrow X \simeq Y,
$$
by P. Gabriel(1962).
Are there some results in the case of ...
- 889
4
votes
1
answer
183
views
Notation for weak derivatives
I remember that, as a student, I felt a bit uncomfortable because I had to use the same notation (say $f'$, $D^\alpha f$, $\frac{\partial f}{\partial x^j}$, $\nabla \cdot f$ etc...) for classical and ...
- 4,459