Устойчивость нейронных сетей Хопфилда с запаздыванием Текст научной статьи по специальности «Математика»

УДК 518.5

И. В. Бойков

УСТОЙЧИВОСТЬ НЕЙРОННЫХ СЕТЕЙ ХОПФИЛДА С ЗАПАЗДЫВАНИЕМ

Аннотация. Исследована асимптотическая устойчивость по Ляпунову нейронных сетей Хопфилда с запаздыванием, описываемых системами нелинейных обыкновенных дифференциальных уравнений. Рассмотрены нейронные сети Хопфилда с запаздыванием и разрывными функциями активации.

Ключевые слова: нейронные сети Хопфилда, асимптотическая устойчивость, устойчивость по Ляпунову.

Abstract. The author investigates Lyapunov asymptotic stability of Hopfield neural networks with time lag, described by systems of nonlinear normal differential equations. The article considers Hopfield neural networks with time lags and discontinuous activation functions.

Key words: Hopfield neural networks, asymptotic stability, Lyapunov stability.

Введение

Новый класс рекуррентных нейронных сетей, известных как нейронные сети Хопфилда, (НСХ) был введен Хопфилдом тридцать лет назад [1, 2]. С тех пор НСХ являются предметом активных исследований. НСХ имеют несколько типичных применений: они применяются при решении оптимизационных проблем и используются как ассоциативная память.

В последнее время НСХ применяются для решения задач математической физики. Во всех случаях применения НСХ желательно, чтобы сеть имела единственную стационарную точку и была устойчива относительно этой точки. Еще более предпочтительна асимптотическая устойчивость или даже равномерная асимптотическая устойчивость. Большое число работ посвящено исследованию устойчивости различных дискретных, непрерывных и импульсных НСХ с запаздыванием и без запаздывания [3-8].

Целью данной статьи является исследование равномерной асимптотической устойчивости НСХ с запаздываниями с непрерывными и разрывными функциями активации. Для НСХ без запаздывания аналогичные результаты получены в предыдущей работе автора [6] (см. также [8].)

Статья построена следующим образом. В разделе 1 приводятся необходимые определения. В разделе 2 исследуется устойчивость НСХ с непрерывными функциями активации. В разделе 3 исследуются НСХ с разрывными функциями активации.

1. Постановка задачи

В работе исследуются непрерывные НСХ следующих видов:

Xk(t) + ^оЧ1 ф(x(t-х)) + Ik, t > 0, к = 1,2,...,n; (1)

dt Rk i=1

dx (t) 1 n

CkdXk = _~^xk (t) + Фк Ypkl (xl(t _x)) + Ik, t > 0 k = 1,2,...,n. (2)

dt Rk l=1

Т

Здесь п - число нейронов в сети; х(Г) = (х (г), ..., хп (г)) - вектор

состояния сети в момент времени г; ф = (ф,..., фп) - функции активации нейронов; , Ск, I£ (к = 1,2,., п) - сопротивления, емкости и внешние

токи соответственно.

Формально нейронные сети (1), (2) могут быть описаны системой обыкновенных дифференциальных уравнений

&

= -«к (г) х£ (г) + ХУк/ (г )ф/ (х/ (г -т)) + 4, к = 1,2,..,п, (3)

/=1

и системой

&х£ (г) _

Шг

= -«к (г) х£ (г) + ф

г п

ХУк/ (г) х1 (г -т)

I /=1

л

+ 1к, к = 0,1, ...,п.

(4)

Метод исследований устойчивости нейронных сетей (1), (2), развитый в данной статье, также применим и к исследованию нейронных сетей вида

Ьк (t, хк) - Хск/(г)ф/(х/(г - т)) /=1

к = 1,2.,п.

(5)

Будем считать, что в моделях (3)-(5) в промежутке времени 0 < г < т

