**7**

votes

**2**answers

418 views

### The sum of a series, continued

In this question the OP asks whether the sum
$$
f(q, \alpha) = \sum _{k=1}^{\infty } \frac{q^k \left(q^k-1\right)^\alpha}{(q;q)_k}
$$
is ever zero. An experiment with Mathematica indicates, to any ...

**12**

votes

**1**answer

163 views

### Interval arithmetic with different definitions of intervals

Interval arithmetic normally deals with intervals defined as $[a,b]$ with rules like $$[a,b]+[c,d]=[a+c,b+d]$$ I am interested in interval arithmetic with different interval definitions such as ...

**4**

votes

**1**answer

148 views

### Hyperfunctions supported at a point

Is it true that the space of hyperfunctions on $\mathbb{R}^n$ supported at 0 coincides with the space of Schwartz distributions supported at 0?
More explicitly, is it true that any hyperfunction ...

**4**

votes

**0**answers

66 views

### Applications and main properties of hyperfunctions

I am trying to get familiar with hyperfunctions, and I do have some familiarity with the classical theory of distributions.
I am wondering whether hyperfunctions have any advantages over ...

**10**

votes

**5**answers

621 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 ...

**1**

vote

**0**answers

100 views

### Algorithm for finding eigenfunctions

I have an $ L^2(\mathbb{R}) $ operator that looks like
$$
\Omega = \int \partial\phi(a, b)\ \ |b, a\rangle \langle b, a |,
$$
where $ \langle x | a, b \rangle = f_a(x - b) e^{x^2/2} $ and $ f_a \in ...

**53**

votes

**6**answers

2k views

### Why does $d^n \exp(-x-x^{-1})/(dx)^n$ only have $n$ positive real zeroes?

Set $f(x) = \exp(-x-x^{-1})$. An easy induction shows that
$$\frac{d^n}{(dx)^n} f(x) = \phi_n(x^{-1}) f(x)$$
for $\phi_n$ a polynomial of degree $2n$. Clearly, the roots of $\phi_n(x^{-1})$ are the ...

**10**

votes

**2**answers

656 views

### What's a good introduction to category theory for someone doing analysis?

I do functional analysis, and diagrams are popping all over the place. It is about time I learned me some category theory.
Any recommendations?

**0**

votes

**1**answer

87 views

### Fit a system of linear ODEs from several experiments

Assume we are given several initial vectors $x^{(1)},\ldots,x^{(r)} \in \mathbb{R}^n$, where the dimension $n=6$ (in any event a number below 10) , and the number of initial vectors $r$ is in the ...

**0**

votes

**0**answers

34 views

### Explicit solution for a variational inequality?

Assume $\eta_t \in \mathbb{R}$ is a given continuous function depending on time.
It is known that if we look for a continuous solution $\zeta_t \in \mathbb{R}$ depending on time of the following ...

**27**

votes

**5**answers

1k views

### How many rearrangements must fail to alter the value of a sum before you conclude that none do?

This will not be altogether unrelated to this earlier question.
For which classes $C$ of bijections from $\{1,2,3,\ldots\}$ to itself is it the case that for all sequences $\{a_i\}_{i=1}^\infty$ of ...

**1**

vote

**0**answers

29 views

### Error bounds for approximation with dyadic sums of polynomials

Are there any bounds known for approximating a genuine multidimensional polynomial function with a sum one-dimensional polynomials over the independent variables?
In the 2-dimensional case the ...

**0**

votes

**0**answers

91 views

### Integral inequality with Hardy's inequality

Let $f\in C_{0}^{\infty}((-1,1))$. Prove that for any $t\in (-1,1)$ we have
$$(f(t))^4\le ...

**2**

votes

**0**answers

70 views

### Point Spectrum of a Second Order System of Differential Equations

Consider the following operator acting on $H^1(\mathbb{R})$
$$
\mathcal{L} \left(\begin{array}{c} \phi \\ \psi \end{array}\right) = -\left(\begin{array}{c} \phi \\ \psi \end{array}\right)'' + V(x) ...

**3**

votes

**1**answer

137 views

### Symplectic geometry and stability of orbits

I am looking for a theorem (read it once, but forgot about it and would now like to find a reference with proof):
In symplectic geometry (at least for some particular subset of $\mathbb{R}^2$), there ...

**18**

votes

**1**answer

494 views

### Rearrangements that never change the value of a sum

I posted this question on math.stackexchange.com and so far the only answer posted (also mentioned in the comments under the question) shows that one of my rash initial guesses about the bottom-line ...

**0**

votes

**0**answers

38 views

### Distance minimization and submodular functions

I have a question about square distance minimization and submodular functions. Suppose I have a random variable $X = (X_1,...,X_n)$ over $\mathbb{R}^n$. Let $x$ be a realization of this random ...

**2**

votes

**1**answer

105 views

### Two ODEs, why is one the solution of the other? (Caratheodory ODE)

This question is based on Zeidler II/B, Problem 30.2.
Consider the ODE: find $u:[0,T] \to \mathbb{R}^n$ s.t.
$$u'(t) = F(t,u(t))$$
$$u(0) = u_0$$
given $F:[0,T]\times \mathbb{R}^n \to \mathbb{R}^n$ ...

