Научная статья на тему 'О внешней оценке компакта ориентированным эллипсоидом'

О внешней оценке компакта ориентированным эллипсоидом Текст научной статьи по специальности «Математика»

CC BY
45
13
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «О внешней оценке компакта ориентированным эллипсоидом»

3. Молодеикова И. Д. Об осредняющих операторах, сохраняющих тригонометрические многочлены и тригонометрические сплайны // Математика, механика: Сб. науч. тр. Саратов: Изд-во Сарат. ун-та, 2000. С. 81 - 84.

4. Молоденкова И. Д., Молоденков В. А. Обзор численных методов для решения задач приближения непрерывных функций с использованием сплайнов и осредняющих операторов. Саратов, 1998. 37 с. Деп. в ВИНИТИ. № 986-В98.

УДК 519.853.5

В. Б. Чеглов

О ВНЕШНЕЙ ОЦЕНКЕ КОМПАКТА ОРИЕНТИРОВАННЫМ ЭЛЛИПСОИДОМ

1. Математическая формализация задачи. Пусть множество D czRp - компакт, подлежащий оценке. Рассмотрим задачу о построении ориентированного эллипсоида наименьшего объема, содержащего в себе D. Для определенности будем считать, что эллипсоид ориентирован по осям координат.

Введем следующие обозначения: Г : ~2

, г(х,т) = тахп(х-у,т). (1)

ysD

Заметим, что при фиксированном векторе

х = т^ > 0, / = \,р функция п(х,т) удовлетворяет аксио-

мам нормы.

Множество, заданное соотношением

Е{х,г(х,х)т) - е < r2(x,t)J, (2)

является ориентированным эллипсоидом с центром в точке х, размеры полуосей которого заданы вектором г(х,-с)т, причем (это следует из (1) и (2)) хотя бы одна точка компакта D лежит на границе эллипсоида.

Известно, что объем эллипсоида пропорционален произведению длин его полуосей (см., например, [1]). Тогда- задачу о внешней оценке компакта D ориентированным эллипсоидом можно записать в виде

V{x,x)^rp{x,x)f[x(') min (3)

,=1 xeRp,T>0

2. Дифференциальные свойства целевой функции. Напомним основные понятия квазидифференциального исчисления (см. [2]).

Определение 1. Пусть в открытом множестве S с Rp задана конечная функция f(x). Будем считать, что /(х) - квазидифференцируемая

"0,0 = JZ

/=1

г (О

функция в точке х0 eS, если она дифференцируема в точке х0 по любому направлению g е Rp и существуют выпуклые компакты df(x0)c Rp и df(x0)a Rp такие, что производная функции f(x) в точке х0 по направлению g имеет вид

f'{x0,g)=\\ma~l\f{x0 + otg)-/(x0)]= max<vg> + min <w.g> .

Множества cf{x) и df{x) называются соответственно суб- и супердифференциалами функции f(x) в точке х0, а df{x) = \tyXx\df{x$[ - квазидифференциалом.

Определение 2. Если среди квазидифференциалов функции f(x) в точке х0 есть элемент вида df (х0) = \df{x0 ), {0р}], то /(х) - субдифферен-цируема.

Теперь докажем следующую теорему.

ТЕОРЕМА 1. Функция V(z) субдифференцируема в любой точке z = (x, t) для х,х е Rp>0,i = \,p, причем

5V(z)= co{prp~\z)f(z)n'{x - у,х)/у е Qr(z)} + rp(z)f(z), (4)

где Qr{z)={y^Dlr{z)=n{x-y,x)},f{z)=\\x^, а f'(z) - градиент функ-

¿=1

ции f(z) в точке z, соА - выпуклая оболочка множества А

Доказательство. Поскольку и(х,т) - гладкая по совокупности переменных (х,т), то г(х, т) - дифференцируема по любому направлению (см. [2]), причем в любой точке z = (x,x) для направления g е R2p имеет место формула

r'(z,g)= тах<п'(х-y,x),g> , (5)

где Qr (z)={y е D/r(z) = n{x - у, т)}. Теперь из (5) получаем r'(z,g)= max<v,g> = max<v,g> . (6)

ve.{n'[x-y,x)/yeQr (2)} veco{n'{x-y,x)/ysQr (z)} Тогда и функция rp(z) дифференцируема по направлениям, причем

(r"(-jj(z,g) = prp-l(zy(z,g). (7)

Подставляя (6) в (7), получаем

(rp{^(z,g) = prp-\zy(z,g) = prp-\z)- max < v,g >

veco{n'{x-y,x)/ yeQr (г)}

|

= птк<ргр 1(z)v,g> = rnax<v,g> (8)

veco[n'(x-y,x)/ ye.Qr (z)} veco{prP~l (z)n'{x-y,x)l yeQr (z)}

Обозначим /(z)=n^(,)- Эта функция дифференцируема no z, причем

.....ф) W

Теперь, используя (3), (8) и (9), имеем

= rp(z)/'(z,g)+/(z) max < v,g >

veco^"1 (rKic-^x)/j»e6r (z)} = rp(z)/'(z>g) + max < v,g >

veco{prP-1 (z)f(z)n'(x-y,x)/yeQr (z)} = max<v,g> ygeRp.

veco{prP'\z)f(z)n'{x-y,x)/yeQr(z)}+rP(z)/'(z) Что, в соответствии с определением 2, и требовалось доказать.

Теперь, используя известный факт из негладкого анализа [2], получаем

Следствие. Для того чтобы точка z0 = (х0,т0) была решением задачи (3) необходимо, чтобы 02pedV(z0), где множество dV(z) определено формулой (4).

СПИСОК ЛИТЕРАТУРЫ

1. Черноусько Ф. Л. Оценивание фазового состояния динамических систем. Метод эллипсоидов. М.: Наука, 1998.

1. Демьянов В. Ф., Васильев Л. В. Недифференцируемая оптимизация. М.: Наука,

1981.

УДК 631.86

В. Т. Челышев ЖЕСТКОСТЬ ГЕКСАПОДА

Для одной шарнирно-стержневой конструкции найдено инвариантно-геометрическое условие приобретения степени свободы в исключительном случае.

The invariant-geometric condition of a freedom degree acquisition in an exclusive case is found for one joint-rod construction

i Надоели баннеры? Вы всегда можете отключить рекламу.