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 |
A Sobolev space is a vector space of functions equipped with a norm that is a combination of Lp-norms of the function itself and its derivatives up to a given order.
5
votes
Example for the Sobolev embedding theorem when p=n.
Take $u$ in $\mathscr S'(\mathbb R^2)$ with
$$
\hat u(\xi)=\frac{\mathbf 1(\vert\xi\vert\ge 2)}{\vert\xi\vert^3 \ln\vert\xi\vert},\quad
\vert \xi\vert^2\hat u(\xi)=\frac{\mathbf 1(\vert\xi\vert\ge 2)} …
5
votes
Accepted
Embedding of weighted Sobolev spaces
Continuity is a local property: functions which are in your $L^{2,s}$ are locally in $L^2$, so functions in $H^{2,s}$ are locally in the Sobolev space $H^2(\mathbb R^3)$, thus are continuous functions …
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}$.}
$$ …
4
votes
How to define Laplacian on $L_2$
(1) Let me answer first to the last question: $\Delta \vert x\vert$ is homogeneous of degree $-1$ and radial. On $\mathbb R^d$ ($d\ge 2$)
it is
$$
(\partial_r^2+\frac{d-1}{r}\partial_r)(r)=\frac{d-1}{ …
3
votes
about smoothing pseudodifferential operators
The answer is negative: take $f$ smooth compactly supported in $(-1/4,1/4)$ equal to 1 in $(-1/8,1/8)$, take $g(x) =f(x+1)$ so that $g$ is supported where
$-1/4<x+1<1/4,$ i.e.
$-5/4<x<-3/4$
so tha …
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 …
3
votes
Does the union of fractional Sobolev spaces fills $L^p$?
Let us assume that $p=2$, and let us consider
$$
\cup_{s>0} H^s(\mathbb R^d)\subset H^0(\mathbb R^d)=L^2(\mathbb R^d).
$$
The above inclusion is strict. Let us consider $u\in L^2(\mathbb R^d)$ define …
2
votes
Morrey's inequality for Sobolev spaces of fractional order
The Sobolev space $H^s(\mathbb T)$ is $W^{s,2}(\mathbb T)$ and is also the Besov space
$B^{s}_{2,2}(\mathbb T)$. On the other hand the set of Hölder continuous functions with index $\alpha\in (0,1)$ i …
2
votes
Sobolev-type inequality.
The function $\vert x\vert^{\alpha-n}$ is radial homogeneous of degree $\alpha-n$, so its Fourier transform is radial homogeneous of degree $-(\alpha-n)-n=-\alpha$ (both locally integrable since $\alp …
2
votes
Accepted
Weak divergence implies weak differentiability of components?
So $\sigma=\sum_{1\le j\le n}\sigma_j(x)\frac{\partial}{\partial x_j}$ is a vector field with distributions coefficients $\sigma_j$ and divergence in $L^2$:
$$
\sum_{1\le j\le n}\frac{\partial \sigma …
2
votes
Gronwall estimate with a Fourier transform
I will more comfortable with the notation $v_\epsilon=\hat{u_\epsilon}$; you have then
$$
v_\epsilon(t,x)=\alpha(t,x)+\int_0^t\int e^{2πix(\xi+\epsilon\phi(s,\xi))} \hat{v_\epsilon}(s,\xi) d\xi ds=\al …
2
votes
Accepted
Double space integral formulation of homogeneous Sobolev norm
You have done half of the job. We have the absolutely convergent integral which is such that
$$
f(\xi)=\int_{\mathbb R^d} \frac{\vert e^{2iπ y\cdot \xi}-1\vert^2}{\vert y\vert^{d+2s}} dy
=c_{s,d}\vert …
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 …
2
votes
Local L^p regularity theory for elliptic operators
There are two different parts in elliptic regularity theory.
The first and easier is interior regularity, which can be proven for $p\in (1,+\infty)$ essentially by the same method as for $p=2$, usin …
1
vote
Sobolev type embedding
I believe that the answer is yes in dimension $d\ge 2$, from the following result.
Theorem. Let $\Omega$ be an open subset of $\mathbb R^d$, let $X$ be a Lipschitz vector field on $\Omega$ and let $u …