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

learn more… | top users | synonyms (2)

3
votes
1answer
294 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
198 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
69 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
152 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
195 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
832 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
181 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
143 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
0answers
205 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
0answers
798 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
1answer
38 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
2answers
152 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
2answers
410 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
0answers
77 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
2answers
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
3answers
254 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
1answer
190 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
2answers
159 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
1answer
410 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
1answer
221 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
0answers
81 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
1answer
118 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
1answer
985 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
0answers
59 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
2answers
284 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
2answers
127 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
2answers
194 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
1answer
153 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
0answers
90 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
1answer
116 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
0answers
93 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 ...
4
votes
1answer
283 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 ...
5
votes
2answers
621 views

Integral with Dirac delta (me or wolfram mathematica?) [closed]

I asked the question on math.stackexchange but didn't get an answer so I came here. I tried to compute with Wolfram Mathematica the following integral $$I=\int_0^\pi\int_{-\infty}^\infty x e^{-\mathrm ...
2
votes
0answers
153 views

A contradiction to do with continuity? (involves chain rule)

Suppose for each $t$, $S(t) \subset \mathbb{R}^n$ is a domain (hypersurface). We have a diffeomorphism $D^0_t:S(0) \to S(t)$ for each $t$ such that it solves the ODE $$\frac{d}{dt}D^0_t(\cdot) = ...
1
vote
0answers
75 views

The $d$-dimension extension of Bernoulli Polynomial

It is known that Bernoulli polynomial has the following Fourier expansion: \begin{equation*} B_{2n}(x) = \frac{(-1)^{n-1}2(2n)!}{(2\pi)^{2n}}\sum_{k=1}^{\infty}\frac{\cos(2k\pi x)}{k^{2n}}. ...
1
vote
2answers
195 views

Construction of a convex function nondifferentiable on a countable set [closed]

Let $H$ be a countable subset of $[0,1]$. Construct a convex function $f:[0,1]\rightarrow\mathbb{R}$ such that $f$ is nondifferentiable on $H$ and differentiable in the rest.
0
votes
2answers
157 views

looking for f(x) in f(x) = a.exp((x-f(x))/b) [closed]

not a math expert, but this problem is really bugging me. whichever way i turn it, i cant find an expression for f(x) which satisfies f(x) = exp(( x - f(x)) /b ). I can also express the problem as ...
0
votes
0answers
61 views

Continuity of the real Monge Ampère operator on convex functions

Let $E\subset\mathbb{R}^n$ be a convex set, $u:E\to\mathbb{R}$ a convex function and $B\subset E$ a Borel set. We define the (multivalued) gradient \begin{array}{rccl} \nabla [u]:& \mathbb{R}^n ...
0
votes
1answer
119 views

Ulam stability of homogeneous polynomials

Let $P$ be a homogenous polynomial with real coefficients in several variable(at least three variable) Is the following statement true: For every $\epsilon$ there is a $\delta$ such that for ...
-1
votes
1answer
134 views

derivative of a real function without open domain [closed]

I am trying currently why we (the mathematicians) imply that whenever the derivative of a real function $f$ is involved, always the domain $D_f$ of $f$ should be open interval or at least semi-open ...
5
votes
1answer
190 views

Is Taylor expansion related to Helmholtz decomposition?

The Taylor expansion of a vector field $f(x)$ to the order of one is $$f(x)=f(x_0)+Jf(x_0)\cdot\Delta x+o(\Delta x)$$ where $Jf$ is Jacobian of the vector field and $\Delta x=x-x_0$. Suppose we ...
6
votes
1answer
288 views

Solution of linear ODE

Let $A=A(t)$ be a smooth one parameter family of $n\times n$-matrices, $n\ge 2$. It seems that the solution of linear ODE $$\dot x= Ax$$ can not be written in a closed form using $\int$, $A$, $x(0)$ ...
1
vote
1answer
43 views

A formula for the potential part in Riesz decomposition of simple subharmonic functions?

Consider a compact subset $E\subset\mathbb{C}$, holomorphic functions $f_j:V\to \mathbb{C}$, $1\leq j\leq k$, defined in a neighbourhood $V$ of $E$, and set $u:V\to\mathbb{R}\cup\{-\infty\}$, ...
1
vote
0answers
118 views

Dalzel's integral for $\pi$ and the lemniscate constant

$\pi=\varpi_2$ can be considered as a member of the sequence of real numbers $$\varpi_m=2\int\limits_0^1\frac{dt}{\sqrt{1-t^m}},$$ and, for example, the Wallis product formula ...
0
votes
1answer
114 views

Application of the inverse theorem function on singular points

This question is related to this one A question about the inverse theorem function in $\mathbb{R}^n$. In the response I received, I was told that the issue was related to the singularities, as I do ...
-21
votes
1answer
2k views

Can Poisson Summation formula break?

The Poisson summation formula states if $f: \mathbb{R} \to \mathbb{R}$ then $\displaystyle \sum_{n \in \mathbb{Z}} f(n) = \sum_{n \in \mathbb{Z}} \hat{f}(n) $ where $$\hat{f}(\xi) = ...
0
votes
2answers
214 views

A question about the inverse theorem function in $\mathbb{R}^n$

Let $f:\mathbb{R}^{n}\to\mathbb{R}^{n}$ be a continuously differentiable mapping. We assume that the set $$\{x\in\mathbb{R}^{n};j(f)(x)=0\}$$ is a hypersurface of $\mathbb{R}^{n}$, where $j(f)(x)$ ...