В настоящем параграфе остановимся на рассмотрении задач второго типа, т. е. на установлени соответствия между такими свойствами точных и приближенных решений системы
$$\frac{dx}{dt}=sX(t,x),$$

которые зависят от поведения этих решений на бесконечном интервале времени.

Вначале рассмотрим простейший случай, когда уравнения первого приближения
$$\frac{d\xi }{dt}=s{X}_0(\xi )$$

имеют «квазистатическое» решение, соответствующее точке равновесия
$$\xi ={\xi }_0;X_0\left({\xi }_0\right)=0.$$

Тогда для решений этих уравнений, бесконечно близких к ${\xi }_0$, имеем уравнения в вариациях:
$$\frac{d\delta \xi }{d\tau }=H,\xi ,H={\left(\frac{\partial X_0(\xi )}{\partial \xi }\right)}_{\xi ={\xi }_0},\tau =\epsilon t,$$

которые являются однородными линейными дифференциальными уравнениями с постоянными коәффициентами.

Рассмотрим характеристическое уравнение, соответствующее уравнениям (27.4):
$$\mathrm{Det}|pI-H|=0\text{, }$$

и представим общее решение системы (27.4) в виде:
$$\delta \xi (t)=\sum _{(1⩽s⩽n)}{C}_s{u}_s(\tau )$$

где $C_s$ — произвольные постоянные, а $u_s(\tau )$ — линейно независимые частные решения, соответствующие отдельным корням характеристического уравнения (27.5).
Для простого корня $p=p_{\text{s }}$
$$u_s(\tau )=e^{p_s}.$$

Если этот корень кратный, то
$$u_{\mathrm{s}}(\tau )=P_{\mathrm{s}}(\tau )e^{p_{\mathrm{s}}\tau },$$

причем $P_s(\tau )$ будет полиномом по отношению к $\tau$ стешени не выше порядка кратности $p_s$.

Таким образом, если все корни данного характеристического уравнения имеют отрицательные вещественные части, то бъ экспоненциально стремятся к нулю.

Допустим, что $s$ корней $p_1,p_2,\dots ,p_{\text{s }}$ имеют отрицательные вещественные части, а у остальных $n-s$ корней $p_{s+1},p_{s+2},\dots ,p_n$ вещественные части все положительны.

Рассмотрим в этом случае $s$-мерное многообразие точек $\delta {\xi }_0$, которое будем обозначать через ${\mathfrak{M}}_{t_0}$, характеризующееся тем, что
$$\delta {\xi }_0=\sum _{1⩽j⩽s}{C}_j{u}_j\left({\tau }_0\right),$$

или в общем случае
$$\delta {\xi }_0=\sum _{1⩽j⩽s}{C}_j{P}_j\left({\tau }_0\right)e^{p_{j}i0},$$

где все $p_j(j=1,2,\dots ,s)$ имеют отрицательные вещественные части. Тогда для функций $\delta \xi (t)$, имеющих своими начальными значениями величины (27.10), получим:
$$\partial \xi \left(t_0\right)=\sum _{1⩽j⩽s}{C}_j{u}_j\left({\tau }_0\right),$$

откуда видим, что в этом случае при $t\to \mathrm{\infty }$ іे (t) будут стремиться к нулю.

Другими словами, если $\delta \mathrm{\&}\left(t_0\right)$ лежит на многообразии ${\mathfrak{M}}_{t_0}$, то тогда $\hat{\delta }\xi (t)$ экспоненциально стремятся к нулю; если же $\delta \xi \left(t_0\right)$ не лежат на этом многообразии, то $\delta \xi (t)$, начиная с достаточно больших $t$, будет неограниченно удаляться от ${\mathfrak{M}}_{t_0}$. В частности, когда вещественные части всех корней характеристического уравнения (27.5) положительны, многообразие ${\mathfrak{M}}_{t_0}$ вырождается в точку нуля решение $\delta \xi (t)$ с течением времени не будет стремиться к нулю, а наоборот, с течением времени $\partial \xi (t)$ будет неограниченно удаляться от ${\mathfrak{M}}_{t_0}$.

Если вещественные части некоторых корней характеристического уравнения (27.5) равны нулю, то уравнения (27.4) обладают соответствующими этим корням решениями вида
$$\delta \xi (t)=e^{iu\tau }$$

с вещественными v. Однако в этом случае произвольно малое изменение формы уравнений, например внесение нелинейных членов, может радикально изменить поведение решений, вызвать затухание или раскачивание колебаний типа (27.12). Наоборот, если вещественные части всех корней характеристического уравнения (27.5) отличны от нуля, поведение решений оказывается менее чувствительным к введению малых добавок.

В этом случае можно доказать теоремы, устанавливающие, что решения точных уравнений (27.1), лежащие в окрестности ${\xi }_0$, где ${\xi }_0$ квазистатическое репение усредненных уравнений (27.2), обладают свойствами, являющимися естественным обобщением свойств решений (27.6) $\delta \xi =\delta \xi (t)$, о которых шла речь выше. Иначе говоря, можно доказать теоремы, устанавливающие, что при определенных условиях разность между любым решением точных уравнений (27.1) и квазистатическим (квазистационарным) решением уравнений (27.1), начальные значения которых будут принадлежать некоторому точечному многообразию, размерность которого равна числу корней характеристического уравнения (27.5) с отрицательными вещественными частями, с течением времени стремится к нулю.

Разумеется, для точных уравнений (27.1) роль квазистатического решения будет играть некоторое специальное решение, близкое к ${\xi }_0$, но, вообще зависящее от времени.
Действительно, уже «улучшенное первое приближение»
$$\xi ={\xi }_0+\epsilon \tilde{X}(t,{\xi }_0)={\xi }_0+\epsilon \sum _{ueq0}\frac{X_u\left({\xi }_0\right)}{i\vee }{e}^{ivt}$$

будет зависеть от времени, причем в нем будут появляться колебания с внешними частотами, присутствующими в выражении
$$X(t,x)=\sum _u{X}_u(x)e^{ivt}.$$

Введем еще некоторые определения. Пусть каждому $t$ из интервала $(-\mathrm{\infty },\mathrm{\infty })$ соответствует некоторое множество $S_t$ точек $x$, которое можно представить аналитически в параметрической форме уравнениями вида
$$x=f(t,C_1,C_2,\dots ,C_s),$$

где $f(t,C_1,C_2,\dots ,C_s)$ удовлетворяют условиям Лишшица по отношению к параметрам $C_1,C_2,\dots ,C_s$ во всей области их изменения.

Мы будем говорить тогда, что $S_t$ есть $s$-мерное интегральное многообразие для уравнения (27.1), если для всякого решения $x=x(t)$ этого уравнения из соотношения
$$x(t)\in S_i,$$

справедливого в какой-то момент времени $t=t_0$, вытекает его справедливость для любого вещественного $t$.

Для доказательства теорем о поведении точных решений в окрестности ${\xi }_9$ нам понадобятся, кроме условия неравенства нулю вещественных частей корней характеристического уравнения (27.5), лишь самые общие условия.
Итак, предположим, что:
a) функция $X(t,x)$ и ее частные производные первого порядка по $x$ ограничены и равномерно непрерывны по отношению к $x$ в области
$$-\mathrm{\infty }<t<\mathrm{\infty },x\in D_{\rho },$$

где $D_{\rho }$ — некоторая $\rho$-окрестность точки ${\xi }_0$;
б) в каждой точке области $D_{\rho }$
$$\frac{1}{T}{\int }_t^{t+T}X(t,x)dt\to X_0(x)\text{ при }T\to \mathrm{\infty }$$

равномерно по отношению к $t$ в интервале ( $-\mathrm{\infty },\mathrm{\infty }$ ).
Положив в (27.1)
$$x={\xi }_0+b,$$

где ${\xi }_0$-квазистатическое решение уравнения (27.2) и учитывая при этом (27.4), основное уравнение (27.1) можно представить в виде
$$\frac{db}{dt}=\epsilon Hb+\epsilon B(t,b),$$

где
$$\begin{array}{c}B(t,b)=Z(t,{\xi }_0+b)+X_0({\xi }_0+b)-X_0\left({\xi }_0\right)-{\left(\frac{\partial X(\xi )}{\partial \xi }\right)}_{\xi ={\xi }_0}b,\\ Z(t,x)=X(t,x)-X_0(x),\end{array}$$

При этом в силу а) и б) в $\rho$-окрестности точки $b=0$ функции $B(t,b)$, $Z(t,{\xi }_0+b)$ и их частные производные первого порядка по $b$ ограничены и равномерно непрерывны по отношению $\kappa b$ в области
$$-\mathrm{\infty }<t<\mathrm{\infty },|b|⩽p.$$

Кроме того, в каждой точке рассматриваемой окрестности $|b|⩽p$ согласно (27.16) и (27.20) имеем:
$$\frac{1}{T}{\int }_t^{t+T}Z(t,{\xi }_0+b)dt\to 0\text{ при }T\to \mathrm{\infty }$$

равномерно по отношению к $t$, откуда, очевидно, следует:
$$\frac{1}{T}{\int }_t^{t+T}B(t,b)dt\underset{T\to \mathrm{\infty }}{\to }B(b)=X_0({\xi }_0+b)-X_0\left({\xi }_0\right)-X_0^{\prime }\left({\xi }_0\right)b.$$

Поскольку $B(b)$ со своими частными производными первого порядка обращается в нуль при $b=0$, то из условия, которому, очевидно, удовлетворяет функция $B(b)$
$$|B\left(b^{\prime }\right)-B\left(b^{\prime \prime }\right)|⩽{\left|\frac{\partial B(b)}{\partial b}\right|}_{b=\tilde{b}}{|b^{\prime }-b^{\prime \prime }|}^{\prime }(b^{\prime }⩽\tilde{b}⩽b^{\prime \prime }),$$

следует, что при
$$\left|b^{\prime }\right|<\sigma ,\left|b^{\prime \prime }\right|<\sigma (\sigma <p)$$

имеет место
$$|B\left(b^{\prime }\right)-B\left(b^{\prime \prime }\right)|⩽\eta (\sigma )|b^{\prime }-b^{\prime \prime }|,$$

где
$$\eta (\sigma )\to 0\text{ при }\sigma \to 0.$$

Из выражений (27.19), (27.20) видно, что если $X(x,t)$ имеют частные производные до $n$-го порядка включительно, которые являются ограниченными и равномерно непрерывными по отнопению к $b$ в области $(27.21)$, то $B(t,b)$ и $Z(t,{\xi }_0+b)$ также будут обладать этими свойствами.

