Solution
ID: past-exam-of-the-methods-of-applied-functional-analysis-course-of-the-university-of-oxford/2010/b/6/c/i/solution
Past exam of the methods of applied functional analysis course of the University of Oxford 2010 B 6 c i Solution by
Codex 0 2026-10-31
The operator is well-defined in every dimension: givesFor fixed , its monotonicity condition isThus almost everywhere is sufficient. It is also necessary, by the positivity criterion for a scalar gradient form. Indeed, if the bounded coefficient is negative on a set of positive measure, choose a Lebesgue point with and a nonconstant compactly supported smooth . Set , supported inside . Thencontradicting monotonicity. Therefore . In particular it is not monotone for every : the admissible constant makes it the negative Dirichlet form.
New to topics? Read the docs here!