Ещё одно историческое отступление: всё-таки оцифрованные источники это круто. Можно найти скан текста Джона Скотта Расселла « Report on Waves » 1844 года (см. https://archive.org/details/reportonwavesma00russgoog/page/n7/mode/2up ), посмотреть на титульный лист с рукописными пометками и на рукописные иллюстрации, найти его собственный рассказ про встречу с той волной, вырвавшейся из-под баржи…
Математические байки
Вот тут лежит видеозапись лекции Игоря Моисеевича, которую он читал в ЛШСМ-2010 (а вот тут — её анонс). Там (как это зачастую бывает) к концу пошло экспоненциальное нарастание сложности; давайте я чуть-чуть попробую про ту его лекцию — и вообще про « интегрируемую »…
Так вот, про солитоны. Найти решение уравнения Кортевега-де Фриза, двигающееся с постоянной скоростью, не очень сложно. Мы это сделаем чуть позже — а пока посмотрим на ответ.
Если уравнение KdV записать с константами
u_t + (3/2) u u_x + (1/4) u_{xxx} =0,
то начальное условие с профилем
f(x)= 2k^2 / cosh^2 (kx)
будет двигаться вправо со скоростью v=k^2. Да, k тут не обязательно целое — просто его традиционно обозначают именно этой буквой. А cosh(x)=(e^x+e^{-x})/2 — гиперболический косинус. Поскольку он быстро растёт с ростом |x|, и стоит в знаменателе — волна получается очень хорошо локализованная…
Вот как движется такое решение с k=1.
Если уравнение KdV записать с константами
u_t + (3/2) u u_x + (1/4) u_{xxx} =0,
то начальное условие с профилем
f(x)= 2k^2 / cosh^2 (kx)
будет двигаться вправо со скоростью v=k^2. Да, k тут не обязательно целое — просто его традиционно обозначают именно этой буквой. А cosh(x)=(e^x+e^{-x})/2 — гиперболический косинус. Поскольку он быстро растёт с ростом |x|, и стоит в знаменателе — волна получается очень хорошо локализованная…
Вот как движется такое решение с k=1.
А вот на одних и тех же графиках наложили движения двух разных солитонов, с k=1 и с k=2. Видно, что более высокий движется быстрее и более пологого обгоняет.
Естественный вопрос: а что будет, если их столкнуть по-настоящему? Запустить в одном решении достаточно далеко друг от друга, чтобы они друг друга не чувствовали, и подождать, пока более быстрый не догонит более медленный. Не получится ли красивого соударения, как на коллайдере?
Удивительный ответ: солитоны провзаимодействуют, но выживут.
Давайте посмотрим на вот такое решение KdV — я взял формулу из всё тех же записок курса Н. А. Рожковской, см. с. 12 файла.
(Да, на первый взгляд формула выглядит ужасом. Но не всё так страшно!)
Давайте посмотрим на вот такое решение KdV — я взял формулу из всё тех же записок курса Н. А. Рожковской, см. с. 12 файла.
(Да, на первый взгляд формула выглядит ужасом. Но не всё так страшно!)
Вот график решения в начальный момент времени t=-2.75. Если на том же графике с правильным сдвигом нарисовать (оранжевым) солитоны с k=1 и k=2, то они отлично накроют горбы на синем графике — синий будет просто не виден.
А теперь запустим время вперёд…
А теперь запустим время вперёд…
Я буду рисовать поверх синего точного решения оранжевый график — сумму двух солитонов. Если бы уравнение было линейным, то сумма решений была бы решением (и если предположить устойчивость, то оранжевое « решение » всегда продолжило бы идеально закрывать синее). А что мы увидим на самом деле?
t=-1.75, горбы начинают сближаться…
t=-1.75, горбы начинают сближаться…
То есть — солитоны « столкнулись », провзаимодействовали. Но когда разошлись, то остались сами собой — просто медленный в результате отстал, а быстрый ушёл вперёд. Удивительно, правда?