Consider the function f(x) = |x|. Which statement about its Sobolev membership is correct?
Af has no weak derivative because it is not differentiable at x = 0 — weak derivatives only exist where classical ones do
Bf belongs to W^{1,p} for any p ≥ 1, because its weak derivative (the sign function) exists and is in Lᵖ
Cf has no Sobolev derivative because it is not smooth
Df belongs to W^{2,p} because piecewise linear functions always have second weak derivatives
The weak derivative is defined via integration by parts against smooth test functions — it does not require pointwise differentiability. Even though |x| lacks a classical derivative at x = 0, the sign function sgn(x) satisfies ∫|x|φ' dx = −∫sgn(x)φ dx for all smooth test functions φ, so it qualifies as a weak derivative in Lᵖ. Option A is the classic misconception: confusing weak differentiability with classical differentiability.
Question 2 Multiple Choice
Why does the Sobolev norm ‖f‖_{W^{k,p}} include the Lᵖ norms of all weak derivatives up to order k, rather than just the Lᵖ norm of f itself?
AIt ensures f is Riemann integrable, which is required for PDE analysis
BIt forces all elements of the space to be classically smooth
CIt controls both the size of f and the behavior of its derivatives, which enables embedding theorems linking Sobolev regularity to classical smoothness
DIt makes the space finite-dimensional, simplifying existence proofs
Tracking derivative norms in the Sobolev norm is what makes Sobolev embedding theorems possible: under sufficient conditions on k, p, and dimension, W^{k,p} embeds into spaces of continuous or Hölder functions. This is the bridge between weak solutions (existence via functional analysis) and classical solutions (pointwise regularity). A norm that only tracks ‖f‖_p has no leverage over derivatives and cannot support such results.
Question 3 True / False
A weak derivative is defined by an integration-by-parts identity against smooth test functions, not by a pointwise limit.
TTrue
FFalse
Answer: True
This is precisely the definition. A function g is the weak derivative of f if ∫ f φ' dx = −∫ g φ dx holds for every smooth compactly supported test function φ. This definition requires only that f and g are locally integrable — no pointwise limit is involved. The integration-by-parts formula is what classical derivatives satisfy, so weak derivatives are exactly the Lᵖ functions that behave like derivatives in the integral sense.
Question 4 True / False
Nearly every function in the Sobolev space W^{1,p}(Ω) is also continuously differentiable on Ω.
TTrue
FFalse
Answer: False
W^{1,p} contains functions that may be far from continuously differentiable. For example, W^{1,1}(R) includes absolutely continuous functions whose derivatives are merely integrable, not continuous. The Sobolev embedding theorem specifies when regularity is sufficient for continuous differentiability — for W^{1,p}(Ω) ⊂ C(Ω̄) one needs p > n (dimension). Without that condition, W^{1,p} functions can be irregular, and this is precisely why Sobolev spaces are needed: classical function spaces were too restrictive.
Question 5 Short Answer
Why do PDE theorists formulate problems as 'find u in a Sobolev space satisfying a weak identity' rather than demanding classical solutions?
Think about your answer, then reveal below.
Model answer: Classical solutions require derivatives to exist pointwise, which many physically relevant functions lack. The weak formulation replaces derivatives with integration-by-parts identities, requiring only that the solution lie in a Sobolev space. This makes the problem tractable via functional analysis: the Lax-Milgram theorem guarantees existence and uniqueness of weak solutions when a coercive bilinear form is present. Sobolev embedding theorems then determine when a weak solution automatically has additional regularity and becomes a classical one.
This captures the entire strategy of modern PDE theory: (1) enlarge the solution space to Sobolev spaces; (2) reformulate the equation in weak (integral) form; (3) use functional analysis to prove existence; (4) use regularity theory to recover classical solutions when possible. Demanding classical solutions from the outset would exclude many equations that have no smooth solutions but do have physically meaningful weak ones — such as shock wave solutions in fluid dynamics.