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

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

CC BY
112
43
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ДИФФЕРЕНЦИАЛЬНОЕ УРАВНЕНИЕ ВТОРОГО ПОРЯДКА / РАЗРЫВНАЯ НЕЛИНЕЙНОСТЬ / ПЕРИОДИЧЕСКОЕ РЕШЕНИЕ / ТОПОЛОГИЧЕСКАЯ СТЕПЕНЬ / SECOND ORDER DIFFERENTIAL EQUATION / DISCONTINUOUS NONLINEARITY / PERIODIC SOLUTION / TOPOLOGICAL DEGREE

Аннотация научной статьи по математике, автор научной работы — Павленко Вячеслав Николаевич, Асрян Арам Артакович

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

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

Похожие темы научных работ по математике , автор научной работы — Павленко Вячеслав Николаевич, Асрян Арам Артакович

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

Periodic solutions existencefor a second order differential equation with a discontinuous nonlinearity

An existence theorem is obtained for a periodic solution of an ordinary second order differential equation with discontinuous nonlinearity in the resonance case. The solutions are considered in the sense of differential inclusion. It is assumed that the non-linearity is of Borel (mod 0) and is bounded. At infinity, it satisfies the one-dimensional analogue of the Landesman Laser condition for resonant elliptic boundary value problems. The operator statement of the problem under consideration leads to the problem of the existence of fixed points in a multi-valued compact map. To describe the convexity of Nemytskiy operator generated by nonlinearity, the results of M.A. Krasnoselsky and A.V. Pokrovsky are used. The presence of a fixed point is established using the multi-valued version of the Leray Schauder method.

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

Челябинский физико-математический журнал. 2019. Т. 4, вып. 3. С. 323-332.

УДК 517.9

DOI: 10.24411/2500-0101-2019-14305

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

В. Н. Павленко", А. А. Асрянь

Челябинский государственный университет, Челябинск, Россия "[email protected], [email protected]

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

Ключевые слова: дифференциальное уравнение второго порядка, разрывная нелинейность, периодическое 'решение, топологическая степень.

где нелинейность f(t,x) борелева (mod 0) на [0,1] х R [1], т.е. отличается от некоторой борелевой лишь в некоторых точках (t,x), первые координаты которых принадлежат множеству нулевой меры. Заметим, что если функция f (t,x) борелева (mod 0), то она суперпозиционно измеримая. Последнее означает, что для любой измеримой на [0,1] функции x(t) композиция f (t, x(t)) измерима на [0,1]. Для f (t, x) монотонной по x борелевость (mod 0) эквивалентна суперпозиционной измеримости [1]. Если f (t, x) — каратеодориева (измерима по t для любого x Е R и неперерывна по x для почти всех t Е [0,1]), то она борелева (mod 0) [1]. Если f (t,x) измерима по t для любого x Е R, для почти всех t Е [0,1] и любого x Е R существуют конечные односторонние пределы f (t,x±) = f (t,n), и f (t, •) непрерывна

слева (справа) на R, то f (t,x) суперпозиционно измерима [2]. Введём следующие обозначения: f+(t,x) = limsupn^x f (t,n), f-(t,x) = liminfn^x f (t,n). Заметим, что f+(t,x) = max{f (t, x—), f (t,x+)}, f-(t,x) = min{f (t,x-),f (t,x+)}. Будем также предполагать, что f(t,x) Е [f_(t,x),f+ (t,x)].

Определение 1. Обобщённым решением задачи (1), (2) называется функция x Е W22[0,1], удовлетворяющая включению — x" Е [f_(t, x(t)), f+(t,x(t))] для почти всех t Е [0,1] и условиям периодичности (2).

Введение

Рассматривается периодическая задача

—x'' = f (t, x), t Е [0,1], x(0) = x(1), x'(0) = x' (1),

(1) (2)

Замечание 1. Так как W22[0,1] компактно вложно в C1 [0,1], то для x Е Wf [0,1] условия (2) имеют смысл.

Сформулируем основной результат статьи.

Теорема 1. Предположим, что

1) функция f (t,x) борелева (mod 0) на [0,1] х R, для почти всех t Е [0,1] существуют конечные односторонние пределы f (t,x±) для любого x Е R и f (t,x) Е [f-(t,x),f+(t,x)];

