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.
3
votes
1
answer
318
views
Typical elements of the space $\mathring {L^k_p}(\Omega)$
In the book Sobolev Spaces with Application of Maz'ya, $\mathring {L^k_p}(\Omega)$ is defined to be the completion of $\mathcal D(\Bbb R^n)$ under the norm $||\nabla^ku||_{L_p(\Omega)}$.
For nice dom …
3
votes
0
answers
110
views
Is a relatively weakly compact subset of $W^{1,1}(\Omega)$ metrizable?
Let $\Omega$ be a domain with smooth boundary. Let $S\subset W^{1,1}(\Omega)$ be a relatively weakly compact set.
Is it true that $(S,w)$ is metrizable?
Since $S$ is relatively weakly compact, i …
2
votes
0
answers
115
views
Density of $C^0(\Bbb R^{n}\times (0,T))$ and $C^{\infty}_c(\Bbb R^{n}\times (0,T))$ in $L_{p...
Let the space $L_{p,q}(\Bbb R^n_T)$ be defined as the set of all measurable $f:\Bbb R^{n}\times(0,T)\to\Bbb R$ such that $||f||_{p,q}<\infty$, where
$$
||f||_{p,q}:=\left(\int_0^T\left( \int_{\Bbb R^n …
3
votes
1
answer
1k
views
Gagliardo-Nirenberg inequality for bounded domain
For concreteness let's assume that $u\in W^{1,2}(\Bbb R^2).$ It is well known that
$$
\|u\|_4\le C \|u\|_2^{\frac 12} \|\nabla u\|_2^{\frac 12}.
$$
This is also true if $u\in W^{1,2}_0(\Omega)$ for a …
4
votes
0
answers
107
views
A reference for $\nabla |u|^p = p\ \text{sgn}(u)|u|^{p-1}\nabla u$
Let $\Omega$ be an open domain with nice boundary and $u\in W^{1,p}(\Omega)$. I believe that $|u|^p\in W^{1,1}$ with
$$
\nabla |u|^p = p\ \text{sgn}(u)|u|^{p-1}\nabla u
$$
but couldn't find a good r …
8
votes
2
answers
291
views
Averaging the mass of a Sobolev function $f\in W^{1,p}(\Omega)$ near $\partial\Omega$
Recently, I asked a somewhat related question here. In the comment section, I found the formula
$$
\lim_{r\to 0}\frac{1}{r}\int_{\Omega_r} f(x)\,dx = \int_{\partial \Omega}f(\sigma)\,d\mathcal{H}^{n-1 …
4
votes
1
answer
394
views
Proving the inequality $|\nabla |\nabla^r \psi|| \le |\nabla^{r+1} \psi|$
Following Aubin's book "Some nonlinear problems in Riemannian geometry", we use the notation
$$
|\nabla^r \psi|^2 = \nabla_{\alpha_1}\cdots \nabla_{\alpha_r}\psi \nabla^{\alpha_1}\cdots \nabla^{\alpha …
2
votes
0
answers
124
views
Regularity up to boundary of a solution $u\in W^{1,p}\cap W^{2,2}(\Omega;\Bbb R^m)$ to $\Del...
Let $\Omega\subset \Bbb R^n$ be a $C^{2}$ domain (open and bounded) and let $p\in(1,\infty)$. Suppose $u\in W^{1,p}\cap W^{2,2}(\Omega;\Bbb R^m)$ is a weak solution to the fourth-order elliptic system …
3
votes
1
answer
164
views
Must a Schauder basis for $W^{1,p}_0(\Omega)$ be oscillatory?
Suppose that $\Omega \subset \Bbb R^d$ is a sufficiently nice domain. From the examples of orthogonal bases in Hilbert space cases (or looking at a wavelets basis), it seems natural to me that one may …