На картинке вы видите плазменный жгут внутри «ТОКАМАКа». Его нельзя увидеть ни глазами, ни с помощью самых точных физических приборов, но математически его можно увидеть.
Покажите, пожалуйста, следующие слайды. Это срезы плазменных жгутов. Посмотрите, какие они красивые и разнообразные по форме. Они показывают, что плазма неустойчива. Вот решение с двумя лепестками, а вот с тремя. Если вы чуть-чуть измените некие параметры, например, как ток бежит по катушке, вы получите картинку с тремя лепестками. Это, как говорится, легким мановением пальца можно сделать, поскольку здесь присутствует нестабильность. В этом трудность получения термоядерного синтеза. Плазма страшно нестабильна, плазменный шнур должен находиться точно в центре и не касаться стенок. Так вот, эти нелинейные вещи в принципе можно увидеть глазами математики. Если бы мы научились это делать, мы бы сделали потрясающий шаг вперед, потому что математика стоит очень мало. Мой добрый друг Анатолий Моисеевич Вершик из Петербурга подсчитал, что стоимость одного танка выше, чем содержание всей российской математики в течение года. Теперь представляете, вложить в математику 10 танков, и мы бы научились решать нелинейные дифференциальные уравнения.
А.Г. Но есть прямо пропорциональная зависимость между количеством денег, которые в математику идут, и качеством.
А.В. Нет, нужно еще людей подбирать. Но у нас люди пока есть, а денег пока нет.
Вот как обстоят дела с нелинейными уравнениями. Здесь я выйду за пределы математики и займусь социальными вопросами, касающимися математики. Простейшие соображения показывают, что будь все так, как хотелось бы, мы бы сейчас, скажем, не имели бы энергетических проблем. Так вот, несмотря на это, и другие суперважные вещи математики ХХ века почти не занимались нелинейными дифференциальными уравнениями. Причина в том, что мода такова была.
В математике были предложены простые методы, я их только назову за недостатком времени - это методы функционального анализа, с помощью которых решают линейные уравнения. И там был достигнут большой прогресс. Но эти методы просто ни в какую дверь не влезают, когда нужно заниматься нелинейными уравнениями. Поэтому этими методами ничего нелинейного не было решено. Но под влиянием моды и авторитета таких людей, как Гильберт, Джон фон Нойман, эти методы были объявлены математической основой квантовой механики. Это примерно то же самое, что влияние Аристотеля на развитие физики - прошла тысяча лет, и только потом кое-как Галилею удалось сдвинуть дело с мертвой точки. Ситуация в квантовой физике просто точно такая же. Эти линейные методы являются сегодня тормозом развития как нелинейных дифференциальных уравнений в частных производных, так и квантовой физики. И настоящие физики это чувствуют. Дирак, который был физиком и видел физику вне тех или иных математических формализаций, однажды произнес замечательные слова: «Взаимодействия в квантовой теории поля настолько сильны, что они вышибают вектор состояния из гильбертова пространства в минимально короткое время». Хотя, может быть, только специалисты могут понять силу иронии, заключенной в этих словах. Гильбертово пространство - это база всех методов, которые основаны на авторитете Гильберта, Джон фон Ноймана и многих других великих математиков. Но тут всегда есть обратная сторона.
Это - коротко про нелинейные дифференциальные уравнения. Суть проблем, которые возникают в нелинейных дифференциальных уравнениях и в квантовой физике, с точки зрения такой языковой философии различна. Мы твердо знаем, что нелинейные дифференциальные уравнения мы можем изучить, развив язык классического дифференциального уравнения. А вот с квантовой физикой дело обстоит, по-видимому, гораздо более серьезно.
Но и на общем уровне, если вы прониклись такой философией языка, это понять легко. Механика, то есть физика ХVII века, родилась вместе со своим языком, дифференциальным исчислением. Тут трудно сказать, где курица, где яйцо, они тащили друг друга - язык, математика и физика (в те годы механика). А потом случилась такая вещь: физиками были открыты квантовые явления. И физики, а потом математики пытались их понять. Когда человек пытается что-то понять, он использует свой язык. Математики и физики стали глядеть по сторонам: какую математику тут можно использовать?
И, в частности, сам Джон фон Нойман поглядел-поглядел по сторонам и обратил внимание, что модно и, в общем, довольно элегантно математически использовать язык гильбертовых пространств (это такая «линеаризация»). Я могу на простом языке объяснить, что значит гильбертово пространство для решений линейных дифференциальных уравнений. Это точный аналог большевистского или нацистского лагеря. В принципе, всякое решение нелинейного дифференциального уравнения - сугубо индивидуально. Разные течения воды, например, имеют невидимую математическую структуру, скажем, они обладают конформной метрикой. Может быть, вы слышали этот термин в передачах, связанных с общей теорией относительности. Но это очень трудно заметить и не все это видят. А решения линейных уравнений в этом смысле все одинаковы. Там нет индивидуальности. Поэтому им можно дать «лагерный номер» - это называется «нормой» в математике. И все. В этом ужас ситуации: как все концлагеря одинаковы, так и, как математики говорят, все гильбертовы пространства изоморфны. И поэтому если пытаться «по Гильберту» описывать воду или плазму, такие разные вещи, то получится один и тот же концлагерь. Это простое обращение к повседневной жизни показывает, почему язык гильбертовых пространств, линейных топологических пространств, здесь никак не годится. Нужен новый язык.
Спрашивается, как и где этот язык искать. Я сейчас сделаю шокирующее заявление, но потом попячусь назад. Я вам должен сказать, что сейчас социальная ситуация в мире математики такова, что профессора математики и, прежде всего, те, которые занимаются дифференциальными уравнениями, на самом деле не знают, что это такое. И не потому что они глупые - я хочу сказать другое, я хочу подчеркнуть социо-культурный аспект ситуации. Доказать же это очень просто. Если есть студенты, которые смотрят эту передачу, то любой из них может подойти к своему профессору и спросить: а что такое симметрии дифференциального уравнения? Некоторые профессора вообще не ответят, некоторые скажут: это, как в алгебре, замена переменных, которые не меняют форму уравнения. Этот ответ неправильный. И тогда студент может позвонить в вашу редакцию, и таким образом можно провести некий социальный опрос.
Почему это доказывает, что математики не знают, что такое дифференциальное уравнение?
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68