Intereting Posts

Show that if $a$ has order $3\bmod p$ then $a+1$ has order $6\bmod p$.
Splitness of quotient sequence
The square of minimum area with three vertices on a parabola
For $n \geq 2$, show that $n \nmid 2^{n}-1$
Problem about limit of Lebesgue integral over a measurable set
Is there a function $f: \mathbb R \to \mathbb R$ that has only one point differentiable?
Basic Modulo Question
Last 3 digits of $7^{12341}$
Improper integral of $\int_0^\infty \frac{e^{-ax} – e^{-bx}}{x}\ dx$
Finite injective dimension of the residue field implies that the ring is regular
Find the trace of the matrix?
Need for triangle congruency axioms
$\{a_n\}$ sequence $a_1=\sqrt{6}$ for $n \geq 1$ and $a_{n+1}=\sqrt{6+a_n}$ show it that convergence and also find $\lim_{x \to \infty} \{a_n\}$
How to show that the geodesics of a metric are the solutions to a second-order differential equation?
Does $\sum a_n$ converge if $a_n = \sin( \sin (…( \sin(x))…)$

I want to show that if $u_{m} \rightharpoonup u$ in $W^{1,\infty}(\Omega)$ then $u_{m} \rightarrow u$ in $L^{\infty}(\Omega)$.

I know that I can’t directly use the compactness of Rellich Kondrachov Theorem since I am taking $p = \infty$. From Morrey’s Inequality I have $||u||_{C^{0,\alpha}} \leq ||u||_{W^{1,p}}$ where $\alpha = 1 – \frac{n}{p}$. Is it possible to take this further and show that $W^{1,p}(\Omega) \Subset L^{\infty}(\Omega)$ where $\Omega \subset \mathbb{R}^{n}$ is $C^{1}$?

- Counterexample for the solvability of $-\Delta u = f$ for $f\in C^2$
- pythagoras theorem for $L_p$ spaces
- $TT^*=T^2$, show that $T$ is self-adjoint
- Are there necessary and sufficient conditions so that every element in a partially ordered set is either the least element or in the upset of an atom?
- Is duality an exact functor on Banach spaces or Hilbert spaces?
- The openness of the set of positive definite square matrices

- limits problem-ordinary sencond order equation
- Basic Properties Of Fourier Series. 2.
- Proving that $\int_0^1 f(x)e^{nx}\,{\rm d}x = 0$ for all $n\in\mathbb{N}_0$ implies $f(x) = 0$
- If $f\in C[0,1)$, $\int_{0}^{1}f^{2}(t)dt =\infty$, can one construct $g\in C[0,1)$ so $\int_{0}^{1}g^{2}dt < \infty$, $\int fgdt = \infty$?
- what is the relation of smooth compact supported funtions and real analytic function?
- Why do we give $C_c^\infty(\mathbb{R}^d)$ the topology induced by all good seminorms?
- About Banach Spaces And Absolute Convergence Of Series
- show operator norm submultiplicative
- An other question about Theorem 3.1 from Morse theory by Milnor
- The dual of subspace of a normed space is a quotient of dual: $X' / U^\perp \cong U'$

Here is a direct proof for $L^\infty$, without Hölder spaces or Morrey inequality.

- By the Arzelà–Ascoli theorem, every infinite bounded subset of $W^{1,\infty}$ has a limit point in $L^\infty$.
- Therefore, the embedding of $W^{1,\infty}$ into $L^\infty$ is compact.
- A compact operator maps weakly convergent sequences into convergent sequences.

*Old answer*: Every $C^1$ domain, and more generally a Lipschitz domain, is a *Sobolev extension domain*, meaning that Sobolev functions on it can be extended to Sobolev functions on $\mathbb R^n$. In particular, all embedding theorems for Sobolev spaces hold on such domains.

When $p>n$, Morrey’s inequality gives a continuous embedding of $W^{1,p}$ into $C^\beta$ with $\beta=1-n/p$. In turn, $C^\beta$ compactly embeds into $C^\alpha$ for $0<\alpha<\beta$. See Is there a reference for compact imbedding of Hölder space? This topic was also discussed in Compact, continuous embeddings of $H^s := W^{s,2} \leftrightarrow C^{(\alpha)}$ (in one dimension).

Under your assumptions, you can get $u_m\to u$ in any space $C^\alpha$ with $\alpha\in (0,1)$. *A fortiori*, $u_m\to u$ in $L^\infty$.

- Is there other methods to evaluate $\int_1^{\infty}\frac{\{x\}-\frac{1}{2}}{x}\ \mathrm dx$?
- What are the uses of Euler's number $e$?
- How to solve $ \sqrt{x^2 +\sqrt{4x^2 +\sqrt{16x^2+ \sqrt{64x^2+\dotsb} } } } =5\,$?
- Finding the fraction $\frac{a^5+b^5+c^5+d^5}{a^6+b^6+c^6+d^6}$ when knowing the sums $a+b+c+d$ to $a^4+b^4+c^4+d^4$
- Derivative to Zero, What does it intuitively mean?
- Measure theory, measurable function, constant almost everywhere
- How do i simplify the following: $\sum_{i=1}^n (3i^2+4) – \sum_{j=2}^{n+1} (3j^2+1)$
- Check if the number $3^{2015} – 2^{2015}$ is prime
- Entire function bounded by a polynomial is a polynomial
- Idempotents in $\mathbb Z_n$
- Why is a differential equation a submanifold of a jet bundle?
- Assume $T$ is compact operator and $S(I- T) = I $.Is this true that $(I- T)S =I$?
- Prove no existing a smooth function satisfying … related to Morse Theory
- Values of the Riemann Zeta function and the Ramanujan Summation – How strong is the connection?
- Why are vector spaces not isomorphic to their duals?