Для дальнейшего исследования удобно уравнения (27.18) преобразовать к виду:
$$\frac{dh}{dt}=Hh+Q(t,h,\epsilon ),$$

где $Q(t,h,s)$ была бы достаточно малой величиной при малых $h$ и $\epsilon$. Однако этого преобразования мы производить не будем, так как к аналогичной форме можно привести уравнение (27.18), рассматривая более общий случай, чем изложенный выше, а именно, когда уравнения первого приближения (27.2) имеют периодическое решение:
$$x=\xi (\omega \tau ).$$

Итак, приступим к исследованию случая, когда уравнения первого приближения (27.2) имеют периодическое решение, в р-окрестности которого функция $X(t,x)$ обладает свойствами:
a) эта функдия и ее частные производные первого порядка по $x$ ограничены и равномерно непрерывны по отнопению к $x$ в области
$$-\mathrm{\infty }<t<\mathrm{\infty },x\in D_{\theta },$$

где $D_0$ — p-окрестность периодического решения уравнений первого приближения.
б) В каждой точке $D_p$ :
$$\frac{1}{T}{\int }_t^{t+T}X(t,x)dt\to X_0(x)\text{ при }T\to \mathrm{\infty }$$

равномерно по отношению к $t$ в интервале ( $-\mathrm{\infty },\mathrm{\infty }$ ).
Итак, пусть периодическое решение уравнений (27.2) имеет вид
$$x=\xi (\omega \tau ),$$

где $\xi (\phi )$ — периодическая функция $\phi$ с периодом $2\pi$.
Составим для уравнений первого приближения (27.2) уравнения в вариациях, соответствующие периодическому решению (27.27).

Получим однородную систему линейных дифференциальных уравнений с периодическими коэффициентами:
$$\frac{d\delta \xi }{d\tau }=X_{0x}^{\prime }\{\xi (\omega \tau )\},\xi .$$

В силу определения функции (27.27) тождественно имеем:
$$\omega {\xi }_{\phi }^{\prime }(\phi )=X_0\{\xi (\phi )\}.$$

Дифферендируя это равенство по $\phi$, нетрудно убедиться, что при произвольной постоянной $ьu_0$ выражение
$$\delta \xi ={\xi }_{\phi }^{\prime }(\omega \tau )\delta u_0$$

является решением уравнения в вариациях (27.4).
Прежде чем перейти к преобразованию уравнения (27.1), сделаем некоторые замечания, относящиеся к теории дифференциальных уравнений с периодическими коэффициентами.

Как известно, на основании теорем Флоке-Ляпунова о свойствах линейных однородных дифференциальных уравнений с периодическими коэффициентами посредством преобразования типа

в котором $A_{kq}(\phi )(k=1,2,\dots ,n;q=1,2,\dots ,n-1)$ — периодические функции $\phi$ с периодом $2\pi$, обладающие непрерывными первыми производными, уравнения с периодическими коэффициентами (27.28) могут быть приведены к системе дифференциальных уравнений с постоянными коэффициентами:
$$\frac{d\delta u_0}{d\tau }=0;\frac{d\delta u_k}{d\tau }=\sum _{q=1}^{n-1}{H}_{kq}\delta u_q(k=1,2,\dots ,n-1),$$

