О преобразовании меры в вариационной задаче для стилтьесовой струны Текст научной статьи по специальности «Математика»

УДК 517.927

О ПРЕОБРАЗОВАНИИ МЕРЫ В ВАРИАЦИОННОЙ ЗАДАЧЕ ДЛЯ СТИЛТЬЕСОВОЙ СТРУНЫ

Н.Н. Рябцева, А.С. Харченко

Белгородский университет кооперации, экономики и права,

ул. Садовая, 116-а, Белгород, 308000, Россия, e-mail: riabceva-nn@ yandex.ru,

rkharchenko-as@yandex.ru

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

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

1. Будем рассматривать поперечные деформации в одной плоскости невесомой упругой нити с жестко закрепленными концами, натянутой вдоль отрезка [0, /] с натяжением p(x) > 0. Рассмотрим ее функционал энергии, зависящий от отклонение u(x) точки x от положения равновесия под влиянием внешней силы, общую величину которой слева от точки x обозначим через F(x). Так как на элемент [x, x + dx] струны действует сила dF(x) = F(x + dx) — F(x), совершающая работу udF при смещении элемента [x, x + dx] на u(x), то для изменения энергии в результате перемещения, вызванного действием [1

силы F, равно / u dF. Поэтому функционал имеет вид J о

f%dQ- I’ u dF, (1)

J 0 2 J 0 2 J 0

где Q(x) определяет распределение упругой реакции внешней среды.

Функционал (1) представляет собой частный случай функционала

Ф(и) = i dx+ f Ruii dx+ f— dS + Г и dM (2)

J 0 2 Jo J 0 2 Jo

при R = 0, S = Q, M = —F.

Всюду далее p, R, S и M - функции ограниченной вариации на [0, /], причем inf p > 0.

I0,1]

В этом случае функционал (2) определен на множестве E абсолютно непрерывных функций, удовлетворяющих условиям u(0) = A, u(l) = B, и производные которых имеют на [0; /] ограниченную вариацию. Интегралы понимаются по Стилтьесу.

2. Согласно принципу Лагранжа-Гамильтона, реальная форма струны u0(x) должна являться минималью функционала (2). На u0(x) первая вариация должна быть нулевой, что приводит к равенству

^(u0)h = f pu'0 dh — f u0hdR + f u0hdS + f hdM = 0 , (3)

o o o o

где h - произвольные функции из E0 = {h Є E | h(0) = 0 = h(l)}. Равенство (3) нам позволит получить аналог уравнения Эйлера. Методами, аналогичными [1, 2], на основе

подхода, изложенного в [3, гл. 7] и [4], доказывается следующая теорема о преобразовании меры.

Теорема 1. Пусть А и ^ - меры Лебега-Стилтьеса (т. е. А и ^ порождены функциями ограниченной вариации), причем ^ является абсолютно непрерывной, и пусть функции

/ и —— непрерывны на [0, /], где — означает производную Ра дона-Никодима. Тогда для dA dA

любого ^-измеримого множества A

Jjdii=IA\dx

Прежде чем воспользоваться этим результатом для интеграла с переменным верх-

рХ

ним пределом / pd^, где функция p(x) непрерывна на отрезке [0,1], а порождающая 0

меру ^ функция ^(x) имеет ограниченную вариацию на [0,1] и непрерывна на концах, дадим необходимые пояснения относительно множества, пробегаемого переменной x. В

Г ?

самом деле, если £ - точка разрыва функции ^(x), то интеграл / рd^ не имеет смыс-

0

ла. Имеется ввиду следующая конструкция. Обозначим через S(^) множество точек разрыва функции ^(x). Каждую точку £ Є S(^) заменим парой {£ — 0; £ + 0} и обозна-

рХ

чим полученное множество [0,/]^. Тогда для любой точки х Є [0,/]м интеграл р d/j,

J 0

г £—0

однозначно определен. Причем, если £ - точка разрыва ^(x), то / pd^ совпадает

J 0

Г ГІ+0 г

с интегралом Лебега-Стилтьеса по полуинтервалу / pd^,, а pd^ = pd^.

J[0,i) J 0 J[0,t]

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

рх

Теорема 2. Пусть ш(х) = pd/л + const, где х Є [0, /]м, функция р(х) непрерывна

0

на отрезке [0,1], а ^(x) имеет ограниченную вариацию на [0,1] и непрерывна в точках X = 0 п X = I. Пусть функция f(x) непрерывна на [0,/]. Тогда для всех х Є [0,/]м справедливо равенство

ХХ

/ fdи = fPdV-00

3. Опираясь на теорему 2, мы можем выписать для функционала (2) аналог уравнения Эйлера. Обозначим

рх рх

д(х) = и0 йК, р(х) = и0 йБ.

ио Л)

