Это база: Зачем нужна математика в повседневной жизни - Йэн Стюарт

магнитики – электроны с определенным направлением спинов – стремятся сделать свою суммарную энергию как можно меньше. Но как они это делают и в какое состояние приходят, зависит от температуры материала. На микроскопическом уровне теплота – это форма энергии, которая заставляет молекулы и электроны двигаться беспорядочно. Чем горячее становится материал, тем активнее они движутся. В магните конкретное пространственное распределение спинов постоянно меняется из-за этого беспорядочного движения, вот почему «рассмотрение» модели дает статистическое распределение вероятностей, а не конкретный узор спинов. Однако наиболее вероятные узоры выглядят очень похоже, так что можно поставить вопрос о том, как выглядит типичный паттерн при заданной температуре.

Принципиально важная часть модели Изинга – математическое правило взаимодействия электронов, которое определяет энергию любого паттерна. Модель принимает упрощающее предположение о том, что электроны взаимодействуют только с ближайшими соседями. При ферромагнитном взаимодействии считается, что вклад в энергию отрицателен, когда соседние электроны имеют одинаковый спин. В антиферромагнитных системах он положителен, когда соседние электроны имеют одинаковый спин. Существует также дополнительный вклад в энергию от взаимодействия каждого электрона с внешним магнитным полем. В упрощенных моделях сила всех взаимодействий между соседними электронами одинакова, а внешнее магнитное поле считается равным нулю.

Ключ к математике данной модели – понять, как энергия данного паттерна меняется с изменением цвета одного квадратика с черного на белый или наоборот. То есть единичный электрон в произвольной позиции переключается между +1 (черный) и –1 (белый). Одни переключения увеличивают суммарную энергию, другие уменьшают. Переключения, которые понижают суммарную энергию, более вероятны, однако переключения, которые ее повышают, не исключаются полностью в связи со случайным тепловым движением. Интуитивно мы ожидаем, что паттерн спинов сведется к варианту с минимальной энергией. В ферромагнитном материале при этом все электроны должны иметь одинаковый спин, но на практике мы имеем не совсем это, потому что на достижение такого состояния потребовалось бы слишком много времени. Вместо этого при умеренных температурах существуют участки, где спины почти идеально выровнены, что создает черно-белый рисунок. При более высоких температурах случайная толкотня берет верх над взаимодействием между соседними спинами, и выровненные участки становятся настолько маленькими, что связь между спином данного электрона и спинами его соседей практически исчезает, а узор становится хаотичным и выглядит в целом серым, несмотря на крошечные черно-белые детали. При низких температурах выровненные участки увеличиваются и дают более упорядоченный паттерн. Паттерны никогда полностью не стабилизируются, в них всегда происходят случайные изменения. Но статистические свойства паттерна для заданной температуры довольно стабильны.

Больше всего физиков интересует переход от четких цветовых пятен – упорядоченного состояния – к случайному серому хаосу. Это тоже фазовый переход. Эксперименты с фазовым переходом ферромагнетиков из состояния намагниченности в немагнитное состояние показывают, что при температуре ниже точки Кюри магнитный паттерн имеет пятнистый характер. Размеры пятен различны, но группируются вокруг конкретного типичного размера, или «масштаба длины», который становится меньше по мере роста температуры. При температуре выше точки Кюри пятен нет: два значения спина беспорядочно перемешаны. Больше всего физиков занимает то, что происходит непосредственно в точке Кюри. В этот момент наблюдаются пятна разных размеров, без доминирующего масштаба длины. Пятна образуют фрактал – паттерн с детальной структурой на любом масштабе. Увеличенная картинка части узора обладает теми же статистическими чертами, что и узор целиком, поэтому из паттерна невозможно вычленить преобладающий размер пятна. Определенного масштаба длины больше не существует. Однако скорость, с которой меняется паттерн во время перехода, можно связать с численной мерой, которую называют критической экспонентой. Эксперименты позволяют измерить критическую экспоненту очень точно, что делает этот параметр весьма чувствительным тестом для теоретических моделей. Одной из главных целей теоретиков является создание моделей, которые дают верное значение критической экспоненты.

Компьютерное моделирование не позволяет «рассмотреть» модель Изинга в точности – модели не в состоянии привести формулу для статистических свойств со строгим математическим доказательством ее корректности. В принципе, современные системы компьютерной алгебры могли бы помочь исследователям угадать формулу, если таковая существует, но ей все равно потребуется доказательство. Более традиционное компьютерное моделирование позволяет получить убедительные свидетельства в пользу или против того, что модель соответствует реальности. Заветная цель математических физиков (или склонных к физике математиков, поскольку главная задача здесь носит чисто математический характер, хотя и мотивируется физикой) – получение точных результатов в отношении статистических свойств спиновых паттернов в модели Изинга, особенно в отношении того, как эти свойства меняются при прохождении температуры через точку Кюри. В частности, исследователи заняты поиском доказательств того, что в модели наблюдается фазовый переход, и намерены охарактеризовать его через критическую экспоненту и фрактальные свойства наиболее вероятных паттернов в точке перехода.

* * *

Теперь наша история становится более сложной для понимания, но я попытаюсь дать вам основные идеи, не углубляясь в подробности. Отбросьте недоверие и плывите по течению.

Самым важным математическим инструментом в термодинамике является так называемая функция разбиения. Получается она путем сложения, для всех состояний системы, определенного математического выражения, которое зависит от состояния и температуры. Точнее говоря, чтобы получить это выражение для любого заданного состояния, мы берем энергию этого состояния, делаем ее отрицательной и делим на температуру. Затем находим экспоненту этой величины и складываем эти выражения для всех возможных состояний{62}. Физическая идея здесь состоит в том, что вклад состояний с более низкими энергиями в эту сумму больше, так что в функции разбиения доминируют наиболее вероятные состояния (а сама она, соответственно, имеет в этом месте максимум).

Все обычные термодинамические переменные могут быть выведены при помощи подходящих манипуляций из функции разбиения, так что наилучший способ «рассмотрения» термодинамической модели состоит в вычислении функции разбиения. Изинг нашел свое решение, выведя формулу для свободной энергии{63} и предложив формулу для намагничивания{64}. Формула выглядит внушительно, но для Изинга она, должно быть, стала большим разочарованием, поскольку после всех хитроумных вычислений оказалось, что при отсутствии внешнего магнитного поля материал собственного магнитного поля не имеет. Хуже того, это верно для абсолютно любой температуры. Так что модель предсказывает отсутствие фазового перехода и спонтанного намагничивания, казалось бы, ферромагнитного материала.

Сразу же возникло подозрение, что главной причиной такого отрицательного результата стала простота модели. Конкретнее, подозрение пало на размерность решетки. По сути, размерность один слишком мала, чтобы привести к реалистичным результатам. Очевидно, следовало бы провести расчет для двумерной решетки, но это оказалось по-настоящему трудно. Методы Изинга для этого не годились. Только в 1944 году, после нескольких прорывных открытий, сделавших подобные расчеты более систематическими и простыми, Ларс Онсагер решил-таки двумерную задачу Изинга. Это было настоящее математическое достижение, давшее сложный, но явный ответ. Но даже тогда расчет