CC BY
95
УДК 519.61
АНАЛИЗ ПОВЕДЕНИЯ ФУНКЦИЙ, ЗАДАННЫХ С ТОЧНОСТЬЮ ДО ИНТЕРВАЛА
В.И. Левин
Пензенский государственный технологический университет, Пенза, Россия уИвУ1п@таИ. ги
Аннотация
Рассмотрены существующие подходы к расчёту, анализу, синтезу и оптимизации систем в условиях неопределённости. Сформулирована и подробно описана задача вычисления и анализа поведения неполностью определённой функции, заданной с точностью до интервала возможных значений. Для решения этой задачи предложен алгоритм детерминизации, который позволяет свести задачу к двум аналогичным - для верхней и нижней граничных функций исходной неполностью определённой функции. В этом алгоритме используется аппарат интервальной математики и интервально-дифференциального исчисления. Выделены различные типы возможного поведения интервальных функций (постоянство, возрастание, убывание, расширение, сужение) и различные типы экстремальных точек этих функций (точка максимума, точка минимума, точка максимального расширения, точка минимального расширения). Доказаны теоремы, позволяющие выделять участки различного поведения интервальных функций и точки с различными видами их экстремума. Подробно описана работа предложенного алгоритма детерминизации, позволяющего анализировать поведение интервальных функций. Эта работа проиллюстрирована на конкретном примере.
Ключевые слова: оптимизация систем, неопределённость, детерминированная функция, интервальная функция, анализ поведения функций.
Введение
Современная наука и практика обработки информации успешно справляется с задачами исследования различных систем с полностью определёнными (детерминированными) параметрами. Эти задачи обычно формулируются как задачи расчёта, анализа и синтеза тех или иных функций с детерминированными параметрами, служащих соответствующими характеристиками изучаемых систем. Но на практике часто встречаются другие системы - системы с неточно известными, т.е. неполностью определёнными (недетерминированными) параметрами. Причины появления таких систем заключаются в естественной неопределённости, свойственной многим реальным процессам, происходящим в системах; в неточном задании параметров большинства систем из-за неизбежных погрешностей при их вычислении или измерении; в изменении во времени параметров систем; в необходимости или целесообразности совместного исследования целых семейств однотипных систем, имеющих одинаковые функции-характеристики и различающиеся лишь значениями параметров этих функций. Учёт неопределённости систем особенно важен при их проектировании, поскольку полная определённость в работе системы появляется лишь на последних этапах её создания.
Исследование введённых неопределённых систем формулируется в виде задач расчёта, анализа и синтеза различных функций с недетерминированными параметрами, служащих соответствующими характеристиками данных систем. Все эти задачи значительно сложнее их вышеупомянутых детерминированных аналогов, которые приходится решать при исследовании систем с детерминированными параметрами. Усложнение связано с тем, что алгебра недетерминированных чисел сложнее алгебры детерминированных чисел.
В настоящей статье рассматриваются задачи расчёта и анализа неточно заданных (недетерминированных) функций интервального типа. В качестве математического аппарата используется интервальная алгебра и интервально-дифференциальное исчисление.
1 Постановка задачи
Рассмотрим обычную (детерминированную) функцию одной независимой переменной
а) у=т,
однозначно отображающую заданное множество X = {х} независимых переменных х в заданное множество У = {у} зависимых переменных у в соответствии с некоторым законом /, который и называется функцией. Хорошо известно, что задача расчёта (вычисления значений) функции (1) решается с помощью адекватного этой задаче математического аппарата алгебры вещественных чисел, при использовании подходящих методов вычисления, а задача анализа поведения функции (1) - с помощью адекватного ей аппарата классического дифференциального исчисления [1].
Рассмотрим теперь недетерминированную (конкретно, интервальную) функцию одной независимой переменной [2]
(2) У =/(*),
однозначно отображающую заданное множество X — {х} независимых вещественных (как и в (1)) переменных х в заданное множество У={у} зависимых переменных-интервалов У - в соответствии с законом /, который и называется интервальной функцией. По
определению (2), любую интервальную функцию f можно представить в виде пары обычных функций f2
(3) / = {/!, ЛЬ
которые имеют вид
(4) У1=Мх\ у2=/2(х).
Из соотношений (3), (4) видно, что интервальная функция f эквивалентна паре обычных функций , /9, из которых первая однозначно отображает заданное множество X = {х} независимых переменных х функции / в множество }, = нижних границ интервалов ? = [}'|.}'2] - зависимых переменных этой функции, а вторая однозначно отображает то же множество X = {х} в множество Г2 = ¡12] верхних границ интервалов у - [у,, у-, ] - зависимых переменных функции.
Задача настоящей работы заключается в построении двух систематических процедур (алгоритмов), связанных с изучением интервальных функций вида (2). А именно:
■ процедуры расчёта (вычисления значений) интервальной функции;
■ процедуры анализа поведения интервальной функции.
2 Решение задачи вычисления интервальной функции
Начнём с решения задачи расчёта (вычисления значений) интервальной функции. Здесь возможны два случая.
Случай 1. Интервальная функция задана в разделённом виде, в котором верхняя и нижняя границы интервального значения функции выражены каждая по отдельности. Этот вид представления интервальной функции вытекает из соотношений (2)-(4). Именно, из (2), (3) следует явное представление интервальной функции в виде интервала
(5) \УъУг\ = Шх\№\,
границы которого согласно (5) выражаются формулами
(6) У1=.Ш, .у2=/2(х).
Итак, вычисление интервального значения у-[у^ут] интервальной функции (2), соответствующего значению х независимой переменной этой функции, осуществляется по алгоритму:
Шаг 1. Записываем вычисляемую интервальную функцию (2) в разделенном виде (5), (6) с помощью нижней / и верхней /2 граничных функций функции (2).
Шаг 2. Вычисляем нижнюю граничную функцию /, используя для этого какой-либо подходящий известный метод вычисления обычных (детерминированных) функций [3].
Шаг 3. Вычисляем соответствующую верхнюю граничную функцию /2, используя ту же методику, что и на шаге 2.
Шаг 4. Соединяя вычисленные значения нижней / и верхней /2 граничных функций, получим явное представление (5) вычисленной интервальной функции (2) в виде интервала.
Случай 2. Интервальная функция задана в неразделённом виде, т.е. в виде суперпозиции элементарных интервальных функций: интервального сложения и вычитания, умножения интервала на вещественное число, умножения и деления интервалов [4]. В этом случае перед собственно вычислением интервальная функция приводится к разделённому виду, после чего к функции применяется алгоритм случая 1. Приведение любой интервальной функции к разделённому виду можно осуществить с помощью основных формул интервальной математики, выражающих результаты элементарных преобразований интервалов [4]:
\.а1,а2~\ + [Ь1,Ь2~\ = [«! + Ъиа2 +62]; [а^М^А]^! ~Ъ2>а2
(7)
[ках, ка2 ], к > О,
Н^гМ^! А] = Н^гН1 АЛ А1
Пример. Привести в области х > Ок разделённому виду интервальную функцию
у = ([2,3]х + [1,2]х) • ([5,7]х + [4,6]х). Решение. Применяя к заданной интервальной функции последовательно третью, первую и четвёртую формулы (7), получим нужный вид функции
У = [УиУ2] = ([2х,3х] + [х,2х]) ■ ([5х,7х] + [4х,6х]) = [Зх,5х] • [9х,13х] = [пш( 3 • 9х2, 3 • 1 Зх2, 5 • 9х2, 5 ■ 1 Зх2), тах( 3 • 9х2, 3 • 1 Зх2, 5 • 9х2, 5 • 1 Зх2) = [27х2,65х2 ]. Таким образом, у1 = 27 х2,у2 = 65х2, и, наконец, разделённая форма заданной интервальной функции у = [ух,у2\ = [27х2,65х2] .
3 Решение задачи анализа поведения интервальной функции: сравнение интервалов
Перейдём к описанию уже упомянутой ранее (раздел 1) задачи анализа поведения интервальной функции. Постановка этой задачи аналогична постановке задачи анализа поведения обычной детерминированной функции и включает, в первую очередь, отыскание:
1) интервалов возрастания функции;
2) интервалов убывания функции;
3) интервалов постоянства значений функции;
4) точек максимума функции;
5) точек минимума функции.
Кроме того, постановка задачи анализа поведения интервальной функции может включать отыскание особых интервалов (особых точек) такой функции. Существование таких интервалов (таких точек) связано с интервальным характером этой функции. У обычных детерминированных функций такие интервалы (точки) отсутствуют.
Очевидно, что решение задач анализа поведения интервальной функции требует сравнения величин интервалов. В связи с этим ниже кратко изложены основные результаты теории сравнения интервалов [5, 6]. Данные результаты составляют теоретическую базу детермини-зационного подхода к принятию решений в условиях интервальной неопределённости. Теоретические основы других возможных подходов к принятию решений в условиях неопределённости можно найти в литературе [7-10]. Принятие решений в условиях неопределённости является важной составной частью онтологии проектирования [11].
Рассмотрим два интервала а - [а1за-,] и Ь = [/?, ,/?21. Попытаемся сравнить величины этих интервалов, рассматривая их как интервальные числа. Прямое сравнение интервалов ~ и Ь на основе отношений отдельных пар вещественных чисел (а,,^), где а1 ей , не все-
гда возможно. Действительно, в общем случае одни пары чисел будут находиться в отношении (я, > />;), а другие - в противоположном отношении (а; < ). Поэтому остаётся только реализовать сравнение интервалов на теоретико-множественном уровне, рассматривая каждый из интервалов как единое целое, неделимое на части. При этом операции нахождения максимума V и минимума л двух интервалов а-[а^ап] и Ъ - ,Ъ2] можно ввести в виде следующих теоретико-множественных конструкций
(8) а\/Ь-{а\/Ь\а&а,ЬеЬ}, а аЬ = {а лЬ\а .
Таким образом, взятие максимума (минимума) двух интервалов ~ и Ь определяется, согласно (8), как нахождение множества максимумов (минимумов) двух точных величин а и Ь , при условии, что эти величины пробегают все возможные значения соответственно из интервалов а~ и Ь . Теперь для того, чтобы интервалы а~ и Ь можно было сравнить по величине, при этом установив их отношение а > Ъ или а <Ъ , нужно, чтобы:
1) введённые операции V,а над этими интервалами существовали;
2) эти операции давали в результате один из операндов: а или Ь ;
3) указанные две операции были согласованы, т.е. если большим (меньшим) оказывается один из интервалов, то меньшим (большим) является другой из них.
Сформулированное условие сравнимости величин интервалов является, очевидно, необходимым и достаточным.
Нетрудно доказать, что условие согласованности операций V и а над интервалами всегда выполняется. Очевидно также, что эти операции существуют для любой пары Ь , причём результатом операции в общем случае оказывается некоторый новый интервал, отличный как от а , так и от Ь . Таким образом, необходимым и достаточным условием сравнимости интервалов а и Ъ оказывается условие, по которому операции ачЪ и а лЬ должны иметь своим результатом один из интервалов - а или Ь . Из этой формулировки условия сравнимости
интервалов выводятся различные его конструктивные формы, удобные для практического применения. Эти формы содержатся в нижеследующих теоремах 1 - 4.
Теорема 1. Для того чтобы два интервала а = [а1;а-,] и Ъ = [/),./?,] были сравнимы по величине и находились в отношении а > Ь , необходимо и достаточно выполнения условий
(9) ах>Ьу, а2>Ь2,
а для того чтобы эти интервалы были сравнимы по величине и находились в отношении а <Ъ , необходимо и достаточно выполнения условий
(10) ах<Ъъ а2 <Ъ2.
Из этой теоремы вытекает, что любые интервалы а, Ь сравнимы по величине (по отношению > или <) и находятся в этом отношении только тогда, когда в таком же отношении находятся их одноименные границы а1, Ь1 и а2, Ь2.
Значение теоремы 1 в том, что она сводит сравнение интервалов и выбор большего (меньшего) из них к очевидной операции сравнения границ указанных интервалов, являющихся вещественными числами.
Теорема 2. Для того чтобы два интервала а = [ах, ап ] и Ъ = [А,, Ь2 ] были несравнимы по величине (по отношению > или <), т.е. не находились в отношении а > Ь или а <Ь , необходимо и достаточно выполнения условий
(11) (а1<Ь1,а2>Ь2) или (Ьх < ах, Ъ2 > а2).
Интервалы а и Ь несравнимы по отношениям > и < только тогда, когда один из них полностью «накрывает» другой. Смысл теоремы 2 в том, что она выявляет существование случаев несравнимости интервалов по отношениям > и <, в отличие от обычных вещественных чисел, которые всегда сравнимы по этим отношениям. Несравнимость некоторых интервалов - естественный результат того, что интервальные числа, в отличие от обычных вещественных чисел, задаются не точно, а с неопределённостью (число принимает некоторое значение в заданном интервале, но при этом не уточняется, какое именно это значение).
Будем рассматривать теперь систему нескольких интервалов
(12) ах =[ап,ап1а2 =[а2Ьа22\,аъ =[а31,а32],...
Сравнение по отношениям >,< величин интервалов выписанной системы (12), рассматриваемых как интервальные числа, реализуется в результате попарного сравнения указанных интервалов, выполняемого в соответствии с теоремами 1 и 2. Главные результаты, получаемые этим путём, содержатся в нижеследующих теоремах 3 и 4.
Теорема 3. Для того чтобы в системе нескольких интервалов (12) существовал максимальный интервал, который находится со всеми остальными интервалами в отношении >, и этим интервалом являлся ~1, необходимо и достаточно, чтобы границы этого интервала были расположены относительно одноимённых границ всех остальных интервалов согласно условиям
<1з> {:::>
^12 — а22? а12—а32? а\2-а42>---
Теорема 4. Для того чтобы в системе нескольких интервалов (12) существовал минимальный интервал, который находится со всеми остальными интервалами в отношении <, и этим интервалом являлся а~1 , необходимо и достаточно, чтобы границы данного интервала были расположены относительно одноимённых границ всех остальных интервалов согласно условиям
(>4) {а:;
С1\ ^ 1 ? 1 ~ аъ 1' 1 ~ 1 ? •
а\2—а22> а\2~аЪ2> а\2—а42>
Как показывают теоремы 3 и 4, интервал является максимальным (минимальным) в системе интервалов только тогда, когда максимальны (минимальны) его нижняя граница - среди нижних границ всех интервалов и верхняя граница - среди верхних границ всех интервалов. Подобно случаю сравнения двух интервалов, сравнение произвольного числа интервалов не выявит экстремального интервала, если интервалы, входящие в систему, попарно несравни-
До сих пор мы рассматривали процедуры выделения, вообще говоря, нестрого максимального (нестрого минимального) интервала, основанные на теоретико-множественных операциях (8) вычисления нестрогого максимума (нестрогого минимума) двух интервалов. Аналогично этому вводятся процедуры выделения строго максимального (строго минимального) интервала, т.е. единственного интервала, являющегося максимальным (минимальным).
Будем считать равными по определению совпадающие интервалы, т.е. для произвольных интервалов а-[аьа2] и Ъ = условие их равенства вводится таким образом:
(15) (а=Ъ)<?>(а1=Ъ1,а2=Ъ2).
Из выражения (15) следует, что неравными являются интервалы, удовлетворяющие следующему условию:
(16) (а Ф Ъ) (ах Ф Ъх или а2 фЬ2).
Теперь определение того факта, что некоторый интервал а является строго максимальным из двух интервалов Ь можно записать в виде
(17) (а > Ь) (а VЬ =а,а лЬ = Ь,а Ф Ь),
аналогичным образом, определение того, что некоторый интервал а является строго минимальным из двух интервалов а~, Ь записывается в виде
(18) (а <Ь)<^-(а\'Ь =Ь,а /\Ь =а,афЬ).
Здесь V и л - теоретико-множественные операции (8) вычисления максимума и минимума двух интервалов.
Из формулировки условий (17), (18) сравнимости интервалов в виде строгих неравенств между ними можно вывести различные конструктивные формы этих условий, удобные для практики. Такие формы содержатся в теоремах 5-8, которые подобны теоремам 1-4, дающим удобные конструктивные формы сравнимости интервалов в виде нестрогих неравенств.
Теорема 5. Для того чтобы два интервала а = [с^.а^.Ь = [/>,./>-,] были сравнимы по величине и находились в отношении а >Ь , необходимо и достаточно выполнения условий
(19) (ах >Ъъа2 >Ь2) или (ах >Ьх,а2 > Ь2),
а для того чтобы эти интервалы были сравнимы по величине и находились в отношении а <Ъ , необходимо и достаточно выполнения условий
(20) (ах <Ьх,а2 <Ь2) или (ах <Ьх,а2 <Ь2).
Из теоремы ясно, что интервалы а и Ь сравнимы по величине (по отношению > или <) и находятся в указанном отношении лишь тогда, когда в том же отношении находятся их нижние границы а:, Ь: (при этом верхние границы а;, Ь; находятся в соответствующем не-
строгом отношении: для > это >, а для < это <) или же, наоборот, их верхние границы а2, Ь2 (при этом нижние границы а1, Ь1 находятся в соответствующем нестрогом отношении).
Теорема 6. Для того чтобы два интервала а =[а1,а0] и Ъ - [А,,Ь2] были не сравнимы по
величине (по отношению > или <), т.е. не находились в отношении а >Ь или а <Ъ , необходимо и достаточно выполнения условий
(21) (ах <Ьх,а2 >Ь2) или (Ьх <ах,Ь2 > а2) или (ах =Ьх,а2 =Ь2).
Итак, произвольные интервалы а и Ъ не сравнимы по отношениям > и < только в тех случаях, когда один из них полностью «накрывает» другой либо когда интервалы равны между собой. Значение теоремы 6 в том, что она показывает существование случаев несравнимости интервалов по отношениям > и < даже тогда, когда сравниваемые интервалы не равны между собой, а только «накрывают» один другой. Эта ситуация отличается от ситуации со сравнением вещественных чисел, где неравные числа всегда сравнимы по отношениям > и < .
Рассмотрим теперь систему нескольких интервалов (12). Сравнение по отношениям > и < величин интервалов системы (12), рассматриваемых как интервальные числа, реализуется путем попарного сравнения этих интервалов, в соответствии с теоремами 5 и 6. Основные результаты, получаемые этим путём, изложены в нижеследующих теоремах 7 и 8.
Теорема 7. Для того чтобы в системе нескольких интервалов (12) существовал максимальный интервал, который находится со всеми остальными интервалами в отношении >, и этим интервалом был а~1 , необходимо и достаточно, чтобы границы этого интервала были расположены относительно одноимённых границ всех остальных интервалов согласно условиям
(ап> а21, аи > а22) или (ап > а21, а^ > а22) (ап > а31, а12 > а32) или (ап > а31, а12 > а32) (ап > а41, а12 > а42) или (ап > а41, а12 > а42)
(22)
Теорема 8. Для того чтобы в системе нескольких интервалов (12) существовал минимальный интервал, который находится со всеми остальными интервалами в отношении <, и этим интервалом являлся а~1 , необходимо и достаточно, чтобы границы данного интервала были расположены относительно одноимённых границ всех остальных интервалов согласно условиям
(ап < а21, аи < а22) или (ап < а21, а^ < а22) (ап < а31, а12 < а32) или (ап < а31, а12,< а32)
(а11 а41, а12 а42) или (а11 а41, а12 а42)
(23)
4 Решение задачи анализа поведения интервальной функции. Основные теоремы и алгоритм
В предыдущем разделе изложен вспомогательный для задачи анализа поведения интервальной функции материал, связанный со сравнением интервальных величин. Теперь можно перейти к анализу собственно поведения интервальных функций.
Рассмотрим произвольную интервальную функцию (2). Будем считать, что эта функция задана в разделённом виде (5), (6). Это не ограничивает общности рассмотрения, так как функция, заданная в неразделённом виде, всегда может быть приведена к разделённому виду (см. раздел 2). Будем также полагать, что нижняя и верхняя граничные функции интерваль-
ной функции непрерывны и дифференцируемы. Сформулируем условия, при которых функция возрастает, убывает, остается постоянной, достигает максимума (минимума), ведёт себя иным способом.
По аналогии с обычными (детерминированными) функциями [1] введём понятия возрастания, убывания, постоянства, максимума и минимума интервальной функции.
Определение 1. Интервальная функция у = ./ (х) называется возрастающей на интервале (а,Ь), если для любых х1 и х2 из указанного интервала, для которых х1 < х2, выполняется неравенство /(х1) < /(х2).
Определение 2. Интервальная функция у = /(х) называется убывающей на интервале (а,Ъ), если для любых х1 и х2 из данного интервала, для которых х1 <х0, выполняется неравенство /(х1)> /(х2).
Определение 3. Интервальная функция у = / (х) называется постоянной на интервале (а,Ъ), если для любых х1 и х2 из этого интервала, для которых х1 < х-,, выполняется равенство 7(х1)=7(х2).
Определение 4. Точка х = х0 называется точкой максимума заданной интервальной функции у = /Хх), а само число /(х0) - максимумом этой функции, если для всех точек х из некоторой окрестности точки х0, не совпадающих с х0, истинно строгое неравенство
Определение 5. Точка х = х0 называется точкой минимума интервальной функции У = /(х), а число /(х0) - минимумом этой функции, если для всех точек х из некоторой окрестности точки х0 , не совпадающих с х0, выполняется строгое неравенство /(х0) < /(х).
Введём теперь понятия расширения и сужения интервальной функции, которые не применимы к обычным (детерминированным) функциям.
Определение 6. Интервальная функция у = /(х) называется расширяющейся на интервале (а,Ь), если для любых точек х1 и х2 из этого интервала, для которых А", < А",, интервал /(х;) полностью «накрывает» интервал /(х:).
Определение 7. Интервальная функция у = /(х) называется сужающейся на интервале (а,Ь), если для любых х1 и х2 из данного интервала, для которых х1 <х2, интервал / (х,) полностью «накрывает» интервал / (х;).
Определение 8. Точку х = х0 будем называть точкой максимального расширения интервальной функции у = /(х), а число /)(х0) = Уз (хо)— (хо) ~~ максимальной шириной указанной функции, если для всех точек х из некоторой окрестности точки х0, не совпадающих с х0 , интервал / (х0) полностью «накрывает» интервал / ( х) .
Определение 9. Точку х = х0 будем называть точкой максимального сужения интервальной функции у = /(х), а число ¿/(х0) = /2(х0) -/1(х0) - минимальной шириной функции /(*), если для всех точек х некоторой окрестности точки х0, не совпадающих с х0, интервал /(х) полностью «накрывает» /(х0 ) .
Сформулируем и докажем условия, которые определяют то или иное поведение интервальной функции.
Теорема 9. Для того чтобы интервальная функция у = /(х) являлась возрастающей на интервале (а, Ь), необходимо и достаточно, чтобы на указанном интервале её нижняя граничная функция ^(х) была возрастающей, а верхняя граничная функция f2(x) - неубывающей либо, наоборот, функция х) была возрастающей, а функция /¡( х) - неубывающей.
Доказательство. Представим интервальную функцию у = / (х) в интервальной форме (5): У ~ [/1 (хХ /2 С*")] • Возрастание данной функции на интервале (а,Ь) по определению 1 означает, что для любых х1, х2 из этого интервала, таких, что х, < х2, выполняется неравенство [ЛС^ХЛ(х1)] < [У1 (х2)'/2(х2)]' которое, по теореме 5, приводит к двум возможным вариантам: А(х1)<Мх2\ ./2(х,)</2(х2) или ./,(х,)^./,(х2), /2(х1)</2(х2).
Итак, либо на всём интервале (а, Ь) нижняя граничная функция /1(х) интервальной функции у = /(х) является возрастающей, а верхняя граничная функция /9(х) - неубывающей либо наоборот, f2(x) является возрастающей, /1(х) - неубывающей, что и требовалось доказать.
Теорема 10. Для того чтобы интервальная функция у = /(х) была убывающей на интервале (а,Ь) , необходимо и достаточно, чтобы на указанном интервале её нижняя граничная функция Л(х) была убывающей, а верхняя граничная функция ^(х) - невозрастающей либо, наоборот, функция f2( х) была убывающей, а функция /¡( х) - невозрастающей.
Доказательство аналогично доказательству теоремы 9, однако использует определение 2 вместо определения 1.
Теорема 11. Для того чтобы интервальная функция у = /(х) была постоянной на интервале (а, Ь), необходимо и достаточно, чтобы на этом интервале её нижняя х) и верхняя f2( х) граничные функции были постоянными.
Доказательство следует из определения интервала как множества всех вещественных чисел между заданными двумя числами - границами интервала, включая сами границы.
Теорема 12. Для того чтобы х = х0 была точкой максимума интервальной функции
У = /(х), а число / (х0) - максимумом этой функции, необходимо и достаточно, чтобы в указанной точке достигала максимума её нижняя граничная функция х) и не достигала минимума её верхняя граничная функция ^ (х) либо, наоборот, достигала максимума её верхняя граничная функция f2 (х) и не достигала минимума её нижняя граничная функция ^ (х).
Доказательство. Представим нашу интервальную функцию у = /(х) в интервальной форме (5): у - (х), (х)]. Существование максимума этой функции в точке х = х0 по определению 4 означает, что для всех точек х из некоторой окрестности точки х0, не совпадающих с х0, выполняется неравенство /(х0)>/(х) или, в интервальной форме [/1 (*о), /2 (*о)] > [/1 (*), /2 (х)], причём последнее неравенство, согласно теореме 5, эквивалентно условию
(/1 (*0) > Л (Х)> Л (хо) ^ /2 (*)) или (/1 (хо) ^ /1 (Х1 /2 (хо) > /2 (*)) •
Условия левой скобки показывают, что в точке х0 функция / (х) обращается в максимум, функция /;(х) при этом не обращается в минимум. Условия правой скобки говорят, что в точке х0 функция /; (х) обращается в максимум, а функция / (х) не обращается в минимум, что и требовалось доказать.
Теорема 13. Для того чтобы х = х0 была точкой минимума интервальной функции
У = /(х), а число / (х0) - минимумом этой функции, необходимо и достаточно, чтобы в указанной точке достигала минимума её нижняя граничная функция /:(х) и не достигала максимума её верхняя граничная функция /; (х) либо, наоборот, достигала минимума её верхняя граничная функция /; (х) и не достигала максимума её нижняя граничная функция / (х).
Доказательство теоремы 13 аналогично доказательству теоремы 12, но использует определение 5.
Теорема 14. Для того чтобы интервальная функция у = /(х) являлась расширяющейся на интервале (а,Ь), необходимо и достаточно, чтобы на этом интервале была убывающей её нижняя граничная функция /:(х) и была возрастающей её верхняя граничная функция /;(х) .
Доказательство. Для любых хьх2 из интервала (а.Ь), таких, что А", < А",, в силу расширения функции / на этом интервале должно выполняться условие: интервал /(х;) полностью «накрывает» / (х:). Выражая интервалы в интервальной форме У() = [У^(),()],л:2)= [У1 (х2)-Уг(х2)]' имеем условие «накрытия» интервалов:
/1(х2)</1(х1), /2(х2)>/2(х1).
Первое из неравенств показывает, что функция / (х) убывающая, а второе - что функция /;(х) возрастающая. Что и требовалось доказать.
Теорема 15. Для того чтобы интервальная функция у = / (х) была сужающейся на интервале (а, Ь), необходимо и достаточно, чтобы на данном интервале была убывающей её верхняя граничная функция /; (х) и была возрастающей её нижняя граничная функция /: (х).
Доказательство аналогично доказательству теоремы 14.
Теорема 16. Для того чтобы точка х = х0 являлась точкой максимального расширения интервальной функции у = /(х), а число Б(х0) =/2{х0)~/{(х0) максимальной шириной этой функции, необходимо и достаточно, чтобы в некоторой окрестности точки х0 слева функция у = /(х) была расширяющейся, а в некоторой окрестности точки х0 справа она была сужающейся.
Теорема 17. Для того чтобы точка х = х0 была точкой максимального сужения интервальной функции у = /(х), а число £/(х0) = У2 (хо)— У1 (хо) минимальной шириной данной функции, необходимо и достаточно, чтобы в некоторой окрестности точки х0 слева функция
у = /(х) была сужающейся, а в некоторой окрестности точки х0 справа она была расширяющейся.
Доказательства теорем 16 и 17 вытекают прямо из определений 8 и 9 точек максимального расширения и сужения интервальной функции.
Анализ поведения интервальной функции у = /(х), согласно изложенному в этом разделе материалу, всегда сводится к анализу поведения двух обычных детерминированных
функций: нижней /1(х) и верхней f2(x) граничных функций функции f (х). Это позволяет использовать для анализа поведения интервальных функций хорошо известные и разработанные методы анализа поведения обычных (детерминированных) функций, основанные на применении классического дифференциального исчисления [1]. При этом алгоритм анализа поведения произвольной интервальной функции может быть описан следующим образом.
Шаг 1. Проверка формы, в которой представлена интервальная функция у = /(х), подлежащая анализу. Если она неразделённая, т.е. не имеющая вид интервала У = [УъУг\ = [.АМэ/гМ]' гДе У\=МХ) и Уг= 1г{х) ~ соответственно нижняя и верхняя граничные функции заданной интервальной функции, то выполняем переход к шагу 2. Если она разделённая, т.е. имеющая указанный вид, то переход к шагу 3.
Шаг 2. Приведение функции у = /(х) из неразделённого вида к разделённому с помощью основных формул интервальной математики (7) (см. раздел 2).
Шаг 3. Анализ поведения нижней граничной функции У\-¡\{х) интервальной функции
у = /(х) с помощью известных методов анализа поведения обычных (детерминированных) функций, на основе классического дифференциального исчисления. В ходе анализа устанавливаем интервалы возрастания и убывания функции ^ и точки её максимумов и минимумов.
Шаг 4. Анализ поведения верхней граничной функции уг-¡г{х) интервальной функции выполняется теми же методами и по той же программе, что и предыдущий шаг.
Шаг 5. Составление сводной таблицы поведения граничных функций ух = ^(х), у0 = /9(х) путём заполнения в ней первых трёх строк (см. таблицу , в соответствии с результатом анализа поведения функций ^(х) и ^(х) (шаги 3, 4).
Шаг 6. Анализ сводной таблицы с помощью теорем 9-15, позволяющих идентифицировать последовательные интервалы (-со,х1),(х1,х2),...,(хи_1,хи),(хи,со) в ней как интервалы возрастания, убывания, расширения или сужения анализируемой интервальной функции у = )\х), а промежуточные точки х1,х2,...,хп между интервалами как точки максимума (минимума)
у = /(х) или точки максимума (минимума) её расширения или сужения. Например, если на некотором интервале (х; ,х;+1) функция /2 (х) возрастает, а на соседнем интервале (хг+1,хг+2) убывает, так что в точке х!+1 она максимальна, и при этом функция /, (х) на обоих интервалах постоянная, то согласно теоремам 9, 10, 12 интервальная функция у = /(х) на интервале (хг ,хг+1) возрастает, в точке х!+1 достигает максимума, затем на интервале (хг+1,хг+2) убывает.
После выполнения шага 6 заполняется четвёртая строка сводной таблицы поведения и на этом анализ поведения заданной интервальной функции заканчивается. Характерный возможный вид четвёртой строки сводной таблицы поведения интервальной функции проиллюстрирован в таблице. По результатам анализа можно вычертить график функции у = /(х) (см. рисунок).
Заключение
В настоящей статье разработаны систематические методы решения задач расчёта и анализа поведения недетерминированных функций интервального типа, в которых функции определяются с точностью до интервала возможных значений. В качестве математического аппарата использованы интервальная алгебра и дифференциальные характеристики верхней и
нижней границ интервальных функций, которые можно рассматривать как специальное дифференциальное исчисление для неточно задаваемых функций интервального типа.
Таблица - Сводная таблица поведения граничных функций, определяющих интервальную функцию
У С-00, х1) х1 (х1, х2) х2 (х25х3) хз (х35 х4 ) ( Хп-1, Хп ) Хп (Хп,00)
У\= Мх) монотонная возможный экстремум / или /2 монотонная возможный экстремум / или /2 монотонная возможный экстремум /1 или /2 монотонная монотонная возможный экстремум /1 или /2 монотонная
У2= /2( х) монотонная возможный экстремум / или / монотонная возможный экстремум /1 или /2 монотонная возможный экстремум /1 или /2 монотонная монотонная возможный экстремум /1 или /2 монотонная
1 = / (х) возрастание максимум убывание минимум расширение максимальное расширение сужение сужение максимальное сужение расширение
У\=Ш)
Поведение
функции V, =/,(*)
Поведение функции Л
Поведение функции у = 7(1)
Рисунок - Пример интервальной функции у = /(х) (у = 1\ (х) - нижняя граничная функция,
Уп - и (х) - верхняя граничная функция)
Список источников
[1] Фихтенгольц, Г.М. Курс дифференциального и интегрального исчисления. Т. 1. / Г.М. Фихтенгольц. - М.: Физматлит, 2001. - 616 с.
[2] Левин, В.И. Интервальная производная и начала недетерминистского дифференциального исчисления / В.И. Левин // Онтология проектирования. - 2013. - № 4(10). - С. 72-84.
[3] Милн, В.Э. Численный анализ / В.Э. Милн. - М.: Издательство иностранной литературы, 1980. - 350 с.
[4] Алефельд, Г. Введение в интервальные вычисления / Г. Алефельд, Ю. Херцбергер. - М: Мир, 1987. - 360 с.
[5] Левин, В.И. Интервальные методы оптимизации систем в условиях неопределённости / В.И. Левин. - Пенза: Изд-во Пензенского технологического института, 1999. - 101 с.
[6] Левин, В.И. Оптимизация в условиях интервальной неопределённости. Метод детерминизации / В.И. Левин // Автоматика и вычислительная техника. - 2012. - №4. - С. 17-25.
[7] Tsoukias, A. A Characterization of PQI Interval Orders / A. Tsoukias, P. Vincke // Discrete Applied Mathematics. - 2003. - №127(2). - P. 387-397.
[8] Ozturk, M. Positive Negative Reasons in the Interval Comparisons: Valued PQI Interval Orders / M. Ozturk A. Tsoukias // LAMSADE-CNRS: Universite Paris Dauphine. 2004. - 7 p.
[9] Davidov, D. V. Identification of Parameters of Linear Interval Controllable Systems with the Interval Observation / D.V. Davidov // Journal of Computer and Systems Sciences International. - 2008. - Vol. 47. - №6. - P. 861-865.
[10] Пиявский, С.А. Простой и универсальный метод принятия решений в пространстве критериев «стоимость-эффективность» / С.А. Пиявский // Онтология проектирования. - 2014. - № 3(13). - С. 89-102.
[11] Боргест, Н.М. Ключевые термины онтологии проектирования: обзор, анализ, обобщения / Н.М. Боргест // Онтология проектирования. - 2013. - № 3(9). - С. 9-31.
ANALYSIS OF FUNCTIONS WHICH SPECIFIED UP TO INTERVAL
V.I. Levin
Penza State Technological University, Penza, Russia [email protected]
Abstract
The existing approaches to the calculation, analysis, synthesis and optimization of systems under conditions of uncertainty are considered. The problem of calculating and analyzing the behavior of is not fully determined function specified up to a range of possible values is formulated and described in detail. To solve this problem, an algorithm of determination is proposed, which reduces the problem to two similar problems - the upper and lower boundary functions of the original incompletely defined function. This algorithm uses means of interval mathematics and interval-differential calculus. We highlighted the different types of possible behavior of interval functions (consistency, increase, decrease, expansion, contraction) and various types of extreme points of these functions (the maximum point, minimum point, the point of maximum expansion, the point of minimum expansion). The theorems admitting to allocate areas in the different behavior of interval functions and points of their various extreme are proved. The execution of the proposed determination algorithm that allows to analyze the behavior of interval functions is described. This operation is illustrated in the specific example.
Keywords: problem of system optimization, uncertainty, deterministic function, interval function, analysis of functions, boundary function.
References
[1] Fihtengolz, G.M. Kurs Differencialnogo i Integralnogo Ischisleniya. T. 1. [Course of differential and integral calculus. Vol. 1] / G.M. Fihtengolz. - M.: Fizmatlit, 2001. - 616 p. (In Russian).
[2] Levin, V.I. Intervalnaya Proizvodnaya i Nachala Nedeterministskogo Differencialnogo Ischisleniya [The interval derivative and the basis of nondeterministic differential calculus] / V.I. Levin // Ontologia Proektirovania. - 2013. - № 4(10). -P. 72-84. (In Russian).
[3] Miln, V.E. Chislennyi analiz [Numerical analysis] / V.E. Miln - M.: Izdatelstvo Inostrannoy Literatuiy, 1980. - 350 p.
[4] Alefeld, G. Introduction to Interval computation / G. Alefeld, J. Herzberger. - N.Y.: Academic Press, 1983 - 352 p.
[5] Levin, V.I. Intervalnye Metody Optimizacii Sistem v Usloviyah Neopredelennosti [Interval methods of optimization systems under uncertainty] / V.I. Levin. - Penza: Izd-vo Penzenskogo Technologicheskogo instituta, 1999. - 101 p. (In Russian).
[6] Levin, V.I. Optimizaciya v Usloviyah Intervanoy Neopredelennosti. Metod Determinizacii [Optimization under interval uncertainty. Determinization method] /V.I. Levin // Avtomatika i Vychislitelnaya Tehnika. - 2012. - No. 4. -P. 157-163. (In Russian).
[7] Tsoukias, A. A Characterization of PQI Interval Orders / A. Tsoukias, P. Vincke // Discrete Applied Mathematics. - 2003. - №127(2). - P. 387-397.
[8] Ozturk, M. Positive Negative Reasons in the Interval Comparisons: Valued PQI Interval Orders / M. Ozturk, A. Tsoukias // LAMSADE-CNRS: Universite Paris Dauphine. 2004. - 7 p.
[9] Davidov, D. V. Identification of Parameters of Linear Interval Controllable Systems with the Interval Observation / D.V. Davidov // Journal of Computer and Systems Sciences International. - 2008. - Vol. 47. - №6. - P. 861-865.
[10] Piyavskiy, S.A. Prostoy I Universalniy Metod Prinyatiya Resheniy v Prostranstve Kriteriev «Stoimost'-Effektivnost'» [A Simple and universal method of decision making within the scope of criteria of "cost and efficiency"] / S.A. Piyavskiy // Ontologia Proektirovania. - 2014. - No. 3(13). - P. 89-102. ISSN 2223-9537 / 2313-1039 (In Russian).
[11] Borgest, N.M. Kluchevye Terminy Ontologii Proektirovaniya: obzor, analiz, obobshenya [Keywords of Ontology of Designing: Review, Analysis, Generalisation] / N.M. Borgest // Ontologia Proektirovania. - 2013. -No. 3(9). - P. 9-31. ISSN 2223-9537 / 2313-1039 (In Russian).
Сведения об авторе
Левин Виталий Ильич окончил Каунасский политехнический институт, Открытый университет Израиля. Доктор технических наук, профессор, PhD, Full Professor, заведующий кафедрой математики (1975-2000), советник ректора по науке (2006-2011) Пензенского государственного технологического университетата, профессор Московского университета им. С.Ю. Витте (с 2003 г.). В списке научных трудов сотни работ (в том числе десятки монографий) по логике; математическому моделированию в технике, экономике, социологии, принятию решений; оптимизации; теории надёжности; истории науки; проблемам образования. Действительный член МАИ, ЕАИ, МАНЭБ и АСН, заслуженный деятель науки Российской Федерации, лауреат международных премий «Соросовский профессор», международный эксперт в области социологии конфликта и рейтингования униерситетов.
Vitaly Ilyich Levin graduated from Kaunas Politechnical Institute, Open University of Israel, Doctor of Engineering Science, Professor, PhD, Full Professor. Head of Mathematics Department (1975-2000), the scientific counselor of rector (2006-2011) of Penza State Technological University, professor of Moscow University named after S.J. Vitte (since 2003). He is the autor of hundreds of publications (among them dozens of monographs), in logic; mathematical modelling of engineering, economics, sociology; optimization; reliability; history of science; education problems. The member of IIA, EIA, IAELP, ASS. Honoured scientist of Russia, Laureate of International Prizes "Soros Professor", International Reviewer in Sociology of conflicts and University ranking.