2) существует функция a Е L2[0,1] такая, что для почти всех t Е [0,1]

|f (t,x)|< a(t) Vx Е R; (3)

3) выполняются условия

^ f +(t)dt > 0, Г /_(t)dt< 0 (4)

/a

либо

f +(t)dt< 0, f_ (t)dt> 0, (5)

+

aa

где f±(£) = Иш8ирх^±те f (¿,х), /(¿) = Ишт£ f (¿,х).

Тогда задача (1), (2) имеет обобщённое решение.

Замечание 2. Условие 3) теоремы 1 является аналогом условий Ландесмана — Лазера для резонансных эллиптических краевых задач [3].

Периодические задачи для дифференциальных уравнений второго порядка и систем таких уравнений активно изучаются. Укажем на ряд таких работ. В статье чешских математиков [4] исследуется задача (1), (2) с нелинейностью f (¿,х), удовлетворяющей условиям Каратеодори. Методом нижних и верхних функций получены теорема существования положительных и отрицательных решений. При этом используются свойства топологической степени Лере — Шаудера. В [5] левая часть уравнения (1) имеет вид —х" — а(Ь)х(Ь), причём рассматривается нерезонансный случай, когда с помощью функции Грина задача существования периодического решения сводится к проблеме наличия неподвижной точки у интегрального оператора (предполагается, что нелинейность удовлетворяет условиям Каратеодори). Теорема существования периодического решения получается из теоремы Шаудера о неподвижной точке. В [6] для уравнения (1) устанавливается существование периодических решений одного знака на [0,1] комбинированием теоремы Красносельского о неподвижной точке [7, с. 148] с новыми свойствами функции Грина для нерезонансной задачи. Предварительно исходная задача преобразуется к нерезонансной. Предполагается, что нелинейность f (¿,х) каратеодориева. В [8] исследуется вопрос о существовании положительных периодических решений для уравнения со скалярным р-лапласианом и негладким потенциалом в нерезонансном случае. При р =2 уравнение в [8] совпадает с (1). Доказательство теоремы существования положительного периодического решения базируется на многозначной версии теории степени для (Б)+-операторов. В [9] рассматривается периодическая задача для системы из п дифференциальных уравнений второго порядка с нелинейностью, не зависящей от сингулярной в точках 0 < в < в2 < ... < вт и непрерывной в интервалах (0,в0, (въвг),-., (вт-1, вт), (вт, При п =1 получаем скаляр-

ный случай. Получены теоремы существования положительных периодических решений с оценками их числа в нерезонансном случае. Доказательства базируются

a

1

1

на хорошо известной векторной версии теоремы Красносельского о неподвижной точке [10, теорема 2.3.4]. В [9] говорят, что f (¿,х) сингулярна в точке х0, если Иш^хо f (х) =

Предположения теоремы 1 отличны от условий доказанных утверждений в перечисленных работах. Её доказательство проводится по той же схеме, что и в статьях [11; 12], где получены теоремы существования периодических решений для уравнений гиперболичекого типа с разрывными нелинейностями.

1. Операторная постановка задачи в пространстве Ь2[0,1]

Левая часть уравнения (1) порождает линейный, плотно определённый оператор В в Ь2[0,1] со значениями в ¿2[0,1]. Его область определения Д(В) = (х € Ж22[0,1] : х(0) = х(1),х'(0) = х'(1)}. Для любого х € Д(В) действие оператора В определяется равенством Вх = —х"(^). Так как Д(В) 3 С0°[0,1], то Д(В) = Ь2[0,1]. Далее через (• , •) и || • || обозначим скалярное произведение и норму в Ь2[0,1]. Покажем, что оператор В — самосопряжённый. Пусть V € Д(В*). Тогда (Вх,^) = (х,г) при х € Д(В), где г € Ь2[0,1]. Отсюда следует, что

1 1

/ — х"(ф(*)^ = х(ф(*)^ Ух € £(В). (6)

о о

Поскольку C0~[0,1] С D(B), то v G W22[0,1] и z = -v". Покажем, что v G D(B).

Имеем

-x"(i)v(i)di = x/(t)v/(t)di - x/(t)v(t)

i

