:point_right: Here are some problems on Sobolev spaces.


Problem 1. Prove that if ΩRn\Omega \subset \mathbb{R}^n is connected, uW1,p(Ω)u\in W^{1,p}(\Omega) and the weak derivatives

uxi=0,i=1,,n\displaystyle \frac{\partial u}{\partial x_i} = 0, \qquad i=1,\ldots,n

a.e. on Ω\Omega, then uconstu\equiv\text{const} a.e.


Problem 2. Let n>1n>1. Check that

u(x)=loglogx1\displaystyle u(x) = \text{log}\,\text{log}\, |x|^{-1}

belongs to W1,n(B(0,1/e))W^{1,n}(B(0,1/e)), where B(0,1/e)RnB(0,1/e)\subset\mathbb{R}^n. Check that u∉Lp\nabla u\not\in L^p for p>np>n.


Solve the next problem to understand that differentiability in the weak sense and differentiability a.e. in the classical sense are two different notions.

Problem 3. Let v ⁣:[0,1][0,1]v\colon[0,1]\to [0,1] be a continuous, nondecreasing function such v(0)=0,v(1)=1v(0)=0, v(1)=1 and vv is constant on each segment in the complement of the standard Cantor set CC. (I.e., the classical derivative vv' of vv exists and is equal to zero at points of [0,1]C[0,1]\setminus C.) Does vv have a weak derivative vL1v'\in L^1?


Problem 4. Let v ⁣:[0,1]Rv\colon[0,1]\to \mathbb{R} be a piecewise C1C^1 function. Prove (directly by definition) that the weak derivative vL1v'\in L^1 exists and is equal to the classical derivative vv' at points where vv is classically differentiable.


Problem 5. Let uu be locally integrable on Rn\mathbb{R}^n. Assume that weak derivatives Dαu,DβuD^\alpha u,D^\beta u exist. Prove that if two of the weak derivatives Dβ(Dαu), Dα(Dβu),Dα+βuD^\beta(D^\alpha u),\ D^\alpha(D^\beta u), D^{\alpha+\beta}u do exist, then all three exist and are equal. Can you weaken the assumptions?


Problem 6. Let Ω\Omega be a domain in Rn\mathbb{R}^n. Assume that uW1,p(Ω)u\in W^{1,p} (\Omega) for some p1p\ge 1. Prove that

u,u+W1,p(Ω).\displaystyle |u|, u_{+} \in W^{1,p} (\Omega).

Is the same true for W2,pW^{2,p}?

Hint: Consider fjuf_j\circ u for fj(t)=(t2+j2)1/2j1f_j(t)=(t^2+j^{-2})^{1/2}-j^{-1}, where j=1,2,j=1,2,\ldots.