Intereting Posts

Compute $\int_0^\pi\frac{\cos nx}{a^2-2ab\cos x+b^2}\, dx$
Transformation T is… “onto”?
How to find $ \lim\limits_{ x\to 100 } \frac { 10-\sqrt { x } }{ x-100 }$
Distribution of a transformed Brownian motion
Is every semigroup with (possibly non-unique) division a group?
About idempotent and invertible matrix
Every $k$ vertices in an $k$ – connected graph are contained in a cycle.
Lebesgue measurability of nearly identical sets
Character and representations of $\Bbb C^\times$
In a slice category C/A of a category C over a given object A, What is the role of the identity morphism of A in C with respect to C/A
Textbooks on set theory
Find the sum of all quadratic residues modulo $p$ where $p \equiv 1 \pmod{4}$
The adjoint of finite rank operator is finite rank
What are the prerequisites for taking introductory abstract algebra?
Formula for curve parallel to a parabola

i have this question :

in an example of the compact embedding, the autor gives a demonstration of :

the sobolev space $W^{1,1}(\mathbb{R}^n)$ is not compactly embedded in $L^1(\mathbb{R}^n)$

So let $F\in D(\mathbb{R}^n)$(=the space of smooth functions with a compact support in $\mathbb{R}^n)$ ., not identically equal to zero and $\{x_n\}$ a sequence such that lim $x_n=+\infty$ when $n\rightarrow \infty$. so $F_n(x)=F(x-x_n)$ is bounded in $W^{1,1}(\mathbb{R}^n)$ and it converge a.e. to 0.

so if it converge strongly in $L^1$ we will have :$||F_n||_{L^1}=||F||_{L^1}=0$, an this is a contradiction .

- Weak convergence in $L^{2}(0,T;H^{-1}(\Omega))$
- Use $C^\infty$ function to approximate $W^{1,\infty}$ function in finite domain
- Sobolev inequality
- Evans PDE p.308 Exercise 16 (2nd ed)
- function a.e. differentiable and it's weak derivative
- Relationship between $C_c^\infty(\Omega,\mathbb R^d)'$ and $H_0^1(\Omega,\mathbb R^d)'$

my question is : where is the contradiction and how to prove that the embedding is compact in “this case or in normed (Banach) spaces (general case)”?

thank you very much.

- Weak formulation with Dirichlet boundary conditions
- Sobolev embedding for $W^{1,\infty}$？
- cutoff function vs mollifiers
- How to show that $p-$Laplacian operator is monotone?
- Find minimal $\alpha_3$ such that $u\in H^3(\Omega)$ and $u(x,y,z)=x^\alpha(1-x)y(1-y)z(1-z)$
- Dual space of $H^1(\Omega)$
- Is $W_0^{1,p}(\Omega)\cap L^\infty(\Omega)$ complete?
- about weak derivative of Bochner integrable function
- Is Sobolev Spaces Uniformly Convex?
- Vector, Hilbert, Banach, Sobolev spaces

The idea is that *if* the sequence $F_n$ converges strongly, then it has to converge to zero since $F_n(x)\rightarrow0$ a.e., but as we know since we are just shifting the original function $F$, so $\|F_n\|_1=\|F\|_1$ for all $n$, and the contradiction is $0\neq \|F\|_1=\lim_{n\rightarrow\infty}\|F_n\|_1=0$. Thus we conclude that the sequence $F_n$ does not converge and has no convergent subsequence.

A simple, illustrative example: consider the $1-$D traveling hat: $F(x)=\begin{cases}2x & x\in[0,1/2]\\ 3-2x & x\in[1/2,1]\end{cases}$, zero everywhere else, and set $x_n=n$. Then $F_n=\chi_{[n,n+1]}$. Then we have $\|F_n\|_{W^{1,1}(\mathbb{R})}=\|F\|_{W^{1,1}(\mathbb{R})}$, and $\|F_n\|_1=1$ for all $n$, so $F_n$ is a bounded sequence in $W^{1,1}(\mathbb{R})$, but again $F_n(x)\rightarrow0$ for all $x$ and so $F_n$ does not have any convergent subsequence in $L^1$.

- How can I evaluate this indefinite integral? $\int\frac{dx}{1+x^8}$
- Sum of multiples of $2$ coprime numbers cover positive integers
- Contraction Mapping question
- $\sqrt{ab}=\sqrt{a}\sqrt{b}$ for complex number $a$ and $b.$
- Lebesgue measure, Borel sets and Axiom of choice
- $f$ entire, $f$ satisfies $|f(x+iy)|\leq\frac{1}{|y|}$ for all $x,y\in\mathbb{R}$. Prove that $f\equiv 0$.
- Proving the countability of algebraic numbers
- Proving $A \cap C = B \cap C$, but $ A \neq B$
- Find $N$ when $N(N – 101)$ is the square of a positive integer
- Is it possible to generalize Ramanujan's lower bound for factorials when $\{\frac{x}{b_2}\} + \{\frac{x}{b_3}\} \ge 1$?
- Prove that every set with more than one element has a permutation without fixed points
- Local diffeomorphism is diffeomorphism provided one-to-one.
- Why is $(2, 1+\sqrt{-5})$ not principal?
- How to construct a bijection from $(0, 1)$ to $$?
- Does $k=9018009$ have a friend?