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 questions only not deleted user 80191

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 …
BigbearZzz's user avatar
  • 1,245
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 …
BigbearZzz's user avatar
  • 1,245
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 …
BigbearZzz's user avatar
  • 1,245
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 …
BigbearZzz's user avatar
  • 1,245
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 …
BigbearZzz's user avatar
  • 1,245
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 …
BigbearZzz's user avatar
  • 1,245
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 …
BigbearZzz's user avatar
  • 1,245
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 …
BigbearZzz's user avatar
  • 1,245
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 …
BigbearZzz's user avatar
  • 1,245