Отражающая функция

Определение. Рассмотрим систему

(1)

cчитая, что правая часть которой непрерывна и имеет непрерывные частные производные по . Общее решение в форме Коши обозначено через ). Через обозначим интервал существования решения .

Пусть

Отражающей функцией системы (1) назовём дифференцируемую функцию , определяемую формулой

Для отражающей функции справедливы свойства:

1.) для любого решения системы (1) верно тождество

2.) для отражающей функции F любой системы выполнены тождества

3) дифференцируемая функция будет отражающей функцией системы (1) тогда и только тогда, когда она удовлетворяет системе уравнений в частных производных

и начальному условию

Рассмотрим систему (1*) считая, что её правая часть непрерывно дифференцируемая. Будем говорить, что множество систем вида (1*) образует класс эквивалентности, если существует дифференцируемая функция со свойствами: 1) отражающая функция любой системы из рассматриваемого множества совпадает в области определения с функцией ; 2) Любая система вида (1*), отражающая функция которая совпадает в области с функцией , содержится в рассматриваемом множестве.

Две системы вида (1*), принадлежащие одному классу эквивалентности, будем называть эквивалентными. Допуская определённую вольность речи, будем говорить также, что они имеют одну и ту же отражающую функцию. Функцию при этом будем называть отражающей функцией класса, а класс - соответствующим отражающей функции .