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

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

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

Аннотация научной статьи по математике, автор научной работы — Покорный Ю. В., Бахтина Ж. И., Ищенко А. С.

В работе обсуждается нерегулярная модель стилтьесовской струны -р(х)и'(х) + р(+0)и'(+0) + J0 xи (τ)dQ(τ) = = F(x) F(0) на отрезке [0,l] при краевых условиях и (0) = и (l) = 0. Описываются условия разрешимости вышеуказанной задачи.

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

On Solvability of Certain Classes of Irregular the Second Order Variation Problems

In the work the irregular model -р(х)и'(х) + р(+0)и'(+0) + J0 xи (τ)dQ(τ) = = F(x) F(0) of the Stiltjes string on segment 0 [0,l] with boundary conditions и (0) = и (l) = 0 is discussed. The solvability conditions of the mentioned problem are described.

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

в = —C

rr + r2 + 1

r(1 + r2)(p+1)/2 •

Положим C = -1. С использованием (18) равенство (19) примет вид a =

p — 1

C

(p-i)/2

(20)

аналогично из (20)

получим в =

1

Р — 1 r2 C(p-1)/2

Применяя теорему 3, получаем, что р-минимальная поверхность устойчива на интервале (Ь0, Ь),

(р — 1)п

определяемом из неравенства Ь — Ь0 < —(Р-1)/2 '

Со V

Для определения интервала неустойчивости р-минимальной поверхности заметим, что Ь = Ь(т) — обратная функция к т = т(Ь), тогда й(Ь(т)) = Vйт. Так как производная обратной функции опреде-

, 1 /1ПЧ . йт йт _

ляется по формуле V = — и, учитывая (18), получаем йЬ = — = —, ^ ^ . Следовательно,

интервал неустойчивости находится из неравенства

p

r л/С0г2/(р-1) — 1

r(t) dr

(p — 1)со

r(to) r

C0 r p-1 — 1

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

1. Дубровин Б.А., Новиков С.П., Фоменко А.Т. Современная геометрия: Методы и приложения. М.: Наука, гл. ред. физ.-мат. лит. 1986. 760 с.

2. Клячин В.А., Миклюков В.М. Максимальные гиперповерхности трубчатого типа в пространстве Минков-ского // Изв. АН СССР. Сер. мат. 1991. Т. 55, № 1. С. 206-217.

3. Тужилин А.А. Индексы типа Морса двумерных минимальных поверхностей в М3 и Н3 // Изв. АН СССР. Сер. мат. 1991. Т. 55, № 2. С. 581-607.

4. Тужилин А.А., Фоменко А.Т. Элементы геометрии и топологии минимальных поверхностей. М.: Наука, 1991. 174 с.

5. Клячин В.А., Медведева Н.М. Об устойчивости экстремальных поверхностей некоторых функционалов типа площади. Волгоград, 2006. Деп. в ВИНИТИ

08.11.06 № 1313 - B 2006. 23 с.; Сибирские электронные математические известия. 2007. Т. 4. Статьи. С. 113132.

6. Tkachev V.G. External Geometry of p-Minimal Surfaces // Geometry from the Pacific Rim, Eds.: Berrick/Loo/Wang, Walter de Gruyter&Co., Berlin, 1997. P. 363-375.

7. Позняк Э.Г., Шикин Е.В. Дифференциальная геометрия: первое знакомство. М.: Изд-во МГУ, 1990. 384 с.

8. Клячин В.А., Миклюков В.М. Признаки неустойчивости поверхностей нулевой средней кривизны в искривленных лоренцевых произведениях // Мат. сб. 1996. Т. 187, № 11. С. 67-88.

9. Харди Г.Г., Литтльвуд Дж.Е., Полиа Г. Неравенства. М.: Гос. изд-во иностр. лит., 1948. 250 с.

УДК 517.927

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

Ю.В. Покорный, Ж.И. Бахтина, А.С. Ищенко*

Воронежский государственный университет, кафедра математического анализа * Белгородский университет потребительской кооперации, кафедра естественно-научных дисциплин E-mail: pokorny@math.vsu.ru, Ischenko-AS@Yandex.ru

