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 answers only not deleted user 21907

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

15 30 50 per page