В предыдущем параграфе мы рассмотрели систему (40.1) при некоторых частных предположениях. Чтобы решить задачу в общем случае, преобразуем эту систему к такому виду, чтобы для нее выполнялись ограничения предыдущего параграфа. Для этого необходимо систему преобразовать так, чтобы она сохранила вид (40.1), но чтобы разложения правых частей уравнений, соответствующих некритическим переменным, после того как в них отбросить все члены, содержащие эти переменные, начинались членами достаточно высокого порядка.

С этой целью введем в уравнениях (40.1) новые переменные ${\xi }_1,\dots ,{\xi }_n$ вместо переменных $x_1,\dots ,x_n$ при помощи подстановки
$${\xi }_s=x_s-v_s(x,y)(s=1,\dots ,n),$$

где $v_s(x,y)$-аналитические функции переменных $x$ и $y$, обращающиеся в нуль при $x=y=0$. Преобразованные уравнения будут
$$\begin{array}{rl}\frac{dx}{dt}& =-\lambda y+\overline{X}(x,y,{\xi }_1,\dots ,{\xi }_n)=\\ & =-\lambda y+X(x,y,{\xi }_1+v_1,\dots ,{\xi }_n+v_n)\\ \frac{dy}{dt}& =\lambda x+\overline{Y}(x,y,{\xi }_1,\dots ,{\xi }_n)=\\ & =\lambda x+Y(x,y,{\xi }_1+v_1,\dots ,{\xi }_n+v_n)\\ \frac{d{\xi }_s}{dt}& ={\mathrm{\Xi }}_s(x,y,{\xi }_1,\dots ,{\xi }_n)=p_{s1}{\xi }_1+\dots +p_{sn}{\xi }_n+\\ & +p_{s}x+q_{s}y+X_s(x,y,{\xi }_1+v_1,\dots ,{\xi }_n+v_n)-\\ -[\frac{\partial v_s}{\partial x}(-\lambda y+\overline{X})+\frac{\partial v_s}{\partial y}(\lambda x+\overline{Y})]+p_{s1}{v}_1+\dots +p_{sn}{v}_n.\end{array}\}$$

Обозначим через ${\mathrm{\Xi }}_s^{(0)}(x,y)$ совокупность всех членов в функциях ${\mathrm{\Xi }}_s$, не зависящих от некритических переменных ${\xi }_1,\dots ,{\xi }_n$.

Будем, очевидно, иметь:
$$\begin{array}{l}{\mathrm{\Xi }}_s^{(0)}(x,y)=[p_{s1}{v}_1+\dots +p_{sn}{v}_n+p_{s}x+q_{s}y+\\ +X_s(x,y,v_1,\dots ,v_n)-\{\frac{\partial v_s}{\partial x}[-\lambda y+X(x,y,v_1,\dots ,v_n)]+\\ +\frac{\partial v_s}{\partial y}[\lambda x+Y(x,y,v_1,\dots ,v_n)]\}\end{array}$$

Подберем теперь функции $v_1,\dots ,v_n$ таким образом, чтобы разложения функции ${\mathrm{\Xi }}_s^{(0)}$ начинались членами не ниже $m$-го порядка, где $m$ — достаточно большое число. Тогда система (41.2) будет иметь желаемый вид и для решения задачи устоичивости отбросим в первых двух уравнениях этой системы все члены, содержащие ${\xi }_1,\dots ,{\xi }_n$, и рассмотрим полученную таким образом систему второго порядка
$$\begin{array}{l}\frac{dx}{dt}=-\lambda y+X(x,y,v_1(x,y),\dots ,v_n(x,y)),\\ \frac{dy}{dt}=\lambda x+Y(x,y,v_1(x,y),\dots ,v_n(x,y)).\end{array}\}$$

Может случиться, что как бы велико ни было число $m$, задача устойчивости для системы (41.4) не решается членами порядка ниже $m$. Этот случай будет исключительным, особенным, и мы его рассмотрим в $\mathrm{\$}43$.

