В основе метода обратной задачи в применении к модели НШ лежит следующее замечательное наблюдение: уравнение (1.1) является условием совместности переопределенной системы уравнений
$$\begin{array}{l}\frac{\partial F}{\partial x}=U(x,t,\lambda )F,\\ \frac{\partial F}{\partial t}=V(x,t,\lambda )F.\end{array}$$

Здесь $F=\left(\begin{array}{l}{f}_1\\ f_2\end{array}\right)$ — вектор-функция от $x$ и $t$, а $2\times 2$ матрицы $U$ и $V$ даются формулами
$$U=U_0-\lambda U_1,$$

где
$$\begin{array}{c}{U}_0=\sqrt{\overline{x}}\left(\begin{array}{ll}0& \overline{\psi }\\ \psi & 0\end{array}\right)=\sqrt{\overline{x}}(\overline{\psi }{\sigma }_{+}+\psi {\sigma }_{-}),\\ U_1=\frac{1}{2i}\left(\begin{array}{rr}1& 0\\ 0& -1\end{array}\right)=\frac{1}{2i}{\sigma }_3,\end{array}$$

и
$$V=V_0+\lambda V_1+{\lambda }^2{V}_2$$

где
$$\begin{array}{c}{V}_0=i\sqrt{\overline{x}}\left(\begin{array}{c}\sqrt{\overline{x}}|\psi {|}^2-\frac{\partial \overline{\psi }}{\partial x}\\ \frac{\partial \psi }{\partial x}-\sqrt{\overline{x}}|\psi {|}^2\end{array}\right)=ix|\psi {|}^2{\sigma }_3-i\sqrt{x}(\frac{\partial \overline{\psi }}{\partial x}{\sigma }_{+}-\frac{\partial \psi }{\partial x}{\sigma }_{-}),\\ V_1=-U_0,V_2=-U_1.\end{array}$$

Мы ввели здесь и часто будем использовать стандартные матрицы $2\times 2$ — матрицы Паули
$$\begin{array}{l}{\sigma }_1=\left(\begin{array}{ll}0& 1\\ 1& 0\end{array}\right),{\sigma }_2=\left(\begin{array}{rr}0& -i\\ i& 0\end{array}\right),{\sigma }_3=\left(\begin{array}{rr}1& 0\\ 0& -1\end{array}\right),\\ {\sigma }_{+}=\frac{{\sigma }_1+i{\sigma }_2}{2}=\left(\begin{array}{ll}0& 1\\ 0& 0\end{array}\right),{\sigma }_{-}=\frac{{\sigma }_1-i{\sigma }_2}{2}=\left(\begin{array}{ll}0& 0\\ 1& 0\end{array}\right).\end{array}$$

Для $\sqrt{x}$ в (2.4) — (2.8) берется арифметическое значение при $x>$ $>0$ и $\sqrt{x}=i\sqrt{|x|}\mid$ при $x<0$.

Обратим внимание на то, что матрицы $U$ и $V$ содержат помимо функций $\psi$ и $\overline{\psi }$ еще и произвольный комплексный параметр $\lambda$.
Условие совместности системы (2.1) — (2.2) имеет вид
$$\frac{\partial U}{\partial t}-\frac{\partial V}{\partial x}+[U,V]=0$$

и должно выполняться при всех $\lambda$. Левая часть равенства (2.10) представляет собой полином третьей степени по $\lambda$. Коэффициенты при степенях $\lambda ,{\lambda }^2$ и ${\lambda }^3$ исчезают тождественно в силу специального выбора матриц $U$ и $V$. Исчезновение постоянного члена эквивалентно уравнению (1.1).

Для случая конечной плотности, описываемого уравнением (1.5), формула (2.7) должна быть модифицирована.
Соответствующая матрица $V_{\rho }$ имеет вид
$$V_{\rho }=V-i\kappa {\rho }^2{\sigma }_3,$$

а матрица $U$ остается прежней. После этого уравнение эквивалентно условию (2.10).

Фундаментальная роль представления (2.10) для решения модели НШ станет ясной из дальнейшего изложения. Здесь же отметим, что (2.10) является одной из универсальных формул метода обратной задачи и будет возникать при рассмотрении всех других моделей.

Система (2.1) — (2.2) и условие совместимости (2.10) допускают естественную геометрическую интерпретацию. Именно, матрицы-функции $U(x,t,\lambda )$ и $V(x,t,\lambda )$ монно рассматривать как локальные коэффициенты связности в тривиальном рассіоении ${\mathbb{R}}^2\times {\mathbb{C}}^2$, где пространство-время ${\mathbb{R}}^2$ играет роль базы, а значения вектор-функци $F(x,t,\lambda )$ лежат в слое ${\mathbb{C}}^2$. При этом $\lambda$ — дополнительный комплексый параметр. Уравнения (2.1) и (2.2) показывают, что вектор $F$ ковариантно постоянен, а усяовие совместности (2.10) означает, что связность ( $U,V$ ) имеет нулевую кривизну. Поэтому запись нелинейного уравнения в виде (2.10) мы нәзываем представлениел ниясвой крияизыы.