В работе обсуждается нерегулярная модель стилтьесовской

x

струны -p(x)u/(x) + p(+0)u/(+0) + f u(t)dQ(r) =

о

= F(x) - F(0) на отрезке [0,1] при краевых условиях u(0) = u(l) = 0. Описываются условия разрешимости вышеуказанной задачи.

On Solvability of Certain Classes of Irregular the Second Order Variation Problems

Yu.V. Pokornyi, Zh.I. Bakhtina, A.S. Ischenko

In the work the irregular model -p(x)u/(x) + p(+0)u/(+0) +

x

+ /u(t)dQ(r) = F(x) - F(0) of the Stiltjes string on segment

0

[0,1] with boundary conditions u(0) = u(l) = 0 is discussed. The solvability conditions of the mentioned problem are described.

В работе обсуждаются условия разрешимости задачи

— (pu')' + Q'u = F'

(1)

p

2

© Ю.В. Покорный, Ж.И. Бахтина, А.С. Ищенко, 2007

Ю.В. Покорный и др. О разрешимости некоторых классов нерегулярных вариационных задач на отрезке [0,1] при краевых условиях

и(0) = и(1) = 0. (2)

Условия (2) взяты однородными для упрощения формулировок. В уравнении (1) функции р, Q, Е предполагаются лежащими в БУ[0,1], то есть имеющими ограниченные вариации на [0,1]. При этом Q/ и Е/ означают обобщенные в некотором смысле производные функций Q и Е. Точно так же и (рп'У означает обобщенную производную от функции р(х) .

Мы будем считать адекватной для (1) формой следующее уравнение:

X

-р(х)и/(х) + р(+0)и/(+0) + | и(т) ) = Е(х) - Е(0). (3)

0

Интеграл, определяющий здесь второе слагаемое, понимается по Стилтьесу. Уравнение (1) получается из (3) формальным дифференцированием. С другой стороны, если уравнение (1) сочетает слагаемые абстрактного характера (поскольку обобщенные производные — абстрактные функционалы) и не имеет поточечного смысла, то уравнение (3) является поточечно интерпретируемым (при каждом х). Следует отметить, что уравнение (3) является формальным аналогом уравнения Эйлера для функционала

I /2 I 2 I

Ф(и) = JP~y dx + J dQ — J u dF. (4)

Последняя запись является канонической [1] для выражения потенциальной энергии стилтьесов-ской струны (в терминах М.Г. Крейна [2]); здесь dQ(x) определяет локальный коэффициент упругости окружающей среды, dF — плотность внешней нагрузки, приходящейся на элемент dx (от x до (x + dx)) упругой нити, а p(x) — натяжение этого элемента.

Мы рассматриваем нерегулярный случай уравнения (3). Это антитеза случаю, когда Q и F гладки и p(x) непрерывна и не имеет нулей на [0,1]. В этом последнем случае (1) приобретает стандартный для обыкновенных дифференциальных уравнений вид — (pu/)/ + qu = f при q = Q/, f = F/ и p ^ 0. Обсуждаемый ниже случай допускает не только потерю гладкости у коэффициентов Q, F, но и наличие разрывов, что приводит уравнение (1) к дельта-образным членам в коэффициентах Q/ и F/. При этом мы допускаем возможность обнуления функции p(x). Именно в этом последнем аспекте данная работа содержит основное научное продвижение.

1. При обсуждении вопроса о разрешимости задачи (1)-(2) или, как мы увидим дальше, задачи (3)-(2) первый вопрос, требующий выяснения, это вопрос о пространстве, где должно искаться соответствующее решение. Актуальность анализа этого вопроса определена еще столетие назад классическим примером Гильберта (см. [3]), где совершенно тривиальный внешне функционал Ф(и) =

1 2

= J xз u/2(x) dx при условиях u(0) = 0, u(1) = 1, очевидно, определенный на всем пространстве

0

C1 [0,1], не достигает своего минимума в этом пространстве — легко проверяется, что inf Ф(п) достигается на функции u0(x) = x3. В самом деле, для любой h(x) Е C1 [0,1] с нулями на концах имеем:

1 1 ДФ = Ф^0 + h) — Ф^0) = У 2x3 u0(x)h/(x) dx + Jx3h/2(x) dx.

