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

Estimating number of zeros of solutions of linear 2nd order ode

Let $y''+fy=0$ be a second-order linear ode on $y$, where $f(x)>0$, and $I=\left[ a,b \right)$ be an interval. Suppose we want to estimate the number of zeros of a (not identically zero) solution ...
3
votes
2answers
289 views

If two functions are equal to their Newton series, is their composition also equal to its Newton series?

Suppose we have two real-valued functions $f(x)$ and $g(x)$, both equal to their Newton series expansion: $$f(x) = \sum_{k=0}^\infty \binom{x}k \Delta^k f\left (0\right)$$ $$g(x) = \sum_{k=0}^\infty ...
2
votes
0answers
67 views

proving quasi convexity of multivariable function

Given an arbitrary $(N \times N)$ square matrix ${\bf X}$ a positive definite $(M\times M)$ matrix ${\bf T}$ a $(Q\times MN), Q< MN$ matrix ${\bf Z}$ consisting of only 1s and 0s where there is ...
47
votes
2answers
2k 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
0answers
81 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 ...
2
votes
1answer
195 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
2answers
469 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
0answers
106 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$ ...
9
votes
1answer
246 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 $x_n$ denote the first zero of its derivative, which is also the location of the first maximum of $\mathcal{J}_{n+1/2}$. My ...
4
votes
0answers
104 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
0answers
80 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
1answer
226 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
2answers
209 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 ...
1
vote
0answers
66 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 ...
1
vote
2answers
352 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
1answer
205 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
1answer
274 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 ...
4
votes
3answers
292 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
2answers
244 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 ...
0
votes
0answers
57 views

Trying to solve for total derivatives at a stationary point (maybe using the implicit function theorem)

Suppose we have a function $F(q) \in \mathbb{R}$, where $q=(q_1, \dots, q_n) \in [0,1]^n$, at least thrice differentiable in $(0,1)^n$. We fix the value of one variable $q_i \in (0,1)$, then maximize ...
1
vote
1answer
357 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
1answer
81 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
1answer
196 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
0answers
72 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
1answer
249 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
1answer
125 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
0answers
75 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 ...
2
votes
0answers
184 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
1answer
107 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
0answers
82 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 Diffusing Particles. The picture below shows the idea how permutations and inversion numbers reflect ...
4
votes
2answers
290 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
2answers
627 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 ...
0
votes
1answer
204 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?
1
vote
0answers
212 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
1answer
113 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 ...
8
votes
2answers
287 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
1answer
151 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
0answers
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
1answer
274 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]: ...
5
votes
4answers
339 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
2answers
156 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
2answers
212 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 ...
3
votes
2answers
334 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 , ...
1
vote
0answers
110 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
2answers
403 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
1answer
253 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
1answer
160 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
2answers
198 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
1answer
230 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
0answers
83 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, ...