Вышеуказанная вариация есть не что иное, как инструмент вычисления. Если у(х) — это кривая, которая, проходя через (a, y(a)) и (b, y(b)), отвечает необходимым требованиям, то вариация кривой будет небольшим изменением, что обозначается знаком 8 перед ней (рисунок 10). В 1744-1746 годах Мопертюи сформулировал свой принцип наименьшего действия, который можно сформулировать как "природа экономит свои усилия", поскольку "осуществляет их", выполняя наименьшее из возможных действий. Действие — величина, которую можно определить. Она может быть представлена (хоть это и не единственный способ) как сумма задействованных сил, умноженная на пройденный путь, и именно он должен быть минимальным.
Эйлер изложил свою версию принципа в 1744 году в статье "Метод нахождения кривых линий, обладающих свойствами максимума либо минимума, или решение изопериметрической задачи, взятой в самом широком смысле", которую историки обычно называют по первому слову в оригинальном латинском заголовке, Methodus. Именно она положила начало современному вариационному исчислению.
Эйлер
В 1755 году математик итальянского происхождения Жозеф Луи Лагранж, которому было всего 19 лет, написал Эйлеру длинное письмо, в котором содержалось решение одной задачи с помощью усовершенствованной системы вариационного исчисления. В 1772 году Лагранж с благословения Эйлера, признавшего важность его работы, опубликовал свой метод.
Выражаясь современным языком, вариационное исчисление состоит в приведении в действие принципа наименьшего действия с аналитической точки зрения. Вначале запишем так называемый лагранжиан системы, обозначив его L, причем L = С - Р, то есть разнице между кинетической энергией С и потенциальной энергией Р. Лагранжиан — это функционал, функция от функций. Если ограничиться самым банальным случаем, в котором есть только путь, то есть функция x(t) времени, то лагранжиан будет иметь вид L(x,x',t), где ньютоновским знаком х' обозначается производная от х. Интеграл действия принимает вид:
S = t0t1L(x,x',t)dt
и именно его необходимо минимизировать (а в некоторых случаях максимизировать). И Эйлер, и Лагранж, хотя и разными путями, пришли к дифференциальным уравнениям (обычно их бывает несколько) вида
d/dt L/x' = K/x.