**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**.