Системы вида (13) будут иметь семейства решений с постоянной четной частью. В этом легко убедится, проделав вычисления, аналогичные предыдущим примерам.
5. Простые и простейшие системы
Лемма 9Для всякой непрерывно дифференцируемой функции
для которой выполнены тождества (4), имеют место соотношения
Теорема 10Для всякой дважды непрерывно дифференцируемой функции определенной в симметричной области
, содержащей гиперплоскость
для которой выполнены тождества (4), существует дифференциальная система
c непрерывно дифференцируемой правой частью, отражающая функция которой совпадает с
Теорема 11Для всякой дважды непрерывно дифференцируемой функции
определенной в области
отражающая функция которой совпадает с
Следствие 12Дважды непрерывно дифференцируемая функция
является отражающей функцией хотя бы одной дифференциальной системы тогда и только тогда, когда для нее выполнены тождества (4).
Системы, существование которых гарантируется теоремами 10 и 11, называются соответственно простой и простейшей.
Теорема 13Пусть
простейшая система, тогда
где
Доказательство. Если система простейшая,
Теорема 14Пусть
есть отражающая функция некоторой дифференциальной системы, решения которой однозначно определяются своими начальными данными, а для непрерывно дифференцируемой функции
выполнены тождества (4). Тогда для того, чтобы в области
или вид
где
есть некоторая непрерывная вектор-функция.
Будем говорить, что множество систем вида (1) образует класс эквивалентности, если существует дифференцируемая функция
со свойствами:
1) Oтражающая функция
любой системы из рассматриваемого множества совпадает в своей области определения
2) Любая система вида (1), отражающая функция
которой совпадает в области
Две системы вида (1), принадлежащие одному классу эквивалентности, будем называть эквивалентными. Допуская определенную вольность речи, будем говорить также, что они имеют одну и ту же отражающую функцию. Функцию
Из третьего свойства отражающей функции следует, что система (1) и система
принадлежат одному классу эквивалентности тогда и только тогда, когда система уравнений
совместна.
Необходимым условием совместности этой системы является тождество
6. Построение множества систем, четная часть общего решения которых постоянна
Пусть нам дана система
Перед нами стоит следующий вопрос о том, когда семейство решений этой системы будут иметь постоянную четную часть.
То есть, когда
Возьмем отражающую функцию системы (14)
получим четную часть следующим образом:
Теорема 15Если выполнено тождество
где
Доказательство. Возьмем любое решение
Поэтому можем записать
Из условия теоремы имеем
Таким образом получили, что
Рассмотрим систему (14). Будем строить систему с заданной четной частью.
Пусть нам известна четная часть
Следовательно, можем записать
Отсюда зная (3), получим
где
получим требуемую систему.
Пример 16Пусть
где