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

learn more… | top users | synonyms (2)

-1
votes
1answer
120 views

Method of steepest descents for $\int_0^\infty\exp(iz(\frac{1}{3}t^3+t))dt\sim\frac{i}{z}$

Through some calculations I ended up with the integral $\int_0^\infty\exp(iz(\frac{1}{3}t^3+t))dt$. I would like to obtain the result that the behaviour of the integral is $\sim\frac{i}{z}$ as ...
6
votes
1answer
129 views

Oscillatory integrals of algebraic functions

Consider an algebraic function $\phi$ on $R^{d}$. By this I mean that there exists a polynomial $P$ with coefficients in $R[x_1,...,x_d]$ (coefficients are polynomials!) such that $P(\phi) = 0$ Let ...
-1
votes
1answer
97 views

A proof for $[(f^k)^{(n)}]^2 \geq (f^{k-1})^{(n)} (f^{k+1})^{(n)}$

I want to show $[(f^k)^{(n)}]^2 \geq (f^{k-1})^{(n)} (f^{k+1})^{(n)}$, where $f$ satisfies $f^{(n)} \geq 0$ for all integer $n$ and $f^k$ denotes the $k$-th power of $f$. I believe it's right but I ...
2
votes
2answers
298 views

What are the difference between modeling with stochastic differential equations (SDE) and ordinary differential equations (ODE) with a random force?

There are lots of differences between SDE and ODE. From the theoretical point of view an also from the numerical algorithms used for simulations. But I am interested in knowing if there is a point ...
3
votes
1answer
291 views

Asymptotic expansion of modified Bessel function $K_\alpha$

An integral representation for the Bessel function $K_\alpha$ for real $x>0$ is given by $$K_\alpha(x)=\frac{1}{2}\int_{-\infty}^{\infty}e^{\alpha h(t)}dt$$ where ...
27
votes
3answers
1k views

A translation of the Cantor set contained in the irrationals

Let $C$ be the standard Cantor middle-third set. As a consequence of the Baire category theorem, there are numbers $r$ such that $C+r$ consists solely of irrational numbers, see here. What would ...
1
vote
0answers
326 views

Inverse Transpose of Jacobian Matrix

Let $f:\mathbb{R}^n\mapsto\mathbb{R}^n$ be a bijective function. Fixed $a\in\mathbb{R}^n$. For any $x$ closes to $a$, using Taylor's series we can approximate $f(x)$ by \begin{equation} f(x)\approx ...
3
votes
2answers
296 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
1answer
72 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
1answer
226 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 ...
0
votes
0answers
59 views

How to choose negative definite function $\lambda (x)$, so that $\lambda^{-1} \in L^{1}(\mathbb R)$?

We define, $$\lambda (x) =\int_{0}^{\infty} \frac{\sin^{2}x \alpha}{\alpha^{2}} d\mu (\alpha), (\mu(0)=0) $$ where $\mu (\alpha)$ is a non-decreasing function such that the integral converges for ...
5
votes
2answers
196 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 ...
3
votes
1answer
407 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
1answer
497 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
1answer
544 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
1answer
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
2answers
118 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
0answers
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
1answer
323 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
1answer
120 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
1answer
82 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
1answer
148 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
1answer
132 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
0answers
82 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
1answer
77 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
1answer
567 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
0answers
60 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
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
3answers
595 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
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
1answer
249 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
111 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
38 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
477 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
64 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
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
1answer
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
2answers
194 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
368 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
151 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
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
1answer
128 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 + ...
12
votes
1answer
327 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
167 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
1answer
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
2answers
206 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
342 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
156 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
3answers
525 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
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 ...