CC BY
33
УДК 517.9
DOI: 10.14529/ mmp 150411
ОПТИМАЛЬНОЕ УПРАВЛЕНИЕ ДЛЯ ОДНОЙ МАТЕМАТИЧЕСКОЙ МОДЕЛИ РАСПРОСТРАНЕНИЯ НЕРВНОГО ИМПУЛЬСА
H.A. Манакова, О.В. Гаврилова
В статье изучается вопрос существования оптимального управления для одной математической модели, которая была предложена Р. Фитц Хью и Дж.М. Нагумо для моделирования распространения нервного импульса. Данная модель относится к классу моделей «реакции-диффузии», которые моделируют широкий класс процессов, таких как химические реакции с диффузией и распространение нервного импульса. В случае асимптотической устойчивости изучаемой модели и в предположении, что скорость изменения одной компоненты существенно превосходит скорость другой, изучаемая модель может быть сведена к задаче оптимального управления для полулинейного уравнения соболевского типа с начальным условием Шоуолтера - Сидорова. В работе доказано существование единственного слабого обобщенного решения рассматриваемой модели с начальным условием Шоуолтера - Сидорова и существование оптимального управления.
Ключевые слова: уравнения соболевского типа; оптимальное управление; уравнения реакции-диффузии.
Постановка задачи. В основе наиболее популярного подхода нейросетевого моделирования лежит составление сетей со сложной пространственно-топологической организацией из единичных нейронов. В отдельном нейроне ионные токи химических элементов приводят к изменению потенциала мембраны (импульса). Это происходит в ответ на внешнее воздействие при превышении порога возбуждения. Для изучения изменений потенциала мембраны проводятся аналитические и численные исследования математических моделей, основанных на уравнениях вида «реакция-диффузия>
J vt = a1Av + f(v,w), \ wt = a2Aw + g(v, w).
Одной из таких моделей является система уравнений Фитц Хью - Нагумо, моделирующая распространение нервного импульса в мембране [1,2] и имеющая вид
J vt = a1Av + ß1(w — av — ß), , ,
\ wt = a2Aw + ß2w — k2v — ws.
Здесь w = w(s,t) - функция, описывающая динамику мембранного потенциала, v = v(s,t) - медленная восстанавливающая функция, связанная с ионными токами, ß2 Е R a, ß, ß1,a1,a2, к2 Е R+ - фиксированные параметры, характеризующие: a, ß1 - порог возбуждения и его скорость, a1 - электропроводность среды, a2 - репо-ляризацию среды, ß - источник возбуждения. Нулевое решение системы при ß2 < 0 асимптотически устойчиво, а ß2 > 0 неустойчиво. Качественный анализ систем уравнений (1) в предположении, что скорость изменения одной компоненты существенно
превосходит скорость другой в случае /32 > 0, был сделан в [3]. Это предположение приводит к системам уравнений вида
!
0 = a1Av + ß1w — k1v + u1, wt = a2Aw + ß2w — k2v — w3 + u2.
з , .. (2)
Нами будет рассмотрен случай, когда ß2 < 0 и ßi = к2, а вектор-функция u = (u1,u2) характеризует источник возбуждения.
Начально-краевые задачи для системы уравнений (2) в специальным образом подобранных функциональных банаховых пространствах и U редуцируются к задаче Шоуолтера - Сидорова
L(x(0) — xo) = 0 (3)
для абстрактного полулинейного уравнения
L x +Mx + N(x) = u, ker L = {0}. (4)
Нашей целью является изучение задачи оптимального управления
J(x,u) ^ min (5)
решениями задачи (3), (4) в слабом обобщенном смысле [4,5]. Здесь J(x,u) - некоторый специальным образом построенный функционал качества; управление u Е &ad, где Uad - некоторое замкнутое и выпуклое множество в пространстве управлений U. Оптимальное управление решениями начально-краевой задачи для системы уравнений (2) позволяет регулировать разницу потенциалов ионных токов в нервной мембране при наименьших затратах на управление. Изучению задач оптимального управления для уравнений соболевского типа посвящены работы [6,7]. 1. Существование решения модели Фитц Хью - Нагумо с условием Шоуолтера — Сидорова. В цилиндре П х R+ рассмотрим систему уравнений Фитц Хью - Нагумо в случае ß1 = х2, ß2 Е R_
{
—a1Av — ß1w + k1v = u1, wt — a2Aw + \ß2\w + ß1v + w3 = u2
3
с краевым условием
ь(в,г) = 0, т(в,г) = 0, (в, г) е дп х к (7)
и условием Шоуолтера - Сидорова
в, 0) - и>о(в) = 0, в Е П. (8)
о
Положим Нг =Ш2(П) и Вг = Ь4(П), I = 1, 2. Рассмотрим гильбертово пространство Н = Ь2(П) х Ь2(П) со скалярным произведением [■, •], отождествленное со своим сопряженным. Определим пространства Н = Н1 х Н2 и В = В1 х В2, а через Н*, В* обозначим сопряженные пространства к пространству Н, В относительно скалярного произведения в Н, соответственно. В случае п < 4 имеют место плотные и непрерывные вло^кенпя
Н м В мН м В* м Н*, (9)
причем вложение Н ^ Н компактно. Пусть х = (у,ш), ( = (£,ц), и = (и1,и2), определим операторы
[Ьх, (] = (ш, ц), [Мх, (] = (—агАу — вгш + £) + (—а2Аш + \в2\ш + ц), х,( Е Н,
[М(х),С] = (ш3,ц), х,С Е В.
Таким образом, задача (6) - (8) редуцирована к задаче Шоуолтера - Сидорова (3), (4). Построим множество ео1ш Ь = {0} х Н2 и рассмотрим пространство
X = {х\ V Е Ь2(0, Т; Нг), ш Е Ь^(0,Т; ео1ш Ь) П Ь4(0,Т; В2)}.
Определение 1. Вектор-функцию х Е X щи Т Е назовем, слабым обобщенным решением задачи Шоуолтера - Сидорова (3), (4), если она удовлетворяет
T T
dx d
0
^[LddX^,C] + [Mx + N(x),C]^j dt = J (КС]) dt, [L(x - xo), C ] = 0 VC EH.
Обозначим через {фк} последовательность собственных функций однородной задачи Дирихле для оператора Лапласа (—А) в области П. Последовательность собственных векторов {фк,фк} тотальна в пространстве Н, а в силу вложений (9) и в пространстве Н. Построим галеркинские приближения решения задачи (6) — (8) в виде
т т
ут(в,г) = ^2ак(г)фк(в), шт(э,ь) = ^2Ьк(г)фк(в), к=1 к=1
где коэффициенты ак = ак(I), Ьк = Ьк(¿), г = 1, определяются системой уравне-
ний
(—агАУт — вгШт + КгУт, фк) = (иг,фк)
дш Г10}
(-д^ — агАшт + \вг\шт + вгУт + ш'т,фк) = (и2,фк), к = 1,...,ш
и условием
{w(0) - wo,<fik) = 0. (11)
Уравнения (10) представляют собой вырожденную систему обыкновенных дифференциальных уравнений. Пусть Tm E R+, Tm = Tm(x0), Hm = spanj^i, ф2,..., фт},
нт = нт x ят-
Лемма 1. При любых x0 E H существует единственное локальное решение xm E Cr(0,Tm; Hm) задачи (10), (И).
Доказательство леммы 1 является следствием теоремы существования и единственности решения задачи Шоуолтера - Сидорова для системы алгебро-дифференциальных уравнений [8].
Теорема 1. Пусть а1,а2,в1, к1 E в2 E R_ и n < А, тогда при любых x0 E
H, T E R+, u1 E L2(0,T; H1), u2 E L3 (0,T; существует единственное решение x E X задачи (6) - (8).
Доказательство. Существование. Умножим г-ые уравнения системы (10) на аг(Ь) и Ьг(г) соответственно, результаты сложим по г = 1,ш, проинтегрируем на (0,г) и получим
г
1 \\™т(т2Н2 + / {а1\^т(т)\\Н + а2\^т(т)\Ц2 + т\\™т(т)\\2Н2 + *1\\ют(г)\\2т+
о
г
+\\тт(т ^Вз) йт = I ({щ(т),Ут(т ))Н1 + {й2(т ),тт(т ))Нз ) йт + \\тт(0)\\2Н2
о
\М)\\Н2 + С1/ (\\Ут(т)\ = 1 + \\^т(т)\\%2 + \\ь>т(т)Гп2 + Ьт(т)ГШ+
о
г г
")
оо
М\ыт(т)\\В2) йт = 02! \\Мт)\\Н{ йт + Са/\\п2(т)\\в2 йт + С4, С > 0, г =1,..., 4.
Из оценки следует, что все Тт, гарантированные леммой 1, можно взять равными друг другу: Тт = Т. Так как пространства Ь4(0,Т; В2), Ь2(0,Т; Н1) и Ь4 (0,Т; В**) рефлексивны, то существуют слабые п р е д е л ы
тт -— т * —слабо в Ь^(0, Т; Н2);
тт — т слабо в Ь4(0, Т; В2); тт — ¡слабо в Ь4 (0, Т; В2);
дт
™ — т * —слабо вЬ^(0,Т; Н2);
Vт — V слабо в Ь2(0, Т; НО-
Продолжим хт = ^т(г), тт(г)) на К нулем вне [0,Т], и соответствующее продолжение обозначим через Хт(Ь). Тогда из (6) следует, что
{.ьхт(г),Фг) + {мхт(г) + N (1т (г)),фг) =
= {й(1),фг) + {Ьхт, Фг) 5(1 — 0) + {Ьхт(Т),фг) 5(1 — Т). (12)
Перейдем к пределу в (12) при фиксированном ] и получим
{Ьхг(г),ф3) + {мх, Ф3) + {¡, Ф3) = {й(г),ф3) + {Ьхо, Ф3) 5(г — 0) — {£, ф3 ) 5(г — Т),
следовательно,
Ь1() + М1 +1 = 1(г) + Ьх05(г — 0) — £5(г — Т). (13)
(0, Т)
Ьх + Мх + 1 = й, (14)
следовательно, т Е Ь2(0,Т; Н2) П Ь4 (0,Т; В**), поэтому т(0) = т0 имеет место. В силу компактного вложения Н м Н последовательность тт м т в пространстве
Ь2(0,Т; Н2), тогда в силу единственности предела получим, что
а
1 = т .
Единственность. Пусть x1 = x1(t) и x2 = x2(t) - два решения задачи (3), (4). Тогда для их разности x = x\ — x2 получим
t
[Lx,x] + 2 j[Mx + (N(x1) — N(x2)),x]dr = 0. (15)
0
Левая часть равенства неотрицательна, значит, равенство (15) удовлетворяется лишь в случае x = 0. □
2. Оптимальное управление в модели Фитц Хью — Нагумо. Рассмотрим задачу оптимального управления (5) для модели (6) - (8). Рассмотрим пространство управлений U = {u = (u1,u2) : u1 Е L2(0,T; H1), u2 Е L4 (0,T; B2)}, выберем непустое замкнутое выпуклое множество Uad С U. В цилиндре QT = П х (0,T) при § Е (0,1) зададим функционал качества
T T
J(x,u) = #J flu — VdWH, + Ik — ) dt + (1 — V)J (lluillHi + MB-) dt, (16) 00
где xd = (vd,wd) - требуемое состояние системы, например, состояние, в котором находилась система до прохождения порога возбуждения.
Определение 2. Пару (x,u) Е X х Uad назовем, решением задачи оптимального управления (5) - (8), если
J(x, u) = min J(x, u),
(x,u)
где пары, (x,u) Е X х Uad удовлетворяют (6) - (8) в смысле определения 1.
Замечание 1. Так как множество допустимых управлений Uad = 0, то для любого u Е Uad С U в силу теоремы 1 существует единственное решение x = x(u) задачи (6)
(x, u)
не пусто.
Теорема 2. Пусть а1} а2, ß1, к1 Е R+ ß2 Е R_ и n < А, тогда, при любы,х x0 Е H,T Е R+ существует оптимальное управление решениями задачи (5) - (8).
(x, u) не пусто, то найдется
последовательность {xm,um} С X х Uad такая, что
lim J(xm,um) = min J(x,u).
т^ж (x,u)€Xxüad
Поскольку функционал (16) обладает свойством коэрцитивности, то
IIVmIIb2(0,T;Hi) < Const, IlWmll LA(0,T-,B2) < Const,
nu1m llL2(0,T;H1) < COnst, Hu2mh4 (0,T;B*) < Const ^ >
3
при всех m E N. Из (17) (переходя, если надо, к подпоследовательности) извлечем слабо сходящиеся в соответствующих пространствах последовательности
Vm ^ V, Wm ^ W, Uim ^ Ui, U2m ^ U2.
I.) | Bulletin of the South Ural State University. Ser. Mathematical Modelling, Programming
& Computer Software (Bulletin SUSU MMCS), 2015, vol. 8, no. 4, pp. 120-126
В силу теоремы Мазура и секвенциальной слабой замкнутости множества &аа точка и Е Используя рассуждения теоремы 1, перейдем к пределу в уравнении состояния (4) и получим
Их
[Ь— + М х + ] = [и,< ]. (18)
Из полученных в теореме 1 априорных оценок, монотонности оператора N и компактного вложения Н ^ Н получим
1 = N (х).
Значит, переходя к пределу в уравнении состояния (4), получим
ЬИх + Мх + N (х) = и. аЬ
Следовательно. х = х(и) и Ншт£ 1 (ит) > 1(и). Значит, М - есть оптимальное управление в задаче (5) - (8). □
Авторы, вы,ра,жмет глубокую признательность проф. Г.А. Свиридюку за, поддержку и научные дискуссии.
Литература
1. Fitz Hugh, R. Mathematical Models of Threshold Phenomena in the Nerve Membrane / R. Fitz Hugh // Bulletin of Mathematical Biology. - 1955. - V. 17, № 4. - P. 257-278.
2. Nagumo, J. An Active Pulse Transmission Line Simulating Nerve Axon / J. Nagumo, S. Arimoto, S. Yoshizawa // Proceedings of the IRE. - 1962. - V. 50, № 10 - P. 2061-2070.
3. Бокарева, T.A. Сборки Уитни фазовых пространств некоторых полулинейных уравнений типа Соболева / Т.А. Бокарева, Г. А. Свиридюк // Математические заметки. - 1994. -Т. 55, № 3. - С. 3-10.
4. Линейные и нелинейные уравнения соболевского типа / А.Г. Свешников, А.Б. Алынин, М.О. Корпусов, Ю.Д. Плетнер. - М.: ФИЗМАТЛИТ, 2007. - 736 с.
5. Лионе, Ж.-Л. Некоторые методы решения нелинейных краевых задач / Ж.-Л. Лионе. -М.: Мир, 1972. - 587 с.
6. Свиридюк, Г.А. Оптимальное управление линейными уравнениями типа Соболева с относительно р-секториальными операторами / Г.А. Свиридюк, A.A. Ефремов // Дифференциальные уравнения. - 1995. - Т. 31, № 11. - С. 1912-1919.
7. Келлер, A.B. Численное решение задач оптимального и жесткого управления для одной нестационарной системы леонтьевского типа / A.B. Келлер, М.А. Сагадеева // Научные ведомости Белгородского гос. ун-та. Серия: Математика. Физика. - 2013. - Т. 32, № 19. -С. 57-66.
8. Свиридюк, Г.А. О разрешимости сингулярной системы обыкновенных дифференциальных уравнений / Г.А. Свиридюк // Дифференциальные уравнения. - 1987. - Т. 23, № 9. -С. 1637-1639.
Поступила в редакцию 15 июня 2015 г.
Наталья Александровна Манакова, кандидат физико-математических наук, доцент, кафедра «Уравнения математической физики >, ЮжноУральский государственный университет (г. Челябинск, Российская Федерация), [email protected].
Ольга Витальевна Гаврилова, старший преподаватель, кафедра «Уравнения математической физики>, Южно-Уральский государственный университет (г. Челябинск, Российская Федерация), [email protected].
MSC 49J20 10.14529/mmpl50411
Optimal Control for a Mathematical Model of Nerve Impulse Spreading
N.A. Manakova, South Ural State University, Chelyabinsk, Russian Federation, [email protected],
О. V. Gavrilova, South Ural State University, Chelyabinsk, Russian Federation, [email protected]
The article concerns the matter of existence of optimal control for the mathematical model set forward by R. Fitzhugh and J.M. Nagumo for modelling of nerve impulse spreading. The model belongs to the group of diffusion-reaction models simulating a wide range of processes such as chemical reactions with diffusion and nerve impulse spreading. In case, that there is an asymptotical stability of the studied model, and under an assumption that the rate of variation of one component is greatly higher than the other one, the said model could be reduced to a problem of optimal control of a Sobolev type semi-linear equation with Showalter - Sidorov initial condition. The article contents a demonstration of the only weak generalized solution for the model under discussion with Showalter -Sidorov initial condition and optimal control existence.
Ключевые слова: Sobolev type equations; optimal control; diffusion-reaction equations.
References
1. Fitz Hugh R. Mathematical Models of Threshold Phenomena in the Nerve Membrane. Bulletin of Mathematical Biology, 1955, vol. 17, no. 4, pp. 257-278.
2. Nagumo J., Arimoto S., Yoshizawa S. An Active Pulse Transmission Line Simulating Nerve Axon. Proceedings of the IRE, 1962, vol. 50, no. 10, pp. 2061-2070.
3. Bokareva T.A., Sviridyuk G.A. Whitney Folds of the Phase Spaces of Some Semilinear Equations of Sobolev Type. Mathematical Notes, 1994, vol. 55, no. 3-4, pp. 237-242.
4. Sveshnikov A.G., Al'shin А.В., Korpusov M.O., Pletner Yu.D. Lineynye i nelineynye uravneniya sobolevskogo tipa [Linear and Nonlinear the Sobolev Type Equations]. Moscow, FIZMATLIT, 2007. 736 p. (in Russian)
5. Lions J.-L. Quelques mérthodes de resolution des problèmes aux limites non linéaires. Paris, Dunod, 1968.
6. Sviridyuk G.A., Efremov A.A. Optimal Control of Sobolev Type Linear Equations with Relativity p-Sectorial Operators. Differential Equations, 1995, vol. 31, no. 11, pp. 1882-1890.
7. Keller A.V., Sagadeeva M.A. [The Numerical Solution of Optimal and Hard Control for Nonstationary System of Leontiev Type]. Belgorod State University Scientific Bulletin. Mathematics, Physics, 2013, vol. 32, no. 19, pp. 57-66. (in Russian)
8. Sviridyuk G.A. [On the Solvability of Singular Systems of Ordinary Differential Equations]. Differentsial'nye Uravneniya [Differential Equations], 1987, vol. 23, no. 9, pp. 1637-1639. (in Russian)
Received June 15, 2015
