Причаливание

Мор­ские, воз­душ­ные и кос­ми­че­ские суда дали чело­ве­че­ству неве­ро­ят­ные возмож­но­сти в осво­е­нии окружающего про­стран­ства. Помимо спо­соб­но­сти решать «полёт­ные» задачи, корабли должны уметь и благопо­лучно воз­вращаться: при­ча­ли­вать к при­стани, совершать мяг­кую посадку. Кажется, что современ­ные авто­маты могут решить и такую задачу…

Но вспом­ните соб­ствен­ные наблю­де­ния. Катер, под­ходя к при­чалу, обвешан­ному рези­но­выми кран­цами, замед­ляет ход, раз­во­ра­чи­ва­ется бор­том к берегу, и вдруг в эту тех­ни­че­скую кар­тину добав­ля­ется руч­ной труд. Прямо перед «сты­ков­кой» на при­стани появ­ля­ется мат­рос и, под­хва­тив брошен­ный с борта канат, нама­ты­вает его на тумбу и вруч­ную под­тяги­вает катер.

Причаливание // Математическая составляющая

У само­лёта, совершающего посадку, вер­ти­каль­ная компо­нента ско­ро­сти оста­ётся нену­ле­вой вплоть до каса­ния со взлётно-поса­доч­ной поло­сой. Сопри­кос­но­ве­ние шин и покрытия — это удар, кото­рый для корпуса и пас­сажи­ров смяг­чают амор­ти­за­торы шасси и мастер­ство пило­тов.

Ещё один при­мер — кос­ми­че­ский: это может быть и посадка аппа­рата на Луну, и воз­враще­ние на Землю ракеты много­ра­зо­вого исполь­зо­ва­ния. В этих слу­чаях также не избежать заклю­чи­тель­ного удара, с ним борются поса­доч­ные амор­ти­за­торы.

Важно, что во всех рас­смот­рен­ных при­ме­рах пол­но­стью избежать удара невозможно, каким бы ни были мастер­ство пило­тов или вычис­ли­тель­ная мощь авто­ма­тики. Это можно дока­зать матема­ти­че­ски, точ­нее, это сле­дует из тео­рии диффе­ренци­аль­ных урав­не­ний.

В задаче о при­ча­ли­ва­нии управ­ле­ние процес­сом осуществ­ля­ется регу­ли­ров­кой ско­ро­сти (уско­ре­ния) в зави­симо­сти от рас­сто­я­ния до берега с жела­нием иметь нуле­вую ско­рость в момент каса­ния. При­ве­дён­ная форму­ли­ровка «ожи­вает» в опи­са­нии авто­ма­ти­че­ского при­ча­ли­ва­ния по Вла­ди­миру Иго­ре­вичу Арнольду: «…наблю­дая оставше­еся до при­чала рас­сто­я­ние, управ­ле­ние выби­рают так, чтобы ско­рость при­ча­ли­ва­ния плавно уменьша­лась до нуля…» (книга «Матема­ти­че­ское понима­ние при­роды»).

Режим управ­ле­ния в реаль­ном времени предпо­чти­те­лен, поскольку посадка по зара­нее рас­счи­тан­ному графику погаше­ния ско­ро­сти или при­ча­ли­ва­ние по наме­чен­ной тра­ек­то­рии уяз­вимы — внеш­ние обсто­я­тельства, такие как тече­ние, ветер, тур­бу­лент­ность, могут заго­тов­лен­ные планы раз­ру­шить с ката­строфи­че­скими послед­стви­ями.

Матема­ти­че­ски — ско­рость (про­из­вод­ная по времени функции рас­сто­я­ния) пред­став­лена как глад­кая («хорошая») функция рас­сто­я­ния. Тре­бо­ва­ние глад­ко­сти накла­ды­ва­ется, чтобы изме­не­ние ско­ро­сти (управ­ляющего параметра) было небольшим при малом изме­не­нии рас­сто­я­ния.

Процесс при­ча­ли­ва­ния опи­сы­ва­ется диффе­ренци­аль­ным урав­не­нием $x'(t)=f(x(t))$, где $x(t)$ — рас­сто­я­ние до «при­чала», $x'(t)$ — ско­рость, $f$ — глад­кая функция, задающая режим управ­ле­ния ско­ро­стью, и усло­вием $f(0)=0$ (без­удар­ность при­ча­ли­ва­ния). Но в этом слу­чае тео­рия диффе­ренци­аль­ных урав­не­ний гово­рит: глад­кое при­ча­ли­ва­ние можно выпол­нить только за бес­ко­неч­ное время!

Раз­бе­рёмся на про­стом жиз­нен­ном при­мере, как воз­ни­кает бес­ко­неч­ное время в задаче без­удар­ного при­ча­ли­ва­ния. Предпо­ложим, что мы управ­ляем лод­кой так, чтобы на рас­сто­я­нии $x$ мет­ров до берега её ско­рость рав­ня­лась $x$ м/c. Тогда в момент каса­ния с при­ста­нью ско­рость была бы равна нулю — при­ча­ли­ва­ние было бы без­удар­ным. Пусть в началь­ный момент времени лодка нахо­дится от берега на рас­сто­я­нии $a$ мет­ров. На первую поло­вину пути до берега ($a/2$ мет­ров) уйдёт больше поло­вины секунды, так как на этом участке ско­рость меньше, чем началь­ная ско­рость $a$ м/с. На поло­вину остающегося пути (отре­зок дли­ной $a/4$) лодка также потра­тит больше, чем пол­се­кунды. Таких «поло­ви­нок» от остающегося пути бес­ко­нечно много, на пре­одо­ле­ние каж­дой ухо­дит больше, чем пол­се­кунды, поэтому за конеч­ное время доплыть до берега не удастся.

