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 yields
If the gradient norm is nonzero, divide by it; if it is zero, Poincare gives and the estimate is automatic. In either case
Hence 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 (0)

There are currently no matching articles.