**4**

votes

**2**answers

312 views

### An integral related to the Euler Gamma function

The question is from the paper http://arxiv.org/abs/1312.7115 (A curious formula related to the Euler Gamma function, by Bakir Farhi): is it possible to express the integral
$$\eta=2\int\limits_0^1 ...

**2**

votes

**1**answer

80 views

### radius of the ball where the inverse of Lipschitz maps exists

I am aware of the inverse function theorem for Lipschitz maps, which uses the notion of generalised derivative $δ_{x_0} f$ of a Lipschitz map $f$, due to F.H.Clarke:
Teorem. Let $f : U ⊂ \mathbb{R}^n ...

**3**

votes

**1**answer

237 views

### Exponential mapping versus flow

In Hamilton's article on the Nash-Moser Theorem, he gives the map that maps a vector field $X$ to its flow $e^{tX}$ in $\mathrm{Diff}(M)$ as an example where the implicit function theorem in Frechet ...

**5**

votes

**2**answers

201 views

### Algebraic characterization of real differentiation

I've seen some previous questions that show that the derivative operator on the set of smooth functions can be given by the Leibniz rule and/or chain rule and some other axioms.
Is there a similar ...

**4**

votes

**1**answer

510 views

### The Weyl algebra modules which are also rings

Consider the space $C^\infty(\mathbb{R})$. We have on it a natural action of the Weyl algebra generated by $x$ and $d/dx$, where $x$ is the coordinate on $\mathbb{R}$, and there is plenty of Weyl ...

**7**

votes

**1**answer

518 views

### Ramanujan's problem 754 still open?

In addition to the MO question The Ramanujan Problems. , I would like to ask the following.
Problem 754 from the list of the Ramanujan's problems ( ...

**9**

votes

**1**answer

563 views

### Real-rootedness, interlacing, root-bounds of a sequence of polynomials

Problem: the number $a(n,k)$ is defined by the following recurrence
\begin{equation}
a(n,k)=(k+1)(k+2)\, a(n-1, k)+\frac{(k+1)(k+2)(k+3)}{k} \,a(n-1, k-1),
\end{equation}
with $a(1,1)=1$ and ...

**1**

vote

**1**answer

185 views

### Find a bijection near to a given surjection

Let $X$, $Y$ be Banach spaces with the same cardinality and $f: X \rightarrow Y$ be a surjection. Is it possible for $\varepsilon >0$ to find a bijection $g: X \rightarrow Y$ such that
...

**4**

votes

**2**answers

126 views

### Reference for the fact that the images of the narrow and wide Denjoy integrals are respectively $ACG_\ast$ and $ACG$?

The narrow Denjoy integral (which also goes by the names Henstock-Kurzweil integral, Perron integral, and Lusin integral) is a transfinite integration process defined by Denjoy in the early 20th ...

**27**

votes

**0**answers

1k views

### Prove that there exists $n\in\mathbb{N}$ such that $f^{(n)}$ has at least n+1 zeros on $(-1,1)$

Let $f\in C^{\infty}(\mathbb{R},\mathbb{R})$ such that $f(x)=0$ on $\mathbb{R}\setminus (-1,1)$. Prove that there exists $n\in\mathbb{N}$ such that $f^{(n)}$ has at least $n+1$ zeros on $(-1,1)$
...

**0**

votes

**1**answer

333 views

### Pros and cons of probability model for permutations

I am studying probability model of random permetuation
Let $b(n; k)$ denote the number of permutations of {1,...,n} with precisely k
inversions ($inv(\pi)$). The analytic approach was considered by ...

**4**

votes

**1**answer

155 views

### Delay Differential Equations Numerical methods

I have a general question about delay differential equations. I know that even simple ones hardly have analytic solutions and mine clearly doesn't have any as it is a system of non-linear delay ...

**1**

vote

**1**answer

91 views

### Implicit function theorem for boundary value problems