такой, что корни уравнения
$$\mathrm{Det}\Vert p{I}_{kq}-H_{kq}\Vert =0,I_{kq}=\{\begin{array}{l}1,k=q,\\ 0,keqq,\end{array}$$

являются характеристическими показателями для системы (27.28).
Здесь также удобно ввести принятую нами систему матрично-векторных обозначений. Для этого введем матрипу
$$A(\phi )=\Vert A_{kq}(\phi )\Vert$$

из $n$ строк и ( $n-1$ ) столбцов, квадратную матрицу ( $n-1$ )-го порядка соответственно в виде:
$$\begin{array}{c}\delta \xi ={\xi }^{\prime }(\omega \tau )\delta u_0+A(\omega \tau )\delta u,\\ \frac{d\stackrel{`}{ı}{u}_0}{d\tau }=0,\frac{d\hat{\delta }u}{d\tau }=H\stackrel{`}{o}u.\end{array}$$

При этом заметим, что как матрицы $A(\phi )$ и $H$, так и вектор о̀ являются, вообще говоря, комшлексными, несмотря на то, что коэффициенты уравнения (27.28) вещественны.

Попутно установим одно соотношение, которое будет нами использовано в дальнейпем. Для этого подставим (27.35) в уравнение (27.28). В результате получим:
$$\begin{array}{l}\frac{d{\xi }^{\prime }(\phi )}{d\tau }\delta u_0+{\xi }^{\prime }(\phi )\frac{d\stackrel{`}{\delta }{u}_0}{d\tau }+\frac{dA(\phi )}{d\phi }\omega \hat{\partial }u+A(\phi )\frac{d\stackrel{`}{o}u}{d\tau }=\\ =X_{0_x}^{\prime }\{\xi (\phi )\}{\xi }^{\prime }(\phi )\stackrel{`}{\delta }{u}_0+X_{0x}^{\prime }\{\xi (\phi )\}A(\phi )\text{ oे }u.\end{array}$$

Принимая во внимание, что ${\xi }_{\phi }^{\prime }(\omega \tau )\dot{\partial }{u}_0$ является решением уравнений в вариациях (27.28), а также соотношение (27.36), получаем следующее тождество:
$$\frac{dA(\phi )}{d\phi }\omega +A(\phi )H=X_{0x}^{\prime }\{\xi (\phi )\}A(\phi ),$$

а также
$$\frac{d{A}^{\ast }(\phi )}{d\phi }\omega +A^{\ast }(\phi )\cdot H^{\ast }=X_{0x}^{\prime }\{\xi (\phi )\}{A}^{\ast }(\phi ),$$

где $A^{\ast }(\phi ),H^{\ast }$ являются сопряженными по отношению к $A(\phi )$ и $H$.

Перейдем теперь к преобразованию уравнения (27.1). Для этого запишем его в виде
$$\frac{dx}{dt}=\epsilon X_0(x)+\epsilon Z(t,x),$$

где
$$Z(t,x)=X(t,x)-X_0(x).$$

Введем здесь новые переменные $\phi ,b(b_1,\dots ,b_{n-1})$ посредством формул *):
$$x=\xi (\phi )+\frac{1}{2}\{A(\phi )b+A^{\ast }(\phi )b^{\ast }\},$$

где $b$ и $b^{\ast }$ — взаимно сопряженные величины.
Подставляя (27.40) в (27.38), получим:
$$\begin{array}{l}{\xi }_{\phi }^{\prime }(\phi )\frac{d\phi }{dt}+\frac{1}{2}\{A_{\phi }^{\prime }(\phi )b+A_{\phi }^{\ast \prime }(\phi )b^{\ast }\}+\frac{1}{2}\{A(\phi )\frac{db}{dt}+A^{\ast }(\phi )\frac{d{b}^{\ast }}{dt}\}=\\ =s{X}_0\{\xi (\phi )+\frac{1}{2}[A(\phi )b+A^{\ast }(\phi )b^{\ast }]\}+\epsilon Z\{t,\xi (\phi )+\frac{1}{2}[A(\phi )b+A^{\ast }(\phi )b]\}=\\ =\epsilon X_0\{\xi (\phi )\}+\epsilon X_{0x}^{\prime }\{\xi (\phi )\}\frac{1}{2}[A(\phi )b+A^{\ast }(\phi )b^{\ast }]+\\ +\epsilon [X_0\{\xi +\frac{1}{2}[A(\phi )b+A^{\ast }(\phi )b^{\ast }]\}-X_0\{\xi (\phi )\}-\\ -X_{0x}^{\prime }\{\xi (\phi )\}\frac{1}{2}[A(\phi )b+A^{\ast }(\phi )b^{\ast }]]+\epsilon Z\{t,\xi (\phi )+\frac{1}{2}[A(\phi )b+A^{\ast }(\phi )b^{\ast }]\},\end{array}$$

откуда, учитывая соотношение (27.29) и тождества (27.37), (27.37′), находим:
$$\begin{array}{c}[{\xi }^{\prime }(\phi )+\frac{1}{2}(A_{\phi }^{\prime }(\phi )b+A_{\phi }^{\ast \prime }(\phi )b^{\ast })](\frac{d\phi }{dt}-\omega )+\frac{1}{2}[A(\phi )(\frac{db}{dt}-Hb)+\\ +A^{\ast }(\phi )(\frac{d{b}^{\ast }}{dt}-H^{\ast }{b}^{\ast })]=\epsilon [X_0\{\xi +\frac{1}{2}[A(\phi )b+A^{\ast }(\phi )b^{\ast }]\}-\\ -X_0\{\xi \}-\frac{1}{2}{X}_{0x}^{\prime }\{\xi \}[A(\phi )b+A^{\ast }(\phi )b^{\ast }]]+\\ +\epsilon Z\{t,\xi (\phi )+\frac{1}{2}[A(\phi )b+A^{\ast }(\phi )b^{\ast }]\}.\end{array}$$

Систему (27.41) можем представить в виде
$$\begin{array}{l}[{\xi }^{\prime }(\phi )+\frac{1}{2}(A_{\phi }^{\prime }(\phi )b+A_{\phi }^{\ast \prime }(\phi )b^{\ast })](\frac{d\phi }{dt}-\omega )+\\ +\frac{1}{2}[A(\phi )(\frac{db}{dt}-Hb)+A^{\ast }(\phi )(\frac{d{b}^{\ast }}{dt}-H^{\ast }{b}^{\ast })]=Y,\end{array}$$

где $Y$ — вещественная функция.
Найдем из этой системы переменные
$$\frac{d\phi }{dt}-\omega ,\frac{db}{dt}-Hb=R$$
*) Эта замена переменных отличается от принятой в предыдущем издании тем, что при любых комплексных $b$ выражение $x$ является вещественным. На необх одимость сохранения вещественности $x$ обратил наше внимание академик Л. С. Понтрягин, которому выражаем здесь нашу глубокую признательность.

таким образом, чтобы выполнялось условие *)
$$R=R^{\ast }$$

и, следовательно, чтобы
$$\frac{d{b}^{\ast }}{dt}-H^{\ast }{b}^{\ast }=R.$$

Учитывая условие (27.44), получим из системы (27.42) систему линейных уравнений с вещественными коэффициентами относительно выражений (27.43):
$$[{\xi }^{\prime }(\phi )+\frac{1}{2}(A_{\phi }^{\prime }(\phi )b+A_{\phi }^{\ast \prime }(\phi )b^{\ast })](\frac{d\phi }{dt}-\omega )+\frac{1}{2}(A(\phi )+A^{\ast }(\phi ))R=Y.$$

Напомним здесь, что $Y$ и $\xi (\phi )-n$-мерные векторы, $R$ и $b-n-1$-мерные векторы, $A$ — матрица имеющая $n$ строк и $n-1$ столбцов.
Положим, что определитель этой системы
$$D(\phi ,b)=|{\xi }^{\prime }(\phi )+\frac{1}{2}(A_{\phi }^{\prime }(\phi )b+A_{{\phi }^{\prime }}^{\ast \prime }(\phi )b^{\ast }),\frac{1}{2}(A(\phi )+A^{\ast }(\phi ))|$$

при $b=0$ отличен от нуля **).
Тогда в силу непрерывности он будет отличным от нуля и в некоторой

Условимся обозначать $\delta$-окрестность точки $b=0$, в которой определитель $D(\phi ,b)$ отличен от нуля, через $U_{\delta }$. Область изменения значений $(\phi ,b)$, для которых $b$ изменяется в $U_{\delta }$, будем обозначать через $Q{U}_{\delta }$.

Заметим, что всегда можно найти столь малое положительное , чтобы в области $\mathrm{\Omega }{U}_{\delta }(b,b^{\ast }\in U_{\partial })$ имело место неравенство
$$\frac{1}{2}|A(\phi )b+A^{\ast }(\phi )b^{\ast }|<\rho$$

и, следовательно,
$$x=\xi (\phi )+\frac{1}{2}(A(\phi )b+A^{\ast }(\phi )b^{\ast })$$

находилось бы в области $D_{\rho }$, где $D_{\rho }$ — — -окрестность периодического решения $\xi (\phi )$, в которой функции $X(t,x)$ удовлетворяют условиям а) и б) (см. стр. 336).

Ввиду того, что комбинация, стоящая в скобках, является всегда вещественной, необходимость обобщения функций $X(t,\phi )$ на комплексные значения $x$ не вознивает.

Решая систему (27.45) в области $U_3$ относительно переменных (27.43), находим:
$$\begin{array}{l}\frac{d\phi }{dt}=\epsilon \omega +\epsilon W(t,\phi ,b),\\ \frac{db}{dt}=\epsilon Hb+\epsilon B(t,\phi ,b),\end{array}\}$$
*) Поскольку у нас значения $b$ комплексны, всегда имеется некоторый произвол в выборе $R$. Выбор дополнительного условия в форме (27.44), очевидно, не является обязательным. Можно выбрать другие, быть может более удобные, формы дополнительных условий.
**) Заметим, что қля простоты записи зависимость $D(\phi ,b)$ от $b^{\ast }$ не указывается.

$$\begin{array}{l}\text{ где }{}^{\ast })\\ \begin{array}{r}W(t,\phi ,b)=K(\phi ,b)[X_0\{\xi (\phi )+\frac{1}{2}(A(\phi )b+A^{\ast }(\phi )b^{\ast })\}-\\ -X_0\{\xi (\phi )\}-X_{0x}^{\prime }\{\xi (\phi )\}\frac{1}{2}(A(\phi )b+A^{\ast }(\phi )b^{\ast })]+\\ +L(\phi ,b)Z\{t,\xi (\phi )+\frac{1}{2}(A(\phi )b+A^{\ast }(\phi )b^{\ast })\},\\ B(t,\phi ,b)=M(\phi ,b)[X_0\{\xi (\phi )+\frac{1}{2}(A(\phi )b+A^{\ast }(\phi )b^{\ast })\}-X_0\{\xi (\phi )\}-\\ -X_{0x}^{\prime }\{\xi (\phi )+\frac{1}{2}(A(\phi )b+A^{\ast }(\phi )b^{\ast })\}]+N(\phi ,b)Z\{t,\xi (\phi )+\\ +\frac{1}{2}(A(\phi )b+A^{\ast }(\phi )b^{\ast })\},\end{array}\end{array}$$

цри этом $W(t,\phi ,b)$ и $B(t,\phi ,b)$ являются вещественными функциями. Здесь $K(\phi ,b),L(\phi ,b),M(\phi ,b),N(\phi ,b)$ представляют собой миноры определителя (27.46), деленные на сам определитель, и являются рациональными функциями $b$, регулярными при $b=0$ (регулярными в том смысле, что $b=0$ не является особой точкой).

В силу свойств функций $A(\phi )$ коэффициенты при степенях $b$ в выражениях для $K(\phi ,b),L(\phi ,b),M(\phi ,b),N(\phi ,b)$ являются непрерывными периодическими функциями $\phi$ с периодом $2\pi$ и обладают непрерывными производными по $\phi$ до второго порядка включительно.
Так как в области $8U_{\delta }$ имеет место
$$\frac{1}{2}|A(\phi )b+A^{\ast }(\phi )b^{\ast }|<\rho$$

и ${\xi }^{\prime }(\phi )$ в силу (27.29) тоже ограничены и, кроме того, функции $A(\phi )$ и $\xi (\phi )$ непрерывны вместе со своими частными производными до второго порядка включительно, то $K(\phi ,b),M(\phi ,b),L(\phi ,b),N(\phi ,b)$ в этой области также будут ограничены и непрерывны вместе со всеми своими частными производными первого порядка.

Поэтому в силу (27.39) и (27.48), где $X(t,x)$ обладают ограниченными и равномерно-непрерывными частными производными по $x$ до второго порядка включительно в области
$$-\mathrm{\infty }<t<\mathrm{\infty },x\in D_{\rho },$$

следует, что в области
$$-\mathrm{\infty }<t<\mathrm{\infty },(\phi ,b)\in \mathrm{Q}{U}_{\delta }$$

функции $W(t,\phi ,b),B(t,\phi ,b)$ и их частные производные первого порядка по ( $\phi ,b)$ также будут ограничены и равномерно непрерывны по отношен ию к $(\phi ,b)$.
Кроме того, из соотношений
$$\begin{array}{c}\frac{1}{T}{\int }_t^{+T}X(t,x)dt\to X_0(x),T\to \mathrm{\infty }\\ Z(t,x)=X(t,x)-X_0(x)\end{array}$$
*) Зависимость $W(t,\phi ,b)$ и $B(t,\phi ,b)$ от $b^{\ast }$ ради простоты записи не указывается. В дальнейшем мы также не будем указывать зависимость функций от $b^{\ast }$.

имеем:
$${\overline{T}}^{-}{\int }_t^{t+T}Z(t,x)dt\to 0,T\to \mathrm{\infty }.$$

Поэтому из (27.48) следует, что в любой точке области (27.49)
$$\frac{1}{T}{\int }_i^{t+T}W(t,\phi ,b)dt\to W(\phi ,b);\frac{1}{T}{\int }_t^{t+T}B(t,\phi ,b)dt\to B(\phi ,b)$$

равномерно по отнопению к $t$ при $T\to \mathrm{\infty }$, где
$$\begin{array}{rl}W(\phi ,b)=K(\phi ,b)[& X_0\{\xi (\phi )+\frac{1}{2}(A(\phi )b+A^{\ast }(\phi )b^{\ast })\}-\\ & -X_0\{\xi (\phi )\}-X_{0x}^{\prime }\{\xi (\phi )\}\frac{1}{2}(A(\phi )b+A^{\ast }(\phi )b^{\ast })],\\ B(\phi ,b)=M(\phi ,b)[& X_0\{\xi (\phi )+\frac{1}{2}(A(\phi )b+A^{\ast }(\phi )b^{\ast })\}-\\ & -X_0\{\xi (\phi )\}-X_{x0}^{\prime }\{\xi (\phi )\}\cdot \frac{1}{2}(A(\phi )b+A^{\ast }(\phi )b^{\ast })].(27.51)\end{array}$$

Как видно из (27.51), функции $W(\phi ,b),B(\phi ,b)$ вместе со своими частными производными первого порядка при $b=0$ обращаются в нуль. Поэтому, взяв произвольное положительное $\sigma <\delta$, мы можем для функций $W(\phi ,b)$ и $B(\phi ,b)$ написать очевидные соотнопения:
$$\begin{array}{c}|W({\phi }^{\prime },b^{\prime })-W({\phi }^{\prime \prime },b^{\prime \prime })|⩽{\left|\frac{\partial W(\phi ,b)}{\partial \phi }\right|}_{\begin{array}{c}\phi =\tilde{\phi }\\ b=\tilde{b}\end{array}}|{\phi }^{\prime }-{\phi }^{\prime \prime }|+{\left|\frac{\partial W(\phi ,b)}{\partial b}\right|}_{\begin{array}{c}\phi =\tilde{\phi }\\ b=\tilde{b}\end{array}}|b^{\prime }-b^{\prime \prime }|,\\ |B({\phi }^{\prime },b^{\prime })-B({\phi }^{\prime \prime },b^{\prime \prime })|⩽{\left|\frac{\partial B(\phi ,b)}{\partial \phi }\right|}_{\begin{array}{c}\phi =\tilde{\phi }\\ b=\tilde{b}\end{array}}|{\phi }^{\prime }-{\phi }^{\prime \prime }|+{\left|\frac{\partial B(\phi ,b)}{\partial b}\right|}_{\begin{array}{c}\phi =\tilde{\phi }=\tilde{b}\\ b=\tilde{b}\end{array}}|b^{\prime }-b^{\prime \prime }|\\ (\left|b^{\prime }\right|⩽\sigma ;\left|b^{\prime \prime }\right|⩽\sigma ;{\phi }^{\prime }⩽\tilde{\phi }⩽{\phi }^{\prime \prime };b^{\prime }⩽\tilde{b}⩽b^{\prime \prime }),\end{array}$$

откуда следуют неравенства, справедливые в области $Q{U}_{\sigma }$ :
$$\begin{array}{l}|W({\phi }^{\prime },b^{\prime })-W({\phi }^{\prime \prime },b^{\prime \prime })|⩽\eta (\sigma )\{|{\phi }^{\prime }-{\phi }^{\prime \prime }|+|b^{\prime }-b^{\prime \prime }|\},\\ |B({\phi }^{\prime },b^{\prime })-B({\phi }^{\prime \prime },b^{\prime \prime })|⩽\eta (\sigma )\{|{\phi }^{\prime }-{\phi }^{\prime \prime }|+|b^{\prime }-b^{\prime \prime }|\},\end{array}\}$$

где $\eta (\sigma )\to 0$ при $\sigma \to 0$.
Возвратимся к выражениям для $W(t,\phi ,b)$ и $B(t,\phi ,b)\cdot (27.48)$. Функции $K(\phi ,b),L(\phi ,b),M(\phi ,b),N(\phi ,b)$, как уже указывалось (см. стр. 340), являются непрерывными и периодическими функциями по $\phi$ с периодом $2\pi$. Другие функции, стоящие в выражении для $W(t,\phi ,b)$ и $B(t,\phi ,b)$ :
$$\begin{array}{c}{X}_0\{\xi (\phi )+\frac{1}{2}[A(\phi )b+A^{\ast }(\phi )b^{\ast }]\},X_0\{\xi (\phi )\},\\ X_{0x}^{\prime }\{\xi (\phi )\},A(\phi ),Z\{t,\xi (\phi )+\frac{1}{2}[A(\phi )b+A^{\ast }(\phi )b^{\ast }]\},\end{array}$$

в силу их определения, также являются периодическими функдиями $\phi$. Поэтому $W(t,\phi ,b),B(t,\phi ,b)$ — периодические функции $\phi$ с периодом $2\pi$.

Кроме того, если $\left\{{\tau }_m\right\}$ есть такая носледовательность из $R$, для которой разность $X(t+{\tau }_m,x)-X(t,x)$ равномерно стремится $к$ нулю
в области $R{D}_{\rho }$ при $m\to \mathrm{\infty }$, то из выражений (27.39) и (27.48) следует:
$$\begin{array}{c}W(t+{\tau }_m,\phi ,b)-W(t,\phi ,b)\to 0,\\ (\text{ при }m\to \mathrm{\infty })\\ B(t+{\tau }_m,\phi ,b)-B(t,\phi ,b)\to 0\\ \text{ равномерно в области }R\mathrm{\Omega }{U}_{\delta }.\end{array}\}$$

Наложим еще одно ограничительное условие на систему (27.1), а именно: будем полагать, что вещественные части всех ( $n-1$ ) корней характеристического уравнения (27.33) отличны от нуля. Тем самым мы накладываем здесь требование неравенства нулю вещественных частей ( $n-1$ ) характеристических показателей*) для уравнений в вариация $(27.28)$.

Заметим в заключение, что, вводя новые переменные $\phi ,b(b_1,\dots$ $\dots ,b_{n-1}$ ), согласно (27.40), мы вместо системы (27.1) получим действительно эквивалентную ей систему (27.47).

В самом деле, пусть $\phi$ и $b(b_1,\dots ,b_{n-1})$ удовлетворяют системе (27.47); тогда при условии (27.48) система (27.45) имеет место тождественно и, следовательно,
$$x=\xi (\phi )+\frac{1}{2}(A(\phi )b+A^{\ast }(\phi )b^{\ast })$$

тождественно удовлетворяет системе уравнений (27.1).
Для удобства дальнейшего изучения уравнений (27.47) их целесообразно путем введения новых переменных $g,h(h_1,h_2,\dots ,h_{n-1})$ преобразовать к такому виду:
$$\begin{array}{l}\frac{dg}{dt}=G(\epsilon )+P(t,g,h,\epsilon ),\\ \frac{dh}{dt}=Hh+Q(t,g,h,\epsilon ),\end{array}\}$$

чтобы $P(t,g,h,\epsilon )$ и $Q(t,g,h,s)$ были достаточно малые при малых $h$ и $\epsilon$.

Для этого рассмотрим некоторую функцию $f(t,x)$, определенную для всех вещественных $t$ и для всех $x$ из множества $E$. Допустим, что $E$ есть компактное множество некоторого метрического пространства и что в каждой точке $E$
$$-T^{-}{\int }_t^{t+T}f(t,x)dt\to 0,T\to \mathrm{\infty },$$

равномерно по отношению к $t$.
Кроме того, предположим, что можно указать такие положительные постоянные $M$ и $\lambda$, что для всех вещественных $t$ и для всех $x,x^{\prime }$ и $x^{\prime \prime }$ из $E$ имеют место неравенства:
$$|f(t,x)|⩽M;|f(t,x^{\prime })-f(t,x^{\prime \prime })|⩽\lambda \rho (x^{\prime },x^{\prime \prime }),$$

ғде $\rho (x^{\prime },x^{\prime \prime })$ — расстояние между точками $x^{\prime }$ и $x^{\prime \prime }$. Нетрудно заметить, что из принятых условий вытекает, что соотношение (27.55) выполняется равномерно не только по отношению к $t$, но и по отношению к $(t,x)$.
*) $n$-й характеристический показатель в силу предположения о существовап ии периодического решения равен нулю.

Поэтому можно построить такую функцию \& $(T)$, стремящуюся к нулю при $T\to \mathrm{\infty }$, что будет иметь место
$$|\frac{1}{T}{\int }_t^{t+T}f(t,x)dt|⩽\epsilon (T),-\mathrm{\infty }<t<\mathrm{\infty },x\in E.$$

Возьмем теперь произвольную величину $\eta$ и построим функцию
$$f_{\eta }(t,x)={\int }_{-\mathrm{\infty }}^t{e}^{-\eta (t-\tau )}f(\tau ,x)d\tau .$$

Вводя вместо $\tau$ новую переменную $z$ по формуле $z=t-\tau$, можем написать:
$$f_{\eta }(\tau ,x)={\int }_0^{\mathrm{\infty }}{e}^{-\eta z}f(t-z,x)dz=\sum _{n=0}^{\mathrm{\infty }}{e}^{-\eta nT}{\int }_{nT}^{(n+1)T}f(t-z,x)e^{-\eta (z-nT)}dz,$$

и поэтому на основании (27.56) получаем:
$$\begin{array}{l}|f_{\eta }(t,x)|=\mid \sum _{n=0}^{\mathrm{\infty }}{e}^{-\eta nT}{\int }_{nT}^{(n+1)T}[f(t-z,x)e^{-\eta (z-nT)}+\\ +f(t-z,x)-f(t-z,x)]dz|=|\sum _{n=0}^{\mathrm{\infty }}{e}^{-\eta nT}{\int }_{nT}^{(n+1)T}f(t-z,x)dz-\\ -\sum _{n=0}^{\mathrm{\infty }}{e}^{—\eta nT}{\int }_{nT}^{(n+1)T}f(t-z,x)(1-e^{-{\eta }_i(z-nT)})dz\mid ⩽\\ ⩽\sum _{n=0}^{\mathrm{\infty }}{e}^{-\eta nT}|{\int }_{nT}^{(n+1)T}f(t-z,x)dz|+M\sum _{n=0}^{\mathrm{\infty }}{e}^{-\eta nT}{\int }_{nT}^{(n+1)T}(1-e^{-\eta (z-nT)})dz=\\ =\sum _{n=0}^{\mathrm{\infty }}{e}^{-\eta nT}|{\int }_{nT}^{(n+1)T}f(t-z,x)dz|+MT\sum _{n=0}^{\mathrm{\infty }}{e}^{-\eta nT}+M\frac{1}{\eta }{e}^{-\eta T}⩽\\ ⩽\sum _{n=0}^{\mathrm{\infty }}{e}^{-\eta nT}|{\int }_{nT}^{(n+1)T}f(t-z,x)dz|+MT⩽{\sum _{n=0}^{\mathrm{\infty }}{e}^{—\eta nT}|}_{nT-z}^{nT-z+T}f(t,x)dt\mid +MT\end{array}$$

или, учитывая (27.57), окончательно находим:
$$|f_{\eta }(t,x)|⩽\sum _{n=0}^{\mathrm{\infty }}{e}^{-\eta nT}\epsilon (T)T+MT=\frac{T\epsilon (T)}{1-e^{-\eta T}}+MT.$$

До сих пор величина $T$ была произвольной. Возьмем теперь $T$ как функцию $\eta$, определяемую уравнением
$$1-e^{-{\eta }_{1}T}=\epsilon (T).$$

Так как $\epsilon (T)\to 0$ при $T\to \mathrm{\infty }$, то нетрудно видеть, что для функции $T_{\eta }$, определяемой этим уравнением, должно выполняться соотношение
$$\eta T_{\eta }\to 0\text{ при }\eta \to 0.$$

Положим
$$(M+1)\eta T_{\eta }=\zeta (\eta ).$$

Тогда из (27.61) и (27.58) убеждаемся, что для рассматриваемой функции $f(t,x)$ имеөт место неравенство
$$|{\int }_{-\mathrm{\infty }}^t{e}^{-{\gamma }_1(t-\tau )}f(\tau ,x)d\tau |⩽\frac{\zeta (\eta )}{\eta },-\mathrm{\infty }<t<\mathrm{\infty },x\in E,$$

в котором
$$\zeta (\eta )\to 0\text{ при }\eta \to 0.$$

Итак, неравенство (27.63) получено нами для функции $f(t,x)$, обладающей свойствами:
1) $f(t,x)$ определена для всех вещественных $t$ и для $x\in E$, где $E$ — компактное множество;
2) в каждой точке $E$
$$\frac{1}{T}{\int }_t^{t+T}f(t,x)dt\to 0,T\to \mathrm{\infty },$$

равномерно по отношению к $t$;
3) $|f(t,x)|⩽M,|f(t,x^{\prime })-f(t,x^{\prime \prime })|⩽{\lambda }_{\rho }(x^{\prime },x^{\prime \prime })$;
4) при выполнении 3) свойство 2) имеет место равномерно относительно $(t,x)$.
Получим теперь неравенства типа (27.63) для функций:
$$\begin{array}{rl}{W}_{\mathbf{1}}(t,\phi ,b)& =W(t,\phi ,b)-W(\phi ,b),\\ B_{\mathbf{1}}(t,\phi ,b)& =B(t,\phi ,b)-B(\phi ,b),\end{array}\}$$

приняв за множество $E$ область $Q{U}_{\delta }$.
Так как эти функции периодичны по $\phi$ с периодом $2\pi$ то, очевидно, можем представить $Q$ как окружность, и тогда $E=Q{U}_{{\text{о }}_{\text{。 }}}$ будет компактной областью в метрическом пространстве, являющемся топологическим произведением $Q$ и ( $n-1$ )-мерного эвклидова пространства.
Кроме того, в силу (27.50) в любой точке области $Q{U}_{\delta }$
$$\frac{1}{T}{\int }_t^{t+T}{W}_1(t,\phi ,b)dt\to 0;\frac{1}{T}{\int }_t^{t+T}{B}_1(t,\phi ,b)dt\to 0\text{ при }T\to \mathrm{\infty }$$

равномерно по отношению к $t$.
Очевидно также, что функции $W_1(t,\phi ,b),B_1(t,\phi ,b)$, как и функции $W(\phi ,b),B(\phi ,b)$, удовлетворяют в области $Q{U}_{\sigma }$, где $\sigma <\delta$, неравенствам вида
$$\begin{array}{c}|W_1(t,{\phi }^{\prime },b^{\prime })-W_1(t,{\phi }^{\prime \prime },b^{\prime \prime })|⩽\eta (\sigma )\{|{\phi }^{\prime }-{\phi }^{\prime \prime }|+|b^{\prime }-b^{\prime \prime }|\},\\ |B_1(t,{\phi }^{\prime },b^{\prime })-B_1(t,{\phi }^{\prime \prime },b^{\prime \prime })|⩽\eta (\sigma )\{|{\phi }^{\prime }-{\phi }^{\prime \prime }|+|b^{\prime }-b^{\prime \prime }|\}\\ (\left|b^{\prime }\right|⩽\sigma ,\left|b^{\prime \prime }\right|⩽\sigma )\end{array}\}$$

где
$$\eta (\sigma )\to 0\text{ при }\sigma \to 0.$$

Поэтому можно построить функцию $\zeta (\eta )$ со свойством (27.64) таким образом, чтобы для произвольного положительного $\eta$ имели место неравенства:
$$\begin{array}{c}|W_{1\eta }(t,\phi ,b)|⩽\frac{\zeta (\eta )}{\eta };|B_{1\eta }(t,\phi ,b)|⩽\frac{\zeta (\eta )}{\eta },\\ -\mathrm{\infty }<t<\mathrm{\infty },(\phi ,b)\in Q{U}_{\delta },\end{array}$$

где
$$\begin{array}{l}{W}_{1\eta }(t,\phi ,b)={\int }_{-\mathrm{\infty }}^t{e}^{-\eta (t-\tau )}{W}_1(t,\phi ,b)d\tau ,\\ B_{1\eta }(t,\phi ,b)={\int }_{-\mathrm{\infty }}^t{e}^{-\eta (t-\tau )}{B}_1(t,\phi ,b)d\tau .\end{array}\}$$

Введем теперь по аналогии с определением (26.5) функцию
$${\mathrm{\Delta }}_a(b)=\{\begin{array}{ll}{A}_a{\{1-\frac{|b{|}^2}{a^2}\}}^{2q},& |b|⩽a,\\ 0,& |b|>a,\end{array}$$

где $a$-некоторое заданное достаточно малое число; $A_a$ определяется условием нормирования:
$${\int }_{U_{\delta }}{\mathrm{\Delta }}_a(b)db=1,$$

где $db=d{b}_1\dots d{b}_{n-1}$.
В (27.70) $q>1$ — некоторое фиксированное целое число, величина которого может быть взята сколь угодно болышой.

Построим еще функцию ${\delta }_a(\phi )$ одной вещественной переменной $\phi$, задав ее на интервале $(-\pi ,\pi )$ с помощью соотношений:
$$\begin{array}{l}{\stackrel{`}{c}}_a(\phi )=\left\{\begin{array}{ll}{\mathrm{\Phi }}_a{\{1-\frac{{\phi }^2}{a^2}\}}^{2q},& |\phi |⩽a,\\ 0,& |\phi |>a,\end{array}\right\}\\ {\int }_{-a}^a{\delta }_a(\phi )d\phi =1,a<\pi ,\end{array}$$

и распространим область ее определения на всю вещественную ось с помощью условия периодичности с периодом $2\pi$.
Введя эти функции, построим выражения:
$$\begin{array}{l}u(t,\phi ,b)={\iint }_{\delta }{\delta }_{U_{\delta }}(\phi -{\phi }^{\prime }){\mathrm{\Delta }}_a(b-b^{\prime })W_{1\eta }(t,{\phi }^{\prime },b^{\prime })d{\phi }^{\prime }d{b}^{\prime },\\ v(t,\phi ,b)={\int }_{\mathrm{\Omega }}{\int }_{U_{\delta }}{\delta }_a(\phi -{\phi }^{\prime }){\mathrm{\Delta }}_a(b-b^{\prime })B_{1\eta }(t,{\phi }^{\prime },b^{\prime })d{\phi }^{\prime }d{b}^{\prime },\end{array}\}$$

