What is the equivalence between the weak and strong forms of PDEs
During the process of deriving the weak formulation of the FEA, we get a form that looks like the formula given below.
Substituting the formula above in the weak formulation
and placing the integral terms on the left-hand side and the boundary terms on the right-hand side gives:
The quintessence of making the proof possible is the arbitrariness of w(x). First we let
where \psi(x) is smooth \psi(x) > 0 on 0 < x < l and \psi(x) vanishes on the boundaries. An example of a function satisfying the requirements above is \psi(x) = x(l-x). Because of how \psi(x) is constructed, it follows that w(l) = 0, so that w=0 on the prescribed displacement boundary, the essential boundary is met.
Combining the formulas above gives us:
The boundary term vanishes because we have constructed the weight function so that w(0)=0. As the integrand is the product of a positive function and the square of a function, it must be positive at every point in the problem domain. The only way equality is met in this equation is if the integrand is zero at every point! It follows that:
which is exactly the strong form.
Please go to our related article to find out more about the weak and strong formulation in our SimWiki article about the Finite Element Analysis.