www.volsu.ru
DOI: https://doi.org/10.15688/mpcm.jvolsu.2018.1.2
УДК 517.521.1 ББК 22.161
СХОДИМОСТЬ РЯДОВ НЕЧЕТКИХ ЧИСЕЛ С УНИМОДАЛЬНОЙ ФУНКЦИЕЙ ПРИНАДЛЕЖНОСТИ
Илья Васильевич Гермашев
Доктор технических наук, профессор кафедры математического анализа и теории функций, Волгоградский государственный университет [email protected], [email protected]
просп. Университетский, 100, 400062 г. Волгоград, Российская Федерация
Евгения Вячеславовна Дербишер
Кандидат технических наук, доцент кафедры аналитической, физической химии и физико-химии полимеров,
Волгоградский государственный технический университет [email protected]
просп. им. В.И. Ленина, 28, 400005 г. Волгоград, Российская Федерация
Вячеслав Евгеньевич Дербишер
Доктор химических наук, профессор кафедры технологии высокомолекулярных и волокнистых материалов, Волгоградский государственный технический университет derbisher-28091945@yandex. т
просп. им. В.И. Ленина, 28, 400005 г. Волгоград, Российская Федерация
Наталья Юрьевна Куликова
Кандидат педагогических наук, доцент кафедры информатики и методики преподавания информатики,
Волгоградский государственный социально-педагогический университет [email protected]
просп. им. В.И. Ленина, 27, 400005 г. Волгоград, Российская Федерация
Аннотация. При решении прикладных задач методами нечеткой математики часто возникает необходимость проводить операции над нечеткими числами. Вычисление таких выражений требует довольно сложных манипуляций и существенных усилий. Например, использование L-R нечетких чисел позволяет получить формулы для вычисления сложения и вычитания нечетких чисел, но умножение и деление удается вычислять лишь приближенно. Для реализации арифметики трапециевидных чисел используются /-нормы и интервальная математика. Представлены нечеткие числа с унимодальной функцией принадлежности, нашедшие применение при нечетком анализе таких предметных областей, как экология, химическая технология. Знание о поведении таких числовых рядов позволит более эффективно анализировать подобные математические модели. Поскольку операция сложения ассоциативна, то это позволяет эффективно анализировать числовые ряды. Рассмотрена задача о сходимости ряда нечетких чисел с унимодальной функцией принадлежности. Получены формулы для вы-
о <м
л «
§
& М
т &
в «
ю а
<и «
т
м &
а «
ю а
<и «
т
К «
<и
а
числения арифметических операций с последовательностями нечетких чисел. Обобщена формула сложения для последовательности нечетких чисел. Исследована сходимость рядов нечетких чисел. При этом получены условия, при которых ряд расходится. Установлено, что вычисления с большим числом нечетких данных может приводить к неопределенности результата. Это обусловлено тем, что сумма ряда имеет функцию принадлежности, тождественно равную единице. Это означает полную неопределенность результата и позволяет сделать заключение о расходимости ряда. Полученные результаты для вычисления арифметических операций позволяют применять нечеткий анализ для исследования сложных систем, например, в экологии или в химической технологии. Предлагаемый подход носит достаточно общий характер и может применяться для довольно широкого класса исследований с применением методов нечеткого анализа. В этом случае имеет смысл ограничить длину последовательности нечетких чисел исходя из компромисса точности вычислений и степени неопределенности результата.
Ключевые слова: нечеткие числа, арифметические операции, ассоциативность, ряд нечетких чисел, сходимость ряда.
Введение
При решении прикладных задач методами нечеткой математики часто возникает необходимость проводить операции над нечеткими числами. Вычисление таких выражений требует довольно сложных манипуляций и существенных усилий. Для решения подобных задач обычно пользуются тем, что вид функции принадлежности, как правило, заранее неизвестен и, следовательно, выбор какой-либо функции не лучше и не хуже, чем выбор другой.
В таком случае разумно выбрать такую функцию, для которой вычисления операций над нечеткими числами подчиняются определенным законам. Например, использование L-R нечетких чисел позволяет получить формулы для вычисления сложения и вычитания нечетких чисел, но умножение и деление удается вычислять лишь приближенно [5; 6]. Предлагаемые методы вычисления арифметических операций базируются на комбинации принципа обобщения Заде и интервальной математики.
В работе [9] для реализации арифметики трапециевидных чисел использовались /-нормы и интервальная математика.
Наши исследования также базируются на принципе обобщения Заде. Но при вычислении произведения и частного мы отошли от этого принципа, благодаря чему удалось обеспечить ассоциативность и дистрибутивность [2].
Ассоциативность позволяет корректно вычислять ряды чисел, поскольку порядок сложения не влияет на результат. Задача вычисления ряда чисел имеет также и прикладное значение. В качестве примера можно привести экологическую проблему [3] или анализ технических систем [4], при решении которых возникают ряды нечетких чисел, и знание о поведении таких числовых рядов позволит более эффективно анализировать подобные математические модели.
В данной работе исследуется сходимость ряда нечетких чисел.
1. Предварительные сведения
Далее рассматривается класс функций принадлежности, который позволяет производить операции над нечеткими числами на регулярной основе [8].
Определение 1.
Пусть/ М [0; 1],/е ЩЖ),
Здб1: /(д) = тах/(х) = 1,
лгеР
35 > 0, И > 0: _Дх) > И д - 5 < х < д + 5,
Ах) = где = Ъ\х - д)2 + с, Ь2 > О,
тогда класс таких функций Дх) обозначим через 91(М_). Здесь через (/(Ж) обозначается класс строго унимодальных функций в смысле, изложенном в [1]. В работе [8] было показано, что параметр с является инвариантом относительно Ь2 и q, то есть если заданы числа
щ{х) =g{b¡{x-ql)2 +сг), и2(х) =ё(Ъ1(х-д2У +с2) е 9Щ),
то с1 = с2. Поскольку в дальнейшем будет использоваться одна и та же функция g(x), то везде будем писать просто с.
Будем рассматривать нечеткие числа с функцией принадлежности из 91 (М.). Для таких чисел в работе [2] была введена операция сложения: для операции и = и1 + и2 выполнено
q = qi + q2, b 2 =
bb2
(Ь1 + |b2| )2
где и, и1, ип е 91(11).
2. Сумма ряда нечетких чисел
Пусть задан ряд нечетких чисел и1, и2, ..., ип, ... е 91(М_), причем мДх) = g(b2(x-qj)2 +с),
да
1 = 1, 2, ... Будем исследовать сумму у = ^и1 на сходимость.
¿=1
Для этого необходимо рассмотреть сходимость последовательности частичных сумм
п
уп=Еи, п = 1 2, .
¿=1
Поскольку сложение ассоциативно, то вопрос сходимости последовательности уп(х) = g(bvn(х~ Чу„)2 + с) сводится к сходимости последовательностей qn и Ьп2.
п да
У™ = ^ представляет собой последовательность частичных сумм ряда ^ qi веществен-¿=1 ¿=1 ных чисел, поэтому здесь можно применить общеизвестные методы математического анализа и далее рассматриваться не будет.
Со вторым параметром немного сложнее. Выше получена формула для вычисления пара-
п
метра Ь2 суммы двух нечетких чисел. Получим аналогичную формулу для суммы ^ и 1, а именно
¿=1
п
да
b2 =-
( \ n n
Z nb-
1=1 j=1 V J*' 7
(1)
Докажем (1) по математической индукции.
Выше было показано, что (1) верно для п = 2. Пусть (1) верно для п - 1. Покажем, что (1)
bi-1 =
n V
верно и для п. Имеем для иуп_1 = ^и
( V
n-1 n-1
Z ni b
'=1 J=1 V J*' 7
. Поскольку uvn = uvn1 + un. Тогда
2
i=1
П b2
b2 =
П b2
П b2
П b2
С n-1
( \2 n-1 n-1
z п b
1=1 j=1
V У
П b+Ibl zn lb
,=1
-1 n-1 2
nj
,=1 j=1
j*i
ZП bj
,=1 j=1
j*i
2
n-1 n-1 n-1
П N+b IZ П bj
'=1 1=1 j=1 V у
f \ nn
z nb
,=1 j=1
V ■>*' У
Таким образом, формула (1) верна.
Теперь вычислим lim b^n, для чего преобразуем элемент последовательности b^n.
П b2
b2 =-
1
( \ n n
Z n|bj
'=1 j=1 V ■>*' У
1
^П bj
П b '=1 %
V ,=1
Полагая, что
( +да 1
z Л
M \b\
V '=4 Л у
= +да, переидем в равенстве b2 = 1
vz h у
к пределу при n — да и получим
f n , V
Z г
« b
V '=4 'I у
lim bln = lim"
n—>да n—>да
^ „ i V
= 0
Z м
Получили, что последовательность частичных сумм vn(х) = g(bln(x - qvn)2 + c) при n — да стремится к g(0 • (x - lim qvn )2 + c) = g(c) = 1. Таким образом, в случае сходимости последова-
n—да
тельности частичных сумм q , lim vn (х) = 1. Это означает полную неопределенность, а значит
n—да
да
расходимость ряда v = Z U. Если же lim qn = +да, то
2
1
,=1
2
2
1
v(x) = g(0 • (х - lim qvn )2 + c) = g(0 • (+x) + c).
n—да
Неопределенность 0 • (+да) может быть равна либо неотрицательной константе, либо +да. В любом случае, поскольку значения функции ограничены отрезком [0; 1] (так как g(b2(x - с/)2 + с) е 91(IRL)), имеем
v(x) = g(0 ■ (+») + c) = d e [0; 1].
Значит и в случае lim qvn = +да имеем полную неопределенность. Тем самым доказана сле-
n—да
дующая теорема.
Теорема 1. Пусть задана последовательность нечетких чисел ui (х) = g(b ] (х - qt )2 + c) е
i +да 1 Л
91 (М.) таких, что
V — = +<», тогда ряд Vu расходится.
л b J '=1
Заключение
Полученные результаты для вычисления арифметических операций позволяют применять нечеткий анализ для исследования сложных систем, например, в экологии [3] или в химической технологии [4; 7]. Хотя полученные результаты применимы только для функций принадлежности из класса 91(М_), но выбор функции принадлежности не носит определяющего значения, что было показано в работе [8]. Поэтому предлагаемый подход носит достаточно общий характер и может применяться для довольно широкого класса исследований с применением методов нечеткого анализа.
Но надо иметь в виду, что вычисления с большим числом нечетких данных (как было показано в теореме 1) может вести к неопределенности результата. В этом случае имеет смысл ограничить длину последовательности нечетких чисел исходя из компромисса точности вычислений и степени неопределенности результата.
СПИСОК ЛИТЕРА ТУРЫ
1. Васильев, Ф. П. Численные методы решения экстремальных задач / Ф. П. Васильев. - М. : Наука, 1988.- 552 с.
2. Гермашев, И. В. Вычисление арифметических операций над нечеткими числами для анализа сложных систем / И. В. Гермашев, Е. В. Дербишер, В. Е. Дербишер // Математические методы в технике и технологиях - ММТТ-29 : сб. тр. XXIX Междунар. науч. конф. : в 12 т., С.-Петерб. гос. технол. ин-т (техн. ун-т), 31 мая-3 июня 2016 г. - СПб. : Изд-во С.-Петерб. гос. технол. ин-та, 2016. - Т. 2. - С. 63-65.
3. Гермашев, И. В. Модель оценки сукцессионного возраста экосистемы водоемов / И. В. Гермашев, Г. Ю. Клинкова // Математические методы в технике и технологиях : сб. тр. 27-й междунар. конф., г. Тамбов, 3-5 июня 2014 : в 12 т. - Тамбов : Изд-во Тамб. гос. техн. ун-та, 2014. - Т. 7. - С. 5-7.
4. Оценка качества технических объектов с использованием нечетких множеств / И. В. Гермашев, В. Е. Дербишер, Т. Ф. Морозенко, С. А. Орлова // Заводская лаборатория. Диагностика материалов. - 2001. - Т. 67, №№ 1. -С. 65-68.
5. Dubois, D. Operations on fuzzy numbers / D. Dubois, H. Prade // Int. J. Systems Sci. - 1978. - Vol. 9, .№ 6. -P. 613-626. - DOI: 10.1080/00207727808941724.
6. Elementary Operations on L-R Fuzzy Number / A. Alim, F. T. Johora, S. Babu, A. Sultana // Advances in Pure Mathematics. - 2015. - №> 5. - P. 131-136. - DOI: 10.4236/apm.2015.53016.
7. Germashev, I. V Fuzzy Optimization of Polymer Compositions / I. V Germashev, V E. Derbisher // Theoretical Foundations of Chemical Engineering. - 2001. - Vol. 35, №> 4. - P. 418-421. - DOI: 10.1023/A:1010443607682.
8. Germashev, I. V Properties ofunimodal membership functions in operations with fuzzy sets / I. V Germashev,
V E. Derbisher // Russian Mathematics (Iz. VUZ). - 2007. - Vol. 51, №> 3. - P. 73-76. - DOI: 10.3103/S1066369X07030115.
9. Koroteev, M. V Arithmetic of fuzzy numbers in generalized trapezoidal form / M. V Koroteev, P. V Terelyanskii,
V A. Ivanyuk // Journal ofMathematical Sciences. - 2016. - Vol. 216, №> 5. - P. 696-701. - DOI: 10.1007/s10958-016-2931-x.
REFERENCES
1. Vasilyev F.P. Chislennye metody resheniya ekstremalnykh zadach [Numerical methods of extremum problems solution]. Moscow, Nauka Publ., 1988. 552 p.
2. Germashev I.V, Derbisher E.V, Derbisher VE. Vychislenie arifmeticheskikh operatsiy nad nechetkimi chislami dlya analiza slozhnykh sistem [Calculation of arithmetic operations on fuzzy numbers for analysis of complex systems]. Matematicheskie metody v tekhnike i tekhnologiyakh - MMTT-29: sb. tr. XXIX Mezhdunar. nauch. konf.: v 12 t., S.-Peterb. gos. tekhnol. in-t (tekhn. un-t), 31 maya - 3 iyunya 2016g. [Mathematical Methods in Engineering and Technology - MMTT-29: Collected Works of the 29th International Academic Conference (Saint Petersburg, May 31 - June 3, 2016): in 12 vols.]. Saint Petersburg, SPbGTI Publ., 2016, vol. 2, pp. 63-65.
3. Germashev I.V., Klinkova G.Yu. Model otsenki suktsessionnogo vozrasta ekosistemy vodoemov [Model of estimation of successional age of acquatic ecosystem]. Matematicheskie metody v tekhnike i tekhnologiyakh: sb. tr. 27-y mezhdunar. konf., g. Tambov, 3-5 iyunya 2014: v 12 t. [Mathematical Methods in Engineering and Technology - MMTT-29: Collected Works of the 27th International Academic Conference (Tambov, June 3-5, 2014): in 12 vols.]. Tambov, TGTU Publ., 2014, vol. 7, pp. 5-7.
4. Germashev I.V, Derbisher VE., Morozenko T.F., Orlova S.A. Otsenka kachestva tekhnicheskikh obyektov s ispolzovaniem nechetkikh mnozhestv [The Assessment of Technical Objects Using Fuzzy Sets]. Zavodskaya laboratoriya. Diagnostika materialov [Industrial Laboratory. Diagnostic of Materials], 2001, vol. 67, no. 1, pp. 65-68.
5. Dubois D., Prade H. Operations on fuzzy numbers. Int. J. SystemsSci., 1978, vol. 9, no. 6, pp. 613-626. DOI: 10.1080/00207727808941724.
6. Alim A., Johora F. T., Babu S., Sultana A. Elementary Operations on L-R Fuzzy Number. A dvances in Pure Mathematics, 2015, no. 5, pp. 131-136. DOI: 10.4236/apm.2015.53016.
7. Germashev I.V., Derbisher V.E. Fuzzy Optimization of Polymer Compositions. Theoretical Foundations of Chemical Engineering, 2001, vol. 35, no. 4, pp. 418-421. DOI: 10.1023/A:1010443607682.
8. Germashev I.V., Derbisher V.E. Properties of unimodal membership functions in operations with fuzzy sets. Russian Mathematics (Iz. VUZ), 2007, vol. 51, no. 3, pp. 73-76. DOI: 10.3103/S1066369X07030115.
9. Koroteev M.V., Terelyanskii P.V., Ivanyuk VA. Arithmetic of fuzzy numbers in generalized trapezoidal form. Journal of Mathematical Sciences, 2016, vol. 216, no. 5, pp. 696-701. DOI: 10.1007/s10958-016-2931-x.
CONVERGENCE OF SERIES OF FUZZY NUMBERS WITH UNIMODAL MEMBERSHIP FUNCTION
Ilya Vasilyevich Germashev
Doctor of Technical Sciences,
Professor, Department of Mathematical Analysis and Function Theory, Volgograd State University [email protected], [email protected]
Prosp. Universitetsky, 100, 400062 Volgograd, Russian Federation
Evgeniya Vyacheslavovna Derbisher
Candidate of Technical Sciences,
Associate Professor, Department of Analytical, Physical Chemistry and Physico-Chemistry of Polymers,
Volgograd State Technical University
Prosp. Lenina, 28, 400005 Volgograd, Russian Federation
Vyacheslav Evgenyevich Derbisher
Doctor of Chemical Sciences, Professor, Department of High-Molecular and Fibrous Materials Technology, Volgograd State Technical University derbisher-28091945@yandex. ru
Prosp. Lenina, 28, 400005 Volgograd, Russian Federation
Natalya Yuryevna Kulikova
Candidate of Pedagogical Sciences, Associate Professor, Department of Computer Science and Methods
of Computer Studies Teaching,
Volgograd State Social-Pedagogical University
Prosp. Lenina, 27, 400005 Volgograd, Russian Federation
Abstract. Solving the applied problems by the methods of fuzzy mathematics frequently generates the need to conduct operations on fuzzy numbers. The calculation of such expressions requires quite complex manipulations and a serious effort. For example, addition and subtraction formulae can be obtained by L-R fuzzy numbers, but this approach enables to calculate multiplication and division only approximately. ¿-norms and interval mathematics are used to implement the arithmetics of trapezoidal numbers. We present fuzzy numbers with unimodal membership functions that can be used for fuzzy analysis in such subject fields as ecology and chemical technology. Some knowledge of behavior of these series enable us to analyze such mathematical models more effectively. The associativity of addition enables to analyze number series effectively. The problem of convergence of series of fuzzy numbers with unimodal membership function is considered. The formulae for calculating arithmetic operations on sequences of fuzzy numbers are obtained. We generalize the addition formula for sequences of fuzzy numbers. We investigate convergence of series of fuzzy numbers. The conditions for divergence of a series are given. It is shown that calculations with large amount of data may cause an indefinite result. The reason of this lies in the fact that a membership function of a sum of the series is identically equal to unit. This means the complete indefiniteness of the result and enables to make a conclusion about divergence of the series. The obtained results for evaluation of the arithmetic operations enable to use fuzzy analysis for investigation of complex systems in, for instance, ecology and chemical technology. The proposed approach is quite general and can be used for rather large class of studies using the methods of fuzzy analysis. In this case it makes sense to limit the length of sequences of fuzzy numbers on the compromise of calculation accuracy and indefiniteness of the result.
Key words: fuzzy numbers, arithmetical operations, associativity, series of fuzzy numbers, convergence of a series.