Альтернативное доказательство результатов Миронова о самосопряженных коммутирующих операторах ранга $2$

Приведено альтернативное доказательство результатов Миронова о самосопряженных коммутирующих операторах ранга 2. Доказательство Миронова опирается на сложную теорию Кричевера существования функции Бейкера–Ахиезера высокого ранга. В отличие от доказательства Миронова наше доказательства простое, но полученные результаты будут чуть слабее. Заметим, что метод, развитый в этой статье, может быть обобщен на матричные операторы. С помощью этого метода можно построить первые явные примеры матричных коммутирующих дифференциальных операторов ранга 2 и произвольного рода.