All Questions
3,560 questions
0
votes
1
answer
138
views
Is $\Gamma(z,1)\not=0$ for all $z$ with $\Re(z)<0$?
I found this paper online which appears to present zeros of the incomplete gamma function within the right half plane. It makes me think that there are no zeros in the left half plane. Not sure how to ...
- 402
2
votes
1
answer
133
views
Expected fraction of roots in the unit disc of random polynomial with Gaussian coefficients
I am trying to find the expected fraction of roots located in the unit disc for a random polynomial with Gaussian coefficients. Given a random polynomial
$$P(z) = a_0 + a_1 z + a_2 z^2 + \dots + a_n z^...
- 826
5
votes
2
answers
294
views
The constant of the reverse Hölder inequality for polynomials
Denote by $D(r)$ the disc at the origin of radius $r>1$. Denote by $P_m$ the set of polynomials of degree $m$. Since $P_m$ is finite dimensional, there is a constant $C(m,r)$ such that
$$
\|p\|_{L^{...
- 981
10
votes
0
answers
654
views
Eigenfunctions of the integral kernel $1/(x^2 + x'^2)$
My question seems elementary, yet I could not find the solution after working on and searching for several days...
I'd like to find the eigenfunctions of a simple integral kernel:
\begin{equation}
\...
- 101
1
vote
0
answers
110
views
Monomorphism/Isomorphism of $C_4$-tangent cones for complex varieties
Suppose that $(M,\mathcal{O}_M)$ is a reduced complex analytic space (or complex algebraic variety if you prefer). The tangent linear fiber space $TM$ associated to $M$ is defined as the analytic ...
- 513
23
votes
14
answers
4k
views
Math talk for all ages
I've been asked to give a talk to the winners of a recent math competition. The talk can be entirely congratulatory, or it can contain a bit of actual mathematics. I'd prefer the latter. I'd also ...
0
votes
0
answers
107
views
Evaluating a matrix Pick function via its integral representation
In the proof of Theorem 3.1 of the paper Inequalities for M-matrices, Ando evaluates a matrix function (see equation boxed in orange below) via an integral representation of a Pick function (see ...
- 1,719
10
votes
2
answers
597
views
How to determine the asymptotics of $\sum_{n=0}^{\infty} e^{-\frac{2^n}{x}}$
I'm generally interested in being able to find an asymptotic expansion of
$$ \sum_{n=0}^{\infty} \left[ e^{- \frac{f(n)}{x}} \right] $$
As $x \rightarrow \infty$ and $f(n)$ is a smooth monotonically ...
- 2,689
5
votes
1
answer
358
views
Is there a meaningful interpretation of an $L^i$-space?
Do complex-normed spaces exist? Is there an extension of $p$-norms to $p\in\Bbb C\setminus\Bbb R$?
A while ago I thought of extending $L^p$-spaces to the complex-normed setting. After some discussions,...
- 1,459
1
vote
0
answers
86
views
Functional inequality with complex variables
I am interested in considering a function $C(\tau)$ of the complex variable $\tau = t + i\eta$ such that
$C(\tau)$ is analytic for $\Re(\tau)=t>t_0\ge0$
$\exists$ a constant $C_0$ and a function $...
- 33
-1
votes
2
answers
87
views
Limits of integral series
Suppose we have the series of functions:
\begin{equation}
F(x)=\sum_{n=1}^{\infty} f_n(x)
\end{equation}
where convergence is uniform.
Additionally, consider the partial functions of the series:
\...
7
votes
1
answer
338
views
If $f(x) = \sum_{n=0}^\infty a_n x^n$, then $\int_{-\infty}^\infty f(x^2) dx = \pi i a_{-\frac{1}{2}}$
I've noticed a curious relationship between the coefficient $a_n$ for a power series and the integral of the real line. For instance, take $f(x) = e^{-x} = \sum_{n=0}^\infty \frac{(-1)^n}{n!} x^n$. ...
- 1,730
74
votes
15
answers
18k
views
$f(f(x))=\exp(x)-1$ and other functions "just in the middle" between linear and exponential
The question is about the function $f(x)$ so that $f(f(x))=\exp (x)-1$.
The question is open ended and it was discussed quite recently in the comment thread in Aaronson's blog here http://...
- 24.7k
6
votes
1
answer
408
views
On an asymptotic integral decay
Let $f\in C^{\infty}([-1,0])$ be real-valued and suppose that
$$ \left| \int_{-1}^{0} f(t)\,e^{\lambda t} \,{\rm d} t \right| \leq e^{-\sqrt{\lambda}},$$
for all $\lambda > 0$. Does it follow that $...
- 4,115
0
votes
0
answers
109
views
Affine scheme over ring of meromorphic functions with finite poles on unit circle
I am looking into the set $S$ of meromorphic functions with a finite number of poles on the unit circle (i.e., rational functions with poles on the unit circle). I assume that any $h\in S$ has the ...
- 91
3
votes
0
answers
111
views
What is known about the analytic continuation of Maz'ya's modified harmonic zeta function $\sum_{n=1}^{\infty} e^{-zH_n}$?
Question:
If we let $H_n = \sum_{k=1}^{n} \frac{1}{k}$ be the harmonic numbers then we can consider the modified zeta function
$$ f(z) = \sum_{n=1}^{\infty} e^{-zH_n } = \sum_{n=1}^{\infty} e^{-z(\ln(...
- 2,689
17
votes
4
answers
1k
views
Meromorphic function on $\mathbb{C}$ algebraic over $\mathbb{C}(z)$
Let $f$ be a meromorphic function on $\mathbb{C}$ which is algebraic over the field of rational functions $\mathbb{C}(z)$ (i.e. satisfies a nontrivial equation $\sum a_i(z)f(z)^{i}=0$, with $a_i(z)\in ...
- 38k
8
votes
2
answers
1k
views
Mathematics of sustainable development and energy sobriety in the classroom
Faculty members are encouraged to highlight the connection between the courses we teach and climate change, and raise awareness of the issue in our lectures, across subjects in my university. I am ...
16
votes
2
answers
2k
views
One question on linear combinations of roots of unity
For $n \geq 1$, I want to find all solutions $x_i$ of the equation
\begin{equation}
\begin{array}l
x_i \in \mathbb{Z}, i=0,1,2\dotsc,n-1 \\
x_i^2 = 1, i=0,1,2\dotsc,n-1 \\
\...
- 696
0
votes
0
answers
108
views
A surprising result with the Riccati difference equation
I was looking at the Riccati difference equation with positive and negative indices
$$
R_n=\frac{aR_{n-1}+b}{cR_{n-1}+d}\quad n\in[0,N]\\
R_n=\frac{-dR_{n+1}+b}{cR_{n+1}-a}\quad n\in[-N,0]\\
$$
along ...
- 119
2
votes
1
answer
106
views
A modified Paley–Wiener theorem with weaker condition
Let's consider the following argument: let $f$ be a function in $L^2(\mathbb R)$ such that $\hat f$ extends to an entire function on $\mathbb C.$ Assume that for each $t>0$ and $x \in \mathbb R$
$$
...
- 1,755
51
votes
22
answers
19k
views
Why linear algebra is fun!(or ?)
Edit: the original poster is Menny, but the question is CW; the first-person pronoun refers to Menny, not to the most recent editor.
I'm doing an introductory talk on linear algebra with the ...
55
votes
16
answers
16k
views
Why do we need random variables?
In this MathStackExchange post the question in the title was asked without much outcome, I feel.
Edit: As Douglas Zare kindly observes, there is one more answer in MathStackExchange now.
I am not ...
- 5,670
6
votes
0
answers
166
views
Fourier transform and Hodge-$*$ operator
Suppose I have a full-rank lattice $\Lambda\subset\mathbf{C}$. Then the classical Poisson summation formula says
$$\sum_{\lambda\in\Lambda}f(\lambda)=\sum_{\lambda\in\Lambda'}\widehat{f}(\lambda)$$
...
user516086
69
votes
20
answers
19k
views
Fun applications of representations of finite groups
Are there some fun applications of the theory of representations of finite groups? I would like to have some examples that could be explained to a student who knows what is a finite group but does not ...
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 ...
- 30.6k
1
vote
1
answer
119
views
weakly separated sequences in RKHS are separated by Gleason metric
I am reading Agler and McCarthy's Pick Interpolation and Hilbert Function spaces. In Chapter 9, the authors ask to observe that weakly separated in a Reproducing kernel hilbert space implies separated ...
- 151
1
vote
0
answers
65
views
Complex integration in a separable EDO for an eigenvalue problem
I'm trying to prove a result from Leon Cohen's book "Time-frequency Analysis", Chapter 18. Namely, I want to verify the solution of the eigenvalue problem $$\mathcal{C}s(t) = c s(t)$$ for ...
0
votes
0
answers
66
views
Estimating a multiple integral of complex-valued function
I am trying to find an estimate of the following sum:
$$S(P)=\sum_i \int_{[0,\frac{\tau}{P}]^{n-1}} \left(\frac{\operatorname{li}(\tau)}{\tau}\right)^{n-1} \int_{[\frac{\tau}{P},1]} \frac{e(\gamma F(...
- 309
4
votes
1
answer
205
views
Show that $\frac{1}{2 \pi i} \oint_{\mathbb{S}^1} \frac{1-\hat{f}(\xi)}{1-\xi}\cdot \frac{\mathrm{d} \xi}{\xi^{n+1}} \to 0$ as $n \to \infty$
Let $f = (f_0,f_1,\ldots,f_n,\ldots) \in \mathcal{P}(\mathbb N)$ be a probability distribution on $\mathbb N$ and denote by $$\hat{f}(z) = \sum_{n\geq 0} z^n f_n$$ for its probability generating ...
- 730
2
votes
3
answers
478
views
Groups of conformal isomorphisms of simply connected surfaces
By the uniformization theorem every connected and simply connected surface $M$ is conformally equivalent to one of the following three surfaces:
open disk $D$, complex plane $\mathbb{C}$, or $2$-...
0
votes
0
answers
74
views
Conformally embedding a finite Riemann surface of genus g
Let $R$ be a compact Riemann surface of genus $g$ and let $S \subset R$ be a Riemann subsurface. Theorem B in Maskit's paper says that we can embed $S$ into a compact Riemann surface $P$ of genus $g$ ...
- 1,169
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.,...
- 697
3
votes
0
answers
102
views
Stein manifolds admitting uniform strictly plurisubharmonic exhaustion functions
Let $(X,\omega)$ be a Kähler manifold. Call $X$ uniformly Stein with respect to $\omega$ if there exists an exhaustion map $\phi:X\to \mathbb{R}$ such that $i\partial\bar\partial \phi \ge \epsilon\...
- 31
3
votes
3
answers
427
views
Quantitative analytic continuation estimate for a function small on a set of positive measure
The following conjecture about analytic functions arose as a way to show the asymptotic growth for certain PDE solutions. As I am unfamiliar with any results of this type, I thought I'd ask here.
In ...
- 324
0
votes
1
answer
128
views
Rational approximation for continuous function on curve $\Gamma$
Let $\Gamma \in C^{1,\lambda}$ be an oriented Jordan curve in complex plane $\mathbb{C} $, $\mathrm{R}(\Gamma)$ the set of all rational functions without poles on $\Gamma $. "$\mathrm{R}(\Gamma)$...
- 269
9
votes
2
answers
1k
views
Zeros of a complex function
I wonder whether $\sum_{k=0}^n \exp(r_k z)$ has a complex zero for any $n\in \mathbb{Z}_n^*,0=r_0<r_1<r_2<\dotsb<r_n$. I think the answer is affirmative.
- 93
-6
votes
1
answer
445
views
On gaps between consecutive zeros of the Riemann zeta function
Let $\gamma$ denote the imaginary part of a non-trivial zero of the Riemann zeta function. Do there exist some function $f$ such that $\gamma_{n+1} - \gamma_n > f(n)>0$ for all large $n$? To be ...
- 1,019
3
votes
1
answer
309
views
Zeros of the derivative of $\xi$
In his paper on Zeros of derivatives of Riemann $\xi$-function on critical line Brian Conrey mention that
It can be shown that the Riemann hypothesis implies that all zeros of $\xi (s)$, the ...
- 61
6
votes
3
answers
855
views
Series involving power of the index
How to prove the following identity
$$ \sum_{n=1}^{\infty} \frac{n^{n-1} e^{-n}}{n!} = 1$$
analytically (which can be confirmed with $Mathematica$)? The standard trick for geometrical series does not ...
- 77
22
votes
2
answers
2k
views
Can one deduce the fundamental theorem of algebra from real calculus and linear algebra?
Motivation: let $A\in\mathbf{R}^{n\times n}$ be symmetric. Then by the method of Lagrange multipliers, a maximum of $x\mapsto x^tAx$ on the compact unit sphere $\mathbf{S}^{n-1}$ must be an ...
- 337
4
votes
1
answer
305
views
Holomorphic extension of the Fourier transform of a measure
If an entire holomorphic function $f(z)$ is given by the analytic continuation of $f(x)=\int_\mathbb{R}e^{-ix\xi}\,d\mu(\xi)$ with a finite Borel measure $\mu$ on $\mathbb{R}$, then $g(x):=\int_\...
- 63
25
votes
19
answers
20k
views
Math books for advanced high school students
I'm working in a program for teaching a group of students selected in a Olympiad competition. The program is aimed to acquaint the students with the diverse aspects of higher mathematics in a way ...
4
votes
2
answers
568
views
How to compute $\sin(\frac{d}{dx})f(x)$?
Assuming $f(x)=e^{-x^2}$ for $x$ in $[-10,10]$, I have tried the following:
Fourier transform $\mathcal{F}$: $\frac{d}{dx}$ can be diagonalized as $\mathcal{F}^{-1} i\omega \mathcal{F}$. Therefore, $\...
- 350
0
votes
1
answer
444
views
Expectation of complex random variable
I am researching frequency offset estimation and ended up reading a paper "Cramer-Rao Lower Bound on Frequency Offset Estimation Error in OFDM Systems With Timing Error Feedback Compensation"...
0
votes
1
answer
85
views
Criteria for Hardy space membership
Assume that $p>2$ and let $H^p$ be the Hardy space of holomorphic functions in the unit disk $D$. It seems that $f\in H^p$ if and only if $$P(f):=\int_0^{2\pi}\left(\int_0^{1}|f'(re^{it})|^2(1-r)dr\...
- 333
2
votes
0
answers
88
views
Does Kobayashi isometry map preserve complex geodesics?
Let $\gamma_1, \gamma_2$ are real geodesics in a domain $D$ and these two real geodesics are lying in the same complex geodesics, the question is, are $f\left(\gamma_1\right)$ and $f\left(\gamma_2\...
28
votes
1
answer
1k
views
Are entire functions “essentially” determined by their maximum modulus function?
(Note: This has been asked on Math SE, but without an answer after almost two years and one offered bounty.)
For an entire function $f$ let $M(r,f)=\max_{|z|=r}|f(z)|$ be its maximum modulus function. ...
- 491
4
votes
1
answer
457
views
Riemann mapping theorem with smooth boundary
This is closely related to the question here. The setup is that $U\subset\mathbb{C}$ is an open bounded simply connected domain with $C^\infty$ boundary. If $\phi:U\rightarrow\mathbb{D}$ is a ...
- 439
0
votes
1
answer
177
views
Green's function in terms of logarithmic potential and energy of a measure
Let $\mu$ be a finite (Borel) measure on $\mathbb{C}$ with compact support $K := \mbox{supp } \mu$.
The logarithmic potential associated to the measure $\mu$ is
\begin{equation}
\Phi_{\mu}(z) = - \...
- 57