Согласно теореме 2 будем иметь

/ кйд = ки0 йК, / кй<х> = ки0 йБ.

о о о о

Проинтегрировав второе, третье и четвертое слагаемые в (3) по частям, перепишем равенство (3) в виде

rl / px рХ \

lp(x)u'0(x) + udR — udS — M(x) ) dh(x) = 0 .

Из произвольности выбора функции h Е Eo следует, что реальная форма струны uo(x) должна удовлетворять уравнению

рх рх

p(x)u'(x)+ udR — udS — M(x) = p(0)u/(0) — M(0). (4)

Jo Jo

Полученное уравнение (4) является уравнением Эйлера. Приведем необходимые пояснения относительно этого уравнения. Обозначим через Az(x) скачок функции z в точке x, т.е. Az(x) = z(x + 0) — z(x — 0). Пусть Sz - множество всех точек, в которых хотя бы одна из функций p(x), R(x), S(x) и M(x) имеет ненулевой простой скачок, то есть имеет несовпадающие левый и правый пределы. Заметим, что производная u/(x) существует во всех x Е Sz . Если же £ Е Sz , то существуют левая и правая производные u-(£) и u+(£). Выбросив SZ из [0; /], заменим каждую точку £ Е SZ парой символов {£ — 0, £ + 0} и обозначим полученное множество [0; /]z. Тогда уравнение (4) на множестве [0; 1]z однозначно определено. Из (4) для всякой £ Е Sz вытекает справедливость равенства

p(£ + 0)u/(£ + 0) — p(£ — 0)u’(£ — 0) + u(£)AR(£) — u(£)AS(£) — AM(£) = 0 j

где p(£ + 0) = lim p(x), p(£ — 0) = lim p(x), u/(£ + 0) = u',(£), u/(£ — 0) = u-(£).

x^g+0 x^-g-O +

4. Вторая вариация функционала (2) является квадратичным функционалом

I(h) = [ ph/2 dx — f h2 dR + [ h2 dS , (5)

Jo Jo Jo

где h - произвольные функции из Eo. Заметим: если функция Q(x) = S(x) — R(x) монотонно не убывает на [0,/], то функционал I(h) неотрицателен для всех h Е Eo.

о

Обратимся к общему случаю, когда Q(x) - произвольная функция ограниченной вариации. Выпишем условие, достаточное для неотрицательности (5). Перепишем функционал (5) следующим образом:

i (ph2 + 2phh' z + rpz2h2 — 2phh z — pz2h2) dx + f h2 dQ =

Jo Jo

= i p(h + zh)2 dx — f (2phh z + pz2h2) dx + f h2 dQ .

o o o

где z(x) - некоторая допустимая функция, определяемая ниже. Для неотрицательности

I (h) достаточно подобрать такую функцию ограниченной вариации z(x), чтобы для всех

h Е Е0 i i

/ h2 dQ — (2phhz + pz2h2) dx = 0 . (6)

oo

Учитывая, что d(h2) = 2hh dx, и интегрируя по частям, перепишем равенство (6) в виде J h2(x) d ^Q(x) + p(x)z(x) — J rp(s)z2(s) ds^ =0 .

Таким образом, для неотрицательности I(h) достаточно, чтобы

px

Q(x) + p(x)z(x) — p(s)z2(s) ds = const. (7)

o

Выпишем условие, достаточное для существования функции z(x), удовлетворяющей

Ш1 (x)

(7). Для этого будем искать z(x) в виде z(x) =------, где ш(х) - строго положитель-

w(x)

ная и абсолютно непрерывная на [0, /] функция, такая, что ш! (x) является функцией ограниченной вариации. Подставив это представление в (7), получим равенство

Г 1 /

Q(x) ~ . , d(p(s)uj (s)) = const. (8)

Jo ш(^

Применим к (8) теорему 2, взяв в качестве функции f (x) (из теоремы 2) функцию ш^). Получим, что (8) эквивалентно равенству

РХ РХ i

и dQ = — ■ ш d(puj'),

Jo Jo ш

x

p(x) ш (x) — ш dQ = const .

o

Следовательно, для неотрицательности I(h) достаточно, чтобы уравнение

x

p(x)u' (x) — / udQ = const (9)

o

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

Итак, нами доказана следующая теорема.

Теорема 3. Пусть уравнение (9) имеет решение без нулей на [0, /]. Тогда для любого к Є Е0 выполнено I(к) ^ 0.

Уравнение (9) является аналогом уравнения Якоби.

Будем называть уравнение (9) неосциллирующим на [0,/], если всякое его нетривиальное решение имеет на [0,/] не более одного нуля. Заметим, что для отсутствия осцилляций (9), достаточно, чтобы функция Q(x) не убывала.

Далее нам потребуется следующий аналог теоремы Штурма о перемежаемости нулей, полученный в [3, гл. 7].

Теорема 4. Для любых двух линейно независимых решений р1, р2 уравнения (9) их нули в [0, /] перемежаются, то есть между двумя соседними нулями р>\ расположен по крайней мере один нуль р2, и наоборот.

Теорема 5. Следующие свойства эквивалентны:

1) уравнение (9) имеет решение без нулей на [0, /];

2) решение и(х) уравнения (9) при условиях п(0) = 0, п'(0) = 1 не имеет других нулей;

3) уравнение (9) не осциллирует на [0, /].

□ Докажем цепочку следствий 1) ^ 2) ^ 3) ^ 1).

