Гамильтон, Уильям Роуэн

Сэр Уи́льям Ро́уэн Га́мильтон (англ. William Rowan Hamilton; 4 августа 1805 — 2 сентября 1865) — ирландский математик, механик-теоретик, физик-теоретик, «один из лучших математиков XIX века»[5]. Известен фундаментальными открытиями в математике (кватернионы, основы векторного анализа, вариационное исчисление, обоснование комплексных чисел), аналитической механике (гамильтонова механика) и оптике[6][7]. Автор предельно общего вариационного принципа наименьшего действия, применяемого во многих разделах физики.

Уильям Роуэн Гамильтон
англ. William Rowan Hamilton
Уильям Роуэн Гамильтон
Уильям Роуэн Гамильтон
Дата рождения 4 августа 1805(1805-08-04)[1][2][…]
Место рождения Дублин, Ирландия
Дата смерти 2 сентября 1865(1865-09-02)[1][2][…] (60 лет)
Место смерти Дублин, Ирландия
Страна
Род деятельности математик, физик, астроном, научный работник, преподаватель университета, физик-теоретик
Научная сфера математика, механика, физика
Альма-матер Дублинский университет
Учёная степень бакалавр искусств[4] (1827) и магистр искусств[вд][4] (1837)
Награды и премии Королевская медаль (1835)
Логотип Викисклада Медиафайлы на Викискладе

Королевский астроном Ирландии (1827—1865)[8]. Член Ирландской королевской академии (1837; в 1837—1845 годах — её президент). Член-корреспондент многих академий наук и научных обществ, в том числе Российской академии наук (1837), первый иностранный член Национальной академии наук США (1864)[6][9]. Академик А. Н. Крылов писал, что Гамильтон — «один из величайших математиков, отличавшийся многочисленностью своих работ, важностью заключавшихся в них открытий, глубиною мысли, оригинальностью методов, вместе с тем и как вычислитель имевший мало себе равных»[10].

Биография

править

Детство и юность

править

Гамильтон был четвёртым из девяти детей в семье ирландки Сары Хаттон (англ. Sarah Hutton, 1780—1817)[11] и полуирландца, полушотландца Арчибальда Гамильтона (англ. Archibald Hamilton, 1778—1819). Арчибальд, родом из городка Данбойн, работал в Дублине юристом. Из-за финансовых затруднений и плохого здоровья родителей было решено с годовалого возраста передать мальчика на воспитание дяде по отцу. Дядя, Джеймс Гамильтон, человек хорошо образованный, служил викарием и учителем в городе Трим; он с симпатией отнёсся к племяннику и всячески помогал его развитию[12]. Вскоре Уильям окончательно остался без родителей — мать умерла, когда мальчику было 12 лет, отец пережил её на два года. Позднее Гамильтон взял на себя заботу о трёх своих осиротевших сёстрах.

Уже в детстве мальчик проявил необыкновенные дарования. В 3 года он свободно читал и начал осваивать арифметику. В 7 лет он знал латынь, греческий и древнееврейский языки. В 12 — под руководством дяди Джеймса, хорошего лингвиста, — знал уже 12 языков и среди них персидский, арабский и санскрит[13]. В 13 лет он написал руководство по сирийской грамматике. Литературу и поэзию Гамильтон всю жизнь высоко ценил и время от времени сам пробовал писать стихи. Среди его литературных знакомых были знаменитый поэт-романтик Уильям Вордсворт, дружба между ними продолжалась до конца жизни Вордсворта, а также Сэмюэл Кольридж, с которым Гамильтон завязал оживлённую переписку[14].

После языков настала пора увлечения математикой. Ещё в десятилетнем возрасте Гамильтону попался латинский перевод «Начал» Евклида, и он детально изучил это сочинение; в 13 лет он прочёл «Универсальную арифметику» Ньютона; в 16 лет — большую часть «Математических начал натуральной философии» Ньютона (при этом Гамильтон — по работам Клеро и Лапласа — изучал и континентальную математику, что в Великобритании было ещё новостью)[8]. В 17 лет Уильям приступил к изучению «Небесной механики» Лапласа; в этом трактате он обнаружил логическую ошибку и сообщил о ней королевскому астроному Ирландии Джону Бринкли. Тот оценил способности юноши и стал помогать его научному развитию. Крупных учёных в Ирландии было совсем мало, и фактически Гамильтон изучал математику и физику самоучкой, в затруднительных случаях прибегая к помощи Бринкли. Ирландская писательница Мария Эджуорт, с семьёй которой подружился Уильям, назвала его «чудом талантливости, о котором профессор Бринкли говорит, что он может стать вторым Ньютоном»[15].

 
Один из залов библиотеки Тринити-колледжа (Long Room)

В 1815—1823 годах Уильям учился в школе, затем 18-летний юноша поступил в Тринити-колледж Дублинского университета. Там он показал столь блестящие способности (первый по всем предметам), что в 1827 году, ещё 22-летним студентом, по рекомендации ушедшего в отставку Бринкли был назначен на его место — профессором астрономии в Дублинском университете и королевским астрономом Ирландии. В университете бывший студент Гамильтон, так никогда и не защитивший диссертацию, читал курс небесной механики[16].

Королевский астроном

править

В 1827 году Гамильтон занял пост королевского астронома Ирландии (что автоматически означало по совместительству пост директора Дансинкской обсерватории) и занимал его на протяжении 38 лет — дольше, чем кто бы то ни было на этой должности. Он опубликовал ряд работ по геометрической оптике, представляющих большую ценность для теории оптических инструментов, но чисто астрономическими проблемами занимался мало; комиссии из Лондона дважды подвергали его критике за недостаточное усердие[16].

 
Обсерватория в Дансинке

В 1833 году Гамильтон женился на Хелен Бэйли (Helen Maria Bayley). У них родились два сына и дочь. Брак оказался не слишком удачным, и Гамильтон начал злоупотреблять алкоголем[12].

В период 1834—1835 годов появились классические работы по «гамильтоновой механике». Шотландский математик Питер Тэт назвал эти работы «крупнейшим дополнением теоретической динамики со времени великих эпох Ньютона и Лагранжа». За открытия в оптике и по совокупности научных заслуг вице-король Ирландии возвёл Гамильтона в рыцарское достоинство (1835)[17] и назначил ежегодное пособие в 200 фунтов, а лондонское Королевское общество наградило его (совместно с Фарадеем) Королевской медалью.

