Главная > СОЛИТОНЫ и нелинейные волновые уравнения (Р Додд, Дх:Эйлбек, Дж.Гиббон, Х.Моррис)
<< Предыдущий параграф Следующий параграф >>
Пред.
След.
Макеты страниц

Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше

Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике

Обратная задача рассеяния для уравнения Шрёдингера состоит в том, чтобы реконструировать потенциал по асимптотическим данным, которые получаются в результате процесса рассеяния. Примеры такой процедуры рассматривались в разд. 2.2. Первые попытки решения обратной задачи были предприняты Фрёбергом [1948] и Х иллераасом [1948]. Однако Баргманн [1949], построив контрпримеры, показал, что их решения не являлись единственными. Их ошибка состояла в том, что они использовали в качестве асимптотических данных лишь матрицу рассеяния вместо данных рассеяния ( $S_{+}$или $S_{-}$). Данные рассеяния полностью определяют (матричную) спектральную функцию распределения, которую можно связать с уравнением Шрёдингера при данных граничных условиях (см. разд. 3.4). В результате исследований некоторых советских математиков было установлено, что задание спектральной функции распределения, подчиненной некоторым условиям, необходимо и достаточно для того, чтобы потенциал мог быть восстановлен единственным образом.

Для нас в этой работе интереснее всего то, что потенциал может быть найден из решения линейного интегрального уравнения, включающего в себя данные рассеяния, так что если $S_{ \pm}(t)$ определено таким способом, который был указан в разд. 3.5, по начальным данным $S_{ \pm}(0)$ при $t=0$, то мы можем в принципе построить $Q(x, t)$ в произвольный последующий момент времени по начальному состоянию $Q(x, 0)$. Это линейное интегральное уравнение называется либо уравнением Гельфанда – Левитана [1951], либо уравнением Марченко (Марченко и Агранович [1963]). Различие состоит в том, что в одном случае граничные условия обратной задачи регулярны, а в другом – нерегулярны. Поскольку фундаментальными решениями для нашей задачи являются решения Йоста, соответствующее интегральное уравнение есть уравнение Марченко.

Главной целью настоящего раздела является вывод уравнения Марченко для уравнения Шрёдингера на вещественной оси и
нахождение таких ограничений на данные рассеяния, которые гарантируют единственность решения $Q$, удовлетворяющего условию
\[
\int_{-\infty}^{\infty}\left(1+x^{2}\right)|Q(x)| d x<\infty .
\]

Самый прямолинейный способ вывода исходит из фундаментального соотношения (3.3.59):
\[
T_{+}(k) \varphi(x, k)=\psi^{*}(x, k)+R_{+}(k) \psi(x, k),
\]

где
\[
T_{+}=a^{-1} \text { и } R_{+}=b a^{-1}
\]
– непрерывные ограниченные функции, и по лемме 3.6
\[
\begin{array}{c}
R_{+}(k)=O(1) \quad \text { при } \quad|k| \rightarrow \infty, \\
T_{+}(k)=O\left(|k|^{-1}\right) \quad \text { при } \quad k \rightarrow \infty .
\end{array}
\]

Эти свойства элементов матрицы рассеяния вместе с граничными условиями, определяющими решения Йоста (3.3.2), гарантируют существование интегралов в преобразовании Фурье от (4.1.1):
\[
\begin{array}{c}
\frac{1}{2 \pi} \int_{-\infty}^{\infty}\left(T_{+}(k)-1\right) \varphi(x, k) e^{i k y} d k=\frac{1}{2 \pi} \int_{-\infty}^{\infty} R_{+}(k)\left(\psi(x, k)-e^{i k x}\right) e^{i k y} d k+ \\
+\frac{1}{2 \pi} \int_{-\infty}^{\infty} R_{+}(k) e^{i k(x+y)} d k+\frac{1}{2 \pi} \int_{-\infty}^{\infty}\left(\psi^{*}(x, k)-e^{-i k x}\right) e^{j k y} d k+ \\
+\frac{1}{2 \pi} \int_{-\infty}^{\infty}\left(e^{-i k x}-\varphi(x, k)\right) e^{i k y} d k .
\end{array}
\]

Определим преобразование Фурье для функции $f \in L^{\mathbf{1 2}}(\mathbb{R})=$ $=L^{1}(R) \cap L^{2}(R)$ следующим образом:
\[
\begin{array}{c}
\widehat{f}(x)=(2 \pi)^{-1 / 2} \mathbf{T} f(x) \equiv \frac{1}{2 \pi} \int_{-\infty}^{\infty} f(k) e^{i k x} d x, \\
\widehat{f}(k)=(2 \pi)^{1 / 2} \mathbf{T}^{*} f(k) \equiv \int_{-\infty}^{\infty} f(x) e^{i k x} d x,
\end{array}
\]

где $\mathbf{T}$ – унитарный оператор. Тогда поскольку
\[
\begin{aligned}
\langle f, g\rangle & =\left\langle\mathbf{T}^{*} \mathbf{T} f, g\right\rangle=\langle\mathbf{T} f, \mathbf{T} g\rangle, \\
(2 \pi)^{-1 / 2} \mathbf{T}\left(e^{i k y} f(k)\right) & =\frac{1}{2 \pi} \int_{-\infty}^{\infty} f(k) e^{i k(x+y)} d k=f(x+y),
\end{aligned}
\]

то первый интеграл в правой части уравнения (4.1.3) можно записать так:
\[
\begin{array}{l}
\frac{1}{2 \pi} \int_{-\infty}^{\infty} R_{+}(k)(\left.\Psi(x, k)-e^{i k x}\right) e^{i k y} d k= \\
=\frac{1}{2 \pi}\left\langle\mathbf{T}\left(e^{i k y} R_{+}(k)\right), \mathbf{T}\left(\psi(x, k)-e^{i k x}\right)^{*}\right\rangle= \\
=(2 \pi)^{-1 / 2} \int_{-\infty}^{\infty} \hat{R}_{+}(u+y) \mathbf{T}^{*}\left(\psi(x, k)-e^{i k x}\right)(u) d u .
\end{array}
\]

В разд. 3.4 мы определили операторы преобразования $\mathbf{U}_{+}$, $U_{-}$, имеющие вещественные ядра
\[
\begin{array}{c}
\Psi(x, k)=\mathbf{U}_{+} e^{i k x} \equiv e^{i k x}+\int_{-\infty}^{\infty} K_{+}(x, y) e^{i k y} d y, \\
\varphi(x, k)=\mathbf{U}_{-} e^{-i k x} \equiv e^{-i k x}+\int_{-\infty}^{\infty} K_{-}(x, y) e^{-i k y} d y .
\end{array}
\]

Используя (4.1.7), получим
\[
\begin{array}{l}
\mathbf{T}^{*}\left(\psi(x, k)-e^{i k x}\right)(u)=\mathbf{T}^{*} \int_{-\infty}^{\infty} K_{+}(x, y) e^{i k y} d y(u)= \\
=(2 \pi)^{-1 / 2} \int_{-\infty}^{\infty} K_{+}(x, y) \int_{-\infty}^{\infty} e^{i k(y-u)} d k d y=(2 \pi)^{1 / 2} K_{+}(x, u) .
\end{array}
\]

Преобразования (4.1.7) и (4.1.8) позволяют и другие члены правой части равенства (4.1.3) переписать с использованием ядер $K_{+}, K_{-}$операторов преобразования:
\[
\begin{array}{l}
\frac{1}{2 \pi} \int_{-\infty}^{\infty}\left(T_{+}(k)-1\right) \varphi(x, k) e^{i k g} d k= \\
=\int_{x}^{\infty} \hat{R}_{+}(u+y) K_{+}(x, u) d u+\widehat{R}_{+}(x+y)+K_{+}(x, y)-K_{-}(x, y) .
\end{array}
\]

