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

Real-valued functions of real variable, analytic properties of functions and sequences, limits, continuity, smoothness of these.

10 votes
Accepted

Analyticity of $f*g$ with $f$ and $g$ smooth on $\mathbb{R}$ and analytic on $\mathbb{R}^*$

The answer to your question is negative. Take the smooth function $\chi$ defined by $$ \chi(t)=H(t) e^{-t^{-1}-t^2}, \quad H=\mathbf 1_{(0,+\infty)}. $$ This function is in $L^1(\mathbb R)$, $C^\infty …
Bazin's user avatar
  • 16.2k
9 votes

What's the use of Malgrange preparation theorem?

Take $k=1$ in your statement. There are two easy cases: the first one is when $f$ is real-valued, then you have only to use the implicit function theorem to get a normal form $t+a(x)$, up to a unit (a …
Bazin's user avatar
  • 16.2k
8 votes

PDEs and algebraic varieties

A most important result is missing in the previous answers, namely the characterization by Lars Hörmander of hypoellipticity in his seminal paper, On the theory of general partial differential operato …
Bazin's user avatar
  • 16.2k
6 votes
1 answer
308 views

On Glaeser's result for the square-root of a smooth non-negative function

One of the results due to Georges Glaeser is the following: there exists a non-negative $C^\infty$ function $f$ on the real line, flat at its zeroes, such that $\sqrt{f}$ is not $C^2$. On the other ha …
Bazin's user avatar
  • 16.2k
6 votes

About the definition of Borel and Radon measures

Let $(X,\mathcal M, \mu)$ be a measure space, where $\mu$ is a positive measure and $X$ is topological space. Let $\mathcal B$ the Borel $\sigma$-algebra on $X$. The measure $\mu$ is called a Borel m …
Bazin's user avatar
  • 16.2k
6 votes
3 answers
2k views

Generalized Hardy-Littlewood-Sobolev Inequality

The Hardy-Littlewood-Sobolev Inequality says that $$\text{for $p,q,r\in (1,+\infty)$ such that }\quad 1-\frac1p+1-\frac1q=1-\frac1r,\tag {$\sharp$} $$ $$ \exists C, \forall u\in L^p(\mathbb R^n),\qu …
Bazin's user avatar
  • 16.2k
5 votes

Smooth but non-analytic kernel functions

With $H=\mathbf 1_{\mathbb R_+}$, $t,x$ real, $ H(t)t^{-1/2}e^{-x^2/t} $ is the fundamental solution of the heat equation, $C^\infty$ everywhere except at $(0,0)$, analytic only outside $t=0$.
Bazin's user avatar
  • 16.2k
5 votes
Accepted

when is an eigenvalue differentiable with respect to a parameter?

When the roots are simple, they can be chosen as smooth functions of $\omega$ if the matrix $A$ is smooth of $\omega$ ; both "smooth" above can be replaced by "analytic". This is a consequence of the …
Bazin's user avatar
  • 16.2k
5 votes
Accepted

Proof of Agmon's inequality in $\mathbb{R}^3$

We note that $u$ is Hölder continuous, and we may write for any $M>0$ (to be chosen later), $$ u(x)=\int_{\vert \xi\vert\le M} e^{2π i x\xi}\hat u(\xi)(1+\vert \xi\vert) (1+\vert \xi\vert)^{-1}d\xi + …
Bazin's user avatar
  • 16.2k
5 votes

Injectivity of an integral operator

Your operator $K$ is a Hilbert-Schmidt operator since its kernel belongs to $L^2$. As a result this is a compact operator whose spectrum contains a sequence of eigenvalues $\\{\lambda_k\not=0\\}$ with …
Bazin's user avatar
  • 16.2k
4 votes
Accepted

Boundedness of a singular integral operator on $L^p(\mathbb{R})$, $1<p<\infty$

We have with $\chi\in C^\infty_c(\mathbb R)$, equal to $1$ near 0, $$ \frac{1}{\sinh t}=\frac{\chi(t)}{\sinh t}+\frac{1-\chi(t)}{\sinh t}. $$ The second function belongs to $L^1$ and Young's inequalit …
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
4 votes

Morse lemma with least amount of regularity.

Requiring $C^2$ is too much: you can ask only $C^1$, twice differentiable at the distinguished point with a non-degenerate Hessian matrix. More precisely the following holds true. Theorem. Let $\Omeg …
Bazin's user avatar
  • 16.2k
4 votes

Analytic solutions to analytic differential equations

No. Take for instance the following ODE where $0$ is a regular singular point, $$x y'=\lambda y.$$ The functions $cx_+^{\lambda}$ are solutions and are not analytic. If $\lambda$ is not a non-negative …
Bazin's user avatar
  • 16.2k
4 votes
2 answers
4k views

Pointwise convergence for continuous functions

Let $f_n:[0,1]\rightarrow \mathbb R$ be a sequence of continuous functions converging pointwise, i.e. such that $\forall x\in [0,1]$, the sequence $(f_n(x))_{n\in \mathbb N}$ converges. We set $f(x)=\ …
Bazin's user avatar
  • 16.2k

1
2 3 4 5
15 30 50 per page