Однако впереди был ещё целый ряд крупных открытий. В том же 1835 году Гамильтон завершил разработку нового, чрезвычайно общего подхода к решению задач динамики в виде вариационного принципа (принцип Гамильтона). Спустя почти столетие именно этот подход оказался ключевым для создания квантовой механики, а открытый Гамильтоном вариационный принцип с успехом был использован при разработке уравнений поля общей теории относительности.

В 1837 году Гамильтона избрали президентом Ирландской королевской академии[6]. В том же году по представлению академиков В. Я. Буняковского, М. В. Остроградского и П. Н. Фусса он был избран членом-корреспондентом Петербургской академии наук за работу «Об общем методе в динамике»[18].

1843 год стал в жизни Гамильтона переломным. В этом году он открыл алгебраическую систему кватернионов — обобщение системы комплексных чисел — и оставшиеся два десятилетия своей жизни посвятил их исследованию[19]. В Великобритании теорию кватернионов встретили с необыкновенным энтузиазмом и «глубоким уважением, доходящим до благоговения»[20]; в Ирландии (а затем — и в Англии) она стала обязательным элементом образования[21].

В 1846 году случился неприятный скандал на обеде Геологической ассоциации, куда Гамильтон явился в состоянии чрезвычайно сильного опьянения: в результате он подал в отставку с поста президента Ирландской академии[22]. Год спустя скончался дядя Джеймс, заменивший Уильяму отца.

Весной 1865 года здоровье Гамильтона стало быстро ухудшаться. Свой многолетний труд, монографию «Элементы кватернионов», он успел завершить за несколько дней до смерти. Гамильтон скончался 2 сентября в возрасте 60 лет[22]. Похоронен на дублинском кладбище Mount Jerome Cemetery and Crematorium.

Научный вклад

править

Во всех своих основных работах Гамильтон стремился поставить и решить задачу максимально общим, универсальным способом, глубоко исследовать открытые им методы и ясно очертить области их практического применения[23].

Математика

править

Теория комплексных чисел

править

В 1835 году Гамильтон опубликовал работу «Теория алгебраических пар» (Theory of Algebraic Couples), в которой дал строгое построение теории комплексных чисел. Если Эйлер рассматривал комплексное число как формальную сумму  , а Вессель и Гаусс пришли к геометрической интерпретации комплексных чисел, трактуя их как точки координатной плоскости (причём последний в 1831 году в работе «Теория биквадратных вычетов» также предложил вполне строгое построение алгебры комплексных чисел), то Гамильтон (вероятно, не знакомый с работой Гаусса) рассматривал комплексное число как пару   действительных чисел. Ныне все три подхода распространены в равной мере; при этом с появлением работ Гаусса и Гамильтона был снят вопрос о непротиворечивости теории комплексных чисел (точнее, он был сведён к вопросу о непротиворечивости теории действительных чисел)[24][25].

 
Памятная табличка на мосту Брум Бридж в Дублине: «Здесь на прогулке, 16 октября 1843 года, сэр Уильям Роуэн Гамильтон, во вспышке гения, открыл формулу умножения кватернионов»

Геометрическая интерпретация комплексных чисел открывала возможность плодотворного применения их в планиметрии и при решении двумерных задач математической физики. Пытаясь добиться аналогичного результата в пространственном случае[10], Гамильтон в течение нескольких лет работал над обобщением понятия комплексного числа и созданием полноценной системы «чисел» из троек действительных чисел (сложение должно было — как и для комплексных чисел — быть покомпонентным; проблема состояла в надлежащем определении умножения). Не преуспев в этом, он обратился к четвёркам действительных чисел. Озарение пришло к нему в один из октябрьских дней 1843 года — во время прогулки по дублинскому мосту; так появились кватернионы[24][26].

Теория кватернионов

править
Создание теории кватернионов
править

Для открытых им «четырёхчленных чисел» Гамильтон ввёл название кватернионы — от лат. quaterni ‘по четыре’[27]. Наряду с представлением кватернионов четвёрками действительных чисел он — по аналогии с комплексными числами — записывал кватернионы[28] и как формальные суммы вида

 

где   — три кватернионные единицы (аналоги мнимой единицы  )[29][30]. Предполагая умножение кватернионов дистрибутивным относительно сложения, Гамильтон свёл определение операции умножения кватернионов к заданию таблицы умножения для базовых единиц   вида [28]:

 

Из таблицы видно, что умножение кватернионов не является коммутативным (поэтому алгебраическая система кватернионов является телом, но не полем). В 1878 году Г. Фробениус объяснил причину неуспеха Гамильтона с тройками действительных чисел, доказав следующее утверждение (теорема Фробениуса): над полем действительных чисел   существуют лишь три конечномерные ассоциативные алгебры с делением: само  , поле комплексных чисел   и тело кватернионов  [31].

Два следующих десятилетия Гамильтон посвятил подробному исследованию новых чисел и практическим приложениям[32], написав на эту тему 109 статей и две объёмные монографии «Лекции о кватернионах» и «Элементы кватернионов». Правую часть формулы   он рассматривал как сумму двух слагаемых: скалярной части (число  ) и векторной части (оставшаяся часть суммы)[28]; позднее некоторые авторы использовали соответственно выражения «вещественная часть» и «мнимая часть»[30]. Так в математику впервые вошли слова вектор (1847 г.[6]) применительно к кватерниону с нулевой скалярной частью и скаляр (1853 г.[28]) применительно к кватерниону с нулевой векторной частью. В качестве векторной и скалярной частей кватернионного произведения двух векторов появились на свет соответственно векторное и скалярное произведения[33].

Приложения кватернионов
править

Крупнейшим продолжателем работ Гамильтона и популяризатором кватернионов стал его ученик — шотландский математик Питер Тэт, предложивший для них множество приложений к геометрии, сферической тригонометрии и физике[10]. Одним из первых таких приложений стало изучение пространственных преобразований. Комплексные числа успешно используются для моделирования произвольных движений на плоскости: сложению чисел соответствует перенос точек комплексной плоскости, а умножению — поворот (с одновременным растяжением, если модуль множителя отличен от 1)[34].

