§ 3. КЛАССИФИКАЦИЯ УРАВНЕНИЙ В СЛУЧАЕ МНОГИХ НЕЗАВИСИМЫХ ПЕРЕМЕННЫХ
Кратко остановимся на классификации уравнений второго порядка в частных производных в случае многих независимых переменных. Рассмотрим опять уравнение, линейное относительно старших производных:
где
Пусть точка области Построим квадратичную форму
Невырожденным линейным преобразованием
квадратичная форма всегда может быть приведена к каноническому виду
При этом согласно теореме инерции число положительных, отрицательных и равных нулю коэффициентов в каноническом виде квадратичной формы является инвариантом и не зависит от линейного преобразования. На основе этого производится классификация уравнения (3.1).
Выделяются три основных типа уравнений. Если в точке квадратичная форма в каноническом виде (3.3) имеет все коэффициенты одного знака, то уравнение (3.1) в этой точке называется уравнением эллиптического типа; если все 0, но существуют как положительные, так и отрицательные то уравнением гиперболического типа; если хотя бы один из коэффициентов равен нулю, то уравнением параболического типа. Может быть проведена и более подробная классификация (необходимости которой в случае двух переменных не возникает).
Например, в случае уравнений гиперболического типа возможны следующие случаи:
один коэффициент — одного знака, для определенности, а остальные — другого - уравнение (3.1) называется уравнением нормального гиперболического типа; уравнение ультрагиперболического типа.
В случае уравнения параболического типа возможностей больше: (одного знака) — уравнение эллиптически-параболического типа; но разного знака — уравнение гиперболически-параболического типа разделением на нормально гиперболически- и ультрагиперболически-параболического типа. Дальнейшая классификация проводится, когда несколько обращаются в нуль. В этом случае уравнение называется ультрапараболическим с дальнейшим делением в зависимости от знаков остальных Я.
Классификация уравнения (3.1), как и прежде, проводится в отдельной точке Интересен вопрос: возможно ли в случае многих переменных привести единой заменой переменных
уравнение (3.1), в том случае, когда оно принадлежит к одному и тому же типу во всех точках области к каноническому
виду в некоторой окрестности точки При такой замене переменных, как легко проверить, уравнение (3.1) принимает вид
где функция не зависит от вторых производных функции а коэффициенты имеют вид
Чтобы обратились в нуль коэффициенты при смешанных вторых производных функции должны удовлетворять уравнениям. Это число больше (числа функций при Следовательно, привести к каноническому виду уравнение (3.1) сразу в некоторой окрестности точки, вообще говоря, нельзя (при этом, конечно, исключается случай уравнения с постоянными коэффициентами).
Процедура приведения уравнения (3.1) к каноническому виду, как в случае двух переменных, связана с решением характеристического уравнения, которое согласно (3.4) имеет вид
На деталях этой процедуры мы не останавливаемся.