Читаем Feynmann 6 полностью

Но постойте-ка! Ведь мне не нужно заботиться о порядках выше первого. Я могу убрать все слагаемые, в которых есть h² и высшие степени, и ссыпать их в ящик под названием «второй и высшие порядки». Из этого выражения туда попадет только одна вторая степень, но из чего-то другого могут войти и выс­шие. Итак, часть, связанная с кинетической энергией, такова:

Дальше нам нужен потенциал V в точках x+h. Я считаю т) малой и могу разложить V(x) в ряд Тэйлора. Приближенно это будет V(x); в следующем приближении (из-за того, что здесь стоят обычные производные) поправка равна h, умноженной на скорость изменения V по отношению к x; и т. д.:

Для экономии места я обозначил через V производную F по х. Слагаемое с h² и все, стоящие за ним, попадают в категорию «второй и высшие порядки». И о них больше нечего беспо­коиться. Объединим все, что осталось:

Если мы теперь внимательно взглянем на это, то увидим, что два первых написанных здесь члена отвечают тому действию S, которое я написал бы для искомого истинного пути х. Я хочу сосредоточить ваше внимание на изменении S, т. е. на разности между S и тем S, которое получилось бы для истинного пути. Эту разность мы будем записывать как dS и назовем ее вариа­цией S. Отбрасывая «второй и высшие порядки», получаем для dS

Теперь задача выглядит так. Вот передо мной некоторый интеграл. Я не знаю еще, каково это х, но я твердо знаю, что, какую h я ни возьму, этот интеграл должен быть равен нулю. «Ну что ж,— подумаете вы,— единственная возможность для этого — это чтобы множитель при h был равен нулю». Но как быть с первым слагаемым, где есть dh/dt? Вы скажете: «Если h обращается в ничто, то и ее производная такое же ничто; зна­чит, коэффициент при dh/dt должен тоже быть нулем». Ну это не совсем верно. Это не совсем верно потому, что между откло­нением h и его производной имеется связь; они не полностью независимы, потому что h (t) должно быть нулем и при t_t и при t₂.

При решении всех задач вариационного исчисления всегда пользуются одним и тем же общим принципом. Вы чуть сдви­гаете то, что хотите варьировать (подобно тому, как это сдела­ли мы, добавляя h), бросаете взгляд на члены первого порядка, затем расставляете все так, чтобы получился интеграл в таком виде: «сдвиг (h), умноженный на что получится», но чтобы в нем не было никаких производных от h (никаких dh/dt). Не­пременно нужно так все преобразовать, чтобы осталось «нечто», умноженное на h. Сейчас вы поймете, отчего это так важно. (Существуют формулы, которые подскажут вам, как в некоторых случаях можно это проделать без каких-либо выкладок; но они не так уж общи, чтобы стоило заучивать их; лучше всего проделывать выкладки так, как это делаем мы.)

Как же я могу переделать член dh/dt, чтобы в нем появилось h? Я могу добиться этого, интегрируя по частям. Оказывается, что в вариационном исчислении весь фокус в том и состоит, чтобы расписать вариацию S и затем проинтегрировать по час­тям так, чтобы производные от h исчезли. Во всех задачах, в которых появляются производные, проделывается такой же фокус.

Припомните общий принцип интегрирования по частям. Если у вас есть произвольная функция f, умноженная на dh/dt и проинтегрированная по t, то вы расписываете производную от hf:

В интересующем вас интеграле стоит как раз последнее слага­емое, так что

В нашей формуле для dS за функцию f принимается произ­ведение т на dx/dt; поэтому я получаю для dS выражение

В первый член должны быть подставлены пределы интегриро­вания t₁ и t₂. Тогда я получу под интегралом член от интегри­рования по частям и последний член, оставшийся при преоб­разовании неизменным.

А теперь происходит то, что бывает всегда,— проинтегри­рованная часть исчезает. (А если не исчезает, то нужно переформулировать принцип, добавив условия, обеспечивающие такое исчезновение!) Мы уже говорили, что hна концах пути должна быть равна нулю. Ведь в чем состоит наш принцип? В том, что действие минимально при условии, что варьируемая кривая начинается и кончается в избранных точках. Это зна­чит, что h(t₁)=0 и h(t₂)=0. Поэтому проинтегрированный член получается равным нулю. Мы собираем воедино остальные члены и пишем

Вариация S теперь приобрела такой вид, какой мы хотели ей придать: что-то стоит в скобках (обозначим его F), и все это умножено на h(t) и проинтегрировано от t₁ до t₂.

У нас вышло, что интеграл от какого-то выражения, умно­женного на h(t), всегда равен нулю:

Стоит какая-то функция от t; умножаю ее на h(t) и интегрирую ее от начала до конца. И какова бы ни была h, я получаю нуль. Это означает, что функция F(t) равна нулю. В общем-то это очевидно, но я на всякий случай покажу вам один из способов доказательства.

Пусть в качестве h (t) я выберу нечто, что равно нулю всюду, при всех t, кроме одного, заранее выбранного значения t. Оно

остается нулем, пока я не

дойду до этого t,