Аналогично кватернионы представляют собой удобный инструмент для исследования движений в трёхмерном евклидовом пространстве (см. Кватернионы и вращение пространства): такое их использование основано на геометро-числовой интерпретации кватернионов, при которой кватернионным единицам сопоставляются (в современной терминологии) векторы некоторого правого ортонормированного базиса в трёхмерном пространстве[35]. Тогда устанавливается взаимно однозначное соответствие между трёхмерными поворотами и внутренними автоморфизмами тела кватернионов[36][37]; каждый такой автоморфизм может быть порождён кватернионом с модулем, равным 1 (модуль кватерниона   определяется как корень квадратный из суммы квадратов его компонентов  [38]), причём данный кватернион, называемый кватернионом поворота, определяется с точностью до знака[30]. При этом последовательному выполнению двух поворотов соответствует умножение соответствующих кватернионов поворота. Этот факт, кстати, ещё раз иллюстрирует некоммутативность умножения кватернионов, поскольку результат выполнения двух трёхмерных поворотов существенно зависит от порядка их выполнения[34].

В ходе исследований кватернионов Гамильтон попутно ввёл понятие векторного поля (сам термин «поле» у него ещё отсутствует, вместо него использовалось понятие векторной функции точки) и заложил основы векторного анализа. Символика Гамильтона (в частности, введённый им оператор набла) позволила ему компактно записывать основные дифференциальные операторы векторного анализа: градиент, ротор и дивергенцию[39] [40]. На основе работ Гамильтона Гиббс и Хевисайд выделили и развили систему векторного анализа, уже отделённую от теории кватернионов; она оказалась чрезвычайно полезной в прикладной математике и вошла в учебники[41].

Максвелл ознакомился с кватернионами благодаря Тэту, своему школьному другу, и высоко их оценил: «Изобретение исчисления кватернионов есть шаг вперёд в познании величин, связанных с пространством, который по своей важности можно сравнить только с изобретением пространственных координат Декартом»[42]. В ранних статьях Максвелла по теории электромагнитного поля кватернионная символика применяется для представления дифференциальных операторов[43], тем не менее в последних своих работах Максвелл отказался от кватернионной символики в пользу более удобного и наглядного векторного анализа Гиббса и Хевисайда[44].

Историческое значение теории кватернионов
править

В XX веке были сделаны несколько попыток использовать кватернионные модели в квантовой механике[45] и теории относительности[10]. Реальное применение кватернионы нашли в современной компьютерной графике и программировании игр[46], а также в вычислительной механике[47][48], в инерциальной навигации и теории управления[49][50]. С 2003 года издаётся журнал «Гиперкомплексные числа в геометрии и физике»[51].

Феликс Клейн высказал мнение, что «кватернионы хороши и применимы на своём месте, но они не имеют всё же такого значения, какое имеют обыкновенные комплексные числа»[52]. Во многих областях применения были найдены более общие и практичные средства, чем кватернионы. Например, в наши дни для исследования движений в пространстве чаще всего применяется матричное исчисление[53]; однако там, где важно задавать трёхмерный поворот при помощи минимального числа скалярных параметров, использование параметров Родрига — Гамильтона (то есть четырёх компонент кватерниона поворота) весьма часто оказывается предпочтительным: такое описание никогда не вырождается, а при описании поворотов тремя параметрами (например, углами Эйлера) всегда существуют критические значения этих параметров, когда описание вырождается[47][48].

В любом случае исторический вклад кватернионов в развитие математики был неоценим. Анри Пуанкаре писал: «Их появление дало мощный толчок развитию алгебры; исходя от них, наука пошла по пути обобщения понятия числа, придя к концепциям матрицы и линейного оператора, пронизывающим современную математику. Это была революция в арифметике, подобная той, которую сделал Лобачевский в геометрии»[54].

Геометрия и другие области математики

править

В 1861 г. Гамильтон в области планиметрии доказал носящую его имя теорему Гамильтона: Три отрезка прямых, соединяющих ортоцентр с вершинами остроугольного треугольника, разбивают его на три треугольника Гамильтона, имеющих ту же самую окружность Эйлера (окружность девяти точек), что и исходный остроугольный треугольник.

 
Головоломка Гамильтона (показано одно из решений)

В 1856 году Гамильтон исследовал группу симметрий икосаэдра и показал, что у неё имеются три порождающих элемента[55]. Изучение другого многогранника, додекаэдра, привело впоследствии к появлению в теории графов полезного понятия «гамильтонова графа»[56]; кроме того, Гамильтон придумал занимательную головоломку, связанную с обходом рёбер додекаэдра, и выпустил её в продажу (1859). Эта игра, красочно оформленная как «Путешествие вокруг света», долгое время выпускалась в разных странах Европы[57].

С момента возникновения теории кватернионов Гамильтон постоянно имел в виду приложения возникшего в её рамках аппарата векторов к пространственной геометрии. При этом направленный отрезок   с началом в точке   и концом в точке   Гамильтон трактовал именно как вектор и записывал (вслед за Мёбиусом) в виде   (то есть как разность конца и начала). Сам термин «вектор» был образован им от латинского глагола vehere ‘нести, тянуть’ (имелся в виду перенос подвижной точки из начального положения   в конечное положение  )[33].

Геометрия обязана Гамильтону и такими терминами, как «коллинеарность» и «компланарность» (применявшимися только к точкам; для векторов с общим началом в соответствующих случаях употреблялись выражения termino-collinear и termino-coplanar)[33].

Несколько работ Гамильтона посвящены уточнению работ Абеля по разрешимости уравнения пятой степени[58] и численным методам. В ходе своих исследований кватернионов Гамильтон доказал ряд алгебраических теорем, которые в наши дни относят к теории матриц. Важную в линейной алгебре теорему Гамильтона — Кэли он фактически доказал для матриц размерности  , само понятие матрицы и формулировку теоремы (без доказательства) опубликовал Кэли (1858)[59], для общего случая доказательство дал Фробениус в 1898 году.

Оптика

править

Теория распространения света

править

Первую свою крупную научную работу, озаглавленную «Caustics», 19-летний Гамильтон представил в 1824 году доктору Бринкли, тогдашнему президенту Ирландской академии наук. Работа эта (посвящённая развитию дифференциальной геометрии прямолинейных конгруэнций с применением к теории оптических инструментов[8]) осталась в рукописи, однако с 1827 года Гамильтон начал публикацию серии статей со значительно расширенным и углублённым её вариантом под общим заглавием «Теория систем лучей» (Theory of Systems of Rays)[60].