обладающие по отношению к $\phi$ периодом $2\pi$, так как согласно ощределөнию ${\delta }_a(\phi )$ — периодическая функция $\phi$ с периодом $2\pi$.
Заметим, что по своему построению функция
$${\delta }_a(\phi -{\phi }^{\prime }){\mathrm{\Delta }}_a(b-b^{\prime })$$

обладает частными производными по $\phi$ и $b$ до $2q$ порядка включительно. Кроме того, так как ${\mathrm{\Delta }}_a(b),{\dot{\delta }}_a(\phi )$ отличны от нуля соответственно при $b|⩽a,|\phi \mid ⩽a$, то функция (27.74) и все ее частные производные до $2q$ порядка включительно ограничены и по норме не превосходят некоторой величины $G(a)$, вообще стремящейся к $\mathrm{\infty }$ при $a\to 0$. Отсюда на основании (27.68) можем заключить, что функции (27.73) и все их частные производные по $\phi ,b$ до $2q$ порядка включительно ограничены по норме на множестве *) $RQ{U}_{\hat{ȷ}}$ величиной $G(a)\frac{\zeta (\eta )}{\eta }$.
До сих пор $a$ и $\eta$ были произвольными.
Возьмем теперь в качестве $a$ и $\eta$ некоторые функции $a_{\epsilon }$ и ${\eta }_{\epsilon }$ параметра є таким образом, чтобы
$$\begin{array}{c}{a}_{\epsilon }\to 0,{\eta }_{\epsilon }\to 0,\epsilon G(a)\frac{\zeta \left({\eta }_{\epsilon }\right)}{{\eta }_{\epsilon }}\to 0,\\ G\left(a_{\epsilon }\right)\zeta \left({\eta }_{\epsilon }\right)\to 0\text{ при }\epsilon \to 0.\end{array}$$

