**88**

votes

**0**answers

6k views

### Dropping three bodies

Consider the usual three-body problem with Newtonian
$1/r^2$ force between masses. Let the three masses start off at rest,
and not collinear. Then they will become collinear a finite time ...

**31**

votes

**0**answers

1k views

### Curious $q$-analogues

Consider the Fibonacci polynomials
$$F_n (x) = \sum_{j = 0}^{\left\lfloor {n/2} \right\rfloor }\binom{n-j}{j} x^{n - 2j} $$
and the Lucas polynomials
$$L_n (x) = \sum_{j = 0}^{\left\lfloor {n/2} \...

**27**

votes

**0**answers

1k views

### $f\circ f=g$ revisited

This may be related to solving f(f(x))=g(x). Let
$C(\mathbb{R})$ be the linear space of all continuous functions from
reals to reals, and let $\mathcal{S}$ $:=$ { $g\in C(\mathbb{R})$ $;$ $\exists$ $f\...

**26**

votes

**0**answers

549 views

### Finding a path through real rooted polynomials

This is a lemma I wanted in order to solve Patrizio Neff's conjecture. It turned out to be the wrong way to think about it, but I am still curious if it is true.
Let $z^n+a_{n-1} z^{n-1} + \cdots + ...

**20**

votes

**0**answers

2k views

### Why do polytopes pop up in Lagrange inversion?

I'd be interested in hearing people's viewpoints on this. Looking for an intuitive perspective. See Wikipedia for descriptions of polytopes and the Lagrange inversion theorem/formula (LIF) for ...

**20**

votes

**0**answers

1k views

### Trigonometry related to Rogers--Ramanujan identities

For integers $n\ge2$ and $k\ge2$, fix the notation
$$
[m]=\sin\frac{\pi m}{nk+1} \quad\text{and}\quad
[m]!=[1][2]\dots[m], \qquad m\in\mathbb Z_{>0}.
$$
Consider the following trigonometric numbers:...

**18**

votes

**0**answers

964 views

### Almost everywhere differentiability for a class of functions on $\mathbb{R}^2$

A while ago, I came across the following problem, which I was not able to resolve one way or the other.
Let $f,g\colon\mathbb{R}^2\to\mathbb{R}$ be continuous functions such that $f(t,x)$ and $g(t,...

**17**

votes

**0**answers

520 views

### What is the best probabilistic estimate from below for a random polynomial on an arc?

I'm currently involved in a small (but quite time consuming) project where we are trying to get some decent bound for the number $N(P)$ of real zeroes of a random polynomial $P(x)=\sum_{k=0}^n\xi_k x^...

**15**

votes

**0**answers

280 views

### Partitions of ${\rm Sym}(\mathbb{N})$ induced by convergent, but not absolutely convergent series

Let $(a_n) \subset \mathbb{R}$ be a sequence such that the series
$\sum_{n=1}^\infty a_n$ converges, but does not converge absolutely.
Then there is a partition of the symmetric group ${\rm Sym}(\...

**13**

votes

**0**answers

706 views

### Polynomials with presumably positive coefficients

After seeing that some positivity problems get their solutions on MO,
I am quite enthusiastic of posing my (and not only) problem of positive flavour.
In order to state it, I have to introduce the ...

**12**

votes

**0**answers

191 views

### Surprising approximate identity

While answering this MO question Connection between Bernoulli numbers and Riemann-Siegel theta function? Dan Romik
found the following surprising approximate identity:
$$\ln{8\pi}\approx \pi\left[ 2\...

**11**

votes

**0**answers

326 views

### A multiple integral

Let us consider the multiple integral
$$I_{n}=\int_{-\infty }^{\infty }ds_{1}\int_{-\infty}^{s_{1}}ds_{2}\cdots
\int_{-\infty }^{s_{2n-1}}ds_{2n}\;\cos {(s_{1}^{2}-s_{2}^{2})}\;\cdots
\cos {(s_{2n-1}...

**11**

votes

**0**answers

819 views

### Constructive aspects of Caratheodory's theorem in convex analysis

Let me paraphrase Caratheodory's theorem in a probabilistic setup:
Let $X$ be a real-valued random variable. For $k = 1, \ldots, m$, let $f_k: \mathbb{R} \to \mathbb{R}$ be a continuous function such ...

**10**

votes

**0**answers

541 views

### Multiple Integral (American Mathematical Monthly problem 11621 and its generalization)

AMM problem 11621 asks to calculate the integral
$$I_2=\int\limits_{-\infty}^{\infty}ds_1\int\limits_{-\infty}^{s_1}ds_2
\int\limits_{-\infty}^{s_2}ds_3\int\limits_{-\infty}^{s_3}ds_4
\;\cos{(s_1^2-...

**10**

votes

**0**answers

250 views

### Positivity of polynomial sequences via generating series

In this question I address
the problem of proving the nonnegativity of a numerical sequence
$a_0,a_1,a_2,\dots$ via generating series technique. In the notation
$A(x)=\sum_{n=0}^\infty a_nx^n\ge0$ ...

**9**

votes

**0**answers

212 views

### A slightly generalized existence and uniqueness theorem for integral equations (reference request)

I want to use the following statement without including the proof, which is completely straightforward but rather tedious:
Let $G_0:\mathbb R\times\mathbb R^m\to\mathbb R^m$, $\Theta_0:\mathbb R\...

**8**

votes

**0**answers

2k views

### Questions on de Branges' work on the Riemann hypothesis

According to Wikipedia, Louis de Branges de Bourcia has obtained some notable
results, such as a proof of the Bieberbach conjecture in 1985, which is now
known as de Branges' theorem. Initially, his ...

**8**

votes

**0**answers

171 views

### Inertia group vs. differential equations

The tame quotient of the inertia group of $\mathbf Q_p$, say, is the profinite group generated by the Frobenius $\sigma$ and the monodromy $\tau$, subject to the relation $\tau^{p-1} [\tau, \sigma] = ...

**8**

votes

**0**answers

1k views

### Are these two functions equal?

The question here is sparked by the discussion inside this question about indefinite sum(antidifference) of tan(x).
A proposed solution was a function
$$f_1(x)=ix-\psi _{e^{2 i}}^{(0)}\left(x+\frac{\...

**8**

votes

**0**answers

591 views

### G-delta of measure 0 containig the rationals.

It is well known that $\mathbb{Q}$ is not a $G_\delta$. In fact no countable dense subset of $\mathbb{R}$ is a $G_\delta$. We order the rationals in a sequence: $\mathbb{Q}=\lbrace r_k\rbrace$, and ...

**8**

votes

**0**answers

359 views

### min/max of degenerate critical points and Newton diagrams

Given a smooth function of several variables, whose first derivatives vanish at the origin. Suppose the matrix of second derivatives is degenerate at the origin. For example all the second derivatives ...

**7**

votes

**0**answers

128 views

### Almost Isodiametric Sets

Hi,
The isodiametric inequality tells us that, of all sets of diameter $r$, the one with the largest Lebesgue measure is the ball of radius $r/2$ - and this holds regardless of norm. Let $\tau(r)$ be ...

**7**

votes

**0**answers

229 views

### Is $Q_n(x)=\sigma_{n+1}(x)/\sigma_n(x)$ logarithmically convex on $\mathbf{R}$?

In 1975 J. van de Lune considered the monotony properties of the canonical Riemann Upper and Lower sums for $\int_0^1 t^xdt$, with $x>0$.
Writing $\sigma_n(x) := 1^x+2^x+\cdots+n^x$ these sums are
...

**7**

votes

**0**answers

291 views

### Finding a dimension-free bound for a certain multiplier on Euclidean space

The following question is indirectly motivated by strong type maximal function estimates. Let $f\in L_{p}(\mathbb{R}^{n})$. For $\xi=(\xi_{1},\ldots,\xi_{n})\in\mathbb{R}^{n}$ define $m(\xi)$ so ...

**7**

votes

**0**answers

818 views

### Is this Fourier integral well-known?

The following integral is a special case of one that arises in an economics problem:
$I(u_{1}, u_{2}) := \displaystyle \int_{z_{1}=-\infty}^{\infty} \int_{z_{2}=-\infty}^{\infty} \frac{ \displaystyle ...

**7**

votes

**0**answers

439 views

### Phase perturbations in oscillatory integrals

I am interested in learning about quantitative refinements of the method of stationary phase which allow to treat small perturbations in the phase of an oscillatory integral (of the first kind, in ...

**7**

votes

**0**answers

208 views

### Semi-norms for Schwartz-Bruhat space over Q_p

I'm an analyst beginning to do some work over the p-adics, in particular work with spaces of functions from $\mathbb{Q}_p$ to $\mathbb{C}$. The Schwartz-Bruhat space in this case is given by the space ...

**6**

votes

**0**answers

205 views

### Nonzero solutions to the functional ODE $f'(x)=f(f(x))$

Does $\frac{df}{dx}=f(f(x))$ have nonzero solutions? And if so, what analytic/numerical methods can be used to characterize them?

**6**

votes

**0**answers

190 views

### Density of polynomials in $C^k(\overline\Omega)$

Let $\Omega$ be an open and bounded subset of $\mathbb{R}^2$ and let $C^k(\Omega)$, $1\leq k<\infty$, be the space of functions $f$ with continuous derivatives of order $\leq k$ in $\Omega$, ...

**6**

votes

**0**answers

220 views

### An inequality which involves a sum of integrals

Please help me to prove
$$
\sum\limits_{j=2}^n \frac{1}{j^\alpha (j-1)^\alpha} \int\limits_{j-1}^j \frac{dx}{x^{1-\alpha}(n-x)^\alpha} \leq \int\limits_0^1 \frac{dx}{x^{1-\alpha}(n-x)^\alpha},\quad \...

**6**

votes

**0**answers

182 views

### Spectral theory for Dirac Laplacian on a funnel

I would like to study the spectral theory of the Dirac Laplacian on a non-compact quotient of the hyperbolic plane by a discrete group (I am particularly interested in the simple case where the ...

**6**

votes

**0**answers

303 views

### Birth-Death Process associated with Orthogonal Polynomials

I have read in various places the following objects are related:
orthogonal polynomials
birth-death processes
Lattice paths
continued fractions
After a lot of searching online, I found sketches ...

**6**

votes

**0**answers

203 views

### Regularity class of certain diffeomorphisms of the real line.

I care about the following class of homeomorphisms of $\mathbb R$, which I'll call $\mathcal C^?$.
For simplicity, let us restrict attention to compactly supported homeomorphisms
(a homeomorphism $\...

**6**

votes

**0**answers

293 views

### Reflection spectrum from a Fibonacci quasicrystal

Warning: this question may come across as too specific. Maybe it would help if I set values for the probability parameters below - they'd be based on the Fresnel equations. But anyway, I think this is ...

**6**

votes

**0**answers

306 views

### Differential forms on the simplex which are “constant towards the boundary”

Let $\Delta^k$ the standard $k$-dimensional simplex, $\Delta^k=\{(x^0,\dots,x^k)\in \mathbb{R}^{k+1}|\sum_{i=0}^kx^i=1\}$, and let $\Omega^\bullet(\Delta^k)$ be the de Rham complex of smooth ...

**6**

votes

**0**answers

1k views

### Why is mechanical differentiation so hard to get right?

This question is related to this question on differentiation/integration which asks why differentiation is mechanical but integration is an art. The answers given all make a huge assumption: that one ...

**6**

votes

**0**answers

224 views

### Polynomial upper approximation with respect to the Gaussian measure

Let $f = 1_{[a,+\infty)}$ be the indicator function of a half-line. Does there exist a sequence $(P_n)$ of polynomials such that $f(x) \leq P_n(x)$ for every real $x$ and
$$ \lim_{n\to \infty} \int_{\...

**6**

votes

**0**answers

456 views

### convergence rate in Wiener's approximation theorem

Wiener has the following fantastic results about approximations using translation families:
Given a function $h: \mathbb{R} \to \mathbb{R}$, the set $\{\sum a_i h(\cdot - x_i): a_i, x_i \in \mathbb{...

**5**

votes

**0**answers

99 views

### For $f$ a polynomial, does strict convexity of $\log f(e^s)$ imply that the second derviative of $\log f(e^s)$ has no zeros?

Let $f(t)$ be a monic real polynomial such that $f(t) > 0$ for all $t \ge 0$. Suppose that $\log f(e^x)$ is strictly convex on $\mathbb{R}$, i.e.
$f(s^2) \cdot f(t^2) > f(st)^2$
for all $s, t \...

**5**

votes

**0**answers

89 views

### Complex L^1 spaces; reference request

I have been doing a fair amount of research into a complex analytic modified version of the Mellin transform. I have hit a few roadblocks, and am hoping there may already be literature on the subject. ...

**5**

votes

**0**answers

163 views

### Faà di Bruno formula

Let $f,g$ be smooth functions from $\mathbb R$ to $\mathbb R$. Then
$$
\frac{(g\circ f)^{(n)}}{n!}=\sum_{1\le r\le n}\frac{(g^{(r)}\circ f)}{r!}
\sum_{\substack{(n_1,\dots, n_r)\in {\mathbb N^*}^r\\...

**5**

votes

**0**answers

71 views

### Some questions about the Lévy monoid of certain densities

Let $\bf H$ be a set, $f: \mathcal P({\bf H}) \rightharpoonup \bf R$ a partial function, and $\mathcal{D}$ the domain of $f$.
Next, denote by $\mathcal M(f)$ the set of all (total) functions $\theta: ...

**5**

votes

**0**answers

64 views

### How to derive explicit bound for the solution of following equation?

Let's have equation
$$
y''(t) + \left(\frac{3}{16t^{2}} + \frac{a}{t} -\frac{b}{t^{\frac{5}{4}}}cos(2t)\right)y(t) = 0, \quad t \in (1, \infty), \quad a, b > 0
$$
How to derive explicit upper bound ...

**5**

votes

**0**answers

95 views

### Functions on [0,1] with positive fractional series coefficients and symmetric under x->1-x

Suppose a function $g(x)$ has a convergent power series expansion with real (not necessarily integer or rational) exponents on $[0,1]$ of the form
$$
g(x)=\frac{1}{x^\delta}(1+\sum_{i=1}^\infty c_i x^{...

**5**

votes

**0**answers

51 views

### Value of prolate speroidal wave function at 0

I have a very basic question about prolate speroidal wave functions that can be defined as eigenfunctions to the following integral equation:
$$
\lambda\cdot \psi(x) = \int_{-1}^{1}\frac{\sin 2c(x-y)}{...

**5**

votes

**0**answers

66 views

### Rate of convergence of Riemann sum of quasi-regular functions

The following result is well-known (I consider the 3-dimensional case only):
Theorem: if $f \in H^s(\mathbb{R}^3)$ with $ s > 3/2$ is compactly supported, then
$$
\left| \int_{\mathbb{R}^3} f - \...

**5**

votes

**0**answers

120 views

### behaviour of first eigenfunction near the boundary

Consider $\Omega$ a smooth bounded domain in $R^N$ and suppose $ \phi_1(x)>0$ is the first eigenfunction of $ -\Delta$ in $H_0^1(\Omega)$ normalized however one chooses.
My interest is in how $ \...

**5**

votes

**0**answers

117 views

### Hyperbolic toral automorphisms, and maximizing over orbits the minimum along an orbit of a function

Setup:
Let $\phi\colon T^2 \to T^2$ be a hyperbolic toral automorphism. Let $f\colon T^2 \to \mathbb{R}$ be a continuous function.
For $x \in T^2$, let $\underline{f}(x) = \inf_{n \in \mathbb{Z}} f(\...

**5**

votes

**0**answers

128 views

### Unit eigenvalue of the linearized Poincare return map

Consider a surface $S$ and a vector field on the surface which has a closed orbit. The vector field on both sides of the closed orbit spirals towards it, which gives us that the linearized Poincare ...

**5**

votes

**0**answers

400 views

### Inverse Function Theorem on Zygmund Spaces, is the inverse in the same Zygmund Space?

Preliminary Definitions
Let $\Omega \subset \mathbb{R}^n$ be open. We define the Zygmund spaces $C^r_{*}(\Omega)$ with $r>0$, $r \in \mathbb{R}$ in the following way: (all the functions are ...