В данных статьях Гамильтон стремился построить формальную теорию известных оптических явлений, которая была бы приемлема безотносительно к принимаемой точке зрения на природу света (то есть к его трактовке либо как потока частиц, либо как распространяющихся волн). Он заявлял, что его цель — создать теорию оптических явлений, которая обладала бы такой же «красотой, эффективностью и гармонией», что и аналитическая механика Лагранжа[61].

В первой из статей цикла (1827 год) Гамильтон применительно к случаю оптически однородной среды исследует общие свойства световых лучей, которые выходят из одной светящейся точки и подвергаются либо отражениям, либо преломлениям. В основу исследования он кладёт известные из опыта законы отражения и преломления лучей. Исходя из этих представлений геометрической оптики, Гамильтон приходит к понятию «поверхностей постоянного действия» (в волновой интерпретации — фронт волны), получает и анализирует описывающие данные поверхности дифференциальные уравнения[62].

В конце статьи Гамильтон показывает, что все оптические законы могут быть выведены из чрезвычайно общего и плодотворного вариационного принципа, применённого к некоторой «характеристической функции», которая характеризует конкретную оптическую систему. В современной терминологии эта функция представляет собой интеграл от действия как функцию пределов интегрирования[63]; его часто называют «эйконалом Гамильтона»[64]. В письме к Кольриджу Гамильтон вспоминал[65]:

Моей целью было не открывать новые феномены, не улучшать конструкции оптических инструментов, но с помощью дифференциального исчисления преобразовать геометрию света, посредством установления единого метода для решения всех проблем этой науки.

Он поясняет: «Общей проблемой, которую я поставил перед собой в оптике, является исследовать математические следствия принципа наименьшего действия». Этот принцип, далеко обобщающий классический «принцип наименьшего времени Ферма», оказался единым как для механики, так и для оптики. Средствами своей теории Гамильтон также строго доказал, что геометрическая оптика есть предельный случай волновой оптики для малых длин волн[65].

В «Первом дополнении» (1830 год) Гамильтон распространяет исследование на случай произвольных оптических сред (неоднородных и неизотропных); при этом наряду с характеристической функцией   вводится ещё вторая функция  , зависящая от направляющих косинусов последнего отрезка луча. Во «Втором дополнении» (тот же 1830 год) Гамильтон получает для   уравнение в частных производных, а функцию   истолковывает как общий интеграл данного уравнения[66].

Законченный вид теория Гамильтона обретает в «Третьем дополнении» (1832 год). Здесь он доказывает, что метод характеристических функций описывает геометрию световых лучей с полной общностью и совместим как с корпускулярной, так и с волновой теориями света[67].

Применения теории

править

В «Третьем дополнении» Гамильтон на основании своей теории предсказал явление внутренней конической рефракции: если в кристалле с двумя оптическими осями вырезать плоскую пластину перпендикулярно одной из осей и направить на эту пластину пучок света так, чтобы он преломился параллельно оптической оси, то на выходе из пластины будет видно светящееся кольцо (диаметр которого зависит от толщины пластины). Опыты с арагонитом, проведённые университетским физиком Хамфри Ллойдом, доставили данному предсказанию экспериментальное подтверждение[61][68]. Это открытие, сенсационное само по себе, наглядно показало плодотворность методов Гамильтона, его даже сравнивали с открытием Нептуна «на кончике пера»[69].

Хотя теоретические исследования Гамильтона по оптике изначально преследовали цель создания надёжно обоснованных математических методов расчёта оптических инструментов, его блестящие работы в течение нескольких десятилетий не находили практического применения[70]. Лишь впоследствии теория Гамильтона нашла широкое применение в прикладной геометрической оптике и теории оптических приборов[71].

Выбирая, какую из теорий света — корпускулярную или волновую — следует предпочесть, Гамильтон в конце концов сделал выбор в пользу последней. С 1832 года он способствовал принятию в Великобритании принципа волновой природы света, который в то время благодаря работам Френеля уже победил во Франции, но, несмотря на пионерские работы Томаса Юнга, долгое время отвергался большинством английских физиков. В своих работах Гамильтон доказал, что вариационный подход, ранее предложенный для геометрической оптики, полностью сохраняет силу и для волновой теории[72].

Историки науки обнаружили, что в ходе изучения распространения волн Гамильтон в 1839 году первым ввёл понятие групповой скорости волны и указал на различие между групповой и фазовой скоростями волны; однако это его открытие осталось незамеченным и несколько позднее было переоткрыто Стоксом и Рэлеем[7]. Указанное различие также оказалось фундаментальным при разработке аппарата квантовой механики[72].

Историческое значение оптики Гамильтона

править

Выдающиеся работы Гамильтона по оптике и открытая им оптико-механическая аналогия не сразу были оценены научной общественностью[73]. Только в конце XIX века, когда ряд его результатов был переоткрыт Г. Брунсом и другими исследователями, началось их внедрение в оптику[74][19]. Позднее — уже в начале XX века — синтез проблем оптики и механики, достигнутый в работах Гамильтона, был вновь найден Л. де Бройлем в работах по фотонной теории света (где он пришёл к концепции корпускулярно-волнового дуализма — установив соответствие между принципом Мопертюи — Эйлера, применённым к движению частицы, и принципом Ферма, применённым к движению связанной с ней волны, он дал квантовое объяснение оптико-механической аналогии). Чуть позже идеи Гамильтона сыграли вдохновляющую роль для исследований Э. Шрёдингера, разработавшего волновую механику и получившего для волновой функции основное уравнение квантовой механики — уравнение Шрёдингера[61][75].

Теоретическая механика и физика

править
 
Уильям Гамильтон, президент Ирландской академии наук (рисунок около 1840 г.)

Принцип стационарного действия

править

Описанные выше вариационные методы, предложенные Гамильтоном для задач оптики, он вскоре развил в применении к общей задаче механики, где ввёл в рассмотрение аналог «характеристической функции» — «главную функцию», представляющую собой интеграл действия[76].

Основная задача динамики: рассчитать движение тела или системы тел при заданном распределении действующих сил. При этом на систему тел могут быть наложены связи (стационарные или меняющиеся с течением времени). В конце XVIII века Лагранж в своей «Аналитической механике» уже сформулировал свой вариант вариационного принципа[77] и дал решение задачи для случая систем с голономными связями.