В при­мере с лод­кой «управ­ляющее» диффе­ренци­аль­ное урав­не­ние имеет вид $x'=-x$. Замена функции $f(x)=-x$ на любую другую глад­кую функцию с усло­вием $f(0)=0$ не избав­ляет от бес­ко­неч­ного времени при­ча­ли­ва­ния.

Итак, прак­ти­че­ски накла­ды­ва­ется «матема­ти­че­ский запрет» на возмож­ность без­удар­ного при­ча­ли­ва­ния-при­зем­ле­ния. В дан­ном слу­чае, тео­рия диффе­ренци­аль­ных урав­не­ний выступает в роли героя «отрица­тель­ного», но делающего полез­ное дело: несбыточ­ные жела­ния отме­таются, и можно сосре­до­то­читься на поиске реаль­ных реше­ний задачи.

Разворот книги

Книга «Математическая составляющая»
Книга «Математическая составляющая»

Допол­не­ния, коммен­та­рии

Почему мат­росу, намо­тавшему канат несколько раз вокруг кнехта, уда­ётся под­тя­нуть к при­стани много­тон­ный корабль?

Дело в том, что сила тре­ния каната о цилин­дры тумбы и число вит­ков вокруг них уве­ли­чи­вают «силу» мат­роса экс­по­ненци­ально (см. книгу: Шубин М. А. Матема­ти­че­ский ана­лиз для реше­ния физи­че­ских задач). Но сила тре­ния опре­де­ля­ется мате­ри­а­лом, от пове­де­ния на при­стани не зави­сит, а вот число вит­ков — вели­чина, зави­сящая от мастер­ства и сно­ровки моряка. При трёх обо­ро­тах каната и при типо­вом зна­че­нии коэффици­ента тре­ния сила, с кото­рой мат­рос тянет канат, уве­ли­чи­ва­ется на несколько поряд­ков, при­мерно в 500 раз. Если уси­лие, при­кла­ды­ва­емое мат­ро­сом, соот­вет­ствует весу в 10 кг, то канат будет тянуть судно с силой, соот­вет­ствующей 5000 кг. Про­сто пред­ставьте гру­зо­вик в 5 тонн!

Исаак Нью­тон писал Готф­риду Вильгельму Лейб­ницу (пере­писка двух глав­ных созда­те­лей ана­лиза бес­ко­нечно малых шла через сек­ре­таря Лон­дон­ского Коро­лев­ского обще­ства Генри Оль­ден­бурга):

Сущ­ность этих действий, кото­рую, впро­чем, довольно легко усмот­реть, я (ввиду того, что не могу при­ве­сти здесь его объяс­не­ния) лучше пере­дам в сле­дующем скрытом виде:

6accdæ13eff7i3l9n4o4qrr4s8t12vx.

В при­ве­дён­ной анаграмме сообща­ется, сколько раз в зашиф­ро­ван­ном тек­сте встре­чаются буквы алфа­вита. Запись вида «6a» гово­рит, что буква «a» встре­ча­ется 6 раз; соче­та­ние «æ» упоми­на­ется отдельно; «u» и «v» в те времена на письме не раз­ли­чали. Зашиф­ро­ван­ная латин­ская фраза: «Data æquatione quotcunque fluentes quantitates involvente fluxiones invenire, et vice versa».

Вла­ди­мир Иго­ре­вич Арнольд в своей книге «Допол­ни­тель­ные главы тео­рии обык­но­вен­ных диффе­ренци­аль­ных урав­не­ний» писал:

В пере­воде на современ­ный матема­ти­че­ский язык это озна­чает:

«Полезно решать диффе­ренци­аль­ные урав­не­ния».

Клас­си­че­ским под­твер­жде­нием этих слов явля­ется обна­руже­ние в 1846 году Неп­туна — восьмой и самой даль­ней от Земли пла­неты Сол­неч­ной системы. Матема­тик Леве­рье опре­де­лил параметры орбиты ещё не открытой пла­неты, и благо­даря его рас­чё­там в опре­де­лён­ное время в ука­зан­ном направ­ле­нии она была обна­ружена аст­ро­номом Галле. Фран­суа Араго, в то время дирек­тор Париж­ской обсер­ва­то­рии, так оце­нил это событие:

Аст­ро­номы иногда слу­чайно нахо­дят видимую в теле­скоп движущуюся точку — пла­нету. Леве­рье открыл новую пла­нету, ни разу не взгля­нув на небо: он уви­дел её на кон­чике пера. Он вывел суще­ство­ва­ние пла­неты силой одного лишь рас­чёта.

(Comptes rendus hebdomadaires des seances de l'Academie des Sciences, t. 23, juillet—decembre 1846, p. 660.)