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

О необходимом условии минимума квадратичного функционала с интегралом Стилтьеса и нулевым коэффициентом при старшей производной на части интервала Текст научной статьи по специальности «Математика»

CC BY
114
36
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ФУНКЦИОНАЛ / НЕОБХОДИМОЕ УСЛОВИЕ / ИНТЕГРАЛ СТИЛТЬЕСА / ПРОИЗВОДНАЯ ПО МЕРЕ / FUNCTIONAL / NECESSARY CONDITION / STIELTJES INTEGRAL / DERIVATIVE ON THE MEASURE

Аннотация научной статьи по математике, автор научной работы — Иванникова Т. А., Тимашова Е. В., Шабров С. А.

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

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

On Necessary Conditions for a Minimum of a Quadratic Functional with a Stieltjes Integral and Zero Coefficient of the Highest Derivative on the Part of the Interval

In this paper we obtain a necessary condition for an extremum of a quadratic functional with a Stieltjes integral in the case where the coefficient of the highest derivative may vanish on a part of the interval. It is shown that the resulting mathematical model has the property of non-degeneracy. It is proved that a Variable boundary problem that arises as a necessary condition for an extremum is an «intermediate» position between the boundary value problems of fourthand second-order the solution space has dimension.

Текст научной работы на тему «О необходимом условии минимума квадратичного функционала с интегралом Стилтьеса и нулевым коэффициентом при старшей производной на части интервала»

МАТЕМАТИКА

УДК 517

О НЕОБХОДИМОМ УСЛОВИИ МИНИМУМА КВАДРАТИЧНОГО ФУНКЦИОНАЛА С ИНТЕГРАЛОМ СТИЛТЬЕСА И НУЛЕВЫМ КОЭФФИЦИЕНТОМ ПРИ СТАРШЕЙ ПРОИЗВОДНОЙ НА ЧАСТИ ИНТЕРВАЛА

Т. А. Иванникова1, Е. В. Тимашова2, С. А. Шабров3

1 Магистрант кафедры математического анализа, математический факультет, Воронежский государственный университет, solliden_2008@inbox.ru

2Магистрант кафедры математического анализа, математический факультет, Воронежский государственный университет, juli4732@mail.ru

3Кандидат физико-математических наук, доцент кафедры математического анализа, Воронежский государственный университет, shaspoteha@mail.ru

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

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

ВВЕДЕНИЕ

В работе получено необходимое условие экстремума функционала:

ф(„) = £ ^ <1х +1' г^ <1х +1' и^« - £ и<1Р+71 и!М +72иМ + 7з , (1)

определенного на множестве Е абсолютно непрерывных на [0; I] функций, первая производная которых абсолютно непрерывна на [0, С], имеет конечное на [0;I] изменение, вторая квазипроизводная риХ'х(ж) является функцией ограниченной на [0, С] вариации.

На протяжении всей работы мы предполагаем выполненными следующие условия:

1) р(ж), г (ж), Q(x) и Е (ж) имеют конечное на [0; 1] изменение;

2) р(ж) > 0 на [0; С);

«-0

——— конечен; о р(*)

4) г (ж) > 0 для всех ж е (С; 1];

5) Q(ж) — не убывает на [0; 1];

6) 1г > 0 (г = 1, 2, 3);

7) 71 + 72 > 0, 73 > 0.

Все производные в равенстве (1) понимаются в классическом смысле; вторая — существует почти всюду (по мере Лебега); мы принимаем следующее соглашение для функции ^(ж), принадлежащей ВУ[0; 1] — пространству функций ограниченной на [0; 1] вариации: если для некоторой внутренней точки п отрезка [0; 1] справедливо равенство ^(п — 0) = ^(п + 0), то ^(п) равно ^(п — 0) (= ^(п + 0)), т. е. ^(ж) непрерывна в точке п.

Первый и второй интегралы в (1) понимаются по Лебегу, третий и четвертый — по Риману-Стилтьесу.

ОСНОВНОЙ РЕЗУЛЬТАТ

Задача минимизации функционала (1) на множестве Е возникает при моделировании малых деформаций механической системы, состоящей из стержня, на левом конце которого имеются две пружины жесткости 71 и 72, реагирующие на смещение и поворот соответственно, а к правому прикреплена