Фиксируем некоторое положительное ${\rho }_0<\delta$ и возьмем ${\epsilon }^{\ast }$ столь малым, чтобы для $0<\epsilon <{\epsilon }^{\ast }a=a_{\epsilon }$ удовлетворило также неравенству
$$a+{\rho }_0<\hat{\delta }.$$

Заметим, что из неравенств
$$|b|<{\rho }_0,|b-b^{\prime }|⩽a\text{ и }a+{\rho }_0<\delta$$

следует:
$$\left|b^{\prime }\right|<\delta .$$

Тогда, принимая во внимание определение (27.70) и (27.71) функции ${\mathrm{\Delta }}_a(b)$, видим, что при $b\in U_{\text{ро }},0<\epsilon <{\epsilon }^{\ast }$ :
$${\int }_{U_{\hat{o}}}{\mathrm{\Delta }}_a(b-b^{\prime })d{b}^{\prime }=1.$$

Теперь, принимая во внимание (27.69), запишем выражения (27.73) для $u(t,\phi ,b)$ в следующем виде:
$$u(t,\phi ,b)={\int }_{\mathrm{\Omega }}{\int }_{U_{\delta }}{\delta }_a(\phi -{\phi }^{\prime }){\mathrm{\Delta }}_a(b-b^{\prime })\left[{\int }_{-\mathrm{\infty }}{e}^{-\eta (t-\tau )}{W}_{\mathbf{1}}(t,{\phi }^{\prime },b^{\prime })d\tau \right]d{\phi }^{\prime }d{b}^{\prime }.$$

Тогда имеем:
$$\begin{array}{r}\frac{\partial u}{\partial t}+\eta u={\int }_{\delta }{\int }_{U_{\delta }}{\delta }_a(\phi -{\phi }^{\prime }){\mathrm{\Delta }}_a(b-b^{\prime })\{\frac{\partial }{\partial t}{\int }_{-\mathrm{\infty }}^t{e}^{-{\tau }_i(t-\tau )}{W}_1(\tau ,{\phi }^{\prime },b^{\prime })d\tau +\\ +\eta {\int }_{-\mathrm{\infty }}^t{e}^{-{\tau }_i(t-\tau )}{W}_1(\tau ,{\phi }^{\prime },b^{\prime })d\tau \}d{\phi }^{\prime }d{b}^{\prime }.\end{array}$$

Так как
$$\frac{\partial }{\partial t}{\int }_{-\mathrm{\infty }}^t{e}^{-\eta (t-\tau )}{W}_1(\tau ,{\phi }^{\prime },b^{\prime })d\tau =-\eta {\int }_{-\mathrm{\infty }}^t{e}^{-\eta (t-\tau )}{W}_1(\tau ,{\phi }^{\prime },b^{\prime })d\tau +W_1(t,{\phi }^{\prime },b^{\prime }),$$
*) Для сокращения записи мы здесь вещественную ось ( $-\mathrm{\infty },\mathrm{\infty }$ ) обозначили через $R$, так что $R\mathrm{\Omega }{U}_{\delta }$ обозначает множество точек $(t,\phi ,b)$, для которых $-\mathrm{\infty }<t<\mathrm{\infty },\phi \in \mathrm{\Omega },b\in U_{\delta }$.

то из (27.79) следует:
$$\frac{\partial u}{\partial t}+\eta u={\int }_{\mathrm{\Omega }}{\int }_{U_{\delta }}{\delta }_a(\phi -{\phi }^{\prime }){\mathrm{\Delta }}_a(b-b^{\prime })W_1(t,{\phi }^{\prime },b^{\prime })d{\phi }^{\prime }d{b}^{\prime }.$$

В силу периодичности ${\delta }_a(\phi )$ и соотношения (27.77) для
$$(t,\phi ,b)\in R\mathrm{Q}{U}_{\mathrm{p}0},0<\epsilon <{\epsilon }^{\ast },$$

имеем:
$${\int }_{\mathrm{\Omega }}{\int }_{U_{\delta }}{\delta }_a(\phi -{\phi }^{\prime }){\mathrm{\Delta }}_a(b-b^{\prime })d{\phi }^{\prime }d{b}^{\prime }={\int }_{\mathrm{\Omega }}{\delta }_a(\phi -{\phi }^{\prime })d{\phi }^{\prime }={\int }_{\mathrm{\Omega }}{\delta }_a\left({\phi }^{\prime }\right)d{\phi }^{\prime }=1.$$

