Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
0 answers
147 views

Embeddings of Bochner-Sobolev spaces with second time derivative

NOTE: I also asked this question here in MSE. In the weak theory of evolution PDEs, the Bochner-Sobolev spaces are frequently used. For $a,b \in \mathbb{R}$ and $X,Y$ banach spaces, we define these ...
MathsGoose's user avatar
2 votes
0 answers
170 views

finite dimensionality of a subspace of a Banach space

Let $H$ be the space of measurable functions on $(0,1)$ such that $$ \|u\|_{H}^2 = \int_0^1 x^2\,|\partial_x u|^2\,dx + \int_{0}^1 |u|^2\,dx <\infty.$$ Let $C>0$ be a constant. Suppose that $W \...
Ali's user avatar
  • 4,135
2 votes
1 answer
159 views

A compact embedding claim

Let $U= (0,1)\times (0,1)$. Consider the weighted Sobolev spaces $H_1$ with the norms $$ \|u\|_{H_1}^2 = \int_0^1 (\int_0^1 x\,|u(x,y)|^2\,dx) \,dy$$ Let $H_2$ be the weighted Sobolev space with the ...
Ali's user avatar
  • 4,135
0 votes
0 answers
162 views

Compact embedding of anisotropic Sobolev space

I am wondering if the embedding from $W^{2,1}_p(\Omega \times [0,T])$ to $C^{\alpha,\alpha/2}(\Omega \times [0,T])$ is compact, for some suitable domain, $p$ and $\alpha$. I have found some results. I ...
mnmn1993's user avatar
2 votes
1 answer
262 views

Weakly convergent sequence and compensated compactness

This question is about a claim made in the proof of theorem 2.1.1 in the book Hyperbolic Conservation Laws and the Compensated Compactness Method by Yunguang Lu. (For simplicity I will only write done ...
Ma Joad's user avatar
  • 1,755
2 votes
0 answers
1k views

Compact embedding of the Sobolev space $H^m(\Omega)$ and $L^2(\Omega)$ from Rellich-Kondrachov theorem

From the Rellich-Kondrachov theorem we know that $H^m(\Omega)\hookrightarrow_c L^2(\Omega)$ when $\Omega$ is bounded of class $C^1$ and $m\geq 1$ is an integer. Also this is not true if $\Omega:=\...
Mark's user avatar
  • 657
2 votes
1 answer
650 views

Compact embedding of space of signed Radon measures into Sobolev space $W^{-1,q}$ from Evans paper; Does it work in one space dimension?

Background: I work on a PDE problem where I have some approximating sequence of measure-valued functions and I need to compactly embed it into some negative Sobolev space $W^{-m,q}$ on the bounded ...
Mark's user avatar
  • 657
1 vote
0 answers
196 views

Compact embedding result

Let $\tau$ and $\ell$ be positive numbers. We know that the space $H^2(0,\ell)\cap H^1_0(0,\ell)$ is compactly embedded into $L^6(0,\ell)$. Now, is the space $L^2(0,\tau;H^2(0,\ell)\cap H^1_0(0,\ell))$...
Saj_Eda's user avatar
  • 395
4 votes
2 answers
468 views

When is a Nemytskii map between Sobolev spaces compact?

Let $f:\mathbb{R} \to \mathbb{R}$ be a smooth function with bounded derivative. Define the Nemytskii map $F:H^1(\Omega) \to H^1(\Omega)$ by $F(u)(x) := f(u(x))$. Here $\Omega$ is a bounded smooth ...
GuestUser's user avatar
9 votes
1 answer
1k views

Noncompactness of the Sobolev embedding in the critical exponent case

Let $\Omega \subset \mathbb R^n$ be a bounded domain with a Lipschitz boundary and $n > p \ge 1$. It is well known that up to the critical exponent $p^* = pn/(n − p)$, i.e. $q < p^*$, the ...
anonymous's user avatar
  • 446
6 votes
1 answer
916 views

Rellich-Kondrachov compacteness Theorem for the Euclidean space with Gaussian measure

Let $\gamma_n: \mathbb{R}^n\to\mathbb{R}$ be the Gaussian distribution function defined by $$ \gamma_n(x):=(2 \pi)^{-\frac{n}{2}} e^{-\frac{|x|^2}{2}}. $$ Let $d\gamma_n$ denote the following measure ...
Lorenzo Cavallina's user avatar
3 votes
0 answers
392 views

Compact embedding of ${\rm L}^1_{loc}$ space

I was reading one preprint and stumbled upon a part in the proof where one particular embedding was used. Namely: Let $\Omega\subset{\bf R}^2$ be open and bounded and let $p\in\langle 1,2\rangle$. ...
Semmel's user avatar
  • 165
1 vote
1 answer
618 views

Condition to obtain a not compact embedding

I have the two spaces $W_0^{1,p}$ with the norme $$||u||^p=||u||^p_{L^p}+||\nabla u||^p_{L^p}$$ and $$L^{p^*}_{\alpha}=\{ u~\text{measurable}, \int_{\Omega} (|x|^{\alpha} u(x)|)^{p^*} dx<\infty\}$$ ...
Vrouvrou's user avatar
  • 277