Full Text

Введение Рассматривается задача (1) (2) где и - заданные непрерывные функции; функция измерима. Уравнение вида (1) впервые рассмотрел в своей работе 1928 г. Льенар [1]. Это уравнение он изучал в связи с проблемой нелинейного затухания колебаний в электрических цепях. В дальнейшем уравнение (1) для различных случаев функций f и g многие авторы исследовали как математические модели реальных процессов. Например, уравнение Льенара возникает в модели Шермана - Ринзеля - Кайзера в биомедицине [2]. Многие специалисты изучали уравнение (1) в связи с 16-й проблемой Гильберта [3, 4]. Периодическая задача (1)-(2) была рассмотрена в работе [5]. Введем в рассмотрение следующие банаховы пространства: - пространство суммируемых по Лебегу с квадратом на отрезке функций с нормой - пространство абсолютно непрерывных вместе с первой производной функций таких, что с нормой Через обозначим подпространство пространства W2 такое, что Решением задачи (1)-(2) будем называть такую функцию которая почти всюду на удовлетворяет уравнению (1) и периодическим краевым условиям (2). В предлагаемой работе получены достаточные условия разрешимости задачи (1)-(2). Отметим, что для частного случая уравнения (1), когда т.е. для уравнения Ван дер Поля, достаточные условия разрешимости периодической задачи получены в работе [6]. При этом ввиду специфики функции g соответствующий результат опирается на теорему существования, приведенную в этой же работе. 1. Общие определения и обозначения. Теорема существования Приведем необходимые общие определения и теорему существования, которая потребуется для доказательства основных результатов. Аналогичный подход для изучения задачи (1)-(2), но с применением другой теоремы существования применяется в работе [7]. Пусть - банаховы пространства, - линейный ограниченный оператор с ядром и образом Рассмотрим оператор Для сюръективного оператора определим числовую характеристику где - сопряженный оператор. Пусть - линейный ограниченный проектор на . Через обозначим обобщенно обратный к L оператор, ассоциированный с проектором . Для оператор KP является правым обратным. Справедлива оценка . Для непрерывного оператора равенством определим функциональную характеристику степени роста нормы с возрастанием радиуса В частности, для линейного оператора справедливо равенство . Рассмотрим уравнение (3) Теорему существования для уравнения (3) приведем в следующей редакции. Теорема 1. Пусть выполнены условия: 1) оператор нётеров; 2) оператор вполне непрерывен; 3) существует неотрицательная функция такая, что для каждого существует 4) неравенство имеет положительное решение. Тогда уравнение (3) имеет хотя бы одно решение. 2. Вспомогательные конструкции и утверждения Сформулируем вспомогательные утверждения, необходимые для применения теоремы 1 к задаче (1)-(2). Определим операторы равенствами Оператор является линейным ограниченным с ядром и образом Линейные ограниченные проекторы соответственно на ядро и образ оператора определим равенствами Таким образом, оператор является фредгольмовым, а следовательно, и нётеровым. Вместе с проектором Q будем рассматривать дополнительный проектор , , а также оператор являющийся сужением проектора Q на образ оператора L. Проекторам P и Q соответствуют разложения пространств : где Для рассматриваемого случая краевая задача (1)-(2) является резонансной, так как соответствующий оператор L необратим. Лемма 1. Для произвольного справедливы неравенства где , . Доказательство. Непосредственно из представлений справедливых для любого элемента имеем Лемма доказана. В работе будем следовать понятию обобщенно обратного оператора, сформулированному в работе [8]. Лемма 2. Обобщенно обратный оператор ассоциированный с проектором P, имеет вид , и справедлива оценка . Доказательство. Тот факт, что оператор является обобщенно обратным к L оператором, устанавливается непосредственно проверкой следующих условий: 1) где - тождественный оператор; 2) 3) Для произвольного имеем Таким образом, . Лемма доказана. Лемма 3. Пусть выполнены условия: 1) существует неотрицательная неубывающая функция такая, что ; 2) существует неотрицательная неубывающая функция такая, что . Тогда для оператора справедлива оценка где . Доказательство. Произвольно зафиксируем . Тогда для всех , удовлетворяющих неравенству имеем Так как то С применением этих неравенств получим где Теперь утверждение леммы следует из последнего неравенства. Лемма доказана. Лемма 4. Пусть существует неотрицательное число такое, что для всех Тогда для каждого существует решение уравнения удовлетворяющее неравенству где Доказательство. Поскольку в силу леммы 3 справедливы неравенства Тогда для любого имеют место неравенства где Следовательно, В силу непрерывности функции существует константа такая, что и . Лемма доказана. 3. Основные результаты Условия разрешимости задачи (1)-(2) получим, применяя теорему 1. Теорема 2. Пусть выполнены условия: 1) существует неотрицательная неубывающая функция такая, что ; 2) существует неотрицательная неубывающая функция такая, что ; 3) существует неотрицательное число такое, что для всех ; 4) неравенство (4) где имеет положительное решение. Тогда для произвольного такого, что существует хотя бы одно решение задачи (1)-(2). Доказательство. Будем рассматривать уравнение (3) с операторами определенными в подразд. 2. Оператор является нётеровым. Пусть решение неравенства (4). Рассмотрим шар пространства . Вполне непрерывность оператора на шаре доказывается по той же схеме, что и в работе [9]. Действительно, рассмотрим оператор в виде где - оператор вложения; - оператор дифференцирования, . Операторы являются вполне непрерывными. Ввиду этого на шаре оператор является вполне непрерывным. Для проверки условия 3 теоремы 1. Рассмотрим уравнение где Интеграл в силу краевых условий (2), а по условию. Тогда уравнение принимает вид По лемме 4 существует решение уравнения, удовлетворяющее неравенству где Учитывая описание ядра и образа оператора , условие 3 теоремы 1 можно переформулировать следующим образом: для каждого элемента существует элемент такой, что причем где Таким образом, условие 3 теоремы 1 выполнено с функцией Существование положительного решения неравенства (4) гарантирует выполнение условия 4 теоремы 1. Все условия теоремы 1 выполнены. Следовательно, уравнение (3) разрешимо, а периодическая задача (1)-(2) имеет хотя бы одно решение. Теорема доказана. Отметим, что при выполнении условия конкретный вид отклонения аргумента не влияет на условие существования периодического решения рассматриваемого уравнения. В классической теореме Левинсона и Смита [10] предполагается, что функция нечетная и при (ср. с условием 3 теоремы 2). Отметим, что для частных случаев уравнения Льенара проверка условий теоремы 2, в том числе выполнения условия 4, не составляет особого труда. Для уравнения Ван дер Поля из теоремы 2 можно получить достаточные условия разрешимости периодической задачи.

About the authors

A. R Abdullaev

Perm National Research Polytechnic University

A. A Savochkina

Perm National Research Polytechnic University

References

Statistics

Views

Abstract - 89

PDF (Russian) - 44

Refbacks

• There are currently no refbacks.