**55**

votes

**2**answers

3k views

### Is it possible to express $\int\sqrt{x+\sqrt{x+\sqrt{x+1}}}dx$ in elementary functions?

I asked a question at Math.SE last year and later offered a bounty for it, but it remains unsolved even in the simplest case. So I finally decided to repost this case here:
Is it possible to express ...

**3**

votes

**0**answers

95 views

### Existence and smoothness of convolutions of distributions in Sobolev spaces

Let $f\in H^{s_1}(\mathbb{R}^n)$ and $g\in H^{s_2}(\mathbb{R}^n)$, where $s_1, s_2 \in \mathbb{R}$ and can be positive or negative.
It is easy to show that $f *g$ is defined pointwise when ...

**4**

votes

**2**answers

424 views

### Differentiability: Partially Defined Functions

These ideas came to my mind while reading Lee's Introduction to Smooth Manifolds.
(Cf. discussion on p. 45.)
Definition
Let $E$ and $F$ be two Banach spaces together with a plain subset ...

**7**

votes

**2**answers

575 views

### Survey of the history of calculus?

Boyer 1939 is a nice readable survey of the history of the calculus, but it's showing its age. Discussing the notion of instantaneous velocity, he has:
Mathematics knows no minimum interval of ...

**2**

votes

**0**answers

178 views

### A strong form of implicit function theorem (what happens when the derivative is degenerate?)

(this can be considered as some ad)
Consider the system of equations $F(x,y)=0$. (Here $x$, $y$ are multi-variables. The equations are over a local ring. e.g. polynomial/analytic/formal/$C^\infty$ ...

**10**

votes

**1**answer

337 views

### Is a Bessel function larger than all other Bessel functions when evaluated at its first maximum?

Let $\mathcal{J}_{n+1/2}$ be the Bessel function of order $n+1/2$. Let $j'_{n+1/2,1}$ denote the first zero of its derivative, which is also the location of the first maximum of $\mathcal{J}_{n+1/2}$.
...

**4**

votes

**0**answers

122 views

### Carleman estimates on monotonicity formulas

I am trying to derive a monotonicity formula for a certain Dirichlet critical point (or even maybe a minimizer) of an energy of the type, say for simplicity, an energy of the from
$$\int_{B_r} ...

**0**

votes

**0**answers

116 views

### Resources about integral maximization problem

I am looking at the following problem. Given an interval I, and a function f over that interval, find sub-intervals for which:
The sum of the length of the sub-intervals is < k;
The sub-intervals ...

**2**

votes

**1**answer

242 views

### What does this ODE have to do with the associated Legendre polynomials?

I am currently struggeling with the following differential equation:
$$(t^2-1)f''(t)+tf'(t)(1-8a+8at^2)-4(a+a^2-2at^2+\phi (-a+2at^2))f(t)= 4\lambda f(t),$$
where $a \in \mathbb{R}$ constant, $\phi ...

**3**

votes

**2**answers

258 views

### Existence of an integral equation (Faedo-Galerkin, Banach fixed point, Picard-Lindelof)

Let $m \geq 2$ and let $m'$ be its conjugate. Let $w_j$ for $j=1, ..., k$ be a basis of $H_1 \cap L^{m'}$. The task is to show that there is a $u(t) \in \text{span}(w_1, ..., w_k)=:A$ such that
...

**2**

votes

**0**answers

80 views

### Linear dynamical system with discontinuous coefficients

I am solving a linear dynamical system $X'=A(t) X$, where $t$ is the independent variable and $A(t)$ is a square matrix. Some of the coefficients of $A(t)$ have a discontinuity at a certain value of ...

**0**

votes

**2**answers

421 views

### Spectrum of Mathieu equation

I have the differential equation $-f''(x)-q \cos(x) f(x) = \lambda f(x)$ and I want to find all the eigenvalues of this equation analytically on $[0,2\pi]$ that satisfy the boundary condition $f(0) = ...

**6**

votes

**1**answer

398 views

### Shortcut from discrete Fourier transform F{x} to zero-padded F{x:0…0}

