A real linear operator on an inner-product space is a positive-definite operator when it is self-adjoint and
for every nonzero in its domain. In the variational setting one normally requires the stronger uniform estimate for some , which is coercivity.
Choose the Sobolev space encoding the homogeneous essential boundary conditions, set
after the appropriate integration by parts, and define the energy functional
Its first variation is , so its stationary points are exactly the solutions of the weak formulation
If is bounded, symmetric, and coercive and , the Lax-Milgram theorem supplies a unique weak solution . Moreover, for every ,
unless . Thus is strictly convex, and is its unique global minimizer. This proves existence and uniqueness of the minimizer and of the weak solution simultaneously.
Let and use the clamped energy space , whose traces satisfy on . Two applications of integration by parts give
If equality holds, then . The maximum principle for harmonic functions and the zero Dirichlet boundary condition imply . The biharmonic operator is therefore positive definite. The same identity and conclusion hold for the simply supported conditions ; either standard interpretation of the paper's phrase “zero boundary conditions” gives the result.

Articles by others on the same topic (0)

There are currently no matching articles.