Так это же динамическое программирование на основе математической индукции. |
Регулярные позиномы
В точке минимума компоненты ее производная обращается в нуль. Решим уравнения (например, с помощью надстройки Поиск решения (Solver) в Excel ):
![\begin{array}{lrl}
2-3 x_{1}^{-2}+2 x_{1}&=&0, \\
-4 x_{2}^{-3}+3-x_{2}^{-2}&=&0.
\end{array}](/sites/default/files/tex_cache/ac08be4a3c33c923e42300fc4a1050b3.png)
Для первой компоненты единственной стационарной точкой в области является
, следовательно,
![\overline{G}_{1}=\min_{x_{1}>0} g_{1}(x_1) = g_{1}(0.89)= 5.94.](/sites/default/files/tex_cache/4a8e83148414be9e53171b19f45de96c.png)
Для второй компоненты единственной стационарной точкой в области является
, следовательно,
![\overline{G}_{2}=\min_{x_{2}>0} g_{2}(x_2) = g_{2}(1.20) = 5.82.](/sites/default/files/tex_cache/a282c2caf129bd65da9d37e63182f3e2.png)
Верхняя оценка позинома равна
![\overline{G} =\min_{j=\overline{1,2}}\overline{G_j} = \min\{5.94,\
5.82\}=5.82.](/sites/default/files/tex_cache/63075c62481f28c65874e95be496f930.png)
Таким образом, вычислив оценки, мы установили, что
![5\le \min_{x>0}g(x)\le 5.82.](/sites/default/files/tex_cache/d1da4257a4abeb00b4f9ca2afeb2ca03.png)
Заметим, что в данном примере верхняя оценка , достаточно
близка к минимальному значению позинома, которое равно
.
Разность составляет
![\frac{5.82-5.74}{5.74}= 1.39\%.](/sites/default/files/tex_cache/91cff838a8a6a0cab6a0fa44b217d0af.png)
Рассмотрим еще один пример.
Пример 26 Вычислим оценки позинома из примера 9 ( "Неравенство Коши и его обобщения" ):
![g(x) = 4 x_{1}x_{2}^{3}x_{3}^{-2} + 6 x_{1}^{-2}x_{2}^{-1}x_{3}^{2} +
3.8 x_{1}x_{2}^{-2}x_{3}^{-1} + x_{1}^{3}x_{2}x_{3}.](/sites/default/files/tex_cache/d634d65a35cfd068ac115e8088aca6b5.png)
Вычислим сначала нижнюю оценку позинома. Для этого представим
второй моном как сумму двух
мономов:
![6 x_{1}^{-2}x_{2}^{-1}x_{3}^{2} = 5.4 x_{1}^{-2}x_{2}^{-1}x_{3}^{2}+0.6 x_{1}^{-2}x_{2}^{-1}x_{3}^{2}.](/sites/default/files/tex_cache/6146b639c0ae63ef6f554b23de2c4cb0.png)
Теперь позином имеет вид:
![g(x)= 4 x_{1}x_{2}^{3}x_{3}^{-2}
+5.4 x_{1}^{-2}x_{2}^{-1}x_{3}^{2}+0.6 x_{1}^{-2}x_{2}^{-1}x_{3}^{2}+3.8 x_{1}x_{2}^{-2}x_{3}^{-1} +
x_{1}^{3}x_{2}x_{3}.](/sites/default/files/tex_cache/80456e03b97e40f9077ada9a1784a146.png)
Возьмем . Позином
![g_s(x)= 4 x_{1}x_{2}^{3}x_{3}^{-2}
+5.4 x_{1}^{-2}x_{2}^{-1}x_{3}^{2}+3.8 x_{1}x_{2}^{-2}x_{3}^{-1} +
x_{1}^{3}x_{2}x_{3}](/sites/default/files/tex_cache/ed111dda40bb2d100446429230072e7d.png)
является регулярным, так как для него выполнены следующие равенства:
![\sum\limits_{i\in S}c_{i}a_{i 1} = 4-10.8+3.8+3=0,](/sites/default/files/tex_cache/60b75d49be3c4f03c1178ef2aa56632e.png)
![\sum\limits_{i\in S}c_{i}a_{i 2} = 12-5.4-7.6+1=0.](/sites/default/files/tex_cache/d808d5bf9ff58b84da0ab1d1eead34d3.png)
![\sum\limits_{i\in S}c_{i}a_{i 3} = -8+10.8-3.8+1=0.](/sites/default/files/tex_cache/cf642d9f33e4de267d781d3b39922d6f.png)
Следовательно, его минимум вычисляется по формуле:
![\underline{G}_s=\min_{x>0} g_s(x) = \sum\limits_{i\in
S}c_{i}=4+5.4+3.8+1=14.2.](/sites/default/files/tex_cache/5af52e0a64303f64739a475aaa5da4e4.png)
Таким образом, получили нижнюю оценку для позинома .
Вычислим теперь верхнюю оценку минимума позинома. Позином состоит из трех компонент:
![\begin{array}{rrl}
g_{1}(x_1) &=& 4 x_{1}+6 x_{1}^{-2}+3.8 x_{1}+x_{1}^{3}, \\
g_{2}(x_2)&=&4 x_{2}^{3}+6 x_{2}^{-1}+3.8 x_{2}^{-2}+x_{2}, \\
g_{3}(x_3)&=&4 x_{3}^{-2}+6 x_{3}^{2}+3.8 x_{3}^{-1}+x_{3},
\end{array}](/sites/default/files/tex_cache/462dbd8b1fdd34eb32a167ff702cf6f4.png)
Вычислим минимумы компонент позинома. Для каждой компоненты запишем производную:
![\begin{array}{rrl}
g_{1}^{'}(x_1)& =&4-12 x_{1}^{-3}+3.8+3 x_{1}^{2}, \\
g_{2}^{'}(x_2)&=&12 x_{2}^{2}-6 x_{2}^{-2}-7.6 x_{2}^{-3}+1, \\
g_{3}^{'}(x_3)&=&-8 x_{3}^{-3}+12 x_{3}-3.8 x_{2}^{-2}+1.
\end{array}](/sites/default/files/tex_cache/a3fbb7e7cbad0572128b01a1980d6074.png)
В точке минимума компоненты ее производная обращается в нуль. Решим уравнения (например, с помощью надстройки Поиск решения (Solver) в Excel ):
![\begin{array}{lrl}
4-12 x_{1}^{-3}+3.8+3 x_{1}^{2}&=&0, \\
12 x_{2}^{2}-6 x_{2}^{-2}-7.6 x_{2}^{-3}+1&=&0, \\
-8 x_{3}^{-3}+12 x_{3}-3.8 x_{3}^{-2}+1&=&0.
\end{array}](/sites/default/files/tex_cache/4f0454793ded8dd9fa8e2494aeae89bf.png)
Для первой компоненты единственной стационарной точкой в области является
, следовательно,
![\overline{G}_{1}=\min_{x_{1}>0} g_{1}(x_1) = g_{1}( 1.03)= 14.78.](/sites/default/files/tex_cache/8c4ed5b75912a7144201d88372340f9e.png)
Для второй компоненты единственной стационарной точкой в области является
, следовательно,
![\overline{G}_{2}=\min_{x_{2}>0} g_{2}(x_2) = g_{2}(1.01) = 14.80.](/sites/default/files/tex_cache/6464a931aa313d0a55da849c662e430a.png)
Для третьей компоненты единственной стационарной точкой в области является
, следовательно,
![\overline{G}_{3}=\min_{x_{3}>0} g_{3}(x_3) = g_{3}(0.97) = 14.78.](/sites/default/files/tex_cache/626ce40c0ac64a38e1629d370550cb92.png)
Верхняя оценка позинома равна
![\overline{G} =\min_{j=\overline{1,3}}\overline{G_j} =
\min\{14.78,
14.80, 14.78\}=14.78.](/sites/default/files/tex_cache/cab2a3debabe105f1c049f2d1b1931e7.png)
Таким образом, вычислив оценки, мы установили, что
![14.2\le \min_{x>0}g(x)\le 14.78.](/sites/default/files/tex_cache/1c3e51cc5823daaf47626abc66ea677b.png)
Заметим, что в данном примере верхняя оценка совпала с
минимальным значением позинома.
Краткие итоги
Введено понятие регулярного позинома. Описаны свойства регулярных позиномов. Приведена теорема минимизации регулярных позиномов. Сформулирована главная теорема о позиномах. Описан процесс вычисления оценки минимума позинома.