Аннотация

Аннотация

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

Полный текст

Введение Пусть - множество натуральных чисел, , , , - множество комплексных чисел, , - характеристическая функция множества , - пространство непрерывных на отрезке функций. Рассмотрим скалярное дифференциальное уравнение нейтрального типа (1) в следующих предположениях и обозначениях: , , функция имеет ограниченную вариацию, , функция суммируема на каждом конечном отрезке. При отрицательном значении аргумента и доопределим начальными функциями и , не зависящими друг от друга; требования «непрерывной стыковки» и также не считаются обязательными. Функция суммируема на . Заметим, что при уравнение (1) понимается следующим образом: , . Следуя [1], сделаем замену переменных, которая дает возможность отнести начальные функции к внешнему возмущению . Это позволяет считать, что на отрицательной полуоси обе функции, и , доопределены нулем. Под решением уравнения (1) будем понимать абсолютно непрерывную на каждом конечном отрезке функцию , удовлетворяющую (1) почти всюду на . Как известно ([1], с. 84, теорема 1.1), уравнение (1) с заданными начальными условиями однозначно разрешимо и его решение представимо в виде , (2) где называется фундаментальным решением, а - функцией Коши уравнения (1). Удобно доопределить нулем фундаментальное решение на отрицательной полуоси, а функцию Коши - вне множества . Для автономного дифференциального уравнения, разрешенного относительно производной, между его фундаментальным решением и функцией Коши существует простая зависимость ([2], с. 116): . (3) Равенство (3) упрощает исследование неоднородных уравнений, сводя любую задачу к изучению соответствующих свойств функции Как показывают простые примеры [3], для уравнений нейтрального типа формула (3) неверна, и вопрос о связи между фундаментальным решением и функцией Коши был и остается одним из важнейших (см., например, [1], с. 83-84). Существенное продвижение в этом вопросе было достигнуто в работе [3], где для уравнения с соизмеримыми запаздываниями (4) методом производящих функций была получена формула, связывающая фундаментальное решение и функцию Коши. Как и ожидалось, эта формула позволила преодолеть ряд трудностей, возникающих при исследовании асимптотических свойств решений уравнений, не разрешенных относительно производной [4-6]. Цель настоящей работы - обобщение результатов работы [3] на уравнение (1): найти связь между фундаментальным решением и функцией Коши этого уравнения. 1. Вспомогательные утверждения «Функцией скачков» будем называть кусочно-постоянную функцию, имеющую конечное количество скачков (разрывов первого рода) на каждом конечном отрезке в фиксированных точках и непрерывную слева. Пусть - произвольный отрезок, - пространство функций, представимых в виде суммы непрерывной на функции и функции скачков. Очевидно, что является линейным пространством с естественными операциями сложения и умножения на число. Определим операторы по следующим правилам: , , , . Области определения и множества значений операторов характеризуются нижеследующим утверждением. Утверждение 1. Операторы действуют в следующих пространствах: , , . Зафиксируем произвольное и введем норму в пространстве . Покажем, что операторы и ограничены: , , , . Для норм операторов, действующих из в себя, будем использовать обозначение . Отметим, что выбор величины позволяет манипулировать величиной нормы операторов так как при нормы Несложно убедиться, что пространство является банаховым. В разделах 2 и 3 нам понадобится следующая известная теорема об обратном операторе [7, с. 224-230]. Через здесь и далее будем обозначать тождественный оператор. Утверждение 2. Пусть - банахово пространство, - линейный ограниченный оператор, причем . Тогда существует линейный ограниченный оператор , и при любом уравнение имеет в единственное решение . Перепишем уравнение (1) в операторном виде (с учетом договоренностей из введения): . (5) Далее вместо уравнения (1) будем использовать эквивалентный вид (5). 2. Фундаментальное решение Из формулы (2) следует, что функция определяется как решение следующего уравнения: , (6) дополненного начальным условием , . Лемма 1. Справедливы следующие утверждения: 1. Функция при любом . 2. Существуют , такие, что при любом а) ; б) . Доказательство. Рассмотрим (6) на отрезке . Подействуем на обе части уравнения оператором где , и учтем, что : . (7) Утверждение 1 леммы следует из (7) и утверждения 1. Подействуем на обе части уравнения (7) оператором (т.е. проинтегрируем обе части уравнения): . (8) Заметим, что . Выбором достаточно большого можно добиться выполнения неравенства . В силу утверждения 2 получаем, что . Следовательно, , где не зависит от . Значит, . В силу уравнения (7) и получаем, . □ Из уравнения (6), леммы 1 следует, что к уравнению (6) применимо преобразование Лапласа [6, с. 12, 18]. Обозначим , , , . Лемма 2. Лаплас-образ фундаментального решения имеет вид , . Доказательство. Применим преобразование Лапласа к правой и левой части уравнения (6) и найдем функцию из полученного уравнения. Лаплас-образ функции определен на множестве в силу установленной выше оценки . □ Замечание. Функция является мероморфной функцией. Как известно [8, с. 58], мероморфные функций имеют не более чем счетное число изолированных особенностей, которые являются нулями знаменателя. Значит, функция может быть аналитически продолжена на всю комплексную плоскость, за исключением этих точек. 3. Функция Коши Как показано в ([1], с. 61), функция Коши уравнения (1), как функция второго аргумента (при фиксированном ), при почти всех удовлетворяет равенству . (9) В той же работе установлено, что (9) однозначно определяет функцию Коши уравнения (1) и может быть принято за ее определение. Напомним, что на множестве . Рассмотрим аналог уравнения (9) для функции одной переменной: , (10) где функция предполагается равной нулю при отрицательных значениях аргумента. Лемма 3. Справедливы следующие утверждения: 1. Уравнение (10) однозначно разрешимо в при любом . 2. Существуют , такие, что при любом . Доказательство. Заметим, что если существует, то является локально абсолютно непрерывной функцией на любом конечном отрезке. Рассмотрим (10) на отрезке . Подействуем на обе части уравнения оператором где , и, учитывая получаем: . Заметим, что . Выбором достаточно большого можно добиться выполнения неравенства . В силу утверждения 2 получаем, что , т.е. утверждение 1 леммы доказано. Отсюда следует, что , где не зависит от . Значит, , тем самым доказано утверждение леммы 2. □ Лемма 4. . Доказательство. Функция удовлетворяет уравнению (9), которое, как отмечалось выше, однозначно определяет функцию Коши. □ Лемма 5. Лаплас-образ функции имеет вид , . Доказательство. Применим преобразование Лапласа к правой и левой части уравнения (10) и найдем функцию из полученного уравнения. Лаплас-образ функции определен на множестве в силу установленной выше оценки . □ Замечание. Функция имеет не более чем счетное число полюсов, являющихся нулями знаменателя (и только ими). Значит, функция может быть аналитически продолжена на всю комплексную плоскость, за исключением этих точек. 4. Основные результаты Следующие теоремы устанавливают связь между функцией Коши и фундаментальным решением, а также их Лаплас-образами. Из лемм 2 и 5 очевидным образом следует: Теорема 1. , . Теорема 2. Пусть - фундаментальное решение, а - решение уравнения (10). Тогда , (11) . (12) Доказательство. Равенство (11) получается, если к правой и левой частям равенства из теоремы 1 применить обратное преобразование Лапласа и использовать его элементарные свойства [6, гл. 1]. Из (10) и (11) следует (12). □ Теорема 3. Фундаментальное решение уравнения (1) имеет оценку (13) тогда и только тогда, когда все нули функции лежат в полуплоскости при некотором . Теорема 4. Функция Коши уравнения (1) имеет оценку , (14) тогда и только тогда, когда нули функции лежат в полуплоскости при некотором . Теоремы 3 и 4 доказываются по одной схеме. Наметим ее. Идея доказательства теорем 3 и 4. Необходимость. Предположим, что справедлива оценка (13). Значит, является аналитической функцией в полуплоскости . Следовательно, нули функции лежат только в полуплоскости . Доказательство для функции Коши повторяет данное рассуждение: достаточно (13) заменить на (14), а функцию заменить на функцию Достаточность. Предположим, что все нули функции лежат в полуплоскости при некотором В качестве контура интегрирования возьмем прямоугольник , вершины которого соответствуют точкам , , , , где определяется леммой 1, причем , . Разобьем интеграл на четыре интеграла: , , , . Из теоремы Коши о вычетах [9, с. 79] следует, что . Кроме того [6, гл. 1], функция ограничена на контуре Поэтому , . С помощью обратного преобразования Лапласа получаем . Для доказательства используется представление в виде суммы двух функций: . При всех интеграл сходится [9, с. 464-465] (равен 0 при и 1 при ). Интеграл от второго слагаемого оценивается по абсолютной величине. Таким образом, откуда получаем оценку (13). Аналогично доказывается оценка (14), с тем отличием, что здесь для оценки интеграла используется представление . □ Легко заметить, что теоремы 3 и 4 обеспечивают экспоненциальную устойчивость уравнения (1), если и только если . Следствие 1. Если имеет место оценка (14), то справедлива и оценка (13). Из оценки (13) не вытекает оценка (14), как показывает следующий пример [3]. Рассмотрим уравнение Легко убедиться, что - фундаментальное решение этого уравнения, - функция Коши. Непосредственный подсчет по направлению в точках , , приводит к равенствам . Очевидно, что при и функция Коши неограниченно растет, в то время как фундаментальное решение экспоненциально убывает. Найдем условия, когда из оценки (13) следует оценка (14). Следствие 2. Пусть . Для того чтобы оценки (13) и (14) выполнялись одновременно, необходимо и достаточно, чтобы общие нули функций и лежали слева от прямой .