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.
0
votes
Accepted
Every function in W^{1,1}(0,1) is continuous on (0,1)
Since $u'\in L^1(0,1)$, you find from the Lebesgue differentiation theorem that
$$
\int_{1/2}^x u'(t) dt=u(x)+Cst,\quad x\in(0,1).
$$
As a result $u$ is a continuous function and the constant above is …
2
votes
1
answer
200
views
Sobolev spaces based on $L^p$ with $0<p<1$
I am looking for references on the topic of Sobolev spaces based on $L^p$ with $0<p<1$.
For instance, a natural question could be: let $u$ be a (compactly supported) distribution on $\mathbb R^n$ suc …
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 …
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 …
1
vote
Global estimate to an L1 function whose Laplacian is a bounded measure
More a comment than an answer, but too long for a comment. First a comment on Michael Renardy's remark: there is no homogeneous function in $L^1(\mathbb R^N)$ so the first assumption is not satisfied. …
1
vote
Products of functions in fractional-order Sobolev spaces
Let $n\ge 1$ be an integer and $s>n/2$. Then you have $H^s(\mathbb R^n)\subset L^\infty(\mathbb R^n)$ and for $f,g\in H^s(\mathbb R^n)$,
$$
\Vert fg \Vert_{H^s(\mathbb R^n)}\le c_n\bigl(\Vert f \Vert_ …
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
1
answer
287
views
Embeddings of Sobolev spaces
Let $s_1,s_2\in \mathbb R$ such that $-\frac12<s_1\le s_2$.
There exists $C>0$ such that for all smooth functions $w$ , for all $r>0$,
$$\operatorname{supp} w \subset(-r,r)\Longrightarrow
\Vert{w}\Ve …
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 …
1
vote
Local fractional Sobolev inequality
For $\epsilon >0$, $u\in H^{\frac{n}{2}+2\epsilon}$, $N_0=-\Delta+1$,
$$
\Vert N_0^{\frac{n}{4}+\epsilon} u\Vert_{L^2}=\Vert u\Vert_{H^{\frac{n}{2}+2\epsilon}}\ge c_{n,\epsilon}
\Vert u\Vert_{L^\inf …
1
vote
An acting condition for a superposition operator from $H^1(\Omega)$ to $H^1(\Omega)$
Maybe just a long comment: if you want this property for any $f$ polynomial (or any smooth $f$), you will need $H^1$ to be an algebra, which is true only in 1D ($N=1$). More generally, $H^s$ is an al …
1
vote
Interior elliptic regularity in W^{k,1} spaces
The problem is indeed coming form the fact that singular integrals, such as the Hilbert transform, although bounded on $L^p$ for $1<p<+\infty$ are failing to be bounded on $L^1$ or $L^\infty$.
Howev …
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}{ …
1
vote
Alternative representations of Sobolev space
Let $p\in (1,+\infty)$ and $s\in \mathbb R$. For $\xi \in \mathbb R^n$, we define
$
\langle\xi \rangle=(1+\vert \xi\vert^2)^{1/2}
$
and accordingly the Fourier multiplier $\langle D \rangle^s$ as
$$
…