хк (0 = 0, к = 1,2,., п. (6)

Напомним некоторые определения и обозначения.

Прежде всего приведем определение устойчивости решений обыкновенных дифференциальных уравнений. Рассмотрим в банаховом пространстве В нелинейное дифференциальное уравнение

с начальным значением

Шх .. . чч

— = А(г, х(г)) Ж

х(*о) = хо.

(7)

(8)

Будем считать, что задача Коши (7)-(8) имеет решение при ^ < г < ю.

Выделим некоторое решение х(г) = ф(г) уравнения (7) и назовем его невозмущенным движением (невозмущенным решением).

Определение 1. Решение ф(г) уравнения (7) называется устойчивым в смысле Ляпунова, если для любого как угодно малого в (в >0) найдется такое 5(в)>0, что из неравенства || х(^) -ф(^) ||< 5 следует || х(Г) -ф(г) ||< в при г > ^0 (здесь через х(Г) обозначено любое решение уравнения (7), определенное начальным условием х(^)).

Определение 2. Решение ф(г) уравнения (7) называется асимптотически устойчивым в смысле Ляпунова, если оно устойчиво в смысле Ляпунова и, кроме того, Нт II х(0 -ф(0 ||= 0.

Определение 3. Решение ф(0 уравнения (7) называется экспоненциально устойчивым, если оно асимптотически устойчиво в смысле Ляпунова

и и —а?

и, кроме того, У х(;) — ф(;) ||< Ае , где А и а - положительные константы, не зависящие от ;.

Определение 4. Решение ф(;) уравнения (7) называется устойчивым в целом, если оно асимптотически устойчиво при любом Хо е В.

Введем следующее определение.

Определение 5. Решение ф(;) уравнения (7) называется равномерно асимптотически устойчивым в смысле Ляпунова, если оно асимптотически устойчиво в смысле Ляпунова и, кроме того, У х(^) — ф(^) 1М1 х(^) — ф(^1) У при Х2 > Х1.

Приведем обозначения, используемые в статье. Пусть X - банахово пространство, К - оператор, действующий из X в X. Тогда В(а, г ) = {х, а е X :|| х — а ||< г}, Б (а, г) = {х, а е X :|| х — а ||= г}, А(К) - логарифмическая норма линейного оператора К, определяемая [9] выражением

\1 + ЪК У —1

А( К) = Нш]

НІ0

И

где Ъ ^ 0 означает, что Ъ стремится к нулю, убывая.

В монографии [9] показано, что А(А) всегда существует (но может принимать отрицательные значения). Там же приведены следующие свойства логарифмической нормы:

А(аА) = аА(А), а> 0, | А(А)|<|| А ||; А(А + В) <А(А) + А(В);

| А(А) — А(В)|<|| А — В ||; А(А) + А(—А) > 0, е—А(—А) <|| еА ||< еА(А).

Из последнего неравенства вытекает оценка —А(—А) < ЯеХ < А(А) для всех X е с(А).

Для наиболее употребительных норм логарифмическая норма известна. Пусть дана вещественная матрица А = {агу }, /, ] = 1,2,., п, в п -мерном

пространстве Яп векторов х = (Х1,..., хп) с нормой

-|1/2

|2

1= £ I Хк к=1

х 1Ь =

Е|хк к=1

Iх ||3= тах 1 Хк 1<к <1

Логарифмическая норма матрицы А равна [10]

( > (

А1 (А) = тах

і

-И

аі

А + А

А3 (А) = тах

В данной работе используется третья норма.

2. Устойчивость нейронных сетей с непрерывными функциями активации

Вначале исследуем устойчивость нейронной сети (3) в предположении, что ф/ (и) - гладкие функции, -да < и < да.

* * *

Пусть х ^) = {х1^),---,хп(0} - решение системы уравнений (3) при

*

нулевых начальных условиях. Исследуем устойчивость решения х (^) при возмущении начальных условий.

*

Сделаем замену переменных: х^^) = гк(^) + х^(^), к = 1,2,.,п. Тогда система уравнений (3) принимает вид

^ = -ак ^) ^ ^) + т

п * *

+^к/(0(ф/(фФ-т) + х*ф-т))-ф/(х*ф-т))|, к = 1,2.,п. (9)

/=1

Устойчивость системы (3) будем исследовать отдельно в промежутке времени 0 < t < т и т< t < да.

В промежутке времени 0 < t <т система уравнений (9) имеет вид