Summary:
Given $X$ (the discrete Fourier transform of some unknown vector $x$ of length $N$), is there any shortcut to computing $X'$ (the Fourier transform of $x$ after padding it with $N$ zeros)?
...

**12**

votes

**1**answer

335 views

### Cesaro(?)/Euler(?) - summation of the $s(p)=\sum_{k=0}^\infty (-1)^{H(k)} (1+k)^p$ for $p=1,2,3,…$ (where $H(k)$ is the Hamming-weight)

In another thread (in MO) there was a question about a series where the signs at the terms alternate with the "Hamming-weight", that means according to the number of bits in the binary representation ...

**3**

votes

**2**answers

391 views

### Sum of series $a^{i^2}$

Is there any closed form known for the expression $\sum_{i=1}^\infty a^{i^2}$ where $|a|<1$? Thanks!

**1**

vote

**2**answers

266 views

### What is known about $\displaystyle \sum_k{a^{b^k}}$?

What is known about $\displaystyle \sum_k{a^{b^k}}$? I am very interested in the possible applications of this series.
I have asked about this on Mathematics Stack Exchange here.
I'm wondering if ...

**1**

vote

**1**answer

507 views

### Monge–Ampère type equation

Let $B(x,y) \geq 0$ be a function defined for $x, y \geq 0$ such that $B(x,0)=B(0,y)=0$ and $B''_{xx}\leq 0, B''_{yy}\leq 0$ (i.e. it is bicocncave function).
I am looking for the solutions among of ...

**3**

votes

**1**answer

89 views

### Taylor Series Expansion [closed]

I am reading an article and came across this expression and would appreciate some explanation.
"We have a function
$$u(F)=2\Big[\frac{F-L}{L}-ln\frac{F}{L}\Big]$$
Since $u''(F)>0$ a Taylor ...

**3**

votes

**1**answer

250 views

### Can I approximate Schwartz functions which integrate to zero by $C_0^\infty$ functions which integrate to zero?

Let $X$ be the closed subspace of Schwartz space $\mathcal{S}(\mathbb{R}^N)$ defined by
\begin{equation*}
X=\left\{f\in\mathcal{S}(\mathbb{R}^N):\quad \int f\; dx=0\right\}.
\end{equation*}
My ...

**3**

votes

**0**answers

82 views

### Monotonicity of solution of very simple integral equation [closed]

Given p>1 denote by x=x(p) the solution of
$$
\int_0^x\frac{dt}{1+t^p}=1.
$$
Prove that $p\to x(p)$ is a decreasing function of $p$ on $(1,\infty)$

**10**

votes

**1**answer

261 views

### smooth Luzin theorem

For measurable functions $f(x)$, $g(x)$ on $[0,1]$ define the distance $\rho(f,g)$ as a Lebesgue measure of the set $\{x:f(x)\ne g(x)\}$. Then Luzin's famous theorem states that $C[0,1]$ is dense with ...

**3**

votes

**1**answer

204 views

### Generalization of the Hermite-Bielher-Kakeya Theorem

A stable polynomial is one with zeros in the upper half plane or lower half plane. Interlacing polynomials are polynomials with only real zeros, where between every two zeros of one polynomial lies a ...

**1**

vote

**0**answers

81 views

### Estimating decay of certain trigonometric polynomials

For $p=0,1,2,\dots$ and $n=0,1,2,\dots,$, let $f_{n,p}(z)=\sum_{k=0}^n k^p z^k$ be a sequence of polynomials. Restricted to the unit circle, the functions $g_{n,p}(t):=f_{n,p}(e^{it})$ are ...

**3**

votes

**0**answers

296 views

### More information on Kruskal's treatment of Surreal numbers as an asymptotic behavior of a real valued function

The only way that I could think about Surreal numbers is how Conway defined them inductively, with the two axioms and so on. I can't find any information about Kruskal's point of view and would very ...

**-2**

votes

**1**answer

138 views

### a question regarding the interchange the order of finite summation with finite integration [closed]

