Уравнение янга миллса что это
Теория Янга-Миллса
Развитие математики всегда шло рука
которой идёт речь в этой статье, это
как раз тот случай, когда наши знания
о природе потребовали новых
математических аппаратов. =+=+=+=
Затем существующей математики еще долго хватало для того, чтобы описывать физические теории. Так, квантовая механика и основанные на ней теории (например, теория суперструн) пользуются заранее разработанными разделами математики (в частности, теорией групп и функциональным анализом).
Возникает вопрос: каким образом учитывать поля квантовой системы при построении этого самого лагранжиана? Ответ на этот вопрос дают так называемые квантовые теории поля. Множественное число не случайно: лагранжиан можно строить разными способами, дело лишь в том, какой из них лучше описывает реальность.
Вернемся к волновым функциям. При измерении вероятность найти частицу в данной точке равна квадрату модуля волновой функции. Значит, функцию можно умножить на любое комплексное число с единичным модулем (сдвинуть фазу), и ничего не изменится: вероятность нахождения частицы в каждой конкретной точке останется точно такой же. Фактически конкретный вид волновой функции нам никогда не узнать, да он нас и не интересует; зато очень интересно, какие операции можно произвести над волновой функцией так, чтобы свойства системы не изменились.
Чтобы добраться до квантовых теорий Янга-Миллса, осталось сделать два важных шага. Первый шаг заключается в том, чтобы требования глобальной инвариантности дополнить требованиями локальной инвариантности. В предыдущем примере на число с единичным модулем нужно было умножать всю функцию сразу. Но ничего не изменилось бы, если бы это умножение произошло не во всем пространстве, а в какой-то его части. В математике это называется переходом от групп глобальных преобразований к группам локальных преобразований.
Второй принципиальный момент заключается в том, что в теориях Янга-Миллса приходится использовать так называемые неабелевы группы преобразований. Из-за этого нарушается принцип суперпозиции: если на частицу действуют несколько полей сразу, их совокупный эффект уже нельзя разложить на действие каждого из них поодиночке. Так получается потому, что в этой теории друг к другу притягиваются не только частицы материи, но и сами силовые линии поля! Из-за этого уравнения становятся нелинейными и весь арсенал математических приёмов для решения линейных уравнений к ним применить нельзя. Поиск решений и даже доказательство их существования становятся несравнимо более сложной задачей.
Чтобы теория могла описывать сильное взаимодействие, она должна обладать тремя свойствами, которые совершенно не свойственны классическим теориям:
Задачи тысячелетия. Просто о сложном
Привет, хабралюди!
Сегодня я бы хотел затронуть такую тему как «задачи тысячелетия», которые вот уже десятки, а некоторые и сотни лет волнуют лучшие умы нашей планеты.
После доказательства гипотезы (теперь уже теоремы) Пуанкаре Григорием Перельманом, основным вопросом, который заинтересовал многих, был: «А что же он собственно доказал, объясните на пальцах?» Пользуясь возможностью, попробую объяснить на пальцах и остальные задачи тысячелетия, или по крайней мере подойти в ним с другой более близкой к реальности стороны.
Равенство классов P и NP
Все мы помним из школы квадратные уравнения, которые решаются через дискриминант. Решение этой задачи относится к классу P (Polynomial time) — для нее существует быстрый (здесь и далее под словом «быстрый» подразумевается как выполняющийся за полиномиальное время) алгоритм решения, который и заучивается.
Также существуют NP-задачи (Non-deterministic Polynomial time), найденное решение которых можно быстро проверить по определенному алгоритму. Для примера проверка методом перебора компьютером. Если вернуться к решению квадратного уравнения, то мы увидим, что в данном примере существующий алгоритм решения проверяется так же легко и быстро как и решается. Из этого напрашивается логичный вывод, что данная задача относится как к одному классу так и ко второму.
Таких задач много, но основным вопросом является, все или не все задачи которые можно легко и быстро проверить можно также легко и быстро решить? Сейчас для некоторых задач не найдено быстрого алгоритма решения, и неизвестно существует ли такой вообще.
На просторах интернета также встретил такую интересную и прозрачную формулировку:
Допустим, что вы, находясь в большой компании, хотите убедиться, что там же находится ваш знакомый. Если вам скажут, что он сидит в углу, то достаточно будет доли секунды, чтобы, бросив взгляд, убедиться в истинности информации. В отсутствие этой информации вы будете вынуждены обойти всю комнату, рассматривая гостей.
В данном случае вопрос стоит все тот же, есть ли такой алгоритм действий, благодаря которому даже не имея информации о том, где находится человек, найти его так же быстро, как будто зная где он находится.
Данная проблема имеет большое значение для самых различных областей знаний, но решить ее не могут уже более 40 лет.
Гипотеза Ходжа
В реальности существуют множество как простых так и куда более сложных геометрических объектов. Очевидно, что чем сложнее объект тем более трудоемким становится его изучение. Сейчас учеными придуман и вовсю применяется подход, основная идея которого заключается в том, чтобы вместо самого изучаемого объекта использовать простые «кирпичики» с уже известными свойствами, которые склеиваются между собой и образуют его подобие, да-да, знакомый всем с детства конструктор. Зная свойства «кирпичиков», становится возможным подступиться и к свойствам самого объекта.
Гипотеза Ходжа в данном случае связана с некоторыми свойствами как «кирпичиков» так и объектов.
Гипотеза Римана
Всем нам еще со школы известны простые числа которые делятся только на себя и на единицу (2,3,5,7,11. ). С давних времен люди пытаются найти закономерность в их размещении, но удача до сих пор так никому и не улыбнулась. В результате ученые применили свои усилия к функции распределения простых чисел, которая показывает количество простых чисел меньше или равных определенного числа. Например для 4 — 2 простых числа, для 10 — уже 4 числа. Гипотеза Римана как раз устанавливает свойства данной функции распределения.
Многие утверждения о вычислительной сложности некоторых целочисленных алгоритмов, доказаны в предположении верности этой гипотезы.
Теория Янга — Миллса
Уравнения квантовой физики описывают мир элементарных частиц. Физики Янг и Миллс, обнаружив связь между геометрией и физикой элементарных частиц, написали свои уравнения, объединяющие теории электромагнитного, слабого и сильного взаимодействий. Одно время теория Янга-Миллса рассматривалась лишь как математический изыск, не имеющий отношения к реальности. Однако, позже теория начала получать экспериментальные подтверждения, но в общем виде она все еще остается не решенной.
На основе теории Янга-Миллса построена стандартная модель физики элементарных частиц в рамках которой был предсказан и не так давно обнаружен нашумевший бозон Хиггса.
Существование и гладкость решений уравнений Навье — Стокса
Течение жидкостей, воздушные потоки, турбулентность. Эти, а также множество других явлений описываются уравнениями, известными как уравнения Навье — Стокса. Для некоторых частных случаев уже найдены решения, в которых как правило части уравнений отбрасываются как не влияющие на конечный результат, но в общем виде решения этих уравнений неизвестны, и при этом даже неизвестно, как их решать.
Гипотеза Бёрча — Свиннертон-Дайера
Для уравнения x 2 + y 2 = z 2 в свое время еще Эвклид дал полное описание решений, но для более сложных уравнений поиск решений становится чрезвычайно трудным, достаточно вспомнить историю доказательства знаменитой теоремы Ферма, чтобы убедиться в этом.
Данная гипотеза связана с описанием алгебраических уравнений 3 степени — так называемых эллиптических кривых и по сути является единственным относительно простым общим способом вычисления ранга, одного из важнейших свойств эллиптических кривых.
В доказательстве теоремы Ферма эллиптические кривые заняли одно из важнейших мест. А в криптографии они образуют целый раздел имени себя, и на них основаны некоторые российские стандарты цифровой подписи.
Гипотеза Пуанкаре
Думаю если не все, то большинство точно о ней слышали. Чаще всего встречается, в том числе и на центральных СМИ, такая расшифровка как «резиновую ленту натянутую на сферу можно плавно стянуть в точку, а натянутую на бублик — нельзя». На самом деле эта формулировка справедлива для гипотезы Тёрстона, которая обобщает гипотезу Пуанкаре, и которую в действительности и доказал Перельман.
Частный случай гипотезы Пуанкаре говорит нам о том, что любое трехмерное многообразие без края (вселенная, например) подобно трехмерной сфере. А общий случай переводит это утверждение на объекты любой мерности. Стоит заметить, что бублик, точно так же как вселенная подобна сфере, подобен обычной кофейной кружке.
Заключение
В настоящее время математика ассоциируется с учеными, имеющими странный вид и говорящие о не менее странных вещах. Многие говорят о ее оторванности от реального мира. Многие люди как младшего, так и вполне сознательного возраста говорят, что математика ненужная наука, что после школы/института, она нигде не пригодилась в жизни.
Но на самом деле это не так — математика создавалась как механизм с помощью которого можно описать наш мир, и в частности многие наблюдаемые вещи. Она повсюду, в каждом доме. Как сказал В.О. Ключевский: «Не цветы виноваты, что слепой их не видит».
Наш мир далеко не так прост, как кажется, и математика в соответствии с этим тоже усложняется, совершенствуется, предоставляя все более твердую почву для более глубокого понимания существующей реальности.
Проблемы тысячелетия понятным языком
«Кажется, что-то слышал об этом» — самый популярный ответ от собеседников на вопрос о задачах тысячелетия. Хотите немного разобраться в запутанной сети математических проблем, чтобы не сгорать от стыда в разговоре с преподавателями? Тогда смелее читайте дальше!
Первое, о чем стоит вам сообщить: список из 7 проблем был определен Математическим институтом Клэя в 2000 году, а за решение каждой из них американский институт готов выплатить 1 миллион долларов.
Свое историческое начало задачи берут еще 1900 году, когда в Париже на II Международном конгрессе математиков Давид Гильберт выступил с докладом, в котором сформулировал 23 проблемы, нуждающиеся, по его мнению, в разрешении. Именно они в дальнейшем и определили многие ключевые направления развития математики в XX веке. Случилось так, что к началу XXI века многие проблемы из списка были либо решены, либо вычернуты из-за нечёткой постановки задачи.
После Гильберта обновлением списка занялся математик Стивен Смейл. На тот момент он состоял из 18 нерешенных задач, однако более широкой огласке предалась его альтернативная версия, составленная институтом Клэя, о которой далее и пойдет речь.
Второе, о чем стоит знать, так это о том, что задач всего 7, одна из них уже считается решенной, а 6 остальных, соответственно, находятся в «подвешенном» состоянии. К примеру, гипотеза Римана перекочевала ещё из списка 1900 года, и с тех самых пор остается нерешенной.
Ну а теперь предлагаю начать знакомство с каждой из них!
Гипотеза Пуанкаре (1904 г.)
На сегодняшний день гипотеза Пуанкаре считается единственной решенной задачей тысячелетия из списка. Она была сформулирована еще в 1904 году математиком Анри Пуанкаре. Данная задача — одна из наиболее известных проблем топологии. Её суть состояла в том, что если каждая замкнутая петля стягивается в точку, то ваша поверхность представляет собой деформированную сферу. Возьмём тор (тот же бублик). Если мы начнем чуть-чуть мять и растягивать резиновую сферу, тор мы никак не получим.
Почему нет? Потому что с бубликами не всё так просто. Чтобы из сферы получить тор, её надо или порвать, или растянуть и склеить, а значит, тор — не деформированная сфера. По итогу имеем, что на поверхности сферы все петли стягиваются в точку, а на поверхности тора — нет.
После того, как в 2002-2003 годах задача была решена Григорием Перельманом, автором серии работ, подтверждающих справедливость данной гипотезы, проблема предалась широкой огласке. Многие СМИ объясняли суть задачи простыми словами: «резиновую ленту, натянутую на сферу можно плавно стянуть в точку, а натянутую на бублик — нельзя». Однако, данная формулировка больше подходит для описания гипотезы Тёрстона — обобщения гипотезы Пуанкаре. Но это уже совсем другая история. 🙂
Если возвращаться к истории петербургского математика Григория Перельмана, то выясняется, что премия института Клэя за доказательство гипотезы Пуанкаре была присуждена ему только в 2010 году. Однако, после того, как у него попытались отобрать лавры первооткрывателя, Перельман отказался от получения денежного вознаграждения.
Равенство классов P и NP (1971 г.)
В узких кругах эта задача известна как «Пробема Кука» и «Проблема перебора». Отношения между классами P и NP рассматриваются в разделе теории алгоритмов, и вот уже почти полвека как великие умы человечества не могут найти чёткого доказательства для этой проблемы. Может быть это получится у вас? 🙂 А для того, чтобы разобраться в постановке задачи, вам нужно знать, что из себя представляют классы P и NP.
Итак, в теории алгоритмов класс P (polynomial) опеределяют как множество задач, имеющих быстрые алгоритмы решения, время работы которых напрямую зависит от размера входных данных. Главное, что осуществляется такой алгоритм за полиномиальное время. Примерами задач из класса P являются известные ещё со школьной скамьи такие простейшие арифметические операции, как сложение, умножение, деление, взятие остатка от деления (естественно, все операции целочисленные).
Класс NP (not-deterministic polinomial) в свою очередь включает в себя множество задач разрешимости, решение которых можно проверить на машине Тьюринга за время, не превосходящее значения некоторого многочлена, зависящего, опять же, от размера входных данных.
Подобных задач разрешимости очень много, но основной вопрос они поднимают, по большей части, один и тот же: «все ли задачи, которые можно быстро проверить, можно столь же быстро решить?» На данный момент, для некоторых задач не найдено не то что быстрого алгоритма решения, даже неизвестно существует ли такой алгоритм вообще!
Если данная проблема когда-нибудь обретёт аргументированное доказательство, то это здорово улучшит качество нашей жизни, ведь она имеет большое значение для самых различных областей знаний. Однако, на данный момент времени предполагается, что классы P и NP не равны, поскольку далеко не все задачи, решения которых легко проверяемы, могут быть легко решаемы.
Гипотеза Римана (1859 г.)
Эта задача из области теории чисел, уже третья из списка проблем тысячелетия, была сформулирована немецким математиком Бернхардом Риманом еще в XIX веке, но по сей день так и остается нерешенной.
Чтобы поближе познакомиться с сутью гипотезы, вам придется вновь обратиться к школьным знаниям. На этот раз придётся вспомнить, что такое простые числа. Итак, это те самые числа, которые делятся только на себя и на единицу (2, 3, 5, 7, 11, 13, 17. ). Мощность множества простых чисел — алеф-ноль. Если, к примеру, нанести все простые числа на числовую ось, то сразу станет ясно, что распределены они на ней вовсе не равномерно, а значит, их поиск не подчиняется какой-либо закономерности. Где и когда обнаружится следующее простое число — загадка.
Однажды Риман предположил, что можно выявить и сформулировать свойства, на основании которых складывалась последовательность простых чисел. А после он показал, что распределение простых чисел похоже на точки, в которых дзета-функция — ς(s) = 1/1^s + 1/2^s + 1/3^s + 1/4^s + … — обращается в ноль.
А нам известно, что нулевое значение она имеет, когда s — отрицательное четное число. В таких случаях мы получаем, так называемые, «тривиальные» нули дзета-функции. Кроме того, благодаря некоторым выкладкам Римана стало известно, что другие нули появляются, если s — комплексное число, действительная часть которого равна 1/2.
Что сейчас известно о ходе решения задачи: расчёты, проведённые с использованием суперкомпьютеров и для невероятно громадных простых чисел, подтверждают справедливость гипотезы Римана. Она доказана примерно для 10 трлн первых решений, но в общем виде пока нет. А поскольку простые числа играют немаловажную роль в работе криптографических алгоритмов, то после доказательства данной гипотезы нас ожидает значительный прогресс в сфере шифрования и безопасности интернета.
Существование и гладкость решений уравнений Навье — Стокса (1822 г.)
Спешу познакомить вас с ещё одной проблемой тысячелетия, но на сей раз из области математической физики (гидродинамики). Эта задача известна миру на протяжении практически 200 лет, но до сих пор остается нерешенной. Суть загадки состоит в том, чтобы доказать, что решение данных уравнений существует и является гладкой функцией.
Задача, возникшая на стыке математики и классической физики, вырастает из научных трудов XIX в., в которых учёные стали формулировать строгие законы, описывающие движение жидкостей. Полученные уже тогда уравнения Навье — Стокса остаются одними из важнейших в гидродинамике и аэродинамике. С их помощью можно вычислить скорость потока с учётом вязкости, сжимаемости, плотности, давления, потому сами уравнения используются повсеместно.
На первый взгляд может показаться, будто всё уже на своих местах и доказывать нечего, однако решить уравнения Навье — Стокса в общем виде до сих пор никому не удалось, а все расчёты, которые ведутся на данный момент, рассматривают лишь отдельные, частные случаи.
Эта проблема особенно актуальна в наше время, ведь решение уравнений помогло бы раскрыть многие тайны о природе течения жидкостей, воздушных потоков и турбулентности. Современные технологии, от самолетов и подлодок до ветряных электростанций и автомобилей, повсеместно сталкиваются с последним явлением, и тот факт, что оно остается плохо изученным, делает турбулентость плохо просчитываемой и практически непредсказуемой.
Из последних новостей о проблеме тысячелетия известно, что в 2014 году к решению приблизился казахстанский математик Мухтарбай Отелбаев, однако в его расчётах была найдена ошибка.
Гипотеза Ходжа (1941 г.)
Одна из самых важных задач алгебраической геометрии, сформулированная в 1941 году, заключается в том, что для проективных алгебраических многообразий (неприводимых замкнутых подмножеств многомерного проективного пространства над алгебраически замкнутым полем, ну это 1-й курс точно уже знает!) класс Ходжа представляет собой рациональную линейную комбинацию классов алгебраических циклов. Все равно ничего не понятно.
Иными словами, в реальности существуют множество как простых, так и сложных геометрических объектов, и чем сложнее объект, тем более трудоёмким становится процесс его изучения. Но для простоты исследования свойств различных сложных геометрических объектов, ученые отдельно изучают свойства частички одного целого. Данный метод активно используется математиками ещё с XX века.
Гипотеза Ходжа непосредственно связана как со свойствами составных частей, так и со свойствами целых объектов. На сегодняшний день в алгебраической геометрии это является достаточно серьёзной проблемой. Ещё бы, отыскать точные методы для анализа сложных предметов и форм на основании анализа его простых частей, а после склеивания вместе таких частиц (по возрастающей размерности) составить некий «портрет» о свойствах самого объекта.
Метод оказался эффективным при описании разнообразных объектов, встречающихся в математике. При этом геометрические обоснования метода оставались весьма смутными: в некоторых случаях возникала необходимость в прибавлении частей, не имеющих никакого геометрического истолкования.
Известно, что на данный момент времени удалось доказать гипотезу Ходжа удалось только для некоторых частных случаев. Более общее доказательство пока не найдено, впрочем, как и не найдено доказательство обратного — что гипотеза неверна.
Гипотеза Бёрча — Свиннертон-Дайера (1960 г.)
Список проблем тысячелетия продолжает ещё одна задача из области алгебраической геометрии, которая была выдвинута в начале 1960-х английскими учёными из Кембриджского университета. Её суть заключается в том, чтобы описать все возможные решения алгебраических уравнений с несколькими переменными, сложнее, чем уравнение школьной параболы.
Кроме того, не стоит забывать о том, что переменные в них обязательно должны быть целочисленными, как и решения, а значит, сами уравнения могут считаться диофантовыми. Однако, ещё в 1970 году советский математик Юрий Матиясевич, будучи аспирантом, показал, что универсального решения диофантовых уравнений не существует, сделав финальный шаг в доказательстве неразрешимости задачи о существовании решений у произвольного диофантова уравнения, ответив тем самым на вопрос десятой проблемы Гильберта.
При рассмотрении частного случая, когда решения уравнений образуют абелево многообразие, Бёрч и Свиннертон-Дайер выдвинули предположение о том, что множество решений эллиптической кривой связано с поведением L-функции в окрестности единицы.
Что же такое L-функция? Это некоторая комплексная функция L(s), заданная при условии, что вещественная часть числа s > 1. Свойства данной функции на всей комплексной плоскости в основном определяются свойствами уже известной нам дзета-функции (см. «Гипотеза Римана»). То есть, в случае, если дзета-функция в точке 1 принимает значение равное нулю, мы получаем бесконечное число решений. Если же значение L(1) не равно нулю, то получаем конечное число рациональных решений, и это доказал математик Виктор Колывагин.
Есть некоторая вероятноятность, что ответы на гипотезу Бёрча – Свиннертон-Дайера будут получены только в частном виде, поскольку первый случай так и остается неподкрепленным какой-либо доказательной базой.
В чём заключается практическая важность задачи: на данный момент, в криптографии на эллиптических кривых основан целый класс асимметричных систем, на применении которых были сформированы некоторые российские стандарты цифровой подписи.
Теория Янга — Миллса (1954 г.)
Перейдем к заключающей проблеме тысячелетия, пришедшей из слияния таких областей науки как физика элементарных частиц и геометрия. Еще в 1954 году физики Янг и Миллс написали уравнения, применимые в области квантовой физики, объединяющие в себе описание нескольких фундаментальных взаимодействий природы — электромагнитного, слабого и сильного.
На данный момент теория Янга — Миллса подтвердилась экспериментальным путем только для электрослабого и сильного взаимодействий. Но все попытки решить уравнения, описывающие все три взаимодейстия одновременно, оборачивались неудачей, однако рассчётные эксперименты показывают, что шанс всё-таки есть.
Известно, что на основе теории Янга-Миллса была построена стандартная модель физики элементарных частиц — некий «код» нашей Вселенной, состоящий из кварков, лептонов и калибровочных бозонов, из которых, в свою очередь, слеплено всё, что существует во Вселенной.
Ещё 50 лет назад была предсказана последняя частица из стандартной модели и в течение последних 20 лет великие умы современности охотились за ней — недостающим бозоном Хиггса, и, наконец, поймали. Сам бозон представляет собой некоторое поле, наделяющее массой частицы, которые увязли в бозонах. И где бы не появилась частица — поле Хиггса всегда «сообщит» ей её массу, поскольку всё пространство Вселенной пронизано полем Хиггса.
А для того, чтобы поймать бозон Хиггса, который в нашем мире существует не дольше 1*10^(-24) доли секунды, в Швейцарии построили Большой Адронный Коллайдер. В нем разгоняют банчи (иными словами, сгустки) протонов и сталкивают друг с другом. Подробнее эту тему лучше изучать самостоятельно, но ни в коем случае не пытайтесь повторить это дома!
Сейчас же уравнения Янга — Миллса приняты учеными-физиками во всем мире. Несмотря на это, предсказать массы элементарных частиц экспериментальным путем в рамках их теории так и не удалось, ровно как и решить проблему в общем виде.
Специально для ЖЖ матфака, с большим желанием пробудить в вас стремление к новому, ранее неизведанному, Садуллаева Надежда.