3) интеграл Г

Иванникова Т. А., Тимашова Е. В., Шабров С. А., 2013

3

растянутая струна, правый конец которой имеет упругое закрепление с помощью пружины 73, когда (1) описывает потенциальную (полную) энергию системы.

Договоримся под записью 71 = го подразумевать условие и(0) = 0, а под 72 = го и 73 = го — и'(0) =0 и и(1) = 0 соответственно.

Продолжим функции р(х) и т(х) на оставшуюся часть [0; 1] нулем.

Пусть и(х) дает минимум функционалу Ф(и) на Е. Введем в рассмотрение скалярную функцию ф(А) = Ф(и + АН). У этой функции точка Л = 0 является точкой минимума, поэтому производная ф'(0), если она существует, обязана обращаться в 0. Легко видеть, что ф(А) является квадратичной относительно А функцией, поэтому

Л Л Л Л

ф'(0) = ри"хНХх dx + ги'хН'х ^х + — Нв>Е+

Jo '' '' Jo ' ' з о

+71 и(0)Н(0) + 72и'(0)^' (0) + чзи(1)Н(1) = 0

(2)

для любой функции Н е Е.

На множестве [0; I] \ Б(() определим функцию а(х) = /0Х udQ. Тогда uНdQ = Нda (на основании результатов работы [1]) и

л л л

/ ри'ХХН'ХХ dx + ти'хНХ dx + Нd(a — Е)+ 71 и(0)Н(0) + 72и'х(0)НХ(0) + 73и(1)Н(1) = 0.

Третий интеграл в последнем равенстве мы проинтегрируем по частям, что возможно в силу свойств Н(х), а(х) и Е(х):

г£ г£

ри'ХхНХх dx + / (ти'х — а + Е)НХ dx + Н(1)(а(1) — Е(1)) — Н(0)(а(0) — Е(0))+

з • • •• J0

+71 и(0)Н(0) + 72 иХ(0)НХ (0) + 7зи(1)Н(1) = 0.

(3)

