Special functions, orthogonal polynomials, harmonic analysis, ODE's, differential relations, calculus of variations, approximations, expansions, asymptotics.

learn more… | top users | synonyms (2)

0
votes
0answers
58 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
1answer
117 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
3answers
523 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
1answer
103 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
1answer
237 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
1answer
88 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 ...
0
votes
0answers
35 views

Inverse Barnes G(n) function?

It is known that Barnes $G$-function is an analytic continuation of the $G$-function defined in the construction of the Glaisher-Kinkelin constant. http://mathworld.wolfram.com/BarnesG-Function.html ...
6
votes
3answers
452 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
0answers
61 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
1answer
132 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 ...
51
votes
1answer
2k 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 ...
4
votes
1answer
136 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
3answers
305 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
2answers
144 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
1answer
195 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
1answer
126 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 + ...
10
votes
1answer
258 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
1answer
165 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 ...
25
votes
2answers
1k 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
2answers
148 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$ ...
6
votes
1answer
336 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
1answer
121 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 ...
9
votes
3answers
505 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 ...
42
votes
2answers
1k 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
2answers
928 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
1answer
207 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
0answers
95 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
1answer
95 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
1answer
120 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
1answer
171 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
1answer
63 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
1answer
118 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
0answers
68 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
2answers
87 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
1answer
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
1answer
269 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
2answers
283 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
1answer
137 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
1answer
67 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 ...
3
votes
1answer
264 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
1answer
192 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
1answer
45 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
0answers
122 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
1answer
67 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
0answers
151 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
1answer
188 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
1answer
824 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
0answers
54 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
1answer
179 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
1answer
142 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 ...