Интеграл в левой части (4.1.10) вычисляется интегрированием по контуру $\Gamma_{R}$, состоящему из отрезка прямой ( $-R, R$ ) и полуокружности $C_{\boldsymbol{R}}$ радиуса $R$ в вер хней полуплоскости переменной $k$, который надо обходить в направлении против часовой стрелки.
Тогда в пределе при $R \rightarrow \infty$ получим
\[
\begin{array}{l}
\lim _{R \rightarrow \infty}\left\{\frac{1}{2 \pi i} \oint_{\Gamma_{R}}\left(T_{+}(k)-1\right) \varphi(x, k) e^{i k x} d k\right\}= \\
=\frac{1}{2 \pi i} \int_{-\infty}^{\infty}\left(T_{+}(k)-1\right) \varphi(x, k) e^{i k y} d k+ \\
\quad+\lim _{R \rightarrow \infty}\left\{\frac{1}{2 \pi i} \int_{C_{R}}\left(T_{+}(k)-1\right) \varphi(x, k) e^{i k y} d k\right\} .
\end{array}
\]

Второй интеграл в правой части (4.1.11) в пределе обращается в нуль, и поэтому по теореме о вычетах получаем
\[
\begin{aligned}
\frac{1}{2 \pi i} \int_{-\infty}^{\infty}\left(T_{+}(k)-1\right) \varphi & (x, k) e^{i k y} d k= \\
& =\sum_{j=1}^{M} \operatorname{Res}_{k=i \eta_{j}}\left\{T_{+}(k) \varphi(x, k) e^{i k y}\right\},
\end{aligned}
\]

где $\lambda_{j}=-\eta_{j}^{2} \in \sigma(\mathbf{L})$ – спектр. оператора L. B разд. 3.4 мы ввели нормировочные постоянные $D_{+j}^{-1} \equiv i c_{j}^{-1} a_{j}=\left\langle\psi_{j}, \psi_{j}\right\rangle$, где $\varphi_{j}=c_{j} \psi_{j}$ – собственные функции оператора L. Теперь из (4.1.7) мы можем вывести выражение
\[
\begin{array}{r}
\frac{1}{2 \pi i} \int_{-\infty}^{\infty}\left(T_{+}(k)-1\right) \varphi(x, k) e^{i k y} d k=i \sum_{j=1}^{M} D_{+j}\left(e^{-\eta_{j}(x+y)}+\right. \\
\left.+\int_{-\infty}^{\infty} K_{+}(x, u) e^{-\eta_{j}(y+u)} d u\right) .
\end{array}
\]

Если мы подставим (4.1.13) в (4.1.10), то после некоторых преобразований мы получим уравнение Марченко, зависящее от времени:
\[
\begin{array}{c}
K_{+}(x, y, t)+\Omega_{+}(x+y, t)+\int_{x}^{\infty} K_{+}(x, u, t) \Omega_{+}(u+y, t) d u=0 \\
y \geqslant x, \quad \text { (4.1.14) } \\
\Omega_{+}(x, t)=\widehat{R}_{+}(x, t)+\sum_{j=1}^{M} D_{+j}(t) e^{-\eta_{j} x}
\end{array}
\]

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

Аналогичное уравнение может быть получено для ядра $K_{-}$:
\[
\begin{array}{c}
K_{-}(x, y, t)+\Omega_{-}(x+y, t)+\int_{-\infty}^{x} K_{-}(x, u, t) \Omega_{-}(u+y, t) d u=0, \\
y \leqslant x, \quad(4.1 .15) \\
\Omega_{-}(x, t)=\widehat{R}_{-}(x, t)+\sum_{l=\mathrm{I}}^{M} D_{-j} e^{\eta_{j} x}
\end{array}
\]

и $D_{-j}^{-1}=i c_{j} \dot{a}_{j}$, так что $D_{-j} D_{+j}=-\dot{a}_{j}^{2}$. Заметим, что $\Omega_{+}$и $\Omega_{-}$ определены, если известны данные рассеяния $S_{+}$или $S_{-}$, и что из (3.4.79) получаем
\[
Q(x, t)=-2 \frac{d}{d x} K_{+}(x, x, t)=2 \frac{d}{d x} K_{-}(x, x, t) .
\]

Таким образом, если решение любого уравнения Марченко определено, при условии, конечно, что оно существует и единственно, то потенциал $Q$ вполне определен.

Теперь мы получим условия, которым должны подчиняться данные рассеяния для того, чтобы потенциал $Q$ удовлетворял условию $\int_{-\infty}^{\infty}|Q(x)|\left(1+x^{2}\right) d x<\infty$. Условия, которым должны удовлетворять данные рассеяния для того, чтобы выполнялось условие $\int_{-\infty}^{\infty}|Q(x)|(1+|x|) d x<\infty$, неизвестны до настоящего времени (Дейфт и Трубовиц [1979]). Конечно, данные рассеяния должны подчиняться добавочным условиям, если потенциал $Q$ должен быть решением разрешимого уравнения. Эти особые условия выводятся в разд. 4.2. Читатели, которые главным образом интересуются решениями разрешимых уравнений, могут не заниматься детальным изучением материала этого раздела. Основные его итоги формулируются в теореме 4.3.

Теперь мы будем работать только с уравнением Марченко (4.1.14) и приводить аналогичные результаты для уравнения (4.1.15). Мы начнем с исследования условий, которым должны удовлетворять данные рассеяния, если потенциал $Q$ удовлетворяет условию $\int_{-\infty}^{\infty}|Q(x)|\left(1+x^{2}\right) d x<\infty$.
Полагая $y=x$ в уравнении (4.1.14), мы получим формулу
\[
K_{+}(x, x)+\Omega_{+}(2 x)+\int_{x}^{\infty} K_{+}(x, u) \Omega_{+}(x+u) d u=0,
\]

которую мы будем рассматривать как уравнение для $\Omega_{+}$. Для простоты обозначений мы будем опускать в дальнейших выкладках нижний индекс «+» в функциях, входящих в это уравнение. Дифференцируя уравнение (4.1.17) по $x$, получим
\[
\begin{aligned}
\Omega_{x}(2 x)- & \frac{1}{2} Q(x)+\int_{x}^{\infty} K_{+}(x, u) \Omega(x+u) d u+ \\
& +\int_{x}^{\infty} K(x, u) \Omega_{x}(x+u) d u-K(x, x) \Omega(2 x)=0 .
\end{aligned}
\]

Если мы определим
\[
I(x)=\int_{x}^{\infty} K_{x}(x, u) \Omega(x+u) d u,
\]

то при использовании (3.4.79) нетрудно показать, что
\[
\begin{aligned}
\frac{d}{d x} I(x) & =Q(x) \int_{x}^{\infty} K(x, u) \Omega(x+u) d u+\int_{x}^{\infty} K_{u u}(x, u) \Omega(x+u) d u+ \\
& +\int_{x}^{\infty} K_{x}(x, u) \Omega_{x}(x+u) d u-K_{x}(x, x) \Omega(2 x)= \\
& =Q(x)\left[\int_{x}^{\infty} K(x, u) \Omega(x+u) d u+K(x, x)+\Omega(2 x)\right]- \\
& -Q(x) K(x, x)-\frac{d}{d x}\left(\int_{x}^{\infty} \Omega(x+u) K_{x}(x, u) d u\right)= \\
& =\frac{d}{d x}\left(K^{2}(x, x)-\int_{x}^{\infty} \Omega(x+u) K_{u}(x, u) d u\right) .
\end{aligned}
\]

Уравнение (4.1.18) теперь можно переписать в виде
\[
\Omega_{x}(2 x)-\frac{1}{2} Q(x)+2 \int_{x}^{\infty} K(x, u) \Omega_{x}(x+u) d u+K^{2}(x, x)=0 .
\]

Из свойств ядра $K(x, u)$ мы можем определить операцию свертки «*» следующим образом:
\[
\left({ }_{x} K *{ }_{x} K\right)(u)=\int_{-\infty}^{\infty} K(x, 2 u-y) K(x, y) d y, \quad u \geqslant x .
\]