Поэтому для этих же значений $t,\phi ,b$ получим:
$$\begin{array}{r}\frac{\partial u}{\partial t}+\eta u-W_1(t,\phi ,b)={\iint }_{\dot{\mathrm{\Theta }}}{\hat{U}}_a(\phi -{\phi }^{\prime }){\mathrm{\Delta }}_a(b-b^{\prime })\{W_1(t,{\phi }^{\prime },b^{\prime })-\\ -W_1(t,\phi ,b)\}d{\phi }^{\prime }d{b}^{\prime }.\end{array}$$

С другой стороны, заметим, что согласно (27.67) можно указать такое положительное $\lambda$, чтобы выполнялось неравенство
$$\begin{array}{c}|W_1(t,{\phi }^{\prime },b^{\prime })-W_1(t,\phi ,b)|⩽\lambda \{|{\phi }^{\prime }-\phi |+|b^{\prime }-b|\}.\\ ⌜(t,\phi ,b),(t,{\phi }^{\prime },b^{\prime })\in R\mathrm{\Omega }{U}_{\delta }.\end{array}$$

Благодаря периодичности ${\delta }_a(\phi )$ по $\phi$ интегрирование по ${\phi }^{\prime }$ можно производить по любому интервалу длины $2\pi$ и поэтому, в частности, за интервал интегрирования можем взять интервал
$$\phi -\tau ,\phi +\tau \text{. }$$

При таком выборе интервала $\phi -\phi$ б будет изменяться от $-\pi$ до $\pi$ и, следовательно, в силу (27.72) ${\delta }_a(\phi -{\phi }^{\prime })$ будет отлична от нуля только тогда, когда
$$|\phi -{\phi }^{\prime }|⩽a\text{. }$$

Поэтому, так как для $|\phi -{\phi }^{\prime }|⩽a(a<\pi ),|b-b^{\prime }|⩽a,b\in U_{{\rho }_0}$ $({\rho }_0+a<0),\epsilon <{\epsilon }^{\ast }$ :
$${\iint }_{U_b}{\delta }_a(\phi -{\phi }^{\prime }){\mathrm{\Delta }}_a(b-b^{\prime })d{\phi }^{\prime }d{b}^{\prime }=1,$$

то для $0<\epsilon <{\epsilon }^{\ast }$ на $RQ{U}_{\phi 0}$ имеет место неравенство
$$|\frac{\partial u}{\partial t}+\eta u-W_1(t,\phi ,b)|⩽2\lambda a{\int }_{\mathrm{\Omega }}{\int }_{{\dot{U}}_{\delta }}{\delta }_a(\phi -{\phi }^{\prime }){\mathrm{\Delta }}_a(b-b^{\prime })d{\phi }^{\prime }d{b}^{\prime }=2\lambda a.$$

Рассмотрим теперь частные производные
$$\frac{\partial }{\partial b}\{\frac{\partial u}{\partial t}+\eta u-W_1(t,\phi ,b)\};\frac{\partial }{\partial \phi }\{\frac{\partial u}{\partial t}+\eta u-W_1(t,\phi ,b)\}$$

и заметим, что с помощью интегрирования по частям выражения (27.78) их можно представить в виде
$$\begin{array}{l}{\int }_{\mathrm{\Omega }}{\int }_{U_{\delta }}{\delta }_a(\phi -{\phi }^{\prime }){\mathrm{\Delta }}_a(b-b^{\prime })\{\frac{\partial W_1(t,{\phi }^{\prime },b^{\prime })}{\partial b^{\prime }}-\frac{\partial W_1(t,\phi ,b)}{\partial b}\}d{\phi }^{\prime }d{b}^{\prime },\\ {\int }_{\mathrm{\Omega }}{\int }_{U\delta }{\delta }_a(\phi -{\phi }^{\prime }){\mathrm{\Delta }}_a(b-b^{\prime })\{\frac{\partial W_1(t,{\phi }^{\prime },b^{\prime })}{\partial {\phi }^{\prime }}-\frac{\partial W_1(t,\phi ,b)}{\partial \phi }\}d{\phi }^{\prime }d{b}^{\prime }.\end{array}$$

В силу определения функций $W_1(t,{\phi }^{\prime },b^{\prime })$ и $W_1(t,\phi ,b)$ их частные производные по $b,b^{\prime },\phi ,{\phi }^{\prime }$ будут непрерывными функциями. Поэтому можно найти монотонную функцию $\xi (\epsilon )$, стремящуюся к нулю при $\epsilon \to 0$, такую, что
$$\begin{array}{l}|\frac{\partial W_{\mathbf{1}}(t,{\phi }^{\prime },b^{\prime })}{\partial b^{\prime }}-\frac{\partial W_1(t,\phi ,b)}{\partial b}|⩽\xi (\xi )\{|{\phi }^{\prime }-\phi |+|b^{\prime }-b|\},\\ |\frac{\partial W_{\mathbf{1}}(t,{\phi }^{\prime },b^{\prime })}{\partial {\phi }^{\prime }}-\frac{\partial W_1(t,\phi ,b)}{\partial \phi }|⩽\xi (\epsilon )\{|{\phi }^{\prime }-\phi |+|b^{\prime }-b|\}.\end{array}\}$$

Рассуждая, как и выше, т. е. принимая за интервал интегрирования $\phi -\pi ,\phi +\pi$, на котором ${\delta }_a(\phi -{\phi }^{\prime })$ будет отличной от нуля, а также принимая во внимание (27.82), имеющее место при $|b^{\prime }-b|⩽a$, убеждаемся, что производные (27.85) на множестве $RQ{U}_{90}$ по норме будут меньше, чем $2\xi a$ для $0<\epsilon <{\epsilon }^{\ast }$. Но так как в силу (27.75) $a\to 0$ при $\epsilon \to 0$, то очевидно, что функция (27.82) и ее частные производные по $b$ и $\phi$ на множестве $RQ{U}_{\text{ро }}$ по норме будут меньше, чем $2\xi a$ для $0<\epsilon <{\epsilon }^{\ast }$.

Но так как в силу (27.75) $a\to 0$ при $\epsilon \to 0$, то очевидно, что функция (27.82) и ее частные производные по $b$ и $\phi$ на множестве $RQ{U}_{{\rho }_0}$ по норме будут меньше некоторой величины $\mu (\epsilon )$, стремящейся к нулю вместе с $\epsilon$,

Аналогичным образом убеждаемся, что теми же свойствами будет обладать функция
$$\frac{\partial v}{\partial t}+\eta v-B_1(t,\phi ,b).$$

Кроме того, функции $\eta$, , $v$ и их частные производные по $\phi ,b$ ограничены по норме на множестве $RQ{U}_{\rho 0}$ величиной $G(a)\zeta (\eta )$, стремящейся к нулю при $\epsilon \to 0$.
Итак, функции
$$\begin{array}{c}\frac{\partial u}{\partial t}-W_1(t,\phi ,b)=\frac{\partial u}{\partial t}-W(t,\phi ,b)+W(\phi ,b),\\ \frac{\partial v}{\partial t}-B_1(t,\phi ,b)=\frac{\partial v}{\partial t}-B(t,\phi ,b)+B(\phi ,b)\end{array}\}$$

и их частные производные первого порядка по $\phi$ и $b$ ограничены по норме на множестве $RQ{U}_{\text{ро величиной }}\alpha (\epsilon )$, стремящейся к нулю вместе с $\epsilon$.

Заметив это, возвратимся к уравнениям (27.47) и совершим замену переменных, полагая
$$\phi =g+\epsilon u(t,g,h);b=h+\epsilon v(t,g,h).$$

Дифференцируя (27.89) и подставляя в (27.47), получим:
$$\begin{array}{c}\frac{dg}{dt}+\epsilon \frac{\partial u}{\partial g}\frac{dg}{dt}+\epsilon \frac{\partial u}{\partial h}\frac{dh}{dt}=-\epsilon \frac{\partial u}{\partial t}+\epsilon \omega +\epsilon W\{t,g+\epsilon u,h+\epsilon v\}\\ \frac{dh}{dt}+\epsilon \frac{\partial v}{\partial g}\frac{dg}{dt}+\epsilon \frac{\partial v}{\partial h}\frac{dh}{dt}=-\epsilon \frac{\partial v}{\partial t}+\epsilon Hh+{\epsilon }^{2}Hv+\epsilon B\{t,g+\epsilon u,h+\epsilon v\},\end{array}$$

или
$$\begin{array}{l}\frac{dg}{dt}+\epsilon \frac{\partial u}{\partial g}\frac{dg}{dt}+\epsilon \frac{\partial u}{\partial h}\frac{dh}{dt}=-\epsilon \{\frac{\partial u}{\partial t}-W(t,g,h)+W(g,h)\}+\\ +\epsilon \{W(t,g+\epsilon u,h+\epsilon v)-W(t,g,h)\}+\epsilon W(g,h)+\epsilon \omega ,\\ \frac{dh}{dt}+\epsilon \frac{\partial v}{\partial g}\frac{dg}{dt}+\epsilon \frac{\partial v}{\partial h}\frac{dh}{dt}=-\epsilon \{\frac{\partial v}{\partial t}-B(t,g,h)+B(g,h)\}+\\ +{\epsilon }^{2}Hv+\epsilon \{B(t,g+\epsilon u,h+\epsilon v)-B(t,g,h)\}+\epsilon B(g,h)+\epsilon Hh.\end{array}$$

Возьмем теперь столь малое ${\epsilon }_1<{\epsilon }^{\ast }$, чтобы для всякого положительного $\epsilon$, не превосходящего ${\epsilon }_1$, было справедливо неравенство .
$$\dot{\epsilon }G(a)\frac{\zeta (\eta )}{\eta }<\delta -{\rho }_1,0<{\rho }_1<\delta .$$

Тогда ввиду того, что функции (27.73) ограничены функцией $G(a)\frac{\zeta (\eta )}{\eta }$, следует:
$$|\epsilon v|⩽\epsilon G(a)\frac{\zeta (\eta )}{\eta },$$

и при $0<\epsilon ⩽{\epsilon }_1,(t,g,h)\in RQ{U}_{{\rho }_1}$ будем иметь:
$$|h+\epsilon v|⩽\epsilon G(a)\frac{\zeta (\eta )}{\eta }+{\rho }_1<\delta .$$