Но может, однако, случиться, и это будет общим случаем, что при $m$ достаточно большом задача устойчивости для системы (41.4) решается членами не выше $m$-го порядка ( $m$ при этом будет обязательно нечетным), так что члены порядка выше $m$ на решении задачи не скажутся. В этом случає задача устойивости и для исходной системы $(n+2)$-го порядка (40.1) решается системой второго порядка (41.4), а именно, если для системы (41.4) имеет место неустойчивость, то и для системы (40.1) имеет место неустойчивость, и если для системы (41.4) получается асимптотическая устоиччивость, то и для системы (40.1) получится асимптотическая устойчивость.

Действительно, так как по условию задача устойчивости для системы (41.4) решается членами порядка не выше $m$ и разложения функций (41.3) начинаются членами не ниже $m$-го порядка, то система (41.2) удовлетворяет всем ограничениям предыдущего параграфа. Согласно полученным там результатам система (41.4) полностью решает задачу устойивости для системы (41.2) и, следовательно, для эквивалентной ей системы (40.1).

Остается показать, как определить функиии $v_{\mathrm{s}}(x,y)$, обращающие в нуль в выражениях (41.3) все члены до порядка $m-1$ включительно. С этой нелью положим:
$$v_s(x,y)=v_s^{(1)}(x,y)+v_s^{(2)}(x,y)+\dots (s=1,2,\dots ,n)\text{, }$$

где $v_s^{(k)}(x,y)$ — формы $k$-го порядка переменных $x$ и $y$. Тогда члены первого порядка в (41.3) будут
$$\begin{array}{c}{\mathrm{\Xi }}_{s1}^{(0)}=-\lambda (\frac{\partial v_s^{(1)}}{\partial y}x-\frac{\partial v_s^{(1)}}{\partial x}y)+p_{s1}{v}_1^{(1)}+\dots +p_{sn}{v}_n^{(1)}+p_{s}x+q_{s}y\\ (s=1,2,\dots ,n),\end{array}$$

а совокупность членов какого-нибудь $k$-го порядка имеет вид
$$\begin{array}{c}{\mathrm{\Xi }}_{sk}^{(0)}=-\lambda (\frac{\partial v_s^{(k)}}{\partial y}x-\frac{\partial v_s^{(k)}}{\partial x}y)+p_{s1}{v}_1^{(k)}+\dots +p_{sn}{v}_n^{(k)}+u_s^{(k)}(x,y)\\ (s=1,2,\dots ,n).\end{array}$$

Здесь $u_s^{(k)}(x,y)$ — формы $k$-го порядка, зависящие от форм $v_s^{(1)},\dots ,v_s^{(k-1)}$.

Для того чтобы в функциях (41.3) не было членов первого порядка, необходимо линейные формы $v_s^{(1)}(x,y)$ выбрать так, чтобы удовлетворялись уравнения ${\mathrm{\Xi }}_{s1}^{(0)}=0$, а для того чтобы разложения функций (41.3) начинались членами не ниже $m$-го порядка, необходимо, чтобы выполнялись уравнения
$$\begin{array}{c}\lambda (\frac{\partial v_s^{(k)}}{\partial y}x-\frac{\partial v_s^{(k)}}{\partial x}y)=p_{s1}{v}_1^{(k)}-\dots +p_{sn}{v}_n^{(k)}+u_s^{(k)}(x,y)\\ (s=1,2,\dots ,n;k=1,2,\dots ,m-1).\end{array}$$

Так как функции $u_s^{(k)}$ зависяг только от тех $v_s^{(j)}$, для которых $j<k$, то уравнения (41.8) дают возможность последовательно определять формы $v_s^{(k)}$, начиная с $k=1$, причем для определения $v_s^{(1)}$ получаются уравнения с известными правыми частями, так как на основании (41.6) $u_s^{(1)}=p_{s}x+q_s$. Всего в рядах (41.5) нужно определить члены до ( $m-1$ )-го порядка, если мы желаем, чтобы разложения (41.3) начинались членами не ниже $m$-го порядка.

