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

learn more… | top users | synonyms (2)

0
votes
0answers
28 views

Lower Bound Omega Notation [on hold]

I have to prove that some number $S$ is bigger than $\Omega(|V|)$, where |V| is the number of vertices. I read the definition of asimptotic notations, but I am still confused with the examples. Fot ...
0
votes
0answers
35 views

A question for uniqueness of configuration theorem

Recently I am reading a book of Katok and Hasselblatt. I was confused by the proof for the following theorem: If $f:R^n\times R^n\rightarrow\mathbb{R^n}$ is C^2, and for any $M>0$, there exists ...
3
votes
1answer
86 views

Are there superexponential Pfaffian functions?

This question is motivated by model theory, but it's really an analysis question (which means it may have an easy analysis answer that I just don't have the background for). Here's the main question, ...
0
votes
0answers
57 views

The trivility of Besov space for large parameter

For all $s>0$, $1\le p<+\infty$ and $u\in L^p(\mathrm{d}x)$, we define $$D_{s,p}(u)=\sup_{r>0}\frac{1}{r^{sp+n}}\int_{\mathbb{R}^n}\int_{B(x,r)}|u(y)-u(x)|^p\mathrm{d}y\mathrm{d}x$$ and ...
13
votes
4answers
779 views

“Converse” of Taylor's theorem