1) ^ 2). Пусть <^(х) - решение уравнения (9) без нулей на [0,/]. Если решение п(х) из 2) обращается в нуль в точке п Є (0, /], то, по теореме 4, <^(х) обязано иметь на (0, п) нуль, что невозможно.

2) ^ 3). Если существует решение у(х), которое в точках пі и п2 обращается в нуль, то, по теореме 4, функция п(х) из 2) обязана иметь нуль на (пъ П2], что невозможно.

3) ^ 1). Пусть пі(х) - решение уравнения (9), удовлетворяющее условиям п(0) =

0, п'(0) = 1, а п2(х) - решение уравнения (9), удовлетворяющее условиям п(/) = 0, п'(/) = -1. Тогда п(х) = пі(х) + п2(х) - решение уравнения (9) без нулей на [0, /] (строго положительное). I

Для функционала (5) справедлив следующий аналог усиленной теоремы Якоби.

Теорема 6. Пусть уравнение (9) не осциллирует на [0,/]. Тогда существует число а0 > 0 такое, что для всех к Є Е0

и заметить, что при достаточно малых а для 1а(к) выполнены те же условия, что и для I(к). Единственная тонкость состоит в необходимости доказать корректность задачи Коши для уравнения (9). Но эта корректность установлена в [3, гл. 7]. I

□ Достаточно рассмотреть функционал

Аналогом классической теоремы Якоби оказывается следующая теорема.

Теорема 7. Пусть по - допустимое решение уравнения (4), а уравнение (9) не осциллирует. Тогда по дает минимум функционала (2) на множестве Ео.

□ Пусть по удовлетворяет уравнению (4) и условиям п(0) = А, п(/) = В. Достаточно показать, что Ф(по + к) — Ф(по) ^ 0 для любой к Є Е0.

После несложных преобразований получим:

Пусть

Тогда

Ф(и0 + h) — Ф(щ) = pu'0 dh — u0hdR + u0hdS—

Jo Jo Jo

- M dh ph'2 dx + fo h2 dS - Jo h2 dR) •

g(x) = u0 dR, ф(х) = u0 dS.

(10)

00

u0hdR = hdg = (hg) — / g dh, (11)

0

0

/ u0kdS = кdф = (кф) — ф dк. (12)

ио ио 0 ио

Внеинтегральные члены в (11) и (12) равны нулю, так как к Є Ео. В результате (10) примет вид

р1 / рХ рХ \

Ф(по + к) — Ф(по) = J \Рпо + J по dR — J по dS — М \ dh+

(/рк'2 с1х+1 ь2 с1Б~ !о ь2 ан Выражение, стоящее под знаком первого интеграла, равно нулю в силу того, что по

удовлетворяет уравнению (4). Второе слагаемое неотрицательно в силу теоремы 3. I

x

x

0

0

Литература

1. Данфорд Н., Шварц Дж.Т. Линейные операторы. I. Общая теория / М.: ИЛ, 1962. -896 с.

2. Колмогоров А.Н., Фомин С.В. Элементы теории функций и функционального анализа. -М.: Наука, 1976. - 544 с.

3. Покорный Ю.В., Пенкин О.М., Прядиев В.Л., Боровских А.В., Лазарев К.П., Шабров С.А. Дифференциальные уравнения на геометрических графах / М.: ФИЗМАТЛИТ, 2004. -272 с.

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

ON MEASURE TRANSFORMATION IN VARIATIONAL PROBLEM

FOR STIELTJES’ STRING

N.N. Riabceva, A.S. Kharchenko

Belgorod university of cooperation, economy and the right,

Sadovaya St., 116-a, Belgorod, 308000, Russia, e-mail: e-mail: riabceva-nn@ yandex.ru,

rkharchenko-as@yandex.ru

Abstract. The variation problem of Stieltjes’ string type is studied. Due to using impossibility of distribution theory methods the measure transformation is applied. This transformation is essential when the analog of Jacobi’s condition is constructed for analysis of variation conditions of second order.

Key words: differentiation on measure, integral functional, Euler’s equation, second variation, Jacobi’s equation, Jacobi’s theorem.