**14**

votes

**2**answers

998 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

274 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

105 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

146 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

173 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

67 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

122 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

82 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

91 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

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

**5**

votes

**2**answers

308 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

145 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

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

**4**

votes

**1**answer

356 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

238 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

48 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

128 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

159 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

203 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

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

**1**

vote

**0**answers

57 views

### Sufficient conditions for sums of Laguerre polynomials to be non-negative

I am interested in sufficient conditions on non-negative sequences of coefficients $\{c_{2n}\}_{n\ge 0}$ guaranteeing that
$$%\begin{equation}\label{cond}
\sum_{n=0}^\infty c_{2n} L_{2n}^{(1)}(x)\ge ...

**3**

votes

**1**answer

189 views

### Non-linear first order ODE

This is a two part question. On one hand, I am trying to find positive solutions of the following equation:
$$1-\frac{d}{dx}f=\frac{f\log(f)}{x}$$
for $x>1$.
If that is not possible, I would at ...

**3**

votes

**1**answer

148 views

### Infinite series - analytical solution

Analytical Solution is required for:
$$\sum_{n=0}^\infty (2n+1)\exp(-n(n+1)x),$$
$$\sum_{n=0}^\infty (2n+1)^2\exp(-n(n+1)x),$$
$$\sum_{n=0}^\infty n(n+1)(2n+1)\exp(-n(n+1)x),$$
$$\sum_{n=0}^\infty ...

**1**

vote

**0**answers

216 views

### Proof of an inequality for a linear combination of three trigonometric functions

Given a function $$f(t) = k_{1} \sin(t+\alpha) + k_{3} \sin(3t+\beta) + k_{5} \sin(5t+\gamma)$$
where $k_{1}, k_{3}$ and $k_{5}$ are all positive parameters, and the three phase angles, $ ...

**6**

votes

**0**answers

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

**2**

votes

**1**answer

39 views

### Prescribing finitely many unparameterised planar geodesics

Given a finite collection of embedded $C^\infty$ curves which pass through the origin in $\mathbb{R}^2$ with different tangent directions and never again intersect, is there a clean way of prescribing ...

**3**

votes

**2**answers

160 views

### Identifying a special function from its power series

Here is a power series, which looks a bit like a Hypergeometric function series, but I don't think that it is. Has anyone any idea what it is? Here $n,p,r$ are integers with $n\ge 0$ and $p\ge r\ge ...

**5**

votes

**2**answers

467 views

### What is the translation in Fourier transform for a function to have exp. decay at $x\to -\infty$

It is known that smooth functions with exponential decay at $\pm\infty$ are functions whose Fourier transform have analytic continuation in some suited complex strip. I was wondering what happens if ...

**1**

vote

**0**answers

79 views

### Representing quasianalytic functions in several variables

For functions in a quasianalytic Denjoy-Carleman class we have the property that their Taylor expansions at a point (the origin) determines the function. For classes that don't only contain analytic ...

**27**

votes

**2**answers

2k views

### Dynamical properties of injective continuous functions on $\mathbb{R}^d$

Let $\varphi:\mathbb{R}^d\to\mathbb{R}^d$ be an injective continuous function.
Denote by $\varphi_n$ the $n$-th iterate of $\varphi$, i.e.
$\varphi_n(x)=\varphi_{n-1}(\varphi(x))$ for all ...

**1**

vote

**3**answers

265 views

### What are the basis functions for a product space?

Let $X=L^1\left([0,1]^3\right)$,
for numerical purpose, what are the possible basis function for $X$?
In finite element method, the basis functions are tooth functions, or polynomial functions.
Is ...

**5**

votes

**1**answer

200 views

### Integral Identity Involving Bell Numbers

Is the following identity true ?
$$\int_0^\infty \frac{b(x)}{B(x)} dx \quad \overset{?}{=} \quad \int_0^\infty \frac{x!}{x^x} dx$$
where
$$b(x) = \sum_{n=1}^\infty \frac{n^x}{n^n} \qquad \text{and} ...

**2**

votes

**2**answers

168 views

### Regularity of a nonlinear ODE [Traveling wave solutions of parabolic systems]

In the book of Volpert on Traveling wave solutions of Parabolic Systems (AMS), one reads "the following assertion is readily proved and we shall not discuss it in detail". The same result is tacitely ...

**7**

votes

**1**answer

416 views

### Is the mapping $f: \mathbb{R} \rightarrow [0,1], \ x \mapsto \sum_{n=1}^\infty \frac{\lfloor x^n \rfloor \mod 2}{2^n}$ surjective?

