самое сложное уравнение в истории
7 математических загадок тысячелетия. Просто о сложном
Только для мыслящих людей!
«Я знаю только то, что ничего не знаю, но другие не знают и этого»
(Сократ, древнегреческий философ)
НИКОМУ не дано владеть вселенским разумом и знать ВСЁ. Тем не менее, у большинства ученых, да и тех, кто просто любит размышлять и исследовать, всегда есть стремление узнать больше, разгадать загадки. Но остались ли еще неразгаданные темы у человечества? Ведь, кажется, все уже ясно и нужно только применять полученные веками знания?
НЕ стоит отчаиваться! Еще остались нерешенные проблемы из области математики, логики, которые в 2000 году эксперты Математического института Клэя в Кембридже (Массачусетс, США) объединили в список, так называемые, 7 загадок тысячелетия (Millennium Prize Problems). Эти проблемы волнуют ученых всей планеты. С тех пор и по сей день любой человек может заявить, что нашел решение одной из задач, доказать гипотезу и получить от бостонского миллиардера Лэндона Клэя (в честь которого и назван институт) премию. Он уже выделил на эти цели 7 миллионов долларов. К слову сказать, на сегодняшний день одна из проблем уже решена.
Итак, вы готовы узнать о математических загадках?
Гипотеза Римана (сформулирована в 1859 году)
Область: теория чисел
Проблема Пуанкаре (сформулирована в 1904 году. Решена в 2002 году.)
Область: топология или геометрия многомерных пространств
Суть проблемы заключается в топологии и состоит в том, что если натягивать резиновую ленту, к примеру, на яблоко (сферу), то будет теоретически возможным сжать ее до точки, медленно перемещая без отрыва от поверхности ленту. Однако если эту же ленту натянуть вокруг бублика (тора), то сжать ленту без разрыва ленты или разлома самого бублика не представляется возможным. Т.е. вся поверхность сферы односвязна, в то время как тора – нет. Задача состояла в том, чтобы доказать, что односвязной является только сфера.
Представитель ленинградской геометрической школы Григорий Яковлевич Перельман является лауреатом премии тысячелетия математического института Клэя (2010 г.) за решение проблемы Пуанкаре. От знаменитой Фильдсовской премии он отказался.
Гипотеза Ходжа (сформулирована в 1941 году)
Область: алгебраическая геометрия
Область: геометрия и квантовая физика
Гипотеза Берча и Свиннертон-Дайера (сформулирована в 1960 году)
Область: алгебра и теория чисел
Гипотеза связана с уравнениями эллиптических кривых и множеством их рациональных решений. В доказательстве теоремы Ферма эллиптические кривые заняли одно из важнейших мест. А в криптографии они образуют целый раздел имени себя, и на них основаны некоторые российские стандарты цифровой подписи.
Задача в том, что нужно описать ВСЕ решения в целых числах x, y, z алгебраических уравнений, то есть уравнений от нескольких переменных с целыми коэффициентами.
Проблема Кука (сформулирована в 1971 году)
Область: математическая логика и кибернетика
Математика, как может показаться многим, не так далека от реальности. Она является тем механизмом, с помощью которого можно описать наш мир и многие явления. Математика всюду. И прав был В.О. Ключевский, который изрек: «Не цветы виноваты, что слепой их не видит».
Задачи тысячелетия. Просто о сложном
Привет, хабралюди!
Сегодня я бы хотел затронуть такую тему как «задачи тысячелетия», которые вот уже десятки, а некоторые и сотни лет волнуют лучшие умы нашей планеты.
После доказательства гипотезы (теперь уже теоремы) Пуанкаре Григорием Перельманом, основным вопросом, который заинтересовал многих, был: «А что же он собственно доказал, объясните на пальцах?» Пользуясь возможностью, попробую объяснить на пальцах и остальные задачи тысячелетия, или по крайней мере подойти в ним с другой более близкой к реальности стороны.
Равенство классов 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 степени — так называемых эллиптических кривых и по сути является единственным относительно простым общим способом вычисления ранга, одного из важнейших свойств эллиптических кривых.
В доказательстве теоремы Ферма эллиптические кривые заняли одно из важнейших мест. А в криптографии они образуют целый раздел имени себя, и на них основаны некоторые российские стандарты цифровой подписи.
Гипотеза Пуанкаре
Думаю если не все, то большинство точно о ней слышали. Чаще всего встречается, в том числе и на центральных СМИ, такая расшифровка как «резиновую ленту натянутую на сферу можно плавно стянуть в точку, а натянутую на бублик — нельзя». На самом деле эта формулировка справедлива для гипотезы Тёрстона, которая обобщает гипотезу Пуанкаре, и которую в действительности и доказал Перельман.
Частный случай гипотезы Пуанкаре говорит нам о том, что любое трехмерное многообразие без края (вселенная, например) подобно трехмерной сфере. А общий случай переводит это утверждение на объекты любой мерности. Стоит заметить, что бублик, точно так же как вселенная подобна сфере, подобен обычной кофейной кружке.
Заключение
В настоящее время математика ассоциируется с учеными, имеющими странный вид и говорящие о не менее странных вещах. Многие говорят о ее оторванности от реального мира. Многие люди как младшего, так и вполне сознательного возраста говорят, что математика ненужная наука, что после школы/института, она нигде не пригодилась в жизни.
Но на самом деле это не так — математика создавалась как механизм с помощью которого можно описать наш мир, и в частности многие наблюдаемые вещи. Она повсюду, в каждом доме. Как сказал В.О. Ключевский: «Не цветы виноваты, что слепой их не видит».
Наш мир далеко не так прост, как кажется, и математика в соответствии с этим тоже усложняется, совершенствуется, предоставляя все более твердую почву для более глубокого понимания существующей реальности.
masterok
masterokМастерок.жж.рф
Хочу все знать
Многие не знают например, что знаменитая и Великая теорема Ферма уже доказана, а есть ведь вообще пока не доказанные математические задачи.
В августе 1900 года в Париже состоялся II Международный Конгресс математиков. Он мог бы пройти незамеченным, если бы на нем не выступил немецкий ученый, профессор Давид Гильберт, который в своем докладе поставил 23 самые главные на тот момент, существенные проблемы, касающиеся математики, геометрии, алгебры, топологии, теории чисел, теории вероятностей и пр.
На данный момент решены 16 проблем из 23. Ещё 2 не являются корректными математическими проблемами (одна сформулирована слишком расплывчато, чтобы понять, решена она или нет, другая, далёкая от решения, — физическая, а не математическая). Из оставшихся пяти проблем две не решены никак, а три решены только для некоторых случаев.
Вот собственно весь список:
Вот как выглядят на сегодняшний день проблемы Гильберта и их статус:
1. Континуум-гипотеза. Существует ли бесконечное кардинальное число строго между кардиналами множеств целых и действительных чисел? Решена Полом Коэном в 1963 г. — ответ на вопрос зависит от того, какие аксиомы используются в теории множеств.
2. Логическая непротиворечивость арифметики. Доказать, что стандартные аксиомы арифметики не могут привести к противоречию. Решена Куртом Геделем в 1931 г.: с обычными аксиомами теории множеств такое доказательство невозможно.
3. Равносоставленность равновеликих тетраэдров. Если два тетраэдра имеют одинаковый объем, то всегда ли можно разрезать один из них на конечное число многоугольников и собрать из них второй? Решена в 1901 г. Максом Деном, ответ отрицательный.
4. Прямая как кратчайшее расстояние между двумя точками. Сформулировать аксиомы геометрии на основе данного определения прямой и посмотреть, что из этого следует. Слишком расплывчатая задача, чтобы можно было рассчитывать на определенное решение, но сделано немало.
5. Группы Ли без опоры на дифференцируемость. Технический вопрос теории групп преобразований. В одной из интерпретаций ее решил Эндрю Глисон в 1950-е гг., в другой — Хидехико Ямабе.
6. Аксиомы физики. Разработать строгую систему аксиом для математических областей физики, таких как теория вероятностей или механика. Систему аксиом для вероятностей построил Андрей Колмогоров в 1933 г.
7. Иррациональные и трансцендентные числа. Доказать, что определенные числа являются иррациональными или трансцендентными. Решена в 1934 г. Александром Гельфондом и Теодором Шнайдером.
8. Гипотеза Римана. Доказать, что все нетривиальные нули римановой дзета-функции лежат на критической линии. См. главу 9.
9. Законы взаимности в числовых полях. Обобщить классический закон квадратичной взаимности (о квадратах по определенному модулю) на более высокие степени. Частично решена.
10. Условия существования решений диофантовых уравнений. Найти алгоритм, позволяющий определить, имеет ли данное полиномиальное уравнение со многими переменными решения в целых числах. Невозможность доказал Юрий Матиясевич в 1970 г.
11. Квадратичные формы с алгебраическими числами в качестве коэффициентов. Технические вопросы решения диофантовых уравнений со многими переменными. Решена частично.
12. Теорема Кронекера об абелевых полях. Технические вопросы обобщения теоремы Кронекера. Не доказана до сих пор.
13. Решение уравнений седьмой степени при помощи функций специального вида. Доказать, что общее уравнение седьмой степени не может быть решено с использованием функций двух переменных. В одной из интерпретаций возможность такого решения доказали Андрей Колмогоров и Владимир Арнольд.
14. Конечность полной системы функций. Расширить теорему Гильберта об алгебраических инвариантах на все группы преобразований. Опроверг Масаёси Нагата в 1959 г.
15. Исчислительная геометрия Шуберта. Герман Шуберт нашел нестрогий метод подчета различных геометрических конфигураций. Задача в том, чтобы сделать этот метод строгим. Полного решения до сих пор нет.
16. Топология кривых и поверхностей. Сколько связанных компонент может иметь алгебраическая кривая заданной степени? Сколько различных периодических циклов может иметь алгебраическое дифференциальное уравнение заданной степени? Ограниченное продвижение.
17. Представление определенных форм в виде суммы квадратов. Если рациональная функция всегда принимает неотрицательные значения, то должна ли она обязательно выражаться в виде суммы квадратов? Решили Эмиль Артин, Д. Дюбуа и Альбрехт Пфистер. Верно для действительных чисел, неверно в некоторых других числовых системах.
18. Заполнение пространства многогранниками. Общие вопросы о заполнении пространства конгруэнтными многогранниками. Имеет отношение к гипотезе Кеплера, ныне доказанной (см. главу 5).
19. Аналитичность решений в вариационном исчислении. Вариационное исчисление отвечает на такие вопросы, как «найти кратчайшую кривую с заданными свойствами». Если подобная задача формулируется при помощи красивых функций, то должно ли решение тоже быть красивым? Доказали Эннио де Джорджи в 1957 г. и Джон Нэш.
20. Граничные задачи. Разобраться в решениях дифференциальных уравнений физики в определенной области пространства, если заданы свойства решения на ограничивающей эту область поверхности. В основном решена (вклад внесли многие математики).
21. Существование дифференциальных уравнений с заданной монодромией. Особый тип комплексного дифференциального уравнения, в котором можно разобраться при помощи данных о его точках сингулярности и группе монодромии. Доказать, что может существовать любая комбинация этих данных. Ответ «да» или «нет» в зависимости от интерпретации.
22. Униформизация с использованием автоморфных функций. Технический вопрос об упрощении уравнений. Решил Пауль Кебе вскоре после 1900 г.
23. Развитие вариационного исчисления. Гильберт призывал к выдвижению новых идей в области вариационного исчислении. Многое сделано, но формулировка слишком неопределенная, чтобы задачу можно было считать решенной.
Очередной раз убедился, что это слова не из «моего мира». Так что у кого то еще есть шанс прославиться …
КСТАТИ За что еще дадут миллион долларов…
В 1998 году на средства миллиардера Лэндона Клея (Landon T. Clay) в Кембридже (США) был основан Математический институт его имени (Clay Mathematics Institute) для популяризации математики. 24 мая 2000 года эксперты института выбрали семь самых, по их мнению, головоломных проблем. И назначили по миллиону долларов за каждую.
Нужно определить: может ли проверка правильности решения какой-либо задачи быть более длительной, чем получение самого решения. Эта логическая задача важна для специалистов по криптографии — шифрованию данных.
Существуют так называемые простые числа, например, 2, 3, 5, 7 и т. д., которые делятся только сами на себя. Сколько их всего, не известно. Риман полагал, что это можно определить и найти закономерность их распределения. Кто найдет — тоже окажет услугу криптографии.
3. Гипотеза Берча и Свиннертон-Дайера
Проблема связана с решением уравнений с тремя неизвестными, возведенными в степени. Нужно придумать, как их решать, независимо от сложности.
В ХХ веке математики открыли метод исследования формы сложных объектов. Идея в том, чтобы использовать вместо самого объекта простые «кирпичики», которые склеиваются между собой и образуют его подобие. Нужно доказать, что такое допустимо всегда.
5. Уравнения Навье – Стокса
О них стоит вспомнить в самолете. Уравнения описывают воздушные потоки, которые удерживают его в воздухе. Сейчас уравнения решают приблизительно, по приблизительным формулам. Нужно найти точные и доказать, что в трехмерном пространстве существует решение уравнений, которое всегда верно.
6. Уравнения Янга – Миллса
В мире физики есть гипотеза: если элементарная частица обладает массой, то существует и ее нижний предел. Но какой — не понятно. Нужно до него добраться. Это, пожалуй, самая сложная задачка. Для ее решения необходимо создать «теорию всего» — уравнения, объединяющие все силы и взаимодействия в природе. Тот, кто сумеет, наверняка получит и Нобелевскую премию.
Проблемы тысячелетия понятным языком
«Кажется, что-то слышал об этом» — самый популярный ответ от собеседников на вопрос о задачах тысячелетия. Хотите немного разобраться в запутанной сети математических проблем, чтобы не сгорать от стыда в разговоре с преподавателями? Тогда смелее читайте дальше!
Первое, о чем стоит вам сообщить: список из 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) доли секунды, в Швейцарии построили Большой Адронный Коллайдер. В нем разгоняют банчи (иными словами, сгустки) протонов и сталкивают друг с другом. Подробнее эту тему лучше изучать самостоятельно, но ни в коем случае не пытайтесь повторить это дома!
Сейчас же уравнения Янга — Миллса приняты учеными-физиками во всем мире. Несмотря на это, предсказать массы элементарных частиц экспериментальным путем в рамках их теории так и не удалось, ровно как и решить проблему в общем виде.
Специально для ЖЖ матфака, с большим желанием пробудить в вас стремление к новому, ранее неизведанному, Садуллаева Надежда.