Методы математической физики: Курс лекций (Вывод основных уравнений математической физики. Метод функций Грина. Единственность решения основных задач), страница 11

§1. Классификация линейных относительно старших производных дифференциальных уравнений 2-го порядка

Рассмотрим уравнение

                                                     (1)

с непрерывными коэффициентами аij(x). Это уравнение очень общее, ничего конкретного о нём неизвестно. Постараемся упростить его с помощью замены независимых переменных

yl = yl(x1,...,xn) = yl(x) (l = 1,...,n),                                                  (2)

Выясним, прежде всего, по какому закону преобразуются коэффициенты aij(x). Так как якобиан D ¹ 0, то в некоторой окрестности точки х = x0 можно выразить переменные х через переменные y: х = х(y). Обозначим и(х(y)) = ô(y). Имеем:

                                                                  (3)

                                 (4)

Подставим (3) и (4) в (1):

Изменим порядок суммирования:

или

                                                   (5)

где

                                                       (6)

Фиксируем точку х = x0. Пусть

y(x0) = y0, 

Тогда

Подберём теперь таким образом числа aik, чтобы при "замороженных" коэффициентах aij(x0) уравнение (5) упростилось.

Полученная формула преобразования коэффициентов aij в точке х = x0 совпадает с формулой преобразования коэффициентов квадратичной формы

                                                                        (7)

при невырожденном линейном преобразовании

                                                                     (8)

где det aik ¹ 0. Действительно,

Поэтому, чтобы упростить уравнение (1) с помощью замены переменных (2), достаточно упростить в точке х = x0 квадратичную форму (7). Как классифицировать квадратичные формы, известно из курса линейной алгебры,[3] где доказывается, что существует по крайней мере одно невырожденное линейное преобразование (8), при котором квадратичная форма (7) приводится к сумме квадратов и принимает следующий канонический вид:

                                                            (9)

При этом в силу закона инерции квадратичных форм целые числа r и т не зависят от преобразования (8), т.е. совокупность знаков в (9) является инвариантом уравнения. Отсюда следует, что главную часть дифференциального уравнения (1) можно привести к виду

Этот факт позволяет классифицировать дифференциальные уравнения вида (1) в зависимости от значений аij(x0). Если в квадратичной форме (9) т = n и все слагаемые одного знака (т.е. r = т или r = 0), то уравнение (1) называют уравнением эллиптического типа; если т = n, но имеются слагаемые разных знаков (1 ≤ rn – 1), то уравнение (1) называют уравнением гиперболического типа; если т < ппараболического типа.

Примеры. 1) Уравнения Лапласа и Пуассона - эллиптического типа, волновое уравнение - гиперболического типа, уравнение теплопроводности - параболического типа. Аналогичные выводы можно сделать об уравнениях, описывающих процессы колебаний, распространение тепла и стационарные процессы.

2) Есть уравнения более сложной природы. Например, уравнение Трикоми  при y > 0 - эллиптического типа, при y < 0 - гиперболического, а при y = 0 - параболического типа.

§2. Приведение дифференциальных уравнений 2-го порядка с двумя независимыми переменными к каноническому виду

В §1 для классификации уравнений, линейных относительно старших производных, мы поступали следующим образом: фиксировали точку x, "замораживали" тем самым коэффициенты, затем исследовали соответствующую квадратичную форму.

Рассмотрим подробнее вопрос о том, можно ли привести уравнение к каноническому виду одним и тем же преобразованием в некоторой достаточно малой области, содержащей т. х = x0. Если aij - постоянные коэффициенты, то по известным числам , приводящим квадратичную форму к каноническому виду, можно восстановить . В случае переменных коэффициентов aij необходимо, чтобы число условий

ãkl = 0, l ≠ k, k, l = 1, 2,…, n (ãkl = ãlk);

ãll = elã11, l = 2, 3,…, n; ã11 ≠ 0; el = 0, ±1

не превосходило число неизвестных функций yl(x) (l = 1, 2,…, n):

 т.е. n ≤ 2.