Допустим, что все функции $v_s^{(1)},v_s^{(2)},\dots ,v_s^{(k-1)}$ уже определены. Тогда для нахождения $v_s^{(k)}$ мы получим уравнения (41.8) с известными правыми частями. Уравнения (41.8) имеют вид уравнений (39.1), рассмотренных нами в § 39. Корнями уравнения (39.2) ввляются сейчас величины $\pm \lambda l$, а корнями уравнения (39.3) Һорни ${\rho }_1,\dots {\rho }_n$ уравнения (40.2). Соотношение (39.4) принимает сейчас вид
$$(m_1-m_2)\lambda l={\rho }_j,$$

и так как оно не выполняется ни при каких целых неотрицательных $m_1,m_2$, то на основании теоремы § 39 система ( 41.8 ) имеет решение для $v_s^{(k)}$, каков бы ни был индекс $k$. Это решение нужно искать в виде форм с неопределенными коэффициентами, для определения которых получатся линейные неоднородные алгебраические уравнения.

Выясним теперь, сколько членов нужно определить в рядах (41.5) при практическом решении задачи. Для этого вспомним, что если задача устоичивости для системы второго порядка решается членами не свыше какого-нибудь конечного порядка, то этот порядок всегда нечетный. В простейшем случае, который на практике и будет наиболее частым, задача решается членами третьего порядка. Следовательно, нужно, чтобы в разложениях (41.3) отсутствовали члены первого и второго порядков, для чего в функциях $v_s$ нужно взять лишь линейные члены $v_s^{(1)}(x,y)$ и члены второго порядка $v_s^{(2)}(x,y)$. Определив эти члены, подставим полученные таким образом функции $v_s$ в уравнения (41.4) и решаем для них задачу устойчивости. Если при этом окажется, чго задача членами третьего порядка не решается и требует, следовательно, рассмотрения членов, по крайней мере, четвертого и пятого порядка, то придется определить также формы $v_s^{(3)}$ и $v_s^{(4)}$, а может быть и формы более высоких порядков, если окажется, что и члены пятого порядка не решают задачи устоичивости для системы (41.4).

Заметим, наконец, что уравнения (41.4) получаются из первых двух уравнений (40.1) заменон переменных $x_s$ функциями $v_s(x,y)$, а уравнения (41.8) мы получим, если попытаемся найти решение системы уравнений с частными прозводными
$\frac{\partial v_s}{\partial x}(-\lambda y+X(x,y,v_1,\dots ,v_n))+\frac{\partial v_s}{\partial y}(\lambda x+Y(x,y,v_1,\dots ,v_n))=$
$$=p_{s1}{v}_1+\dots +p_{sn}{v}_n+p_{s}x+q_{s}y+X_s(x,y,v_1,\dots ,v_n)$$

в виде рядов (41.5). Поэтому все вышесказанное приводит нас к следующему правилу.

Для того чтобы решить задачу устойчивости для системы (40.1), составляем систему уравнений $і$ частными производными (41.9), которой стараемся удовлетворить рядами (41.5). Такие ряды (формальные) всегда найдутся и будут единственными. Этими рядами заменяем величины $x_s$ в первых гвух уравнениях (40.1), после чего получим систему второго порядка (41.4). Допустим, что задача устойчивости для этой системы решается конечным числом членов. Тогда если для системы (41.4) получается неустойчивость, то и для системы (40.1) будет иметь место неустоћчивость, а если для системы (41.4) получится асимптотическая устойчивость, то и для системы (40.1) будет иметь место асимптотическая устоиччивость.

О количестве членов, которые необходимо взять в рядах (41.5) для решения задачи устойчивости, мы уже говорили выше ${}^1$ ). Поясним выкладки примерами.
Пример 1. Пусть предложена система:
$$\begin{array}{l}\frac{dx}{dt}=-y+\alpha xz,\frac{dy}{dt}=x+\alpha yz,\\ \frac{dz}{dt}=-z+x^2+y^2+f(x,y,z),\end{array}\}$$

где разложение функции $f(x,y,z)$ начинается членами не ниже третьего порядка. Составим уравнение с частными производными
$$(-y+\alpha xv)\frac{\partial v}{\partial x}+(x+\alpha yv)\frac{\partial v}{\partial y}=-v+x^2+y^2+f(x,y,v),$$

которому стараемся удовлетворить рядом
$$v=v_1(x,y)+v_2(x,y)+\dots ,$$

