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 3948

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.

1 vote

An inequality with critical Sobolev exponent

Start with Pietro's example in the linked question. Fix $u$. Define $$ v_{\delta,M} = M\delta^{-n/2^*} u(x/\delta) $$ We know that $\|\nabla v_{\delta,M}\|_2 = M\|\nabla u\|_2$ and $\|v_{\delta,M}\|_ …
Willie Wong's user avatar
  • 39.1k
3 votes

Finding an optimal $p$ such that $u \in L^p$

The power of 10 from Michael Renardy's answer is in fact optimal, which follows from the fact that for $y\approx 0$, the vector fields $\partial_y$ and $x\partial_y - y\partial_x $ are parallel. We …
Willie Wong's user avatar
  • 39.1k
10 votes
Accepted

Possible way to define $H_0^1(\Omega)$ Sobolev spaces

The first two are equivalent, as the $H^1(\Omega)$ norm and $H^1(\mathbb{R}^d)$ norm coincide for $C^\infty_c(\Omega)$ functions. The third is in general different: If you let $d = 1$ and $\Omega = \m …
Willie Wong's user avatar
  • 39.1k
5 votes
Accepted

Question about calculation in Schwartz space

The key computation is the commutator $$ \Lambda^s (xf) - x \Lambda^s f. $$ You can check this "classically" in the case $s = 4$ to find $$ (1 - \Delta)^2 (xf) = x (1-\Delta)^2 f - 4 (1-\Delta) f'$$ w …
Willie Wong's user avatar
  • 39.1k
2 votes
Accepted

Weighted Sobolev Spaces and Decay

Question 1 (that higher derivatives are not used) is yes. Question 2 (getting decay without weights) is no. Without weights, let $u$ be a compactly supported smooth function. Let $f_k(x) = u(x - k v) …
Willie Wong's user avatar
  • 39.1k
1 vote
Accepted

Hölderness of the inverse to a $W^{1,p}$-homeomorphism (with additional conditions) of a Lip...

What you want is not possible. The basic idea is that it is possible for a diffeo $\Omega_1\to \Omega_2$ that extends to a homeo $\bar{\Omega}_1 \to \bar{\Omega}_2$ to "almost fold up" $\partial\Omega …
Willie Wong's user avatar
  • 39.1k
4 votes
Accepted

Tangential Sobolev spaces

The assumption that $\Omega$ is bounded is in fact required. (So your attempt is the correct proof, once you fix the omission in the statement.) Counterexample: let $\Omega$ be the upper half plane. L …
Willie Wong's user avatar
  • 39.1k
4 votes
Accepted

Optimal constant for a Sobolev-type inequality

Taking the Fourier transform and using $L^2$ orthogonality you are equivalently trying to estimate $$ \sum_{i + j +k = 0} \hat{u}_i \hat{u}_j \hat{u}_{k} |i+j|^{n+1}|k|^{n} $$ Now from the equality …
Willie Wong's user avatar
  • 39.1k
3 votes
Accepted

reference needed for sobolev type estimates

Okay, the estimate actually holds. I had a "moment" yesterday when I first read gerw's argument, which is actually subtly flawed. Let me quickly illustrate: To estimate $\| u^2\|_{H^1}$ you need to e …
Willie Wong's user avatar
  • 39.1k
1 vote

Regularity of the quasi-linear PDE $-\Delta u + c(u) = f$

Locally if you take $$ u = r^{-2/p} $$ you see that $$ \Delta u = - (n - 3 - \frac2p) \frac2p \frac{u}{r^2} = - (n-3-\frac2p)\frac2p u^{p+1}$$ Set your $c$ to be the function on the RHS. If I did my …
Willie Wong's user avatar
  • 39.1k
2 votes

Littlewood-Paley theory and dense property of Sobolev spaces

By Plancherel $$ \| f - S_k f\|_{H^s}^2 \approx \int (1 + |\xi|^2)^{s} (1 - \chi(2^{-k}\xi))^2 |\hat{f}|^2 ~d\xi $$ By almost orthogonality you can write $$ (1 - \chi(2^{-k}\xi))^2 \approx \sum_{\ell …
Willie Wong's user avatar
  • 39.1k
0 votes

Intersection of the kernel with the interpolation space

(Making CW as this is an extended comment.) Let's generalize slightly1: let $X\hookrightarrow Y$ be an embedding of Banach spaces, and let $S\subset Y$ be a closed subspace with the induced norm. Your …
3 votes
Accepted

About radial Sobolev inequality (Strauss Lemma)

First, you got the scaling wrong. The correct scaling for $$ |x|^\alpha u(x) \lesssim \|u\|_{L^2}^{1-\beta} \|\nabla u\|_{L^2}^\beta $$ would be $\alpha = \frac{N}{2} - \beta$ where $N$ is the spatia …
Willie Wong's user avatar
  • 39.1k
1 vote
Accepted

Sobolev estimates $\|\nabla\phi\|_{\infty}\leq C\|\phi\|_{H^2}$

In $d \geq 3$ the answer is no from scaling argument. WLOG we can assume $0\in \Omega$ (by translation) and that $B(0,r_0)\subset\Omega$. Take $\phi\in C^\infty_0(B(0,r_0))\subset C^\infty_0(\Omega)$. …
Willie Wong's user avatar
  • 39.1k
6 votes

$f=0$ in $H^{-1}(\Omega)$ implies $f=0$ almost everywhere

A bit of a pet peeve of mine: the negative Sobolev spaces are spaces of distributions. However, your question (phrased as asking $f = 0$ a.e.) presupposes that elements of $H^{-1}$ can be represented …
Willie Wong's user avatar
  • 39.1k

15 30 50 per page