Подзабыл факт из теории УРЧП. Допустим у нас есть полное гиперболическое уравнение для


со стандартными граничными условиями

и начальными условиями

.
Как доказывается корректная разрешимость такого уравнения?Для главной части мне понятно как доказать.
Функции a(x,t), b(x,t), c(x,t) бесконечно гладкие. Этого достаточно?