Functional analysis in mechanics