Урок 3

Уравнение, в котором спрятано будущее

Глава 3. F = ma — это не формула, а уравнение, решение которого есть всё будущее системы.

Цели урока

К концу этого урока вы:

Поймёте, чем дифференциальное уравнение отличается от обычного — и почему его неизвестное есть функция, а не число.
Разберёте уравнение гармонического осциллятора m·x'' = −k·x как прототип уравнений физики.
Увидите роль начальных условий: они выбирают одно конкретное решение из целого семейства.
Узнаете, как Эйлер систематизировал и решал дифференциальные уравнения — буквально создав язык их численного решения.
Услышите про демона Лапласа — самый известный мысленный эксперимент в истории детерминизма.

Сейчас объясню так, что станет очевидно. Слушай.

Обсерватория XVII века ночью: латунный телескоп, эллиптическая орбита планеты, начерченная светящейся кривой, старые звёздные карты

Лондон, 1687 год. «Математические начала натуральной философии» выходят тиражом 300 экземпляров. Едмонд Галлей, который оплатил издание из собственного кармана, получает авторский экземпляр и открывает его там, где Ньютон записывает второй закон движения.

На странице — три буквы: F = ma. Красивее некуда. Сила равна произведению массы на ускорение. Но стоп. Ускорение — это вторая производная положения по времени. Из Урока 1 мы знаем: производная — это мгновенная скорость изменения. Вторая производная — скорость изменения скорости. И это значит, что F = ma — не просто формула для подстановки чисел. Это уравнение, в котором неизвестное — целая функция x(t). А уравнение с производной внутри называется дифференциальным.

Ньютон не написал формулу. Он написал рецепт будущего: задайте силу — и получите всю траекторию.

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

Что вы возьмёте из этого урока

Поймёте, чем дифференциальное уравнение отличается от обычного — и почему его неизвестное есть функция, а не число.
Разберёте уравнение гармонического осциллятора m·x'' = −k·x как прототип уравнений физики.
Увидите роль начальных условий: они выбирают одно конкретное решение из целого семейства.
Узнаете, как Эйлер систематизировал и решал дифференциальные уравнения — буквально создав язык их численного решения.
Услышите про демона Лапласа — самый известный мысленный эксперимент в истории детерминизма.

Где мы

Урок 1 Производная: мгновенная скорость через предел секущей. ds/dt и смысл второй производной.

Урок 2 Интеграл: сумма бесконечно тонких полосок. Фундаментальная теорема связывает производную и интеграл.

Урок 3 — сегодня Дифференциальные уравнения: неизвестное — функция. F=ma, осциллятор, начальные условия, Эйлер, Лаплас.

Часть 1. Почему F=ma — уравнение, а не формула

Школьная физика учит F = ma как формулу: знаешь силу и массу — считаешь ускорение. Умножай, делись, готово. Но Ньютон имел в виду другое. [1]

Ускорение — это вторая производная положения по времени. Запишем это явно, в обозначениях Лейбница из Урока 1:

F = m · a = m · d²x / dt² d²x/dt² — вторая производная положения по времени, то есть скорость изменения скорости

Теперь допустим, что сила зависит от положения: F = F(x). Тогда уравнение превращается в:

m · d²x / dt² = F(x) неизвестное здесь — функция x(t); всё остальное — известно

Видите разницу? В алгебраическом уравнении неизвестное — число. В дифференциальном уравнении неизвестное — функция. Нас спрашивают: «Найди такую x(t), чтобы её вторая производная, умноженная на m, в каждый момент времени равнялась F(x(t))». Ответ — не одно число, а целая кривая в пространстве.

Ключевое смещение: алгебра ищет число, которое удовлетворяет уравнению. Анализ ищет функцию, которая удовлетворяет соотношению между ней и её производными. Второй класс задач — несравнимо богаче первого.

Часть 2. Что значит «решить» такое уравнение

Слово «решить» здесь требует пояснения. Решить дифференциальное уравнение — значит найти функцию, которая, будучи подставлена в уравнение, обращает его в тождество для всех значений t.

Попробуем на простейшем примере. Пусть F постоянна — скажем, сила тяжести g. Тогда уравнение: x'' = g. Это значит: «найди функцию, вторая производная которой в каждый момент равна g». Вспоминаем Урок 2: интегрирование — операция, обратная дифференцированию. Интегрируем дважды:

x(t) = ½gt² + v₀t + x₀ x₀ — начальное положение, v₀ — начальная скорость; они возникают как константы интегрирования

Это знакомая формула свободного падения. Но теперь мы знаем, откуда она берётся: из двукратного интегрирования уравнения второго закона. Константы интегрирования x₀ и v₀ — это и есть начальные условия: где тело находилось и как двигалось в момент t = 0. [1]

🤔 Угадайте до чтения дальше

Из уравнения x'' = g получается семейство решений: разные x₀ и v₀ дают разные кривые. Сколько чисел нужно, чтобы однозначно выбрать одну кривую из этого семейства — и почему именно столько?

