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

This tag is used if a reference is needed in a paper or textbook on a specific result.

3 votes
Accepted

Derivative norm estimates

The answer by Bazin (https://mathoverflow.net/users/21907/bazin), Faa di Bruno's formula for vector valued functions, URL (version: 2012-09-04): https://mathoverflow.net/q/106339 is providing a formul …
Bazin's user avatar
  • 16.2k
2 votes

$L^\infty$ estimate for elliptic PDE with mixed boundary conditions

Too long for comment. take for instance $f=0, g=0$. Then the mapping $h\mapsto u$ is a pseudo-differential operator which will have some Sobolev continuity properties for spaces $W^{s,p}$ with $p\in …
Bazin's user avatar
  • 16.2k
4 votes
Accepted

Closed formula for Hermite polynomials

Up to some normalization, the harmonic oscillator $H$ is self-adjoint such that $$ \langle Hu, u\rangle=\sum_{k\ge 0}(\frac12+k) \vert u_k\vert^2, $$ and thus defining a self-adjoint $A$ by the equali …
Bazin's user avatar
  • 16.2k
1 vote

Looking for a paper on (formally) self-adjoint differential operators

Let me start by altering a bit your notations: we consider a differential operator $P$ defined by $$ P=\sum_{1\le j\le n}p_j(x) D^j, \quad D=-i\frac{d}{dx}. $$ The formal adjoint is (there is a typo i …
Bazin's user avatar
  • 16.2k
2 votes

Revisiting the unreasonable effectiveness of mathematics

As a rather recent revisitation of Wigner's article, one may also quote James Glimm, who wrote in the article "Mathematical perspectives" (Bull. Amer. Math. Soc. (N.S.) 47 (2009), no. 1, 127–136), In …
0 votes

Navier-Stokes equations in Riemannian geometry

I would write the Navier-Stokes equations on a Riemannian manifold $(\mathcal M,g)$ in a slightly different way. The unknown is still a time-dependent vector field $v$, to which you can associate a on …
Bazin's user avatar
  • 16.2k
5 votes
Accepted

Sobolev convergence of Fourier series

Let us start with pointing out that $f\in H^\sigma$ is equivalent to $$ (\langle n\rangle^\sigma\hat f(n))_{n\in \mathbb Z}\in \ell^2(\mathbb Z), \quad \text{with $\langle n\rangle=\sqrt{1+n^2}$.} $$ …
Bazin's user avatar
  • 16.2k
1 vote

regularity of the solutions of Prandtl equation on the segment

With $q=1/p$, let me write your equation as $$ \vert D\vert u+ q u= h_0, \quad u(\pm 1)=0. $$ Multiplying the equation by $u$, we get $$\Vert{u}\Vert_{H^{1/2}_0}^2\le \Vert{u}\Vert_{H^{1/2}_0}^2+\unde …
Bazin's user avatar
  • 16.2k
3 votes
Accepted

Existence of a special function

From your assumptions, you have a $C^2$ function $\rho:\mathbb R^d\rightarrow \mathbb R$, such that $$ D=\{x\in \mathbb R^d, \rho(x)<0\}, \quad \partial D=\{x\in \mathbb R^d, \rho(x)=0\}, $$ and $ x\i …
Bazin's user avatar
  • 16.2k
1 vote

Evolution equation generated by Fourier multiplier

Formally you get $ u(t)=e^{it p(D)} u_0 $ and this means that $$ u(t,x)=\int e^{i2π x\cdot \xi}e^{it p(\xi)}\widehat{u_0}(\xi) d\xi. $$ Obviously, you have to require something to give a meaning to …
Bazin's user avatar
  • 16.2k
2 votes

Smoothness of the radius of convergence

You have the explicit Hadamard formula $$ \frac{1}{R(x)}=\limsup_n\vert a_n(x)\vert^{1/n}=\inf_n\bigl(\sup_{k\ge n}\vert a_k(x)\vert^{1/k}\bigr), $$ triggering semi-continuity properties for $1/R$: se …
Bazin's user avatar
  • 16.2k
0 votes

Show that $(\sum_{k=1}^{n}x_{k}\cos{k})^2+(\sum_{k=1}^{n}x_{k}\sin{k})^2\le (2+\frac{n}{4})\...

Too long for a comment. Let us consider for $X\in \mathbb S^{n-1}$, $ \langle X,(e^{i \alpha k})_{1\le k\le n}\rangle_{\mathbb C^n}. $ The question at hand is $$ \max_{X\in \mathbb S^{n-1}}\vert\langl …
Bazin's user avatar
  • 16.2k
4 votes
Accepted

Stationary phase method for $\varphi''(x_0)= 0$

Let me assume that $a=-\infty, b=+\infty, x_0=0$ and $f$ smooth and compactly supported near 0. Then after a suitable change of variable, you get that $ I(\lambda)=\int g(t) e^{i\lambda t^3/3} dt, $ …
Bazin's user avatar
  • 16.2k
2 votes

Non-trivial examples of regular Lagrangian flow in BV case

Here is what I believe is a relevant example: consider the vector field $X$ in $\mathbb R^3$, $$ X=a_1(x_2, x_3)\frac{\partial}{\partial x_1}+a_2(x_1, x_3)\frac{\partial}{\partial x_2}+a_3(x_1,x_2)\fr …
Bazin's user avatar
  • 16.2k
1 vote

Regular Lagrangian flow for the problem $\frac{d}{dt} X(t,x) = \chi_{\{x>0\}}(X(t,x))$

Let $H$ be the Heaviside function (characteristic function of $(0,+\infty)$). The ODE $$ \dot x=H(x)\text{ on $t>0$}, \quad x(0)=0, $$ has solutions $ x_1(t) = 0 $ as well as $x_2(t)=t$. Thus non-uniq …
Bazin's user avatar
  • 16.2k

15 30 50 per page