= J x(t)(-vw(t))dt - x'(i)v(i)|1 ++v/(i)x(t)|0 = 0

1

= J x(t)(-v"(t))dt - x'(0)(v(1) - v(0))+ x(0)(v'(1) - v'(0)) Vx G D(B). (7)

0

В силу (6)

1 1 J -x"(t)v(i)di = J x(t)(-vw(t))dt Vx G D(B).

00

Поэтому (7) влечёт равенство -x/(0)(v(1) - v(0)) + x(0)(v/(1) - v/(0)) = 0 при всех x G D(B). Взяв x(t) = 1, получим v/(1) = v/(0), а если x(t) = sin2nt, то v(1) = v(0). Таким образом, v G D(B) и, значит, D(B*) = D(B). Кроме того, B*v = Bv при всех v G D(B*). Следовательно, B* = B, т.е. B — самосопряжённый оператор.

Собственные значения оператора B — это те A G R, для которых уравнение Bx = Ax имеет ненулевые решения. Они образуют точечный спектр а оператора B. Легко показать, что а = {4n2n2 : n G N U {0}}. Для A = 0 собственное подпространство одномерно и базисная функция /0 = 1. Для A = 4n2n2, n G N, собственное подпространство двумерное, а базисные функции /га1 = 2-1/2 sin2nnt, /га2 = 2-1/2 cos 2nnt. Заметим, что система {/0, /га1, /га2, n G N} образует ортонормиро-ванный базис в L2[0,1]. Его элементы будем обозначать /0, /1, /2,... , где /2га-1 = /га1,

1

1

0

1

12п = 1п2, а собственные значения Ао, Л1, А2,... , где Ао = 0, А2п-1 = А2п = 4п2п2, п е N.

Рассмотрим оператор

{те те ^

х = ^ X. е Ь2[0,1] : ^ А2х2 < > , .=о ¿=о )

действие которого определяется равенством

те

Ах := ^ А,х.. Ух е Я(А).

.7=0

Этот оператор самосопряжённый и на Я(А) совпадает с В. Действительно, если

п

X е Я (А), то ж(п) = Е х.. ^ X в Ь2[0,1], ж(п) е Я (В), Ах(п) = Вх(п) и Ах(п) ^ х

. =1

в Ь2[0,1]. Так как В замкнутый, то отсюда следует, что х е Я(В) и Вх = Ах. Следовательно, В — расширение А (А С В), но тогда А* расширение В*. Поскольку А и В самосопряжённые, то отсюда следует, что А = В.

те

Пусть А е 0". Тогда для любого у = ^ у.. е Ь2[0,1] уравнение (А — А/)х = у

. =о

те

имеет единственное решение х = ^ (а^а) е Я (А) и, следовательно, существует

7=о '

те

(А — А/)-1, причём (А — А/)-1у = ^(А. — А)-1у... Поскольку (А. — А)-1 ^ 0 при

.=о

] ^ то, то оператор (А — А/)-1 компактный в Ь2[0,1]. Таким образом, для любого А е 0 резольвента (В — А/)-1 — компактный линейный оператор в Ь2[0,1].

Рассмотрим оператор Немыцкого Т : Ь2[0,1] ^ Ь2[0,1], порождённый функцией f (£, х) : Т(х)(£) = f (£,х(£)), для любого х е Ь2[0,1]. Из суперпозиционной измеримости f (£, х) и неравенства (3) следует, что для любого х е Ь2[0,1] выполняется включение Т(х)(£) е Ь2[0,1] и

11^(х)|| < ||а|| Ухе^2[0,1]. (8)

Обозначим через ^°(х) овыпукливание оператора Т(х) : для любого х е Ь2[0,1]

^*(х) = р| со{у = Т(г) : ||х — г|| < е},

е>о

где её О — замкнутая выпуклая оболочка множества О С Ь2[0,1]. В [1, теорема 27.1] показано, что из условий 1) и 2) теоремы 1 следует, что ^°(х) = {г : [0,1] ^ К : г — измеримая на [0,1] функция и г(£) е [Д(£, х(£)), f+(t, х(£))] для почти всех £ е [0,1]} для любого х е Ь2[0,1].