Question (1) What are the conditions the complex function $f_n(t)$ and real parameter $B>1$ and positive integer $N>1$ need to satisfy such that the interchange of the finite summation with ...

**2**

votes

**0**answers

92 views

### Diffusion equation on mixing of diffusing particles

I am trying to study mixing of diffusing particles like it was done by E. Ben-Naim On the Mixing of Diﬀusing Particles.
The picture below shows the idea how permutations and inversion numbers reflect ...

**4**

votes

**2**answers

378 views

### Abstract ODE; PDE; uniqueness of solution

I have a somewhat vague question regarding an abstract ODE in a Banach space.
Suppose $A:D(A) \subset X \rightarrow X$ is some linear operator (let's assume it's closed) and maybe add some other ...

**17**

votes

**2**answers

788 views

### What can be said about the Fourier transforms of characteristic functions?

What can be said about the Fourier transform of the characteristic function $1_A$, where $A\subset \mathbb{R}^n$ is of finite Lebesgue measure? In particular,
What properties are common to ...

**-1**

votes

**1**answer

220 views

### Theorem with an example [closed]

i have this theorem
in the paper they gives an example:
but here $H_1$ is not satisfied !
How to correct it please?

**3**

votes

**1**answer

393 views

### Error term in formula for products of necklaces

Let us consider the $\lim_{n\to \infty}\prod_{p=1}^n N(p,a)$, where the number of fixed necklaces of length n composed of a types of beads $N(n,a)$ can be calculated via totient function: ...

**1**

vote

**1**answer

119 views

### On the geometry of roots of a sum of complex linear fractions

I was wondering if there is anything known about the geometry (position) of the roots of a rational map of the form
$$R(z):= \sum_{j=1}^{n} \frac{a_j}{z-p_j},$$
where the $a_j$'s are nonzero complex ...

**11**

votes

**2**answers

420 views

### On the convexity of certain integrals involving Bessel functions

Let $n\geq 0$ be an integer and let $J_n=J_n(r)$ denote the usual Bessel function (of the first kind) of order $n$ i.e. one of the solutions to Bessel's differential equation
...

**4**

votes

**1**answer

236 views

### Asymptotic expansion of the Mordell integral

my question concerns the Mordell integral
$$h(z;\tau):=\int_{-\infty}^\infty \frac{e^{\pi i\tau w^2-2\pi zw}}{\cosh(\pi w)}dw,\qquad \Im(\tau)>0,\quad z\in\mathbb{C},$$
which frequently occurs in ...

**2**

votes

**0**answers

83 views

### Quick estimate of attractor of non-linear dynamical system [closed]

Say I have a system of form
$$
\frac{dy}{dt} = f(y),
$$
and it is know this system has an attractor. Can I quickly for given $\varepsilon$ guess some point, such in its $\varepsilon$- neighbourhood ...

**4**

votes

**1**answer

367 views

### solution of functional equation $f^{\circ k}(x) = x$

The equation $f^{\circ k}(x) = \mathrm{Id}$ for $x\in E$ is called the Babbage equation and the general solution is given in the following way [M. Kuczma, Functional equations in a single variable]:
...

**6**

votes

**4**answers

624 views

### NP-hard problems in linear algebra and real analysis [closed]

I am curious about NP-hard problems in linear algebra and real analysis. An example in linear algebra would be the calculation of the permanent.
I would thus like to collect in this thread a list of ...

**3**

votes

**2**answers

235 views

### Existence for ODE in Banach space (accretive operators and Crandall-Liggett)

There is a theory of mild solutions $u \in C^0(0,T;X)$ where $X$ is a Banach space for equations of the form
$$\frac{du}{dt} + Au = f$$
where $A$ is an accretive nonlinear operator under some ...

**1**

vote

**2**answers

222 views

### Looking for a limit related to the series in a previous post

Can any one show that the following limit?
$$
\lim_{z\rightarrow \infty} \sqrt{z} \: e^{-z}\sum_{k=1}^\infty \frac{z^k}{k! \sqrt{k}} \quad \stackrel{?}{=} \quad\sqrt{2}-1.
$$
If one uses the ...

