Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике Пуассон в одном из своих мемуаров изложил весьма общую теорему, на которой он основал новый метод изложения теории вариации произвольных постоянных. Хотя эта теорема сама по себе представлялась чрезвычайно интересной, IIуассон удовольствовался применением еө к специальной цели, которую он себе поставил, не отметив даже того обстоятельства, что ее можно применить и в других случаях. Спустя больше чем тридцать лет после этого, уже в момент смерти Пуассона, внимание математиков снова было привлечено к этому вопросу знаменитым Якоби, который указал на теорему Пуассона как на замечательное достижение, по его мнению, – наиболее важное во всей науке о движении. Впрочем, Якоби не полкрепил какими-либо выводами своего утверждения, относительно которого, быть может, мы найдем более подробные указания в его посмертных трудах. Цель настоящей статьи заключается в том, чтобы изложить теорему Пуассона и указать ту пользу, какая может быть из нее извлечена для интегрирования дифференциальных уравнений механики. Если мы допустим, что нам известны два интеграла этой системы уравнений, причем каждый из них содержит произвольную постоянную и разрешен относительно этой постоянной то теорема Пуассона сводится к тому, что выражение которое он обозначает через ( $\alpha, \beta$ ), сохраняет во время движения постоянное значение, так что если равенство не является тождеством, то оно представляет собою интеграл рассматриваемой системы дифференциальных уравнений. Для доказательства этого предложения составим производную выражения ( $\alpha, \beta$ ) и удостоверимся, что она равна нулю; мы имеем Но так как $\alpha$ и $\beta$ являются интегралами системы (1), то $\frac{d \alpha}{d t}$ и $\frac{d \beta}{d t}$, если принять во внимание эти уравнения, тождественно равны нулю, и тогда мы имеем если эти два уравнения продифференцировать по $p_{i}$ и $q_{i}$, где $i$ обозначает какой-либо индекс, то мы получим и два других уравнения, отличающихся от приведенных лищь заменой буквы $\alpha$ буквой $\beta$. в силу этих соотношений уравнения (6) и (7) могут быть написаны в следующем виде: точно так же мы будем иметь Если из уравнений (8), (9), (10), (11) найти значения для всех значений индекса $i$ и внести их в уравнение (5), правильность которого мы хотели доказать, то мы получим тождество, в чем можно очень просто убедиться, если принять во ннимание, что после указанной подстановки все члены правой части уравнения будут содержать в качестве множителя вторую производную фунцции $\boldsymbol{H}$; если соединить все члены, соответствующие одной и той же производной, то мы увидим, что таких членов имеется четыре и что они попарно друг друга уничтожают. Отсюда мы получим и, следовательно, $(\alpha, \beta)=$ const, что дает нам в точности теорему Пуассона. Если $(\alpha, \beta)$ – функция переменных $q_{1}, q_{2}, \ldots, q_{k}, p_{1}$, $p_{2}, \ldots, p_{k}$, которую вельзя рассматривать как функцию $\alpha$ и $\beta$, то это уравнение $(\alpha, \beta)=$ const будет третьим интегралом который можно скомбинировать с двумя интегралами $\alpha$ и $\beta$ таким образом, чтобы составить новое постоянное выражение, которое в некоторых случаях может послужить четвертым интегралом, и так далее. К сожалению, случаи, при которых этот продесс не приводит к новым интегралач, чрезвычайно многочисленны, Мы остановимся на некоторых частностях, связанных с этим важным вопросом. представляют собою интегралы какой-либо механической задачи, причем $\varphi_{1}, \varphi_{2}, \ldots, \varphi_{2 k}$ выражают функции неизвестных коорлинат и времени $t$, сохраняющие одно и то же значение в течение всего времени движения. Очевидно, что любая функция величин $\varphi_{1}, \varphi_{3}, \ldots, \varphi_{2_{k}}$ будет обладать тем же свойством, вследствие чего величину мы можем тоже рассматривать как некоторый интеграл дифференциальных уравнений двнжения. Если мы рассмотрим второй интеграл причем $F_{1}$ и $F_{2}$ обозначают две произвольные фунжции, то, пользуясь только правилами дифференцирования, мы легко удостоверимся, что если скомбинировать оба интеграла $A$ и $B$, как это было указано в предыдущем параграфе, мы получим тождественно Эта формула дает результат сочетания двух интегралов $A$ и $B$ в функции результатов, полученных путем комбинирования интегралов, от которых зависят величины $A$ и $B$. Эта формула в дальнейшем нам очень пригодится. Действительно, согласно формуле предыдущего параграфа мы имеем следовательно, если ( $\alpha, \beta$ ), кан мы допустили, является функцией $\alpha$ и $\beta$, можно всегда определить $\gamma$ с помощью условия и сделать так, чтобы величина ( $\alpha, \gamma$ ) была равна единице. После того как мы доказали, что оба случая, для которых теорема Пуассона дает иллюзорные результаты, тесно связаны друг с другом, мы в дальнейшем ограничимся исследованием интегралов, которые, будучи скомбинированы с заданным интегралом, сообщают выражению Пуассона тождественно постоянное значение. Орметим црежде всего, что каков бы ни был интеграл $\alpha$, невозможно, чтобы не существовал по крайней мере еще один интеграл $\beta$ такого рода, чтобы величина $(\alpha, \beta)$ была отлична от нуля. в котором $\beta$ рассматривается как неизвестная величина, допускало бы все решения уравнения выражающего, что $\beta$ является интегралом. Но так как оба эти уравнения линейные и содержат одинаковое число независимых переменных, то они не могут иметь одного и того же общего интеграла, не будучи тождественными, а это, очевидно, требует того, чтобы $\alpha$ была функцией $H$, т. е. чтобы заданный интеграл был интегралом живых сил. Но даже в этом случае существует интеграл, который, будучи скомбинирован с $\alpha$, дает в качестве результата единицу; это – тот интеграл, постоянная которого грибавлена ко времени. Таким образом наше утверждение доказано для всех случаев. Во-вторых, докажем, что заданному интегралу $\alpha$ всегда соотететвует по крайней мере один такой интеграл $\beta$, что В самом деле, пусть имеется такой интеграл $\gamma$, что величина $(\alpha, \gamma)$ отлична от нуля. Положим и остановимся тогда, когда один из интегралов $\delta, \varepsilon, \eta$ будет тождественно постоянен или будет функцией предыдущих интегралов. Невозможно, чтобы один из этих случаев не наступил, так как число различных интегралов необходимо ограничено. Предположим, например, что мы имеем где функция $F$ может свестись к простой постоянной величине. Пусть $\bar{\omega}(\alpha, \gamma, \delta, \varepsilon)$ – новый интеграл, который я обозначу через $\zeta$, тогда мы имеем положив $(\alpha, \zeta)=1$, мы получим дифференциальное уравнение, из которого выведем $\bar{\omega}$. Теперь мы можем дать доказательство теоремы, составляющей предмет настоящего параграфа. Если дан некоторый интеграл $\alpha$, можно всегда дополнить решение задачи с помощью таких интегралов $\beta_{1}, \beta_{2}, \ldots, \beta_{2 k-1}$, что Выше было доказано еуществование такого интеграла $\beta_{1}$, что $\left(\alpha, \beta_{1}\right)=1$. Следовательно, остается доказать, что существует $2 k-2$ интегралов, отличных от $\alpha$ и $\beta$, которые, будучи скомбинированы с $\alpha$, сообщают уравнению Іуассона вид $0=0$. Действительно, назовем $\mu$ число интегралов, удовлетворяющих этому условию, п обозначим их через $\beta_{2}, \beta_{3}, \ldots, \beta_{\mu+1}$. Еели $\mu+1$ меньше $2 k-2$, то существуют интегралы, не зависимые от уномянутых, как от $\alpha$, так и от $\beta_{1}$. Пусть $\beta_{\mu+2}$ один из этих интегралов; положим где $\beta_{\mu+3}$ согласно допущению будет отлично от нуля. Оно будет также отлично от единицы, так кақ в противном случае мы имели бы и тогда $\beta_{\mu+2}-\beta_{1}$ согласно нашему допущению было бы функцией $\beta_{1}, \beta_{2}, \ldots, \beta_{\mu+1}$, так что $\beta_{\mu+2}$ не было бы новым интегралом. и так далее, пока мы не дойдем до интеграла, который тождественно цостоянен или является функцией предыдущих интегралов. Пусть этот интеграл и положим тогда мы будем иметь приравняв $(\alpha, \gamma$ ) нулю, мы, очевидно, получим уравнение относительно $\vec{\omega}$, интеграл которого даст решения для функций $\beta_{1}, \beta_{\mu+2}, \beta_{\mu+3}, \ldots, \beta_{\mu+i-1}$ и притом отличные от $\beta_{2}, \beta_{3} \ldots$, $\beta_{\mu+1}$; ибо если бы әтого не было, то в противоположность сделанному допущению существовало бы соотношение между интегралами, полученными до $\beta_{\mu+1}$. Следовательно, мы сделали невозможное допущение, ограничивши числом $\mu$ количество интегралов, которые, будучи скомбинированыс $\alpha$, дают результат, тождественно равный нулю, и стало быть число $\mu$ не может быть отлично от $2 k-2$. В самом деле, рассмотрим наиболее общий интеграл тогда согласно формуле параграфа II мы имеем и, следовательно, выражение ( $\alpha, \eta$ ) будет тождественно постоянным только в том случае, если $\frac{\partial \eta}{\partial \beta_{1}}$ само по себе является постоянной величиной; но мы видим, что все интегралы, число которых бесконечно и которые полу́чаются путем комбинирования $\alpha, \beta_{2}, \ldots, \beta_{2 k-1}$, дают результат, тождественно равный нулю, если их сочетать с $\alpha$. Только те интегралы, которые содержат в себе $\beta_{1}$, могут привести к нетождественным результатам. Согласно этому два интеграла $\alpha$ и $\beta_{1}$ связаны между собою совершенно особым образом, вследствие чего я предложил бы их назвать сопряженными интегралами. Свойства этих сопряженных интегралов могли бы послужить темой для интересного исследования, которому адесь, однако, не может быть уделено место. По вопросу о применениях, какие могла бы получить теорема Пуассона для интегрирования дифференциальных уравнений механики я отошлю читателя к мемуару, опубликованному в XVII томе журнала Јиувилля, стр. 393. О БЕСКОНЕЧНО МАЛЫХ КОЛЕБАНИЯХ СИСТЕМЫ ТЕЛ. зависящих от $n$ неременных $x_{1}, x_{2}, \ldots, x_{n}$. Формула в которой $\lambda$ обозначает постоянную,способную принимать всевозможные значения, определяет то,что мы вместе с Кронекером назовем пучком квадратичных форм. Алгебраическое уравнение как известно, определяет значения $\lambda$, для которых квадратичная форма $\lambda f-\varphi$ сводится к сумме, составленной по меньщей мере из $n$ квадратов; это уравнение никогда тождественно не удовлетворяется, если, какая-либо форма, например $f$, имеет детерминант, отличный от нуля. На основе изложенного мы начнем с обоснования следующей леммы. Будем, как обычно, называть определенной формой всякую квадратичную функцию $n$ переменных, которую можно свести к сумме $n$ квадратов, имөющих один и тот же знак, и которая, следовательно, может стать равной нулю только в том случае, когда мы присвоим нулевые значения всем переменным, от которых она зависит. Мы докажем, что если уравнение (2) имеет один мнимый корень, то квадратичная форма $f$ или всякая иная форма пучка не может быть определенной бормой. В самом деле пусть $\lambda_{0}=\alpha+\beta i$ является этим мнимым корнем уравнения (2); квадратичная форма будет представлять собою сумму, составленную по крайней мере из $n$ квадратов. Следовательно, можно написать где $y_{i}, z_{k}$ обозначают линейные вещественные фувкции переменных $x_{1}, x_{2}, \ldots, x_{n}$. Если приравнять вещественные и мнимые части, стоящие в обеих частях равенства, то мы получим и стало быть Этому уравнению можно, очевидно, придать следующий вид: где все постоянные величины $m_{i}$ являются вещественными. Следовательно, функция $\lambda f-\varphi$ обратится в нуль, если для всех значений $i$ мы положим Число полученных таким образом уравнений меньше $n$; әти уравнения линейны по отношению к переменным $x_{1}, \ldots$, $x_{n}$, сверх того все их коәффициенты вещественны. Следовательно, они могұт быть удовлетворены вещественными значениями $x_{1}, x_{2}, \ldots, x_{n}$, которые не все равны нулю. Таким образом форма $\lambda f-\varphi$, обращающаяся в нуль при вещественных значениях независимых переменных, которые не всө равны нулю, не может быть определенной формой, каково бы ни было вообще значение, приписываемое $\lambda$. Если бы мы захотели обосновать этот вывод только для формы $f$, можно – было бы приведенное выше рассуждение повторить, подставив в систему (4) уравнения $y_{i}=0$. Из указанного выше предложения непосредственно следует, что если пучок квадратичных форм содержит одну определенную форму, то все корни уравнения относительно $\lambda$, соответствуюшего этому пучку, обяательно вещественны. В частности, это имеет место в том случае, когда, как мы это примем в дальнейшем, $f$ язляется определенной формой. Пусть теперь $k$-корень, необходимо вещественный, уравнения (2). Квадратичная функция $k f-\varphi$ может быть приведена к следующему виду: где $x_{1}^{\prime}, x_{2}^{\prime}, \ldots, x_{p}^{\prime}$ обозначают функции, линейно независимые от $x_{1}, \ldots, x_{n}$, а число $p$ не превншает $n-1$. В качестве новых независимых переменных можно принять $x_{1}^{\prime}, x_{2}^{\prime}, \ldots, x_{p}^{\prime}$ и их подставить вместо равного числа гервоначальных переменных. Так, например, если из формул, выражающих $x_{1}^{\prime}, \ldots, x_{p}^{\prime}$, можновывести значения $x_{1}, x_{2}, \ldots, x_{p}$, то мы изберем в качестве новых независимых переменных Тогда мы получим где $F$ обозначает часть, содержащую только переменные $x_{i}^{\prime}$, $B$ – часть содержащую произведения переменных $x_{i}^{\prime}$ на переменные $x_{k}$, и $\Phi$ – часть, содержащую только переменные $x_{k}$. Для дальнейшего преобразования $f$ мы воспользуемся следующим замечанием. Пустъ дана опрелеленная форма $n$ переменных $x_{1}, x_{2}, \ldots$ $\ldots, x_{n}$; если положить равными нулю некоторое количество цеременных, например $x_{p+1}, \ldots, x_{n}$, то остается определенная форма переменных $x_{1}, x_{2}, \ldots, x_{p}$. В самом деле, если бы эта форма не была определенной, то она обращалась бы в нуль для значений переменных $x_{1}, \ldots x_{p}$, которые не все были бы нулями; тогда одна из этих систем значений, взятая в сочетании с нулевыми значениями последующих переменных $x_{p+1}, \ldots, x_{n}$, превратила бы в нуль первоначальную форму, которая, в противоположность допущению, не оказалась бы определенной. Из приведенного замечания следует, что в выражении (6) для $f$ части $F$ и $\Phi$ являются определенными формами по отношению к переменным, от которых они зависят. Стало быть, $\Phi$ можно свести к сумме квадратов имеющих одинаковые знаки, например положительные, если форма $f$ положительна, причем $x_{p+1}^{\prime}, \ldots, x_{n}^{\prime}$ обозначают функции, независимые от $x_{p+1}, \ldots, x_{n}$, которые мы подставляем вместо этих последних переменных. Затем часть $B$ примет следующий вид: где $P, \ldots, P_{n}$ являются линейными функциями $x_{1}^{\prime}, \ldots, x_{p}^{\prime}$, и $f$ может быть написана слөдующим образом: Наконец, если мы введем новые переменные то мы получим следующее окончательное выражение для $f$ : согласно сделанному выше замечанию $f_{1}$ mоже будет определенной формой переменных, от которых она вависит. Уравнение (5) дает нам возможность определить $\varphi$ и мы получаем где для краткости с помощью $\varphi_{1}$ обозначена квадратичная функция зависящая исключительно от переменных $x_{1}^{\prime}, \ldots, x_{p}^{\prime}$. Две квадратичных формы $f и$ ф можно всегда представить в следуюиен виде: где величины $y_{i}$ лвляются функциями линейными, вечественными и независимыми от первоначальных переменных, а постолнные величины $a_{i}$ являются корнями уравнения (2), необходимо вещественныии, но при әтом равными или неравными. Приведенное предложение играет основную роль в большом количестве применений. Рассмотрим, в частности, проблему бесконечно малых колебаний; метод, которым пользовался Лагранж, сводился к тому, что все переменные, от которых зависит положение системы, выражаются в функции новых переменных которые независимы и в положении равновесия все равны нулю. Согласно’этому, если предположить, что все тела находятся очень близко от своего положения равновесия и что сообщенные этим телам скорости тоже бесконечно малы, то все упомянутые выше переменные будут очень малыми величинами и такими же будут их производные Вычислим ноловину живой силы $T$ и функцию сил $\boldsymbol{V}$, orpaиичившись членами меньшего измерения. Мы получим где $f$ обозначает квадратичную форму производных $\xi_{1}^{\prime}, \ldots, \xi_{n}^{\prime}$, которая в силу своей природы будет определенной формой. Что касается функции сил, то если через $V_{0}$ обозначить ее значение в положении равновесия, то мы будем иметь где $ф$ обозначает квадратичную форму переменных $\xi_{1}, \ldots, \xi_{n}$. с помощью той же линейной цодстановки с постоянными коэффициентами мы сможем свести их к простым формам Величины $a_{i}$ будут корнями уравнения относительно $\lambda$ по отношөнию к пучку $\lambda f-\varphi$; они все будут положительными если в состоянии равновесия функция сил будет минимумом. и, следовательно, уравнения Лагранжа (стр. 443) примут следуюший вид:
|
1 |
Оглавление
|