= -ак(0гк(t), к = 1,2.,п. (10)

т

Исследуем устойчивость тривиального решения системы уравнений (10) при начальном возмущении

гк (0) = Рк, (11)

где || г(0) ||< 5.

Здесь г(0) = {^к(0)}, к = 1,2.,п.

Можно показать [8], что при выполнении условия

ак (0 > 0, 0 < t <т, к = 1,2.,п,

тривиальное решение системы уравнений (10) устойчиво.

При выполнении условия

ак (0 >а0>0, 0 <t <т, к = 1,2., п,

тривиальное решение системы уравнений (10) асимптотически устойчиво.

В обоих случаях эти условия гарантируют нахождение траектории решения задачи Коши (9), (11) внутри шара 5(0,5).

Перейдем к исследованию устойчивости решения системы уравнений (9) при t >т. В качестве начального условия возьмем решение задачи Коши (9), (11) в момент времени t = т. Следовательно, будем рассматривать систему уравнений (9) при начальных условиях

?к(т) = Рк, к = 1,2.,п , (12)

и при предыстории гк (0, к = 1,2.,п, 0 < t <т.

При этом можно налагать различные условия на вектор-функцию Ф(г) = (ф^^),.,фп(гп)}. Предположим, что функции фк(г),к = 1,2.,п, разлагаются в равномерно сходящиеся в некоторой окрестности нуля степенные ряды по переменной 2.

Тогда систему уравнений (9) можно представить в следующем виде:

= ~ак({)2к(0 +2Ук/(г)]^ф/ (т)) г] (г-т), к = 1,2.,п. (13) I=1 1=1 1

( 1) *

Предполагая, что производные ф^ ’((г-т)), I = 1,2,.,п, у = 1,2,.,

равномерно ограничены по модулю константой В, вместо системы (13) ограничимся системой уравнений

= -ак (0*к (О +^к! (0£ ф( ' (Х*(г т)) г/ (г-т), к = 1,2.,п. (14) М I=1 у=1 1

Из дальнейшего будет очевидно, что при приведенных выше условиях из устойчивости системы (14) следует устойчивость системы уравнений (13).

Замечание. Условие ограниченности модулей производных всех порядков константой В очень жесткое. Ниже будет показано, что полученные в этом разделе критерии устойчивости справедливы и при

выполнении условий || ф(к)(х) ||с[0Г] — Вккк, к = 0,1,., В — 1/е.

Исследуем устойчивость тривиального решения системы уравнений (14) при начальном приближении (12). Доказательство устойчивости проведем от противного. Предположим, что в момент времени Т траектория системы (14), (12) покидает шар В(0,25о), проходя через точку г(Т).

Не ограничивая общности, можно считать, что | ^(Т) |= 5.

Представим систему уравнений (14) в следующем виде:

&к (г) (Тч „ч , ^ (Тф^)(х*(Т - т)) г1(Т - т) 1 „ч

■ = -ак(Т) Ч(г) + ^к/(Т) ^7----------------L------21(г) -

^ и рі ' ^ (т)

П у Ф/0')(х*(Т -т)) ^

М ............... у1 ' *{/т)

-/ак ф) - ак /т))гк ф) + У(() - /т)) У Ф (х*/Т т)) /Т т) 21 (() +

V1 () V1 ф( (х*(г - т)) - ф( (х*(Т - т)) (Т - т) 1 ( )

+^к/(г ----------------------------Г-------------Н— ({) +

М 1=1 1 г/ (Т)

” Д, ф(1) (X* (г - т)) (г - т) - г/ (Т - г) у

+&« (г) ^-------- 4 (0. (15)

1=1 р1 1 г{ (Т)

( 1) * 1

Из непрерывности функций ак (г), (г), ф) (^ (г - т)), ^ (г - т),

к = 1,2.,п, I = 1,2,.,п, у = 1,2, следует, что для любого в(в > 0) найдется

такой промежуток времени [Т,Т1],Т1 = Т + ДТ, что при г е [Т,Т|]

||У(0||—8||г(0||, где ^(0 = {ВД,.,^п(г)}Т,

^к (г) = -(ак (г) - ак (Т))гк ({) +

” 2 ф(1') (г* (Т - т)) г/ (г - т) у

+У (мк/(г) - мк/(Т ))У---------------------:--у--г{(г) +

1=1 1=1 1! (Т)

^ V^ ф((1)(х**(г - т) - ф(1) (х*(Т - т)) г1(г - т) 1 г)

+1М>к1(г) Х~-----------------г1-----------------^--г1(г) +

1=1 1=1 1 г/ (Т)

” Д, ф^) (X* (г - т) г1 (г - т) - г1 (Т - т) у

+Тмк1 (ОУ^^у-----------------------------------Ч (О, к = 1,2.,п.

1=1 1=1 г/ (т)

Будем считать, что в промежутке времени [Т, Т}]

||г(г - т) ||<|| г(Т)||.

В противном случае вместо сегмента [Т,Т1] можно взять меньший промежуток времени [Т,Т2], где Т2 < Т\.

Введем обозначения:

а(Т ) = (-а1(Т),., -ап (Т)};

Р(Т) = (Р1 (Т),..., Рп (Т)),

где

Р Т) ^ ТЧ ф((1)(х*(Т -т)) г/ (Т -т) , 12

рк(Т) = Умк/(ТИ—1-----------------1 (Т) , к = 1,2.,п;

/=1 1! г1(Т)

(Т) (Т) ф(2) (х*(Т - т)) г2 (Т - т) , 1 2

Ук(Т) = Умк/(ТН--------2----------1 2 , к = 1,2.,п-

/=1 2! г1 (Т)

Введем матрицы Л(Т), В(Т), Г (г). Матрица ^(Т) является диагональной, элементы а а (Т), ' = 1,2, ..,п, которой равны а у (Т ) = -а у (Т).

Матрица В(Т) составлена из элементов Ьу (Т), определяемых равенст-

вами Ъц(Т) = р,(Т), I = 1,2,.,п, Ьу(Т) = 0, I = 1,2,.,п, у = 2,3,.,п.

Матрица Г(Т) составлена из элементов у^р), определенных равенствами ул(Т) = у,(Т), / = 1,2,.,п, угу(Т) = 0, / = 1,2,.,п, ] = 2,3,.,п.

Система уравнений (15) может быть записана в более компактной форме:

= акк (Т) ^ (г) + Ьк1(Т) ^(г) + у к1^12 (г) + у к (г), к = 1,2,., п. (16)

В операторной форме система уравнений (16) имеет вид

^ = А(Т) г(0 + В(Т) г(0 + Г(Т) г 2(г) + ^), (17)

где г (г) = (г1 (г),., ^ (г)}.

Решение задачи Коши (17), (12) в операторной форме имеет вид

г (г) = е(А(Т )+В(Т ))(г-Т) г(Т) + |е( А(Т )+В(Т ))(г _5)(Г(Т) ) + ^ (5))Ш5. (18)

Т

Переходя в (18) к нормам, имеем

| | г (г) | — еЛ(А(Т)+В(Т ))(г -Т )| | г (Т) 11 +

+|еЛ(А(Т),В(Т))(г-5) (|| Г(Т) || 11 г2(5) 11 + | | ¥(5) 11 )ш5. (19)

Т

Так как 1|¥(,у) |1 < 8 ||г(5) 11 при 5 е [Т,7|], а

п(2)( х*(Т -т)) „2

|г/т) | |= уу

к=11=1

Щ1 /т) Ф* (х* /т -т)) *2/Т -т)

2! *2

г1/Т)

ЛЛ | ф/2) /х* /Т - т)) |

< УУIЩ1 /т )\-^—-*2-!---------------^ < к,

к=1*=1 2-

то

I I Г(Т) | 11 | г2(5) 11 + I I уф) 11 < (К11 г(5) 11 +8) 11 г(5) 11< % 11 г(5) 11.

Введем функцию

ф(г ) = е-Л( А(Т )+В(Т ))Г| | г (г) | | ,

тогда неравенство (19) можно представить в виде

г

ф(г) < ф(Т) + ф(5)Ш5. (20)

0

Применяя к (20) неравенство Гронуолла - Беллмана, имеем

ф(г) < е%{г-Т )ф(Т).

Возвращаясь к нормам, приходим к неравенству

I | г (г) < е(Л(А(Т )+В(Т))+%»-Т )| | г (Т) 11. (21)

Из неравенства (21) следует, что если Л(А(Т) + В(Т)) + % < 0, то

траектория г (г, г (0)) решения задачи Коши (9), (11) не покидает шара В(0,5)

в течение промежутка времени г е [Т, 71].

Так как по определению устойчивости по Ляпунову величина 5 может быть взята достаточно малой, то при выполнении неравенства Л( А(Т) + В(Т)) < 0 найдется такое 5* и такой промежуток времени АТ*, что при начальном условии 11 г(0) 11< 5* и в течение промежутка времени [Т, Т + АТ*)] Л( А(Т) + В(Т)) + % < 0. Таким образом, при выполнении этих условий получено противоречие, и траектория г (г, г (0)) в момент времени Т не покидает шара В(0,5).

Покажем, что при выполнении при 0 < г < да следующих условий:

к=и=1

тривиальное решение системы уравнений (14) устойчиво.

В самом деле, из условия (б) следует равномерная ограниченность суммы

Следовательно, найдется такое 5*, что К5* < V /4. Тогда любая траектория решения уравнения (9), начавшаяся в шаре В(0, 5* ), ее не покидает.

Покажем, что условия (а) и (б) достаточные для равномерной асимптотической устойчивости.

Рассмотрим траекторию решения уравнения (9) при начальном условии ^(0), | | г(0) || = 5*, где 5* было определено выше. Тогда, как показано выше, существует такой промежуток времени АТ0, что при г е [0, АТ0 ]

Для момента времени Т1 = АТ0 также существует промежуток времени

АТ1 такой, что при г е[71, Т1 +АТ1] | |г(г) 11< е ш/4 | |г(Т1) 11. Следовательно,

а) Л( А(г) + В(г)) < -V, V > 0,

к=11 = 1

г(г)1|< е

-V?/4

г(0)

г(Т2) 11 < е V(А7о +АТ1)/4| |2(0)

Продолжая этот процесс, имеем

( к Л -V У.АТ, /4

(22)

к

Из неравенств (22) следует, что если Нт У.АТк = да, то Пт 11 г (г) 11 = 0.

к —>да^=0 г—>да

Так как АТк > 0 при всех к = 0,1,. ,,п, то имеются две возможности:

1) Нт у атк = да;

I=0

2) Нш уЩ = Т*.

I=0

В первом случае, как показано выше, имеет место равномерная асимптотическая сходимость.

Рассмотрим второй случай. Если | |г(Т*)| | = 0, то доказательство завершено. Пусть ||г(Т*)| | =0. Так как функция г(г) непрерывная, то

существует предел Нш | |г(г) 11=| |г(71) 11. Взяв г(Т*) в качестве начального

г ^Т*

приближения, убеждаемся, что существует промежуток времени [Т*,Т* +ДТ**], в течение которого ||г(г) 11< е-г(г-Т*)/4 ||г(71) 11. Обозначим через Т** максимальный промежуток времени, в течение которого

выполняется неравенство | |г(г) 11< е | |г(0) 11. Очевидно, | |г(Т**)| | = 0, так

как в противном случае предыдущее неравенство может быть продолжено на промежуток [Т**,Т** + ДТ**].

Таким образом, при выполнении второй возможности 11 г(Т*) 11 = 0. Осталось рассмотреть общий случай, когда выполняются условия

I |ф( 1)(х)1С[0,ю] < В1, 1

Как показано выше, для равномерной асимптотической устойчивости достаточно потребовать выполнения условий:

а) Л(А(г) + В(г)) < -V, V >0, 0 < г <<х>;