Гамильтон в 1834—1835 годах опубликовал (в двух статьях «Об общем методе динамики») для механических систем со стационарными голономными связями новый вариационный принцип (известный ныне как принцип стационарного действия, или принцип Гамильтона[78]):

 

Здесь   — действие,   — лагранжиан динамической системы,   — обобщённые координаты. Гамильтон положил этот принцип в основу своей «гамильтоновой механики». Он указал способ построения «фундаментальной функции» (функции Гамильтона), из которой дифференцированием и конечными преобразованиями, без какого-либо интегрирования, получаются все решения вариационной задачи[77].

В обобщённых координатах действие по Гамильтону имеет вид:

 

где   — функция Гамильтона данной системы;   — (обобщённые) координаты,   — сопряжённые им обобщённые импульсы. Набор координат и импульсов характеризует (в каждый момент времени) динамическое состояние системы и, таким образом, полностью определяет эволюцию (движение) данной системы[77]. Заметим, что в 1848 году М. В. Остроградский распространил принцип Гамильтона на случай систем с нестационарными голономными связями[79] (после чего распространилось название принцип Гамильтона — Остроградского[78]); в 1901 году Г. К. Суслов и П. В. Воронец независимо обобщили принцип Гамильтона — Остроградского на случай неголономных систем[80].

Канонические уравнения Гамильтона

править

Проварьировав действие   независимо по всем   и  , Гамильтон в 1835 году получил новую форму уравнений движения механических систем — канонические уравнения Гамильтона[18]:

 

Полученная система канонических уравнений содержит вдвое больше дифференциальных уравнений, чем у Лагранжа, но зато все они первого порядка (у Лагранжа — второго).

Значение работ Гамильтона по динамике

править

Предложенная Гамильтоном форма динамики привлекла внимание многих крупных математиков XIX века — К. Якоби, М. В. Остроградского, Ш. Делоне, Э. Дж. Рауса, С. Ли, А. Пуанкаре и др., которые существенно расширили и углубили работы Гамильтона[76].

Высоко отозвался о работах Гамильтона по динамике член-корреспондент АН СССР Л. Н. Сретенский, отметивший: «Эти работы легли в основу всего развития аналитической механики в XIX веке»[81]. Аналогичное мнение выразил академик РАН В. В. Румянцев: «Оптико-механическая аналогия Гамильтона определила на столетие прогресс аналитической механики»[77]. По мнению профессора Л. С. Полака, это была «теория, почти не имеющая аналогов в механике по общности и абстрактности», открывшая колоссальные возможности в механике и смежных науках[82]. Академик В. И. Арнольд следующим образом охарактеризовал возможности, открывшиеся после появления гамильтоновой механики[83]:

Гамильтонова точка зрения позволяет исследовать до конца ряд задач механики, не поддающихся решению иными средствами (например, задачу о притяжении двумя неподвижными центрами и задачи о геодезических на трёхосном эллипсоиде). Ещё большее значение гамильтонова точка зрения имеет для приближённых методов теории возмущений (небесная механика), для понимания общего характера движения в сложных механических системах (эргодическая теория, статистическая механика) и в связи с другими разделами математической физики (оптика, квантовая механика и т. п.).

Подход Гамильтона оказался высоко эффективным во многих математических моделях физики. На этом плодотворном подходе основан, например, многотомный учебный курс «Теоретическая физика» Ландау и Лифшица. Первоначально вариационный принцип Гамильтона был сформулирован для задач механики, но при некоторых естественных предположениях из него выводятся уравнения Максвелла[84] электромагнитного поля. С появлением теории относительности оказалось, что этот принцип строго выполняется и в релятивистской динамике[85]. Его эвристическая сила существенно помогла разработке квантовой механики, а при создании общей теории относительности Давид Гильберт успешно применил гамильтонов принцип для вывода уравнений гравитационного поля (1915 год)[86]. Из сказанного следует, что принцип наименьшего действия Гамильтона занимает место среди коренных, базовых законов природы — наряду с законом сохранения энергии и законами термодинамики.

Другие работы в области механики

править
 
Годограф скорости

Гамильтону также принадлежит введение в механику понятия годографа (1846—1847 годы) — наглядного представления изменений величины и направления вектора с течением времени. Теория годографа была развита Гамильтоном для произвольной векторной функции скалярного аргумента[87]; так именуется линия, описываемая при изменении аргумента концом вектора с началом в неподвижном полюсе. В кинематике чаще всего имеют дело с годографом скорости точки[88][89].

Гамильтон доказал красивую теорему (относящуюся уже к динамике): в случае движения по орбите под действием ньютоновского тяготения годограф скорости всегда является окружностью[10].

Мировоззрение и личные качества

править

Черты характера

править

Как собственные блестящие способности, так и неудачная личная жизнь вызвали в Гамильтоне непреодолимое увлечение творческим научным трудом. Он работал по 12 и более часов в день, забывая о еде. Как-то составил себе шутливую эпитафию: «Я был трудолюбивый и правдолюбивый»[90].

Вёл активную переписку с коллегами и литераторами, из которой особенный интерес представляют письма к одному из создателей математической логики Августу де Моргану. По каким-то причинам он ни разу не обменивался письмами с крупнейшими математиками того времени (Гаусс, Коши, Риман и др.)[91]. Доставка в Ирландию иностранных научных журналов была нерегулярной, и в письмах Гамильтон жаловался на трудности ознакомления с новейшими математическими достижениями. В 1842 году Гамильтон побывал в Англии на научном семинаре и встретился с видным продолжателем своих работ Карлом Якоби, который позже назвал Гамильтона «Лагранжем этой страны»[92].

Философские и религиозные взгляды

править

Судя по письмам и заметкам Гамильтона, он живо интересовался философией и особенно ценил Беркли и Канта[66]. Он не верил, что открытые нами законы природы адекватно отражают реальные закономерности. Научная модель мира и реальность, писал он, «интимно и чудесно связаны вследствие последнего единства, субъективного и объективного, в Боге, или, говоря менее специально и более религиозно, благодаря святости обнаружений, которые ему самому угодно было совершить во Вселенной для человеческого интеллекта». В соответствии с Кантом, Гамильтон считал научные представления порождениями человеческой интуиции[93].

