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.
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 - …
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 …
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 …
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 < …
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 …
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 …
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 …
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 …
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 …
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 …
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$ …
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 …
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 …
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.
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 …