Тогда
\[
\begin{aligned}
\int_{x}^{\infty} \Omega_{u}(2 u)\left({ }_{x} K *{ }_{x} K\right)(u) & =\int_{x}^{\infty} K(x, y) \int_{(1 / 2)(x+y)}^{\infty} K(x, 2 u-y) \Omega_{u}(2 u) d u d y= \\
& =-\frac{1}{2} \int_{x}^{\infty} K(x, y)\left(\Omega_{y}(x+y)+K_{y}(x, y)\right) d y= \\
& =\frac{1}{4} K^{2}(x, x)-\frac{1}{2} \int_{x}^{\infty} K(x, y) \Omega_{x}(x+y) d y,
\end{aligned}
\]

где мы использовали производную по $y$ от уравнения Марченко. Комбинация уравнений (4.1.21) и (4.1.23) дает уравнение, которое можно проитерировать для $\Omega_{+}(2 x)$ :
\[
\Omega_{x}(2 x)=\frac{1}{2} Q(x)+\int_{x}^{\infty} P(x, y) \Omega_{y}(2 y) d y,
\]

где
\[
P(x, y)=4\left(K(x, 2 y-x)+\left({ }_{x} K *{ }_{x} K\right)(y)\right) .
\]

Поскольку итерации интегрального уравнения Вольтерры всегда сходятся, мы можем использовать оценку
\[
\begin{array}{r}
K(x, y) \leqslant C(x) R_{0}\left(\frac{1}{2}(x+y)\right) \leqslant C(a) R_{0}\left(\frac{1}{2}(x+y)\right), \\
-\infty<a \leqslant x \leqslant y,
\end{array}
\]

выведенную из неравенства (3.4.61), чтобы получить оценку для $\Omega_{+}(2 x)$. Здесь и в следующем разделе $C_{j}(x)$ – монотонная функция, ограниченная при $x \rightarrow+\infty$ и, вообще говоря, возрастающая при $x \rightarrow-\infty$. Нетрудно показать, что $k R_{+} T_{+}^{-1} \in L_{1}(\mathrm{R}),\left(T_{+}-\right.$ -1) $\in L^{2}(\mathbb{R})$ и что
\[
k R_{+}=k R_{+} T_{+}^{-1}+k R_{+}\left(T_{+}-1\right) T_{+}^{-1}
\]

отсюда следует, что
\[
\frac{d}{d x} \tilde{R}_{+}(x)^{2}=\tilde{g}_{1}+\tilde{g}_{2},
\]

где $g_{1} \in L^{1}(\mathbb{R})$ и $g_{2} \in L^{2}(\mathbb{R})$. Итерация уравнения (4.1.24) и использование оценки (4.1.25) вместе с разложением (4.1.27) позволяют вывести следующую оценку:
\[
\left|\frac{1}{2} Q(x)-\Omega_{x}(2 x)\right|<C_{1}(x) R_{0}^{2}(x) .
\]

Поскольку $\Omega_{+}(2 x)$ локально принадлежит $L^{1}$, мы отсюда выводим, что $\Omega_{+}(2 x)$ абсолютно непрерывна.

Предположим, что $\int_{-\infty}^{\infty}|Q(x)|\left(1+|x|^{n}\right) d x<\infty$; тогда поскольку
\[
\begin{aligned}
\left|\Omega_{x}(2 x)\right| & =\left|\left(\frac{1}{2} Q(x)-\Omega_{x}(2 x)\right)-\frac{1}{2} Q(x)\right| \leqslant \\
& \leqslant\left|\frac{1}{2} Q(x)-\Omega_{x}(2 x)\right|+\left|\frac{1}{2} Q(x)\right|,
\end{aligned}
\]

то для $-\infty<a<x$
\[
\begin{array}{l}
\int_{x}^{\infty}\left|\Omega_{y}(2 y)\right|\left(1+|y|^{n}\right) d y \leqslant \frac{1}{2} \int_{x}^{\infty}|Q(y)|\left(1+|y|^{n}\right) d y+ \\
+\int_{x}^{\infty} C_{1}(y) R_{0}^{2}(y)\left(1+|y|^{n}\right) d y \leqslant
\end{array}
\]
$\leqslant \frac{1}{2} \int_{x}^{\infty}|Q(y)|\left(1+|y|^{n}\right) d y+C_{1}(a) \int_{x}^{\infty} R_{0}(y) d y \int_{y}^{\infty}|Q(s)|\left(1+|s|^{n}\right) d s \leqslant$ $\leqslant \int_{x}^{\infty}|Q(y)|\left(1+|y|^{n}\right) d y\left(\frac{1}{2}+C_{1}(a) \int_{x}^{\infty}(x-a)|Q(x)| d x\right)<C_{2}(x)<\infty$ (4.1.30)

при условии, что, кроме того, $P_{1}(\infty)<\infty$. Таким образом, если $\int_{-\infty}^{\infty}|Q(x)|\left(1+x^{2}\right) d x<\infty$, то $\Omega_{x}$ удовлетворяет условию $\int_{a}^{\infty}\left|\Omega_{x}(x)\right|\left(1+x^{2}\right) d x<\infty,-\infty<a \leqslant x$. Поскольку функция $\Omega$ абсолютно непрерывна с граничным условием $\Omega(\infty)=0$, то из этого условия мы получаем
\[
\int_{a}^{\infty}|\Omega(x)| d x \leqslant \int_{a}^{\infty} d x \int_{a}^{\infty}\left|\Omega_{y}(y)\right| d y=\int_{a}^{\infty}(x-a)\left|\Omega_{x}(x)\right| d x \leqslant C_{3}(a)<\infty .
\]

В случае $\Omega_{-}$функции $C_{i}$ и $R_{0}$ заменяются функциями $D_{i}$ и $P_{0}$ в соотношения х, подобных (4.1.28), (4.1.30) и (4.1.31). В этом случае, однако, $D_{i}$ – монотонно неубывающие функции, ограниченные при $x \rightarrow \infty$ и, вообще говоря, возрастающие при $x \rightarrow$ $\rightarrow+\infty$.

Функции $\hat{R}_{+}, \hat{R}_{-}$отличаются от $\Omega_{+}, \Omega_{-}$только экспоненциально убывающими слагаемыми при $x \rightarrow \infty, \bar{x} \rightarrow-\infty$ соответственно. Поэтому кроме условий теоремы 3.7, данные рассеяния должны удовлетворять дополнительным условиям, данным в теореме 4.1, если потенциал $Q$ удовлетворяет условию $\int_{-\infty}^{\infty}|Q(x)|\left(1+x^{2}\right) d x<$ $<\infty$.

Теорема 4.1. Преобразования Фурье $\widehat{R}_{+}, \widehat{R}_{-}$от козффициентов рассеяния $R_{+}=b a^{-1}, R_{-}=-b^{*} a^{-1}$ абсолютно непрерывны удовлетворяют условиям
\[
\begin{array}{l}
\int_{a}^{\infty}\left|R_{+x}(x)\right|\left(1+x^{2}\right) d x<C_{3}(a)<\infty, \\
\int_{-\infty}^{b}\left|\widehat{R}_{-x}(x)\right|\left(1+x^{2}\right) d x<D_{3}(a)<\infty
\end{array}
\]

для всех $a>-\infty, \quad b<\infty$, если $\int_{-\infty}^{\infty}|Q(x)|\left(1+x^{2}\right) d x<\infty$.
Теперь мы видим, что необходимые условия, которые даются теоремами 3.7 и 4.1 для данных рассеяния, являются также достаточными для единственности восстанавливаемой функции $Q$ рассеивающего потенциала для уравнения Шрёдингера и, кроме того, обеспечивают выполнение условия $\int_{-\infty}^{\infty}|Q(x)|\left(1+x^{2}\right) d x<\infty$. Этот результат может быть доказан, если мы докажем справедливость утверждений, содержащихся в следующих пяти шагах, в которых мы предполагаем, без ограничения общности, что $S_{+}$задано. Сначала мы опишем в общих чертах шаги доказательства, а затем обсудим каждый из шагов более детально.
Uаe 1 .
Пусть дано, что $S_{+}$удовлетворяет условиям
\[
\left|R_{+}(k)\right| \leqslant 1, \quad R_{+}(-k)=R_{+}^{*}(k) \text { и } \int_{a}^{\infty}\left|\widehat{R}_{+x}(x)\right|\left(1+x^{2}\right) d x<C_{3}(a),
\]
$a>-\infty$, где $C_{3}$ – неубывающая функция, ограниченная при $x \rightarrow+\infty$ и возрастающая при $x \rightarrow-\infty$. Построим
\[
\Omega_{+}(x)=\widehat{R}_{+}(x)+\sum_{j=1}^{M} D_{+j} e^{-\eta_{j} x} .
\]

