Józef Banaś (PRz), Miary niezwartości i ich zastosowanie w teorii równań