Is the mapping
$$
f: \mathbb{R} \rightarrow [0,1], \ x \mapsto \sum_{n=1}^\infty \frac{\lfloor x^n \rfloor \mod 2}{2^n}
$$
surjective?
If not, what is its image?
If yes, what can be said about ...

**4**

votes

**1**answer

282 views

### Exact Differential Equations of Order n via Pfaffian Differential Equations?

I'm wondering if somebody could both shed some light on, & offer references for more details about, this interesting quote:
The derivation of the conditions of exact integrability of an ...

**1**

vote

**0**answers

82 views

### Does the difference quotient of an absolut cont. funct. converge in L^1?

Assume that $\mu$ is a finite Radon measure on the real line and $f$ is integrable wrt. $\mu$. Define
$F(x)=\int_{]\infty;t]}f(y)d\mu(y) $
Is the following statement true?
The functions ...

**0**

votes

**1**answer

119 views

### Stability analysis of ODE

My questions concerns the stability analysis of the following dynamical system :
$\dfrac{d}{dt} a_{i}(t) = D_{i} + \displaystyle{\sum_{j=1}^{n}L_{ij}a_{j}(t) + \sum_{j=1}^{n}\sum_{k=1}^{n} C_{ijk} ...

**11**

votes

**1**answer

1k views

### Is $\varliminf_{n \rightarrow +\infty} |n \sin n| = 0$ correct, where $n$ is an integer?

Is it true that $\varliminf_{n \rightarrow +\infty} |n \sin n| = 0$, where $n$
runs over the integers?
The existence of the limes inferior follows from Dirichlet's approximation theorem,
but the ...

**2**

votes

**0**answers

62 views

### Closed form for a simple hypergeometric q series

I've run across an interesting hypergeometric q-series that I feel must have been found before:
$\sum_{n=0}^{\infty}(-1)^n$$\frac{e^{n b y}}{\prod_{k=1}^{n}(e^{\pi k b^2}-e^{\pi k b^{-2}})} = ...

**10**

votes

**2**answers

292 views

### Simultaneous zero set of two equations in $\mathbb R^3$

Can we have positive reals $x,y,z$ with
$$ x^{\left( y^z \right)} = y^{\left( z^x \right)} = z^{\left( x^y \right)} $$ in cyclic permutation, other than the line $x=y=z$?
I put this at ...

**2**

votes

**2**answers

148 views

### Estimate of a ratio of two incomplete gamma functions

I would like to bound from above the expression
$$
\frac{\Gamma(\alpha,x)-\Gamma(\alpha,y)}{\Gamma(\beta,x)-\Gamma(\beta,y)}
$$
for $x>y>0$. By plotting the above expression I have found that ...

**1**

vote

**2**answers

214 views

### specific improper integral involving erf

I have encountered an integral, and kindly ask for help with a solution. It is beyond my own capabilities, and neither Maple nor Mathematica were of any help:
$$
\int_{1}^{\infty} ...

**4**

votes

**1**answer

166 views

### Asymptotic solution of the integral equation

What is the asymptotic solution (for $s\gg 1$) of the following integral equation $$z(s)=1+\gamma\int\limits_{-\infty}^s ds_1\int\limits_{-\infty}^{s_1}ds_2
\cos{(s_1^2-s_2^2)}z(s_2)\;?$$
In fact I ...

**1**

vote

**0**answers

92 views

### growth bound for solution of an ordinary integro-differential equation

I am considering the following ordinary integro-differential equation
$$
A g = \sigma^2(y) + \int_\mathbb{R} \nu(y,dz) z^2
$$
where
$$
A = b(y) \partial + \frac{1}{2} \sigma^2(y) \partial^2
+ ...

**2**

votes

**1**answer

130 views

### elliptic integral with singularities

I need to calculate elliptic integrals with singularities, up to a huge number of digits (250-1000). The problem is that Wolfram Mathematica can't do so many digits, and Pari intnum doesn't handle ...

**2**

votes

**0**answers

94 views

### Positiveness of the double integral

How it can be proved that the following double integral (which emerged in a physics project) $$\int\limits_{-1}^1d\tau\;\tau \int\limits_0^\infty dk\frac{k\sin{(kr\tau)}}{(1+\beta ...

**5**

votes

**1**answer

301 views

### Pseudo-differential operators with compactly supported symbols

If the symbol $p(x,\xi)$ of a pseudodifferential operator $P$ has compact $x$-support, then for any Schwartz function $f$, $Pf$ has compact $x$-support.
Is the reverse true? Namely that if some PDO ...