00

Поскольку u0 (x) = 3x-3, то в предыдущей сумме первое слагаемое приобретает вид

1 1 11 [ж [2 2 2 2 Г 22 2 [ 2

2x3u0(x)h/(x) dx = зx3x-3h/(x) dx = 3 x3x-3 dh = 3 dh = ^(h(1) — h(0)) = 0.

0 0 00

1 2

Таким образом, ДФ = J x3h/2 dx > 0 для любого h Е C 1[0,1]. Это значит, что inf функционала

0

Ф^), определенного на [0,1], достигается за пределами C1. Но тогда возникает резонный вопрос об использовании уравнения Эйлера для нерегулярных вариационных задач — в данном примере оно

0

0

0

имеет вид (х2u')' = 0. Естественно, что следует максимально расширять пространство потенциальных решений таких уравнений.

Несложно проверяется, что уравнение (3), как формальная запись, является необходимым условием для минимали функционала (4). Точнее, если u0 ^ inf Ф, то скалярная функция ^(А) = Ф(и0 + Ah) для любого допустимого h принимает минимальное значение при А = 0 и потому ^(А)|а=о = 0,

i i i

откуда чисто формальными выкладками следует, что J pu'h' dx + J uh dQ — f h dF = 0 (для каждо-

0 0 0

го допустимого h). Интересуясь непрерывными экстремалями и пользуясь теоремой о преобразовании меры [6], мы, полагая da = udQ, отсюда после интегрирования по частям первого слагаемого ill i (/pu'h' dx = f pu' dh = — f hd(pu')) будем иметь f hd[—pu' + a — F] =0. Для любой непрерывной

0 0 0 0

функции h(x). Отсюда напрямик следует уравнение (3), если воспользуемся леммой Дюбуа-Реймона.

В проведенной схеме рассуждений отсутствует главное — точное описание класса рассматриваемых функций. Приведенный выше пример Гильберта говорит о том, что при достаточно широких условиях на p(x) даже отсутствие у функционала Ф второго и третьего слагаемых в представлении (4) не позволяет ограничиться пространством C1. Наличие в представлении (4) нерегулярных коэффициентов p и Q тем более требует расширения множества функций, допустимых для анализа.

2. Основное пространство рассматриваемых функций, обозначаемое через E, мы определим так: E — множество непрерывных на сегменте [0,1] функций, каждая из которых:

а) абсолютно непрерывна на [0,1], т.е. имеет суммируемую на [0,1] призводную u'(x), причем

X

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

u(x) = u(0) + f u'(т)dr, где суммирование подразумевается по Лебегу;

0

б) для произвольной u(x) предполагается включение pu' е BV[0,1].

Последнее условие о принадлежности pu' пространству BV[0,1], т.е. об ограниченности вариации функции p(x)u'(х), является ограничением, необходимым для осмысленности первого слагаемого в

i i

(4). В самом деле, /pu'2 dx = f pu'du и последний интеграл в силу предполагаемой непрерывности

00

u(x) определен по теореме Стилтьеса. По аналогичной причине из непрерывности u(x) следует определенность второго и третьего слагаемых в (4). Пространство E, являясь более узким, чем любое

соболевское пространство с весом p, оказалось по вышесказанному наиболее естественной областью определения функционала Ф. Именно в этом пространстве мы обсуждаем разрешимость вариационной задачи для функционала (4) и связанную с этим разрешимость краевой задачи (3)-(2).

Мы предполагаем всюду далее, что p, Q, F имеют ограниченные вариации на [0,1], причем p(x) > 0 (при 0 < х < I).

Лемма 1. Для того чтобы функция u0 (х) давала минимум функционалу (4), необходимо и достаточно, чтобы функция u0(х) удовлетворяла задаче (3)-(2).

Доказательство проводится тривиальным расписыванием приращения ДФ = Ф^0 + h) — Ф^0), а именно

