Пример 3. Пусть дана функция f = 2xy + z
2
+ xz −2x + 2z. Требуется
найти ее интервальное расширение на интервале x = [−1, 1] × [0, 1] × [0, 1].
Как и в примере 2, находим интервальные расширения частных производ-
ных f
0
x
= [−2, 1], f
0
y
= [−2, 2], f
0
z
= [1, 5]. Тогда x
∗
= [−1, 1] × [0, 1] × 1.
Повторно вычисляем f
0
x
= [−1, 1], f
0
y
= [−2, 2]. Сужение интервалов дальше
не происходит.
Переменная x удовлетворяет условиям алгоритма: не содержит квадрата
и wid(x
∗
) = 2. Приводим подобные члены по x. Получаем функцию f =
x(2y + z −2) + z
2
+ 2z, естественное интервальное расширение этой функции
на интервале x
∗
= [−1, 1] × [0, 1] × 1 совпадает с объединенным, поскольку
все интервальные переменные встречаются только один раз и только в первой
степени (z не интервальная переменная).
Заметим, что алгоритм построения интервального расширения можно
распространить и на более общие случаи полиномов степени m от n перемен-
ных. Покажем как это можно сделать на примере полинома третьей степени
от трех переменных
f(x) =
3
X
i,j,k=0
a
ijk
x
i
x
j
x
k
.
В п.1 алгоритма объединенное интервальное расширение уже не будет сов-
падать с их естественным интервальным расширением. Вследствие этого на-
личие монотонности по некоторым переменным может оказаться невыявлен-
ным. Для уточнения значений производных заметим, что они — полиномы
второй степени и необходимо установить либо отрицательность значения мак-
симума частной производной на интервале x, либо положительность значе-
ния ее минимума на интервале x. Ставя задачу таким образом, мы сводим ее
к уже упомянутому случаю — нахождению интервального расширения для
полиномов второй степени.
Таким образом, можно рекурсивно понижать степень полиномов и доби-
ваться значительного сужения ширины интервальных расширений.
Описанный выше подход можно распространить на случай произволь-
ных вещественных функций, для которых известны интервальные расшире-
ния g
i
. Предположим, что известны индексы i, при которых
0 6∈ g
i
(x). (10)
Это означает, что по этим переменным функция монотонна и, следовательно,
нижняя и верхняя границы функции достигаются при граничных значениях
интервала. Исходя из этого мы можем положить f(x) = f(z
1
), f(x) = f(z
2
),
51