Два числа: начальное положение и начальная скорость. Не случайно: порядок уравнения (степень старшей производной) равен числу необходимых начальных условий. Второй порядок — два числа. Четвёртый — четыре. Это фундаментальный факт теории дифференциальных уравнений.

Часть 3. Гармонический осциллятор

Теперь — сила нелинейная, то есть зависящая от положения. Простейший и при этом один из самых важных случаев — пружина. Закон Гука: чем больше растянута пружина, тем сильнее она тянет назад. Сила пропорциональна смещению, направлена противоположно:

F = −kx k — жёсткость пружины; знак «минус» означает возвращающую силу

Подставляем в F = ma:

m · x'' = −k · x уравнение гармонического осциллятора — прототип колебательных процессов в физике

Это — уравнение гармонического осциллятора. В нём нет ни трения, ни внешних сил — только масса и пружина. Но именно это уравнение лежит в основе акустики, оптики, теории электрических цепей, квантовой механики. То, что вы освоите здесь, вы встретите снова в каждом разделе теоретической физики. [2]

Перед тем как смотреть на виджет — предскажите сами.

🔮 Предскажите поведение

Тело прикреплено к пружине. В момент t = 0 его отводят в сторону и отпускают с нулевой скоростью. Опишите словами, как будет меняться положение тела с течением времени. Какую форму должен иметь график x(t)?

Пружина тянет к центру. Тело проскакивает центр по инерции. Потом тянет обратно. Снова проскакивает. Это колебание — периодическое. Значит, функция должна быть периодической. Что из известных периодических функций она напоминает?

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

Решение уравнения осциллятора — синусоида:

x(t) = A · cos(ωt + φ) где ω = √(k/m) — циклическая частота, A — амплитуда, φ — начальная фаза; A и φ задаются начальными условиями

Посмотрите на ω: это корень из отношения жёсткости к массе. Жёсткую пружину сжать труднее — и она колеблется быстрее. Тяжёлое тело инертнее — и медленнее. Обе интуиции записаны в одной строчке. [2]

x(t) = A·cos(ωt) при начальном отклонении x₀ и нулевой начальной скорости. Вся будущая траектория однозначно определена двумя числами: x₀ и v₀.

Часть 4. Начальные условия — ключ к будущему

Уравнение осциллятора имеет не одно решение, а целое семейство: любая синусоида нужной частоты с любой амплитудой и любой начальной фазой будет решением. Это семейство параметризуется двумя числами — амплитудой A и фазой φ.

Начальные условия — это то, что выбирает одно конкретное решение из семейства. Мы задаём:

x(0) = x₀, x'(0) = v₀ положение и скорость в момент t=0 — вместе они фиксируют единственную кривую

Два числа, два условия — и будущее системы полностью определено. Это не тривиальный факт. Это обещание: если ты знаешь, где система находится и как движется прямо сейчас, ты знаешь всё. Прошлое и будущее — обе стороны этой точки — восстанавливаются из двух чисел. [3]

Обратите внимание: производная x'(t) в нотации Урока 1 — это скорость, а x''(t) — ускорение. В ДУ осциллятора участвуют x (положение) и x'' (ускорение). Чтобы задать начальные условия, нужны значения x и x' при t=0. Интуиция: если бросить мяч, нам нужно знать, откуда он летит (x₀) и в каком направлении (v₀) — тогда вся траектория готова.

Часть 5. Эйлер входит в игру

К 1730-м годам дифференциальные уравнения стали главным языком теоретической физики — но инструментов их решения было мало. Большинство уравнений, которые строила физика, не поддавались точному аналитическому решению. Берлинская академия, где работал Леонард Эйлер, накопила целый стол таких уравнений.

Эйлер приступил к ним системно — так, как он вообще ко всему приступал: упорядоченно, методично, с невероятной производительностью. В 1768–1770 годах выходит его «Institutiones Calculi Integralis» — трёхтомный трактат, где собраны методы интегрирования дифференциальных уравнений, которые он изобретал или открывал заново. [4] Среди них — то, что теперь называется методом Эйлера: численный способ получить приближённое решение ДУ без аналитического ответа.

Идея метода Эйлера предельно проста. Мы знаем состояние системы в момент t: положение x(t) и скорость x'(t). Из уравнения мы знаем ускорение x''(t). Делаем маленький шаг Δt вперёд: новое положение ≈ старое + скорость·Δt. Новая скорость ≈ старая + ускорение·Δt. Снова считаем ускорение из уравнения — и снова шагаем. Идём вперёд по времени маленькими шажками, каждый раз пересчитывая правила.

Это тот же предельный переход из Уроков 1 и 2: только здесь мы не берём предел — мы останавливаемся на конечном шаге Δt и принимаем приближение. Чем меньше шаг, тем точнее. Метод Эйлера — предок всех современных численных методов решения ДУ.

📐

