ВУЗ:
Составители:
Рубрика:
56
(3.14)
)),(),(()(
21
aaxaxgaM ≡
Теорема об огибающей утверждает, что:
a
axxL
a
aM
∂
∂
=
∂
∂
),,(
)(
21
)(axx
ii
=
=
(3.15)
a
axxg
∂
∂
=
),,(
21
)(axx
ii
=
a
axxh
∂
∂
⋅−
),,(
21
λ
)(axx
ii
=
, где
.2,1=i
Здесь интерпретация частных производных нуждается в специальном объяснении: они являются
производными функций
g
и h по параметру a в точке оптимального выбора, то есть берутся
оптимальные значения
1
x
и
2
x
и рассматриваются как фиксированные.
Доказательство.
Продифференцируем тождество
)),(),(()(
21
aaxaxgaM
≡
по a :
(3.16)
a
g
da
dx
x
g
da
dx
x
g
da
dM
∂
∂
+⋅
∂
∂
+⋅
∂
∂
=
2
2
1
1
Из условий первого порядка мы получаем, что:
(3.17)
11
x
h
x
g
∂
∂
⋅=
∂
∂
λ
и .
22
x
h
x
g
∂
∂
⋅=
∂
∂
λ
Подставим это в уравнение:
(3.18)
a
g
da
dx
x
h
da
dx
x
h
da
dM
∂
∂
+⋅
∂
∂
+⋅
∂
∂
⋅=
)(
2
2
1
1
λ
Очевидно, что функции оптимального выбора должны тождественно удовлетворять условию
связи:
(3.19)
0)),(),((
21
≡aaxaxh
Продифференцировав это тождество по
a , получаем:
(3.20)
0
2
2
1
1
≡
∂
∂
+⋅
∂
∂
+⋅
∂
∂
a
h
da
dx
x
h
da
dx
x
h
(3.14) M (a) ≡ g ( x1 (a), x2 (a), a)
Теорема об огибающей утверждает, что:
∂M (a ) ∂L( x1 , x2 , a )
= =
∂a ∂a xi = xi (a)
(3.15)
∂g ( x1 , x2 , a ) ∂h( x1 , x2 , a )
= −λ⋅ , где i = 1,2.
∂a xi = x i ( a ) ∂a xi = x i ( a )
Здесь интерпретация частных производных нуждается в специальном объяснении: они являются
производными функций g и h по параметру a в точке оптимального выбора, то есть берутся
оптимальные значения x1 и x2 и рассматриваются как фиксированные.
Доказательство.
Продифференцируем тождество M ( a ) ≡ g ( x1 ( a ), x2 ( a ), a ) по a :
dM ∂g dx1 ∂g dx2 ∂g
(3.16) = ⋅ + ⋅ +
da ∂x1 da ∂x2 da ∂a
Из условий первого порядка мы получаем, что:
∂g ∂h ∂g ∂h
(3.17) =λ⋅ и =λ⋅ .
∂x1 ∂x1 ∂x2 ∂x2
Подставим это в уравнение:
dM ∂h dx1 ∂h dx2 ∂g
(3.18) =λ ⋅( ⋅ + ⋅ )+
da ∂x1 da ∂x2 da ∂a
Очевидно, что функции оптимального выбора должны тождественно удовлетворять условию
связи:
(3.19) h( x1 (a ), x2 (a ), a ) ≡ 0
Продифференцировав это тождество по a , получаем:
∂h dx1 ∂h dx2 ∂h
(3.20) ⋅ + ⋅ + ≡0
∂x1 da ∂x2 da ∂a
56
Страницы
- « первая
- ‹ предыдущая
- …
- 54
- 55
- 56
- 57
- 58
- …
- следующая ›
- последняя »
