Asymptotics of stationary distributions in diffusion-reaction systems for two interacting biological species
- Authors: Zelenchuk P.A.1,2
-
Affiliations:
- Sirius University of Science and Technology
- Southern Federal University
- Issue: Vol 72, No 2 (2026)
- Pages: 282-296
- Section: Articles
- URL: https://journals.rudn.ru/CMFD/article/view/50761
- DOI: https://doi.org/10.22363/2413-3639-2026-72-2-282-296
- EDN: https://elibrary.ru/BACWVC
- ID: 50761
Cite item
Full Text
Abstract
Asymptotic approximations to stationary solutions are constructed for two classes of diffusion–reaction systems describing the interactions of biological species (competition and predator– prey) in a heterogeneous habitat. The initial models are supplemented with periodicity conditions on a one-dimensional area; the diffusion coefficients are assumed to be small and, generally speaking, multi-scale. Under the assumption that the degenerate system admits a solution in the form of an ideal free distribution (IFD), methods of singular perturbation theory are used to obtain explicit analytical formulas for the leading terms of the asymptotics. It is established that diffusion corrections to the IFD are proportional to the local curvature of the resource profile \( p''(x)/p(x) \) and are determined by both the parameters of interspecies interaction and the ratio of the diffusion coefficients. For a predator–prey system, it is shown that resource heterogeneity significantly influences the predator distribution, while the prey distribution remains close to the IFD even at relatively high diffusion values. A quantitative criterion for the applicability of the asymptotic model is formulated, allowing for an a priori assessment of its accuracy for an arbitrary resource profile. The reliability of the analytical results is confirmed by numerical calculations.
Full Text
1. Введение Уравнения диффузии-реакции (УДР) - один из основных и фундаментальных классов уравнений, используемых в математическом моделировании для описания различных процессов [9, 12, 34]. УДР находят свое применение в физике, химии, биологии, экономике и других науках, а также на их стыке, в междисциплинарных исследованиях. Особое значение УДР имеют в математической биологии и экологии, позволяя описывать, как локальные взаимодействия (реакции) и пространственное перемешивание (диффузия) порождают глобальные пространственновременные структуры [11, 16, 25]. Решения УДР могут носить как стационарный, так и нестационарный характер. Нестационарные решения охватывают богатейший спектр динамических явлений, от бегущих волн [24, 25] до сложного пространственно-временного хаоса [5]. В биологии и экологии они описывают функциональную динамику систем: распространение сигналов [21], инвазию видов [2, 29], эпидемические процессы [20] и популяционные волны и циклы [15, 33]. Обзор новейших тенденций и разработок в изучении волн на основе уравнений диффузии-реакции для различных биологических контекстов - динамики популяций, экологии и биомедицинских приложений - представлен в работе [35]. В отличие от нестационарных, для которых ключевыми факторами являются время и движение, стационарные решения описывают устойчивые структуры - пространственные распределения [19] и морфогенез [27]. Неустойчивость Тьюринга (диффузионная неустойчивость) - пожалуй, наиболее яркий классический пример [32], иллюстрирующий, как стационарное однородное решение уравнений диффузии-реакции теряет устойчивость, и на его месте возникают стационарные пространственно-неоднородные решения [28]. Современный обзор, прослеживающий путь идей Тьюринга от математической абстракции до их признания в биологии развития, приведен в работе [23]. Для большинства задач нелинейность УДР не позволяет получить аналитическое решение в замкнутой форме [7]. Численное же моделирование в двумерных и трехмерных [14] областях требует значительных вычислительных ресурсов [13]. В качестве альтернативы прямому численному моделированию УДР, эффективным подходом является построение асимптотических решений. Методы теории сингулярных возмущений [3] позволяют получить приближенные аналитические представления, которые дают качественное понимание поведения системы и выявляют основные механизмы управления ее параметрами [26]. Цель данного исследования состоит в построении асимптотик стационарных распределений в УДР для систем хищник-жертва и двух конкурирующих популяций. Особый интерес представляют случаи с идеальным свободным распределением (ИСР) [17, 31, 36, 40], позволяющим реализовать эволюционно стабильную стратегию (ЭСС) выбранной популяции или всей системы [18, 22, 37, 41]. Отметим, что в отличие от предыдущих работ, где основное внимание уделялось рассмотрению концепции ИСР и условиям его реализации в двумерных областях [31, 40], а асимптотический анализ использовался лишь как вспомогательный инструмент для качественных оценок, в данной статье приближение стационарных распределений с использованием метода сингулярных возмущений для систем взаимодействующих на неоднородном ареале видов является самостоятельным предметом исследования. Акцент переносится на построение явных аналитических формул решений подходящих для анализа отклонений от ИСР, вызванных малой разномасштабной диффузией. Это позволяет выявлять степень влияния различных факторов на структуру асимптотических поправок. Предложенный подход применяется одновременно к различным системам - двум конкурирующим популяциям одного вида и хищник-жертва. 2. Общая математическая формулировка Рассмотрим два биологических вида u(x,t) и v(x,t), взаимодействующих на одномерном ареале Ω = [0, 1], неоднородность которого задается неравномерным распределением обобщенной функции ресурса p(x). Пространственно-временная динамика видов может быть описана классической системой УДР , (2.1) где F1,F2 - нелинейные функции локального взаимодействия, а d1,d2 - не зависящие от координаты малые коэффициенты диффузии, подчиняющиеся условию . (2.2) Такая ситуация с биологической точки зрения соответствует малоподвижным видам, причем, если γ > 1, то второй вид подвижнее первого, в противном случае, когда 0 < γ < 1, наоборот. Заметим, что в силу малой диффузии основной вклад в неравномерное распределение видов по пространству будет определяться функциями F1,F2. Чтобы не усложнять исследуемую модель взаимодействия популяций, целесообразно использовать обобщенный ресурс в виде усредненной функции пространственных координат p(x), которая аккумулирует в себе все разнородные факторы [36]. Однако подобное упрощение применимо не всегда: в ряде случаев отдельные параметры приходится трактовать как уникальные, поскольку они оказывают специфическое воздействие на развитие вида. Отметим, что функция p(x) непрерывна, строго положительна и как минимум дважды дифференцируема на Ω. Система (2.1) дополняется начальными условиями u(x,0) = u0(x), v(x,0) = v0(x) и условиями периодичности ∂ ∂ ∂ ∂ u(0,t) = u(1,t), v(0,t) = v(1,t), u(0,t) = u(1,t), v(0,t) = v(1,t). ∂x ∂x ∂x ∂x Для одномерного случая условия периодичности приводят к кольцевому ареалу, нередко встречающемуся в природе. Часто выделяют ленточные ареалы, отличающиеся значительной протяженностью при крайне малой ширине. Такие ареалы характерны для речных долин и литоральной зоны морских побережий. Например, поселения усоногих ракообразных и других супралиторальных организмов, обрастающих скалистые атлантические берега Скандинавии, могут простираться на сотни и тысячи километров при ширине всего в несколько метров [10]. Предельно узкие ленточные ареалы называют линейными и описывают с помощью одномерных математических моделей, что существенно упрощает анализ протекающих в них процессов. Некоторые ленточные ареалы замкнуты в кольцо или почти замкнуты - их края соединяются напрямую либо разделяются небольшим препятствием. Кольцевые ареалы формируются вдоль узкой береговой линии озер и прудов, на постоянных высотных уровнях в горах [1], а в меньшем масштабе - вокруг древесных стволов, крупных валунов и на поверхности искусственных медицинских трубок. В качестве примера можно привести усоногих раков (Cirripedia, Thoracica), обитающих в литорали островов прибрежных вод Южного Вьетнама, а также брюхоногих и двустворчатых моллюсков (Mollusca: Gastropoda, Bivalvia), населяющих омываемые водой скалы в заливе Петра Великого [8, 10]. Кольцевые ареалы дают чисто математические преимущества, заключающиеся в устранении граничных эффектов, появляющихся при описании распределенных динамических систем. Так, в сингулярно возмущенных задачах УДР с условиями Неймана или Дирихле, вследствие несоответствия между граничными условиями и решением вырожденной задачи (при стремлении малого параметра к нулю), возникает пограничный слой. В случае периодических граничных условий такое несоответствие отсутствует, поскольку решение продолжается периодически и не требуется «подстраивать» его под фиксированные значения на границе. Анализ системы (2.1) будем вести в предположении, что вырожденная задача имеет стационарные решения, удовлетворяющие ИСР и существованию обоих видов. Находя интересующие нас стационарные решения, будем возвращать малую диффузию и строить асимптотические приближения. Полученные приближения будем сравнивать с численными решениями, реализуемыми с помощью комплекса программ SPECIES-25, защищенного свидетельством о государственной регистрации программ для ЭВМ [6]. Данный комплекс позволяет проводить вычислительные эксперименты для различных задач популяционной динамики (в том числе и на основе нелинейных систем диффузии-адвекции-реакции), в условиях неоднородного ареала. 3. Две конкурирующих популяции одного вида Рассмотрим две конкурирующие за единый ресурс популяции одного вида, и для определенности будем полагать, что u(x,t) = u1(x,t) и v(x,t) = u2(x,t): , где β1 и β2 - нормированные коэффициенты межпопуляционной конкуренции [1, 37]. Вырожденная стационарная задача u1 [p(x) - u1 - β1u2] = 0, u2 [p(x) - β2u1 - u2] = 0 будет иметь четыре решения: тривиальное {0, 0}, два решения {p(x), 0} и {0, p(x)} соответствующие полной победе одного из конкурентов, и решение . (3.1) Это решение соответствует ИСР (обе популяции пропорциональны неравномерно распределенному ресурсу [31, 40]) и устойчиво при выполнении условия β1 < 1, β2 < 1. Считая, что условие (2.2) выполнено, будем искать асимптотическое приближение к решению (3.1) в виде рядов [3]: u1 = u10 + εu11 + ε2u12 + ..., u2 = u20 + εu21 + ε2u22 + ... Ограничиваясь первыми двумя членами разложения, получим , (3.2) где означает вторую производную функции ресурса по координате. Видно, что полученное приближенное решение уже не удовлетворяет ИСР, однако в силу малости вторых членов в (3.2) его можно назвать ИСР-подобным [40]. Этот факт хорошо проиллюстрирован на рис. 1(a), где изображено сравнение плотностей конкурирующих популяций u1(x) и u2(x) (красный и синий цвет соответственно) с функцией обобщенного ресурса (черный цвет) для двух стационарных решений: без диффузии - сплошные линии, и при ее наличии - пунктир. Расчеты проводились численно с использованием программы SPECIES-25 для функции ресурса, удовлетворяющей условиям периодичности и обладающей двумя одинаковыми по высоте максимумами и двумя минимумами, один из которых значительно глубже другого. В соответствии с интуитивными ожиданиями, наличие небольшой одинаковой (γ = 1) диффузии слегка «сглаживает» исходное решение, уменьшая максимумы распределений и повышая значения плотностей популяций в окрестности минимумов. Дело обстоит иначе, если диффузия является разномасштабной: здесь интуитивные ожидания могут оказаться ошибочными. На рис. 1(b) приведено сравнение двух случаев разномасштабной диффузии (γ = 0,5- тонкие кривые, γ = 1,5 - пунктир) с решением без диффузии (жирные кривые). Вторая популяция, хотя и сосуществует на одном ареале с первой, уступает ей по численности в конкурентной борьбе (β2 > β1). Введение малой разномасштабной диффузии (при которой u1 подвижнее u2 в два раза) приводит к тому, что эффект «сглаживания» проявляется лишь у первой популяции, в то время как вторая демонстрирует обратную тенденцию: увеличивается в местах максимумов и сокращается в области минимума (тонкая синяя кривая). Если же сделать более подвижной вторую популяцию, то на первый взгляд ситуация возвращается к привычному поведению (пунктирные линии). Однако это справедливо лишь в области минимума. В точках максимума первая популяция благодаря конкурентному преимуществу возрастает быстрее, чем убывает вследствие диффузии. Наиболее отчетливо это проявится при γ > 2, в этом случае пунктирная линия в максимумах станет выше сплошной толстой линии и еще сильнее приблизится к ней в минимумах. Сравнение приближенного решения с численным для двух различных значений диффузии представлено на рис. 2. Видно, что чем меньше параметр ε, тем точнее асимптотическое решение (3.2), рис. 2(a). Для значений выше ε = 0,002 ошибка начинает стремительно нарастать в местах локальных экстремумов рис. 2(b) и это особенно заметно на распределении популяции с большей численностью (в данном случае u1). Рассмотрим теперь вопрос о том, могут ли диффузионные отклонения при умеренных значениях ε приблизить систему к границе неустойчивости. Исследуем устойчивость стационарного решения (3.1) относительно пространственно-неоднородных возмущений при наличии неоднородного ресурса const. Для этого воспользуемся методом замороженных коэффициентов, строго обоснованных для сингулярно возмущенных параболических систем [4]. В силу малости коэффициентов диффузии () характерный пространственный масштаб наиболее опасных Рис. 1. Стационарные распределения популяций u1(x) - красная кривая, u2(x) -синяя кривая, и функции ресурса p(x) = 2+0,5sin(2πx)+0,5cos(4πx) -черная кривая, сплошные жирные линии - отсутствие диффузии (ε = 0, γ = 1, β1 = 0,7, β2 = 0,8). (a) Сравнение с решением при диффузии ε = 0,002, γ = 1 (пунктирные кривые), (b) Сравнение с двумя решениями при γ = 0,5 (тонкие линии) и γ = 1,5 (пунктир) Fig. 1. Stationary population distributions u1(x) -red curve, u2(x) - blue curve, and resource functions p(x) = 2 + 0.5sin(2πx) + 0.5cos(4πx) - black curve, solid bold lines - no diffusion (ε = 0, γ = 1, β1 = 0.7, β2 = 0.8). (a) Comparison with the solution with diffusion ε = 0.002, γ = 1 (dashed curves), (b) Comparison with two solutions with γ = 0.5 (thin lines) and γ = 1.5 (dashed line) Рис. 2. Численное решение (сплошные жирные линии), γ = 1, β1 = 0,7, β2 = 0,8, в сравнении с асимптотическими приближениями (3.2) при (a) диффузии ε = 0,0001 (кружочки), (b) диффузии ε = 0,002 (квадратики) Fig. 2. Numerical solution (solid bold lines), γ = 1, β1 = 0.7, β2 = 0.8, compared to asymptotic approximations (3.2) for (a) diffusion ε = 0.0001 (circles), (b) diffusion ε = 0.002 (squares) возмущений имеет порядок ∼ √ε, что много меньше масштаба изменения макроскопического профиля p(x). Это позволяет исследовать устойчивость локально, зафиксировав ресурс p(x) ≈ p(x0) в окрестности произвольной точки x0 ∈ [0, 1]. Подстановка локальной спектральной моды возмущения ∼ eikx приводит к анализу модифицированной матрицы Якоби в точке x0: , - - - где элементы реакционной матрицы J(x0) зафиксированы в точке x0. Согласно критерию Рауса- Гурвица, локальная устойчивость гарантируется при Tr(Jdiff) < 0 и det(Jdiff) > 0 для всех . След матрицы Tr(Jdiff) = -(u1(x0) + u2(x0)) - εk2(1 + γ) строго отрицателен во всей области определения. Рассмотрим локальный детерминант как функцию волнового параметра det(Jdiff(M;x0)) = γM2 + (γu1(x0) + u2(x0))M + u1(x0)u2(x0)(1 - β1β2). График данной функции представляет собой параболу с ветвями, направленными вверх (γ > 0), локальная вершина которой Mv(x0) = -(γu1(x0)+u2(x0))/(2γ) всегда строго отрицательна в силу положительности стационарных плотностей популяций u1,u2 > 0. Следовательно, на интервале функция детерминанта является монотонно возрастающей, и ее глобальный минимум по M достигается в длинноволновом пределе M = 0. В пределе M = 0 задача сводится к исследованию бездиффузионной матрицы J(x0), которая является гурвицевой в каждой точке при выполнении условий β1 < 1, β2 < 1. Таким образом, det(Jdiff) > 0 выполнено при всех и в любой точке x0. Пространственная неоднородность ресурса p(x) не индуцирует диффузионную неустойчивость (эффект Тьюринга невозможен ни при каком γ > 0), а условия локального сосуществования полностью сохраняют свою силу для описания устойчивости полной системы УДР. 4. Система хищник-жертва Пусть теперь два биологических вида взаимодействуют по принципу «хищник-жертва» [38] , где u(x) - популяция жертвы, а v(x) - популяция хищника, μj и λj (где j = 1, 2) - положительные коэффициенты роста и убыли двух видов соответственно. Заметим, что функция роста жертвы, стоящая в круглых скобках в первом уравнении после μ1, соответствует логистическому закону роста [11, 25], где роль емкости среды играет обобщенная, неравномерная по ареалу функция ресурса жертвы p(x) (см. [30]), требования к которой остаются прежними (см. раздел 3). В качестве функционального отклика хищника использована модернизированная функция Лотки-Вольтерры [39] обеспечивающая формирование ИСР. Стационарная задача для вырожденной системы будет иметь три решения [38]: тривиальное {u = 0, v = 0}, решение без хищника {u = p(x), v = 0} и решение для двух сосуществующих видов , (4.1) которое удовлетворяет ИСР и будет сохранять устойчивость при выполнении условия λ2 < μ2. (4.2) Предполагая, как и прежде, что имеет место соотношение (2.2), построим асимптотическое приближение к (4.1) в виде рядов [3, 26]: u = u0 + εu1 + ε2u2 + ..., v = v0 + εv1 + ε2v2 + ... В результате, ограничиваясь первыми двумя членами разложения, будем иметь . (4.3) Рис. 3. Стационарные распределения популяции жертвы- синяя кривая, хищника- красная кривая, и ресурса p(x) = 2+0,5sin(2πx)+0,5cos(4πx) -черная кривая, сплошные линии - без диффузии (ε = 0, γ = 1, μ1 = 4, μ2 = 2, λ1 = 1, λ2 = 1,75). (a) Сравнение с решением при диффузии ε = 0,001, γ = 1 (пунктир и кружочки); (b) Сравнение с двумя решениями при γ = 0,5 (квадратики) и γ = 1,5 (пунктир) Fig. 3. Stationary population distributions of prey - blue curve, predator-red curve, and resource p(x) = 2 + 0.5sin(2πx) + 0.5cos(4πx) - black curve, solid lines - without diffusion (ε = 0, γ = 1, μ1 = 4, μ2 = 2, λ1 = 1, λ2 = 1.75). (a) Comparison with the solution with diffusion ε = 0.001, γ = 1 (dashed line and circles); (b) Comparison with two solutions with γ = 0.5 (squares) and γ = 1.5 (dashed line) Рис. 4. Численный расчет (сплошные линии), μ1 = 4, μ2 = 2, λ1 = 1, λ2 = 1,75, γ = 1 в сравнении с асимптотическими приближениями (кружочки) (a) диффузии ε = 0,0001, (b) диффузии ε = 0,007 Fig. 4. Numerical calculation (solid lines), μ1 = 4, μ2 = 2, λ1 = 1, λ2 = 1.75, γ = 1 in comparison with asymptotic approximations (circles) (a) diffusion ε = 0.0001, (b) diffusion ε = 0.007 Отметим, что как следует из (4.2), для того, чтобы v0 было больше нуля, необходимо выполнение неравенства λ2/μ2 < 1. Приближенное решение (4.3) уже не обладает ИСР, причем поправка, делающая его ИСРподобным, в случае жертвы зависит только от d2 (диффузии хищника), а в случае хищника - от обеих диффузий (d1 и d2). На рис. 3(a) приведено сравнение плотностей популяций u(x) и v(x) (синий и красный цвет соответственно) с функцией ресурса жертвы (черный цвет) для двух стационарных решений: без диффузии - сплошные линии, и при ее наличии - пунктир. Хорошо видно, что распределение хищника сильно «сглаживается», в то время как распределение жертвы практически не изменяется даже при разномасштабной диффузии (пришлось значительно увеличить параметр ε, чтобы это увидеть на графике), лишь немного увеличиваясь в максимуме и немного убывая в окрестности минимума. Сравнение приближенного решения с численным для двух различных значений диффузии представлено на рис. 4. Асимптотическое решение (4.3) для жертвы остается достаточно «точным» даже при больших значениях ε, чего нельзя сказать об асимптотике для хищника, которая начинает отклоняться от точного решения при возрастании диффузии рис. 4(b). Ошибка становится существенной уже при ε = 0,0008. Рассмотрим причину более быстрой потери точности асимптотического приближения у хищника. Исследуем величину относительного вклада (поправку) вторых членов в асимптотическом разложении для каждого вида: , . (4.4) Из выражения для Δv видно, что ключевым элементом является множитель (1 - λ2/μ2). Если λ2 близко к μ2, этот множитель становится малым, кроме того, числитель содержит сумму d1 и (μ1/μ2)d2, что также увеличивает абсолютную величину поправки. Так, при выбранных параметрах модели (μ1 = 4, μ2 = 2, λ1 = 1, λ2 = 1,75, γ = 1 и ε = 0,0008) относительная поправка для жертвы будет, а для хищника , что на порядок больше. Именно это мы и наблюдаем на рисунках: профиль жертвы визуально почти не меняется, а профиль хищника сильно «сглаживается». Следовательно, «узость» диапазона применимости асимптотического приближения для хищника вызвана не пороком модели, а конкретными значениями параметров, взятыми для иллюстрации. Если взять, то точность асимптотики для хищника сохранялась бы вплоть до заметно б´ольших ε. Однако с биологической точки зрения уменьшение параметра λ2 ведет к снижению смертности хищника и, следовательно, к росту его численности (в то время как популяция жертвы уменьшается). На рис. 5 изображено сравнение асимптотических приближений с численными решениями для двух разных значений λ2 = 1,7 и λ2 = 1,4 в одинаковом масштабе. Видно, что при меньшем λ2 отклонение асимптотики от численного решения существенно меньше. Рассмотрим устойчивость пространственно-неоднородного стационарного решения (4.1), существующего при условии положительных λ2 < μ2. Как и в случае двух конкурирующих популяций, воспользуемся для анализа методом замороженных коэффициентов. Линеаризуя систему на решении (u,v) и замораживая коэффициенты, получаем локальную реакционную матрицу J(x0) = p(x0)M, где постоянная матрица M имеет вид . При λ2 < μ2 выполнено α > 0, β > 0. След и определитель M: TrM = -μ1α < 0, detM = λ1αμ2β > 0, что гарантирует локальную устойчивость бездиффузионной системы в каждой точке. После подстановки пространственной моды ∼ eikx и учета диффузии возникает модифицированная матрица Якоби . Рис. 5. Сравнение асимптотических приближений (пунктирные линии) с численным расчетом (сплошные) при μ1 = 4, μ2 = 2, λ1 = 1, ε = 0,00075, γ = 1 для случаев: (a) λ2 = 1,75 и (b) λ2 = 1,4. Fig. 5. Comparison of asymptotic approximations (dashed lines) with numerical calculation (solid lines) for μ1 = 4, μ2 = 2, λ1 = 1, ε = 0.00075, γ = 1 for the cases: (a) λ2 = 1.75 and (b) λ2 = 1.4. Ее след TrJdiff = -p(x0)μ1α - εk2(1 + γ) < 0 всегда отрицателен. Рассмотрим определитель как функцию: detJdiff(M;x0) = γM2 + γp(x0)μ1αM + p2(x0)detM. Как и ранее, это парабола с ветвями вверх, вершина которой. Следовательно, на интервале определитель монотонно возрастает, а его минимум достигается в длинноволновом пределе M = 0: detJdiff(0;x0) = p2(x0)detM > 0. Таким образом, detJdiff > 0 для всех и любых x0. Диффузионная неустойчивость (эффект Тьюринга) невозможна ни при каком γ > 0, а условие λ2 < μ2 является достаточным для устойчивости полной системы диффузии-реакции с неоднородным ресурсом. 5. Заключение В силу большой вычислительной сложности многие задачи для систем популяционной динамики, описываемые уравнениями диффузии-реакции (УДР), требуют значительных вычислительных затрат. Вместе с тем системы такого рода встречаются в природе достаточно часто, а сами УДР являются универсальной математической моделью для описания разнообразных процессов, где есть перенос вещества и его химическое (или биологическое) превращение. Одной из альтернатив прямому численному моделированию является использование приближенных асимптотических решений УДР. В работе развит подход асимптотических приближений к стационарным решениям для двух классов систем диффузии-реакции: пары конкурирующих видов и системы «хищник-жертва», в которых реализуется идеальное свободное распределение (ИСР). Показано, что введение малой и разномасштабной диффузии приводит к отклонению распределений от ИСР, причем характер поправок определяется как параметрами межвидового взаимодействия, так и отношением коэффициентов диффузии. Полученные асимптотические формулы (3.2) и (4.3) содержат ключевое слагаемое, пропорциональное отношению. Данному отношению можно дать ясную геометрическую интерпретацию: оно характеризует локальную относительную кривизну профиля функции ресурса, являясь нормированной на значение самого ресурса мерой его выпуклости или вогнутости. В экологическом контексте эта величина велика в окрестности узких пиков и мала на пологих участках ареала. С физической точки зрения, появление в решении отражает фундаментальный баланс между диффузионным потоком и локальным воспроизводством: в точках, где профиль ресурса имеет положительную кривизну (впадины), диффузия «наполняет» популяцию, увеличивая ее плотность относительно пропорционального ресурсу распределения; напротив, в областях отрицательной кривизны (пики) диффузия «растаскивает» особей, уменьшая плотность. Для того чтобы асимптотическое разложение сохраняло количественную точность, диффузионные поправки должны оставаться малыми по сравнению с главным членом O(p(x)). Это приводит к естественному условию . (5.1) Если характерная величинаимеет порядок единицы, малость ε автоматически гарантирует выполнение (5.1). Однако для функций ресурса с резкими пиками, например, p(x) ∼ exp(-x2/σ2) при, значение может достигать O(σ-2), и для сохранения точности требуется дополнительное ограничение. В настоящей работе в качестве модельной использовалась гладкая периодическая функция ресурса . Для нее вторая производная и искомое отношение принимают вид . Максимальное абсолютное значение этого отношения на отрезке [0, 1] достигается в точках, где одновременно , и составляет . При типичных значениях использованных в расчетах, произведение εmax находится в диапазоне 0,099 ÷ 0,197, что обеспечивает приемлемую точность асимптотики. Численные сравнения на рис. 2 полностью подтверждают этот вывод: для асимптотическое приближение хорошо согласуется с численным решением; заметные расхождения возникают лишь при, когда указанное произведение приближается к 0,49. Таким образом, условие (5.1) позволяет провести простую априорную оценку пригодности асимптотики для любого конкретного профиля ресурса, не прибегая к полномасштабному численному счету. Предложенный в работе подход и полученные аналитические формулы могут быть распространены на более сложные многомерные модели популяционной динамики с пространственно-неоднородными параметрами.About the authors
P. A. Zelenchuk
Sirius University of Science and Technology; Southern Federal University
Author for correspondence.
Email: zelenchuk@sfedu.ru
ORCID iD: 0000-0001-6598-8521
SPIN-code: 4836-9453
Scopus Author ID: 57233847500
ResearcherId: HKF-7189-2023
Rostov-on-Don, Russia
References
- Базыкин А.Д. Нелинейная динамика взаимодействующих популяций. - М.-Ижевск: Инст. комп. иссл., 2003.
- Будянский А.В., Цибулин В.Г. Моделирование динамики популяций на неоднородном ареале: инвазия и мультистабильность // Биофизика.-2022.- 67, № 1.- С. 174-182.-doi: 10.31857/S0006302922010197.
- Васильева А.Б., Бутузов В.Ф. Асимптотические методы в теории сингулярных возмущений.-М.: Высш. шк., 1990.
- Генри Д. Геометрическая теория полулинейных параболических уравнений.-М.: Мир, 1985.
- Зайцева М.Ф., Магницкий Н.А. Пространственно-временной хаос в одной системе уравнений типа реакция-диффузия // Дифф. уравн.-2017.-53, № 11.- С. 1550-1554.-doi: 10.1134/S0374064117110152.
- Зеленчук П.А., Нгуен Х.Б., Цибулин В.Г. Свидетельство о государственной регистрации программы для ЭВМ № 2025680157, Российская Федерация. Программа SPECIES-25 для анализа систем популяционной динамики: заявл. 27.06.2025: опубл. 04.08.2025.- заявитель федеральное государственное автономное образовательное учреждение высшего образования «Южный федеральный университет», 2025.
- Косов А.А., Семенов Э.И., Тирских В.В. О многомерных точных решениях одной нелинейной системы реакции-диффузии // Вестн. Удмурт. унив. Мат. Мех. Комп. науки.-2023.-33, № 2.- С. 225-239.-doi: 10.35634/vm230203.
- Лебедев Е.Б., Левенец И.Р. Фауна и распространение брюхоногих и двустворчатых моллюсков (Mollusca: Gastropoda, Bivalvia) на литорали Дальневосточного морского биосферного заповедника (залив Петра Великого, Японское море) // Юг России: экол., разв.-2019.- 14, № 1.-С. 26-41.- doi: 10.18470/1992-1098-2019-1-26-41.
- Марчук Г.И. Избранные труды. Т. 4. Математическое моделирование в иммунологии и медицине. - М.: РАН, 2018.
- Полтаруха О.П. К фауне усоногих раков (Cirripedia, Thoracica) прибрежных вод Южного Вьетнама // Бюлл. Моск. об-ва испыт. природы. Отд. биол.- 2013.- 118, № 1.- С. 21-32.
- Ризниченко Г.Ю. Математическое моделирование биологических процессов. Модели в биофизике и экологии: учебное пособие для бакалавриата и магистратуры.- М.: Юрайт, 2019.
- Самарский А.А., Галактионов В.А., Курдюмов С.П., Михайлов А.П. Нестационарные структуры и диффузионный хаос.- М.: Наука, 1992.
- Arrara´s A., Gaspar F.J., Jimenez-Ciga I., Portero L. Space-time parallel solvers for reactiondiffusion problems forming Turing patterns // Appl. Numer. Math. -2025.- 218.-C. 91-108.-doi: 10.1016/j.apnum.2025.07.012.
- Ba´ns´agi T., Vanag V.K., Epstein I.R. Tomography of reaction-diffusion microemulsions reveals threedimensional Turing patterns // Science.- 2011.- 331.-С. 1309-1312.- doi: 10.1126/science.1200815.
- Bjørnstad O.N., Ims R.A., Lambin X. Spatial population dynamics: analyzing patterns and processes of population synchrony // Trends Ecol. Evol.- 1999.- 14, № 11.-С. 427-432.-doi: 10.1016/S0169-5347(99)01677-8.
- Cantrell R.S., Cosner C. Spatial ecology via reaction-diffusion equations.-Chichester: John Wiley & Sons, 2003.-doi: 10.1002/0470871296.
- Cantrell R.S., Cosner C. Ideal free dispersal in a predator-prey system // Numer. Algebra Control Optim. -2026.-16, № 2. -С. 198-217.-doi: 10.3934/naco.2025018.
- Cantrell R.S., Cosner C., DeAngelis D.L., Padron V. The ideal free distribution as an evolutionarily stable strategy // J. Biol. Dynam. - 2007.- 1, № 3.- С. 249-271.-doi: 10.1080/17513750701450227.
- Ha T.D., Tsybulin V.G., Zelenchuk P.A. How to model the local interaction in the predator-prey system at slow diffusion in a heterogeneous environment? // Ecol. Complex.-2022.- 53.- 101026.- doi: 10.1016/j.ecocom.2022.101026.
- Keeling M.J., Rohani P. Modeling infectious diseases in humans and animals.-Princeton: Princeton Univ. Press, 2008.-doi: 10.1515/9781400841035.
- Keener J.P., Sneyd J. Mathematical physiology.-New York: Springer, 1998.- doi: 10.1007/b98841.
- Kˇrivan V. The ideal free distribution in temporally varying environments // J. Theor. Biol.- 2026.- 629.- 112490.- doi: 10.1016/j.jtbi.2026.112490.
- Lacalli T.C. Patterning, from conifers to consciousness: Turing’s theory and order from fluctuations // Front. Cell Develop. Biol.-2022.-10.- 871950.- doi: 10.3389/fcell.2022.871950.
- Lin J., Andreasen V., Casagrandi R., Levin S.A. Traveling waves in a model of influenza A drift // J. Theor. Biol.- 2003.- 222, № 4.- С. 437-445.-doi: 10.1016/S0022-5193(03)00056-0.
- Murray J.D. Mathematical biology II: Spatial models and biomedical applications.-New York: Springer, 2003.-doi: 10.1007/b98869.
- Nayfeh A.H. Perturbation methods. -New York: John Wiley & Sons., 2000.- DOI: 10.1002/ 9783527617609.
- Ouchdiri M., A., Benjelloun S., Saoud A., Otero-Muras I. Turing patterns in a morphogenetic model with single regulatory function // Math. Biosci.-2025.-389.- 109536.- doi: 10.1016/j.mbs.2025.109536.
- Revina S.V. Diffusion instability domains for systems of parabolic equations // Sib. Math. J.- 2024.- 65, № 2.- С. 487-494.-doi: 10.1134/S0037446624020216.
- Shigesada N., Kawasaki K. Biological invasions: Theory and practice.-Oxford: Oxford Univ. Press, 1977.
- Tsybulin V.G., Ha T.D., Zelenchuk P.A. Nonlinear dynamics of the predator-prey system in a heterogeneous habitat and scenarios of local interaction of species // Izv. VUZ. Appl. Nonlin. Dynam.- 2021.-29, № 5.- С. 751-764.-doi: 10.18500/0869-6632-2021-29-5-751-764.
- Tsybulin V., Zelenchuk P. Predator-prey dynamics and ideal free distribution in a heterogeneous environment // Mathematics.- 2024.- 12, № 2.- С. 275.- doi: 10.3390/math12020275.
- Turing A.M. The chemical basis of morphogenesis // Philos. Trans. R. Soc. Lond. Ser. B. Biol. Sci.- 1952.-237.- С. 37-72.-doi: 10.1098/rstb.1952.0012.
- Tyutyunov Yu.V., Govorukhin V.N., Tsybulin V.G. Modeling study of factors determining efficacy of biological control of adventive weeds // Mathematics.- 2024.-12, № 1.-160.-DOI: 10.3390/ math12010160.
- Volpert V. Elliptic partial differential equations. Vol. 2: Reaction-diffusion equations.- Basel: Birkha¨user, 2014.-doi: 10.1007/978-3-0348-0813-2.
- Volpert V., Petrovskii S. Reaction-diffusion waves in biology: new trends, recent developments // Phys. Life Rev.- 2025.- 52.-C. 1-20.- doi: 10.1016/j.plrev.2024.11.007.
- Zelenchuk P.A. A Predator-prey system with ideal free distribution in a two-dimensional ring habitat // Маth. Biol. Bioinform.-2025.- 20, № 1.- С. 83-99.-doi: 10.17537/2025.20.83.
- Zelenchuk P. Mathematical model of evolutionary stable strategy for population under conditions of competition in a heterogeneous habitat // Russ. J. Biomech.-2025.- 29, № 2.- С. 27-38.-doi: 10.15593/rjbiomech/2025.2.03.
- Zelenchuk P.A. Ideal free distribution in the predator-prey model with the Allee effect // Russ. J. Biomech.- 2026.- 30, № 1.-С. 144-150.- doi: 10.15593/RJBiomech/2026.1.14.
- Zelenchuk P.A., Tsybulin V.G. The ideal free distribution in a predator-prey model with multifactor taxis // Biophys.- 2021.- 66, № 3.-С. 464-471.- doi: 10.1134/S0006350921030246.
- Zelenchuk P.A., Tsybulin V.G. Mathematical model of ideal free distribution in the predator-prey system // J. Math. Sci. (N.Y.). -2024.-285, № 3.-С. 328-338.- doi: 10.1007/s10958-024-07445-x.
- Zelenchuk P.A., Tsybulin V.G. Modelling of evolutionary strategies of interacting populations in a heterogeneous habitat // J. Math. Sci. (N.Y.). - 2026.-299, № 2. -С. 137-148.-doi: 10.1007/s10958-026-08410-6.
Supplementary files