Гамильтон был искренне верующим человеком, активным членом консервативного «Оксфордского движения» в англиканстве, был даже избран церковным старостой своего округа. В 1840-е годы он опубликовал в научных журналах статьи по двум религиозным проблемам: расчёт равноденствия в год Никейского собора и оценка времени вознесения Христа на небо[94].

Методология научного исследования

править

Работая над основами математической оптики, Гамильтон пришёл к важным выводам методологического характера. Опубликованные уже в XX веке рукописи Гамильтона[95] показывают, что к своим общим результатам в оптике он пришёл на основе кропотливого анализа частных случаев, после чего последовала тщательная отделка изложения, практически полностью скрывшая путь, по которому двигался автор[96].

Свою научно-методологическую концепцию Гамильтон изложил в 1833 году в статье «Об общем методе определения путей света и планет с помощью коэффициентов характеристической функции». В ней он писал, что всякая физическая наука имеет два различных направления развития — индуктивное и дедуктивное: «В каждой физической науке мы должны восходить от фактов к законам путём индукции и анализа и нисходить от законов к следствиям путём дедукции и синтеза»[97]. При этом для успешного применения математических методов дедуктивный подход должен опираться на общий метод, исходить из одной центральной идеи. Гамильтон подробно обосновал целесообразность принять для оптики в качестве общего закона закон наименьшего (стационарного) действия, а в конце статьи обсудил перспективы аналогичного подхода в механике и астрономии[98].

Память

править

Множество понятий и утверждений в науке связано с именем У. Р. Гамильтона.

В честь учёного назван кратер Гамильтон на видимой стороне Луны.

В Ирландии два научных института названы в честь величайшего математика страны:

  • Гамильтоновский институт при Национальном университете (The Hamilton Institute at the National University of Ireland)[99], Мейнут.
  • Гамильтоновский институт математики (Hamilton Mathematics Institute) при дублинском Тринити-колледже[100].

В 2005 году научная общественность многих стран отметила 200-летие Уильяма Гамильтона; правительство Ирландии объявило этот год «годом Гамильтона», а Центральный банк Ирландии выпустил памятную монету достоинством 10 евро[101].

Труды в русском переводе

править
  • Гамильтон У. Р. Избранные труды: оптика, динамика, кватернионы. — М.: Наука, 1994. (Серия: Классики науки). — 560 с.
    • ГЕОМЕТРИЧЕСКАЯ ОПТИКА
      • Об одном взгляде на математическую оптику (9).
      • Третье дополнение к «Опыту теории систем лучей» (10).
      • О некоторых результатах, проистекающих из взгляда на характеристическую функцию в оптике (166).
    • ФИЗИЧЕСКАЯ ОПТИКА
      • Исследования по динамике света (175).
      • Исследования о колебании, связанном с теорией света (177).
    • ОПТИКО-МЕХАНИЧЕСКАЯ АНАЛОГИЯ
      • Об общем методе представления путей света и планет частными производными характеристической функции (184).
      • О приложении к динамике общего математического метода, ранее приложенного к оптике (210).
    • ДИНАМИКА
      • Об общем методе в динамике, посредством которого изучение движений всех свободных систем притягивающихся или отталкивающихся точек сводится к отысканию и дифференцированию одного центрального соотношения, или характеристической функции (215).
      • Второй очерк об общем методе в динамике (287).
    • КВАТЕРНИОНЫ
      • О кватернионах, или о новой системе мнимых величин в алгебре (345).
      • Предисловие к «Лекциям о кватернионах» (392).
    • ДОПОЛНЕНИЯ
      • Из письма У. Р. Гамильтона Дж. Гершелю (439).
      • Письмо У. Р. Гамильтона Джону Т. Грэйвсу, эсквайру (442).
    • ПРИЛОЖЕНИЯ
      • Полак Л. С. Уильям Роуэн Гамильтон (1805—1865) (457).
      • Александрова Н. В. Исчисление кватернионов Гамильтона (519).
    • Комментарии, библиография, указатель имён.

См. список математических трудов Гамильтона, там же ссылки на полный оригинальный текст этих его трудов в форматах (на выбор) Plain TeX, DVI, PostScript, PDF.

Примечания