**0**

votes

**0**answers

70 views

### Is there a space in which the $\vec a$ in $\sin(a_1\cdot x)+\sin(a_2\cdot x)$ is linear?

Suppose one has equations of the form $\sin(a_1\cdot x_i)+\sin(a_2\cdot x_i)=y_i$ for $i = 1, \dots, n$ (there are also amplitudes and phase shifts, but let's ignore these for now). I want to solve ...

**1**

vote

**1**answer

78 views

### Runge-Kutta convergence [closed]

I am facing a problem solving a ODE with a Runge-Kutta 4th order method:
The expression in order to solve is :
\begin{equation}
Ay^{''}+By^{'}+Cy= Cu
\end{equation}
\begin{equation}
y =OUTPUT
...

**5**

votes

**1**answer

252 views

### Derivative in terms of finite differences

Consider expanding the differentiation operator in terms of the forward difference operator as $f' = \log(1 + \Delta)f = \displaystyle \sum_{n = 1}^{\infty} \frac{(-1)^{n + 1}\Delta^n f}{n}$. For some ...

**0**

votes

**0**answers

39 views

### Systems of stochastic differential equations with non-Lipschitz coefficients

I am looking for references to any literature which might consider the existence / behavior / regularity of solutions to systems of stochastic differential equations with non-Lipschitz coefficients.
...

**2**

votes

**1**answer

159 views

### Hamiltonian flow local diffeomorphism?

I am currently reading Arnold's proof of the Darboux theorem in his book on classical mechanics and fail to understand some point.
The background
So he wants to show that any symplectic form is ...

**2**

votes

**2**answers

249 views

### Reference request: using integral equations to study asymptotics of ODEs

I was told by my supervisor that one way to study the asymptotic behaviour of solutions to ODEs is "to reformulate them as integral equations, and use fixed-point kind theorems on the resulting ...

**1**

vote

**0**answers

48 views

### Most general hypotheses to have matrix-exponential as solution of linear matrix-ODE? [closed]

What are the most general hypotheses under which the exponential function $\exp(-B(t))$, with $B(t)$ the indefinite integral of a real Lebesgue-integrable $d\times d$-matrix function $A(t)$, solves ...

**0**

votes

**2**answers

108 views

### Class of analytically-integrable divergence-free vector fields?

Is there an "interesting" class of analytically-integrable, divergence-free vector fields over $\mathbb{R}^2$ and/or $\mathbb{R}^3$?
That is, I'm looking for a large class of vector fields given by ...

**7**

votes

**2**answers

171 views

### Integral inequality similar to Hardy's inequality

I am not very sure if that's research level, I hope you don't find it too elementary for this place.
I am trying to solve the following puzzle:
We are given a real function $f$, where $f(x) \geq 0$ ...

**0**

votes

**0**answers

59 views

### When is the discrete logarithmic energy not approximable by its ostensibly more general counterparts?

In my answer at Maximum of the Vandermonde determinant / minimum of the logarithmic energy it is shown that
that for each large enough natural $n$ there is some $a=(a_0,\dots,a_{n-1})$ with ...

**14**

votes

**4**answers

477 views

### Maximum of the Vandermonde determinant / minimum of the logarithmic energy

The problem is to find the asymptotics (as $n\to\infty$) of the maximum (say $M_n$) of the Vandermonde determinant
$$V_n:=\prod_{0\le i<j\le n-1}(a_j-a_i)
$$
over all $a_0,\dots,a_{n-1}$ such ...

**2**

votes

**1**answer

207 views

### An elementary functional inequality

Let $g$ be a $C^1$ function with $g(0)=0$ and $g(t)>0$ for all $t>0$. I am surprised that for all such $g$ the following seems to hold
$\frac{\int_0^t(g'(s))^2ds}{g^2(t)}\geq \frac{1}{t}$ for ...

**1**

vote

**1**answer

88 views

### Convergence of sequence of polynomials defined by boundary conditions

I'm sorry if my question sounds trivial, but analysis is not my field.
Consider the interval $[a,b]\subset \mathbb{R}$. On $[a,b]$, for every $n\in\mathbb{N}$, $n\ge 3$, I define the polynomials ...

**5**

votes

**1**answer

177 views

### Unicity of additive, $(-1)$-homogeneous, and shift invariant probability measures on $\mathbf N^+$

Let $\mathcal D$ be the set of all (finitely) additive probability measures $\mu^\ast: \mathcal P(\mathbf N^+) \to [0,\infty[$ such that $\mu^\ast(k \cdot X + h) = \frac{1}{k} \mu^\ast(X)$ for all $X ...

**2**

votes

**0**answers

72 views

### Does there exist $k\ge2$ s.t. $X \subseteq \mathbf N^+$ has positive upper Banach density if the counting function of $X$ is $\gg n/\log^{[k]}(n)$?

Does there exist an integer $k \ge 1$ such that ${\sf bd}^\ast(X) > 0$ whenever $X \subseteq \mathbf N^+$ and $\pi_X(n) \gg \frac{n}{\log^{[k]}(n)}$ as $n \to \infty$? Here, ${\sf bd}^\ast$ is the ...

**0**

votes

**0**answers

93 views

### The following ODE global existence theorem reference?

There is an ODE existence theorem of the form:
Let $f:[a,b]\times \mathbb{R}^n \to \mathbb{R}^n$ be a Caratheodory function.
Suppose that there is a constant $c$ such that if $y$ is a ...

**2**

votes

**2**answers

137 views

### Are all mixtures of these unimodal functions unimodal?

Let us say that a function $F\colon(0,\infty)\to\mathbb{R}$ is increasing-decreasing if, for some $c\in[0,\infty]$, $F$ is non-decreasing on $(0,c]$ and non-increasing on $[c,\infty)$. Is it true that ...

**4**

votes

**1**answer

269 views

### Ref. request: Additive probability measure on $\mathcal P({\bf N})$ supplies subset of $\mathbf R$ without Baire property

ZFC proves, among the other things, the existence of a (finitely) additive probability measure $\theta: \mathcal P(\mathbf N) \to \mathbf R$ on the power set of $\mathbf N$ such that $\theta(X) = 0$ ...

**2**

votes

**1**answer

87 views

### Numerical solution of singular ODE

Consider the singular ODE
$y''+\frac{y'}{r}+p(r)y=0 \ \ with \ \ y(0)=1 \ \ and \ \ y'(0)=0$.
Theoretically such solution exists and is unique if $p$ is nice. Is there a method to numerically ...

**4**

votes

**0**answers

3k views

### Eliminating Gibbs phenomenon, and approximating with jumping functions in Fourier Analysis : An attempt and a question in this regard

This problem seems like a nightmare to me. I tried to expand
$K_{\omega}^f(t)$, but I am clueless of getting some kind of a closed
form or some kernel like structure. If I try to take ...

**1**

vote

**0**answers

180 views

### p-adic asymptotic analysis

There is a huge field of asymptotic expansions and such over the real and complex fields (see Bender and Orszag, or Copson, or Whittaker and Watson). How different is the theory over p-adic fields? ...

**4**

votes

**0**answers

166 views

### Evaluate a multiple integral

I want to compute this integral and I would appreciate any help: $N\geq 1$ is fixed.
$$I_N=\int_{0\le r_n\le r_{n-1}\le\cdots\le r_1} e^{-(r_1^2+\cdots+r_n^2)} \prod_{i<j} \sinh(r_i-r_j) ...

**1**

vote

**0**answers

141 views

### First to note the relation between Stasheff polytopes (associahedra) and compositional inversion?

In my answer to MO-Q: Enumerative geometry and nonlinear waves, I outline the relation between the refined face polynomials of the Stasheff polytopes (associahedra) and the partition polynomials for ...

**10**

votes

**2**answers

475 views

### The space of polynomials with all real roots

The question stems from an attempt to answer a question of David Speyer. Let $R \subseteq \mathbb{R}^n$ be the space of coefficients of all polynomials of degree $n$ whose all roots are real, i.e.
$R ...

**50**

votes

**3**answers

5k views

### Is this differential identity known?

Recently I discovered the differential identity
$$ \frac{d^{k+1}}{dx^{k+1}} (1+x^2)^{k/2} = \frac{(1 \times 3 \times \dots \times k)^2}{(1+x^2)^{(k+2)/2}}$$
valid for any odd natural number $k$; for ...

**2**

votes

**1**answer

149 views

### Construct smooth functions with prescribed derivatives

To be specific, suppose we are given a sequence of smooth functions $\{f_k\}_{k\geq 0}$ on flat torus $\mathbf{T}^2$(you may think of it as doubly periodic functions on $\mathbf{R}^2$ and smooth).
...

**6**

votes

**1**answer

317 views

### Dominated convergence to characteristic function

Let $\phi_m(x):=\chi_{[0,1]} * \chi_{[0,1]} *...* \chi_{[0,1]}$ be the m -times convolution (so $m+1$ characteristic functions are involved).
Then the Fourier transform of this function is given by
...

**3**

votes

**2**answers

421 views

### Who needs a symmetric upper asymptotic density on the integers?

The upper asymptotic density on $\mathbf Z$, viz. the function
$$
{\sf d}^\ast: \mathcal P(\mathbf Z) \to [0,1]: X \mapsto \limsup_{n \to \infty} \frac{|X \cap [1,n]|}{n},
$$
has a ''symmetric ...

**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 ...

**25**

votes

**0**answers

527 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 + ...

**7**

votes

**2**answers

306 views

### Radial limit does not exist almost everywhere

Problem 4 in Chapter 4 of Stein's book "Real Analysis" says
$\sum_{n\geqslant 0}z^{2^n}$
doesn't have radial limit as $z$ approaches the unit circle from inside almost everywhere. It's fairly easy ...

**3**

votes

**0**answers

106 views

### Reference for a lemma on the asymptotic upper density of special sets with large gaps and intervals

Update. Based on Anthony Quas' comment below, the proof can be made sensibly shorter and the lemma can be slightly generalized by weakening the old assumption (iii).
In a joint paper that I am ...