Базис: алфавит реальности. Основная идея — понятие базиса. Это набор элементарных «кирпичиков», из которых можно собрать любой объект в нашем пространстве. Как из 33 букв алфавита можно собрать всё богатство языка, так и из базисных функций можно собрать почти любую другую функцию. Но алфавиты бывают разными. Выбор базиса — это выбор языка, на котором мы будем описывать явление. И каждый язык подходит для своих задач.
Ряд Тейлора: Язык Мгновения. Если мы хотим понять поведение функции в одной-единственной точке, мы используем ряд Тейлора. Он представляет функцию в виде суммы степеней: f(x) = a₀ + a₁x + a₂x² +....
Что это значит? Это попытка аппроксимировать сложную кривую вблизи точки с помощью многочлена. Первый член — это значение функции (высота), второй — производная (наклон), третий — вторая производная (кривизна) и так далее. Это как если бы ты описал траекторию полёта мяча только в момент его броска, зная его положение, скорость и ускорение. Это мощно, но только локально. Далеко от точки «броска» это описание может полностью развалиться.
Ряд Фурье: язык ритма. А если наша функция периодична, как звуковая волна? Тогда её истинный язык — это ряд Фурье. Он раскладывает любую периодическую функцию на сумму простейших гармоник — синусов и косинусов разных частот.
Любой сложный периодический сигнал — это просто набор чистых нот (гармоник) разной громкости (амплитуды). Ваш голос отличается от голоса друга не потому, что он «другой», а потому, что в нём по-разному смешаны одни и те же гармонические составляющие.
Дирижёр, который слышит в звучании целого оркестра партию каждой скрипки, трубы и барабана. Фурье-анализ — это слух математика.
Ряд Лорана: язык сингулярности. Но что, если в нашей функции есть «дырка», особенность, как у черной дыры? Для таких случаев есть ряд Лорана. Это расширение ряда Тейлора, которое умеет работать с особенностями, включая в себя не только положительные, но и отрицательные степени.
Он позволяет исследовать саму природу особенности, понять её «заряд» и структуру.
Если Тейлор описывает рельеф далеко от воронки, то Лоран подходит к самому её краю и описывает, как пространство «закручивается» в сингулярность.
Ортогональные полиномы: Факультеты для специальных задач. Иногда стандартные базисы неудобны. Для задач с определённой симметрией математики создали специальные «алфавиты» — системы ортогональных полиномов.
Полиномы Лежандра: Идеальны для задач с шаровой симметрией, например, для описания гравитационного или электростатического поля Земли.
Полиномы Лагерра: работают в задачах с экспоненциальным затуханием, например, в квантовой механике для описания электронных орбиталей атома водорода.
Полиномы Эрмита: Похожи на Лагерра, но для других типов потенциалов, встречаются в теории вероятностей и квантовой физике. Как если бы для описания формы Земли мы использовали один алфавит (Лежандр), для описания колебаний молекулы — другой (Эрмит), а для распада радиоактивного ядра — третий (Лагерр). Каждый инструмент заточен под свою геометрию.
Базисы Уолша и Хаара: Цифровой язык. В цифровую эпоху нам понадобились базисы для работы с дискретными сигналами (например, с изображениями). Здесь на сцену выходят функции Уолша (основа быстрого преобразования Уолша-Адамара) и вейвлеты Хаара.
Функции Уолша: принимают только значения +1 и -1. Это идеальный инструмент для обработки цифровых сигналов, так как он оперирует с бинарной природой данных.
Вейвлеты Хаара: Простейший вид вейвлетов. Они позволяют анализировать сигнал одновременно в разных масштабах (как бы «приближая» и «отдаляя» его). Это основа алгоритмов сжатия изображений (как JPEG), где мы разбиваем картинку на участки и аппроксимируем их простыми функциями.
Разбиение Улама: как оцифровать хаос. А как применить всю эту мощь к хаотическим системам, которые нельзя описать гладкой функцией? Гениальный ход Станислава Улама — разбить фазовое пространство на ячейки. Вместо того чтобы работать с бесконечно тонкими траекториями, мы работаем с вероятностями перехода между этими ячейками. Это позволяет превратить сложную, непрерывную, хаотическую динамику в дискретную цепь Маркова, которую уже можно изучать методами линейной алгебры. По сути, мы создаём собственный «цифровой алфавит» для конкретной системы.