Введение
Применение математических методов к проблемам физики
Математическая физика — это разработка математических методов для решения задач физики. Журнал математической физики определяет эту область как «применение математики к проблемам физики, а также разработку математических методов, подходящих для таких приложений и для формулирования физических теорий». Альтернативное определение включает также математику, вдохновлённую физикой, известную как физическая математика.
Область применения
Существует несколько различных направлений математической физики, которые в общих чертах соответствуют конкретным историческим периодам развития науки.
Классическая механика
Применение методов математической физики к классической механике обычно включает в себя строгую, абстрактную и углубленную переформулировку ньютоновской механики в терминах лагранжевой и гамильтоновой механики (включая оба подхода при наличии ограничений). Обе эти формулировки воплощены в аналитической механике и приводят к пониманию глубокой взаимосвязи между понятиями симметрии и сохраняющихся величин в процессе динамической эволюции механических систем, как это отражено в наиболее элементарной формулировке теоремы Нётер. Эти подходы и идеи были распространены на другие области физики, такие как статистическая механика, механика сплошных сред, классическая теория поля и квантовая теория поля. Кроме того, они послужили источником множества примеров и идей в дифференциальной геометрии (например, различных понятий в симплектической геометрии и векторных расслоениях).
Частичные дифференциальные уравнения
В рамках математики, теория дифференциальных уравнений в частных производных, вариационное исчисление, анализ Фурье, теория потенциала и векторный анализ, пожалуй, наиболее тесно связаны с математической физикой. Эти области интенсивно развивались со второй половины XVIII века (например, Д’Аламбером, Эйлером и Лагранжем) до 1930-х годов. К физическим приложениям этих разработок относятся гидродинамика, небесная механика, механика сплошных сред, теория упругости, акустика, термодинамика, электричество, магнетизм и аэродинамика.
Квантовая теория
Теория атомных спектров (а позже квантовая механика) развивалась почти одновременно с некоторыми разделами математических областей линейной алгебры, спектральной теории операторов, операторных алгебр и, в более широком смысле, функционального анализа. Нерелятивистская квантовая механика включает в себя операторы Шрёдингера и связана с атомной и молекулярной физикой. Квантовая информационная теория – ещё одна узкая специализация.
Теории относительности и квантовой релятивизма
Специальная и общая теории относительности требуют существенно иного типа математики. Этим типом была теория групп, сыгравшая важную роль как в квантовой теории поля, так и в дифференциальной геометрии. Однако постепенно её стали дополнять топология и функциональный анализ в математическом описании космологических явлений, а также явлений квантовой теории поля. В математическом описании этих физических областей также имеют значение некоторые понятия гомологической алгебры и теории категорий.
Статистическая механика
Статистическая механика формирует отдельную область, включающую теорию фазовых переходов. Она основывается на гамильтоновой механике (или её квантовой версии) и тесно связана с более математической эргодической теорией и некоторыми разделами теории вероятностей. Наблюдается всё большее взаимодействие между комбинаторикой и физикой, в особенности статистической физикой.
Использование
Использование термина «математическая физика» иногда бывает весьма индивидуальным. Определенные разделы математики, которые первоначально возникли в процессе развития физики, на самом деле не рассматриваются как части математической физики, в то время как другие тесно связанные области – рассматриваются. Например, обыкновенные дифференциальные уравнения и симплектическая геометрия обычно считаются чисто математическими дисциплинами, тогда как динамические системы и гамильтонова механика относятся к математической физике. Джон Херапат использовал этот термин в названии своего труда 1847 года «Математические принципы естественной философии», охватывавшего в то время «причины тепла, упругости газов, гравитации и других великих явлений природы».
"the causes of heat, gaseous elasticity, gravitation, and other great phenomena of nature".
Математическая против теоретической физики
Термин "математическая физика" иногда используется для обозначения исследований, направленных на изучение и решение проблем в физике или мысленных экспериментов в рамках математически строгой основы. В этом смысле математическая физика охватывает очень широкую академическую область, отличающуюся лишь сочетанием математических и теоретико-физических аспектов. Хотя она связана с теоретической физикой, математическая физика в этом смысле делает акцент на математической строгости, сопоставимой с той, что встречается в математике. С другой стороны, теоретическая физика подчеркивает связь с наблюдениями и экспериментальной физикой, что часто требует от физиков-теоретиков (и математических физиков в более широком смысле) использования эвристических, интуитивных или приближенных рассуждений. Такие рассуждения не считаются строгими математиками. Математические физики в основном расширяют и уточняют физические теории. В силу требуемого уровня математической строгости, эти исследователи часто занимаются вопросами, которые теоретические физики считают уже решенными. Однако они порой могут показать, что предыдущее решение было неполным, неверным или просто слишком упрощенным. Примерами служат вопросы, связанные с попытками вывести второй закон термодинамики из статистической механики. Другие примеры касаются тонкостей, связанных с процедурами синхронизации в специальной и общей теории относительности (эффект Сагняка и синхронизация Эйнштейна). Стремление к математически строгому обоснованию физических теорий не только развивало физику, но и оказало влияние на развитие некоторых математических областей. Например, развитие квантовой механики и некоторые аспекты функционального анализа во многом развивались параллельно. Математическое изучение квантовой механики, квантовой теории поля и квантовой статистической механики стимулировало получение результатов в области операторных алгебр. Попытка построить строгую математическую формулировку квантовой теории поля также способствовала прогрессу в таких областях, как теория представлений.
До Ньютона
Существует традиция математического анализа природы, восходящая к древним грекам; примерами служат Евклид (Оптика), Архимед (О равновесии плоскостей, О плавающих телах) и Птолемей (Оптика, Гармоника). Позднее исламские и византийские ученые развивали эти работы, которые в конечном итоге были вновь открыты или стали доступны на Западе в XII веке и в эпоху Возрождения. В первом десятилетии XVI века астроном-любитель Николай Коперник предложил гелиоцентрическую систему и опубликовал трактат об этом в 1543 году. Он сохранил птолемеевскую идею эпициклов, стремясь лишь упростить астрономию, построив более простые системы эпициклических орбит. Эпициклы состоят из кругов на кругах. Согласно аристотелевской физике, круг был совершенной формой движения и являлся внутренним движением пятого элемента Аристотеля – квинтэссенции или универсальной сущности, известной в греческом языке как эфир, или чистый воздух на английском – чистого вещества за пределами лунной сферы, и, следовательно, чистым составом небесных тел. Немец Иоганнес Кеплер [1571–1630], помощник Тихо Браге, модифицировал коперниковские орбиты, приведя их к эллипсам, что было формализовано в уравнениях законов Кеплера о движении планет. Галилео Галилей, увлеченный атомист, в своей книге 1623 года «Испытатель» утверждал, что «книга природы написана на языке математики». Его книга 1632 года, посвященная телескопическим наблюдениям, подтвердила гелиоцентризм. Введя экспериментальный метод, Галилей опроверг геоцентрическую космологию, опровергнув саму физику Аристотеля. Книга Галилея 1638 года «Дискурс о двух новых науках» установила закон равноускоренного свободного падения, а также принципы инерционного движения, заложив основополагающие концепции будущей классической механики. Кристиан Гюйгенс, современник Ньютона, был первым, кто идеализировал физическую задачу с помощью набора параметров и впервые полностью математически объяснил механистическое описание ненаблюдаемых физических явлений. По этим причинам Гюйгенс считается первым теоретическим физиком и одним из основателей современной математической физики.
Ньютоновский и пост-Ньютоновский
В эту эпоху важные понятия в исчислении, такие как фундаментальная теорема исчисления (доказана в 1668 году шотландским математиком Джеймсом Грегори) и нахождение экстремумов и минимумов функций посредством дифференцирования с использованием теоремы Ферма (французским математиком Пьером де Ферма), были известны еще до Лейбница и Ньютона. Исаак Ньютон (1642–1727) разработал некоторые концепции в исчислении (хотя Готфрид Вильгельм Лейбниц разработал аналогичные концепции вне контекста физики) и метод Ньютона для решения задач в физике. Он был чрезвычайно успешен в применении исчисления к теории движения. Теория движения Ньютона, изложенная в его «Математических началах натуральной философии», опубликованной в 1687 году, моделировала три галилеевских закона движения вместе с законом всемирного тяготения Ньютона на основе абсолютного пространства — гипотезы Ньютона как физически реальной сущности евклидовой геометрической структуры, простирающейся бесконечно во всех направлениях, — при этом постулируя абсолютное время, предположительно обосновывающее знание об абсолютном движении, движении объекта относительно абсолютного пространства. Принцип галилеевской инвариантности/относительности был лишь подразумеваем в теории движения Ньютона. Явно сведя кеплеровские законы движения небесных тел, а также галилеевские законы движения земных тел к единой силе, Ньютон достиг большой математической строгости, но с некоторой теоретической свободой. В XVIII веке швейцарский ученый Даниэль Бернулли (1700–1782) внес вклад в гидродинамику и колебания струн. Швейцарский Леонард Эйлер (1707–1783) проделал значительную работу в вариационном исчислении, динамике, гидродинамике и других областях. Также примечателен француз итальянского происхождения, Жозеф Луи Лагранж (1736–1813) за работы в аналитической механике: он сформулировал лагранжеву механику и вариационные методы. Важный вклад в формулирование аналитической динамики, называемой гамильтоновой динамикой, также внес ирландский физик, астроном и математик Уильям Роуэн Гамильтон (1805–1865). Гамильтонова динамика сыграла важную роль в формулировании современных теорий в физике, включая теорию поля и квантовую механику. Французский математик-физик Жозеф Фурье (1768–1830) ввел понятие ряда Фурье для решения уравнения теплопроводности, что привело к новому подходу к решению частных дифференциальных уравнений с помощью интегральных преобразований. В начале XIX века математики из Франции, Германии и Англии внесли свой вклад в математическую физику. Француз Пьер Симон Лаплас (1749–1827) внес важнейший вклад в математическую астрономию и теорию потенциала. Симеон Дени Пуассон (1781–1840) работал в аналитической механике и теории потенциала. В Германии Карл Фридрих Гаусс (1777–1855) внес ключевой вклад в теоретические основы электричества, магнетизма, механики и гидродинамики. В Англии Джордж Грин (1793–1841) опубликовал «Опыт о применении математического анализа к теориям электричества и магнетизма» в 1828 году, который, помимо значительного вклада в математику, сделал первые успехи в создании математических основ электричества и магнетизма. За пару десятилетий до публикации Ньютоном корпускулярной теории света голландский ученый Христиан Гюйгенс (1629–1695) разработал волновую теорию света, опубликованную в 1690 году. К 1804 году эксперимент Томаса Юнга с двумя щелями выявил интерференционную картину, как будто свет был волной, и таким образом волновая теория света Гюйгенса, а также вывод Гюйгенса о том, что световые волны являются колебаниями светоносного эфира, были приняты. Жан Огюстен Френель моделировал гипотетическое поведение эфира. Английский физик Майкл Фарадей ввел теоретическое понятие поля — не действия на расстоянии. В середине XIX века шотландец Джеймс Клерк Максвелл (1831–1879) свел электричество и магнетизм к теории электромагнитного поля Максвелла, упрощенной другими до четырех уравнений Максвелла. Первоначально оптика была выведена как следствие поля Максвелла. Позже излучение, а затем и современный электромагнитный спектр также были выведены из этого электромагнитного поля. Английский физик лорд Рэлей [1842–1919] работал над звуком. Ирландцы Уильям Роуэн Гамильтон (1805–1865), Джордж Габриэль Стокс (1819–1903) и лорд Кельвин (1824–1907) создали несколько крупных работ: Стокс был лидером в области оптики и гидродинамики; Кельвин сделал значительные открытия в термодинамике; Гамильтон проделал заметную работу в аналитической механике, открыв новый и мощный подход, известный сегодня как гамильтонова механика. Очень важный вклад в этот подход внес его немецкий коллега, математик Карл Густав Якоби (1804–1851), в частности, касающийся канонических преобразований. Немецкий ученый Герман фон Гельмгольц (1821–1894) внес значительный вклад в области электромагнетизма, волн, жидкостей и звука. В Соединенных Штатах новаторская работа Джозайи Уилларда Гиббса (1839–1903) стала основой статистической механики. Фундаментальные теоретические результаты в этой области были достигнуты немецким ученым Людвигом Больцманом (1844–1906). Вместе эти ученые заложили основы электромагнитной теории, гидродинамики и статистической механики.
Релятивистский
К 1880-м годам существовал заметный парадокс: наблюдатель в электромагнитном поле Максвелла измерял его скорость как приблизительно постоянную, независимо от скорости самого наблюдателя относительно других объектов в этом поле. Таким образом, хотя скорость наблюдателя постоянно уменьшалась относительно электромагнитного поля, она сохранялась относительно других объектов внутри него. И все же никакого нарушения галилеевской инвариантности во взаимодействиях между объектами обнаружено не было. Поскольку электромагнитное поле Максвелла моделировалось как колебания эфира, физики предположили, что движение внутри эфира вызывает дрейф эфира, смещая электромагнитное поле и объясняя, таким образом, потерю скорости наблюдателя относительно него. Галилеевское преобразование было математическим методом перевода координат из одной системы отсчета в другую, представленных в декартовых координатах, но оно было заменено преобразованием Лоренца, разработанным голландским ученым Хендриком Лоренцем [1853–1928]. Однако в 1887 году экспериментаторы Микельсон и Морли не смогли обнаружить дрейф эфира. Была выдвинута гипотеза, что движение в эфире также вызывает его сокращение, как это было смоделировано в сжатии Лоренца. Предполагалось, что эфир таким образом обеспечивает соответствие электромагнитного поля Максвелла принципу галилеевской инвариантности во всех инерциальных системах отсчета, сохраняя при этом ньютоновскую теорию движения. Австрийский физик-теоретик и философ Эрнст Мах критиковал постулированное Ньютоном абсолютное пространство. Математик Жюль Анри Пуанкаре (1854–1912) подверг сомнению даже абсолютное время. В 1905 году Пьер Дюгем опубликовал резкую критику основ ньютоновской теории движения. Эйнштейн сначала назвал это "излишней эрудицией", но позже с большой элегантностью использовал пространство-время Минковского в своей общей теории относительности, распространив инвариантность на все системы отсчета – как инерциальные, так и ускоренные – и признал заслугу в этом Минковского, к тому времени уже умершего. Общая теория относительности заменяет декартовы координаты на гауссовы и заменяет пустое, но евклидово пространство, мгновенно пересекаемое вектором гипотетической гравитационной силы Ньютона – мгновенным действием на расстоянии – гравитационным полем. Гравитационное поле – это пространство-время Минковского, четырехмерная топология Эйнштейна эфира, смоделированная на лоренцевом многообразии, которое геометрически "искривляется" в соответствии с тензором кривизны Римана. Концепция гравитации Ньютона: "две массы притягиваются друг к другу" заменена геометрическим аргументом: "масса изменяет кривизну пространства-времени, и свободно падающие частицы с массой движутся по геодезической линии в этом пространстве-времени" (Риманова геометрия уже существовала до 1850-х годов, благодаря математикам Карлу Фридриху Гауссу и Бернарду Риману, искавшим внутреннюю и неевклидову геометрию), вблизи любой массы или энергии. (В рамках специальной теории относительности – частного случая общей теории относительности – даже безмассовая энергия оказывает гравитационное воздействие, локально "искривляя" геометрию четырех объединенных измерений пространства и времени.)
Квантовый
Еще одним революционным развитием 20-го века была квантовая теория, которая возникла из основополагающих работ Макса Планка (1856–1947) (по излучению абсолютно черного тела) и исследований Эйнштейна по фотоэлектрическому эффекту. В 1912 году математик Анри Пуанкаре опубликовал работу «Sur la théorie des quanta», в которой представил первое нетривиальное определение квантования. Развитие ранней квантовой физики шло в рамках эвристической модели, предложенной Арнольдом Зоммерфельдом (1868–1951) и Нильсом Бором (1885–1962), но вскоре она была заменена квантовой механикой, разработанной Максом Борном (1882–1970), Вернером Гейзенбергом (1901–1976), Полом Дираком (1902–1984), Эрвином Шрёдингером (1887–1961), Сатьендрой Натом Бозом (1894–1974) и Вольфгангом Паули (1900–1958). Эта революционная теоретическая структура основана на вероятностной интерпретации состояний, эволюции и измерений в терминах самосопряжённых операторов в бесконечномерном векторном пространстве, называемом пространством Гильберта. Оно было введено математиками Давидом Гильбертом (1862–1943), Эрхардом Шмидтом (1876–1959) и Фридьешем Риесом (1880–1956) в поисках обобщения евклидова пространства и при изучении интегральных уравнений. Строгое аксиоматическое определение этой версии было дано Джоном фон Нейманом в его знаменитой книге «Математические основы квантовой механики», где он заложил соответствующую часть современного функционального анализа на пространствах Гильберта, в частности, спектральную теорию (введённую Давидом Гильбертом при исследовании квадратичных форм с бесконечным числом переменных). Много лет спустя выяснилось, что его спектральная теория связана со спектром атома водорода, что стало для него неожиданным открытием. Пол Дирак использовал алгебраические построения для создания релятивистской модели электрона, предсказав его магнитный момент и существование его античастицы – позитрона.
Учебники для студентов
, (Математические методы для физиков, Решения задач по математическим методам для физиков (7-е изд.), archive.org)
Хассани, Садри (2009), Математические методы для студентов физических и смежных специальностей, (2-е изд.), Нью-Йорк, Springer, eISBN 978 0 387 09504 2