Эйлер написал 866 работ. При этом последние 17 лет жизни был полностью слеп.
Его секретари записывали уравнения под диктовку.
Когда у дифференциальных уравнений нет аналитического решения, их можно решать численно. А когда нет зрения — словесно. Эйлер умел оба варианта.

Часть 6. Демон Лапласа

1814 год. Пьер-Симон Лаплас публикует «Essai philosophique sur les probabilités» — «Философский опыт о вероятностях». В самом начале книги он формулирует то, что потомки назовут «демоном Лапласа». [5]

Следует считать нынешнее состояние Вселенной следствием её прошлого состояния и причиной её будущего. Разум, который в данный момент знал бы все силы, приводящие природу в движение, и взаимное положение всех её составляющих — если бы этот разум был также достаточно широк, чтобы подвергнуть эти данные анализу, — он охватил бы в одной формуле движения величайших тел Вселенной и мельчайшего атома. Для него не было бы ничего неопределённого, и будущее, подобно прошлому, предстало бы перед его взором. — Пьер-Симон Лаплас, «Философский опыт о вероятностях», 1814

Демон Лапласа — это предельный вывод из того, что мы обсуждаем весь урок. Если Вселенная описывается дифференциальными уравнениями Ньютона, а начальные условия — положения и скорости всех частиц — известны, то будущее предопределено. Не вероятностно. Полностью. [5]

Это была не поэзия. Это был прямой математический вывод: ДУ с начальными условиями — единственное решение. Единственная траектория для всей Вселенной. Детерминизм как теорема существования и единственности решения — только очень большого. [3]

Демон прожил сто лет, прежде чем физика его убила: квантовая механика в 1920-х показала, что принцип неопределённости делает точное одновременное знание координаты и скорости каждой частицы физически невозможным. Начальные условия в принципе не могут быть заданы с демонической точностью. Детерминизм Лапласа оказался именно тем, чем он и был, — следствием классической механики, а не свойством мира.

Но этот исход будет только в Уроке 8. А пока мы в XVII–XIX веке — там, где дифференциальное уравнение кажется ключом ко всему.

Резюме

F=ma — это ДУ, не формула

Ускорение — вторая производная. Значит, F=ma — уравнение с неизвестной функцией x(t). Нас спрашивают не число, а кривую.

Осциллятор m·x'' = −k·x

Простейшее и при этом самое важное ДУ физики. Решение: x(t) = A·cos(ωt + φ) — синусоида с частотой ω = √(k/m).

Начальные условия выбирают будущее

Из семейства решений начальные условия x(0) = x₀, x'(0) = v₀ выбирают одно конкретное. Два числа — весь будущий путь.

Эйлер — первый систематизатор

«Institutiones Calculi Integralis» (1768–70) — первое систематическое изложение методов решения ДУ. Метод Эйлера: маленький шаг Δt — пересчёт — снова шаг.

Демон Лапласа

ДУ + начальные условия = единственная траектория. Лаплас сделал из этого космологический вывод: вся Вселенная предопределена. Квантовая механика разрушит этот вывод в 1920-х.

Дифференциальное уравнение — это не вопрос о числе. Это вопрос о целом будущем.

Что дальше в Уроке 4: до сих пор мы описывали положение одним числом x. Но сила, поле, скорость — это величины с направлением. Скалярного числа не хватает: нужно знать, куда тянет сила, а не только насколько сильно. Познакомимся с векторами — и увидим, как язык физики расширяется в три измерения.

Источники / Sources

books Isaac Newton (1687). «Philosophiæ Naturalis Principia Mathematica». London: Royal Society. Книга I, аксиомы или законы движения — второй закон как F = ma; книга II — движение под действием переменных сил
books Steven Strogatz (2019). «Infinite Powers: How Calculus Reveals the Secrets of the Universe». Houghton Mifflin Harcourt. Гл. 4 «Discovering the Laws of Motion» — как «Principia» стала первой физической теорией на языке дифференциальных уравнений; гл. 9 «The Logical Universe»
books В. И. Арнольд (1989). «Математические методы классической механики». Springer, Graduate Texts in Mathematics, Vol. 60. ISBN 978-0-387-96890-2. Гл. 2 «Investigation of the Equations of Motion» — гармонический осциллятор, начальные условия, семейства решений
books Leonhard Euler (1768–1770). «Institutionum Calculi Integralis». Vols. I–III. Petropolis: Acad. Imperialis Scientiarum. Том I — методы решения обыкновенных ДУ; том II — численные методы (метод Эйлера); фундаментальный вклад в теорию ДУ
books Pierre-Simon Laplace (1814). «Essai philosophique sur les probabilités» («A Philosophical Essay on Probabilities»). Paris: Courcier. Англ. перевод: Truscott & Emory, John Wiley & Sons, 1902. Введение, с. 3–4 — формулировка «демона Лапласа»; классическое изложение детерминизма в физике

Сноски [1]—[5] внутри урока указывают на соответствующие пункты. Все источники проверены на локализуемость.