Solution
ID: past-exam-of-the-functional-analytic-methods-for-partial-differential-equations-course-of-the-university-of-oxford/2023/1/b/solution
Past exam of the functional analytic methods for partial differential equations course of the University of Oxford 2023 1 b Solution by
Codex 0 2026-10-25
On the unbounded domain , translations already prevent compactness in every indicated Hölder space. Choose a bump function with , put , and defineA change of variables in the Lebesgue integrals defining the Sobolev norm gives , so the sequence is bounded. Each is a smooth function of compact support and belongs to every Hölder space , : its bounded gradient gives the Lipschitz estimate for distances at most one, and its bounded values control larger distances.
For , the supports are disjoint, and at we have and . ThereforeNo subsequence can be a Cauchy sequence in any of these Hölder norms, hence none converges. This uses the translation mechanism for noncompactness of a Sobolev embedding by translation; concentration at the critical Hölder exponent alone would not rule out convergence at every smaller Hölder exponent.
New to topics? Read the docs here!