История содержит гораздо больше прекрасных открытий, чем сейчас принято думать.
В 19-м веке было высказана масса идей, в том числе понятных и общедоступных, высказанных высококвалифицированными специалистами, однако несправедливо забытых. Многие были вытеснены туманными абстракциями, ведущими в никуда...
Не нашлось людей, которые смогли бы довести их до логического совершенства и найти реальное место в жизни... Идеи могут быть логически совершенными, но применимыми не везде. И пока они витают в воздухе, как когда-то у Лобачевского, направления будут задвигаться в дальний угол.
Например, решающая роль в деле развития геометрии Лобачевского принадлежала итальянцу Бельтрами.
Леутвилер, развивая новую теорию, является чистым математиком - он вообще не понимает физической и прикладной ценности математических моделей. На мой взгляд, его слабость заключается именно в этом. Даже из математиков его сейчас понимают и чувствуют буквально единицы. Ученики Леутвилера в духе сегодняшних абстракций пытаются найти приложения в квантовой механике. Что тогда остается думать физикам...
На самом деле теория функций комплексной переменной встала на ноги на классических задачах, и естественно ее обобщения в первую очередь проверять на классике.
В частности, функциональный анализ появился только в 20-м веке, когда уже хорошо были изучены многие факты тфкп и стали почти аксиомами.
Для примера откроем хорошую современную книгу Шубин М.А. Лекции об уравнениях математической физики, 2003, "изложенные на основе функционального анализа и теории обобщенных функций", как написано в аннотации. На первой же странице основного текста книги, в самых первых определениях дифференциального оператора (стр.10) появляется мнимая единица из комплексной области... Далее и язык всей книги - из комплексной области.
Имеем ли мы право просто перенести этот аппарат в кватернионную область? К сожалению, нет...
С другой стороны, если вынуть мнимую единицу из фундамента такого большого и красивого здания, оно разваливается на несвязанные куски
Такую парадоксальную особенность тфкп обычно стараются не замечать. Однако когда-то придется открыть глаза...
Следующий парадокс в явном виде обозначил Садбери в 1979 году.
A. Sudbery, Quaternionic analysis, Math. Proc. Cambridge Phil. Soc., 85, 199 – 225, 1979.
Там можно увидеть, что функции в виде кватернионных полиномов - в точности те, которые могут быть представлены в виде вещественных полиномиальных отображений из
в
. Из формул Садбери следует, что любая система 4 вещественных полиномов от 4 вещественных переменных может быть записана в виде некоторого кватернионного полинома. Это плохая основа для новых многомерных теорий?