где $v_j(x,y)$ — формы $j$-го порядка. Сначала определим формы $v_1$ и $v_2$. Формы более высоких порядков будем определять лишь в том случае, если в этом будет необходимость. Для $v_1$ и $v_2$ имеем уравнения
$$\begin{array}{l}-y\frac{\partial v_1}{\partial x}+x\frac{\partial v_1}{\partial y}=-v_1,\\ -y\frac{\partial v_2}{\partial x}+x\frac{\partial v_2}{\partial y}=-v_2+x^2+y^2-\alpha y{v}_1\frac{\partial v_1}{\partial y}-\alpha x{v}_1\frac{\partial v_1}{\partial x}.\end{array}$$

Первое уравнение дает $v_1=0$, после чего второе уравнение принимает вид
$$-y\frac{\partial v_2}{\partial x}+x\frac{\partial v_2}{\partial y}=-v_2+x^2+y^2.$$

Полагая
$$v_2=A{x}^2+2Bxy+C{y}^2,$$

мы получим из (41.11) уравнения
$$-A+B+C=0,A+2B=1,-2B+C=1,$$

откуда находим, что $v_2=x^2+y^2$.
1) Решение задачи устойчивости в критическом случае пары чисто мнимых корней, а также в случае одного нулевого корня, когда угавнения возмущенного движения не аналитичны, дано в работе: В едров В. С., $О6$ устойчивости движения. Труды ЦАГИ, вып. 327, 1937.

Подставляя теперь в первые два уравнения (41.10) вместо $z$ величину $v=v_1+v_2+\dots$, получим систему второго порядка
$$\begin{array}{l}\frac{dx}{dt}=-y+\alpha x(x^2+y^2)+\phi (x,y),\\ \frac{dy}{dt}=x+\alpha y(x^2+y^2)+\psi (x,y),\end{array}\}$$

где разложения $\phi$ и $\psi$ начинаются членами не ниже четвертого порядка. Будем теперь решать задачу устойчивости для системы (41.12). Здесь лучше всего воспользоваться методом § 37. При этом сразу видно, что система (41.12) допускает функцию Ляпунова $2V=x^2+y^2$, производная которой, имеющая вид
$$\frac{dV}{dt}=\alpha {(x^2+y^2)}^2+x\phi +y\psi ,$$

будет функцией знакоопределенной, если только $\alpha eq0$. Невозмущенное движение для системы (41.12), а вместе с ней и для системы (41.10) будет неустоичиво при $\alpha >0$ и асимптотически устойчиво при $\alpha <0$.

При $\alpha =0$ задача устоћчивости для системы (41.12) членами третьего порядка не решается. Однако вычисление форм $v_3,v_4$ и членов более высоких порядков в разложении функции $v$ излишне, так как при $\alpha =0$ первые два уравнения (41.10) не содержат переменной $z$. Этот случай, очевидно, принадлежит к числу особенных.

Пример 2. В качестве второго примера рассмотрим одну из задач устойчивости систем автоматического регулирования, исследованную А. И. Лурье ${}^1$ ).

Допустим, что дифференциальные уравнения движения системы (регулируемого объекта, измерительных органов, сервоприводов и т. д.) имеют вид
$$\begin{array}{rl}\frac{d{\eta }_i}{dt}& =\sum _{\alpha =1}^{n+2}{b}_{ia}{\eta }_{\alpha }+h_{i}f(\sigma ),\\ \sigma & =\sum _{\alpha =1}^{n+2}{j}_{\alpha }{\eta }_{\mathrm{c}}\\ (i& =1,2,\dots ,n+2),\end{array}\}$$

где $b_{l\alpha },h_i,j_{\alpha }$ — постоянные, а $f(\sigma )$ — некоторая нелинеиная функция, обращающаяся в нуль при $\sigma =0$. Рассмотренные нами ранее в $\mathrm{\S }12$ и 26 уравнения систем регулирования являются, очевидно, частным случаем системы (41.13).
1) Лурье А. И., О характере границ области устойчивос ти регулируемых систем. ПММ, т. XV, вып. 2, 1951.