I have a nonlinear, two point boundary value problem of the form
$F(x, y(x), y'(x); \Omega ) = y''$ along with some boundary conditions of the form $y_\Omega(0) = a_\Omega, y_{\Omega}(1) = b_\Omega$. ...

**1**

vote

**1**answer

165 views

### Absolute convergence of multi-dimensional Fourier series

For a Lipschitz function $f$ defined in $[0,2\pi]^d$ for $d>1$, is that true
that the multi-dimensional Fourier series converges absolutely?
In other words, $\sum_{k\in ...

**1**

vote

**1**answer

133 views

### Characterization of a particular integrable function

Let $f$ be a strictly positive function such that $\int_{0}^{\infty}f(x)dx=\int_{0}^{\infty}xf(x)=1$ (i.e., a probability density function with expectation one). Let also $g$ be a nonnegative ...

**0**

votes

**0**answers

88 views

### Detailed Taxonomy of Multivariate Real Functions: $\mathbb{R}^n\rightarrow\mathbb{R}$

I want to classify the following functions:
$$ f:(x,y)\in\mathbb{R}\times\mathbb{R}\rightarrow\sqrt{(x+1)^2+y^2}+\sqrt{(x-1)^2+y^2}-2$$
$$ ...

**0**

votes

**1**answer

78 views

### Examples of Bivariate Analytic, Globally Continuous Functions, whose Set of Zeros are Boundaries of Polygons

Are there any known examples of analytic, globally continuous functions $f(x,y): (x,y)\in\mathbb{R}\times\mathbb{R}\rightarrow\mathbb{R}$ such that
$$f(x,y)\lt 0\Leftrightarrow ...

**5**

votes

**1**answer

576 views

### Solve $f(x)=\int_{x-1}^{x+1} f(t) \mathrm{d}t$

Solve $f(x)=\int_{x-1}^{x+1} f(t) \mathrm{d}t$.
When $f$ is a function, it looks like the only solution is $f(x)=0$. But what if we allow distributions, such as the Dirac delta?

**0**

votes

**0**answers

64 views

### Does there exists $f\in A_{\mathbb R}(\mathbb T)$ with $||f||=r$ such that $||e^{if}||=e^{r}$?

Let $\mathbb Z$, the set of integers, be a group with respect to addition and its dual group is the $\mathbb T = \{z\in \mathbb C : |z|=1\}$ , one dimensional torus. Put,
$\ell^{1}(\mathbb Z)= ...

**2**

votes

**1**answer

124 views

### Is there a dense rational sequence of positive separation?

Let us consider the set $\ell_\neq$ of bounded sequences of unequal real terms. We use the following descriptions. A sequence $x=(x_0,x_1,...)\in\ell_\neq$ is dense if, for all $\varepsilon>0$, ...

**7**

votes

**3**answers

640 views

### history of calculus of several variables

Everybody knows that Leibniz and Newton (or Newton and Leibniz, if you wish) invented calculus, i.e. they developed the notion of differentiability for a function of one real variable. But who had for ...

**0**

votes

**1**answer

105 views

### Positive kernel property

Let $k:[0,1]^2\rightarrow (0,+\infty)$ be a continuous function and let
$f,g:[0,1]\rightarrow (0,+\infty)$ be measurable functions. We assume that
$$\forall x\in [0,1],\quad
f(x)=\int_0^1 k(x,y) g(y) ...

**1**

vote

**1**answer

260 views

### Convergence of a Trigonometric Series

After working with a Fourier series for a while, I realized that it would be of great help to me if I could prove that the following limit is zero:
$$\lim_{N\to\infty}_{N\in ...

**0**

votes

**1**answer

112 views

### Energy of repeated filter

For given sequences $a=(a_1, a_2, \cdots)$ and $b=(b_1, b_2, \cdots)$, define
$$a \star b$$ as the convolution. Formally, $$c=a \star b$$ implies the $i$th element of $c$, $c_i$, satisfies the ...

**6**

votes

**3**answers

502 views

### Taylor series coefficients

This question arose in connection with A hard integral identity on MATH.SE.
Let
$$f(x)=\arctan{\left (\frac{S(x)}{\pi+S(x)}\right)}$$
with $S(x)=\operatorname{arctanh} x -\arctan x$, and let
...

**1**

vote

**0**answers

65 views

### Estimation of part of parameters from an ODE

Suppose, we have an ODE
$$ \frac{dy}{dt}= f(t,y;p',a)$$
or alternatively
$$ \frac{dy}{dt}= f(t,y;p)$$
where the set of all parameters $p = (p',a)$. We only need to estimate part of parameter set ...

**1**

vote

**1**answer

134 views

### Is the speed of a curve in $ \ell^\infty $ zero a.e. if the derivative of each component is zero a.e.?

Let $ A $ be an $ \mathcal{H}^1$-measurable subset of $ \mathbb{R} $ and $ \gamma \colon A \subseteq \mathbb{R} \to \ell^\infty $ be a Lipschitz mapping with the Lipschitz constant $ L $. Also, assume ...

**55**

votes

**1**answer

3k views

### A hard integral identity on MATH.SE

The following identity on MATH.SE
$$\int_0^{1}\arctan\left(\frac{\mathrm{arctanh}\ x-\arctan{x}}{\pi+\mathrm{arctanh}\ x-\arctan{x}}\right)\frac{dx}{x}=\frac{\pi}{8}\log\frac{\pi^2}{8}$$
seems to be ...

**5**

votes

**2**answers

233 views

### Local positivity of solutions to linear differential inequalities (Chaplygin's theorem)

According to the entry "Differential inequality" of the Encyclopedia of Mathematics
http://www.encyclopediaofmath.org/index.php/Differential_inequality
the following result is due to Chaplygin ...

**10**

votes

**3**answers

387 views

### The intersection of $n$ cylinders in $3$-dimensional space

A standard question in vector calculus is to calculate the volume of the shape carved out by the intersection of $2$ or $3$ perpendicular cylinders of radius $1$ in three dimensional space. Such ...

**5**

votes

**2**answers

153 views

### Decidability of differential equations

Is there anything well-known about the algorithmic decidability of the satisfiability of an ODE $\dot{x}=f(x)$, $x: [0,1]\to R^n$ with an initial condition $x(0)=x_0$, given that $f(x)$ belongs to ...

**9**

votes

**1**answer

198 views

### Is it always possible to “encircle” exactly $n$ points in an infinite subset of $\mathbb{R}^d$ without limit points?

Let $d$ be a positive integer, and let $\mathbb{R}^d$ be endowed with the
Euclidean metric. Given an infinite set $S \subset \mathbb{R}^d$ without limit points
and a positive integer $n$, is there ...

**1**

vote

**1**answer

129 views

### Pohozaev result for equations with weights

I am interested in nonnegative solutions of
$-div( e^{-\gamma(x)} \nabla u(x)) = e^{-\gamma(x)} u(x)^p$ in $\Omega$ with $ u=0$ on $ \partial \Omega$.
Or instead the equation $ -\Delta u + ...

**13**

votes

**1**answer

369 views

### Lower-Hölder embeddings of the sphere

My question is very simple:
Given $d\ge 3$, does there exist $s\in (0,1)$ and an embedding $f:S^{d-1}\to \mathbb{R}^d$ such that
$$
|f(x)-f(y)| \ge |x-y|^s \quad\textrm{if } |x-y|<r,
$$
for ...

**3**

votes

**1**answer

170 views

### Fundamental proof of the baby case of Hofer's theorem about displacement energy

In 1990, Hofer proved that the displacement energy of a standard ball in $C^{n}$ equals it's Gromov area.
Here is the baby case: Consider a smooth bounded function $f:R^{2}\rightarrow R$. Consider ...

**28**

votes

**1**answer

2k views

### Geometric interpretation of the half-derivative?

For $f(x)=x$, the half-derivative of $f$ is
$$\frac{d^{\frac{1}{2}}}{dx^{\frac{1}{2}}} x = 2 \sqrt{\frac{x}{\pi}} \;.$$
Is there some geometric interpretation of (Q1) this specific derivative, and, ...

**3**

votes

**2**answers

244 views

### The epigraph of a semi-convex function has positive reach

I've been trying to prove the following theorem for several hours with no result so far.
Claim. Let $f:\mathbb{R} \to \mathbb{R}$ be a semi-convex function, i.e. there exists a constant $C > 0$ ...

**7**

votes

**1**answer

347 views

### Find functions such that f(f(x))=f(x)e^x

Are there monotonically increasing functions $f:\mathbb{R}\to\mathbb{R}$ such that $f(f(x)) = e^x f(x)$?

**2**

votes

**1**answer

172 views

### Is Poisson's kernel integrable?

Let $E$ be a smooth domain. Green's function is defined as $G(x,y)=F(x,y)-\Phi(x,y)$ where $F$ is the fundamental solution to the Laplace equation. For a fixed $x\in E$, $\Phi(x,\cdot)$ is a harmonic ...

**10**

votes

**3**answers

536 views

### Relating the roots of polynomials to the solution sets of certain functional equations

Consider a functional equation of the following form:
$$\sum_{k=0}^n a_k\,\underbrace{f(f(\cdots f}_{k}(x)\cdots )=0\quad \big(f:\,\mathbb{R}\to\mathbb{R},\;a_i\in ...

**43**

votes

**2**answers

2k views

### Is a function with nowhere vanishing derivatives analytic?

My question is the following: Let $f\in C^\infty(a,b)$, such that $f^{(n)}(x)\ne 0$, for every $n\in\mathbb N$, and every $x\in (a,b)$. Does that imply that $f$ is real analytic?
EDIT. According to a ...

**14**

votes

**2**answers

1k views

### Generalization of Darboux's Theorem

Darboux's Theorem. If $f:[a,b]\to\mathbb R$ is differentiable and $f'(a)<\xi<f'(b)$, then there exists a $c\in (a,b)$, such that $\,f'(c)=\xi$.
Does any of the following generalizations
Let ...

**6**

votes

**1**answer

328 views

### Alternative proof of Lojasiewicz inequality

is there a "brute force proof" of the Lojasiewicz inequality? By "brute force" i mean without introducing the machinery of semianalytic sets and so on but only using elementary results (i.e. standard ...

**2**

votes

**0**answers

96 views

### A two dimensional integral equation

I have the following integral equation:
$\phi(x, y) = \frac{a}{x-y} \int_y^x \phi(s, y) ds + \frac{b}{x-y} \int_y^x \phi(x, s) ds$
where $a > 1$ and $b> 1$ are constants, and $x \geq y$. The ...

**1**

vote

**1**answer

115 views

### Compactly supported smooth function with Laplace transform bounded on a cone

My question is if it is possible to find a compactly supported smooth function $\varphi:\mathbf{R}\to \mathbf{R}$ s.t. the following integration $\int_{\mathbf{R}}\varphi(t)e^{itx}e^{tx}dt$ stays ...

**0**

votes

**1**answer

165 views

### Lipschitz boundary vs rectifiable curve boundary

I was looking at an old paper about domains with Lipschitz boundary. I am wondering, suppose that the boundary of a compact domain homeomorphic to a disk is a rectifiable injective curve : is this ...

**1**

vote

**1**answer

174 views

### Number of solutions of a system of equation!

Let $\Theta =(\theta_1,\ldots, \theta_n)\in {\mathbb T}^n$. I want to show that the system of equations
$$
\sum_j 2\sin(\theta_i -\theta_j)+\sin(2\theta_i -2\theta_j) =0,\ \ i=1,\ldots, n,
$$
has ...

**2**

votes

**1**answer

69 views

### Expressions in “continued” monotone functions

Recall continued fractions: http://en.wikipedia.org/wiki/Continued_fraction
Now take a look at this question: ...

**-5**

votes

**1**answer

126 views

### Solution of $y'' - ax y' - y = 0$ [closed]

I am looking for solutions $y(x)$, $x$ positive, for the ODE
$y''(x) - a x y'(x) - y(x) = 0$,
where $a$ is any real number. It seems not to be any of the usual ODEs (i.e. those listet on Wikipedia), ...

**2**

votes

**0**answers

89 views

### From Selberg integral to Dyson integral

My question is from the drivation from Slberg integral to Dyson integral in this paper:
Selberg integral :
$$ S_n(\alpha,\beta,\gamma) =
\int_0 ^1 \cdots \int_0 ^1
\prod_{i=1}^n ...