1. Исторический пролог и физическая интуиция: почему кривая быстрее прямой?

Представьте две точки \(A(0,0)\) и \(B(x_1, y_1)\), закрепленные на разной высоте в вертикальной плоскости. Какую форму должен иметь гладкий желоб без трения между \(A\) и \(B\), чтобы стальная бусинка, отпущенная без начальной скорости из точки \(A\) в однородном поле тяжести \(g\), достигла точки \(B\) за кратчайшее возможное время? Геометрическая интуиция подсказывает: «По прямой, ведь прямая — кратчайшее расстояние между двумя точками!». Однако физика и математика доказывают обратное: по круто ныряющей кривой бусинка приходит к финишу намного раньше, а если точка \(B\) достаточно удалена по горизонтали, самая быстрая кривая даже опускается ниже уровня точки \(B\), чтобы затем подняться к финишу!

Эта классическая задача называется задачей о брахистохроне (от греч. brakhistos — «кратчайший» и khronos — «время»). Почему кратчайший путь не самый быстрый? Потому что в начальной точке \(A\) скорость равна нулю (\(v_0 = 0\)). На пологой прямой наклонной плоскости касательное ускорение \(a = g\sin\alpha\) невелико, и бусинка тратит огромное время на начальном участке, двигаясь с ничтожной скоростью. Напротив, траектория, отвесно падающая вниз на старте, мгновенно переводит потенциальную энергию \(mgy\) в высокую скорость \(v = \sqrt{2gy}\). В 1638 году Галилей в «Беседах и математических доказательствах» показал, что дуга окружности быстрее прямой хорды, но ошибочно счел окружность абсолютным оптимумом. В июне 1696 года Иоганн Бернулли бросил вызов математикам Европы; вечером 29 января 1697 года, вернувшись со службы на Королевском монетном дворе в Лондоне, Исаак Ньютон решил задачу за несколько часов перед сном и опубликовал решение анонимно, заставив Бернулли воскликнуть: «Tanquam ex ungue leonem (По когтю узнаю льва)!».

2. Функционал времени спуска и оптическая аналогия Иоганна Бернулли (закон Снеллиуса)

Поместив начало координат в точку \(A(0,0)\) с горизонтальной осью \(x\) и направленной вертикально вниз осью \(y\), из закона сохранения механической энергии \(\frac{1}{2}mv^2 = mgy\) находим скорость \(v(y) = \sqrt{2gy}\). С учетом элемента дуги \(ds = \sqrt{1 + (y'(x))^2}\,dx\) полное время спуска \(T[y]\) представляет собой функционал (отображение, ставящее в соответствие целой кривой \(y(x)\) вещественное число):

3. Рождение вариационного исчисления: уравнение Эйлера — Лагранжа, тождество Бельтрами и циклоида

Иоганн Бернулли в 1696 году нашел гениальное физическое решение с помощью принципа минимального времени Ферма: частица, движущаяся со скоростью \(v(y) = \sqrt{2gy}\), следует по той же траектории, что и луч света в слоистой оптической среде с показателем преломления \(n(y) = c/v(y) \propto y^{-1/2}\)! Согласно закону преломления Снеллиуса, угол \(\alpha\) с вертикалью удовлетворяет условию \(\frac{\sin\alpha}{\sqrt{2gy}} = \text{const}\). Подстановка \(\sin\alpha = \frac{dx}{ds} = \frac{1}{\sqrt{1+(y')^2}}\) сразу дает дифференциальное уравнение \(y(1 + (y')^2) = 2R\).

Для систематической минимизации общих функционалов \(J[y] = \int L(x,y,y')\,dx\) Леонард Эйлер (1744) и Жозеф Луи Лагранж (1755) создали вариационное исчисление. Приравнивание к нулю первой вариации \(\delta J[y;\eta] = 0\) для произвольной вариации \(\eta(x)\) с закрепленными концами после интегрирования по частям приводит к уравнению Эйлера — Лагранжа. Поскольку \(L(y,y') = \sqrt{\frac{1+(y')^2}{y}}\) не зависит явно от \(x\), тождество Бельтрами \(L - y'\frac{\partial L}{\partial y'} = C\) сразу дает \(y(1 + (y')^2) = 2R\). Параметрическая подстановка \(y = 2R\sin^2(\theta/2) = R(1 - \cos\theta)\) доказывает, что единственной брахистохроной является циклоида:

  flowchart TD
    A["1696: Brachistochrone Problem (Minimize T[y] = ∫ √(1+y'^2)/√(2gy) dx)"] --> B["Snell's Law Optical Analogy (sin α / √y = const)"]
    A --> C["First Variation δT[y] = 0 → Euler-Lagrange Equation & Beltrami Identity"]
    B --> D["ODE: y (1 + y'^2) = 2R"]
    C --> D
    D --> E["Parametric Cycloid: x = R(θ - sin θ), y = R(1 - cos θ)"]
    E --> F["Huygens Tautochrone Property (T = π√(R/g) Independent of Starting Height)"]
    C --> G["Hamilton's Principle of Least Action δS = 0 (Modern Physics & Optimal Control)"]

4. Численное сравнение, таутохрона Гюйгенса и наследие принципа наименьшего действия

Между точками \(A(0,0)\) и \(B(\pi, 2)\) дуга циклоиды (\(S = 4{,}000\,\text{м}\)) на \(7{,}4\%\) длиннее отрезка прямой (\(3{,}724\,\text{м}\)), однако бусинка проходит циклоиду на \(18{,}5\%\) быстрее! Более того, еще в 1659 году Христиан Гюйгенс доказал, что эта же самая циклоида является и таутохроной (изохроной): с какой бы начальной высоты на циклоиде ни отпустили бусинку, время спуска до нижней точки всегда строго одинаково и равно \(T = \pi\sqrt{R/g}\)! Из вариационного исчисления брахистохроны выросли принцип наименьшего действия Гамильтона (\(\delta S = 0\)), теорема Нётер, уравнения геодезических общей теории относительности Эйнштейна, континуальный интеграл Фейнмана и современная теория оптимального управления.