Skip to main content
formatting (the question was bumped anyway)
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

Compact Embeddingsembeddings of Sobolev Spacesspaces: A Counterexample Showing Thea counterexample showing the Rellich-Kondrachov Theorem Is Sharptheorem is sharp

Let $U$ be an open bounded subset of $\mathbb{R}^n$ with $C^{1}$ boundary. Let $1 \leq p < n$ and $p^{\ast} = pn/(n-p)$. Then the Sobolev space $W^{1,p}(U)$ is contained $L^{p^{\ast}}(U)$ and there is a constant $C$, depending only on $p$, $n$, and $U$, such that $$ ||u||_{L^{p^{*}}(U)} \leq C ||u||_{W^{1,p}(U)} $$$$ \|u\|_{L^{p^{*}}(U)} \leq C \|u\|_{W^{1,p}(U)} $$ for every $u \in W^{1,p}(U)$ (cf. Theorem 2 in Section 5.6.1 of Partial Differential Equations by Evans).

The Rellich-Kondrachov Compactness Theorem says that $W^{1,p}(U)$ is compactly embedded into $L^{q}(U)$ for every $1 \leq q < p^{*}$. This means two things:

(i) There is a constant $C$, depending only on $p$, $n$, and $U$, such that $$ \displaystyle{ ||u||_{L^q(U)} \leq C||u||_{W^{1,p}(U)} } $$$$ \displaystyle{ \|u\|_{L^q(U)} \leq C\|u\|_{W^{1,p}(U)} } $$ for every $u \in W^{1,p}(U)$.

(ii) Every bounded sequence $(u_k)$ in $W^{1,p}(U)$ has a subsequence $(u_{k_j})$ that converges in $L^q(U)$.

Is there a standard counterexample that shows we cannot take $q=p^{\ast}$ in the Rellich-Kondrachov Compactness Theorem? In other words, I am asking for a sequence $(u_k)$ that is bounded in the $W^{1,p}(U)$ norm but has no convergent subsequence in ${L^{p^{\ast}}(U)}$. Note that such a sequence would have a subsequence that converges in $L^q(U)$ for every $1 \leq q < p^{\ast}$ but diverges in ${L^{p^{*}}(U)}$.

Thanks.

Compact Embeddings of Sobolev Spaces: A Counterexample Showing The Rellich-Kondrachov Theorem Is Sharp

Let $U$ be an open bounded subset of $\mathbb{R}^n$ with $C^{1}$ boundary. Let $1 \leq p < n$ and $p^{\ast} = pn/(n-p)$. Then the Sobolev space $W^{1,p}(U)$ is contained $L^{p^{\ast}}(U)$ and there is a constant $C$, depending only on $p$, $n$, and $U$, such that $$ ||u||_{L^{p^{*}}(U)} \leq C ||u||_{W^{1,p}(U)} $$ for every $u \in W^{1,p}(U)$ (cf. Theorem 2 in Section 5.6.1 of Partial Differential Equations by Evans).

The Rellich-Kondrachov Compactness Theorem says that $W^{1,p}(U)$ is compactly embedded into $L^{q}(U)$ for every $1 \leq q < p^{*}$. This means two things:

(i) There is a constant $C$, depending only on $p$, $n$, and $U$, such that $$ \displaystyle{ ||u||_{L^q(U)} \leq C||u||_{W^{1,p}(U)} } $$ for every $u \in W^{1,p}(U)$.

(ii) Every bounded sequence $(u_k)$ in $W^{1,p}(U)$ has a subsequence $(u_{k_j})$ that converges in $L^q(U)$.

Is there a standard counterexample that shows we cannot take $q=p^{\ast}$ in the Rellich-Kondrachov Compactness Theorem? In other words, I am asking for a sequence $(u_k)$ that is bounded in the $W^{1,p}(U)$ norm but has no convergent subsequence in ${L^{p^{\ast}}(U)}$. Note that such a sequence would have a subsequence that converges in $L^q(U)$ for every $1 \leq q < p^{\ast}$ but diverges in ${L^{p^{*}}(U)}$.

Thanks.

Compact embeddings of Sobolev spaces: a counterexample showing the Rellich-Kondrachov theorem is sharp

Let $U$ be an open bounded subset of $\mathbb{R}^n$ with $C^{1}$ boundary. Let $1 \leq p < n$ and $p^{\ast} = pn/(n-p)$. Then the Sobolev space $W^{1,p}(U)$ is contained $L^{p^{\ast}}(U)$ and there is a constant $C$, depending only on $p$, $n$, and $U$, such that $$ \|u\|_{L^{p^{*}}(U)} \leq C \|u\|_{W^{1,p}(U)} $$ for every $u \in W^{1,p}(U)$ (cf. Theorem 2 in Section 5.6.1 of Partial Differential Equations by Evans).

The Rellich-Kondrachov Compactness Theorem says that $W^{1,p}(U)$ is compactly embedded into $L^{q}(U)$ for every $1 \leq q < p^{*}$. This means two things:

(i) There is a constant $C$, depending only on $p$, $n$, and $U$, such that $$ \displaystyle{ \|u\|_{L^q(U)} \leq C\|u\|_{W^{1,p}(U)} } $$ for every $u \in W^{1,p}(U)$.

(ii) Every bounded sequence $(u_k)$ in $W^{1,p}(U)$ has a subsequence $(u_{k_j})$ that converges in $L^q(U)$.

Is there a standard counterexample that shows we cannot take $q=p^{\ast}$ in the Rellich-Kondrachov Compactness Theorem? In other words, I am asking for a sequence $(u_k)$ that is bounded in the $W^{1,p}(U)$ norm but has no convergent subsequence in ${L^{p^{\ast}}(U)}$. Note that such a sequence would have a subsequence that converges in $L^q(U)$ for every $1 \leq q < p^{\ast}$ but diverges in ${L^{p^{*}}(U)}$.

