Существование решения задачи оптимального управления для линейного уравнения Шредингера

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

Нахичеванский Государственный Университет (Азербайджан)

Задачи оптимального управления для линейного уравнения Шредингера часто возникают в квантовой механике, ядерной физике, нелинейной оптике и в других областях современной физики и техники, роль управления в которых играет потенциал взаимодействия и часто этот потенциал оказывается квадратично суммируемой функцией, зависящей от времени [1].

В данной работе рассматривается задача оптимального управления для линейного уравнения Шредингера со квадратично суммируемым потенциалом, зависящим от времени. При этом исследуются вопросы корректности постановки задачи оптимального управления. Отметим, что ранее подобные задачи изучены в работах, когда управления является ограниченной и измеримой функцией. Когда управление зависит от пространственной переменной и является суммируемый функцией подобная задачп изуцена ранее в работе [5].

Пусть требуется минимизировать функционал

(1)

на множестве при условиях:

, , (2) , (3)

, (4)

где , – заданные числа такие, что , – заданная ограниченная измеримая функция, удовлетворяющая условиям:

, , , (5)

– заданные числа, а функции , , являются заданными и удовлетворяют условиям:

, , (6)

, , (7)

. (8)

Задачу об определении функций из условий (2)-(4) при заданном назовем редуцированной задачей. Под решением этой задачи будем понимать функцию из пространства , удовлетвор­яю­щую условиям (2)-(4) при почти всех .

НЕ нашли? Не то? Что вы ищете?

Редуцированная задача (2)-(4) является второй краевой задачей для уравнения Шредингера. Краевые задачи для уравнения Шредингера ранее изучены. например в работах [2-4] и др. Однако эти результаты не достаточны для изучения задачи (1)-(4). Поэтому возникает необходимость изучить сначала краевую задачу (2)-(4) с потенциалом из множества .

С помощью метода Галеркина доказано следующая терема о разрешимости второй краевой задачу для линейного уравнения Шредингера.

Теорема 1. Пусть функции удовлетворяют условиям (5)-(7). Тогда для редуцированная задача (2)-(4) имеет единственное решение из и для этого решения справедлива оценка:

, (9)

где – постоянная не зависит от .

Теперь будем изучить вопрос корректности постановки задачи оптимального управления (2)-(4). С этой целью доказано следующая теорема.

Теорема 2. Пусть выполнены условия теоремы 1 и , , – заданные функции. Тогда существует всюду плотное подмно­жество пространства такое, что для любого при задача оптимального управления (1)-(4) имеет единственное решение.

С помощью этой теоремы было доказано, что задача (1)-(4) при

имеет единственное решение не для всякого . Кроме того, можно показать пример, что при эта задача, вообще говоря, является неустойчивой [8].

Несмотря на неустойчивость задачи (1)-(4), при , она и при имеет хотя бы одно решение. Прежде чем доказать такое утверждение приведем одно следствие теоремы 1.

Следствие 1. Пусть выполнены условия теоремы 1. Тогда редуцированная задача (2)-(4) для имеет единственное почти всюду решение из пространства и для этого решения справедлива оценка:

, (20)

где – постоянная не зависит от .

Теорема 3. Пусть выполнены условия теоремы 2. Тогда задача оптимального управления (1)-(4) при и для при имеет хотя бы одно решение.

Доказательство. Возьмем минимизирующую последовательность :

.

Положим . Поскольку , то редуцированная задача (2)-(4) в силу следствия имеет единственное решение из для каждого и справедлива оценка:

, , (21)

где – постоянная не зависит от .

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

(22)

при для .

Из оценки (21) следует, что последовательность равномерно ограничено в норме пространства . Тогда из этой последовательности можно извлечь такую последовательность, которую для простоты изложения снова обозначим через , что слабо в при . Следовательно, можем написать следующее предельное соотношение:

слабо в , (23)

слабо в , (24)

слабо в (25)

при .

Ясно, что элементы последовательности удовлетворяют следующему интегральному тождеству:

, , (26)

для . В силу предельных соотношений (23)-(25) имеем:

(27)

для при .

Не трудно доказать справедливость предельного соотношения:

(28)

для при .

Таким образом, в силу предельных соотношений (27), (28) переходя к пределу в интегральном тождестве (26) при получим справедливость интегрального тождества

(29)

для любой функции , откуда следует справедливость того, что предельная функция удовлетворяет уравнению (2) для .

Легко доказывается, что предельная функция удовлетворяет начальным и граничным условиям (3), (4) для , , соответ­ствен­но.

В силу теоремы вложения пространство компактно вложено . Тогда имеют место следующие предельные соотношения:

сильно в (30)

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

.

Отсюда следует, что , то есть из является решением задачи (1)-(4). Теорема 3 доказана.

ЛИТЕРАТУРА

, Самойленко квантовомеханичес­ки­ми процессами. М.: Наука, 1984, 256с. , Ягубов метод решения обратной задачи об определении квантовомеханического потенциала // ДАН СССР, 1988, т.303, №5, с.1044-1048. Ягубов управление коэффициентом квазилиней­но­го уравнения Шредингера // Докторск. дисс. - Киев. - 1994. - 318 С. , Ягубов управление квантомеханическим потнциалом // Труды ИММ АНА 1998,т. VIII, с.75-80 Искендеров потенциала в нестационарном уравнении Шредингера // В сб.: «Проблемы математического моделирования и оптимального управления», Баку, 2001, с.6-36. ункциональный анализ. - М.: Мир, 1967. - 624 с. Geоbаl M. On existence of optimal control // Math. Nachr. 1970, vol. 93, pp. 67-73. Васильев решения экстремальных задач. - М.: Наука, 1981. - 400с. Лионс сингулярными распределенными системами. М.: Наука, 1987.