править
  1. 1 2 William Rowan Hamilton // Brockhaus Enzyklopädie (нем.)
  2. 1 2 William Rowan Hamilton // Gran Enciclopèdia Catalana (кат.)Grup Enciclopèdia, 1968.
  3. Bibliothèque nationale de France Autorités BnF (фр.): платформа открытых данных — 2011.
  4. 1 2 English Wikipedia community Wikipedia (англ.) — 2001.
  5. Математика XIX века. Том I, 1978, с. 73.
  6. 1 2 3 4 Боголюбов А. Н., 1983, с. 118.
  7. 1 2 Храмов Ю. А. Физики: Биографический справочник. 2-е изд. — М.: Наука, 1983. — 400 с. — С. 73—74
  8. 1 2 3 Стройк Д. Я., 1984, с. 211.
  9. Graves R. P. Life of Sir William Rowan Hamilton. Vol. III. — Dublin: Dublin University Press, 1889. — xxxvi + 673 p. — P. 204—206
  10. 1 2 3 4 5 Александрова Н. В. Исчисление кватернионов Гамильтона // Гамильтон У. Р. Избранные труды: оптика, динамика, кватернионы. — М.: Наука, 1994. — (Классики науки).— С. 519—534
  11. Sir W. Rowan Hamilton.
  12. 1 2 Стиллвелл Д., 2004, с. 384—388.
  13. Веселовский И. Н., 1974, с. 218.
  14. Полак Л. С., 1994, с. 460—462.
  15. Полак Л. С., 1994, с. 458.
  16. 1 2 Полак Л. С., 1994, с. 463.
  17. Полак Л. С., 1994, с. 464, 483.
  18. 1 2 Веселовский И. Н., 1974, с. 224.
  19. 1 2 Стройк Д. Я., 1984, с. 213.
  20. Клейн Ф., 1937, с. 228.
  21. Александрова Н. В., 1982, с. 211.
  22. 1 2 Полак Л. С., 1994, с. 466.
  23. Полак Л. С., 1956, с. 230—231, 243—244.
  24. 1 2 Стройк Д. Я., 1984, с. 240.
  25. Веселовский И. Н., 1974, с. 172.
  26. Александрова Н. В., 1982, с. 205—206.
  27. Александрова Н. В. О происхождении некоторых математических понятий // Сб. научн.-метод. статей по математике, вып. 8, 1978. — С. 104—109
  28. 1 2 3 4 Александрова Н. В., 1982, с. 206—207.
  29. Постников М. М. Лекции по геометрии. Семестр IV. Дифференциальная геометрия. — М .: Наука, 1988. — 496 с. — ISBN 5-02-013741-1. — С. 124—126.
  30. 1 2 3 Кирпичников С. Н., Новосёлов В. С. Математические аспекты кинематики твёрдого тела. — Л.: Изд-во Ленингр. ун-та, 1986. — 252 с. — С. 102—109
  31. Кострикин А. И. Введение в алгебру. — М.: Наука, 1977. — 496 с. — С. 466—467
  32. Стиллвелл Д., 2004, Глава 20. Гиперкомплексные числа.
  33. 1 2 3 Александрова Н. В., 1982, с. 208.
  34. 1 2 Клейн Ф., 1937, с. 225—226.
  35. Журавлёв В. Ф. Основы теоретической механики. 2-е изд. — М.: Физматлит, 2001. — 320 с. — ISBN 5-94052-041-3. — С. 32—38
  36. Общая алгебра. Т. 1 / Под ред. Л. А. Скорнякова. — М.: Наука, 1990. — 592 с. — (Справочная математическая библиотека). — ISBN 5-02-014426-6. — С. 296, 335—336
  37. Голубев Ю. Ф. Основы теоретической механики. 2-е изд. — М.: Изд-во Моск. ун-та, 2000. — 719 с. — ISBN 5-211-04244-1. — С. 110—112
  38. Шафаревич И. Р. Основные понятия алгебры. — М.: ВИНИТИ АН СССР, 1986. — 289 с. — (Современные проблемы математики. Фундаментальные направления. Т. 11). — С. 76
  39. Математика XIX века. Том I, 1978, с. 74.
  40. Математика XIX века. Том II, 1981, с. 55—56.
  41. Стиллвелл Д., 2004, с. 388.
  42. Максвелл Дж. К. Статьи и речи. — Μ.: Наука, 1968. — С. 39.
  43. Крылов А. Н. Отзыв о работах академика П. П. Лазарева. Дата обращения: 2 декабря 2013. Архивировано 3 мая 2017 года.
  44. Александрова Η. В. Из истории векторного исчисления. — Μ.: Изд-во МАИ, 1992. — 152 с.
  45. Курочкин Ю. А. Кватернионы и некоторые приложения их в физике. Препринт диссертации № 109. — ИФ АН БССР. — 1976.
  46. Побегайло А. П. . Применение кватернионов в компьютерной геометрии и графике. — Минск: Изд-во БГУ, 2010. — 216 с. — ISBN 978-985-518-281-9.
  47. 1 2 Виттенбург Й. . Динамика систем твёрдых тел. — М.: Мир, 1980. — 292 с. — С. 25—26, 34—36
  48. 1 2 Погорелов Д. Ю. . Введение в моделирование динамики систем тел. — Брянск: Изд-во БГТУ, 1997. — 156 с. — ISBN 5-230-02435-6. — С. 22—26, 31—36
  49. Ишлинский А. Ю. . Ориентация, гироскопы и инерциальная навигация. — М.: Наука, 1976. — 672 с. — С. 87—103, 593—604
  50. Чуб В. Ф. Уравнения инерциальной навигации и кватернионная теория пространства-времени. Дата обращения: 9 декабря 2013. Архивировано 13 декабря 2013 года.
  51. Журнал «Гиперкомплексные числа в геометрии и физике». Дата обращения: 9 декабря 2013. Архивировано 26 сентября 2016 года.
  52. Клейн Ф., 1937, с. 224.
  53. Клейн Ф., 1937, с. 229—231.
  54. Полак Л. С., 1956, с. 273.
  55. Стиллвелл Д., 2004, с. 355.
  56. Акимов О. Е. . Задача Гамильтона о цепях додекаэдра // Дискретная математика. Логика, группы, графы, фракталы. — 2005. — 656 с. — ISBN 5-9900342-1-0. Архивировано 14 декабря 2013 года.
  57. Гарднер, Мартин. «Икосаэдрическая игра» и «Ханойская башня» // Математические головоломки и развлечения. — Μ.: АСТ, 2010. — ISBN 978-5-17-068027-6. Архивировано 27 апреля 2014 года.
  58. William R. Hamilton On Equations of the Fifth Degree. Дата обращения: 9 декабря 2013. Архивировано 13 декабря 2013 года.
  59. Математика XIX века. Том I, 1978, с. 68.
  60. Погребысский И. Б., 1966, с. 185.
  61. 1 2 3 Льоцци М. История физики. — М.: Мир, 1970. — 464 с. — С. 207—208, 399—401
  62. Погребысский И. Б., 1966, с. 185—188.
  63. Клейн Ф., 1937, с. 237.
  64. Эйконал // Физическая энциклопедия (в 5 томах) / Под редакцией акад. А. М. Прохорова. — М.: Советская Энциклопедия, 1998. — Т. 5. — ISBN 5-85270-034-7.
  65. 1 2 Полак Л. С., 1956, с. 217—219, 228.
  66. 1 2 Погребысский И. Б., 1966, с. 189.
  67. Погребысский И. Б., 1966, с. 185, 189—190.
  68. Стиллвелл Д., 2004, с. 387.
  69. Клейн Ф., 1937, с. 236.
  70. Погребысский И. Б., 1966, с. 184, 208.
  71. Полак Л. С., 1956, с. 230.
  72. 1 2 Полак Л. С., 1994, с. 486—490.
  73. Полак Л. С., 1994, с. 476—481.
  74. Погребысский И. Б., 1966, с. 191.
  75. Классические аналогии квантовых явлений. Дата обращения: 30 ноября 2013. Архивировано из оригинала 3 декабря 2013 года.
  76. 1 2 Ланцош К. Вариационные принципы механики. — М.: Мир, 1965. — 408 с. — С. 257, 393
  77. 1 2 3 4 Румянцев В. В.  Леонард Эйлер и вариационные принципы механики. § 4. Принцип Гамильтона и оптико-механическая аналогия // Развитие идей Леонарда Эйлера и современная наука. — М.: Наука, 1988. — С. 191—202.
  78. 1 2 Румянцев В. В. . Гамильтона — Остроградского принцип // Математическая энциклопедия. Т. 1. — М.: Сов. энциклопедия, 1977. — 1152 стб. — Стб. 856—857
  79. Веселовский И. Н., 1974, с. 223.
  80. История механики в России / Под ред. А. Н. Боголюбова, И. З. Штокало. — Киев: Наукова думка, 1987. — 392 с. — С. 297—298
  81. Сретенский Л. Н. . Аналитическая механика (XIX в.) // История механики с конца XVIII до середины XX века / Под общ. ред. А. Т. Григорьяна, И. Б. Погребысского. — М.: Наука, 1972. — 411 с. — С. 7
  82. Полак Л. С., 1994, с. 495, 506.
  83. Арнольд В. И. . Математические методы классической механики. — М.: Наука, 1974. — С. 136.
  84. Ландау Л. Д., Лифшиц Е. М. Теория поля. — Издание 7-е, исправленное. — М.: Наука, 1988. — 512 с. — («Теоретическая физика», том II). — ISBN 5-02-014420-7. Глава IV. Уравнения электромагнитного поля.
  85. Ландау Л. Д., Лифшиц Е. М. Теория поля. — Издание 7-е, исправленное. — М.: Наука, 1988. — 512 с. — («Теоретическая физика», том II). — ISBN 5-02-014420-7. § 8. Принцип наименьшего действия.
  86. Визгин В. П. Об открытии уравнений гравитационного поля Эйнштейном и Гильбертом (новые материалы) Архивная копия от 27 октября 2020 на Wayback Machine // УФН, № 171 (2001). — С. 1347
  87. Александрова Н. В., 1982, с. 209.
  88. Бутенин Н. В., Лунц Я. Л., Меркин Д. Р. Курс теоретической механики. Т. I: Статика и кинематика. 3-е изд. — М.: Наука, 1979. — 272 с. — С. 145, 160—161
  89. Dr. James B. Calvert. The Hodograph. University of Denver. Дата обращения: 1 декабря 2013. Архивировано из оригинала 10 июня 2007 года.
  90. Scott Bar Ε. Anniversaries in 1965 of interest to physics // American Journal of Physics. — 1965. — Т. 33, № 2. — С. 76—91.
  91. Lánczos С.  William Rowan Hamilton — an appreciation // American scientist. — 1967. — Т. 55, вып. 2. — P. 129—143.
  92. Полак Л. С., 1994, с. 507—508.
  93. Полак Л. С., 1994, с. 466—469.
  94. Полак Л. С., 1994, с. 471.
  95. Hamilton W. R. . The Mathematical Papers. Vol. I. Geometrical Optics. — Cambridge: Cambridge University Press, 1931. — xxviii + 534 p.
  96. Погребысский И. Б., 1966, с. 184.
  97. Hamilton W. R. . The Mathematical Papers. Vol. I. Geometrical Optics. — Cambridge: Cambridge University Press, 1931. — xxviii + 534 p. — P. 315
  98. Погребысский И. Б., 1966, с. 192—195.
  99. Hamilton Institute, National University of Ireland (англ.). Дата обращения: 29 ноября 2013. Архивировано 14 декабря 2016 года.
  100. Hamilton Mathematics Institute, TCD (англ.). Дата обращения: 29 ноября 2013. Архивировано 31 декабря 2015 года.
  101. Sir William Rowan Hamilton Biography. Дата обращения: 7 декабря 2013. Архивировано 11 декабря 2013 года.

