Оптические приборы и характеристическая функция

Прибор как маршрут луча

Геометрическая оптика начинается с удобного приближения: свет рассматривают как лучи. В однородной среде такой луч идёт по прямой, на границе сред меняет направление по закону преломления, а зеркало отражает его так, что углы падения и отражения равны. Из этих простых правил вырастают объективы, телескопы и микроскопы — а вместе с ними вопрос, который не решается одним рисунком: как описать весь прибор, а не один удачно проведённый центральный луч.

Оптическая система задаёт соответствие между входящими и выходящими направлениями и положениями лучей. В идеальном случае пучок, вышедший из одной точки предмета, снова собирается в одной точке изображения. В реальном приборе крайние и центральные лучи могут пересекать линзы немного по-разному; появляется аберрация, а точка превращается в пятно. Поэтому общие законы приборов — это попытка получить язык, пригодный не для одной линзы, а для последовательности поверхностей и промежуточных сред.

В 1858 году Максвелл опубликовал в Quarterly Journal of Mathematics статью «On the general laws of optical instruments». Тейт позднее особо включил общую теорию оптических приборов 1858 года в перечень заметных работ. Название звучит широко, но речь не о каталоге всех существующих труб и линз, а о математических отношениях, которым подчиняется прохождение лучей через оптическую систему.

Как функция собирает пучок

Для такого описания особенно удобна характеристическая функция Уильяма Роуэна Гамильтона. В геометрической оптике её можно понимать как величину, связанную с оптической длиной пути между двумя точками или поверхностями. Оптическая длина равна обычной длине пути, взятой с учётом показателя преломления среды: в среде, где свет распространяется медленнее, одинаковый геометрический отрезок получает больший «вес».

Принцип Ферма говорит, что действительный путь света делает время прохождения стационарным по отношению к малым изменениям маршрута. Стационарность не обязательно означает самый короткий путь: в сложных условиях возможны иные варианты. Характеристическая функция упаковывает это условие так, что её производные связывают координаты точки, направления луча и изменение оптического хода. В результате задача о множестве лучей приобретает форму, похожую на механику, где производные действия связывают положение и импульс.

В 1874 году Максвелл вернулся к этому аппарату в работе «On Hamilton’s characteristic function for a narrow beam of light». Узкий пучок важен потому, что позволяет разложить поведение лучей около выбранного главного луча. Вместо бесконечно сложной картины всего светового поля рассматривают малые поперечные отклонения. Это не отрицание волновой природы света, а область применимости геометрического приближения: когда детали сравнимы с длиной волны, одной геометрии уже мало.

Осесимметрия без оптической магии

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

Можно представить тонкую линзу и почти параллельный узкий пучок. Параксиальные лучи, идущие близко к оси под малыми углами, в первом приближении фокусируются в общей области. Если угол увеличивать, простая формула тонкой линзы перестаёт быть достаточной: края линзы дают другой ход, и изображение расплывается. Аппарат характеристической функции ценен тем, что позволяет организованно переходить от главного луча к поправкам, не превращая каждый новый прибор в отдельный ритуал из построений.

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

Связь с остальной физикой

В 1876 году появилась заметка Максвелла о связи геометрической оптики с другими разделами математики и физики. Для такого хода мысли характерно не смешение дисциплин в один громкий котёл, а поиск одинаковой структуры в разных задачах. Лучи подчиняются вариационному принципу; траектории механической системы также можно описывать через стационарность действия; симметрии сокращают расчёт и там и там.

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