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

87 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

574 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

63 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

123 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

634 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

258 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

494 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

228 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

382 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

152 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

368 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

168 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

235 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

346 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

169 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

531 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

312 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

112 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

162 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

125 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

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

**7**

votes

**2**answers

95 views

### Bounds on coefficients of factors of a multivariate polynomial

Given a multivariate polynomial $F(x, y, ..)$ what is the smallest bound B that can be quickly found such that $|G|_{\infty} \le B$ for all factors $G$ of $F$. (I'm using $|G|_{\infty}$ to denote the ...

**0**

votes

**1**answer

158 views

### Problem with understanding an equation

I have read the article Short-wavelength Spectral Properties of the Gravity Field from a Range of Regional Data Sets and I don't know how to interpret Equation (10) on
page 630, because this equation ...

**4**

votes

**1**answer

356 views

### Is there a differentiable but nonsmooth version of the continuous Implicit Function Theorem?

From the result discussed in Does the inverse function theorem hold for everywhere differentiable maps? (which I'll call the differentiable nonsmooth Inverse Function Theorem) one can obtain a ...

**6**

votes

**2**answers

327 views

### Thurston-Cannon $S^2$-filling curves

I have been looking into equivariant space-filling curves $S^1\to S^2$ as discussed by Cannon & Thurston in these two papers:
Three-Dimensional Manifolds, Kleinian Groups and Hyperbolic Geometry
...

**2**

votes

**1**answer

150 views

### Parameter dependent differential equation in a Lie group

It is well-known that a linear differential equation in a finite-dimensional vector space depends continuously on some external parameters (for details see below). I search for an explicit reference ...

**2**

votes

**1**answer

85 views

### Gradient of Ronkin function

I have a complex curve $P(z,w)=z+w-1=0$. I get the amoeba map
$$(z,w)\rightarrow (\log|z|,\log|w|)$$ of this curve. It's look like this http://en.wikipedia.org/wiki/Amoeba_(mathematics) (the first ...

**5**

votes

**1**answer

427 views

### Integral of a product of Laguerre polynomials

In order to estimate the non linear term in a particular PDE, I have to decompose $L_k^\alpha(x)^3\cdot x^{-\delta}$ (with $0<\delta<\alpha+1$) into a basis consisting of Laguerre polynomials ...

**2**

votes

**1**answer

259 views

### A special case of the Divergence theorem

I am interested in the following statement:
Let $F$ be a vector field in $\mathbb{R}^n$ that is $C^1$-smooth in a
domain $U$, continuous up to the boundary $\partial U$, and vanishing on ...

**3**

votes

**1**answer

50 views

### Hopf bifurcation for systems where the dynamics is homogeneous of degree 1

Consider dynamical system in dimension 3
$$x'(t)=f(x(t),d)$$
where the dynamics f is homogeneous of degree 1 and there is exactly one
line of equilibrium points. This line is independent of the ...

**2**

votes

**0**answers

131 views

### How many ways we have to prove that a topologically (or analytically) nice mapping is injective?

I would like to know what are the methods people have used to prove that a topologically (or analytically) nice mapping $f: B\to \Omega$ is injective? Above, $B$ is the unit ball in $\Bbb R^n$ and ...

**1**

vote

**1**answer

70 views

### variational problem related to an integral

Recently I came up with a type of variational problem in stochastic process.
It can be stated in the following way:
Given $a$ and $b$ positive, and an increasing function $f$ on $(0,1)$ (may be not ...

**1**

vote

**0**answers

163 views

### matrix Khintchine inequality

The usual Khintchine inequality says that if $\{\epsilon_n\}_{n = 1}^N$ are i.i.d. random variables with $\mathbb{P}(\epsilon_n = \pm 1) = \frac{1}{2}$ for each $n$ then
\begin{equation*}
\left( ...

**3**

votes

**1**answer

207 views

### Asymptotic behavior for the solution of a nonlinear ODE

In a nutshell, if $u$ is a solution to
$$
\partial_r^2 u(r)+ \frac{1}{r} \partial_r u(r) - u(r) ( 1- u(r)) = 0, \quad \text{for} \; r>r_0>0\\
\lim_{r \to \infty} u(r) = 0,
\quad \text{and} ...

**8**

votes

**1**answer

892 views

### If $f$ is $C^{\infty}$ and $f^2$ is analytic, then $f$ is analytic

Assume that $f:\mathbb{C}^n\rightarrow \mathbb{C}$ is a $C^{\infty}$ function such that $f^2$ is (complex) analytic. Then one can show that $f$ is analytic. (Note: Liviu Nicolaescu and Alexandre ...