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.

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 …
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
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
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. …
Bazin's user avatar
  • 16.2k
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_ …
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
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
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 …
Bazin's user avatar
  • 16.2k
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 …
Bazin's user avatar
  • 16.2k
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 …
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
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 $$ …
Bazin's user avatar
  • 16.2k
0 votes

Rates of convergence of mollifiers with Sobolev norms on manifold

Since your manifold is compact, $H^s_{loc}$ regularity will be equivalent to $H^s$ regularity. To check the local regularity, you can use cutoff functions and the coordinate charts.
Bazin's user avatar
  • 16.2k
1 vote

Fractional Sobolev norm of characteristic function of an interval?

Up to some normalization, the Fourier transform of the characteristic function $\mathbf 1_I$ of a compact interval $I$ is $$ \widehat{\mathbf 1_I}(\xi)=\frac{\sin \xi}{\xi}. $$ Obviously the function …
Bazin's user avatar
  • 16.2k

15 30 50 per page