Россия |
Математическое моделирование. Математическая модель в задачах оптимизации. Элементарные математические модели
3. Применение аналогий при построении моделей.
В огромном числе случаев при попытке построить модель
какого-либо объекта либо невозможно прямо указать
фундаментальные законы или вариационные принципы,
которым он подчиняется, либо, с точки зрения наших
сегодняшних знаний, вообще нет уверенности в существовании
подобных законов, допускающих математическую формулировку.
Одним из плодотворных подходов к такого рода объектам является
использование аналогий с уже изученными явлениями. Что,
казалось бы, общего между радиоактивным распадом и динамикой
популяций, в частности изменением численности населения нашей
планеты? Однако на простейшем уровне такая аналогия вполне
просматривается, о чем свидетельствует одна из простейших
моделей популяций, называемая моделью Мальтуса. В ее основу
положено простое утверждение - скорость изменения населения
со временем t пропорциональна его текущей
численности N(t), умноженной на сумму коэффициентов
рождаемости и смертности
. В результате приходим к уравнению
![]() |
( 10) |
![\alpha < \beta](/sites/default/files/tex_cache/5b953176e60e2e95d238d5f8ff706f0b.png)
![\alpha](/sites/default/files/tex_cache/7b7f9dbfea05c83784f8b85149852f08.png)
![\beta](/sites/default/files/tex_cache/b0603860fcffe94e5b8eec59ed813421.png)
![N(t)=N(0) \exp \left( \int\limits_{t_0}^t [\alpha(t)-\beta(t)]dt \right),](/sites/default/files/tex_cache/8754c2f1945c0c312cf60591b854c43e.png)
На рис. 1.7 приведены графики
функции N(t) при постоянных и
(разным подобным друг другу кривым соответствуют
разные t0 — значения времени начала процесса).
При
численность остается постоянной, т.е.
в этом случае решением уравнения является равновесная величина N(t) = N(0). Равновесие между рождаемостью и смертностью
неустойчиво в том смысле, что даже небольшое нарушение равенства
приводит с течением времени ко все большему
отклонению функции N(t) от равновесного значения N(0). При
численность
населения убывает и стремится к нулю при
,
а при
растет по некоторому
экспоненциальному закону, обращаясь в бесконечность при
. Последнее обстоятельство и
послужило основанием для опасений Мальтуса о грядущем перенаселении
Земли со всеми вытекающими отсюда последствиями.
Как в данном примере, так и в ряде рассмотренных выше случаев можно указать немало очевидных ограничений применимости построенной модели. Конечно же, сложнейший процесс изменения численности населения, зависящий к тому же от сознательного вмешательства самих людей, не может описываться какими-либо простыми закономерностями. Даже в идеальном случае изолированной биологической популяции предложенная модель не отвечает реальности в полной мере хотя бы из-за ограниченности ресурсов, необходимых для ее существования.
Сделанное замечание тем не менее нисколько не умаляет роли аналогий в построении математических моделей очень сложных явлений.
Применение аналогий основано на одном из важнейших свойств моделей - их универсальности, т. е. их приложимости к объектам принципиально различной природы. Так, предположения типа "скорость изменения величины пропорциональна значению самой величины (или некоторой функции от нее)" широко используются в далеких друг от друга областях знаний.
4. Иерархический подход к получению моделей. Лишь в редких случаях бывает удобным и оправданным построение математических моделей даже относительно простых объектов сразу во всей полноте, с учетом всех факторов, существенных для его поведения. Поэтому естествен подход, реализующий принцип "от простого — к сложному", когда следующий шаг делается после достаточно подробного изучения не очень сложной модели. При этом возникает цепочка ( иерархия ) все более полных моделей, каждая из которых обобщает предыдущие, включая их в качестве частного случая.
Построим такую иерархическую цепочку на примере модели многоступенчатой ракеты. Как было установлено в конце п.1, реальная одноступенчатая ракета неспособна развить первую космическую скорость. Причина этого - затраты горючего на разгон ненужной, отработавшей части структурной массы. Следовательно, при движении ракеты необходимо периодически избавляться от балласта. В практической конструкции это означает, что ракета состоит из нескольких ступеней, отбрасываемых по мере их использования.
Пусть mi — общая масса i -й
ступени, - соответствующая структурная масса
(при этом масса топлива равна величине
),
- масса полезной нагрузки. Величины
и скорость
истечения газов одинаковы для всех ступеней. Возьмем для определенности
число ступеней n = 3. Начальная масса такой ракеты равна
m0=mp+m1+m2+m3
Рассмотрим момент, когда израсходовано все топливо первой ступени и масса ракеты равна величине
![m_p + \lambda m_1 + m_2 + m_3.](/sites/default/files/tex_cache/34eb032d01931d3a38af4a5d7e75e315.png)
Тогда по формуле (6) первоначальной модели скорость ракеты равна
![v_1=u \ln \left( \frac{m_0}{m_p + \lambda m_1 + m_2 + m_3} \right).](/sites/default/files/tex_cache/e84e05c3abac928d9c0427a854c88d78.png)
После достижения скорости v1 структурная
масса отбрасывается и включается вторая ступень.
Масса ракеты в этот момент равна
mp+m2+m3
Начиная с этого момента и до момента полного выгорания топлива второй ступени, ничто не мешает пользоваться уже построенной моделью, применив ее к рассматриваемому случаю. Все рассуждения о сохранении суммарного импульса и соответствующие выкладки остаются в силе (следует только учесть, что у ракеты уже есть начальная скорость vi ). Тогда по формуле (6) после выгорания топлива во второй ступени ракета достигает скорости
![v_2 = v_1 + u \ln \left( \frac{m_p + m_2 + m_3}{m_p + \lambda m_2 + m_3} \right).](/sites/default/files/tex_cache/b1b341e9781687f5abf1ac7b0f76db8a.png)
![v_3 = v_2 + u \ln \left( \frac{m_p + m_3}{m_p + \lambda m_3} \right).](/sites/default/files/tex_cache/3d68b8ef81480a8d2b713eb235566044.png)
Эту цепочку нетрудно продолжить для любого числа ступеней и получить соответствующие формулы. В случае же n = 3 для окончательной скорости имеем
![\frac{v_3}{u} = \ln \left{
\left( \frac{m_0}{m_p + \lambda m_1 + m_2 + m_3} \right)
\left( \frac{m_p + m_2 + m_3}{m_p + \lambda m_2 + m_3} \right)
\left( \frac{m_p + m_3}{m_p + \lambda m_3} \right)
\right},](/sites/default/files/tex_cache/d09df6cc078e010c0433d95fd3e47b46.png)
![\alpha_1 = \frac{m_0}{m_p + m_2 + m_3}, \;
\alpha_2 = \frac{m_p + m_2 + m_3}{m_p + m_3}, \;
\alpha_3 = \frac{m_p + m_3}{m_p},](/sites/default/files/tex_cache/85e15b570f17f143ddde8d190210af7e.png)
Получаем
![\frac{v_3}{u} = \ln \left\{
\left( \frac{\alpha_1}{1+\lambda(\alpha_1 - 1)} \right)
\left( \frac{\alpha_2}{1+\lambda(\alpha_2 - 1)} \right)
\left( \frac{\alpha_3}{1+\lambda(\alpha_3 - 1)} \right)
\right\}](/sites/default/files/tex_cache/d02ac237e7ceac48257eb0c8e7f4249e.png)
Данное выражение симметрично по отношению к величинам и нетрудно показать, что
его максимум достигается в симметричном случае, т.е.
при
.
При этом для i = 3
![\alpha = \frac{1 - \lambda}{P - \lambda}, \qquad P = \exp \left( - \frac{v_3}{3u} \right).](/sites/default/files/tex_cache/db563e15cd393c3d15a3e4cf1198fad7.png)
Произведение ,
как легко проверить, отношению m0/mp, или
![\alpha^3 = \frac{m_0}{m_p} = \left( \frac{1-\lambda}{P-\lambda} \right)^3.](/sites/default/files/tex_cache/382f98a3ea987712febbe0cea5ff5182.png)
Для многоступенчатой ракеты, аналогично, имеем
![]() |
( 11) |
Проанализируем формулу (11). Примем vn = 10,5 км/с, . Тогда для n = 2, 3, 4 получаем m0 = 149 mр, m0 = 77 mp, m0 = 65 mp
соответственно. Это значит, что двухступенчатая ракета пригодна
для выведения на орбиту некоторой полезной массы (однако при одной
тонне полезного груза необходимо иметь ракету весом 149 тонн).
Переход к третьей ступени уменьшает массу ракеты почти в два раза
(но, конечно же, усложняет ее конструкцию), а четырехступенчатая
ракета не дает заметного выигрыша по сравнению с трехступенчатой.
Построение иерархической цепочки позволило относительно просто прийти к этим важным выводам. Иерархия математических моделей часто строится и по противоположному принципу "от сложного к простому". В этом случае реализуется путь "сверху вниз" - из достаточно общей и сложной модели при соответствующих упрощающих предположениях получается последовательность все более простых (но имеющих уменьшающуюся область применимости) моделей.