Предположим, что $f(\sigma )$ является аналитической функцией $\sigma$ и имеет вид
$$f(\sigma )=c\sigma +{\psi }_2{\sigma }^2+{\psi }_3{\sigma }^3+\dots$$

Рассмотрим систему первого приближения
$$\begin{array}{c}\frac{d{\eta }_i}{dt}=\sum _{\alpha =1}^{n+2}{a}_{i\alpha }{\eta }_{\alpha },a_{i\alpha }=b_{i\alpha }+h_i{j}_{\alpha }c\\ (i=1,2,\dots ,n+2).\end{array}$$

Для того чтобы положение равновесия ${\eta }_1=\dots ={\eta }_{n+2}=0$ рассматриваемой системы было устойчивым, достаточно, чтобы вещественные части всех корней уравнения

имели отрицательные вещественные части. При этом величина области устойчивости, как это легко усмогреть из рассуждений $\mathrm{\S }26$, зависит от величины этих вещественных частен. Если вещественные части хотя бы некоторых корнен уравнения (41.15) численно малы, то область устойчивости может оказаться слишком малой и с точки зрения практической исследуемое положение равновесия надо будет рассматривать как неустоћчивое. Как будет показано в § 44, вопрос о поведении системы в такого рода случаях будет зависеть от того, будет ли иметь место устоичивость или неустоћчивость в предельном случае, когда указанные вещественные части будут равны нулю. Таким образом, задача приводится к исследованию критических случаев. Мы рассмотрим эту задачу для системы (41.13) в предположении, что уравнение (41.15) имеет пару чисто мнимых корней $\pm {\lambda }_i$ при остальных корнях с отрицательными вещественными частями.

Допустим, что все корни ${\rho }_1,\dots ,{\rho }_{n+2}$ уравнения (41.15) являются простыми. Рассмотрим линейню подстановку
$$x_i=A_{i1}{\eta }_1+A_{i2}{\eta }_2+\dots +A_{i,n+2}{\eta }_{n+2}(l=1,2,\dots ,n+2)\text{, }$$

где $A_{lj}$ определяются уравнениями
$$\begin{array}{c}{a}_{1s}{A}_{i1}+a_{2s}{A}_{i2}+\dots +a_{n+2,s}{A}_{i,n+2}={\rho }_i{A}_{is}\\ (i=1,2,\dots ,n+2,s=1,2,\dots ,n+2)\end{array}$$

и, следовательно,
$$A_{ij}=C_i{\mathrm{\Delta }}_{ij}\left({\rho }_i\right),$$

где ${\mathrm{\Delta }}_{\alpha \beta }$-алгебраическое дополнение элемента $\beta$-и строки и $\alpha$-го столбца определителя (41.15), а $C_i$— произвольные постоянные. Подстановка (41.16) преобразует уравнения (41.14) к виду
$$\frac{d{x}_i}{dt}={\rho }_i{x}_i(i=1,2,\dots ,n+2),$$

а уравнения (41.13) — к виду
$$\frac{d{x}_i}{dt}={\rho }_i{x}_i+{\psi }_2{\sigma }^2+{\psi }_3{\sigma }^3+\dots ,$$

если только постоянные $C_i$ выбраны согласно условиям
$$\frac{1}{C_i}=\sum _{\alpha =1}^{n+2}{\mathrm{\Delta }}_{1\alpha }\left({\rho }_i\right)h_{\alpha },$$

что мы и будем предполагать. Переменная $\sigma$ примет при этом вид
$$\sigma =\sum _{\alpha =1}^{n+2}{a}_{\alpha }{x}_{\alpha },$$

где $a_a$ — некоторые постоянные, явное выражение которых мы здесь не приво цим.

Пусть ${\rho }_{n+1}=i\lambda ,{\rho }_{n+2}=-i\lambda$, а остальные корни ${\rho }_s$ имеют отрицательные вещественные части. Тогда, полагая
$$x_{n+1}=x+iy,x_{n+2}=x-iy,$$

