CC BY
33
УДК 517.518.4
О СВОЙСТВАХ МОДУЛЕЙ БЛОКОВ ЧЛЕНОВ РЯДА ^1 sin kx
С. А. Теляковский
Математический институт им. В. А. Стеклова РАН, Москва Email: sergeyAltel@yandex.ru
On Properties of the Moduli of Blocks of the Terms of the Series ^ k sin kx
S. A. Telyakovskii
A necessary and sufficient condition is obtained ensuring the Получено необходимое и достаточное условие интефируем°сти integrability with the power weight of the sum of the moduli of blocks со степенным весом суммы модулей блоков исследуемого ряда. of the terms of series under investigation
Ключевые слова: блоки членов ряда, степенной вес.
Key words: blocks of the terms a series, power weight.
Доклад автора на 16 Саратовской зимней школе, прочитанный в январе 2012 года, был посвящён свойствам рядов из абсолютных величин блоков членов ряда
У^ 1 sin kx,
k
к=1
играющего важную роль при изучении функций ограниченной вариации.
Пусть Л — строго возрастающая последовательность натуральных чисел 1 = п7 < п2 < которой сходится ряд
Е1 •
3=7 п
С помощью последовательности Л строится ряд из модулей блоков членов ряда (1)
Ж пЭ + 1 — 1 1
Е Е 181п кх.
(1)
для
j=1
k=nj
(2)
Ряд (2) сходится при всех х и его сумма, которую обозначим дл(х), непрерывна на (0,п]. В настоящей статье приводится доказательство одного результата, представленного в докладе. Остальные утверждения доклада обоснованы в [1]. Теорема. При 7 е (0,1) интеграл
п
¿X
дл(x)
xY
(3)
сходится в том и только том случае, когда сходится ряд
ж 1
3=1 3+1
(4)
Доказательство теоремы по схеме рассуждений из работы Р. М. Тригуб [2] опирается на следующее предложение.
Лемма. Если 1 < а < в и 7 е (0,1), то для интеграла
п
I = I(a,ß; y) := J | sinax| • | sinßx|
dx Д+7
справедливы оценки
с 1 (7)а7 < I(а, в; 7) ^ с2 (7)а7, где положительные величины с7 (7) и с2 (7) зависят только от 7.
оо
(( Теляковский С. А., 2013
С. А. Теляковский. О свойствах модулей блоков членов ряда Y1 k sin kx
Доказательство леммы Удобно записать интеграл I следующим образом:
I = aY | sinx| ■
. в
sin — x a
dx
X1+Y
Правая оценка (5) устанавливается легко:
сю 1 сю 1
Y Л . | dx Y( [ ■ di í d^ \ Y( fdx 1 \ Y( 1 1
I < a1 | sin x| —— < a 4 sin x—r---h 1 , < a 4 /--1— = a Y ---1—
J ' 'x1+Y V./ x1+Y J x1+YJ \J xY y У Vi - 7 7 0 0 10
Для оценки интеграла I снизу уменьшим промежуток интегрирования и воспользуемся тем, что
2
sin x > — x, 0 < x < 1. п
Тогда получим:
1
I > a7 / | sinx|
J a x~ 1 ' п
na/( 4в) па/(4в)
. в
sin — x
a
dx 2 y —¡— > — a Y
x1+Y п
• в
sin — x
a
в/а
dx 2 a dx
— = _— l sinx|—.
xY п в1-7 J xY
п/4
Далее,
в/а в/а в/а 2в/а
/, . , dx f . 2 dx 1 f , .. dx 1 f , .. dx
| sinx| — > sin x— = - (1 — cos2x) — = ^— (1 — cosx)—.
1 1 xY I xY 2 ./ v ; x7 22-7 / ; x7
п/4 п/4
Покажем, что значение интеграла
п/4
п/2
2в/а
(— cosx)
dx
xY
п/2
положительно. Для этого разобьём промежуток [п/2, 2в/а] на отрезки длины 2п
к = 0,1, 2,....
пп
2 + 2kn, 2 + 2(k + 1)п
Длина последнего отрезка при этом будет, вообще говоря, меньше 2п. На интервалах
п п
2 + 2кп, 2 + (2к + 1)п значения косинуса отрицательны. Поэтому
(п/2)+2(к+1)п (п/2) + (2к+1)п (п/2) + (2к + 1)п
dx dx
cos x— = — cos x----cos(x + п)
J x7 J x7 J K '
(п/2)+2кп (п/2)+2кп (п/2)+2кп
dx
(x + п)7
(п/2) + (2к+1)п
cos x
(п/2)+2кп
x7 (x + п)7
dx > 0.
(6)
Таким образом оцениваются части интеграла (6) по всем отрезкам указанного разбиения промежутка интегрирования, в том числе и по последнему отрезку. Значит,
1
в/а 2в/а
dx 1 dx
| sin x| - - - = —:---т
J ' ' xY 22-7 J xY 22-7 (1 — Y)
п/4 п/2
2в
a
1-Y
1-Y-
2(1 — Y)
1-Y
1-Y-
ап
1
1
в
1
п
4
a
Математика
93
Так как в ^ а, имеем
1-7
1-7
1 4
1-7-
1-7
Из приведенных оценок получаем
1 а 1
I > --
п в1-7 1 - 7
1 -' 4
1-71
1-7
и лемма доказана.
Доказательство теоремы. Проведя преобразование Абеля, находим:
По + 1 -1
1
п, + 1 -1 , 1 1
/ , эш кх — / I , , _ ^ к \к к + 1
к=п
к=п,
{Бк(х) - Бщ-1(х)) + -1- -1 (х) - Бп,-1 (х))
п3+1
, (7)
где Бк(х) - сопряжённое ядро Дирихле порядка к.
Так как
— — 1 к - Пз + 1 к + Пз
Бк(х) - Бп,-1(х) — -;—;—— эт-^-х ■ эт —х,
э1п(х/2)
то с помощью правой оценки (5) получаем
/| £ Ц - г+г) (Б(х) - -1(х))
п к=п,
¿х
х^
<
По + 1 -1
П3 + 1 1 / 1 1 \ "-3+1
^ сз (7) £ (г - (к - -з + 1)7 <сз (7) £
к=п,
к=п,
(к +1)2-7'
где с3 (7) зависит только от 7.
Поэтому используя (7), видим, что для каждого N
N
3=1
Па + 1 -1
к=п,
N
0 3 ж
< сз(7
к=П 181п кххх ^ -3+1 |БП + 1 -1(х) - БПа-1(х)| х^
1
¿х
х^
<
к=1
(к +1)2-7
< ГО.
(8)
Из (8) вытекает утверждение теоремы, так как согласно (5) интеграл
Бп3+1-1(х) - Бп,- -1 (х)
¿х
х^
имеет точный порядок (п3-+1 - п3^ .
Заметим, наконец, что если положить ш3 — ш1п(п3,п3+1 -п3), то приведенное в конце работы [2] рассуждение О. И. Кузнецовой показывает, что ряды (4) и
> —ш;
3=1 п3 3 3=1
(9)
сходятся или расходятся одновременно.
В [1] доказано, что сходимость ряда (9) является достаточным условием сходимости интеграла (3).
Работа выполнена при финансовой поддержке РФФИ (проект 11-01-00417).
в
а
в
а
1
п
п
п
ж
1
94
Научный отдел
Е. А. Трушкова. Метод глобального улучшения для гамильтоновых систем
Библиографический список
1. Теляковский С. А. О свойствах блоков членов ряда £ k sin kx // Украинский мат. журн. 2012. Т. 64, № 5. С. 713-718. [Telyakovskii S. A. On properties of blocks of the series £ k sin kx // Ukrainian Math. J. 2012. Vol. 64. P. 713-718.]
2. Trigub R. M. A note on the paper of Telyakovskii «Certain properties of Fourier series of functions with bounded variation» // East J. on Approx. 2007. Vol. 13, № 1. P. 1-6.
УДК 517.97
МЕТОД ГЛОБАЛЬНОГО УЛУЧШЕНИЯ ДЛЯ ГАМИЛЬТОНОВЫХ СИСТЕМ С УПРАВЛЯЕМЫМИ КОЭФФИЦИЕНТАМИ
Е. А. Трушкова
Институт проблем управления им. В. А. Трапезникова РАН, Москва
E-mail: katerinatr@mail.ru
Представлена новая модификация метода глобального улучшения управления на базе известного метода В. Ф. Кротова для задач управления гамильтоновыми системами одного класса. Проведены расчеты по управлению квантовой динамической системой, представляющей известную модель вращения плоской молекулы.
Ключевые слова: гамильтонова система, оптимальное управление, метод глобального улучшения.
Global Improvement Method for Hamiltonian Systems with Controllable Coefficients
E. A. Trushkova
The new modification of global improvement control method for one class of Hamiltonian systems that is based on the Krotov method is presented. The calculations for a quantum dynamical system representing the well studied example of the rotation of a planar molecule are given.
Key words: Hamiltonian system, optimal control, global improvement method.
1. ВВЕДЕНИЕ. ПОСТАНОВКА ЗАДАЧИ
Широкий и актуальный класс задач изменения квантового состояния атомов и молекул под действием управляемого внешнего поля сводится к задаче оптимального управления гамильтоновой системой с управляемыми коэффициентами (см., например, [1]). А именно уравнение Шрёдингера после разложения волновой функции и соответствующих операторов по полной системе собственных функций заменяется конечномерной аппроксимацией — динамической системой с управлением, в которой роль фазовых координат играют коэффициенты разложения волновой функции. Дальнейшее рассмотрение действительной и мнимой части фазовых координат приводит к задаче управления гамильтоновой системой.
Рассмотрим задачу управления гамильтоновой системой:
x(tj ) = xj,
x(t) = A (u(t)) x(t), x e R2n, u : [tj ,tF ]
t e [tj ],
Rp, u(-) e U(m,uio
<"up )
(1)
J (x, u) = F (x(tF )) = (x(tF ) - x* ) (x(tF ) - x*) — min,
где х(£) — кусочно дифференцируема, и(т,и1ото, ) — множество функций, принимающих постоянное значение на полуотрезках [£/ + ¿Л, + (г + 1)Л), г = 0, т — 1, Л = — )/т и подчиняющихся ограничениям < и(£) < (неравенства понимаются как покоординатные),
A (u(t)) =
0 P (u(t)) -P (u(t)) 0
P(u) — симметрическая матрица, непрерывная по u, x* e R
2n
заданная точка. Нетрудно видеть,
что данная задача является задачей наилучшего попадания в заданную точку.
2п 2п
Система имеет динамический инвариант Б = £ х2(£/) = £ х2(£), следовательно, исходный
i=1
i=1
квадратичный функционал качества перепишется в линейном виде ^(х(£^)) = (х(£^) — х*) х х (х(^) — х*) = Б + х*тх* — 2х*тх(^). Всюду в дальнейшем будем предполагать, что х*тх* = Б,
—>
© Трушкова Е. А., 2013
95