Let $f:(a,b)\to\mathbb{R}$. We are given $(k+1)$ continuous functions $a_0,a_1,\ldots,a_k:(a,b)\to\mathbb{R}$ such that for every $c\in(a,b)$ we can write $f(c+t)=\sum_{i=0}^k a_i(c)t^i+o(t^k)$ (for ...
4
votes
1answer
297 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 ...
7
votes
1answer
261 views

Topological conditions forcing continuity

Let $X$, $Y$, and $Z$ be topological spaces. Let $f:X \rightarrow Y$. Further assume that for every continuous function $g:Y \rightarrow Z$, $g \circ f$ is continuous. Question: Under what ...
3
votes
0answers
215 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 nonempty connected component of $\{x\in S^2: u(x)> u(Rx)\}$ is at ...
2
votes
0answers
2k views

What is the geometric meaning of the third derivative of a function at a point? [closed]

What is the geometric meaning of the third derivative of a function at a point? This question is now asked on the sister site: ...
7
votes
3answers
623 views

Is the reals the smallest connected ordered topological ring?

The real numbers is a locally compact Tychonoff connected complete ordered topological field. I am looking at minimal collections of adjectives that can characterize the reals. The one often used to ...
5
votes
3answers
3k views

Proof without words for surface area of a sphere [closed]

I love the book Proofs Without Words by Roger B. Nelsen. One of the proofs I liked the most was this: Area under one arch of a cycloid is 3 times the area of the wheel that traces it. You break the ...
2
votes
0answers
89 views

Inverse Function Theorem on Zygmund Spaces, is the inverse in the same Zygmund Space?

Preliminary Definition We define the Zygmund spaces $C^r_{*}$ with $r>0$, $r \in \mathbb{R}$ in the following way: (all the functions are allowed to have values in $\mathbb{R}^m$, via working with ...
1
vote
1answer
139 views

All solutions to a set of integral equations

I would like a better understanding of the set of pairs $(f_1,f_2)$ of functions $[0,1] \times [0,1] \to [0,1]$ which satisfy the following conditions: For all $y \in [0,1]$, $f_1(x,y) \geq ...
1
vote
0answers
76 views

Laplacian mapping on various function spaces

I have a question related to a certain elliptic operator on $R^N$ but I think i can clarify my confusion if I just consider the Laplacian $\Delta$ on the unit ball in $R^N$. If $ 1 <p< ...
2
votes
2answers
128 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 ...
0
votes
1answer
93 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 ...
1
vote
1answer
71 views

Controling mixed derivatives

This is a cross-post from Math.SE since the question got nothing (but upvotes) even after offering a decent bounty. If it is too trivial or in other ways not suited for this site, please let me know ...
2
votes
1answer
189 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 ...
18
votes
3answers
544 views

When are some products of gamma functions algebraic numbers?

I want to know when certain expressions of the form $ {\Gamma(r_1/m) \Gamma(r_2/m) \ldots \Gamma(r_j/m) \over \Gamma(s_1/m) \Gamma(s_2/m) \ldots \Gamma(s_j/m)} $ are algebraic numbers. These ...
7
votes
2answers
459 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 ...
27
votes
1answer
1k 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, ...
1
vote
2answers
113 views

Caratheodory equations

Ok, I am reading Fillipov book on discontinuous right hand side differential equations (the red book). He states the next lemma: " Let the function $f(t,x)$ satisfy the Caratheodory conditions and ...
78
votes
25answers
21k views

What is convolution intuitively?

If random variable $X$ has a probability distribution of $f(x)$ and random variable $Y$ has a probability distribution $g(x)$ then $(f*g)(x)$, the convolution of $f$ and $g$, is the probability ...
3
votes
1answer
315 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 ...
3
votes
1answer
202 views

First integrals of a 3D incompressible flow

Let $\Omega$ be an unbounded periodic smooth domain of $\mathbb{R}^3$. We are Given an incompressible vector field $q:\Omega\subset\mathbb{R}^3\rightarrow \mathbb{R}^3$ (i.e. $\nabla\cdot q\equiv 0$ ...
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 ...
8
votes
2answers
277 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 ...
1
vote
0answers
70 views

Estimating convolutions of powers

I would like an asymptotic estimate of $$ \sum_{y \in \mathbb{Z}^d} \frac{1}{|y-a_1|^{d-1} \ldots |y-a_n|^{d-1}} $$ that does not involve any infinite summation. In order to lighten the notation, I ...
1
vote
0answers
150 views

Is there an asymptotic bound for this oscillatory integral?

I have an oscillatory integral: $$ \int u(x,y) e^{i\lambda f(x,y)} dx $$ with $f(x,y)\in \mathbb{C}^{\infty}$ a complex-valued function in a neighborhood of $(0,0)$ satisfying: $$ \text{Im} f \geq ...
1
vote
1answer
62 views

Solution of General Parametric Oscillator

I am wondering if there is a general solution for this ODE $\ddot X +2\gamma \alpha \dot X + (\alpha+S(t)) X = \beta $ the dot represents time derivative, and $\gamma>1$, so it is in the ...
12
votes
1answer
271 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 ...
6
votes
1answer
186 views

Spectrum of this ODE

I noticed something interesting studying this Sturm-Liouville Problem: $$ \frac{d}{dx}\left(\sqrt{(1-x^{2})}\frac{df}{dx} \right)+\frac{\left(n \alpha x+\alpha^2 x^{2} + ...
7
votes
1answer
297 views

Prove that …, f(x-2), f(x-1), f(x), f(x+1), f(x+2),… is algebraically linearly independent without the Fourier transform

Suppose that $f$ is in $L^2(\mathbb{R})$ and consider the set of integer translates of this function, $V=\{f(x-k):k\in\mathbb{Z}\}$. This set is linearly independent: taking the Fourier transform of ...
0
votes
0answers
52 views

A solution of a q-difference equation

Is it possible to find a solution of the $q$-difference equation $$f(q^{-1}x)-f(qx)=x(a-x)f(x),$$ with $f(0)=1$, (perhaps) in terms of basic hypergeometric series? Or in another rather explicit form? ...
10
votes
4answers
6k views

Visualization of Riemann–Stieltjes Integrals

The Riemann–Stieltjes integral $\int_a^b f(x)\,dg(x)$ is a generalization of the Riemann integral. It is e.g. heavily used as a starting point for stochastic integration. The approximating ...
14
votes
2answers
939 views

Generalization of Darboux's Theorem

Darboux's Theorem. If $f:[a,b]\to\mathbb R$ is differentiable and $f'(a)<\xi<f'(b)$, then there exists a $c\in (a,b)$, such that $\,f'(c)=\xi$. Does any of the following generalizations Let ...
5
votes
1answer
107 views

Is this graph of reciprocal power means always convex?

Let $$ p = (p_1, \ldots, p_n) $$ be a finite probability distribution, which for convenience I'll assume to have no zeroes: thus, $p_i > 0$ for all $i$ and $\sum_i p_i = 1$. Is the function ...
-3
votes
1answer
139 views

Derivatives of infinite order [closed]

Is there any sense of taking an infinite number of derivatives? Is it discussed in the literature? For example, can one make sense of $$\frac{\partial^{\infty}f(x_1,x_2,\cdots)}{\partial x_1 ...
1
vote
3answers
2k views

“Riemann–Stieltjes derivative”?

Can you define a "derivative" operator such that its antiderivative F(x) of f(x) can be used in the sense of F(b)-F(a) to calculate the Riemann–Stieltjes integral of f(x)? Perhaps it would be related ...
3
votes
0answers
75 views

Variational Principle for a System of Differential Equations

I am studying a differential operator of the form $$ L\left(\begin{array}{c} u \\ v \end{array}\right) = -\Delta \left(\begin{array}{c} u \\ v \end{array}\right) + V(x)\left(\begin{array}{c} u \\ v ...
1
vote
1answer
87 views

Positive Definiteness of a certain function

Recall that a function $f: \mathbb{R}^d \longrightarrow \mathbb{C}$ is positive definite, iff for all numbers $N$ and $x_1, \dots, x_N \in \mathbb{R}^d$, the matrix $(a_{ij})$ with entries $$a_{ij} = ...
13
votes
1answer
2k views

Intuition for the Hardy space $H^1$ on $R^n$

the standard intuition for Lebesgue spaces $L^p(\mathbb R^n)$ for $p \in [1,\infty]$ are measurable functions with certain decay properties at infinity or at the singularities. In particular, a ...
9
votes
2answers
564 views

Functions that Calculate their $L_p$ Norm

are there any examples of functions $f:x\in\mathbb{R}_0^+\rightarrow\mathbb{R}_0^+$ and intervals $(a,b), 0\le a \lt b \le \infty$ , for which $$\Big(\int_a^b{|f(x)|^p dx}\Big)^\frac{1}{p} = f(p)$$ ...
2
votes
1answer
78 views

M-Wright function asymptotics

Let $M(z;\nu):= \frac{1}{\pi}\sum_{n=1}^{\infty} \frac{(-z)^{n-1}}{(n-1)!}\Gamma(\nu n)\sin(\nu n\pi)=\frac{1}{2\pi i}\int_{\text{H}_a}\exp(\sigma -z\sigma^{\nu})/\sigma^{1-\nu} d\sigma$, ...
1
vote
0answers
28 views

Backlund transformation related to two NL differential equations

I'm looking for a Backlund transformation linking the following two nonlinear differential equations for real $t$: $$\dfrac{d^2}{dt^2}f(t)=\cos\left[f(t)\right]$$ ...
42
votes
2answers
1k 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 ...
0
votes
0answers
64 views

Integral of Bessel function of 1st kind with complex exponential

Does someone know the solution (simple closed form) of one of theses integrals: $$\int_0^t J_l(s) e^{-iA(t-s)}ds$$ $$\int_0^t \frac{J_l(s)}{s} e^{-iA(t-s)}ds$$ with $l>0$, $t>0$, $\Re(A)>0$, ...
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: ...
4
votes
3answers
290 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!
0
votes
0answers
85 views

elliptic regularity when right hand side in weak $L^p$

I am interested in the following question (whose answer i assume is well known) but just not by me. Suppose $u,f$ are smooth functions defined on $B_1$ and $ \Delta u = f$ in $B_1$ with $u=0$ on $ ...