# Tagged Questions

**2**

votes

**0**answers

116 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

63 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

140 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

173 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

794 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

50 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

168 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

133 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

200 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

694 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

36 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

145 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

351 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

75 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

241 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

180 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

154 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

380 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

203 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

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

**1**

vote

**1**answer

117 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} ...

**10**

votes

**0**answers

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

**3**

votes

**0**answers

56 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}})} = ...

**11**

votes

**2**answers

279 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

**1**answer

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

**2**

votes

**2**answers

182 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} ...

**5**

votes

**1**answer

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

**2**

votes

**0**answers

87 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

102 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

92 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

**1**answer

262 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

**2**answers

521 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

**0**answers

146 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

**0**answers

72 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

**2**answers

172 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

**2**answers

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

**0**answers

56 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

**1**answer

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

**1**answer

126 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

**1**answer

178 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

**1**answer

247 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

**1**answer

42 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

**0**answers

106 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

**1**answer

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

**-15**

votes

**1**answer

1k 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

**2**answers

209 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)$ ...

**4**

votes

**2**answers

223 views

### Limit of a double integral

What is the $\varepsilon\to 0$ limit of the following double integral
$$\int\limits_{-1}^1d\tau\;\sqrt{1-\tau^2}\;\tau\int\limits_0^\infty dq\;q^2e^{iq(\tau+i\varepsilon)}\;?$$
I was asked about this ...

**3**

votes

**0**answers

64 views

### Meaning of fractional Fourier transform with imaginary iteration count

(I'm reposting this from math.stackexchange as I didn't get an answer there and thought it might be "advanced" enough for this site.)
As one may know, the Fourier Transform
$$F[f](\nu) = ...

**1**

vote

**2**answers

95 views

### Bound deg 3 partial differential operator on Laplace eigenfunction?

I am no expert on PDE and analysis but I am looking for certain technique from PDE.
Let $D_2$ be the Laplace operator and $f$ is an eigenfunction, i.e., $D_2 f=\lambda f$ for some $\lambda>1$. (or ...