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 42047

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.

2 votes

Trace theorem for magnetic Sobolev spaces

If the magnetic field $\operatorname{curl} A$ is bounded, then the trace space is $$ \left\{ g \in L^2 (\mathbb{R}^{N - 1}, \mathbb{C}) ; \iint\limits_{\mathbb{R}^{N - 1} \times \mathbb{R}^{N - …
Jean Van Schaftingen's user avatar
5 votes
Accepted

A specific problem on : Can bounding the Sobolev norm, bound a higher derivative?

This seems to be a consequence of the Cauchy–Schwarz inequality: $$ \begin{split} \bigg\vert \sum_{\vert \alpha \vert = k} \sum_{\vert \beta \vert = k} \int_{\mathbb{R}^m} D^\alpha f D^\beta \phi \big …
Jean Van Schaftingen's user avatar
3 votes

Is there an example of a one to one and onto mapping between these two spaces?

The map $(-\Delta + 1)^{-\frac{1}{2}}: L^p (\Omega) \to W^{1, p}_0 (\Omega)$ is a linear bijection when $\Omega$ is smooth and $1 < p < +\infty$, where $\Delta$ is the Laplacian with Dirichlet boundar …
Jean Van Schaftingen's user avatar
3 votes

Sobolev trace theorem on Lipschitz domains

The problem here is with the definition of $H^\ell (\partial D)$. Typically, $\partial D$ is a manifold and you can define this set by local charts. In order to define $H^\ell (\partial D)$ with $0 < …
Jean Van Schaftingen's user avatar
9 votes
Accepted

The Hölder inequality for fractional order Sobolev seminorm?

Your question can be rephrased by asking whether one has a Hölder estimate $$ |u|_{W^{s, p}} \le C |u|_{W^{s, q}}, $$ when $p < q$ or whether $W^{s, q} \subset W^{s, p}$. There is no such embedding …
Jean Van Schaftingen's user avatar
6 votes
Accepted

Are Sobolev spaces on non-compact manifolds separable?

Yes they are. Step 1 There exists measurable sections $e_1, e_2, \dotsc, e_m$, where $m = \dim M$, of $TM$ (measurable functions mapping a point $x$ to a vector of its tangent plane $T_xM$) such that …
Jean Van Schaftingen's user avatar
4 votes

Equivalent Norms on Sobolev Spaces

If $k \in (0, 2]$, we define the multiplier $$ m (\xi) = (1 + \vert \xi \vert^2)^\frac{k}{2} - \vert \xi \vert^k. $$ We observe that if $\vert \xi \vert \ge 2$, then by differentiability $$ \big …
Jean Van Schaftingen's user avatar
1 vote
Accepted

How to modify a $H^1$ weak convergence sequence so that I have the $L^2$ equi-integrability ...

I think that the construction that you are proposing by harmonic extension does not work. Indeed consider on the unit disk $\mathbb{B}^2 \subset \mathbb{R}^2$ the function $u_n : \mathbb{B}^2 \to \mat …
Jean Van Schaftingen's user avatar
4 votes
Accepted

Generalization of maximum principle to other norms

One way to reformulate this is to consider a good extension $\bar{g}$ to the whole $\Omega$ of the function $g$, and then set $v = u - \bar{g}$. The function $v$ solves then the problem $$ \left\{ \b …
Jean Van Schaftingen's user avatar
1 vote
Accepted

Condition to obtain a not compact embedding

The failure of the compactness of the embedding $W^{1, p} (\Omega) \subset L^{p^*} (\Omega)$ is local, that is, it can be exhibited in any ball. An abstract way of seeing the failure of the embeddin …
Jean Van Schaftingen's user avatar
3 votes
Accepted

Horizontal Sobolev space on Carnot group

If $V_1 \ne \mathfrak{g}$, then $H W^{1, p} \ne W^{1, p}$. The construction is based on the notion of dilation on the Carnot group $\mathbb{G}$. The dilation $\delta_r$ is defined by for $X \in V_i$ …
Jean Van Schaftingen's user avatar
2 votes

Sobolev trace map: is the fractional seminorm bounded by just the gradient?

This should follow from the nonhomogeneous trace inequalty $$ \vert T u \vert_{H^{1/2} (\partial M)} \le C \lVert \nabla u \rVert_{L^2} + \lVert u \rVert_{L^2}, $$ and and from the classical Poincar …
Jean Van Schaftingen's user avatar
2 votes
Accepted

Sobolev's lemma on manifolds

This follows from its counterpart in the Euclidean space by local charts. If you want to have an estimate on the derivative $D^r f$, then you should impose some bounds on derivatives of the curvatur …
Jean Van Schaftingen's user avatar
2 votes

Do extracted weak $H^{1,2}$-limits and $C^0$-limits coincide?

Both convergences imply the weak convergence in $L^2 (I)$, which has a unique limit.
Jean Van Schaftingen's user avatar
1 vote
Accepted

$u_n$ bounded in $L^\infty(0,T;H) \cap L^2(0,T;V)$ implies $u_n \to u$ strongly in $L^2(0,T;...

As it is stated, this property does not hold: indeed consider the sequence of functinos $(u_n)_{n \in \mathbb{N}}$ defined for $t \in [0, T]$ by $$ u_n (t) = \sin (2n\pi t) v, $$ where $v \in V$ is …
Jean Van Schaftingen's user avatar

15 30 50 per page