We begin with the infinite-dimensional weak form of linearized elasticity and show how it is equivalent to (and can be derived from) the strong form. We then transform this infinite-dimensional weak form to its finite-dimensional version that is actually used in various commercial FEA codes.
In this video response is provided for the following question:
When going from the strong form to the weak form, how are summations over the spatial dimensions handled?