If and , linearity of the weak equation makes solve the equation with forcing . Uniqueness therefore gives .
Test the equation for with itself. The Poincaré inequality yieldsIf the gradient norm is nonzero, divide by it; if it is zero, Poincare gives and the estimate is automatic. In either caseHence is a bounded linear operator. Notice that the energy identity has a minus sign, so . Testing the equations for and against each other gives . Thus the bounded Dirichlet inverse is a negative self-adjoint operator on .
Articles by others on the same topic
There are currently no matching articles.