Если при изменении исходных данных расчета (например — диаметра круглой колонны) на 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 и многие другие. А вот при λ
