Системы, эквивалентные системам с известными качественными свойствами решений
имеет место тождество
Доказательство.
Будем преобразовывать левую часть тождества
>
Лемма доказана.
Лемма 3.2. Пусть есть отражающая функция системы с непрерывно дифференцируемой правой частью. Тогда для каждой непрерывно дифференцируемой вектор-функции функция
удовлетворяет тождеству
Доказательство.
Подставив функцию в выражение , придем к следующим тождествам:
Выразим из соотношения частную производную , подставим в последнее тождество и будем преобразовывать получившееся выражение:
Применив к первым двум слагаемым последней части этой цепочки тождеств тождество придем к следующим соотношениям:
Выразим из соотношения выражение, находящееся в скобках последнего тождества и подставим в последнее из получившихся тождеств:
Учитывая определение функции , полученное тождество можно переписать в виде
Мы пришли к соотношению
Прибавив к левой и правой частям этого соотношения выражение , придем к нужному нам тождеству и тем самым докажем лемму.
Лемма доказана.
Теорема 3.1. Пусть вектор-функция является решением дифференциального уравнения в частных производных
Тогда возмущенная дифференциальная система где произвольная непрерывная скалярная нечетная функция, эквивалентна дифференциальной системе в смысле совпадения отражающих функций.
Доказательство. Пусть отражающая функция системы Следовательно, эта функция удовлетворяет дифференциальному уравнению . Покажем, что помимо этого уравнения при условиях теоремы она удовлетворяет тождеству
С этой целью введем функцию по формуле . Согласно предыдущей лемме, эта функция удовлетворяет тождеству . При условиях доказываемой теоремы, с учетом соотношения это тождество переписывается в виде
Кроме того, поскольку для всякой отражающей функции верно тождество , имеют место соотношения
Поставим следующую задачу Коши для функции :
Решение этой задачи существует и единственно [6, с.66]. Таким образом, имеет место тождество влекущее за собой тождество .
Теперь покажем, что отражающая функция дифференциальной системы является также и отражающей функцией дифференциальной системы . Для этого нужно проверить выполнение основного соотношения , которое в данном случае должно быть переписано в виде
Последовательно преобразовывая левую часть последнего соотношения и учитывая нечетность функции , приходим к следующей цепочке тождеств:
Другие рефераты на тему «Математика»:
Поиск рефератов
Последние рефераты раздела
- Анализ надёжности и резервирование технической системы
- Алгоритм решения Диофантовых уравнений
- Алгебраическое доказательство теоремы Пифагора
- Алгоритм муравья
- Векторная алгебра и аналитическая геометрия
- Зарождение и создание теории действительного числа
- Вероятностные процессы и математическая статистика в автоматизированных системах