Здесь $M$ – число всобственных значений $\lambda_{j}=-\eta_{i}^{2}, \eta_{j}>0_{i}$ а положительные вещественные числа $D_{+j}, j=1, \ldots, M_{1}$ – соответствующие внормировочные постоянные». Построим унитарную матрицу рассеяния $\tilde{\mathrm{S}}(k)$ и проверим, тто она является непрерывной функцией от переменной $k$ и что выполняются условия
(i) $T_{+}(k)=\alpha k+O\left(\left|k^{2}\right|\right)$ при $|k| \rightarrow 0$,
(ii) $T_{+}(k) \geqslant C
eq 0$ при $|k| \rightarrow 0$.

Докажем, что при этих условиях решение $K_{+}(x, y)$ уравнения Марченко (4.1.14) существует и единственно. Докажем, что производные от $K_{+}(x, y)$ существуют, и выведем оценки для $K_{+}$и ее производных. Hlaz 2.
\[
\begin{array}{l}
\text { Постронм } u_{1}(x, k)=e^{i k x}+\int_{x}^{\infty} K_{+}(x, y) e^{i k g} d y \text { и } \\
v_{1}(x, k)=u_{1}(x,-k)+R_{+}(k) u_{1}(x, k), \operatorname{Im} k=0
\end{array}
\]

и покажем, что если $R_{+}(k)=O(1 /|k|)$ при $|k| \rightarrow \infty$, то из шага 1 следует, что $u_{1}$ и $v_{1}$ являются единственными функциями, такими что:
(a) $u_{1}$ н $v_{1}$ могут быть аналитически продолжены в области $\operatorname{Im} k>0$ таким образом, что $\exp (-i k x) u(x, k)$ ограннчена для $\operatorname{Im} k \geqslant 0$, $k
eq 0$, и $v_{1}$ имеет простые полюсы в точках $k_{j}=i \eta_{j}, j=1, \ldots, M$. (b) Вычеты функции $v_{1}$ связаны со значениями функции $u_{3}$ для $k=i \eta_{j}$ соотношениями
\[
\operatorname{Res}_{k=i \eta_{j}}\left(v_{1}(x, k)\right)=-i D_{+j} u_{1}\left(x, i \eta_{j}\right), j=1, \ldots, M .
\]
(c) На вещественной оси
\[
u_{1}(x,-k)=u_{i}^{*}(x, k), \quad v_{1}(x,-k)=v_{i}^{*}(x, k) .
\]
(d) Для $|k| \rightarrow \infty, \operatorname{Im} k \geqslant 0$,
\[
u_{1}(x, k) e^{-i k x}=1+O\left(\frac{1}{|k|}\right), \quad v_{1}(x, k) e^{i k x}=1+O\left(\frac{1}{|k|}\right) .
\]

HIaz 3.
Исходя из матрнды рассеяния $\tilde{\mathrm{S}}$, проверим, что
\[
\int_{-\infty}^{t}\left|\widehat{R}_{-x}(x)\right|\left(1+x^{2}\right) d x<D_{3}(b),
\]

где $D_{\mathfrak{s}}$ – неубышающая функция, ограниченная при $x \rightarrow-\infty$. Вычислим $D_{-j}=-a_{j} D_{+j}, j=1, \ldots, M$, где $a(k) \equiv T_{+}^{-1}=T_{-}^{-1}$. Построим
\[
\Omega_{-}(x)=\widehat{R}_{-}(x)+\sum_{j=1}^{M} D_{-j} e^{\eta_{j} x^{x}}
\]

и повторим шаги 1 и 2, используя уравнение Марченко (4.1.15) для ядра $K_{-}(x, y)$ н функций
\[
\begin{array}{l}
u_{2}(x, k)=e^{-i k x}+\int_{-\infty}^{x} K_{-}(x, y) e^{-i k y} d y, \\
v_{2}(x, k)=R_{-}(k) u_{2}(x, k)+u_{2}(x,-k), \quad \operatorname{Im} k=0 .
\end{array}
\]

Заменим в шаге 2 функции $u_{1}, v_{1}, R_{+}$на $u_{2}, v_{2}, R_{-}$, тогда в части (b) имеем соотношение
\[
\operatorname{Res}_{k=i \eta_{j}}\left(v_{2}(x, k)\right)=i D_{-j} a_{2}\left(x, i \eta_{j}\right), j=1, \ldots, M .
\]

Wae 4.
Установим, что функции $u_{t}$ являются решениями уравнения Шрёдингера
\[
-u_{i x x}(x, k)+Q_{i}(x) u_{i}(x, k)=k^{2} u_{i}(x, k), \quad i=1,2,
\]

где $Q_{1}(x)=-2 \frac{d}{d x} K_{+}(x, x), Q_{2}(x)=2 \frac{d}{d x} K_{-}(x, x), \quad$ и, кроме тoro,
\[
\int_{a}^{\infty}\left|Q_{1}(x)\right|\left(1+x^{2}\right) d x<\infty, \quad \int_{-\infty}^{b}\left|Q_{2}(x)\right|\left(1+x^{2}\right) d x<\infty .
\]

Waz 5.
Функции $u_{i}$ удовлетворяют соотношениям
\[
\begin{array}{l}
T_{-} u_{1}(x, k)=R_{-}(k) u_{2}(x, k)+u_{2}(x,-k), \\
T_{+} u_{2}(x, k)=R_{+}(k) u_{1}(x, k)+u_{1}(x,-k),
\end{array}
\]

где $T_{+}=T_{-}$. Из этого мы заключаем, что $Q \equiv Q_{\mathbf{1}}=Q_{2}$ и что обратиая задача имеет единственное решение $Q$, удовлетворяющее ограничению $\int_{-\infty}^{\infty}|Q(x)|\left(1+x^{2}\right) d x<\infty$. Функцни $u_{1}$, $u_{2}$ являются решениями Йоста $\psi, \Psi$.

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

IITaz 1 .
$T_{+}^{-1}(k)$ строится с использованием (3.4.61) (см. тем не менее примечания к этому разделу в конце главы). Условия шага 1 проверяются для матрицы расселния

где $\left|T_{+}\right|^{2}+\left|R_{+}\right|^{2}=1$ и $R_{+}=b a^{-1}, R_{-}=-b^{*} a^{-1}$. Перепишем уравнение (4.1.14), опуская зависимость от $t$, как операторное уравиение:
\[
{ }_{x} h(y)+{ }_{x} g(y)+{ }_{x}{ }^{N}{ }_{x} h(x)=0,
\]