Литература

править
  • Александрова Н. В. . Формирование основных понятий векторного исчисления // Историко-математические исследования. Вып. XXVI. — М.: Наука, 1982. — 336 с. — С. 205—235.
  • Боголюбов А. Н. Гамильтон Уильям Роуан // Математики. Механики. Биографический справочник. — Киев: Наукова думка, 1983. — 639 с.
  • Веселовский И. Н. Очерки по истории теоретической механики. — М.: Высшая школа, 1974. — 287 с.
  • Клейн Ф. Лекции о развитии математики в XIX столетии. — М.Л.: ГОНТИ, 1937. — Т. I. — 432 с.
  • Крамар Ф. Д. Кватернионы в ранних работах Гамильтона // История и методология естественных наук. — М.: МГУ, 1966. — Вып. V (математика). — С. 175—184.
  • Математика XIX века. Том I. Математическая логика, алгебра, теория чисел, теория вероятностей / Под ред. А. Н. Колмогорова, А. П. Юшкевича. — М.: Наука, 1978. — 255 с.
  • Математика XIX века. Том II. Геометрия. Теория аналитических функций / Под ред. А. Н. Колмогорова, А. П. Юшкевича. — М.: Наука, 1981. — 269 с.
  • Погребысский И. Б. . От Лагранжа к Эйнштейну: Классическая механика XIX века. — М.: Наука, 1966. — 327 с.
  • Полак Л. С. Уильям Гамильтон, 1805—1865. — М.: Наука, 1993. — 270 с. — ISBN 5-02-000216-X.
    • Полак Л. С. Уильям Гамильтон, 1805—1865 // Гамильтон У. Р. Избранные труды: оптика, динамика, кватернионы. — М.: Наука, 1994. — (Классики науки).
  • Полак Л. С. Уильям Роуэн Гамильтон (к 150-летию со дня рождения) // Труды Института истории естествознания. — АН СССР, 1956. — Т. 15 (История физ.—мат. наук). — С. 206—276.
  • Стиллвелл Дж. Математика и ее история. — Москва-Ижевск: Институт компьютерных исследований, 2004. — 530 с.
  • Стройк Д. Я. . Краткий очерк истории математики. — 4-е изд. — М.: Наука, 1984. — 283 с.
  • Храмов Ю. А. Гамильтон Уильям Роуан (Hamilton William Rowan) // Физики : Биографический справочник / Под ред. А. И. Ахиезера. — Изд. 2-е, испр. и доп. — М. : Наука, 1983. — С. 73—74. — 400 с. — 200 000 экз.
  • Graves, Robert Perceval. Life of Sir William Rowan Hamilton. — Dublin University Press, 1882—1889.

Ссылки

править