(i i i \ j p(u0 + h')2 dx + J (u0 + h)2 dQ — j(u0 + h) dF J —

0 0 0 /

i '2 i 2 i\i i i

p^^ dx + J -2° dQ — J u0dF | = I pu0h' dx + / u0hdQ — / hdF.

00

Если последнее выражение неотрицательно для любой допустимой Л,(х), в силу его линейности по h оно должно быть тождественным нулем.

Таким образом, вместо вопроса о существовании минимума для функционала Ф мы вправе обсуждать вопрос о разрешимости краевой задачи (3)-(2).

3. Проблему разрешимости уравнения (3) мы сначала обсудим для уравнения (3) начальных условий u(0) = y0, u'(+0) = y1 .

Теорема 1. Пусть функция p суммируема на (0,1), функция Q(Xy ограничена и Q^) не убывает. Тогда уравнение (3) при любых начальных условиях имеет единственное решение в E.

34

Научный отдел

Доказательство. С учетом новых условий уравнение (3) можно заменить следующим:

X

(—Ц)(х) = р(0)71 + J и(з)^ф(5) - Е(х) + Е(0), (5)

о

откуда следует, что и(х) = 7о +/ (/ и(з)^(5))Й- + / (Е(0) - Е(5)+ —(0)^(0))^5. Перепишем

X

и( '

о о о

последнее равенство в виде

и = Аи + г, (6)

полагая

X Т

(Аи)(х) ^ у р-Ту ^ и(5)^^(5))^Т (7)

оо

и

X

г (х) = / —(5)(Е (0) - Е (5)+ Р(0)и/(0))Й5- (8)

о

Утверждение нашей теоремы эквивалентно тому, что уравнение (6) однозначно разрешимо при любом г. Из представления (8) в силу суммируемости 1/— видно, что при и е Е (и даже при и е С [а, 6]) функция г(х) е С [а, 6]. Мы вопрос о разрешимости уравнения (6) будем обсуждать в пространстве

С [а, 6]. Допустимость сужения нашего вопроса (на пространство С [а, 6]) легко объяснима тем, что ре-

шение и(х) уравнения (6) должно удовлетворять тождеству (5), в котором стоящие справа слагаемые наверняка принадлежат ВУ[0,1]. Поэтому в ВУ[0,1] лежит и (ри/)(х), а это означает, что и(-) е Е.

Доказательство разрешимости (6) в С [а, 6] основано на двух обстоятельствах. Во-первых, оператор А, определяемый равенством (7), действует и ограничен в С и, кроме того, его спектральный радиус меньше 1.

X

Проверка действия А из С в С элементарна: для любой и(х) функция / и(з)Й5 имеет ограниченную

о

вариацию. Потому она суммируема и в силу суммируемости 1/— функция (Аи)(х) непрерывна. Более того,

X Т X

|(Аи)(х)| < ||и|| У —(-) У йф(з)йт = ||и|| У ^(Т^ ^ )^(0)^-, (9)

о о о

что и означает непреывность оператора А в С [а, 6] (в (9) ||и|| взята в смысле С [а, 6]).

Оценим теперь спектральный радиус оператора А в С [а, 6]. Аналогично (9) для любой ^ е С [а, 6] верно:

X

|(А^)(х)| < 1М1У ^(-—^Т^(0)^Т < (10)

о

где через К обозначена конечная по условию верхняя граница отношения • Отсюда аналогично предыдущему следует, что |А2^(х)| < |А(А^)(х)| < ЦА^ЦКх < ||^||. Поэтому при любом

п |АП^(х)| < ||^|| КПТ" . Теперь, переходя к оценке нормы левой части, имеем || Ап || < . Отсюда

следует, очевидно, что спектральный радиус г = ПII Ап|| = 0. Теорема полностью доказана. □

Замечание. Доказывая существование решения уравнения, мы идем к главной задаче — к доказательству существования минимума для функционала Ф.

Следствие. При Е(х) = 0 мы из (3) получаем соответствующее однородное уравнение, для которого согласно доказанной теореме однозначно определяются решения начальных задач:

р(0)=0У (+0) = 1 (11)

и

^(0) = 1,^(+0) = 0. (12)

Лемма 2. Функции ^(х),^(х), определенные условиями (11) и (12) для соответствующего однородного уравнения (при Е(х) = 0), линейно независимы.

Доказательство следует из единственности решения однородного уравнения с нулевыми начальными условиями.

Таким образом, функции ^(х),-0(х) образуют фундаментальную систему решений однородного уравнения, т.е. базис в пространстве таких решений. С помощью этой системы {^,"0} при любых условиях на концах соответствующее решение уравнения (3) наверняка представимо при надлежащем выборе C1, C2 в виде u^) = г(х)+С1^(х)+С2^(х), где г(х) — решение уравнения (3), обеспечиваемое теоремой 1.

Теорема 2. Для однозначной разрешимости уравнения (3) при любом F(х) е BV и при любых значениях на концах необходимо и достаточно, чтобы соответствующее однородное уравнение (3) (при F(х) = 0) и условиях (2) имело только тривиальное решение u^) = 0.

Теорема 3. Для однозначной разрешимости вариационной задачи (2), (4) достаточно, чтобы функция Q^) была неубывающей.

Доказательство. Покажем, что однородное уравнение (3) (при F(х) = 0)при условиях (2) имеет

X

только тривиальное решение. Пусть зд(х) — нетривиальное решение уравнения (pu')(х) = J udQ

0

при условиях (2). Пусть для определенности u0(t) > 0 всюду на промежутке [0,т]. Тогда, так как

Т

u0(т) = 0, мы должны иметь / u(s) dQ(s) = 0, откуда в силу неубывания Q мы получаем противоречие

0

с неравенством u^) > 0 при 0 < х < т. □

В заключение отметим, что введенное нами пространство E является банаховым по норме

||u|| = sup ^(х)| + V°i [pu'(х)].

[o,i]

Доказательство этого факта существенно опирается на классические теоремы Хелли и ввиду достаточной деликатности в сочетании с громоздкостью в данной работе не приводится.

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

1. Покорный Ю.В. О дифференциалах Стилтьеса в обобщенной задаче // Докл. АН. 2002. Т. 383, № 5.

С. 1-4.

2. Кац И.С., Крейн М.Г. О спектральных функциях струны // Дискретные и непрерывные граничные задачи. М.: Мир, 1968.

3. Алексеев В.М., Тихонов В.М., Фомин С.В. Оптимальное управление. М.: Наука, Гл.ред. физ.-мат.лит.,

1979. 432 с.

4. Покорный Ю.В, Зверева М.Б., Шабров С.А. О за-

даче Штурма-Лиувилля для разрывной струны // Изв. вузов. Северокавказ. регион. Естественные науки. Математика и механика сплошной среды. 2004. Спецвыпуск. С. 186-191.

5. Pokornyi Yu.V., Shabrov S.A Toward a Sturm-Liouville Theory for an Equation With Generalised Coefficient // J. of Mathematical Sciences. 2004. V. 119, № 6. P. 769-787.

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

УДК 517.923

О РАЗРЕШИМОСТИ ИНТЕГРО-ДИФФЕРЕНЦИАЛЬНОГО УРАВНЕНИЯ С РАСШИРЕННЫМ ИНТЕГРАЛОМ СТИЛТЬЕСА

А.А. Ткаченко, С.А. Шабров

Воронежский государственный университет,

кафедра математического анализа

E-mail: 191180@mail.ru, shabrov_s_a@info.vsu.ru

В работе доказывается разрешимостьзадачи Коши для интегро-дифференциального уравнения с расширенным интегралом Стилтьеса.

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

About Solvability of Integro-Differential Equation with Extended Stieltjes Integral

A.A. Tkachenko, S.A. Shabrov

In the paper are proved solvability of initial-value problem for integro-differential equation with Stieltjes integral.

В работе изучается вопрос о разрешимости интегро-дифференциального уравнения

—pu'(х) + ud[Q] = F(х) — F(0) — pu'(0) (х е [0,1]2)

(1)

X

о

© А.А. Ткаченко, С.А. Шабров, 2007

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