где $x^{h}(y) \equiv K_{+}(x, y), y \geqslant x ;{ }_{x} g(y) \equiv \Omega_{+}(x+y), y \geqslant x$ и ${ }_{x} \mathrm{Nf}(y)=$ $=\int_{x}^{\infty} \Omega_{+}(u+y) f(u) d u, \quad y \geqslant x, \quad f \in L^{1}(x, \infty)$. Уравнение (4.1.32) – уравмение Фредгольна второго рода. Функция абсолотно интегрируема и ограничена на интервале $[x, \infty[$ (см. уравнение (4.1.31)). Из этого следует, что она, кроме того, квадратично интегрир уема, т. е. $x g \in L^{12}(x, \infty)$. Для того чтобы доказать существование и единственность решения уравнения (4.1.32), которое тоже принадлежит пространству $L^{2}(x, \infty)$, применим теоремь альтеркативы фредольма. Для начала докажем, что ${ }_{x} \mathbf{N}$ является вполке нелрерывным оператором в пространстве $L^{12}(x, \infty)$. Положим
\[
p(x)=\int_{x}^{\infty}\left|\Omega_{+u}(u)\right| d u .
\]

Используя условия на $S$, видим, что $p(x)$ абсолютно интегрируема на интервале $[a, \infty[, a>-\infty$, и
\[
\left|\Omega_{i}(x)\right| \leqslant \int_{i}^{\infty}\left|\Omega_{+1}(u)\right| d u=p(x),
\]

так что
\[
\int_{x}^{\infty} d u \int_{x}^{\infty} d y\left|\Omega_{+}(u+y)\right|^{2} \leqslant\left(\int_{2 x}^{\infty} p(y) d y\right)^{2}<\infty,
\]

и, следовательно, оператор ${ }_{x} \mathrm{~N}$ вполне непрерывен в пространстве $L^{2}(x, \infty)$. Аналогнчным образом легко показать, что ${ }_{2} \mathbf{N}$ вполне непрерывен в пространстве $L^{1}(x, \infty)$, что является следствием абсолютной ингегрируемости функции $p$.

Дпя того чтобы установить существование и едииственность репения в пространстве $L^{12}(x, \infty)$, мы должны показать только, что однороднос уравнение
\[
{ }_{x} h(y)+{ }_{x} \mathbf{N}_{x} h(y)=0
\]

имеет только тривиальное решение в пространстве $L^{12}(x, \infty)$. Предиоложим, что это не так и тто решение $\boldsymbol{x} h(y) \in L^{2}(x, \infty)$ негривиа.ино. ГЈоскольку $\Omega_{\perp}(x)$ вещественна, то мы без ограничения общности иожем считать, что решение $x^{h}(g)$ тоже веществениое. Определим $\boldsymbol{x}(y)=0$, если $y<x$, умножим (4.1.35) на

$x^{h}$ и затем проинтегрируем это выражение по всей оси $]-\infty, \infty[$ :
\[
\begin{aligned}
\int_{-\infty}^{\infty} x^{2}(y) d y & \div \int_{-\infty}^{\infty} d y \int_{-\infty}^{\infty} d u_{x} h(y) \times \\
& \times\left\{\sum_{j=1}^{n} D_{+j} e^{–\eta_{j}(u+y)}+R_{+}(u+y)\right\} x h(u)=0 .
\end{aligned}
\]

Так как $\left\langle\mathbf{T}_{x} h, \mathbf{T}_{x} h\right\rangle=\left\langle{ }_{x} h,{ }_{x} h\right\rangle$, то отсюда следует, что это можно записать в терминах преобразований Фурье следующим образом:
\[
\begin{array}{l}
\frac{1}{2 \pi} \int_{-\infty}^{\infty}\left({ }_{x} h(k)_{x} h(-k)+R_{+}(k)_{x} h^{2}(k)\right) d k+ \\
+\sum_{j=1}^{M} D_{+t x} h^{2}\left(i \eta_{j}\right) e^{-2 \eta} j^{x}=0 .
\end{array}
\]

Полагая
\[
\begin{array}{l}
x_{x}={ }_{x} \hbar(-k)+R_{+}(k){ }_{x} h(k), \\
x g=\left|T_{+}(k)\right|_{x} \hbar(k)_{4}
\end{array}
\]

мы найдем, что (4.1.37) можно записать в виде
\[
\frac{1}{4 \pi} \int_{-\infty}^{\infty}\left(\left.\left.\right|_{x} f(k)\right|^{2}+\left.\left.\right|_{x} g(k)\right|^{2}\right) d k+\sum_{j=1}^{M} D_{-j x} h^{2}\left(i \eta_{j}\right) e^{-2 \eta_{j} x}=0 .
\]

Поскольку решение ${ }_{x} h(y)$ венественно, то и $x^{h}(i \eta)$ вещественио, так что левая часть уравнения (4,1.39) содержит только положительные члены, Отсюда мы заключаем, что
\[
x(k)=x g(k)=0 .
\]

Из (4.1.38) и (4.1.40) можно вывести, что либо $x^{\text {h }}(k)=0\left(T_{+}(k)>\right.$ $>C$ при $|k| \rightarrow 0)$, либо, в цротивном елуче, $x(k)=0$, за нсклочением $k=0\left(T_{x}(k)=\alpha k+O(\mid k)\right.$ при $\left.|k| \rightarrow 0\right)$. В постеднем случае $R_{+}(0)=-1$ и первое соотнопение из (4.1.38) дает тогда, что ${ }_{x} h_{2}(k)=0$ для всех $k$. Позтому однороднье уравнение (4.1.35) имеет только тривиальные решения. Таким образом. из того факта, что оператор ${ }_{x} \mathbf{N}$ вполие непрерывен в пространстве $L^{2}(x, \infty)$, и теоремы альтернативы Фредгольма следует, что решение уравнения (4.1.32) существует и еципственно в пространстве $L^{2}(x, \infty)$. Более того, оно разрешино и в пространстве $L^{1}(x$, о), поскольку
\[
|x h(y)| \leqslant\left.\int_{x}^{\infty}\left|\Omega_{+}(u \mid y)\right|\right|_{x} h(u)\left|d u \leqslant p(y+x) \int_{x}^{\infty}\right|_{x} h(u) \mid d u
\]

и $p(x)$ ограничена на интервале $[x, \infty$ [, причем $p(\infty)=0$. Таким образом, любое решение из $L^{\mathbf{1}}(x, \infty)$ чринадлежит также и $L^{2}(x, \infty)$, потому что неравенство (4.1.41) показывает, что оно квадратично интегрируемо.

Для того чтобы закончить шаг 1, выведем теперь оценку для ядра $K_{+}(x, y)$ и его пронзводных. Поскольку
\[
\begin{aligned}
\int_{x}^{\infty}\left|{ }_{x} f(y)\right| d y & \leqslant \int_{x}^{\infty} d y \int_{x}^{\infty}|f(u)|\left|\Omega_{+}(u+y)\right| d u \leqslant \\
\leqslant & \left(\int_{x}^{\infty}|f(y)| d y\right)\left(\int_{x}^{\infty}\left|\Omega_{+}(y)\right| d y\right), \\
& -\infty<a<x<\infty, f \in L^{\mathbf{1}}(a, \infty),
\end{aligned}
\]

то верна оценка
\[
\left\|{ }_{x} \mathbf{N}\right\|_{1} \leqslant \int_{x}^{\infty}\left|\Omega_{+}(y)\right| d y \leqslant C_{3}(x) .
\]

где \|\|$_{I}$ – операторная норма в пространстве $L^{1}(x, \infty), x \geqslant$ родное уравнение имеют единственное решение, так что оператор $\left(\mathbf{I}+{ }_{x} \mathbf{N}\right)^{-1}$ существует и ограничен на [a, $[$ [. Следуя рассуждениям Аграновича и Марченко [Ј964], можно показать, что $\|\left(\mathbf{I}+{ }_{x} \mathbf{N}\right)^{-1}{ }_{x}$ – непрерывная функция от $x$. Поскольку $\left\|{ }_{x} \mathbf{N}\right\| \rightarrow 0$ лри $x \rightarrow \infty$, то
\[
\max _{\rightarrow \infty<\infty<\infty<\infty}\left\|\left(\mathbf{I}+{ }_{x} \mathbf{N}\right)^{-1}\right\|_{1}=C(a) .
\]

Из (4.1.14) мы получаем
\[
\left|K_{+}(x, y)\right| \leqslant p(x+y)\left(1+\int_{x}^{\infty}\left|K_{+}(x, u)\right| d u\right)
\]
\[
\int_{x}^{\infty}\left|K_{+}(x, y)\right| d u \leqslant\left\|\left(\mathbf{I}+{ }_{x} \mathbf{N}\right)^{-1}\right\|_{1} \int_{x}^{\infty}\left|\Omega_{+}(x-u)\right| d u \leqslant C(a) C_{s}(2 x),
\]

Так что
\[
\left|K_{+}(x, y)\right| \leqslant C_{4}(x) p(x+y) .
\]

Исходя из (4.1.14), можно установить существование частных производиы от ядра $K_{+}(x, y)$. Д.ля того чтобы получить оценки производых, заметим сначала, что
\[
\begin{aligned}
\int_{x}^{\infty}\left|K_{+}(x, u)\right|\left|\Omega_{+y}(u+y)\right| d u & \leqslant C_{4}(x) \int_{x}^{\infty} p(x+u)\left|\Omega_{+y}(u+y)\right| \leqslant \\
& \leqslant C_{4}(x) p(x+y) p(2 x), \\
\left|K_{+y}(x, y)\right|+\left|\Omega_{+y}(x+y)\right| & \leqslant C_{4}(x) p(2 x) p(x+y) .
\end{aligned}
\]

Подобным же образом из уравнения, которому удовлетворяет пронзводная по $x$ от $K_{+}$, мы полутим
\[
\begin{array}{l}
\int_{x}^{\infty}\left|K_{+x}(x, y)\right| d y \leqslant\left\|\left(\mathbf{1}-{ }_{x} \mathbf{N}\right)^{-1}\right\|_{1}\left(\int_{x}^{\infty}\left|\Omega_{+x}(x+y)\right| d y+\right. \\
+\left|K_{+}(x, x)\right| \int_{x}^{\infty}|\Omega(x+y)| d y \mid \leqslant C(a) p(2 x)\left(1+C_{3}(x) C_{4}(x)\right), \\
\end{array}
\]

так что
\[
\left|K_{+x}(x, y)\right| \Omega_{x}(x-y) \mid \leqslant C_{5}(x) p(2 x) p(x+y) .
\]

и, следовательно,
\[
\left|\frac{d}{d x} K_{+}(x, x)+\frac{d}{d x} \Omega_{+}(2 x)\right| \leqslant C_{6}(x) p^{2}(2 x) .
\]

Наконец, в результате получится
\[
\begin{array}{r}
\left.\int_{a}^{\infty}\left(1 \mid x^{2}\right)\left|\frac{d}{d x} K_{+}(x, x)\right| d x \leqslant \int_{a}^{\infty}\left(1+x^{2}\right) \right\rvert\, \frac{d}{d x} K_{+}(x, x)+ \\
\left.\quad+\frac{d}{d x} \Omega_{+}(2 x)\left|d x \div \int_{a}^{\infty}\left(1+\frac{x^{2}}{4}\right)\right| \frac{d}{d x} \Omega_{+}(x) \right\rvert\, d x .
\end{array}
\]

Второй интеграл в правой части (4.1.53) существует по нашему прелияложению. Дия первого интеграла имеем
\[
\begin{array}{l}
\int_{a}^{\infty}\left(1+x^{2}\right)\left|\frac{d}{d x} K_{+}(x, x)-\frac{d}{d x} \Omega_{+}(2 x)\right| d x \leqslant \\
\leqslant C_{0}(a) \int_{a}^{\infty}\left(1+x^{2}\right) p^{2}(2 x) d x \leqslant C_{7}(a) \int_{a}^{\infty} p(2 x) d x<\infty .
\end{array}
\]

Последнее неравенство получается путем деления области интегрирования на интерваты $[a,-1[,[-1,1]] 1,, \infty[$. Подведем итогн шага 1 в следующей пемме.
Лемма 4.2. Ecли $\Omega_{+}$noтроемнал по $S_{+}$, yдовлепворяет условия
\[
\int_{a}^{\infty}\left|\Omega_{+x}(x)\right|\left(1-x^{2}\right) d x<\infty, \quad a>-\infty,
\]

и если $\widehat{\mathrm{S}}(\mathrm{k})$, построенная из $\mathrm{S}_{+}$, мепрерывна, укитарна и обладает свойспесай
(i) $R_{+}(-k)=R_{*}^{*}(k)$,
(ii) либо (a) $T_{+}(k)=T_{-}(k)=\alpha k+0(|k|)$ mpu $|k| \rightarrow 0$, $\operatorname{Im} k \geqslant 0$, $R_{ \pm}(k)+1=\beta_{ \pm} k+o(|k|)$ при $|k| \rightarrow 0, k$ венестеенное,
либо (b) $T_{+}(k)=T_{-}(k)=$ const $>0$ nou $|k| \rightarrow 0$,
$\operatorname{Im} k \geqslant 0$,

то речение уравнения Марченко (4.1.14), $K_{+}(x, y)$, единотенно. них вылолнотся следнющие оденки:
\[
\begin{array}{l}
\left|K_{+}(x, y)\right| \leqslant C_{6}(x) p(x+y), \\
\left|K_{+y}(x, y)-\Omega_{+y}(x+y)\right| \leqslant C_{4}(x) p(x+y) p(2 x), \\
\left|K_{+x}(x, y)+\Omega_{+x}(x-y)\right| \leqslant C_{6}(x) p(2 x) p(x+y), \\
\left.\left|\frac{d}{d x} K_{+}(x, x)\right| \frac{d}{d x} \Omega_{+}(2 x) \right\rvert\, \leqslant C_{\mathrm{B}}(x) p^{2}(2 x) \\
\partial \pi s-\infty \leqslant a<x<\infty u \\
\int_{a}^{\infty}\left|\frac{d}{d x} K_{+}(x, x)\right|\left(1+x^{2}\right) d x<\infty .
\end{array}
\]

Wą 2.
\[
\begin{array}{l}
u_{1}(x, k)=e^{i k x}-\int_{x}^{\infty} K_{+}(x, y) e^{i k y} d y, \\
v_{1}(x, k)=u_{1}(x,-k)-R_{+}(k) u_{1}(x, k), \quad \operatorname{Im} k=0 .
\end{array}
\]

Заметим, что из определення функцни $u_{1}(x, k)$ следует, что $u_{1}(x$, $-k)=u_{1}^{*}(x, k), \operatorname{Im} k=0$.

Из свойств ядра $K_{+}(x, y)$ мы сразу получаем, что $u_{1}(x, k)$ аналисична при Im $k>0$, и для $|k| \rightarrow \infty$ ниеем
\[
u_{\mathbf{1}}(x, k) e^{-i k x}=1 \cdot \left\lvert\, O\left(\frac{1}{|k|}\right)\right. \text { при }|k| \rightarrow \infty .
\]

Это слелует из того, что $K_{\text {:с }}(x, y)$ существует. Иитегрируя по частям выражение для $u_{1}(x, k)$ и использя оценк у из леммы 4.2 , получим (4.1.55).
Из (4.1.14) мы попучим
\[
\begin{aligned}
K_{+}(x, y)+\hat{R}_{+}(x-y)+\int_{x}^{\infty} K_{+}(x, u) \hat{R}_{+}(u-y) d u & = \\
& =\tilde{K}_{+}(x,-y), \quad y \geqslant x_{1}
\end{aligned}
\]

где
\[
\tilde{K}_{+}(x, y)=-\left(\sum_{j=1}^{M} D_{+j}\left(e^{-\eta_{j}(x-y)}-\int_{j}^{\infty} K_{+}(x, y) e^{-\eta_{j}(j-y)} d u\right)\right),
\]
\[
y \leqslant x \text {. }
\]

Если взять преобразование Фурье от (4.1.56), то получим представтение
\[
v_{l}(x, k)=e^{-i k x}+\int_{-\infty}^{x} \tilde{K}_{+}(x, y) e^{i k y} d y
\]

для $v_{1}(x, k)$. Отсюда мы заключаем, что $v_{1}(x, k)$ мероморфна при $\operatorname{Im} k>0$, и если
\[
R_{+}(k)=O\left(\frac{1}{|k|}\right) \text { при }|k| \rightarrow \infty,
\]

тo
\[
v_{1}(x, k) e^{i k x}=1 \div O\left(\frac{1}{|k|}\right) \text { при }|k| \rightarrow \infty .
\]

Применение теоремы Коши к (4.1.58) и (4.1.57) показывает, что
\[
\operatorname{Res}_{k=i \eta_{j},}
u_{1}(x, k)=-i D_{+j} \mu_{1}\left(x, i \eta_{j}\right)
\]

поскольку числа $\eta_{j}$ различны. Қроме того, из урарнения (4.1.58) мы имеем
\[
v_{1}(x,-k)=v_{1}^{*}(x, k), \quad \text { Iп } k=1 .
\]

IIIazt 3 u 4.
Шаг 3 представляет собой непосредственное ґиторение выкладок, проделанных в шагах 1 и 2. Займемся шагом 4. Предположим Для простоты, пто
\[
\int_{a}^{\infty}\left(1+x^{2}\right)\left|\Omega_{+x x}(x)\right| d x<\infty, \quad-\infty<a .
\]

Тогда мы сможем доказать существование $K_{+x x}$ и $K_{+y y}$, удовлетворяющих уравнениям
\[
\begin{aligned}
K_{+y y}(x, y)= & -\Omega_{+y y}(x+y)-\int_{x}^{\infty} K_{+}(x, u) \Omega_{+y y}(u+y) d t \\
K_{+x x}(x, y)= & -\Omega_{+y y}(x+y)+\frac{d}{d x} K_{+}(x, x) \Omega_{+}(x+y)+ \\
& +\left.K_{+-}(x, x) \Omega_{+-x}(x+u)\right|_{u=x} \Omega_{+}(x-y)- \\
& -\int_{a}^{\infty} K_{+x x}(x, u) \Omega_{+}(u+y) d u .
\end{aligned}
\]

Если проинтегрировать по частям уравнение (4.1.63) и вычесть из него (4.1.64), то мы придем к уравнению
\[
\begin{array}{l}
K_{+x x}(x, y)-K_{+y y}(x, y)-Q_{1}(x) K_{+}(x, y)+ \\
+\int_{x}^{\infty}\left(K_{+x x}(x, u)-K_{+u u}(x, u)-Q_{1}(x) K_{+}(x, u)\right) \Omega_{+}(u+y) d u=0,
\end{array}
\]

rде
\[
Q_{1}(x)=-2 \frac{d}{d x} K_{+}(x, x) .
\]

Поскольку это уравнение имеет только тривиальное решение, то $K_{+x x}(x, y)-K_{+y y}(x, y)-K_{+}(x, y)-Q_{1}(x) K_{+}(x, y)=0 .(4.1 .66)$ Далее, при наших предположениях
\[
\lim _{(x, y) \rightarrow \infty} K_{+}(x, y)=0, \quad \lim _{(x, y) \rightarrow \infty} K_{+x}(x, y)=0 .
\]

Если взять преобразование Фурье от (4.1.66), то мы сразу получим
\[
\text { – } u_{1 x x}(x, k)+Q_{1}(x) u_{1}(x, k)-k^{2} u_{1}(x, k),
\]

и по лемме 4.2
\[
\int_{a}^{\infty}\left|Q_{1}(x)\right|\left(1+x^{2}\right) d x<\infty, \quad-\infty<a .
\]

На самом деле, как показали Агранович и Марченко [1964], функция $u_{1}$ удовлетворяет уравнению (4.1.68), даже если не предполагать, чго $\Omega_{+}$имеет вторую производную. Таким же способом можно показать, что
\[
-u_{2 x x}(x, k)+Q_{2}(x) u_{2}(x, k)=k^{2} u_{2}(x, k),
\]

где
\[
\begin{array}{c}
\int_{-\infty}^{b}\left|Q_{2}(x)\right|\left(1-x^{2}\right) d x<\infty, \quad b<\infty, \\
Q_{2}(x)=2 \frac{d}{d x} K_{-}(x, x) .
\end{array}
\]

Wae 5.
Қак было показано на шаге 3, имеются единственные функции $u_{2}, v_{2}$, которые для вещественного $k$ удовлетворяют соотношению
\[
J_{2}(x, k)=R_{-}(k) u_{2}(x, k)+u_{2}(x,-k) .
\]

Умножив (4.1.71) на $R_{-}$( $-k$ ), это соотношение можно переписать в следующем внде:
\[
\left|R_{-}(k)\right|^{2} u_{x}(x, k)+R_{-}(-k) u_{2}(x,-k)=R_{-}(-k) v_{2}(x, k) .
\]

Затем из унитарности матрицы $\hat{\mathrm{S}}$ получим
\[
-\left|T_{+}(k)\right|^{2} u_{2}(x, k)-v_{2}(x,-k)=R_{-}(-k) v_{2}(x, k) .
\]

Определим функции
\[
u(x, k)=v_{2}(x, k) T_{-1}^{-1}(k) ; \quad v(x, k)=u_{2}(x, k) T+(k) .
\]

Тогда (4.1.73) можно будет записать в другом виде:
\[
v(x, k)=u(x,-k)+R_{+}(k) u(x, k) .
\]

Из определеннй этих функций (4.1.74) можно непосредственно устанювить, что функцни и г обладают свойствами, определяюшұни функции $u_{1}$ н $u_{1}$, поэтому из теоремы единственности следует $u \equiv u_{1}, v \equiv v_{1}$, и мы заключаем, что
\[
Q=Q_{1}: Q_{2}
\]

Шаги 1-5 ренают обратную задацу рассеяния.
Tеорема 4.3. Mroжестео $S_{i}=\left\langle R_{+}, \hat{A}_{j}=\left(\eta_{j}\right)^{2}, D_{+j}, j=\right.$ циала $Q$, удовлетворяющего условию $\int_{-\infty}^{\infty}|Q(x)|\left(1+x^{2}\right) d x<\infty$ в том слудае, если вылолняютоя следуюцци условия:
(ii) Mamриuа рассеяния $\tilde{\mathrm{S}}=\left(\begin{array}{l}T_{+} R_{-} \\ R_{+} T_{-}\end{array}\right)$, ade $T_{+}(k)=T_{-}(k) \doteqdot T(k)$, $T(k)=$
$=\left\{\begin{array}{c}\prod_{j=1}^{M}\left(\frac{k+i \eta_{j}}{k-i \eta_{j}}\right) \exp \frac{1}{2 \pi i} \int_{-\infty}^{\infty}(\xi-k)^{-1} \log \left[1-\left|R_{+}(\xi)\right|^{2}\right] d_{\delta}^{i}, \operatorname{In} k>0, \\ \lim _{e \rightarrow 0} T(k+i \varepsilon), \quad \operatorname{Im} k=0,\end{array}\right.$
uмеen cлedyюut caonicma:
(a) $T(k)=T^{*}(-k), R_{ \pm}(k)=R_{ \pm}^{*}(-k)$, (вецественность);
(b) $T$ (k) $R_{+}^{*}(k)-R_{-}(k) T^{*}(k)=0$;
$|T(k)|^{2}+\left|R_{+}(k)\right|^{2}=1=|T(k)|^{2}+\left|R_{-}(k)\right|^{2} \quad$ (gkumapносто);
(c) $\widetilde{\mathrm{S}}$ (k) кепрерьнята;
(d) $T(k)=1 \div O(1|k|)$ при $|k| \rightarrow \infty$;
\[
R_{ \pm}(k)=O(1|\hbar| \text { npu }|k| \rightarrow \infty, \quad \operatorname{lm} k=0 ;
\]
(e) либо $T(k)=\alpha k+O(k), \alpha
eq 0$ пpu $k \rightarrow 0$, Im $k \geqslant 0$, $u R_{ \pm}(k)=\beta_{ \pm} k+o(k), \beta_{ \pm}
eq 0 n p u|k| \rightarrow 0, \operatorname{Im} k=0$, ust $|T(k)| \geqslant$ const $>0$ npu $|\kappa| \rightarrow 0$, Im $k \geqslant 0$.

(iii) Функции $\tilde{R}_{ \pm}$абсолютно непрерьвны $u$
\[
\begin{array}{r}
\int_{a}^{\infty}\left|R_{+x}(x)\right|\left(1+x^{2}\right) d x<\infty, \quad \int_{-\infty}^{b}\left|R_{-x}(x)\right|\left(1+x^{2}\right) d x<\infty \\
\quad \text { дA }-\infty<a ; \quad b<\infty .
\end{array}
\]
(iv) Числа $D_{+j}$ положительны.

Теорема 4.3 является главным результатом этого раздела. В заключение этого раздела мы обсудим другие методы решения обрратюой задачи рассеяния. Мы начнем с того, что нз отношения полноты, установленного в разд. 3.4, выведем уравнение Марченко, связывающее данные рассеяния для двух разыы рассеивающих потенциалов $Q_{1}, Q_{2}$. Пусть $\psi^{(1)}, \Psi^{(2)}$ – решения Иоста, соотиетстующие этим потениалам, определениые условиями, аналогичными условиям (3.3.2). Рассмотрим операторы преобразования
\[
\begin{array}{l}
\psi^{(2)}(x, k)=\psi^{(1)}(x, k)+\int_{x}^{\infty} K(x, k) \psi^{(1)}(y, k) d y . \\
\psi^{(1)}(y, k)=\psi^{(2)}(y, k) \cdots \int_{j}^{\infty} \tilde{K}(v, y) \psi^{(2)}(v, k) d v .
\end{array}
\]

Мы пе будем сейчас говорить о свойствах ядер этих операторов и сконцентрируем вннмание на кратком выводе результата. Из отыоцения полноты (3.4.31) для решений Иоста $\psi^{(1)}, \psi^{(2)}$ имеем
\[
\begin{array}{l}
\delta(x-y)-\frac{1}{2 \pi} \int_{-\infty}^{\infty}\left(R_{+}^{(i)}(k) \psi^{(i)}(x, k) \psi^{i}(y, k)+\right. \\
\left.\quad+\psi^{*(i)}(x, k) \psi^{(i)}(y, k)\right) d k+\sum_{j=1}^{\mu^{(l)}} D_{-j}^{(i)} \psi^{(i)}(x) \psi_{j}^{(i)}(y), \quad i=1,2,
\end{array}
\]

Уножим обе части (4.1.79) на ( $R_{+}^{(2)}(x, k)+\psi^{*}(x, k)$ и проннтегриуем по $k$; затем ислользуем (4.1.80) при $i=2$ для попученяя уравнения
\[
\begin{array}{l}
\frac{1}{2 \pi} \int_{-\infty}^{\infty} d k^{n}(y, k)\left(R_{-}^{(b)}(k)\left(R_{+}^{(2)}(k) \psi^{2)}(x, k)+\psi^{*}(x, k)\right)\right)+ \\
\sum_{j=1}^{M} D_{+j}^{2} y^{2}(x) \psi^{i 1}\left(y, i \eta_{j}^{(n)}\right)=\int_{y}^{\infty} d v \delta(x-v) \tilde{K}(v, y) \div \delta(x-y) . \\
\end{array}
\]

Применяя те же процедуры к (4.1.78) и используя (4.1.81), мы получим
\[
\begin{array}{l}
\int_{x}^{\infty} d v K(x, v)\left\{\frac{1}{2 \pi} \int_{-\infty}^{\infty} d k \psi^{i !}(y, k) R_{+}^{(2)}(k)+\sum_{j=1}^{M(2)} D_{+j}^{(2 ;} \psi^{(1)}\left(v, i \eta_{j}^{(2 !}\right)\right\}+ \\
+\frac{1}{2 \pi} \int_{-\infty}^{\infty} \psi^{(1)}(x, k) \psi^{(1)}(y, k) R_{+}^{(2)}(k) d k+ \\
+\sum_{j=1}^{M(2)} D_{j}^{2 j^{(2)}}\left(x, i \eta^{(2)}\right) \uparrow^{(2)}\left(y, i \eta^{(2)}\right)- \\
+\frac{1}{2 \pi} \int_{-\infty}^{\infty} d k \psi^{\prime \prime}(y, k) \psi^{*}(x, k)-\cdots \\
-\int_{-\infty}^{\infty} d v \delta(x-v) \tilde{K}(v, y)-\delta(x-y)=0 . \\
\end{array}
\]

Тогда уравнение (4.1.80) для $i=1$ приведет к уравнению Марченко
\[
K(x, y)+\Omega(x, y)+\int_{x}^{\infty} K(x, v) \Omega(v, y) d v=0, \quad y \geqslant x,(4.1 .83)
\]

где
\[
\begin{array}{l}
\Omega(x, y)=\frac{1}{2 \pi} \int_{-\infty}^{\infty} d k \psi^{(1)}(x, k) \psi^{(1)}(y, k)\left(R_{+}^{(2)}(k)-R_{+}^{i j}(k)\right)+ \\
\quad+\sum_{j=1}^{M(2)} D_{+j}^{(2)} \psi^{(1)}\left(x, i \eta^{(2)}\right) \psi^{1}\left(y, i \eta_{j}^{(2)}\right)-\sum_{j=1}^{M(2)} D_{+l}^{(1)} \psi_{j}^{(1)}(x) \psi_{j}^{(1)}
\end{array}
\]

Потенциалы связаны с уравнением Марчснко соотношением
\[
Q_{2}(x)-Q_{1}(x)=-2 \frac{d}{d x} K(x, x) .
\]

Если $Q_{i x} \in L^{1}(R)$, то $K$ удоптстворяет уравнению
\[
K_{x x}(x, y)-K_{y y}(x, y)+\left(Q_{1}(x)-Q_{2}(y)\right) K(x, y)=0
\]

с граничнымн условиями
\[
\lim _{(x, y)} K_{x}(x, y)=0, \quad \lim _{(x, y)} K_{y}(x, y)=0 .
\]

Очевидно, пто уравнение Марченко (4.1.83) идентично уравнению (4.1.14) при $Q_{1} \equiv 0$. При подходе, используемом Захаровым и Фаддеевым [1971], уравнение (4.1.83) является основным уравнением, используемым в доказательстве того, что уравнение КдФ предегавляет собой интегрируемую гаминтонову систему. Один из решающих моментов в доказательстве состоит в том, чтобы показать, что обратное преобразопание рассеяния или спектральное преобразование является симплектическим иреобразованием дтя многообразий (бесконечномернх), определенных локальными координатами $(Q)$ и $\left(S_{+}\right)$. Авторы доказывают, что симплектическая форма
\[
\omega(Q, P)=\int_{-\infty}^{\infty}\left(\delta_{1} Q(x) \delta_{2} P(x)-\delta_{1} P(x) \delta_{2} Q(x)\right) d x
\]
\[
P(x)=\int_{-\infty}^{x} Q(y) d y
\]

отображается на симплектическую форму $\omega\left(S_{+}\right)$, что доказывает требуемый результат. Здесь $\delta_{i} Q$ – пронзвольные касательные векторы в бесконечномерном пространствс. Из (4.1.83) и (4.1.85) легко видеть, что
$\delta Q=-2\left\{\frac{1}{2 \pi}-\int_{-\infty}^{\infty} d k \eta^{2}(x, k) \delta R_{+}(x)+\right.$
\[
\left.+\sum_{j=1}^{M}\left(\delta D_{+j} \psi_{j}^{2}(x)+2 i D_{+j} \psi_{j} \psi_{j} \delta \eta_{j}\right)\right\}
\]

где $Q=Q_{1}$ и $\quad \psi=\Psi^{(1)}$.
Другие мегоды восстановления потенциала $Q$ по данным рассеяния принадлежат Ньютону [1980I и Дейфту и Трубовицу [1979].

В этом разделе мы полутили точные утверждения, касающиеся восстановления по данным рассеяния $\dot{S}_{+}$потенциала $Q$, такого, что $\int_{-\infty}^{\infty}\left\{Q(x) \backslash\left(1+x^{2}\right) d x<\infty\right.$ (теорема 4.3). В следующем разделе мы будем пользоваться техникой, развитой в этом разделе, и теоремой 4.3 при решенни задачи Қоши дтя разрешимого эволюцжонного уравнения. Ясно, что на начальные условия должны быть наложены дополнительные условня дифференцируемости, но оказываетея, что эти усповия (1о крайней мере в простейшем случае, когда начальны данные совершенно гладкие) приводят личь к небольшим изменениям в теории, изложенной выше, чтобы были гарантированы существование и единственность решения задачи с начальными условиями.

Categories

1
Оглавление
email@scask.ru