Skip to main content
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
Results tagged with
Search options not deleted user 21907

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 …
Bazin's user avatar
  • 16.2k
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 …
Bazin's user avatar
  • 16.2k
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}+ …
Bazin's user avatar
  • 16.2k
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_ …
Bazin's user avatar
  • 16.2k
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 …
Bazin's user avatar
  • 16.2k
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 …
Bazin's user avatar
  • 16.2k
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 …
Bazin's user avatar
  • 16.2k
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 …
Bazin's user avatar
  • 16.2k
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 …
Bazin's user avatar
  • 16.2k
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 …
Bazin's user avatar
  • 16.2k
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 …
Bazin's user avatar
  • 16.2k
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 …
Bazin's user avatar
  • 16.2k
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 …
Bazin's user avatar
  • 16.2k
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)^{- …
Bazin's user avatar
  • 16.2k
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 …
Bazin's user avatar
  • 16.2k

1
2 3 4 5
15 30 50 per page