All Questions
3,560 questions
2
votes
0
answers
58
views
Closed form of $\frac{1}{{\pi}^n}\sum_{k\in \mathbb{Z}^n}\prod_{j=1}^n\frac{1}{1+(m_{j}^{T}k)^2}$
Given vectors $m_{j}\in\mathbb{Z}^{n},M=(m_{1} \ldots m_{n}),\det(M)\not =0$. Is it possible to find a closed form of:
$$S=\frac{1}{{\pi}^n}\sum_{k\in \mathbb{Z}^n}\prod_{j=1}^n\frac{1}{1+(m_{j}^{T}k)^...
- 251
16
votes
5
answers
2k
views
"Classical" consequences of Bezout's theorem in dimensions $>2$
By Classical I mean something that could have been found before 1900 (say).
A well known consequence of Bezout's theorem for plane curves is Pascal's theorem http://en.wikipedia.org/wiki/Pascal'...
- 5,359
12
votes
0
answers
124
views
When could a diligent calculus student compute all Picard iterates algebraically?
As is well known, in the typical proof of the Picard–Lindelöf theorem, one shows the existence of a solution of the initial value problem $y'(t) = f(t,y(t))$, $y(t_0) = y_0$ by considering the Picard ...
- 13.1k
14
votes
4
answers
2k
views
The ten most fundamental topics in geometric group theory
What are the ten most fundamental topics in geometric group theory?
This is a pedagogical question prompted by the fact that I am teaching geometric group theory to undergraduates. They are expected ...
- 28.2k
3
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} \cup \{0\},\exists M ...
- 6,367
5
votes
1
answer
741
views
Can the Pythagorean theorem be proved using imaginary numbers?
Can the Pythagorean theorem be proved using imaginary numbers? The proof must avoid circular reasoning, of course.
I asked essentially the same question at MSE, but did not receive a definitive answer,...
- 105k
-5
votes
0
answers
86
views
Every smooth function contains a bijection [closed]
Let $f:\mathbb{D}\rightarrow \mathbb{R}$ be a continuous non-constant over $\mathbb{D}$. Is there always a subset $\mathbb{A}\subseteq \mathbb{D}$ such that $f:\mathbb{A}\rightarrow \mathbb{R}$ is a ...
- 317
-3
votes
1
answer
105
views
when does $h$ exist?
Let $\zeta(s)$ denote the Reimann zeta function in the critical strip. It is easy to see that $$ \zeta(s) = 0 \Longleftrightarrow \Re(\zeta(s))+\Im(\zeta(s)) = 0 ~~~~ \text{and} ~~~~~~ \Re(\zeta(s)) \...
- 105k
-4
votes
0
answers
66
views
Is the real and imaginary part of the Dirichlet eta function closest to its partial sums when trigonometric function changes signs? [closed]
To grasp the question we are concerned with three Theorems 1,2, and 3 in bold font below. First let us consider the Dirichlet eta function $\eta: \mathbb{C}\rightarrow \mathbb{R}$
$$
\eta(s) = \sum_{n=...
1
vote
0
answers
53
views
Can one explicitly define a right inverse for a convolution operator on the space of entire functions?
A result of Meise and Taylor in 1988 shows that every non-zero convolution operator on the Frechet space $H(\mathbb{C})$ of all entire functions on $\mathbb{C}$ has a continuous linear right inverse $...
14
votes
1
answer
463
views
Obstruction to the existence of global resolution of coherent sheaf
It is well known that any coherent sheaf on a complex manifold (or more generally on some complex spaces) admits locally a resolution with locally free sheaves. It is also well known that for non-...
- 1,611
1
vote
1
answer
151
views
Does this sequence of Blaschke Product have rescaling limit $z-1$?
Background: The conformal conjugacy class of parabolic isometry of upper half plane $\mathbb{H}$ consists of $f(z) = z+1$ and $g(z)=z-1$.
Consider surjective proper holomorphic $F_n: \mathbb{H} \...
CommunityBot
- 1
2
votes
0
answers
50
views
Convergence of finite-difference method for Cauchy-Riemann equations
Let $I\subseteq \mathbb{R}$ an open interval. Let $f:I\rightarrow \mathbb{C}$ real analytic. Suppose we want to numerically compute an analytic extension of $f$.
We will assume the following: we are ...
- 312
3
votes
2
answers
147
views
Vector bundles over a Stein space are projective
It is a "well known" fact that
locally free sheaves over a Stein space $X$ are projective as $\mathcal{O}_X$-modules
(see e.g. just after Lemma 1.6 in O'Brian-Toledo-Tong's "The trace ...
- 1,611
1
vote
0
answers
53
views
Description of all biholomorphic maps from annulus [duplicate]
Consider the collection $\mathcal{C}$ of all maps $f \colon B_1 -\overline{B}_\beta \to \mathbb{C}$ such that $f$ is biholomorphic onto its image. Is this collection $\mathcal{C}$ path-connected?
In ...
- 11
0
votes
0
answers
84
views
Singular behavior of zeros of incomplete zeta function
I've been looking at the zeros of the incomplete zeta function
$\zeta_{lower}(s, z)$ recently.
$$
\zeta_{\mathrm{lower}}(s,z)=-\frac{{\Gamma(1-s)}}{2\pi i}\int_{z}^{\infty}\frac{{(-t)^{s-1}}}{e^{t}-1}...
1
vote
1
answer
294
views
Regarding subspace generated by the polynomial multiples of outer functions
Let $\mathbb{D}$ and $\mathbb{T}$ denote the open unit disk and unit circle in $\mathbb{C}$ respectively. We write $Hol(\mathbb{D})$ for the space of all holomorphic functions on $\mathbb{D}.$ The ...
CommunityBot
- 1
394
votes
115
answers
110k
views
Not especially famous, long-open problems which anyone can understand
Question: I'm asking for a big list of not especially famous, long open problems that anyone can understand. Community wiki, so one problem per answer, please.
Motivation: I plan to use this list in ...
- 24.2k
1
vote
0
answers
39
views
Currents with logarithmic poles compared with those with no poles
I am learning Deligne homology via U. Jannsen, "Deligne homology, Hodge-$\mathscr{D}$-conjecture, and motives." There, the currents with logarithmic poles are given in Definition 1.4 by
$$
'\...
- 161
6
votes
3
answers
2k
views
Complex projective space as a $U(1)$ quotient
$\DeclareMathOperator\U{U}\DeclareMathOperator\SU{SU}$As is well known, one can view $\mathbb{CP}^n$ as a quotient of the unit $(2n + 1)$-sphere in $\mathbb{C}^{n+1}$ under the action of $\U(1)$, ...
- 12.9k
5
votes
0
answers
367
views
Existence of zero-free strip of a Laplace transform (edited ..)
Problem
Let $\beta$ be a probability measure on $\mathbb{R}$, and define
$$
K = \left \{z \in \mathbb{C}: g\left(z\right)=\int_{-\infty}^{\infty}\exp\left(z x\right)\beta ( dx ) \text{ is well-...
0
votes
1
answer
127
views
Holomorphic functions of certain blow up at origin
Suppose that $D=\{z\in \mathbb C\,:\, |z|\leq 1\}$ and let $f$ be holomorphic on $D\setminus\{0\}$ such that $|f(z)|\leq e^{\frac{1}{|z|}}$ for all $0<|z|\leq 1$ and assume additionally that $\lim\...
- 6,486
1
vote
0
answers
148
views
integral over the unit sphere of $\Bbb C^n$
Please, is there a way to calculate this integral
$$\int_{S_{2n-1}} \frac{e^{a \langle z, \zeta \rangle}}{|z - \zeta|^{\beta}} \, d\sigma(\zeta)$$
where $ z $ is a fixed point in the complex unit ball ...
- 531
2
votes
1
answer
201
views
Section 3 of Atiyah's "On analytic surfaces with double points" — some questions
I have some questions about section 3 of Atiyah's "On analytic surfaces with double points," a short 9 page paper. Section 3 is all dedicated to proving lemma 4.
Near the end of section 3, ...
- 12.9k
0
votes
0
answers
57
views
Complexity of evaluation of analytic functions
Given an analytic function $f(x)$ (say as combination of elementary functions and operators), is it possible to compute $n$ first bits of the value of the function on the whole interval $[a, b]$ ...
- 67
5
votes
1
answer
274
views
Why "no wandering domain" fails in parabolic basin?
Theorem (Sullivan). Every Fatou component $U$ of $f$ rational map is eventually periodic, that is, there exist $n > m > 0$ such that $f^n(U) = f^m(U)$
I am familiar with the proof: spread around ...
- 91.8k
-3
votes
1
answer
195
views
Bounding a number-theoretic integral
Find a good upper bound on $$\int_1^T\frac{\zeta'(s)}{\zeta(s)\zeta(1-s)}X^sdt,$$ where $s=c+it$ for a constant $c>1$ and $X>0$ is a parameter. If needed, we can assume RH.
My attempt here is ...
- 1,381
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 ...
0
votes
0
answers
79
views
Alternative proof of parabolic implosion
I am working on an alternative proof of parabolic implosion from complex dynamics, but only allowing hyperbolic perturbation.
Theorem (Parabolic Implosion) Let $f(z)=z^2+z$ and $U_f$ be parabolic ...
- 63.9k
2
votes
0
answers
70
views
Is the hypothesis "uniformly equivalent" needed?
I am reading S. Shimorin's paper titled Complete Nevanlinna-Pick property of Dirichlet-type spaces. My question concerns Lemma 2.3. which is as follows:
Assume $\mathscr{H}$ is a Hilbert space of ...
- 151
0
votes
1
answer
343
views
Integrate Faddeeva function
I came across this integration in my studies.
$\int_{-\infty}^{\infty}|F((w_\textbf{_} - \hat{w_\textbf{_}})\tau) |^2 . d\tau$
It uses the Faddeeva function which is $F(z) = e^{-z^2}erfc(-iz)$. I ...
- 1,126
0
votes
1
answer
119
views
Nonstationary phase method for oscillatory integral
I want to approximate an integral of the form $$\int_a^bf(t)e^{ig(t)}dt,$$where $f(t)$ is smooth, $g(t)$ is real-valued and smooth.
The stationary phase method says that if $t_0\in [a,b]$ is such that ...
- 900
1
vote
1
answer
63
views
Need bound for absolute value of complex-valued special functions (Taylor coefficients of Faddeeva's w(z))
To guarantee accuracy for code [1] that computes Faddeeva's w(z) [2] using Taylor expansions around different centers, I would need upper bounds for the absolute values $|w_n(z)|$ of the coefficients
$...
- 128k
1
vote
2
answers
225
views
Bounds of zeta function near $\Re(s)=1$
Richert proved in
https://link.springer.com/article/10.1007/BF01399533
that $$ \zeta(s) =O\left( |\Im(s)|^{100(1-\Re(s))^{3/2}} (\log |\Im(s)|)^{2/3}\right)$$ uniformly in the region $\Re(s)\in [1/2,1]...
- 465
9
votes
2
answers
8k
views
The Paley-Wiener theorem and exponential decay.
Consider a function whose Fourier transform is supported on a half-ray:
$$
A(t)=\int_0^\infty \omega(E) e^{-iEt}d E,
$$
where I can suppose $\omega(E)\geq 0$ and any suitable regularity conditions on $...
- 1,461
0
votes
2
answers
682
views
On integral relating logarithm of absolute value of Zeta function
Sorry for such a direct question:
Consider the following integral:
$$I(t)=\int_{1/2}^{1} {\log|\zeta(a+it)|}da.$$
How to find the nature of $I(t)$ as $t\rightarrow\infty$?
CommunityBot
- 1
21
votes
7
answers
2k
views
Identities and inequalities in analysis and probability
Usually, at the heart of a good limit theorem in probability theory is at least one good inequality – because, in applications, a topological neighborhood is usually defined by inequalities. Of course,...
- 109k
16
votes
1
answer
978
views
Pedagogically intuitive reformulation of Zorn's Lemma for functional analysis
While teaching an applied functional analysis class, I’ve noticed that students often struggle to develop an intuitive understanding of Zorn’s lemma. It’s relatively straightforward to explain why ...
- 13.1k
2
votes
1
answer
215
views
How can one test whether a given analytic curve in the plane is algebraic or not?
Suppose $\Gamma$ is an analytic Jordan curve in the complex plane $\mathbb{C}$. What are ways to test whether $\Gamma$ is (contained in) an algebraic curve, i.e., whether there exists a real ...
- 149k
0
votes
0
answers
146
views
On the pointwise limit of a sequence of analytic functions
I have been confused with this problem for weeks now. Suppose I have Banach spaces $E$ and $F$ and a sequence of functions $f_{n}: U \subset E \to F$, where $U$ is open and nonempty. Let $x \in U$ be ...
0
votes
1
answer
431
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}$,...
CommunityBot
- 1
3
votes
1
answer
177
views
Mellin transform at $0$
Let $f$ be a smooth complex valued function with support on $[0,2]$ and with Mellin transform $\tilde{f}$. Recall that the Mellin transform is defined as $$\tilde{f}(w)=\int_0^{\infty}f(x)x^{w-1}dx.$$ ...
- 105k
24
votes
9
answers
9k
views
How to motivate and present epsilon-delta proofs to undergraduates?
This would seem to be a common question, but I am surprised not to see it already asked and answered on MO!
I am teaching an undergraduate course, and I want to teach them to construct basic epsilon-...
CommunityBot
- 1
1
vote
1
answer
193
views
How to evaluate the following integral?
How to (analytically) calculate the following integral,
$$I = \int_{S_{2n-1}} \left( \langle z, \zeta \rangle \right)^a e^{ b \langle z, \zeta \rangle} \, d\sigma(\zeta),$$
where $\langle z, \zeta \...
- 33
20
votes
1
answer
620
views
Conjecture on the number of roots of $z^n + P(z)$ within the unit disk
Some other people and I have noticed that the following seems to be true.
Fix an integer polynomial $P \in \mathbb{Z}[x]$. Let $a_n$ be the number of roots of $z^n + P(z) = 0$ that lie in the unit ...
- 109k
0
votes
1
answer
255
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$ ...
CommunityBot
- 1
2
votes
1
answer
315
views
Where to find or how to establish a general formula for the improper integral $\int_{0}^{\infty}\frac{\sin t}{t}(\ln t)^k\operatorname{d\!} t$?
When I tried to establish the Maclaurin power series expansion of the reciprocal $\frac{1}{\Gamma(z)}$ of the Euler gamma function $\Gamma(z)$, I came across the improper integral $$
I_k=\int_{0}^{\...
- 1,101
14
votes
1
answer
3k
views
An elementary proof that the degree of a map of spheres determines its homotopy type
I'm helping to teach an undergraduate algebraic topology course (out of Hatcher's textbook). We have recently defined the degree of a map of spheres using homology, and the professor and I thought it ...
- 486
1
vote
0
answers
71
views
Integral formula of quantum dilogarithm
In the paper"Level N Teichmüller TQFT and Complex Chern-Simons Theory" arXiv:1612.06986, the authors study the quantum dilogarithm function:
\begin{equation}
\mathrm{D}_{\rm b}(x,n)=\prod_{...
- 109
42
votes
13
answers
20k
views
How to draw knots with LaTeX?
I am writing an exam for my students, and the topic is intro knots theory. I have no idea how to put knots into the file, but I know many MO users who can draw amazing diagrams in their papers.
Can ...
- 12.9k