мы приведем уравнения движения к следующему окончательному виду:
$$\begin{array}{rl}\frac{dx}{dt}& =-\lambda y+{\psi }_2{\sigma }^2+{\psi }_3{\sigma }^3+\dots ,\\ \frac{dy}{dt}& =\lambda x,\\ \frac{d{x}_s}{dt}& ={\rho }_s{x}_s+{\psi }_2{\sigma }^2+{\psi }_3{\sigma }^3+\dots ,\\ \sigma & =ax-by+a_1{x}_1+\dots +a_n{x}_n,\end{array}\}$$

где $a$ и $b$-вещественная и мнимая части коэффициента $2a_{n+1}$ (коэффициент $a_{n+2}$ будет, очевидно, комплексно сопряжен с $a_{n+1}$ ).
Составляя уравнения
$$\begin{array}{c}\lambda x\frac{\partial v_s}{\partial y}+(-\lambda y+{\psi }_2{\sigma }^2+{\psi }_3{\sigma }^3+\dots )\frac{\partial v_s}{\partial x}={\rho }_s{v}_s+{\psi }_2{\sigma }^2+{\psi }_3{\sigma }^3+\dots \\ (s=1,2,\dots n).\end{array}$$

пытаемся им удовлетворить рядами
$$v_s=v_s^{(1)}+v_s^{(2)}+\dots (s=1,2,\dots ,n).$$

Для функций $v_s^{(1)}$ получаем уравнения
$$\lambda (x\frac{\partial v_s^{(1)}}{\partial y}-y\frac{\partial v_s^{(1)}}{\partial x})={\rho }_s{v}_s^{(1)},$$

откуда $v_s^{(1)}=0$. Вследствие этого уравнения для $v_s^{(2)}$ имеют вид
$$\lambda (x\frac{\partial v_s^{(2)}}{\partial y}-y\frac{\partial v_s^{(2)}}{\partial x})={\rho }_s{v}_s^{(2)}+{\psi }_2(ax-by{)}^2.$$

Полагая в этих уравнениях
$$v_s^{(2)}=\frac{1}{2}(M_s{x}^2+2P_{s}xy+N_s{y}^2),$$

приравнивая коэффициенты при $xy,x^2,y^2$ и решая полученные таким образом уравнения, для $M_s,P_s,N_s$ найдем:
$$\begin{array}{rl}\frac{1}{2}{M}_s& =-\frac{{\psi }_2}{4{\lambda }^2+{\rho }_s^2}[-2ab\lambda +\frac{1}{2}{\rho }_s(a^2-b^2)]-\frac{{\psi }_2(a^2+b^2)}{2{\rho }_s},\\ P_s& =\frac{{\psi }_2}{4{\lambda }^2+{\rho }_s^2}[2\lambda (a^2-b^2)+2ab{\rho }_s],\\ \frac{1}{2}{N}_s& =-\frac{{\psi }_2}{4{\lambda }^2+{\rho }_s^2}[2ab\lambda -\frac{1}{2}{\rho }_s(a^2-b^2)]-\frac{{\psi }_2(a^2+b^2)}{2{\rho }_s}.\end{array}$$

Имея в виду решать в дальнейшем задачу методом § 36 , положим в форме $v_s^{(2)}x=r\cos \vartheta ,y=r\sin \vartheta$. Тогда, принимая во внимание значения коэффициентов $M_s,P_s,N_s$, получим:
$$v_s^{(2)}=r^2({\alpha }_s+{\beta }_s\cos 2\vartheta +{\gamma }_s\sin 2\vartheta ),$$

где
$$\begin{array}{l}{\alpha }_s=-\frac{{\psi }_2(a^2+b^2)}{2{\rho }_s},\\ {\beta }_s=-\frac{{\psi }_2[{\rho }_s(a^2-b^2)-4\lambda ab]}{2(4{\lambda }^2+{\rho }_s^2)},\\ {\gamma }_s=\frac{{\psi }_2[2\lambda (a^2-b^2)+2ab{\rho }_s}{2(4{\lambda }^2+{\rho }_s^2)}.\end{array}\}$$

Подставляя в первые два уравнения (41.17) вместо $x_s$ ряды (41.18), переходя к полярным координатам и исключая $t$, получим:
$$\frac{dr}{d\vartheta }=R_2{r}^2+R_3{r}^3+\dots .$$

