Даже сегодняшние «гуманитарии», наверное, помнят, как в средней школе им рассказывали о простейших эквивалентных (равносильных) преобразованиях:
1. Перенос членов из левой части в правую и наоборот с изменением знака;
2. Умножение всех членов на число, не равное нулю;
3. Подстановка — т. е. замена любого члена на член, равный ему.
Основное свойство эквивалентных преобразований — они не изменяют решений уравнений. Но при этом очень долгое время (вплоть до 1987 года) никто не замечал, что эквивалентные преобразования могут изменять некоторые важные свойства решений. Одно из важнейших свойств — при малых изменениях исходных данных решение должно изменяться мало. Такое свойство решений называют иногда — корректностью, иногда — параметрической устойчивостью. Это свойство важно потому, что на практике все исходные данные проектирования и расчета известны всегда с ограниченной, конечной точностью, да еще к тому же часто немного изменяются с течением времени.
Если при изменении исходных данных расчета (например — диаметра круглой колонны) на 1% результат расчета (например — критическая нагрузка колонны) изменится в два раза, то такой расчет, разумеется, никакого практического смысла не имеет. Здание, построенное по такому нелепому расчету, разумеется, обязательно рухнет. Корректность решений для практики важна, очень важна. Поэтому корректность всегда тщательно проверяют. Но в 1987 году в СПбГУ было открыто, что существуют особые объекты, в математических моделях которых корректность изменяется при эквивалентных преобразованиях. Для таких особых объектов традиционные методы проверки корректности не достоверны, и поэтому каждая встреча с особым объектом может обернуться аварией и даже катастрофой. Особые объекты были открыты так поздно потому, что они встречаются редко, но несмотря на свою редкость они очень опасны. Мы знаем, что и катастрофы происходят редко, не каждый день, но попасть в катастрофу никому не хочется.
Для того чтобы катастроф было меньше и наша жизнь стала безопаснее, надо уметь еще на стадии расчета и проектирования найти и выделить «особые» объекты. Об интереснейшей истории открытия особых объектов и разработки методов их распознавания и выделения мы далее расскажем, а пока приведем совсем простой числовой пример, который сразу прояснит суть дела. Никаких знаний, кроме школьной алгебры, для понимания примера не нужно.
Рассмотрим систему двух алгебраических уравнений:
(2λ2 + 2)х = 2у (1)
(λ2+λ)χ = y (2)
с двумя переменными х и у и параметром λ.
Поскольку уравнения (1) и (2) однородны, то они, разумеется, имеют нулевое решение х = у = 0. Однако при некоторых значениях параметра λ система, состоящая из уравнений (1) и (2), имеет не нулевые решения. Значения параметра, при которых система однородных уравнений имеет не нулевые решения, называют собственными значениями (или собственными числами). Для системы (1) и (2) единственным собственным значением является λ = 1. Действительно, при подстановке в (1) и (2) значения λ = 1, система (1)-(2) переходит в систему:
4x = 2y (3)
2x = у (4)
и имеет, например, решения: х = 1; у = 2 или х = 2; у = 4 и многие другие. А вот при λ
Заметим сразу, что задача вычисления собственных значений (разумеется, для систем гораздо более сложных, чем простейшая система (1) и (2)) имеет очень важное значение в технике. От величин собственных значений зависит устойчивость того или иного технического объекта, здания, сооружения, зависят частоты его колебаний и т. п.
Поэтому задаче вычисления собственных значений, различным методам их расчета, посвящены целые книги (например книга: Х. Д. Икрамов. Несимметричная проблема собственных значений, издательство «Наука», 1991 г., 240 страниц или: Уилкинсон Д. Х. Алгебраическая проблема собственных значений, издательство «Наука», 1970 г., 564 страницы и многие другие). И все методы используют эквивалентные преобразования. А то, что может произойти при эквивалентных преобразованиях, мы покажем на простейшем примере системы (1)-(2).