Это понятно. У меня ситуация сложнее. Если коротко, то рассматривается система гиперболических уравнений 1 порядка. Сводится к оператору методом характеристик. Характеристики системы зависят от неизвестной функции

. Если считать ее известной и для всех функции

некоторого класса показать сжатия по

а затем и по

то ли это корректным доказательством? Если да, то чем можно это подтвердить?