Аннотация:
В статье доказана однозначная разрешимость задачи Коши для полулинейного уравнения соболевского типа второго порядка. В работе используются идеи и техника, разработанные Свиридюком Г. А. при исследовании задачи Коши для полулинейного уравнения соболевского типа первого порядка, и Замышляевой А. А. при решении задачи Коши для линейного уравнения соболевского типа высокого порядка. В работе так же используется теория дифференцируемых банаховых многообразий, которая окончательно оформилась в работах С. Ленга. В качестве приложения приведена начально-краевая задача для модифицированного уравнения Буссинеска. Рассмотрено два случая — первый, когда оператор $L$ при старшей производной по времени непрерывно обратим, тогда для любой точки из касательного расслоения исходного банахова пространства существует единственное решение, лежащее в этом пространстве как траектория. Особое внимание было уделено второму случаю, когда оператор $L$ не является непрерывно обратимым, тогда уравнение Буссинеска является вырожденным, и было построено для него локальное фазовое пространство. Приводятся условия, при которых фазовое пространство данного уравнения является простым банаховым многообразием.
Ключевые слова:фазовое пространство, уравнение соболевского типа, относительно спектрально ограниченный оператор, банахово многообразие.