:point_right: Here are some problems on Sobolev spaces.


Problem 1. Prove that if is connected, and the weak derivatives

a.e. on , then a.e.


Problem 2. Let . Check that

belongs to , where . Check that for .


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 be a continuous, nondecreasing function such and is constant on each segment in the complement of the standard Cantor set . (I.e., the classical derivative of exists and is equal to zero at points of .) Does have a weak derivative ?


Problem 4. Let be a piecewise function. Prove (directly by definition) that the weak derivative exists and is equal to the classical derivative at points where is classically differentiable.


Problem 5. Let be locally integrable on . Assume that weak derivatives exist. Prove that if two of the weak derivatives do exist, then all three exist and are equal. Can you weaken the assumptions?


Problem 6. Let be a domain in . Assume that for some . Prove that

Is the same true for ?

Hint: Consider for , where .