Thanks.

added 2 characters in body; added 17 characters in body
Source Link
NPC
  • 309
  • 3
  • 4

Let $U$ be an open bounded subset of $\mathbb{R}^n$ with $C^{1}$ boundary. Let $1 \leq p < n$ and $p^{\ast} = pn/(n-p)$. Then the Sobolev space $W^{1,p}(U)$ is contained $L^{p^{\ast}}(U)$ and there is a constant $C$, depending only on $p$, $n$, and $U$, such that $$ ||u||_{L^{p^{*}}(U)} \leq C ||u||_{W^{1,p}(U)} $$ for every $u \in W^{1,p}(U)$ (cf. Theorem 2 in Section 5.6.1 of Partial Differential Equations by Evans).

The Rellich-Kondrachov Compactness Theorem says that $W^{1,p}(U)$ is compactly embedded into $L^{q}(U)$ for every $1 \leq q < p^{*}$. This means two things:

(i) There is a constant $C$, depending only on $p$, $n$, and $U$, such that $$ ||u||_{L^q(U)} \leq C||u||_{W^{1,p}(U)} $$$$ \displaystyle{ ||u||_{L^q(U)} \leq C||u||_{W^{1,p}(U)} } $$ for every $u \in W^{1,p}(U)$.

(ii) Every bounded sequence $(u_k)$ in $W^{1,p}(U)$ has a subsequence $(u_{k_j})$ that converges in $L^q(U)$.

Is there a standard counterexample that shows we cannot take $q=p^{\ast}$ in the Rellich-Kondrachov Compactness Theorem? In other words, I am asking for a sequence $(u_k)$ that is bounded in the $W^{1,p}(U)$ norm but has no convergent subsequence in ${L^{p^{\ast}}(U)}$. Note that such a sequence would have a subsequence that converges in $L^q(U)$ for every $1 \leq q < p^{\ast}$ but diverges in ${L^{p^{*}}(U)}$.

Thanks.

Let $U$ be an open bounded subset of $\mathbb{R}^n$ with $C^{1}$ boundary. Let $1 \leq p < n$ and $p^{\ast} = pn/(n-p)$. Then the Sobolev space $W^{1,p}(U)$ is contained $L^{p^{\ast}}(U)$ and there is a constant $C$, depending only on $p$, $n$, and $U$, such that $$ ||u||_{L^{p^{*}}(U)} \leq C ||u||_{W^{1,p}(U)} $$ for every $u \in W^{1,p}(U)$ (cf. Theorem 2 in Section 5.6.1 of Partial Differential Equations by Evans).

The Rellich-Kondrachov Compactness Theorem says that $W^{1,p}(U)$ is compactly embedded into $L^{q}(U)$ for every $1 \leq q < p^{*}$. This means two things:

(i) There is a constant $C$, depending only on $p$, $n$, and $U$, such that $$ ||u||_{L^q(U)} \leq C||u||_{W^{1,p}(U)} $$ for every $u \in W^{1,p}(U)$.

(ii) Every bounded sequence $(u_k)$ in $W^{1,p}(U)$ has a subsequence $(u_{k_j})$ that converges in $L^q(U)$.

Is there a standard counterexample that shows we cannot take $q=p^{\ast}$ in the Rellich-Kondrachov Compactness Theorem? In other words, I am asking for a sequence $(u_k)$ that is bounded in the $W^{1,p}(U)$ norm but has no convergent subsequence in ${L^{p^{\ast}}(U)}$. Note that such a sequence would have a subsequence that converges in $L^q(U)$ for every $1 \leq q < p^{\ast}$ but diverges in ${L^{p^{*}}(U)}$.

Thanks.

Let $U$ be an open bounded subset of $\mathbb{R}^n$ with $C^{1}$ boundary. Let $1 \leq p < n$ and $p^{\ast} = pn/(n-p)$. Then the Sobolev space $W^{1,p}(U)$ is contained $L^{p^{\ast}}(U)$ and there is a constant $C$, depending only on $p$, $n$, and $U$, such that $$ ||u||_{L^{p^{*}}(U)} \leq C ||u||_{W^{1,p}(U)} $$ for every $u \in W^{1,p}(U)$ (cf. Theorem 2 in Section 5.6.1 of Partial Differential Equations by Evans).

The Rellich-Kondrachov Compactness Theorem says that $W^{1,p}(U)$ is compactly embedded into $L^{q}(U)$ for every $1 \leq q < p^{*}$. This means two things:

(i) There is a constant $C$, depending only on $p$, $n$, and $U$, such that $$ \displaystyle{ ||u||_{L^q(U)} \leq C||u||_{W^{1,p}(U)} } $$ for every $u \in W^{1,p}(U)$.

(ii) Every bounded sequence $(u_k)$ in $W^{1,p}(U)$ has a subsequence $(u_{k_j})$ that converges in $L^q(U)$.

Is there a standard counterexample that shows we cannot take $q=p^{\ast}$ in the Rellich-Kondrachov Compactness Theorem? In other words, I am asking for a sequence $(u_k)$ that is bounded in the $W^{1,p}(U)$ norm but has no convergent subsequence in ${L^{p^{\ast}}(U)}$. Note that such a sequence would have a subsequence that converges in $L^q(U)$ for every $1 \leq q < p^{\ast}$ but diverges in ${L^{p^{*}}(U)}$.

Thanks.

added 2 characters in body
Source Link
Bill Johnson
  • 31.5k
  • 5
  • 89
  • 138
Source Link
NPC
  • 309
  • 3
  • 4
Loading