Қоэффициенты связности $U(x,t,\lambda )$ и $V(x,t,\lambda )$ меняются при локальном изменении базиса в слоях. Преобразование
$$F(x,t,{\lambda }_i)\mapsto G(x,t,\lambda )F(x,t,{\lambda }_i),$$

индуцированное заменой базиса в слое при помощи матрицы $G(x,t,\hat{\lambda })$, компенсируется преобразованием
$$\begin{array}{l}U\to \frac{\partial G}{\partial x}{G}^{-1}+GU{G}^{-1},\\ V\to \frac{\partial G}{\partial t}{G}^{-1}+GV{G}^{-1}.\end{array}$$

Это преобразование в физической литературе принято называть калибровочным, и мы будем использовать этот термин. Ясно, что калибровочное преобразование сохраняет условие нулевой кривизны. Таким образом, представление уравнения (1.1) в виде условия совместности (2.10) справедливо для целого класса калибровочно эквивалентных связностей.

Опишем теперь параллельный перенос, определяемый связностью $(U,V)$. Рассмотрим контур $\gamma$ на ${\mathbb{K}}^2$ с начальной точкой $(x_0,t_0)$ и конечной точкой $(x,t)$. Параллельный перенос из точки $(x_0,t_0)$ в точку $(x,t)$ вдоль контура $\gamma$ задается матрицей

где интеграл понимается как мультипликативный. Здесь и ниже мы временно опустили в обозначении матриц $U$ и $V$ их зависимость от $\lambda$.

Более точно, рассмотрим разбиение контура $\gamma N-1$ промежуточными точками на последовательные подконтуры ${\gamma }_1,\dots$ $\dots ,{\gamma }_x$. Введем матрицы
$$L_n=I+{\int }_{{\gamma }_n}(Udx+Vdt)$$

где $I$ — единичная матрица $2\times 2$, и положим
$${\mathrm{\Omega }}_N=\prod _{n=1}^{\hat{N}}{L}_n=L_N\dots L_1.$$

Тогда матрица ${\mathrm{\Omega }}_{\gamma }$ есть предел ${\mathrm{\Omega }}_N$ при бесконечном измельчении разбиения контура $\gamma$.

В физической литературе ${\mathrm{\Omega }}_{\gamma }$ называется $\gamma$-упорядоченной матричной экспонентой.

Результат параллельного переноса вектора $F$ вдоль контура $\gamma$ дается формулой
$$F_{\gamma }={\mathrm{\Omega }}_{\gamma }F.$$

Другими словами, векторное поле $F_{\gamma }$, заданное вдоль контура $\gamma$, ковариантно постоянно.
Очевндно, что имеет место формула суперпозиции
$${\mathrm{\Omega }}_{{\gamma }_1+{\gamma }_2}={\mathrm{\Omega }}_{{\gamma }_2}{\mathrm{\Omega }}_{{\gamma }_1},$$

где считается, что конечная точка контура ${\gamma }_1$ совпадает с начальной точкой контура ${\gamma }_2$ и через ${\gamma }_1+{\gamma }_2$ обозначено объединение контуров ${\gamma }_1$ и ${\gamma }_2$ в указанном порядке.

При калибровочном преобразовании (2.13) матрица параллельного переноса преобразуется следующим образом:
$${\mathrm{\Omega }}_{\gamma }\mapsto G(x,t){\mathrm{\Omega }}_{\gamma }{G}^{-1}(x_0,t_0).$$

Исчезновение кривизны связности означает, что ${\mathrm{\Omega }}_{\gamma }$ зависит только от начальной и конечной точек $(x_0,t_0)$ и $(x,t)$, а не от соединяющего их контура $\gamma$. Это позволяет по вектору $F(x_0,t_0)$ постронть векторное поле на ${\mathbb{R}}^2$
$$F(x,t)={\mathrm{\Omega }}_{\uparrow }F(x_0,t_0),$$

удовлетворяющее системе уравнений (2.1)-(2.2). Для замкнутого контура $\gamma$ исчезновение кривизны связности означает, что паралтельный перенос вдоль $\gamma$ тривиален:
$${\mathrm{\Omega }}_{\gamma }=I$$

независимо от выбора начальной точки. Таким образом, локальное условие нулевой кривизны эквивалентно формуле (2.21).

Приведем первое приложение условия нулевой кривизны, иллюстрирующее его полезность. Покажем, что уравнения, допускающие представление нулевой кривизны, обладают бесконечным набором интегралов движения — законов сохранения.