Далее, если А е К из резольвентного множества оператора В, то, как показано выше, линейный оператор (В — А/)-1 вполне непрерывен в Ь2[0,1]. Из чего следует компактность многозначного отображения Та = (В — А/)-1 о — А/). Легко показать, что значения Та — выпуклые компакты. Докажем полунепрерывность сверху на Ь2[0,1] отображения Та. Последнее означает, что для любого х е Ь2[0,1] и открытого множества О 3 Тах найдётся окрестность и точки х, такая, что Та и С О. Допустим противное. Тогда существуют х е Ь2[0,1] и открытое множество О 3 Тах, такие, что для произвольного натурального т е N найдутся хт с ||хт — х|| < т и (т е ТАхт \ О. Каждый элемент (т представляется в виде (В — А/)-1^т, где

^ € Т°(хт) — Ахт. В силу оценки (8) последовательность ограничена. Из

этого факта и рефлексивности Ь2[0,1] следует существование подпоследовательности ), слабо сходящейся к некоторому V € Ь2[0,1]. В силу теоремы 27.2 из [1]

отображение совпадает с Т, Т (х) = (у € Ь2[0,1] : 3 (хп) С Ь2[0,1], Хп ^ Х, ^(хп) ^ у}. Отсюда следует, что V € ^°(х) — Ах. Так как (В — А/)-1 — линейный вполне непрерывный оператор, то (В — А/м (В — А/Поскольку (В — А/€ Тах С С и С — открытое множество, то = (В — А/)_^т для достаточно больших к принадлежит С, что противоречит выбору Полунепрерывность сверху отображения Та на Ь2[0,1] доказана.

Таким образом, многозначное отображение Та в Ь2[0,1] полунепрерывно сверху, компактно (ограниченные множества переводит в предкомпактные) и значения Та — выпуклые компакты. Оператор / — Та называют компактным многозначным векторным полем [13]. Для него определяется топологическая степень deg(/ — ТА,ВГ, 0) на шаре Вг = (х € Ь2[0,1] : ||х|| < г}, г > 0, образ границы которого при отображении / — Та не содержит нуля (0 — ноль пространства Ь2[0,1]) [13]. Отображение

й(х,т) = (1 — т)х + т(/ — Та(х)), х € Вг, т € [0,1], (9)

называется аффинной гомотопией, соединяющей / и / — Та, если для любых х € дВг и т € [0,1] элемент 0 € Л-(х,т). Если (9) является аффинной гомотопией, то deg(/ — ТА,ВГ, 0) = deg(/, Вг, 0) = 1 и, значит, существует х € Вг, такой, что 0 € (/ — Та)х [13]. Заметим, что последнее означает, что х € Тах, т. е. х — неподвижная точка отображения Та. Чтобы доказать, что (9) — гомотопия для некоторого г > 0, достаточно установить ограниченность множества (х € Ь2[0,1] : существует т € [0,1], для которого 0 € Л,(х,т)}, т.е. равномерную по т на [0, 1] ограниченность множества решений включений 0 € ^(х, т) (многозначная версия принципа Лере — Шаудера).

Перейдём к доказательству теоремы 1.

Доказательство. Фиксируем е € (0, 4п). Тогда / — Те и / — Т-е — многозначные компактные векторные поля в Ь2[0,1] и существование обобщённого решения задачи (1), (2) равносильно наличию неподвижной точки у отображенния Те или Т_е. В случае когда выполняется условие (4), доказывается существование неподвижной точки у отображения Те, а если выполняется условие (5), то — у отображения Т_е. Доказательство проводится в соответствии с многозначной версией принципа Лере — Шаудера методом от противного.

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

0 € [(1 — т)/ + т(/ — Т)](х), т € [0,1], (10)

ограничено в Ь2[0,1]. Заметим, что (10) равносильно включению х € тТ(х), т € [0,1]. Допустим противное. Тогда существуют последовательность (тп) С [0,1] и (хп) С Д(В) С Ь2[0,1], такие, что ||хп|| м- и хп € тпТхп для п € N. Включение хп € тпТхп равносильно

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

Вхп еХп тпСп етпХп (11)

где измеримая на [0,1] функция удовлетворяет включению Сп(^) € [^(¿, Хп(£)), /+(£,хп(£))] почти всюду на [0,1]. Так как пространство Ь2[0,1] гильбертово, то ограниченная последовательность vn = хп/||хп|| содержит слабо сходящуюся подпоследовательность в Ь2[0,1]. Не теряя общности, можно считать что vn ^ V в

L2[0,1] и тп ^ т Е [0,1]. Здесь ^ обозначение слабой сходимости. Поделив обе части (11) на ||xn||, получим

Bvn - (1 - Tn)tVn = TnZn/ЦХпЦ (12)

В силу оценки (8) последовательности (n ограничена в L2[0,1], поэтому правая часть (12) стремится к нулю при n ^ то и, значит, Bvn — (1 — Tn)tvn ^ 0 в L2[0,1]. Последнее влечёт слабую сходимость Bvn к (1 — т)ev. Так как график B в L2[0,1] х L2[0,1] — замкнутое и выпуклое множество, то он слабо замкнут (напомним, что линейный оператор B замкнутый, что равносильно замкнутости его графика). Отсюда следует, что v Е D(B) и Bvn ^ Bv. Следовательно, Bv = (1 — т)ev. Так как линейный оператор (B — el)-1 компактный и un = тп^п/|хп| — e^v.n, ^ eтv, то vn = (B — el)-1un ^ (B — el)-1eтv. Так как ||vn|| = 1 и (vn) сильно сходится к v в L2[0,1], то ||v|| = 1. Более того, последовательность, сходящаяся в L2[0,1], всегда содержит подпоследовательность, сходящуюся почти всюду на [0, 1]. Поэтому, не теряя общности, можно считать, что vn(t) ^ v(t) почти всюду на [0, 1], переходя при необходимости к подпоследовательности. Выше было показано, что Bv = (1 — т)ev, т Е [0,1]. Поскольку, v = в, то (1 — т)e — собственное значение B. Последнее возможно только при т = 1. В противном случае (1 — т)e принадлежит резольвентному множеству оператора B (согласно выбора e), что влечёт равенство нулю функции v.

Итак, v — собственная функция оператора B, соответствующая нулевому собственному значению. Поскольку ||v|| = 1, то либо v = 1, либо v = —1. Умножим скалярно на v (11), получим

(Bxn,v) — e(1 — rn)(||xn||vn, v) = rn((n,v). (13)

Так как (Bxn,v) = (xn,Bv), то из (13) следует, что

(Zn,v) = —<e^1 — ||xn|(vn,v). (14)

Поскольку тп ^ 1 — , (vn,v) ^ ||v|2 = 1 и e > 0, из (14) следует, что

limsup(Zn,v) < 0. (15)

n—>-<x

Пусть v =1. Из условия 2 теоремы 1 и леммы Лебега — Фату [14] имеем цепочку неравенств

1 1 liminf(Zn,v) ^ liminf / f-(t,xn(t))dt ^ / liminf f-(t, ||xn||vn(t))dt ^

n—x n—x J J n—x

0 0

1 1

^ / liminf f (t, x)dt = f (t)dt> 0

J Ж —+ x J -+

00

с учётом сходимости vn к 1 почти всюду на [0,1], ||xn|| — к +то, и условия (4). Получено противоречие с (15).

Аналогично, если v = — 1 на [0,1], то

1 1 1

liminf(Zn, v) = liminf / —(n(t)dt ^ / liminf(—(n(t))dt = — limsup(n(t)dt ^

n—x n—x J J n—x J n—x

0 0 0

^ - limsupf+(t, ||xn||vn(t))dt ^ - limsup f (t, x)dt = - f (t)dt > 0.

J га^-те J ж^—те

00

Здесь была использована сходимость к —1 почти всюду на [0,1], сходимость

||хп|| к и условие (4). Получено противоречие с (14).

Пусть теперь выполенено условие (5). Схема доказательства остаётся прежней с заменой е на —е. В частности, теперь Т = Т_£. Равенство (11) примет вид Вхп + ехп = тп+ етпхп, а неравенство (15) —

Пшт£(С„^) > 0, (16)

га^-те

где V = 1 или —1 на [0, 1]. При V = 1, используя условие 2 теоремы 1 и лемму Лебега — Фату, с учётом сходимости vn к 1 почти всюду на [0,1] и сходимости ||хп|| м имеем

Ишвир^^) ^ Ишвир / f+(í,xn(í))dí ^

га^-те га^-те 3

0

1 1 1

^ / Ишвир/+(£,хп^ / Ишвирf (¿,х)^£ = /г+(£)^,

J га^те J ж^+те J

0 0 0

где последний интеграл в силу условия (5) отрицателен. Получено противоречие с неравенством (16).

Аналогично, если V = — 1 на [0,1], то

limsup(Zn, v) = limsup / -Z„(t)di ^ / limsup(-Z„(t))di = - liminf Z„(t)di ^

га^-те га^-те J J га^-те

00

га—>oo

^ — Ншт£Д^, ||хп|^п(£))^ ^ — ИшШf (¿,х)^£ = — f

/ га^те / ж^-_те / —_

0 0 0

Но по условию (5) правая часть доказанного неравенства отрицательна, что противоречит (16). Теорема 1 доказана. □

1

1

1

1

1

1

1

1

1

1

Список литературы

1. Красносельский, М. А. Системы с гистерезисом / М. А. Красносельский, А.В.Покровский. — М. : Наука, 1983. — 448 с.

2. Шрагин, И. В. Условия измеримости суперпозиций / И.В.Шрагин // Докл. АН СССР. — 1971. — Т. 197, № 2. — С. 295-298.

3. Landesman, E. M Nonlinear perturbations of linear e11iptic boundary value problems at resonance / E. M. Landesman, A. C. Lazer // Journal of Mathematics and Mechanics. — 1970. — Vol. 19, № 7. — P. 609-623.

4. Rachunkova, I. Existence of nonnegative and nonpositive solutions for second order periodic boundary value problems / I. Rachunkova, M.Tvrdy, I.Vrkoc // Journal of Differential equations. — 2001. — Vol. 176. — P. 445-469.

5. Torres, P. Weak singularities may help periodic solutions to exist / P. Torres // Journal of Differential equations. — 2007. —Vol. 232. — P. 277-284.

6. Torres, P. Existence of one-signed periodic solutions of some second-order differential equation via a Krasnoselskii fixed point theorem / P. Torres // Journal of Differential equation. - 2003. - Vol. 190 - P. 643-662.

7. Krasnosel'sii, M. A. Positive Solutions of Operator Equations / M. A. Krasnoselsii. — Groningen : P. Noordhoff Ltd., 1964. — 381 p.

8. Filippakis, M. Positive solutions for nonlinear periodic problems / M. Filippakis, N. Papageorgion, V. Staicu // Positivity. — 2008. — Vol. 12. — P. 433-750.

9. Wang, Y. On positive periodic solutions of second order singular equations / Y. Wang, Y.Ru // Boundary Value Problems. — 2018. — Vol. 114. — P. 1-10.

10. Guo, D. Nonlinear Problems in Abstract Cones / D.Guo, V. Lakshmicantham. — New York : Academic Press, 1988. — 275 p.

11. Галиханов, И. Ф. Периодические решения телеграфного уравнения с разрывной не линейностью / И. Ф. Галиханов, В. Н. Павленко // Уфим. мат. журн. — 2012. — Т. 4, № 2. — С. 74-79.

12. Павленко, В. Н. Периодические решения уравнения колебаний струны с граничными условиями Неймана и Дирихле и разрывной нелинейностью / В.Н.Павленко, Т. А. Петраш // Тр. Ин-та математики и механики УрО РАН. — 2012. — Т. 18, № 2. — С. 199-204.

13. Ma, T. W. Topological degree for set valued compact vector fields in locally convex spaces / T. W. Ma // Rozprawy Mat. — 1972. — Vol. 92. — P. 3-47.

14. Иосида, К. Функциональный анализ / К.Иосида. — М. : Мир, 1967. — 624 c.

Поступила в 'редакцию 18.01.2019 После переработки 21.06.2019

Сведения об авторах

Павленко Вячеслав Николаевич, доктор физико-математических наук, профессор, заведующий кафедрой вычислительной математики, Челябинский государственный университет, Челябинск, Россия; e-mail: [email protected].

Асрян Арам Артакович, аспирант математического факультета, Челябинский государственный университет, Челябинск, Россия; e-mail: [email protected]

Chelyabinsk Physical and Mathematical Journal. 2019. Vol. 4, iss. 3. P. 323-332.

DOI: 10.24411/2500-0101-2019-14305

PERIODIC SOLUTIONS EXISTENCE

FOR A SECOND ORDER DIFFERENTIAL EQUATION

WITH A DISCONTINUOUS NONLINEARITY

V.N. Pavlenko", A.A. Asryanb

Chelyabinsk State University, Chelyabinsk, Russia "[email protected], [email protected]

An existence theorem is obtained for a periodic solution of an ordinary second order differential equation with discontinuous nonlinearity in the resonance case. The solutions are considered in the sense of differential inclusion. It is assumed that the non-linearity is of Borel (mod 0) and is bounded. At infinity, it satisfies the one-dimensional analogue of the Landesman — Laser condition for resonant elliptic boundary value problems. The operator statement of the problem under consideration leads to the problem of the existence of fixed points in a multi-valued compact map. To describe the convexity of Nemytskiy operator generated by nonlinearity, the results of M.A. Krasnoselsky and A.V. Pokrovsky are used. The presence of a fixed point is established using the multi-valued version of the Leray — Schauder method.

Keywords: second order differential equation, discontinuous nonlinearity, periodic solution, topological degree.

References

1. Krasnosel'skii M.A., Pokrovsky A.V. Sistemy s gisterezisom [Systems with hysteresis]. Moscow, Nauka Publ., 1983. 448 p. (In Russ.).

2. ShraginI.V. Usloviya izmerimosti superpozitsiy [Conditions for the measurability of superpositions]. Doklady Akademii Nauk SSSR [Reports of USSR Academy of Science], 1971, vol. 197, no. 2, pp. 295-298. (In Russ.).

3. Landesman E.M., Lazer A.C. Nonlinear perturbations of linear e11iptic boundary value problems at resonance. Journal of Mathematics and Mechanics, 1970, vol. 19, no. 7, pp. 609-623.

4. Rachunkova I., Tvrdy I., Vrkoc J. Existence of nonnegative and nonpositive solutions for second order periodic boundary value problems. Journal of Differential equations, 2001, vol. 176, pp. 445-469.

5. Torres P. Weak singularities may help periodic solutions to exist. Journal of Differential equations, 2007, vol. 232, pp. 277-284.

6. Torres P. Existence of one-signed periodic solutions of some second-order differential equation via a Krasnoselskii fixed point theorem. Journal of Differential equations, 2003, vol. 190, pp. 643-662.

7. Krasnosel'skii M.A. Positive Solutions of Operator Equations. Groningen, P. Noordhoff Ltd., 1964. 381 p.

8. Filippakis M., Papageorgion N., StaicuV. Positive solutions for nonlinear periodic problems. Positivity, 2008, vol. 12, pp. 433-750.

9. WangY., RuY. On positive periodic solutions of second order singular equations. Boundary Value Problems, 2018, vol. 114, pp. 1-10.

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

10. GuoD., Lakshmicantham V. Nonlinear Problems in Abstract Cones. New York, Academic Press, 1988. 275 p.

11. Galikhanov I.F., PavlenkoV.N. Periodic solutions of the telegraph equation with a discontinuous nonlinearity. Ufa Mathematical Journal, 2012, vol. 4, no. 2, pp. 74-79.

332

B. H. naB^eHKo, A. A. AcpaH

12. Pavlenko V.N., PetrashT.A. Periodicheskiye resheniya uravneniya kolebaniy struny s granichnymi usloviyami Neymana i Dirikhle s razryvnoy nelineynost'yu [Periodic solutions of the string oscillations equation with Neumann and Dirichlet boundary conditions and with a discontinuous nonlinearity]. Trudy Instituta matematiki i mechaniiki UrO RAN [Proceedings of the Institute of Mathematics and Mechanics of Ural Branch of RAS], 2012, vol. 18, no. 2, pp. 199-204. (In Russ.).

13. Ma T.W. Topological degree for set valued compact vector fields in locally convex spaces. Rozprawy Mat., 1972, vol. 92, pp. 3-47.

14. YosidaK. Functional analysis. Berlin — Höttingen — Geidelberg, Springer-Verlag, 1965. 501 p.

Accepted article received 18.01.2019 Corrections received 21.06.2019

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