п п ю | фОО (г ) |

б) УУУ I М!ы(г) I 1 л т < К, К = соп81, 0 < г <ю. к=11=11=2 1

Очевидно,

1 Р- 72^11з'у л/2л/

Следовательно, при В < е 1

УУУ, ) 11ф(з)(г-т)| < К

УУуК/ (г )|-^Р-------------< К.

к=11=11=2 1

Таким образом, доказано следующее утверждение.

Теорема 1. Пусть выполнены условия:

а) Л( А(г) + В (г)) < -V, V >0, 0 < г <<х>;

п п ю I ф(1) (г - т) I

б) УУУ I М!ы (г Л —— -----------< К, К = соп8г, 0 < г <ю.

к=11=11=2 1

Тогда неподвижная точка нейронной сети (3) равномерно асимптотически устойчива.

Замечание. Аналогичное утверждение справедливо и для нейронных сетей (4).

3. Устойчивость нейронных сетей с разрывными функциями активации

В данном разделе исследуется устойчивость нейронных сетей, функционирование которых описывается дифференциальными уравнениями вида (3) в предположении, что функции фу (и), у = 1,2, ..,п, —ю < и < ю, непрерывны всюду, за исключением конечного числа точек, в которых они имеют разрывы первого рода. Не ограничивая общности, можно считать, что имеется только одна точка разрыва. Пусть функции фу (и) имеют вид

где и* - точка разрыва.

* **

На функции фу (и), фу (и) наложим следующие условия:

*

1) функции фу (и), у = 1,2, ,.,п, непрерывно продолжаются на интервал