**1**

vote

**1**answer

121 views

### Inversion of incomplete elliptic integral of third kind

I would like to know whether there is any solution available on the inversion of elliptic integrals of the third kind (incomplete)?
That means that given $\Pi(n,u,m) = f(x)$, I would like to obtain ...

**3**

votes

**2**answers

392 views

### How to integrate an exponential function of an exponential function?

Does any one know how to calculate the following integration?
$$
\int_{\mathbb{R}} \left(\exp(z \: e^{-y^2})-1\right)^2 dy=?,\quad z>0.
$$
This post is related to my previous question here , ...

**2**

votes

**1**answer

171 views

### Intermediate value theorem for the Jacobian determinant restricted to a curve

Let $f:R^N \to R^N$ be a differentiable mapping, and $J_f$ its Jacobian determinant. Suppose that $\exists a,b \in R^N : J_f(a)<0,J_f(b)>0$. Is it right that on every continous curve connecting ...

**14**

votes

**2**answers

418 views

### What geometric information is carried by the Fourier coefficients of the components of a closed curve?

Let $\gamma$ be a smooth closed curve in the plane and let $(x(t), y(t))$ be a parametrization. The functions $x(t)$ and $y(t)$ are smooth and periodic, so each has a uniformly convergent Fourier ...

**1**

vote

**1**answer

301 views

### Symmetry on a sphere

Let $u$ be a smooth function on the sphere $S^2$. Suppose there exists $C>0$ such that for all $R \in SO(3)$, the area of every connected component of $\{x\in S^2: u(x)> u(Rx)\}$ is at least ...

**3**

votes

**1**answer

183 views

### A differentiable version of the Michael selection theorem

Assume that $X$ and $Y$ are Banach spaces and $T:X\to Y$ is a bounded surjective linear map.
Is there a Gateaux differentiable function $g:Y\to X$ such that $T\circ g=Id_{Y}$?

**1**

vote

**2**answers

264 views

### Jacobian of an injective mapping

Let $f:R^N \to R^N$ be a differentiable mapping, and $J_f$ its Jacobian. Suppose that $\exists a,b \in R^N : J_f(a)<0,J_f(b)>0$. I want to prove two things that seem intuitively right: 1) $f$ is ...

**3**

votes

**1**answer

268 views

### A (non trivial) continuous map on a Banach space which is nowhere Frechet differentiable

Assume that $X$ is a Banach space. Is there a continuous map $f:X\to X$ such that $f$ is nowhere Frechet differentiable, but its restriction to every finite dimensional subspace is every where Frechet ...

**1**

vote

**0**answers

106 views

### Periodic solution of first order ODE

There is a famous result shows that for every continuous function $f:{\mathbb R}\rightarrow {\mathbb R}$, the first order autonomous system
$$
\left\{
\begin{array}{l}
\dot{x}=f(x), \\
x(t_0)=x_0,
...

**2**

votes

**0**answers

99 views

### Stationary Distribution for Markov-like system?

Let
\begin{equation}
A=
\begin{pmatrix}
0 & a_{1,2} & a_{1,3} \\
a_{2,1} & 0 & a_{2,3} \\
a_{3,1} & a_{3,2} & 0
\end{pmatrix},
\end{equation}
\begin{equation}
B=
...

**9**

votes

**1**answer

904 views

### Has anyone seen this series?

I come across the following infinite series.
$$
\sum_{n=1}^{\infty} \frac{t^n}{n!\: n^{a}}, \quad\text{for $t>0$ and $a>0$}.
$$
In particular, I am interested in the case where $a=1/4$.
...

**2**

votes

**1**answer

180 views

### Global Solutions of Ordinary Differential Equations

Background
Let $f: [0, \infty) \times {\mathbb R}^n \rightarrow {\mathbb R}^n$ be a jointly measurable function satisfying,
$f(t, \cdot)$ is locally Lipschitz for every $t \geqslant 0$,
for every ...