Но, как указывалось выше, функции
$$W(t,\phi ,b)-W(\phi ,b),B(t,\phi ,b)-B(\phi ,b)$$

для значений $b\in U_{\delta }$ являются ограниченными на множестве $RQ{U}_{\delta }$ вместе со своими частными производными функциями, стремящимися к нулю при $\epsilon \to 0$.
Поэтому, ввиду того, что $h+\epsilon v\in U_{\delta }$, убеждаемся, что функции
$$\begin{array}{c}W(t,g+\epsilon u,h+\epsilon v)-W(t,g,h),\\ B(t,g+\epsilon u,h+\epsilon v)-B(t,g,h)\end{array}\}$$

и их частные производные первого порядка по $g,h$ ограничены по норме на множестве $RQ{U}_{P_1}$ некоторой функцией, стремящейся к нулю при в $\to 0$. Ввиду того, что функции (27.88) также обладают этими свойствами, выражения
$$\begin{array}{l}{L}_1(t,g,h,\epsilon )=W(t,g+\epsilon u,h+\epsilon v)-W(t,g,h)-\frac{\partial u}{\partial t}+W(t,g,h)-W(g,h),\\ L_2(t,g,h,\epsilon )=B(t,g+\epsilon u,h+\epsilon v)-B(t,g,h)-\frac{\partial v}{\partial t}+B(t,g,h)-B(g,h)+\epsilon Hv\end{array}$$

и их частные производные первого порядка по $g,h$ ограничены на множестве $RQ{U}_{{\rho }_1}$ некоторой функцией от $\epsilon$, стремящейся к нулю при $\epsilon \to 0$. Заметив это, представим уравнения (27.90) в форме, разрешенной относительно $\frac{dg}{dt},\frac{dh}{dt}$.

Для этого рассмотрим матрицу, обратную матрице $n$-го порядка:
$$\Vert \begin{array}{cc}{1}_1+\epsilon \frac{\partial u}{\partial g}& \epsilon \frac{\partial u}{\partial h}\\ \epsilon \frac{\partial v}{\partial g}& 1_{n-1}+\epsilon \frac{\partial v}{\partial h}\end{array}\Vert ,$$

где $1_{n-1}$ представляет квадратную единичную матрицу ( $n-1$ )-го порядка. Как указывалось, функции (27.73) и все их частные производные по $\phi ,b$ до $2q$ порядка включительно ограничены по норме на множестве $RQ{U}_{\hat{o}}$ величиной $G(a)\frac{\zeta (\eta )}{\eta }$.

Очевидно, что для значений $(t,g,h)\in RQ{U}_{{\rho }_1}$, где ${\rho }_1<\delta$, функции $u(t,g,h),v(t,g,h)$ также будут ограничены по норме на множестве $RQ{U}_{{\rho }_1}$ вместе со своими частными производными первого порядка по $g$ и $h$ функцией $\alpha (z)$, стремящейся к нулю при $\epsilon \to 0$.

Поэтому можно указать такое положительное ${\epsilon }_0<{\epsilon }_1$, чтобы для любого положительного $\epsilon <{\epsilon }_0$ матрица, обратная матрице (27.95), существовала везде на $RQ{U}_{{\rho }_1}$ и могла быть представлена в виде:
$$\Vert \begin{array}{cc}{1}_1+{\mathfrak{a}}_{11}& {\mathfrak{a}}_{12}\\ {\mathfrak{a}}_{21}& 1_{n-1}+{\mathfrak{a}}_{22}\end{array}\Vert ,$$

где
$${\dot{\mathfrak{a}}}_{11}(t,g,h,\epsilon ),{\mathfrak{a}}_{12}(t,g,h,\epsilon ),{\mathfrak{a}}_{21}(t,g,h,\epsilon ),{\mathfrak{a}}_{22}(t,g,h,\epsilon )$$

и пх частные производные первого порядка по $g,h$ стремятся к нулю при $\epsilon \to 0$ равномерно на $RQ{U}_{{\rho }_1}$.
Решая систему (27.90) относительно $\frac{dg}{dt},\frac{dh}{dt}$, получим:
$$\begin{array}{l}\frac{dg}{dt}=\epsilon \omega +sII(t,g,h,s),\\ \frac{dh}{dt}=sHh+\epsilon \mathrm{\Gamma }(t,g,h,s),\end{array}\}$$

где
$$\begin{array}{l}\mathrm{\Pi }(t,g,h,\epsilon )=W(g,h)+{\mathfrak{a}}_{11}(t,g,h,\epsilon )\{\omega +W(g,h)+L_1(t,g,h,\epsilon )\}+\\ +{\mathfrak{a}}_{21}(t,g,h,\epsilon )\{Hh+B(g,h)+L_2(t,g,h,\epsilon )\}+L_1(t,g,h,s);\\ \mathrm{\Gamma }(t,g,h,\epsilon )=B(g,h)+{\mathfrak{a}}_{12}(t,g,h,\epsilon )\{\omega +W(g,h)+\\ +L_1(t,g,h,\epsilon )\}+{\mathfrak{a}}_{22}(t,g,h,\epsilon )\{Hh+B(g,h)+\\ +L_2(t,g,h,\epsilon )\}+L_2(t,g,h,\epsilon ).\end{array}$$

Сделаем ряд замечаний о свойствах введенных функций II $(t,g,h,\epsilon )$ и $\mathrm{\Gamma }(t,g,h,\epsilon )$, которые будут нам необходимы для дальнейших рассуждений. Как видно из (27.98), функции $\mathrm{I}(t,g,h,\epsilon )$ и $\mathrm{\Gamma }(t,g,h,\epsilon )$ определены для каждого положительного $\epsilon <{\epsilon }_0$ на множестве $RQ{U}_{{\rho }_1}$, причем на этом множестве функции
$$\mathrm{\Pi }(t,g,h,\epsilon )-W(g,h),\mathrm{\Gamma }(t,g,h,\epsilon )-B(g,h)$$

и их частные производные по $g,h$ стремятся к нулю равномерно при $z\to 0$.