Для этого зафиксируем момент времени $t=t_0$ и рассмотрим параллельный перенос вдоль оси $x$. Условие ковариантного постоянства имеет вид
$$\frac{dF}{dx}=U(x,t_0,\lambda )F$$

и представляет собой линейную задачу со спектральныл параметром $\lambda$. Ее принято называть вспомогательной линейной задачей.

Основной характеристикой этой задачи является матрица монодромии, которую мы введем здесь для квазипериодического случая. В терминах матриц $U$ и $V$ условия квазипериодичности переписываются следующим образом:
$$\begin{array}{l}U(x+2L,t,\lambda )=Q^{-1}(\theta )U(x,t,\lambda )Q(\theta ),\\ V(x+2L,t,\lambda )=Q^{-1}(\theta )V(x,t,\lambda )Q(\theta ),\end{array}$$

где $Q(\theta )$ — диагональная матрица
$$Q(\theta )=\left(\begin{array}{ll}{e}^{i\theta /2}& 0\\ 0& e^{-i\theta /2}\end{array}\right)=\exp \left\{\frac{i\theta {\sigma }_3}{2}\right\}.$$

Матрица монодромии представляет собой матрицу параллельного переноса вдоль контура $t=t_0,-L⩽x⩽L$, ориентированного в порядке возрастания $x$ :

Условие нулевой кривизны приводит к замечательной связи матриц монодромии при разных значениях $t$. Для вывода рассмотрим замкнутый контур $\gamma$, представляющий собой прямоугольник, изображенный на рис. 1. В силу (2.21) и свойства суперпозиции (2.18) для такого контура ү имеем
$$S_{-}^{-1}{T}_L^{-1}\left(t_2\right)S_{+}{T}_L\left(t_1\right)=I,$$

где
$$S_{\pm }(\lambda ,t_1,t_2)=\stackrel{\curvearrowleft }{\exp }{\int }_{t_1}^{t_2}V(\pm L,t,\lambda )dt.$$

Из условий квазипериодичности (2.24) и определения упорядоченной экспоненты получаем, что матрицы $S_{+}$и $S_{-}$подобны:
$$S_{+}=Q^{-1}(\theta )S_{-}Q(\theta ).$$

Таким образом, соотношение (2.27) принимает вид
$$T_L(\lambda ,t_2)Q(\theta )=S_{+}(t_1,t_2)T_L(\lambda ,t_1)Q(\theta )S_{+}^{-1}(t_1,t_2),$$

что означает, что матрицы $T_L(\lambda ,t)Q(\theta )$ в разные моменты времени подобны. В частности, из (2.30) получаем важное соотношение
$$\mathrm{tr}{T}_L(\lambda ,t_2)Q(\theta )=\mathrm{tr}{T}_L(\lambda ,t_1)Q(\theta ),$$

где $\mathrm{tr}$ означает матричный след в ${\mathbb{C}}^2$. Это соотношение означает, что след матрицы $T_L(\lambda ,t)Q(\theta )$ не зависит от $t$.

Таким образом, исходя из представления нулевой кривизны, мы показали, что функционал $F_L(\lambda )$, задаваемый формулой
$$F_L(\lambda )=\mathrm{tr}{T}_L(\lambda )Q(\theta ),$$

является производящей функцией законов сохранения для уравнения (1.1).
Выбор фундаментальной области
Рис. 1
$-L⩽x<L$ в определении матрицы монодромии не является обязательным. Для произвольной фундамента.ıьной области $x_0-\cdot L⩽x<x_0+L$ введем матрицу
$$T_{L,x_0}(\lambda ,t)=\hat{\exp }{\int }_{x_0-L}^{x_0+L}U(x,t,\lambda )dx$$

и покажем, что $\mathrm{tr}{T}_{L,x_0}(\lambda ,t)Q(\theta )$ не зависит от $x_0$. Для этого убедимся, что матрицы $T_L(\lambda ,t)Q(\theta )$ и $T_{L,x_0}(\lambda ,t)Q(\theta )$ подобны. Действительно, из (2.33) следует, что
$$T_{L,x_0}(\lambda ,t)=P_{+}{T}_L(\lambda ,t)P_{-}^{-1},$$

где

Используя условия квазипериодичности (2.23), имеем
$$P_{+}=Q^{-1}(\theta )P_{-}Q(\theta ),$$

откуда на основании (2.34) получаем искомое подобие
$$T_{L,x_0}(\lambda ,t)Q(\theta )=P_{+}\left(x_0\right)T_L(\lambda ,t)Q(\theta )P_{+}^{-1}\left(x_0\right).$$

Итак, мы убедились, что матрица монодромии $T_L(\lambda )$ является полезным объектом для описания динамики нашей модели. В следующих параграфах мы продолжим ее исследование и получим для нее новые динамические приложения.