[и*, ю);

**

2) функции фу (и), у = 1,2,..,п, непрерывно продолжаются на интервал (—ю, и*].

В работе автора [6] (см. также [8]) исследована устойчивость НСХ без задержки при условии, что функции активации разрывны. В качестве аппарата исследования были использованы дифференциальные включения.

Использование дифференциальных включений для исследования устойчивости НСХ с запаздыванием приводит к сложным критериям устойчивости. Поэтому ниже будет использован другой подход.

Будем считать, что функции фу (и), у = 1,2, ,.,п, разлагаются

**

в равномерно сходящиеся ряды в интервале [0,ю), а функции фу (и), у = 1,2,. ,,п, разлагаются в равномерно сходящиеся ряды в интервале (—ю,0].

Повторяя рассуждения, проведенные в предыдущем разделе, систему уравнений (3) приведем к виду (13).

Дальнейшее исследование будем проводить при следующих условиях:

*

1) разрыв в точке и имеет только одна из функций фу (и), у = 1,2,., п. Для определенности положим, что разрывной является функция ф1(и). Нетрудно видеть, что это ограничение не уменьшает общности рассуждений и введено только для простоты формулировок;

*

2) если и =0, то функция ф1(и) определяется выражением

Для определенности ниже полагается и = 0 и используется формула (23). При сделанных предположениях систему уравнений (13) удобно представить в виде двух систем уравнений:

Фі(и)

Фу (и ),0 < и < да,

Фі (и),-да < и < 0.

dzk (t) /ч / ч n / ч^ Ф (3 )l (zi (t _т)) j

—— = ~ak(t)zk(t) + Zwkl(t)Z------------------------l-zL (t _ т), k = 1, ■2,‘'','n,

dt l=1 j=1 j

*

при zi (t _т) > u ,

да -.-*(j)

= _ak (t) Zk (t) + ZWkl (f------------j-------- z{ (t-x), к = 1,2,.,«,

dt l=1 j=1 J-

*

при Zi (t _x) < M .

По аналогии с разделом 2 введем матрицы

A(T), 5i(T), B2(T), Ti(T), Г2(Т),

где

A(T) = {a j (x)}, ati (T) = -a, (T), i = 1,2,.,n, агу = 0, i = j, i, j = 1,2,..., n; Bi(T) = {pj(T)}, P*1 (T) = Z Ф/()(Z1 (T _x)), pj(T) = 0, j = 1, i, j = 1,2,.,n;

" фГ(1)(zi(T _x))

l=1

*(1)(

B2(T) = {Py (T)}, Рг1 (T) = Z

l=1 1!

Pij (T) = 0, j = 1, i, j = 1,2,...,n;

* * " ф,^2^(zl (T _т)) *

Гl(T) = {у*(T)}, Уіі(T) = --, У*(T) = 0, j = 1, i,j = 1,2,.,n;

l=1 2!

^(T)^**^}, У*1*(T) = Z Фі ( )(z/(T _т)),

l=1 2!

Уу (T) = 0, j = 1, i, j = 1,2,.,n.

Справедливо следующее утверждение.

Теорема 2. Пусть выполнены условия:

а) Л(A(t) + Bj (t)) <_v, v >0, 0 < t <да, i = 1,2;

n n I Ф*( j) (t _ x) I

б) zzz 1 wki(t)| ——<L, 0<t<да;

k=11=1 j=2 j-

n n | Ф*( j) (t _ x) |

в) HZ | Wki (t) | —l------;-----< L, 0 < t <да, L = const, 0< L < да.

k=1l=1 j=2 j•

Тогда неподвижная точка нейронной сети (3) с точками разрыва функций активации равномерно асимптотически устойчива.

Доказательство. Обозначим через 5* положительное число, удовлетворяющее неравенству L5* < v /4. Покажем, что любая траектория

z(t, Z0), Z0 е B(0,5*), начинающаяся в шаре B(0,5*), не покидает этого шара. Доказательство проведем от противного. Предположим, что в момент времени T траектория z(t, zq) покидает шар B(0,5*), проходя через точку z*, | | z* || = 5*. Предположим также, что | Z1(T,zq) |= 5*, | z, (T,zq) |< 5*,