Рассмотрим множество Е1 = {и е Е|и(х) = 0 для всех х > С,Н(0) = Н'(0) = 0}. Для Н е Е1 равенство (3) принимает вид

/ риХхНХх dx + (ти' — а + Е)Н' dx = 0.

Jo • • • • J0

Вводя функцию в (х) = /<Х(ти'(в) — а (в) + Е (в)) ds и интегрируя по частям интеграл НХ dв, будем иметь:

(ри'' — в)Н'' dx + в (С — 0)Н'(С — 0) = 0.

(4)

Для дальнейших рассуждений нам понадобится лемма из [2], которую для удобства читателя мы

приведем здесь без доказательства.

£

Лемма 1 [2]. Пусть А(х) имеет конечное на [0; С] изменение. Интеграл /0 А(х)Н''(х) dx равен нулю для любой Н е Е, удовлетворяющей дополнительным условия: Н(С) = Н' (С) = 0. Тогда А(х) — линейная на [0; С] функция.

Из леммы мы находим, что риХх(х) — в(х) = С1 + С2х почти всюду, а так как в(х) и С1 + С2х абсолютно непрерывны на [0;С], то равенство риХх(х) — в(х) = С1 + С2х превращается на [0;С] в тождество. Из (4) также находим, что С1 + С2 С + в (С — 0) = 0 (так как в качестве Н(х) допускаются функции, для которых Н'(С — 0) =0). Тогда риХх (С — 0) =0.

Отсюда мы находим, что риХх(х) абсолютно непрерывна на всем [0; I], следовательно, интеграл /о риХхНХх dx допускает интегрирование по частям:

ри/хх Нхх &Х — ри/хх Нх

О ¿0

(риХх)Х НХ ^ = —риХх (0)НХ(0) — (риХх)Х НХ

так как р(1) = 0. Тогда равенство (3) принимает вид

г-е г

— (ри"хх )Х + тиХ — а + Е

НХ dx + Н(1)(а(1) — Е(1)) — Н(0)(а(0) — Е(0)) —

о

о

о

о

I

I

I

о

о

о

Т. А Иваннпкова п др. О необходимом условии минимума квадратичного функционала__

—р<х(0)НХ (0) + 71и(0)й(0) + 72 <(0)НХ (0) + 73^(1)^(1) = 0 (5)

для любой Н е Е.

Лемма 2. Пусть А(х) — функция ограниченной вариации и пусть для любой Н е Е

[ А^Н = 0. Jo

Тогда А(х) есть константа на (0; I).

Доказательство. Так как Н е Е, то интеграл /0(А — С) ¿Н равен нулю для любой константы С

и для С * = 1 /0 А(з) в частности. Функция Н(х) = /0х(А(з) — С *) очевидно, принадлежит Е.

Поэтому равенство принимает вид вытекает, что

равенство А(х) — С * =0 справедливо почти всюду.

Пусть £ — внутренняя точка, в которой равенство А(х) — С * =0 нарушается. Так как А(х) имеет конечное на [0; I] изменение, то односторонние пределы А(£ — 0) и А(£+0) существуют. Ввиду того что множество точек, в которых А(х) = С * имеет полную меру, найдутся две последовательности {£П} и {£П} такие, что для всех п справедливо 1) £П < £ < £П'; 2) £П ^ £ и £П ^ £; 3) А(£П) = А(£П) = С*.

Переходя к пределу при п ^ го в последнем равенстве будем иметь А(£ — 0) = А(£ + 0) = С*, т. е. односторонние пределы совпадают, что вместе с принятым соглашением означает непрерывность А(х) в точке £*. Таким образом, А(х) = С * на (0; I). Лемма доказана.

Из (5), на основании леммы 2, мы получаем тождество — (риХх)Х(х) + ги'(х) — а(х) + ^(х) = С при некоторой постоянной С. Дифференцируя по мере а, содержащей все особенности системы (см. [3]), последнее тождество мы придем к уравнению

(риххХ)ха — (гих )а + uQа ^ст •

Так же из (5) мы получаем равенства

—а(0) + ^ (0) — С + 71 и(0) = 0, — р<х(0) + 72 < (0) = 0, а(1) — ^ (I) + С + 73 и(1) = 0.

Из первого и третьего равенств мы получаем граничные условия (так как (риХх)Х (0) — а(0) + ^(0) = С и г<(0 — а(1) + ^(I) = С):

(р<х)Х (0) + 71и(0) = 0, г<(1) + 73и(1) = 0.

Таким образом, доказана теорема.

Теорема. £сли и(х) дает минимум функционалу Ф(и) на множестве Е, то и(х) принадлежит пространству Е с Е функций, вторая квазипроизводная (ри0Х^) (х) которых абсолютно непрерывна на [0; I], {рри0'Х^)'х — а-абсолютно непрерывна на [0; I] и является решением граничной задачи:

(р<х )Ха — (гиХ Уа + ^ = К,

(риХх)Х (0)+ 71 и(0) = 0, (6)

— (риХх)(0)+ 72 и, (0) = 0,

(гиХ) (I) + 73и(1) = 0.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Изучать полученную систему можно и с позиций теории обобщенных функций, когда все штрихи означают обобщенное дифференцирование. Однако на этом пути возникает ряд труднопреодолимых препятствий. Во-первых, возникает проблема умножения обобщенной функции на разрывную, которая на данный момент не решена. Во-вторых, даже в случае решения первой проблемы, удаётся установить слабую разрешимость (6). И в-третьих, подход к изучению уравнения (и самой модели) с позиций теории обобщенных функций не даёт возможности применения качественных методов анализа (типа теорем Ролля) решения уравнения. Уравнение в (6) в точке £ реализуется как условия

и(£ — 0) = и(£ + 0), (риХх)(£ — 0) = 0, Д(р<х)Х (£) — Д(™Х )(£) + и(£ ^(£) = 0.

Последнее равенство принимает вид (pu^x)X (С — 0) + (ruX) (С + 0) = 0, если вспомнить, что p(x) = 0 при x ^ С и предположить отсутствие упругой опоры в точке £•

Покажем, что модель (6) обладает свойством невырожденности, т.е. однородная задача (при F(x) = const) имеет только тривиальное решение.

Если это не так, то существует нетривиальное решение u(x). Подставим u(x) в уравнение, умножим полученное тождество на u(x) и проинтегрируем по мере а по всему [0; I]:

[ ((PuXx)Xo" — (rUX)a + uQ) u(x) da = 0

JO

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

f£ 2 fe 2 f£

(PuXx )X u(x)|0 — (PuXx )uX (x)|0 — (ruX)u(x)|0 + / PuXx dx + / rUX dx + / u2 Qa da = 0-

J о ЛО

В силу граничных условий последнее равенство принимает вид

2 Г* 2 f£ 2 f£

7iu2(0) + y2u' (0) + 7зu2(l) + / puXx dx + / ruX dx + / u2Q^ da = 0.

В последнем равенстве все слагаемые неотрицательны, поэтому 71 и2(0) = 0, 72и ' (0) = 0, 73и2(1) = 0, /о риХ'Х dx = 0, /0 гиХ2 dж = 0 и /01 и2^ da = 0. Из первого и второго равенств, содержащих интеграл, мы находим, что ри^Х (ж) = 0 и гиХ (ж) = 0 почти всюду на [0; I]. Из первого следует, что и (ж) на [0; £] есть линейная функция, из второго — и(ж) есть константа на [£,1].

В то же время равенство 73 и2(1) = 0 означает, что и(1) = 0. Отсюда находим, что и(ж) = 0 на [£, 1] и в силу непрерывности решения и(£ — 0) = 0.

Из условия 71 + 72 > 0 мы находим, что либо 71 и2(0) = 0, либо 72и' (0) = 0 (либо выполняются оба равенства). В первом случае мы получим, что линейная на [0;£] функция и(ж) на концах этого отрезка принимает нулевые значения, т.е. и(ж) = 0 на [0;£]. Во втором случае делаем вывод о том, что и '(ж) на [0; £] есть нулевая константа, а затем установим тривиальность и(ж) на [0; £].

Таким образом, и(ж) есть нуль на всем [0; I], что противоречит нашему предположению.

Покажем, что рассматриваемая модель занимает «промежуточное» положение между моделями, которые описываются граничными задачами второго и четвертого порядков соответственно, в следующем смысле: размерность пространства решений однородного уравнения (размерность модели) равна трем, т. е. существует система из трех линейно независимых решений однородной модели; любые другие решения могут быть выражены через эти три. Следует отметить, что применить здесь классическую схему не представляется возможным. В самом деле, если поставить задачу Коши в точке ж0 слева от £, то решение будет существовать на всем полуинтервале [0; £). Используем теперь условия вклейки в точке £. Мы можем подставить начальную задачу в точку £ + 0. Мы получим решение на полуинтервале (£; I]. Таким образом, мы можем получить решения на всем [0; I]. Однако, ставя задачу Коши справа от £ в силу теоремы о существовании единственности, мы получим решение на полуинтервале (£; I], но «перебраться» за точку £ без соблюдения единственности мы не можем (иХ(£ — 0) не определено).

Далее, для простоты мы рассмотрим случай 7г = го (г = 1, 2, 3). Все сказанное справедливо и в общем случае (при условии невырожденности модели) при небольших изменениях рассуждений.

Введем обозначения: 11 и = и(0), 12и = и '(0), 13и = и(1).

Покажем, что существует система линейно независимых функций, удовлетворяющих условию 1г^ = 5?, где 5? — символ Кронекера, равный 1, если г = ], и 0 — в противном случае.

На полуинтервале [0;£) функции {^г(ж)}4=1 и (ж) определим как решения однородного уравнения (ри"Х)"а — (гиХ)'а=0 и неоднородного уравнения (риХ'Х)Ха — (гиХ)^= ^ соответственно, удовлетворяющие начальным условиям ^г(0) = 51, (0) = 52, р^Х'Х(0) = 53, (р^гХХ)(0) = 54 (г = 1, 2,3,4) и ^*(0) = Х(0) = р^*ХХ(0) = (р^*ХХ)Х(0) = 0. Аналогично на (£; I] определим функции {ф?(ж)}2=1 и (ж) как решения однородного — (гиХ)^ + и^ = 0 и — (гиХ)'а + и^ = ^ соответственно, удовлетворяющие начальным условиям 1)(0) = 5? и ^*(г-1) (0) = 0 (г,^ = 1, 2). Существование решений задач Коши обеспечивается соответствующими теоремами.

Т. А. Иванникова и др. О необходимом условии минимума квадратичного функционала

Функция

u(x) = <

+ (x) при x < С,

i=i 2

E в(x) + (x) при x > С U=1

(7)

удовлетворяет краевым условиям п(0) = п'(0) = п(1) = 0 при любых а3,а4 и в2, если только «1 = а2 = в = 0. Остается заметить, что существует единственная тройка чисел (а3, а4,в2) такая, что функция п(х) удовлетворяет остальным трем краевым условиям. В самом деле, для этого необходимо и достаточно, чтобы а3, а4 и в2 удовлетворяли системе

аз^э(С - 0) + «4<МС - 0) + (С - 0) = в2^(С + 0) + (С + 0), «3(p^3Х'х)(С - 0) + «4(mХ'х)(С - 0) + (р^4*)(С - 0) = 0,

«3 (p^3Хх)Х(С - 0) + )Х(С - 0) + Хх)Х(С - 0) +

+в2г(С + 0)К (С + 0) + Г(С + 0)^* Х(С + 0) = 0,

(8)

определитель которой отличен от нуля, так как однородная система (при ^*(х) = ^*(х) = 0, что соответствует однородной модели) имеет только нулевое решение ввиду доказанной выше невырожденности. Таким образом, система (8) имеет единственное решение при любой допустимой ^(х).

Беря в (7) ^*(х) = (х) = 0 и последовательно а1 = 1, а2 = в1 =0, а2 = 1, а1 = в1 =0 и в1 = 1, а1 = а2 = 0, получим три линейно независимых решения однородной модели (6), причем всё пространство решений однородной модели исчерпывается ими. Последнее и означает, что размерность пространства решений однородного уравнения Ьп = 0 равна трем.

Покажем теперь, что при выполнении условий 1)-7) экстремаль по(х) (решение краевой задачи) функционала (1) доставляет минимум. В самом деле, вторая вариация функционала Ф(п) на допустимой экстремали имеет вид

¿2Ф(ио)h = [ ph^ d^ + / rh£ dx + [ h2 dQ + 71 h2(0) + 72^ (0) + 73h2(l), JO J0 Jo

которая при всех h e E принимает неотрицательные значения.

Библиографический список

1. Покорный Ю. В., Бахтина Ж. И., Зверева М. Б., Шабров С. А. Осцилляционный метод Штурма в спектральных задачах. М. : Физматлит, 2009. 192 с.

2. Шабров С. А. О необходимом условии минимума одного квадратичного функционала с интегралом Стил-тьеса // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2012. Т. 12, вып. 1. С. 52-55.

3. Шабров С. А. О ^-регуляризации функции с конечным изменением // Сб. статей аспирантов и студентов математического факультета ВГУ. Воронеж, 1999. С. 166-169.

4. Покорный Ю. В. Интеграл Стилтьеса и производные по мере в обыкновенных дифференциальных уравнениях // Докл. АН. 1999. Т. 364, № 2. С. 167-169.

On Necessary Conditions for a Minimum of a Quadratic Functional with a Stieltjes Integral and Zero Coefficient of the Highest Derivative on the Part of the Interval

T. A. Ivannikova, E. V. Timashova, S. A. Shabrov

Voronezh State University, Russia, 394006, Voronezh, Universitetskaya pl., 1, solliden_2008@inbox.ru, juli4732@mail.ru, shaspoteha@mail.ru

In this paper we obtain a necessary condition for an extremum of a quadratic functional with a Stieltjes integral in the case where the coefficient of the highest derivative may vanish on a part of the interval. It is shown that the resulting mathematical model has the property of non-degeneracy. It is proved that a Variable boundary problem that arises as a necessary condition for an extremum is an «intermediate» position between the boundary value problems of fourth- and second-order — the solution space has dimension three.

Key words: functional, a necessary condition, Stieltjes integral, derivative on the measure.

References

1. Pokornyi Yu. V., Bakhtina Zh. I., Zvereva M. B., Shabrov S. A. Ostsilliatsionnyi metod Shturma v spektral'nykh zadach [Sturm oscillation method in spectral problems]. Moscow, Fizmatlit, 2009, 192 p. (in Russian).

2. Shabrov S. A. On a necessary condition of at least one quadratic functional with an integral Stieltjes. Izv. Sarat. Univ. N. S. Ser. Math. Mech. Inform., 2012, vol. 12, iss. 1. pp. 52-55 (in Russian).

3. Shabrov S. A. O ^-reguliarizatsii funktsii s konechnym izmeneniem [About ^-regularization of function of finite variation] Sb. statei aspirantov i studentov matematicheskogo fakul'teta VGU. Voronezh, 1999, pp. 166-169 (in Russian).

4. Pokornyi Yu. V. The Stieltjes integral and derivatives with respect to the measure in ordinary differential equations. Dokl. Math., 1999, vol. 59, no. 1, pp. 34-37.

УДК 517.518.34, 517.518.36, 517.986.62

МАТРИЧНОЕ ПРЕДСТАВЛЕНИЕ ОПЕРАТОРА РАСТЯЖЕНИЯ В ПРОИЗВЕДЕНИИ ЛОКАЛЬНО-КОМПАКТНЫХ НУЛЬ-МЕРНЫХ ГРУПП

С. Ф. Лукомский

Доктор физико-математических наук, профессор кафедры математического анализа, Саратовский государственный университет им. Н. Г. Чернышевского, LukomskiiSF@info.sgu.ru

В действительном вейвлет-анализе ^-мерный оператор растяжения может быть записан с помощью действительной d х d матрицы. В настоящей работе найден явный вид оператора растяжения в произведении локально-компактных нуль-мерных абелевых групп.

Ключевые слова: нуль-мерные группы, оператор растяжения, кратномасштабный анализ.

ВВЕДЕНИЕ

В последние годы активно изучаются всплесковые базисы на группах Виленкина Оу и полях Qp р-адических чисел, а также кратномасштабный анализ (КМА), позволяющий строить такие базисы. В значительной мере это связано с тем, что всплесковые базисы на Оу и Qp, которые получаются в рамках соответствующего КМА, состоят из ступенчатых функций и, значит, могут быть использованы в цифровой обработке дискретной информации. Поэтому особый интерес вызывают всплесковые базисы на произведениях Оу и Qp. Первая попытка получить всплесковые базисы в была

предпринята в работе А. Хренникова и В. Шелковича [1], где многомерные всплесковые базисы были получены как произведение одномерных. В. Шелкович и М. Скопина [2] в 2009 г. построили многомерные 2-адические базисы Хаара в ¿2 (О2), используя тензорное произведение одномерных КМА. При построении всплесковых базисов и КМА основную роль играет наличие операторов растяжения и сдвига. Так, в работе [2] в качестве ¿-мерного оператора растяжения А использовался оператор покомпонентного растяжения, т. е. А2(х(1), х(2),..., х(2)) = (Ах(1), А.1Ж(2),..., А1х(2)), где А1 — одномерный оператор растяжения. В классическом случае [3] ¿-мерный оператор растяжения может быть определен с помощью целочисленной матрицы АХ2 равенством А(X) = АX. Э. Кинг и М. Скопина [4] в 2010 г. выяснили, что при построении КМА в Ь2^2) в качестве А можно взять шахматную / 1/2 1/2\

матрицу , , . Поле Qp является частными случаями нуль-мерной группы, а их произве-V-1/2 1/2/

дение Qp также будет нуль-мерной группой. Поэтому естественно рассмотреть более общий вопрос: какой вид имеет оператор растяжения в произведении нуль-мерных групп. В работах [5,6], учитывая тот факт, что произведение нуль-мерных групп снова нуль-мерная группа, была предложена конструкция построения оператора растяжения на произведении компактных нуль-мерных групп, однако этот оператор не удалось записать в виде А(Х) = А X .В настоящей работе мы покажем, что оператор растяжения, рассмотренный в работах [5,6], может быть записан в виде А(X) = АЕаА-1 X, где А = АХй — невырожденная матрица над полем вычетов по простому модулю р, и ЕА матрица, в которой на диагонали, ниже главной, стоят 1, в правом верхнем углу — одномерный оператор растяжения А1, и остальные элементы равны нулю.

(( Лукомский С. Ф, 2013

i Надоели баннеры? Вы всегда можете отключить рекламу.