В теории хаоса эффект бабочки представляет собой чувствительную зависимость от начальных условий , при которой небольшое изменение в одном состоянии детерминированной нелинейной системы может привести к большим различиям в последующем состоянии.
Термин тесно связан с работой математика и метеоролога Эдварда Нортона Лоренца . Он отметил, что эффект бабочки выводится из примера деталей торнадо ( точного времени формирования, точного пути), на которые влияют незначительные возмущения, такие как взмах крыльев далекой бабочки несколькими неделями ранее. Лоренц изначально использовал чайку, вызывающую шторм, но к 1972 году его убедили сделать это более поэтичным с использованием бабочки и торнадо. [1] [2] Он обнаружил эффект, когда наблюдал за прогонами своей погодной модели с начальными данными, которые были округлены, казалось бы, несущественным образом. Он отметил, что погодная модель не сможет воспроизвести результаты прогонов с неокругленными начальными данными. Очень небольшое изменение начальных условий создало существенно иной результат. [3]
Идея о том, что малые причины могут иметь большие последствия для погоды, ранее была признана французским математиком и физиком Анри Пуанкаре . Американский математик и философ Норберт Винер также внес свой вклад в эту теорию. Работа Лоренца поместила концепцию нестабильности земной атмосферы на количественную основу и связала концепцию нестабильности со свойствами больших классов динамических систем, которые подвергаются нелинейной динамике и детерминированному хаосу . [4]
С тех пор концепция эффекта бабочки используется вне контекста метеорологии как широкий термин для обозначения любой ситуации, в которой небольшое изменение предположительно может стать причиной более масштабных последствий.
В труде «Призвание человека» (1800) Иоганн Готлиб Фихте говорит: «Нельзя сдвинуть ни одной песчинки с места, не изменив при этом... чего-то во всех частях неизмеримого целого».
Теория хаоса и чувствительная зависимость от начальных условий были описаны в многочисленных формах литературы. Об этом свидетельствует случай задачи трех тел Пуанкаре в 1890 году. [5] Позднее он предположил, что такие явления могут быть обычными, например, в метеорологии. [6]
В 1898 году Жак Адамар отметил общую расходимость траекторий в пространствах отрицательной кривизны. Пьер Дюгем обсуждал возможное общее значение этого в 1908 году. [5]
В 1950 году Алан Тьюринг заметил: «Смещение одного электрона на миллиардную долю сантиметра в один момент может иметь решающее значение для человека, погибнет ли он под лавиной год спустя или спасется». [7]
Идея о том, что смерть одной бабочки может в конечном итоге иметь далеко идущие последствия для последующих исторических событий, впервые появилась в рассказе Рэя Брэдбери « И грянул гром » 1952 года . В рассказе «И грянул гром» описывается путешествие во времени. [8]
Но если говорить точнее, то почти точная идея и точная формулировка — о крыле крошечного насекомого, влияющем на все ветры атмосферы — были опубликованы в детской книге, которая стала чрезвычайно успешной и известной во всем мире в 1962 году, за год до публикации Лоренца:
«...все, что мы делаем, влияет на все и всех, пусть даже и самым незначительным образом. Ведь когда муха машет крыльями, ветерок облетает весь мир».
-- Принцесса Чистого Разума
— Нортон Джастер, «Призрачная будка для взимания платы»
В 1961 году Лоренц запускал численную компьютерную модель, чтобы переделать прогноз погоды из середины предыдущего запуска в качестве сокращения. Он ввел начальное условие 0,506 из распечатки вместо ввода значения полной точности 0,506127. Результатом стал совершенно другой погодный сценарий. [9]
Лоренц написал:
В какой-то момент я решил повторить некоторые вычисления, чтобы более подробно изучить происходящее. Я остановил компьютер, ввел строку чисел, которые он распечатал некоторое время назад, и снова запустил его. Я спустился в холл за чашкой кофе и вернулся примерно через час, за это время компьютер смоделировал около двух месяцев погоды. Распечатанные числа были совсем не похожи на старые. Я сразу же заподозрил слабую электронную лампу или какую-то другую проблему с компьютером, что было не редкостью, но перед тем, как позвонить в сервис, я решил посмотреть, где именно произошла ошибка, зная, что это может ускорить процесс обслуживания. Вместо внезапного сбоя я обнаружил, что новые значения сначала повторяли старые, но вскоре после этого отличались на одну, а затем на несколько единиц в последнем [десятичном] разряде, а затем начали отличаться в предпоследнем разряде, а затем и в разряде перед ним. Фактически, различия более или менее стабильно удваивались каждые четыре дня или около того, пока все сходство с исходным выводом не исчезло где-то во втором месяце. Этого было достаточно, чтобы понять, что произошло: числа, которые я ввел, не были точными исходными числами, а округленными значениями, которые появились в исходной распечатке. Первоначальные ошибки округления были виновниками; они неуклонно усиливались, пока не стали доминировать в решении.
— EN Lorenz, The Essence of Chaos , U. Washington Press, Сиэтл (1993), стр. 134 [10]
В 1963 году Лоренц опубликовал теоретическое исследование этого эффекта в часто цитируемой основополагающей статье под названием «Детерминированный непериодический поток» [3] [11] (расчеты выполнялись на компьютере Royal McBee LGP-30 ). [12] [13] В другом месте он заявил:
Один метеоролог заметил, что если бы теория была верна, одного взмаха крыльев чайки было бы достаточно, чтобы изменить ход погоды навсегда. Спор еще не улажен, но последние доказательства, похоже, говорят в пользу чаек. [13]
Следуя предложениям коллег, в более поздних выступлениях и статьях Лоренц использовал более поэтичное слово «бабочка» . По словам Лоренца, когда он не смог придумать название для доклада, который он должен был представить на 139-м заседании Американской ассоциации содействия развитию науки в 1972 году, Филипп Мерилеес придумал название « Вызывает ли взмах крыльев бабочки в Бразилии торнадо в Техасе?» . [1] Хотя бабочка, взмахивающая крыльями, оставалась постоянной в выражении этой концепции, местоположение бабочки, последствия и местоположение последствий сильно различались. [14]
Фраза относится к эффекту крыльев бабочки, создающих крошечные изменения в атмосфере , которые в конечном итоге могут изменить путь торнадо или задержать, ускорить или даже предотвратить возникновение торнадо в другом месте. Бабочка не приводит в действие и не создает торнадо напрямую, но этот термин подразумевает, что взмах крыльев бабочки может вызвать торнадо: в том смысле, что взмах крыльев является частью начальных условий взаимосвязанной сложной сети; один набор условий приводит к торнадо, а другой — нет. Взмах крыльев создает небольшое изменение в начальном состоянии системы, которое каскадом приводит к крупномасштабным изменениям событий (сравните: эффект домино ). Если бы бабочка не взмахнула крыльями, траектория системы могла бы быть совершенно иной, но также возможно, что набор условий без взмахов крыльев бабочки является набором, который приводит к торнадо.
Эффект бабочки представляет собой очевидную проблему для прогнозирования, поскольку начальные условия для такой системы, как погода, никогда не могут быть известны с полной точностью. Эта проблема побудила к развитию ансамблевого прогнозирования , в котором ряд прогнозов делается из возмущенных начальных условий. [15]
Некоторые ученые с тех пор утверждают, что погодная система не так чувствительна к начальным условиям, как считалось ранее. [16] Дэвид Оррелл утверждает, что основным фактором, влияющим на ошибку прогноза погоды, является ошибка модели, а чувствительность к начальным условиям играет относительно небольшую роль. [17] [18] Стивен Вольфрам также отмечает, что уравнения Лоренца сильно упрощены и не содержат членов, представляющих вязкие эффекты; он считает, что эти члены будут иметь тенденцию гасить небольшие возмущения. [19] Недавние исследования с использованием обобщенных моделей Лоренца , которые включают дополнительные диссипативные члены и нелинейность, показали, что для возникновения хаоса требуется больший параметр нагрева. [20]
Хотя «эффект бабочки» часто объясняется как синоним чувствительной зависимости от начальных условий, описанной Лоренцем в его статье 1963 года (и ранее наблюдавшейся Пуанкаре), метафора бабочки была первоначально применена [1] к работе, опубликованной им в 1969 году [21], которая продвинула эту идею на шаг дальше. Лоренц предложил математическую модель того, как крошечные движения в атмосфере масштабируются, чтобы повлиять на более крупные системы. Он обнаружил, что системы в этой модели могут быть предсказаны только до определенной точки в будущем, и после этого уменьшение ошибки в начальных условиях не увеличит предсказуемость (пока ошибка не равна нулю). Это показало, что детерминированная система может быть «наблюдательно неотличима» от недетерминированной с точки зрения предсказуемости. Недавние повторные проверки этой статьи показывают, что она предложила значительный вызов идее о том, что наша Вселенная детерминирована, сопоставимый с вызовами, предлагаемыми квантовой физикой. [22] [23]
В книге под названием «Сущность хаоса» , опубликованной в 1993 году, [24] Лоренц определил эффект бабочки как: «Явление, при котором небольшое изменение состояния динамической системы приведет к тому, что последующие состояния будут сильно отличаться от состояний, которые последовали бы без изменения». Эта особенность совпадает с чувствительной зависимостью решений от начальных условий (SDIC) в . [3] В той же книге Лоренц применил деятельность лыжного спорта и разработал идеализированную модель лыжного спорта для выявления чувствительности изменяющихся во времени траекторий к начальным положениям. Горизонт предсказуемости определяется до наступления SDIC. [25]
Повторяемость , приблизительное возвращение системы к ее начальным условиям, вместе с чувствительной зависимостью от начальных условий, являются двумя основными ингредиентами хаотического движения. Они имеют практическое последствие, делая сложные системы , такие как погода , трудно предсказуемыми за пределами определенного временного диапазона (приблизительно неделя в случае погоды), поскольку невозможно измерить начальные атмосферные условия совершенно точно.
Динамическая система проявляет чувствительную зависимость от начальных условий, если точки, произвольно близкие друг к другу, разделяются с течением времени с экспоненциальной скоростью. Определение не топологическое, а по сути метрическое. Лоренц [24] определил чувствительную зависимость следующим образом:
Свойство, характеризующее орбиту (т. е. решение), если большинство других орбит, проходящих близко к ней в какой-то момент, не остаются близкими к ней с течением времени.
Если M — пространство состояний для отображения , то демонстрирует чувствительную зависимость от начальных условий, если для любого x в M и любого δ > 0 существуют y в M с расстоянием d (. , .) таким, что и таким, что
для некоторого положительного параметра a . Определение не требует, чтобы все точки из окрестности были отделены от базовой точки x , но оно требует одного положительного показателя Ляпунова . В дополнение к положительному показателю Ляпунова, ограниченность является еще одной важной особенностью в хаотических системах. [26]
Простейшая математическая структура, демонстрирующая чувствительную зависимость от начальных условий, обеспечивается конкретной параметризацией логистического отображения :
которая, в отличие от большинства хаотических отображений, имеет решение в замкнутой форме :
где начальный параметр условия задается как . Для рационального , после конечного числа итераций отображается в периодическую последовательность . Но почти все являются иррациональными, а для иррационального , никогда не повторяется – он непериодический. Это уравнение решения наглядно демонстрирует две ключевые особенности хаоса – растяжение и сворачивание: множитель 2 n показывает экспоненциальный рост растяжения, что приводит к чувствительной зависимости от начальных условий (эффект бабочки), в то время как квадрат синусоидальной функции сохраняет свернутость в диапазоне [0, 1].
Эффект бабочки наиболее известен в плане погоды; его можно легко продемонстрировать в стандартных моделях прогнозирования погоды, например. Климатологи Джеймс Аннан и Уильям Коннолли объясняют, что хаос важен в разработке методов прогнозирования погоды; модели чувствительны к начальным условиям. Они добавляют оговорку: «Разумеется, существование неизвестной бабочки, хлопающей крыльями, не имеет прямого отношения к прогнозам погоды, поскольку потребуется слишком много времени, чтобы такое небольшое возмущение выросло до значительных размеров, и у нас есть еще много непосредственных неопределенностей, о которых нужно беспокоиться. Поэтому прямое влияние этого явления на прогнозирование погоды часто оказывается несколько неверным». [27]
Концепция эффекта бабочки охватывает несколько явлений. Два вида эффектов бабочки, включая чувствительную зависимость от начальных условий [3] и способность крошечного возмущения создавать организованную циркуляцию на больших расстояниях [1] , не совсем одинаковы. [28] В работе Палмера и др. [22] представлен новый тип эффекта бабочки, подчеркивающий потенциальное влияние мелкомасштабных процессов на конечную предсказуемость в модели Лоренца 1969 года. Кроме того, выявление плохо обусловленных аспектов модели Лоренца 1969 года указывает на практическую форму конечной предсказуемости. [25] Эти два различных механизма, предполагающие конечную предсказуемость в модели Лоренца 1969 года, в совокупности называются третьим видом эффекта бабочки. [29] Авторы работы [29] рассмотрели предложения Палмера и др. и стремились представить свою точку зрения, не выдвигая конкретных аргументов.
Третий вид эффекта бабочки с конечной предсказуемостью, как обсуждалось в [22], был изначально предложен на основе сходящейся геометрической серии, известной как формулы Лоренца и Лилли. Продолжающиеся дискуссии касаются обоснованности этих двух формул для оценки пределов предсказуемости в [30] .
Было задокументировано сравнение двух видов эффектов бабочки [1] [3] и третьего вида эффекта бабочки [21] [22] [23] . [29] В недавних исследованиях [25] [31] сообщалось, что как метеорологические, так и неметеорологические линейные модели показали, что нестабильность играет роль в возникновении эффекта бабочки, который характеризуется кратковременным, но значительным экспоненциальным ростом в результате небольшого возмущения.
Первый вид эффекта бабочки (BE1), известный как SDIC (чувствительная зависимость от начальных условий), широко признан и продемонстрирован с помощью идеализированных хаотических моделей. Однако мнения расходятся относительно второго вида эффекта бабочки, в частности, влияния взмахов крыльев бабочки на формирование торнадо, как указано в двух статьях 2024 года. [32] [33] В более поздних обсуждениях, опубликованных Physics Today , [34] [35] признается, что второй вид эффекта бабочки (BE2) никогда не был строго проверен с использованием реалистичной модели погоды. Хотя исследования показывают, что BE2 маловероятен в реальной атмосфере, [32] [34] его недействительность в этом контексте не отрицает применимости BE1 в других областях, таких как пандемии или исторические события. [36]
Для третьего типа эффекта бабочки ограниченная предсказуемость в модели Лоренца 1969 объясняется масштабными взаимодействиями в одной статье [22] и плохой обусловленностью системы в другом более позднем исследовании. [25]
Согласно Лайтхиллу (1986), [37] наличие SDIC (широко известного как эффект бабочки) подразумевает, что хаотические системы имеют конечный предел предсказуемости. В обзоре литературы [38] было обнаружено, что точка зрения Лоренца на предел предсказуемости может быть сжата в следующее утверждение:
Недавно был создан короткий видеоролик, представляющий точку зрения Лоренца на предел предсказуемости. [41]
Недавнее исследование ссылается на двухнедельный предел предсказуемости, первоначально рассчитанный в 1960-х годах с пятидневным временем удвоения модели Минца-Аракавы, как на «гипотезу предела предсказуемости». [42] Вдохновленный законом Мура, этот термин признает совместный вклад Лоренца, Минца и Аракавы под руководством Чарни. Гипотеза поддерживает исследование предсказаний в расширенном диапазоне с использованием как физических методов, основанных на частных дифференциальных уравнениях (PDE), так и методов искусственного интеллекта (ИИ).
Выявив сосуществующие хаотические и нехаотические аттракторы в моделях Лоренца, Шен и его коллеги предложили пересмотренную точку зрения, согласно которой «погода обладает хаосом и порядком», в отличие от общепринятой точки зрения «погода хаотична». [43] [44] [45] В результате чувствительная зависимость от начальных условий (SDIC) проявляется не всегда. А именно, SDIC проявляется, когда две орбиты (т. е. решения) становятся хаотическим аттрактором; она не проявляется, когда две орбиты движутся к одному и тому же точечному аттрактору. Приведенная выше анимация для движения двойного маятника дает аналогию. При больших углах качания движение маятника часто хаотично. [46] [47] Для сравнения, при малых углах качания движения нехаотичны. Мультистабильность определяется, когда система (например, система двойного маятника ) содержит более одного ограниченного аттрактора, который зависит только от начальных условий. Мультистабильность была проиллюстрирована с использованием каякинга на рисунке справа (т. е. рисунок 1 из [48] ), где появление сильных течений и застойной области предполагает нестабильность и локальную устойчивость соответственно. В результате, когда две байдарки движутся вдоль сильных течений, их пути демонстрируют SDIC. С другой стороны, когда две байдарки движутся в застойную область, они оказываются в ловушке, не показывая типичного SDIC (хотя может возникнуть хаотический переходный процесс). Такие особенности SDIC или отсутствия SDIC предполагают два типа решений и иллюстрируют природу мультистабильности.
Принимая во внимание изменяющуюся во времени мультистабильность, связанную с модуляцией крупномасштабных процессов (например, сезонного воздействия) и совокупной обратной связью мелкомасштабных процессов (например, конвекции), приведенное выше пересмотренное представление уточняется следующим образом:
«Атмосфера обладает хаосом и порядком; она включает в себя, в качестве примеров, возникающие организованные системы (такие как торнадо) и изменяющиеся во времени воздействия повторяющихся сезонов». [48] [49]
Потенциал чувствительной зависимости от начальных условий (эффект бабочки) изучался в ряде случаев в полуклассической и квантовой физике , включая атомы в сильных полях и анизотропную задачу Кеплера . [50] [51] Некоторые авторы утверждали, что экстремальная (экспоненциальная) зависимость от начальных условий не ожидается в чисто квантовых трактовках; [52] [53] однако чувствительная зависимость от начальных условий, продемонстрированная в классическом движении, включена в полуклассические трактовки, разработанные Мартином Гуцвиллером [54] и Джоном Б. Делосом и их коллегами. [55] Теория случайных матриц и моделирование с помощью квантовых компьютеров доказывают, что некоторые версии эффекта бабочки в квантовой механике не существуют. [56]
Другие авторы предполагают, что эффект бабочки можно наблюдать в квантовых системах. Збышек П. Каркушевски и др. рассматривают временную эволюцию квантовых систем, которые имеют немного разные гамильтонианы . Они исследуют уровень чувствительности квантовых систем к небольшим изменениям в их заданных гамильтонианах. [57] Дэвид Пулен и др. представили квантовый алгоритм для измерения распада точности, который «измеряет скорость, с которой идентичные начальные состояния расходятся при воздействии немного разной динамики». Они считают распад точности «ближайшим квантовым аналогом (чисто классического) эффекта бабочки». [58] В то время как классический эффект бабочки рассматривает эффект небольшого изменения положения и/или скорости объекта в заданной гамильтоновой системе , квантовый эффект бабочки рассматривает эффект небольшого изменения в гамильтоновой системе с заданным начальным положением и скоростью. [59] [60] Этот квантовый эффект бабочки был продемонстрирован экспериментально. [61] Квантовые и полуклассические трактовки чувствительности системы к начальным условиям известны как квантовый хаос . [52] [59]
Эффект бабочки проявился в таких областях, как литература (например, «И грянул гром» ), фильмы и телевидение (например, «Симпсоны» ), видеоигры (например, «Life Is Strange» ), веб-комиксы (например , «Homestuck »), расширяющиеся языковые модели, управляемые искусственным интеллектом, и многое другое.
{{cite book}}
: CS1 maint: несколько имен: список авторов ( ссылка ){{cite journal}}
: CS1 maint: несколько имен: список авторов ( ссылка )