i = 2,3, ...,n.

Будем считать, что Z1(T,zq) > и*.

Тогда при таких значениях t, что Z1(T, zq)> и* систему уравнений (13) можно представить в виде

dZ(t) = A(t) z (t) + B1 (t) z (t) + Г (t) z2 (t) + У (t). (24)

dt

При доказательстве теоремы 1 было показано, что при выполнении условий (а) и (б) норма 11 z(t) 11 монотонно убывает и 11 z(t) 11< 11 5* 11. Так как по

условию теоремы функция dz(t) равномерно ограничена, то функция z(t)

dt

* *

непрерывна и существует такой момент времени T , что Z1(T ) = и*. При t > T* динамика нейронной сети описывается уравнением

^ = A(t) z (t) + B2 (t) z (t) + Г 2 (t) z2 (t) + У (t), (25)

dt

а в качестве начального значения можно взять любое значение zq,

удовлетворяющего условиям: zq < и*, zq е B(0,5*), а в качестве начального

** ** *

момента времени можно взять T , T > T . Это предположение законно,

*

так как в момент времени T о траектории z(t,zq) известно лишь то, что

* *

I | z(t,Zq) || монотонно убывает и z(T ,Zq) е B(0,5 ).

Повторяя применительно к системе (25) рассуждения, приведенные при доказательстве теоремы 1, убеждаемся в равномерной сходимости | |z(t) 11 к нулю.

Теорема доказана.

Список литературы

1. Hopfield, J. J. Neural networks and physical systems with emergent collective computational abilities / J. J. Hopfield // Procceding of the National Academy of Science. - 1982. - V. 79. - P. 1554-2558.

2. Hopfield, J. J. Neurons with graded response have collective computational properties like those of two-state neurons / J. J. Hopfield // Procceding of the National Academy of Science. - 1984. - V. 81. - P. 3088-3092.

3. Ye Hui. Wang Kaining Global and local stability of Hopfield neural networks with delay / Ye Hui, Michel Antiny N. // Phys. Rev. E 50. - 1994. - № 5. - P. 4206-4213.

4. Bhaya, A. Existence and stability of a unique equilibrium in continuous-valued discrete-time asynchronous Hopfield neural networks / A. Bhaya, E. Kaszkurewicz, V. S. Kozyakin // IEEE Transactions on Neural Networks. - 1996. - V. 7 (3). - P. 620628.

5. Cao, J. D. Global asymptotic stability of a general class of recurrent neural networks with time-varying delays / J. D. Cao, J. Wang // IEEE Transactions on Circuits and Systems-I. - 2003. - V. 50 (1). - P. 34-44.

6. Бойков, И. В. Устойчивость нейронных сетей Хопфилда / И. В. Бойков // Автоматика и телемеханика. - 2003. - № 9. - С. 124-140.

7. Wu, A. Global Asymptotical Stability of Delayed Impulsive Neural Networks without Lipschitz Neuron Activatios / A. Wu, J. Zhahg, C. Fu // European Journal of Pure and Applied Mathematics. - 2010. - V. 10, № 5. - P. 806-818.

8. Бойков, И. В. Устойчивость решений дифференциальных уравнений / И. В. Бойков. - Пенза : Изд-во ПГУ, 2008. - 244 с.

9. Далецкий, Ю. А. Устойчивость решений дифференциальных уравнений в банаховых пространствах / Ю. А. Далецкий, М. Г. Крейн. - М. : Наука, 1970. -534 с.

10. Деккер, К. Устойчивость методов Рунге-Кутты для жестких нелинейных дифференциальных уравнений / К. Деккер, Я. Вербер. - М. : Мир, 1988. - 334 с.

Бойков Илья Владимирович

доктор физико-математических наук, профессор, заведующий кафедрой высшей и прикладной математики, Пензенский государственный университет

Boykov Ilya Vladimirovich Doctor of physical and mathematical sciences, professor, head of sub-department of higher and applied mathematics,

Penza State University

E-mail: math@pnzgu.ru

УДК 518.5 Бойков, И. В.

Устойчивость нейронных сетей Хопфилда с запаздыванием /

И. В. Бойков // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2012. - № 2 (22). - С. 85-97.