A real linear operator on an inner-product space is a positive-definite operator when it is self-adjoint andfor 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, setafter the appropriate integration by parts, and define the energy functionalIts first variation is , so its stationary points are exactly the solutions of the weak formulationIf 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 giveIf 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
There are currently no matching articles.