где
$$\begin{array}{l}{R}_2=\frac{{\psi }_2}{\lambda }(a\cos \vartheta -b\sin \vartheta {)}^2\cos \vartheta .\\ R_3=\frac{{\psi }_2^2}{{\lambda }_2}(a\cos \vartheta -b\sin \vartheta {)}^4\sin \vartheta \cos \vartheta +\\ +\frac{1}{\lambda }(2{\psi }_2(a\cos \vartheta -b\sin \vartheta )(\alpha +\beta \cos 2\vartheta +\gamma \sin 2\vartheta )+\\ +{\psi }_3{(a_3\cos \vartheta -b\sin \vartheta )}^3\}\cos \vartheta .\end{array}$$

Здесь введены обозначения
$$\alpha =\sum _{s=1}^n{a}_s{\dot{\alpha }}_s,\beta =\sum _{s=1}^n{a}_s{\beta }_s,\gamma =\sum _{s=1}^n{a}_s{\gamma }_s$$

и, следовательно, на основании (41.19)
$$\begin{array}{l}\alpha =-\frac{1}{2}{\psi }_2(a^2+b^2)S_1,\\ \beta =2\lambda ab{\psi }_2{S}_2-\frac{1}{2}(a^2-b^2){\psi }_2{S}_3,\\ \gamma =\lambda (a^2-b^2){\psi }_2{S}_2+ab{\psi }_2{S}_3,\end{array}\}$$

где
$$S_1=\sum _{\alpha =1}^n\frac{a_{\alpha }}{{\rho }_{\alpha }},S_2=\sum _{\alpha =1}^n\frac{a_{\lambda }}{4{\lambda }^2+{\rho }_{\alpha }^2},S_3=\sum _{\alpha =1}^n\frac{a_{\alpha }{\rho }_{\alpha }}{4{\lambda }^2+{\rho }_{\alpha }^2}.$$

Полагая в (41.20)
$$r=c+r_2(\vartheta )c^2+r_3(\vartheta )c^3+\dots \cdot$$

найдем:
$$r_2={\int }_0^{\theta }{R}_{2}d\vartheta ,r_3={\int }_0^{\theta }(R_3+2R_2{r}_2)d\vartheta .$$

функция $r_2(\vartheta )$ получится, очевидно, периодической. Но тогда то же самое будет и для функции
$${\int }_0^{\theta }{R}_2{r}_{2}d\vartheta ={\int }_0^{\theta }{r}_{2}d{r}_2=\frac{1}{2}{r}_2^2$$

Вследствие этого постоянная $g$, фигурирующая в соотношении $r_3=g\vartheta +$ периодическая функция,

определяется формулой
$$g=\frac{1}{2\pi }{\int }_0^{2\pi }{R}_{3}d\vartheta$$

которая дает:
$$g=-\frac{ab(a^2+b^2)}{4{\lambda }^2}{\psi }_2^2+\frac{1}{2\lambda }(2a\alpha +a\beta -b\gamma ){\psi }_2+\frac{3(a^2+b^2)}{8\lambda }{\psi }_3,$$

или, принимая во внимание (41.21),
$$g=\frac{a^2+b^2}{4{\lambda }^2}[{\psi }_2^2(-ab-2\lambda a{S}_1+2{\lambda }^{2}b{S}_2-a\lambda S_3)-\frac{3}{2}a\lambda {\psi }_3].$$

Если теперь входящие сюда величины выразить через коэффициенты исходной системы (41.13) и опустить несущественный положительныи множитель $\frac{1}{2\lambda }(a^2+b^2)$, то, как показал А. И. Лурье, получим:
$$g=\mathrm{Re}\frac{D(i\lambda )}{{\mathrm{\Delta }}^{\prime }(i\lambda )}\{{\left(\frac{{\psi }_2}{c}\right)}^2[\frac{D(2i\omega )}{\mathrm{\Delta }(2i\omega )}-3+2\frac{D(0)}{\mathrm{\Delta }(0)}]+\frac{3}{2}\frac{{\psi }_3}{c}\},$$

где $D(\rho )$ — значение определителя (41.15) при $c=0$.