качестве
можно веять вектор
в точке Р
и уравнение (13) выполняется.
Докажем 1). Решение
задачи Коши
для системы (14) определяет характеристику
При
якобиан
так как не касается проекций характеристик на плоскость
Поэтому из первых двух соотношений (16) можно выразить
через х, у как гладкие функции (в окрестности 7), так что
будет гладкой функцией переменных х, у.