Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
Special functions, orthogonal polynomials, harmonic analysis, ordinary differential equations (ODE's), differential relations, calculus of variations, approximations, expansions, asymptotics.
2
votes
Uniqueness of Lipschitz function satisfying differential equation
You have a logarithmic extension of the classical Cauchy-Lipschitz theorem: the equation
$$\dot x=f(x),\quad x(0)=x_0\tag{ODE}$$ has a unique solution if $f$ has a modulus of continuity $\omega$ ($
\v …
3
votes
Non-analytic function with convergent Taylor series everywhere
We define $$\Psi(x)=
\sum_{k\ge 0} 2^{-k}\psi_{\sigma_k}(x-x_k),\quad
\psi_{\sigma}(y)=\exp{-{\vert x\vert}^{-\frac{1}{s-1}}},
$$
where $(x_k)_{k\ge 0}$ is dense in $\mathbb R^d$ and $(\sigma_k)_{k\g …
1
vote
Space of rapidly decreasing functions
$$
f(t,x)=e^{t/2}\sum_{n\ge 0} e^{-(n+\frac12)t}\langle{g},{H_{n}}\rangle H_{n}(x)
$$
The function $F(t,x)=e^{-t/2}f(t,x)$ is the solution
of
$$
\frac{\partial F}{\partial t}+\bigl(-\frac{d^2}{dx^2}+ …
5
votes
0
answers
228
views
Faà di Bruno formula
Let $f,g$ be smooth functions from $\mathbb R$ to $\mathbb R$. Then
$$
\frac{(g\circ f)^{(n)}}{n!}=\sum_{1\le r\le n}\frac{(g^{(r)}\circ f)}{r!}
\sum_{\substack{(n_1,\dots, n_r)\in {\mathbb N^*}^r\\n_ …
3
votes
A structured differential equation
Let us assume that $n=2$: in that case I claim that there is indeed a closed form. As a preliminary to the proof, I would like to begin with a remark on first-order linear ODE; of course in one dimens …
6
votes
1
answer
777
views
Global existence for infinite dimensional ODE
Let us consider the ODE $\hskip3pt \dot x=F(t,x)\hskip3pt $ in an infinite-dimensional Banach space $E$, where the flux $F$ is defined and continous from the whole $\mathbb R\times E$ into $E$.
(1 …
4
votes
Accepted
Faa di Bruno's formula for vector valued functions
For $g:B_1\rightarrow B_2$, $f:B_2\rightarrow B_3$, $B_j$ Banach spaces , $g,f$ smooth,
we have for $n\ge 1$
$$
\frac{(f\circ g)^{(n)}}{n!}=\sum_{n_1+\dots+n_r=n\atop
r\ge 1, n_j\ge 1} \frac{f^{(r)}\c …
1
vote
Accepted
Is there existence and uniqueness theory of this system of ODE?
If the matrix $A(t)=(a_{ij}(t))$ is invertible, e.g. if there exists $B(t)\in L^\infty$, with
$B(t) A(t)=Id$, then you get a linear non-characteristic system of type
$$
\dot u +C(t) u=g(t),\quad C\in …
1
vote
Fractional sobolev regularity of a truncated function
Let $T_m$ be a standard Fourier multiplier homogeneous with degree $m$ in $\mathbb R^n$ (this the case of your fractional Laplacean). Then
$$
\Vert T_m u\Vert_{L^p(\mathbb R^n)}\le C_{m,n}\Vert u\Ver …
7
votes
2
answers
511
views
Estimate for an Airy integral
Let me define for $x\in\mathbb R$,
$
F(x)=\int_{\mathbb R} e^{-π t^2}\cos(x t^3) dt.
$
I claim that $F(x)>0$ for all $x\in\mathbb R$.
Well, it is obvious for $x=0$ since $F(0)=1$ and also for $x$ near …
2
votes
Distributions as derivatives
Maybe more a lengthy comment than an answer. Let me work with temperate distributions (dual of the Schwartz space $\mathscr S(\mathbb R^d)$). Let $u\in \mathscr S'(\mathbb R^d)$ and let us define the …
1
vote
smooth families of analytic functions
For $\phi\in C^\infty_c(\mathbb R^m)$ and duality products, we have
$$
\langle\frac{\partial f}{\partial x}(x,y),\phi(x)\rangle_{\mathscr D'(\mathbb R^m),\mathscr D(\mathbb R^m)}=-
\langle f(x,y),\phi …
1
vote
New differintegral formula: how is it related to other differintegral formulas?
Your formula is based on the identity for $s\in\mathbb N$,
$$
\partial^s=(1+(-1)+\partial)^s=\sum_{m\ge 0}C_s^m((-1)+\partial)^m=\sum_{m\ge 0\atop 0\le k\le m}C_s^mC_m^k(-1)^{m-k}\partial^k.
\tag{$\fl …
1
vote
Is there a non-trivial example for a 1-homogeneous function satisfying a specific inequality...
Take $A(x)=\vert x\vert$ the Euclidean norm in $\mathbb R^n$, which is obviously homogeneous of degree 1.
We have
$$
A'(x)=\frac{x}{A(x)},\quad A''(x)=\frac{Id}{A(x)}-\frac{x\otimes x}{A(x)^3}=A(x)^{- …
2
votes
Accepted
Proof of Friedrichs inequality in a domain with simple geometry
Let $\Omega$ be an open subset of $\mathbb R^n$ with a $C^1$ boundary and $u\in H^1(\Omega)$. We compute with $D_{x_1}=-i\partial_{x_1}$,
$$
2\Re\langle D_{x_1}u, i x_1u\rangle=-2\Re\int_\Omega x_1(\p …