Пуанкаре | страница 81
Извержение
В одной из своих монографий Брио и Буке отмечали: «Случаи, когда можно интегрировать дифференциальное уравнение, в высшей степени редкие и должны рассматриваться как исключения. Но можно рассмотреть дифференциальное уравнение как определяющее функцию и заняться изучением свойств этой функции по данному дифференциальному уравнению». Из самого дифференциального уравнения авторы предлагали извлекать информацию о той неизвестной функции, которая является его решением. Этот новый подход превращал все не решенные до сих пор дифференциальные уравнения в неисчерпаемый источник новых трансцендентных функций. К сожалению, не было примеров подобных открытий на этом заманчивом, многообещающем пути. Сами Брио и Буке продемонстрировали свой метод на известных эллиптических функциях, установив их основные свойства, которые уже были объектом исследования многих математиков.
Анри Пуанкаре, со студенческих лет находившийся под большим влиянием идей Брио и Буке, решил воспользоваться их рекомендацией, разработанным ими методом. Приняв в качестве определения искомой функции линейное дифференциальное уравнение с алгебраическими коэффициентами, он пришел к первому важному результату: функция, являющаяся решением такого уравнения, должна оставаться неизменной при дробно-линейных преобразованиях переменной величины, от которой она зависит. Это свойство функции сразу же позволяло отнести ее к разряду особого рода периодических функций, если пересмотреть и расширить понятие периодичности. Обычные периодические функции и двоякопериодические эллиптические функции остаются неизменными при простом прибавлении периода к их переменным величинам. Новая гипотетическая функция должна принимать одинаковые значения при более сложных, более общих операциях, произведенных над ее переменной. Подхватив и продолжив эстафету обобщения понятия периодичности, Анри уже в первых работах продемонстрировал свою склонность к широким научным обобщениям.
Чтобы построить эту трансцендентную периодическую функцию более высокого порядка, нужно было найти порождающую ее группу преобразований. В отличие от обычного словоупотребления математики называют группой не произвольное скопление каких-то объектов, а только такое, которое в некотором смысле аналогично множеству целых чисел. Как известно, сумма любых целых чисел тоже является целым числом, то есть не выходит за пределы их множества. Причем от перестановки любого количества слагаемых результат сложения не меняется. Множество целых чисел включает в себя нуль, прибавление которого к любому числу не изменяет его. И, наконец, у каждого положительного целого числа имеется его антипод — такое отрицательное целое число, что их сложение дает в сумме нуль.