Принимая во внимание (27.51), заключаем, что можно указать такие функци $M(\epsilon );\lambda (\epsilon ,\sigma )$, удовлетворяющие условиям: $M(\epsilon )\to 0$ при $\epsilon \to 0;\lambda (\epsilon ,\sigma )\to 0$ при $\epsilon \to 0,\sigma \to 0$, что имеют место неравенства:
$$\begin{array}{c}|\mathrm{\Pi }(t,g,0,\epsilon )|⩽M(\epsilon );|\mathrm{\Gamma }(t,g,0,\epsilon )|⩽M(\epsilon ),\\ \epsilon <{\epsilon }_0,t\in R,g\in \mathrm{\Omega }.\\ |\mathrm{\Pi }(t,g^{\prime },h^{\prime },\dot{\epsilon })-\mathrm{\Pi }(t,g^{\prime \prime },h^{\prime \prime },\epsilon )|⩽\lambda (\epsilon ,\sigma )\{|g^{\prime }-g^{\prime \prime }|+|h^{\prime }-h^{\prime \prime }|\},\\ |\mathrm{\Gamma }(t,g^{\prime },h^{\prime },\epsilon )-\mathrm{\Gamma }(t,g^{\prime \prime },h^{\prime \prime },\stackrel{`}{\epsilon })|⩽\lambda (\epsilon ,\sigma )\{|g^{\prime }-g^{\prime \prime }|+|h^{\prime }-h^{\prime \prime }|\},\\ (t,g^{\prime },h^{\prime }),(t,g^{\prime \prime },h^{\prime \prime })\in RQ{U}_{\sigma },0<\epsilon <{\epsilon }_0,\end{array}$$

в которых $\sigma$ — произвольное положительное число меньшее $p_1$.
Функции $\mathrm{I}(t,g,h,\epsilon ),\mathrm{\Gamma }(t,g,h,\epsilon )$ обладают периодом $2\pi$ по отношению к $g$, так как этим свойством обладают функции, входящие в выражения для II $(t,g,h,s),\mathrm{\Gamma }(t,g,h,\epsilon )$. Так как функции $\mathrm{\Pi }(t,g,h,s),\mathrm{\Gamma }(t,g,h,\epsilon )$ (см. (27.98)) выражаются через функции, которые в свою очередь выражаются через $W(t,\phi ,b),B(t,\phi ,b)$, то ясно, что если $\left\{{\tau }_m\right\}$ есть такая последовательность из $R$, для которой равномерно на $RQ{U}_{\delta }^m$ имеют место соотношения (27.53), то для этой последовательности равномерно на $RQ{U}_{{\rho }_1}$ будем иметь:
$$\begin{array}{l}\mathrm{Il}(t+{\tau }_m,g,h,s)-\mathrm{II}(t,g,h,\epsilon )\to 0,\\ \mathrm{\Gamma }(t+{\tau }_m,g,h,s)-\mathrm{\Gamma }(t,g,h;\epsilon )\to 0\end{array}\}$$

при $m\to \mathrm{\infty }$ и при кандом $\epsilon$ таком, что $0<\epsilon <{\epsilon }_0$.
Если условие а) (см. стр. 336) об ограниченности и равномерной непрерывности частных производных функции $X(t,x)$ по $x$ усилить требованием ограниченности частных производных до $m$-го порядка включительно, то построенные функции П $(t,g,h,\epsilon ),\mathrm{\Gamma }(t,g,h,s)$ также будут обладать ограниченными и равномерно-непрерывными частными производными до $m$-го порядка включительно, что следует из рассмотрения формул (27.66), (27.69), (27.73) и (27.89).

Возвращаясь к уравнениям (27.97), совершим в них переход к «медленному времени», положив
$$\tau =st.$$

Тогда получим:
$$\begin{array}{l}\frac{dg}{d\epsilon }=\omega +\mathrm{\Pi }(\frac{\epsilon }{\epsilon },g,h,\epsilon ),\\ \frac{dh}{d\epsilon }=Hh+\mathrm{\Gamma }(\frac{\tau }{\epsilon },g,h,\epsilon ).\end{array}\}$$

Выделим теперь один частный случай, который подробно будет нами рассмотрен в § 30 , когда функции $W(t,\phi ,b),B(t,\phi ,b)$, входящие в уравнения (27.47), имеют вид
$$\begin{array}{rl}W(t,\phi ,b)& =\overline{W}(t,\phi +vt,b)\\ B(t,\phi ,b)& =\overline{B}(t,\phi +vt,b),\end{array}\}$$

где $\overline{W}(t,\phi ,b),\overline{B}(t,\phi :b)$ — периодичны по $t$ с некоторым постоянным периодом $T$.

Тогда в силу формул (27.66), (27.69), (27.73) и (27.89) видим, что такжө
$$\begin{array}{l}\mathrm{\Pi }(t,g,h,\epsilon )=\overline{\mathrm{\Pi }}(t,g+vt,h,\epsilon ),\\ \mathrm{\Gamma }(t,g,h,\epsilon )=\overline{\mathrm{\Gamma }}(t,g+ut,h,\epsilon ),\end{array}$$

причем $\overline{\mathrm{\Pi }}(t,g,h,\epsilon ),\overrightarrow{\mathrm{\Gamma }}(t,g,h,\epsilon )$ будут обладать по отношению к $t$ тем же периодом $T$.

В рассматриваемом частном случае (27.103), переходя к новой угловой переменной $\vartheta$ согласно формуле
$$g+vt=g+\frac{u\tau }{\epsilon }=\vartheta ,$$

вместо системы (27.102) получим уравнения:
$$\begin{array}{l}\frac{d\vartheta }{dt}=\omega +\frac{u}{\epsilon }+\overline{\mathrm{\Pi }}(\frac{\tau }{\epsilon },\vartheta ,h,\epsilon ),\\ \frac{dh}{d\tau }=Hh+\overline{\mathrm{\Gamma }}(\frac{\tau }{\epsilon },\vartheta ,h,\epsilon ),\end{array}\}$$

шравые части которых обладают периодом $\epsilon T$ по отношению к $\tau$.
Как видно, уравнения (27.102), в частном случае (27.103), и уравнения (27.104), к которым приводятся основные уравнения:
$$\begin{array}{l}\frac{d\phi }{dt}=\epsilon (1)+\epsilon W(t,\phi ,b),\\ \frac{db}{dt}=\epsilon Hb+\epsilon B(t,\phi ,b),\end{array}$$

заменой переменных
$$\begin{array}{c}\phi =g+\epsilon u(t,g,h,\epsilon ),b=h+\epsilon v^{\circ }(t,g,h,\epsilon ),\\ \epsilon t=\tau ,g+vt=\vartheta \end{array}$$

могут быть сведены к следующему типу уравнений:
$$\begin{array}{l}\frac{dg}{dt}=G(\epsilon )+P(t,g,h,\epsilon ),\\ \frac{dh}{dt}=Hh+Q(t,g,h,\epsilon ),\end{array}\}$$

при этом в силу указанных свойств функций П $(t,g,h,\epsilon )$ и $\mathrm{\Gamma }(t,g,h,\epsilon )$ можно указать такие положительные числа ${\epsilon }_0,{\rho }_1({\rho }_1<\delta$ ), что будут выполнены условия:
a) функция $G($ s) определена для $0<\epsilon <{\epsilon }_0$;
б) функции $P(t,g,h,\epsilon ),Q(t,g,h,\epsilon )$ определены в области
$$t\in R,g\in Q,h\in U_{{\rho }_1},0<\epsilon <{\epsilon }_0,$$

и обладают периодом $2\pi$ по отношению к угловой переменной $g$ (напомним, что в частном случае (27.103) в уравнении (27.104) $\overline{\mathrm{\Pi }}(\frac{\tau }{\epsilon },g,h,\epsilon )$, $\overline{\mathrm{\Gamma }}(\frac{\tau }{\epsilon },g,h,\epsilon )$ обладают периодом вे $T$ по отношению к $\tau )$;

в) $G(\epsilon )$ и $P(t,g,h,\epsilon )$ могут принимать лишь вещественные значения; г) для $t\in R,g\in Q,0<\epsilon <{\epsilon }_0$ имеют место неравенства:
$$|P(t,g,0,\epsilon )|⩽M(\epsilon );|Q(t,g,0,\epsilon )|⩽M(\epsilon ),$$

где $M(\epsilon )\to 0$ при $\epsilon ⟶0$;
д) для любого положительного $\sigma <{\rho }_1$ в области
$$t\in R,g^{\prime }\in Q,g^{\prime \prime }\in Q,h^{\prime }\in U_{\sigma },h^{\prime \prime }\in U_{\sigma },0<\epsilon <{\epsilon }_0,$$

имеют место неравенства:
$$\begin{array}{l}|P(t,g^{\prime },h^{\prime },\epsilon )-P(t,g^{\prime \prime },h^{\prime \prime },\epsilon )|⩽\lambda (\epsilon ,\sigma )\{|g^{\prime }-g^{\prime \prime }|+|h^{\prime }-h^{\prime \prime }|\},\\ |Q(t,g^{\prime },h^{\prime },\epsilon )-Q(t,g^{\prime \prime },h^{\prime \prime },\epsilon )|⩽\lambda (\epsilon ,\sigma )\{|g^{\prime }-g^{\prime \prime }|+|h^{\prime }-h^{\prime \prime }|\},\end{array}$$

в которых $\lambda (\epsilon ,\sigma )\to 0$ при $\epsilon \to 0,\sigma \to 0$;
е) все вещественные части корней $p_1,\dots ,p_{n-1}$ уравнения
$$\text{ Det }|p{I}_{n-1}-H|=0$$

отличны от нуля.
Отметим, что в статическом случае, когда отсутствует зависимость от угловой переменной $\phi$, основные уравнения (27.1) в результате аналогичных преобразований будут приведены к системе:
$$\frac{dh}{dt}=Hh+Q(t,h,\epsilon ),$$

при этом можно указать такие ${\epsilon }_0$ и ${\rho }_1$, что будут выполняться условия:
a) функции $Q(t,h,\epsilon )$ определены в области
$$t\in R,h\in U_{{\rho }_1},0<\epsilon <{\epsilon }_0;$$
б) для $t\in R,0<\epsilon <{\epsilon }_0$, имеет место неравенство
$$|Q(t,0,\epsilon )|⩽M(\epsilon ),$$

где $M(\epsilon )\to 0$ при $\epsilon \to 0$;
в) для любого положительного $\sigma <p_1$ в области
$$t\in R,h^{\prime }\in U_{\sigma },h^{\prime \prime }\in U_{\sigma },0<\epsilon <{\epsilon }_0,$$

имеет место неравенство
$$|Q(t,h^{\prime },\epsilon )-Q(t,h^{\prime \prime },\epsilon )|⩽\lambda (\epsilon ,\sigma )\left\{|h^{\prime }-h^{\prime \prime }|\right\},$$

в котором $\lambda (\epsilon ,\sigma )\to 0$ при $\epsilon ⟶0,\sigma \to 0$;
г) все. вещественные части корней характеристического уравнения
$$\mathrm{Det}|p{I}_{n-1}-X_0^{\prime }\left({\xi }^0\right)|=0$$

отличны от нуля.
Введем сейчас некоторые определения, относящиеся к теории почти периодических функций.

Рассмотрим какую-либо функцию $f(t,x)$, заданную на $RE$, где $E$ обозначает некоторое множество значений $x$.

Мы будем говорить, что $f(t,x)$ является почти периодической функцией $t$ равномерно по отношению к $x$, если любому $\eta >0$ можно сопоставить положительное $l(\eta )$ таким образом, что в любом интервале на $R$ длины $l(\eta )$ лежит, по крайней мере, одно $\tau$ (почти период для $\eta$ ), для которого везде на $RE$ справедливо неравенство
$$|f(t+\tau ,x)-f(t,x)|⩽\eta .$$

Для этих почти периодических функций существует счетное множество частот $\left\{{\lambda }_j\right\}$, не зависящих от $x$, такое, что для всякого $\lambda$, не принадлежащего к нему, выполняется соотношение
$$\underset{T\to \mathrm{\infty }}{lim}\frac{1}{T}{\int }_0^{T}f(t,x)e^{-i\lambda t}dt=0.$$

Пусть $\left\{{\omega }_{\alpha }\right\}$ представляет счетное множество вещественных чисел, обладающее свойствами:
1) между ${\omega }_{\alpha }$ не существует нетривиальных линейных соотношений
$$\sum n_{\alpha }{\omega }_{\alpha }=0$$

с целочисленными коэффициентами;
2) всякое ${\lambda }_j$ может быть представлено линейной комбинацией ${\omega }_{\alpha }$ с целочисленными коэффициентами.

Такое множество $\left\{{\omega }_{\alpha }\right\}$ условимся называть частотным базисом данной почти́ периодической функции. В частности, для периодической функции частотный базис состоит из одного элемента; для квазипериодических функций частотный базис состоит из конечного числа элементов.
Как известно, частотный базис обладает следующим важным свойством: если ${\tau }_m$ есть такая последовательность, что для любого ${\omega }_{\alpha }$
$$e^{i{\omega }_{\alpha }{\tau }_m}\to 1\text{ при }m\to \mathrm{\infty },$$

то равномерно на $RE$ имеем:
$$f(t+{\tau }_m,x)-f(t,x)\to 0\text{ при }m\to \mathrm{\infty }.$$

Это свойство может также служить и определением рассматриваемых почти периодических функций.

Именно, если $\left\{{\omega }_{\alpha }\right\}$ представляет счетное множество линейно независимых вещественных чисел и если для каждой последовательности ${\tau }_m$, для которой справедливо (27.113), будет справедливо также и (27.114) равномерно на $RE$, то тогда $f(t,x)$ будет почти периодической функцией равномерно по отношению $кx$, а $\left\{{\omega }_a\right\}$ будет ее частотным базисом.

Условимся называть представление $s$-мерного интегрального многообразия $S_t$
$$x=f(t,C_1,C_2,\dots ,C_s)$$

периодическим с периодом $T$, если тождественно
$$f(t+T,C_1,C_2\dots ,C_s)=f(t,C_1,C_2,\dots ,C_{\mathrm{s}})$$

для всех $t,C_1,C_2,\dots ,C_s$, принадлежащих области их изменения.

Заметим также, что для почти периодической функции $f(t,x)$ всегда существует предел
$$\underset{T\to \mathrm{\infty }}{lim}\frac{1}{T}{\int }_t^{t+T}f(t,x)dt,$$

причем сходимость к пределу будет равномерной по отношению к $t,x$.
Таким образом, условие б), наложенное нами на правую часть урағнения (27.1) $X(t,x)$ (см. стр. 336) будет всегда выполняться, если функция $X(t,x)$ является почти периодической по $t$ равномерно по отноішению к $x\in D_p$.