Карта → персоналии → биография
Жозеф Лиувилль
Joseph Liouville
Первым предъявил трансцендентное число — построил его, а не доказал, что такие «должны существовать». И спас Галуа: разобрал рукописи, четырнадцать лет пролежавшие без движения, и напечатал их.
Лиувилль сделал две вещи, из которых первую помнят все математики, а вторую — все, кто знает историю Галуа. И, помимо этого, почти сорок лет издавал журнал, в котором печаталась половина французской математики века.
Париж
Родился в 1809 году в Сент-Омере, в семье офицера наполеоновской армии. Учился в Политехнической школе — у Ампера и Араго, — потом в Школе мостов и дорог. С 1831 года преподавал в Политехнической, с 1838-го занимал там кафедру анализа и механики, с 1851-го — кафедру в Коллеж де Франс. В Академию наук избран в 1839 году, тридцати лет.
Работ у него около четырёхсот, и они разбросаны широко: теория чисел, комплексный анализ, дифференциальные уравнения, дифференциальная геометрия, механика, математическая физика.
Трансцендентные числа
К 1840-м годам было известно, что бывают числа алгебраические (корни многочленов с целыми коэффициентами) и что $\pi$ и $e$, по-видимому, не таковы. Доказать, что хоть одно неалгебраическое число существует, не умел никто.
Лиувилль в 1844 году закрыл вопрос конструктивно. Ход рассуждения такой: алгебраическое число степени $n$ плохо приближается рациональными дробями — есть предел точности, зависящий от знаменателя. Значит, если предъявить число, которое приближается дробями слишком хорошо, оно алгебраическим быть не может.
И он предъявляет:
$$\sum_{k=1}^{\infty}\frac{1}{10^{k!}} = 0{,}110001000000000000000001\ldots$$
Нули идут всё более длинными сериями, и обрывок ряда даёт феноменально точное приближение. Число трансцендентно.
Это на тридцать лет раньше канторовского счёта мощностей, показавшего, что трансцендентных чисел подавляющее большинство. Между двумя доказательствами разница поучительная: Кантор доказал, что таких чисел много, не предъявив ни одного; Лиувилль предъявил, ничего не сказав о количестве.
Спасение Галуа
В 1846 году Лиувилль напечатал в своём журнале рукописи Эвариста Галуа — те самые, что были отвергнуты Академией и четырнадцать лет пролежали без движения.
Разобрать их стоило труда: текст написан крайне сжато, и Лиувилль потратил месяцы, прежде чем понял, что перед ним. Он не просто напечатал, а объяснил — снабдил публикацию комментарием, из которого стало ясно, что́ именно сделано. Без этого ночь перед дуэлью осталась бы просто гибелью молодого человека, а теория групп пришла бы позже и другим путём.
Что ещё носит его имя
Теорема Лиувилля в комплексном анализе: ограниченная целая функция постоянна. Из неё в две строки следует основная теорема алгебры.
Теорема Лиувилля в механике: фазовый объём сохраняется при гамильтоновой эволюции — основание статистической физики.
Задача Штурма — Лиувилля (1836, совместно с Шарлем Штурмом) — первый в истории «спектр»: краевая задача, у которой решения существуют лишь при отдельных значениях параметра. Отсюда прямая линия к спектральной теории и квантовой механике.
Теорема Лиувилля об интегрировании в конечном виде — точное описание того, какие интегралы «не берутся» в элементарных функциях. То есть ответ на вопрос, который студенты задают каждый год.
Журнал
В 1836 году Лиувилль основал «Journal de mathématiques pures et appliquées» — второй в мире математический журнал общего профиля — и вёл его тридцать девять лет. Его до сих пор называют «журналом Лиувилля».
Умер в 1882 году в Париже.
Точки на карте
Где имя встречается в статьях: сначала точки, где этот человек — главный герой, дальше по хронологии.
- Штурм и Лиувилль: первый «спектр»
- Лиувилль: первые трансцендентные числа
- Лежандр: многочлены из притяжения сфероида
- Основная теорема алгебры
- Ночь Галуа
- Петербургская школа: строгость трёх поколений
- Жордан: Галуа становится преподаваемым
- Кантор: множества из рядов Фурье
- Ковалевская: волчок и премия Бордена
- Грам и Шмидт: из любого набора — ортогональный
- Крылов и Боголюбов: нелинейная механика
- Гельфонд: седьмая проблема Гильберта
- Гельфанд: банаховы алгебры и C*-алгебры
- Фаддеев: квантовый метод обратной задачи
- Фальтингс: гипотеза Морделла доказана