1. §7. Гладкая задача с равенствами
7.1 Постановка задачи
X, Y — линейные нормированные пространства, f : X → R,
F : X → Y. Гладкая задача с ограничениями типа равенств:
f(x) → extr; F(x) = 0. (P)
Отметим, что отображение типа равенства в
бесконечномерных пространствах может содержать в себе
как конечное, так и бесконечное число равенств.
Допустимые точки.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
2. §7. Гладкая задача с равенствами
7.1 Постановка задачи
X, Y — линейные нормированные пространства, f : X → R,
F : X → Y. Гладкая задача с ограничениями типа равенств:
f(x) → extr; F(x) = 0. (P)
Отметим, что отображение типа равенства в
бесконечномерных пространствах может содержать в себе
как конечное, так и бесконечное число равенств.
Допустимые точки.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
3. §7. Гладкая задача с равенствами
7.1 Постановка задачи
X, Y — линейные нормированные пространства, f : X → R,
F : X → Y. Гладкая задача с ограничениями типа равенств:
f(x) → extr; F(x) = 0. (P)
Отметим, что отображение типа равенства в
бесконечномерных пространствах может содержать в себе
как конечное, так и бесконечное число равенств.
Допустимые точки.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
4. §7. Гладкая задача с равенствами
7.1 Постановка задачи
X, Y — линейные нормированные пространства, f : X → R,
F : X → Y. Гладкая задача с ограничениями типа равенств:
f(x) → extr; F(x) = 0. (P)
Отметим, что отображение типа равенства в
бесконечномерных пространствах может содержать в себе
как конечное, так и бесконечное число равенств.
Допустимые точки.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
5. §7. Гладкая задача с равенствами
7.1 Постановка задачи
X, Y — линейные нормированные пространства, f : X → R,
F : X → Y. Гладкая задача с ограничениями типа равенств:
f(x) → extr; F(x) = 0. (P)
Отметим, что отображение типа равенства в
бесконечномерных пространствах может содержать в себе
как конечное, так и бесконечное число равенств.
Допустимые точки.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
6. §7. Гладкая задача с равенствами
7.1 Постановка задачи
X, Y — линейные нормированные пространства, f : X → R,
F : X → Y. Гладкая задача с ограничениями типа равенств:
f(x) → extr; F(x) = 0. (P)
Отметим, что отображение типа равенства в
бесконечномерных пространствах может содержать в себе
как конечное, так и бесконечное число равенств.
Допустимые точки.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
7. §7. Гладкая задача с равенствами
7.1 Постановка задачи
X, Y — линейные нормированные пространства, f : X → R,
F : X → Y. Гладкая задача с ограничениями типа равенств:
f(x) → extr; F(x) = 0. (P)
Отметим, что отображение типа равенства в
бесконечномерных пространствах может содержать в себе
как конечное, так и бесконечное число равенств.
Допустимые точки.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
8. §7. Гладкая задача с равенствами
7.1 Постановка задачи
X, Y — линейные нормированные пространства, f : X → R,
F : X → Y. Гладкая задача с ограничениями типа равенств:
f(x) → extr; F(x) = 0. (P)
Отметим, что отображение типа равенства в
бесконечномерных пространствах может содержать в себе
как конечное, так и бесконечное число равенств.
Допустимые точки.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
9. §7. Гладкая задача с равенствами
7.2 Необходимые условия I порядка
f(x) → extr; F(x) = 0. (P)
Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx) (гладкость),
Im F (ˆx) — замкнутое подпространство в Y (ослабленное
условие регулярности) ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 :
для функции Лагранжа L (x) = λ0f(x) + y∗, F(x)
выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X
⇔ λ0f (ˆx) + (F (ˆx))∗
y∗
= 0.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
10. §7. Гладкая задача с равенствами
7.2 Необходимые условия I порядка
f(x) → extr; F(x) = 0. (P)
Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx) (гладкость),
Im F (ˆx) — замкнутое подпространство в Y (ослабленное
условие регулярности) ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 :
для функции Лагранжа L (x) = λ0f(x) + y∗, F(x)
выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X
⇔ λ0f (ˆx) + (F (ˆx))∗
y∗
= 0.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
11. §7. Гладкая задача с равенствами
7.2 Необходимые условия I порядка
f(x) → extr; F(x) = 0. (P)
Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx) (гладкость),
Im F (ˆx) — замкнутое подпространство в Y (ослабленное
условие регулярности) ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 :
для функции Лагранжа L (x) = λ0f(x) + y∗, F(x)
выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X
⇔ λ0f (ˆx) + (F (ˆx))∗
y∗
= 0.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
12. §7. Гладкая задача с равенствами
7.2 Необходимые условия I порядка
f(x) → extr; F(x) = 0. (P)
Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx) (гладкость),
Im F (ˆx) — замкнутое подпространство в Y (ослабленное
условие регулярности) ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 :
для функции Лагранжа L (x) = λ0f(x) + y∗, F(x)
выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X
⇔ λ0f (ˆx) + (F (ˆx))∗
y∗
= 0.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
13. §7. Гладкая задача с равенствами
7.2 Необходимые условия I порядка
f(x) → extr; F(x) = 0. (P)
Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx) (гладкость),
Im F (ˆx) — замкнутое подпространство в Y (ослабленное
условие регулярности) ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 :
для функции Лагранжа L (x) = λ0f(x) + y∗, F(x)
выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X
⇔ λ0f (ˆx) + (F (ˆx))∗
y∗
= 0.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
14. §7. Гладкая задача с равенствами
7.2 Необходимые условия I порядка
f(x) → extr; F(x) = 0. (P)
Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx) (гладкость),
Im F (ˆx) — замкнутое подпространство в Y (ослабленное
условие регулярности) ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 :
для функции Лагранжа L (x) = λ0f(x) + y∗, F(x)
выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X
⇔ λ0f (ˆx) + (F (ˆx))∗
y∗
= 0.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
15. §7. Гладкая задача с равенствами
7.2 Необходимые условия I порядка
f(x) → extr; F(x) = 0. (P)
Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx) (гладкость),
Im F (ˆx) — замкнутое подпространство в Y (ослабленное
условие регулярности) ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 :
для функции Лагранжа L (x) = λ0f(x) + y∗, F(x)
выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X
⇔ λ0f (ˆx) + (F (ˆx))∗
y∗
= 0.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
16. §7. Гладкая задача с равенствами
7.2 Необходимые условия I порядка
f(x) → extr; F(x) = 0. (P)
Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx) (гладкость),
Im F (ˆx) — замкнутое подпространство в Y (ослабленное
условие регулярности) ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 :
для функции Лагранжа L (x) = λ0f(x) + y∗, F(x)
выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X
⇔ λ0f (ˆx) + (F (ˆx))∗
y∗
= 0.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
17. §7. Гладкая задача с равенствами
7.2 Необходимые условия I порядка
f(x) → extr; F(x) = 0. (P)
Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx) (гладкость),
Im F (ˆx) — замкнутое подпространство в Y (ослабленное
условие регулярности) ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 :
для функции Лагранжа L (x) = λ0f(x) + y∗, F(x)
выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X
⇔ λ0f (ˆx) + (F (ˆx))∗
y∗
= 0.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
18. §7. Гладкая задача с равенствами
7.2 Необходимые условия I порядка
f(x) → extr; F(x) = 0. (P)
Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx) (гладкость),
Im F (ˆx) — замкнутое подпространство в Y (ослабленное
условие регулярности) ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 :
для функции Лагранжа L (x) = λ0f(x) + y∗, F(x)
выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X
⇔ λ0f (ˆx) + (F (ˆx))∗
y∗
= 0.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
19. §7. Гладкая задача с равенствами
7.2 Необходимые условия I порядка
f(x) → extr; F(x) = 0. (P)
Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx) (гладкость),
Im F (ˆx) — замкнутое подпространство в Y (ослабленное
условие регулярности) ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 :
для функции Лагранжа L (x) = λ0f(x) + y∗, F(x)
выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X
⇔ λ0f (ˆx) + (F (ˆx))∗
y∗
= 0.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
20. §7. Гладкая задача с равенствами
7.2 Необходимые условия I порядка
f(x) → extr; F(x) = 0. (P)
Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx) (гладкость),
Im F (ˆx) — замкнутое подпространство в Y (ослабленное
условие регулярности) ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 :
для функции Лагранжа L (x) = λ0f(x) + y∗, F(x)
выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X
⇔ λ0f (ˆx) + (F (ˆx))∗
y∗
= 0.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
21. §7. Гладкая задача с равенствами
7.2 Необходимые условия I порядка
f(x) → extr; F(x) = 0. (P)
Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx) (гладкость),
Im F (ˆx) — замкнутое подпространство в Y (ослабленное
условие регулярности) ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 :
для функции Лагранжа L (x) = λ0f(x) + y∗, F(x)
выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X
⇔ λ0f (ˆx) + (F (ˆx))∗
y∗
= 0.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
22. §7. Гладкая задача с равенствами
7.2 Необходимые условия I порядка
f(x) → extr; F(x) = 0. (P)
Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx) (гладкость),
Im F (ˆx) — замкнутое подпространство в Y (ослабленное
условие регулярности) ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 :
для функции Лагранжа L (x) = λ0f(x) + y∗, F(x)
выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X
⇔ λ0f (ˆx) + (F (ˆx))∗
y∗
= 0.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
23. §7. Гладкая задача с равенствами
7.2 Необходимые условия I порядка
f(x) → extr; F(x) = 0. (P)
Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx) (гладкость),
Im F (ˆx) — замкнутое подпространство в Y (ослабленное
условие регулярности) ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 :
для функции Лагранжа L (x) = λ0f(x) + y∗, F(x)
выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X
⇔ λ0f (ˆx) + (F (ˆx))∗
y∗
= 0.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
24. Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx), Im F (ˆx) —
замкнуто в Y ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 : для
L =λ0f(x)+ y∗, F(x) выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X.
¡ Определим F(x):= (f(x) − f(ˆx), F(x)), F : X → R × Y
⇒ F ∈ SD(ˆx), F (ˆx) = (f (ˆx), F (ˆx)): X → R × Y.
Перепишем условие стационарности в виде
(λ0,y∗
), ( f (ˆx),h , F (ˆx)[h]) =0 ⇔ (λ0, y∗
), F (ˆx)[h] =0 ∀ h∈X
⇔ (λ0, y∗), Im F (ˆx) = 0 ⇔ (λ0, y∗) ∈ (Im F (ˆx))⊥
⇔ (Im F (ˆx))⊥ = 0. Поскольку по лемме о замкнутости
образа (Im F (ˆx) замкнуто по условию, f (Ker F (ˆx)) = 0 или
R — замкнуты) Im F (ˆx) замкнут в R × Y, то по лемме о
нетривиальности аннулятора это эквивалентно тому, что
замкнутое подпространство Im F (ˆx) в R × Y является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
25. Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx), Im F (ˆx) —
замкнуто в Y ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 : для
L =λ0f(x)+ y∗, F(x) выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X.
¡ Определим F(x):= (f(x) − f(ˆx), F(x)), F : X → R × Y
⇒ F ∈ SD(ˆx), F (ˆx) = (f (ˆx), F (ˆx)): X → R × Y.
Перепишем условие стационарности в виде
(λ0,y∗
), ( f (ˆx),h , F (ˆx)[h]) =0 ⇔ (λ0, y∗
), F (ˆx)[h] =0 ∀ h∈X
⇔ (λ0, y∗), Im F (ˆx) = 0 ⇔ (λ0, y∗) ∈ (Im F (ˆx))⊥
⇔ (Im F (ˆx))⊥ = 0. Поскольку по лемме о замкнутости
образа (Im F (ˆx) замкнуто по условию, f (Ker F (ˆx)) = 0 или
R — замкнуты) Im F (ˆx) замкнут в R × Y, то по лемме о
нетривиальности аннулятора это эквивалентно тому, что
замкнутое подпространство Im F (ˆx) в R × Y является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
26. Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx), Im F (ˆx) —
замкнуто в Y ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 : для
L =λ0f(x)+ y∗, F(x) выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X.
¡ Определим F(x):= (f(x) − f(ˆx), F(x)), F : X → R × Y
⇒ F ∈ SD(ˆx), F (ˆx) = (f (ˆx), F (ˆx)): X → R × Y.
Перепишем условие стационарности в виде
(λ0,y∗
), ( f (ˆx),h , F (ˆx)[h]) =0 ⇔ (λ0, y∗
), F (ˆx)[h] =0 ∀ h∈X
⇔ (λ0, y∗), Im F (ˆx) = 0 ⇔ (λ0, y∗) ∈ (Im F (ˆx))⊥
⇔ (Im F (ˆx))⊥ = 0. Поскольку по лемме о замкнутости
образа (Im F (ˆx) замкнуто по условию, f (Ker F (ˆx)) = 0 или
R — замкнуты) Im F (ˆx) замкнут в R × Y, то по лемме о
нетривиальности аннулятора это эквивалентно тому, что
замкнутое подпространство Im F (ˆx) в R × Y является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
27. Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx), Im F (ˆx) —
замкнуто в Y ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 : для
L =λ0f(x)+ y∗, F(x) выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X.
¡ Определим F(x):= (f(x) − f(ˆx), F(x)), F : X → R × Y
⇒ F ∈ SD(ˆx), F (ˆx) = (f (ˆx), F (ˆx)): X → R × Y.
Перепишем условие стационарности в виде
(λ0,y∗
), ( f (ˆx),h , F (ˆx)[h]) =0 ⇔ (λ0, y∗
), F (ˆx)[h] =0 ∀ h∈X
⇔ (λ0, y∗), Im F (ˆx) = 0 ⇔ (λ0, y∗) ∈ (Im F (ˆx))⊥
⇔ (Im F (ˆx))⊥ = 0. Поскольку по лемме о замкнутости
образа (Im F (ˆx) замкнуто по условию, f (Ker F (ˆx)) = 0 или
R — замкнуты) Im F (ˆx) замкнут в R × Y, то по лемме о
нетривиальности аннулятора это эквивалентно тому, что
замкнутое подпространство Im F (ˆx) в R × Y является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
28. Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx), Im F (ˆx) —
замкнуто в Y ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 : для
L =λ0f(x)+ y∗, F(x) выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X.
¡ Определим F(x):= (f(x) − f(ˆx), F(x)), F : X → R × Y
⇒ F ∈ SD(ˆx), F (ˆx) = (f (ˆx), F (ˆx)): X → R × Y.
Перепишем условие стационарности в виде
(λ0,y∗
), ( f (ˆx),h , F (ˆx)[h]) =0 ⇔ (λ0, y∗
), F (ˆx)[h] =0 ∀ h∈X
⇔ (λ0, y∗), Im F (ˆx) = 0 ⇔ (λ0, y∗) ∈ (Im F (ˆx))⊥
⇔ (Im F (ˆx))⊥ = 0. Поскольку по лемме о замкнутости
образа (Im F (ˆx) замкнуто по условию, f (Ker F (ˆx)) = 0 или
R — замкнуты) Im F (ˆx) замкнут в R × Y, то по лемме о
нетривиальности аннулятора это эквивалентно тому, что
замкнутое подпространство Im F (ˆx) в R × Y является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
29. Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx), Im F (ˆx) —
замкнуто в Y ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 : для
L =λ0f(x)+ y∗, F(x) выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X.
¡ Определим F(x):= (f(x) − f(ˆx), F(x)), F : X → R × Y
⇒ F ∈ SD(ˆx), F (ˆx) = (f (ˆx), F (ˆx)): X → R × Y.
Перепишем условие стационарности в виде
(λ0,y∗
), ( f (ˆx),h , F (ˆx)[h]) =0 ⇔ (λ0, y∗
), F (ˆx)[h] =0 ∀ h∈X
⇔ (λ0, y∗), Im F (ˆx) = 0 ⇔ (λ0, y∗) ∈ (Im F (ˆx))⊥
⇔ (Im F (ˆx))⊥ = 0. Поскольку по лемме о замкнутости
образа (Im F (ˆx) замкнуто по условию, f (Ker F (ˆx)) = 0 или
R — замкнуты) Im F (ˆx) замкнут в R × Y, то по лемме о
нетривиальности аннулятора это эквивалентно тому, что
замкнутое подпространство Im F (ˆx) в R × Y является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
30. Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx), Im F (ˆx) —
замкнуто в Y ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 : для
L =λ0f(x)+ y∗, F(x) выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X.
¡ Определим F(x):= (f(x) − f(ˆx), F(x)), F : X → R × Y
⇒ F ∈ SD(ˆx), F (ˆx) = (f (ˆx), F (ˆx)): X → R × Y.
Перепишем условие стационарности в виде
(λ0,y∗
), ( f (ˆx),h , F (ˆx)[h]) =0 ⇔ (λ0, y∗
), F (ˆx)[h] =0 ∀ h∈X
⇔ (λ0, y∗), Im F (ˆx) = 0 ⇔ (λ0, y∗) ∈ (Im F (ˆx))⊥
⇔ (Im F (ˆx))⊥ = 0. Поскольку по лемме о замкнутости
образа (Im F (ˆx) замкнуто по условию, f (Ker F (ˆx)) = 0 или
R — замкнуты) Im F (ˆx) замкнут в R × Y, то по лемме о
нетривиальности аннулятора это эквивалентно тому, что
замкнутое подпространство Im F (ˆx) в R × Y является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
31. Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx), Im F (ˆx) —
замкнуто в Y ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 : для
L =λ0f(x)+ y∗, F(x) выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X.
¡ Определим F(x):= (f(x) − f(ˆx), F(x)), F : X → R × Y
⇒ F ∈ SD(ˆx), F (ˆx) = (f (ˆx), F (ˆx)): X → R × Y.
Перепишем условие стационарности в виде
(λ0,y∗
), ( f (ˆx),h , F (ˆx)[h]) =0 ⇔ (λ0, y∗
), F (ˆx)[h] =0 ∀ h∈X
⇔ (λ0, y∗), Im F (ˆx) = 0 ⇔ (λ0, y∗) ∈ (Im F (ˆx))⊥
⇔ (Im F (ˆx))⊥ = 0. Поскольку по лемме о замкнутости
образа (Im F (ˆx) замкнуто по условию, f (Ker F (ˆx)) = 0 или
R — замкнуты) Im F (ˆx) замкнут в R × Y, то по лемме о
нетривиальности аннулятора это эквивалентно тому, что
замкнутое подпространство Im F (ˆx) в R × Y является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
32. Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx), Im F (ˆx) —
замкнуто в Y ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 : для
L =λ0f(x)+ y∗, F(x) выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X.
¡ Определим F(x):= (f(x) − f(ˆx), F(x)), F : X → R × Y
⇒ F ∈ SD(ˆx), F (ˆx) = (f (ˆx), F (ˆx)): X → R × Y.
Перепишем условие стационарности в виде
(λ0,y∗
), ( f (ˆx),h , F (ˆx)[h]) =0 ⇔ (λ0, y∗
), F (ˆx)[h] =0 ∀ h∈X
⇔ (λ0, y∗), Im F (ˆx) = 0 ⇔ (λ0, y∗) ∈ (Im F (ˆx))⊥
⇔ (Im F (ˆx))⊥ = 0. Поскольку по лемме о замкнутости
образа (Im F (ˆx) замкнуто по условию, f (Ker F (ˆx)) = 0 или
R — замкнуты) Im F (ˆx) замкнут в R × Y, то по лемме о
нетривиальности аннулятора это эквивалентно тому, что
замкнутое подпространство Im F (ˆx) в R × Y является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
33. Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx), Im F (ˆx) —
замкнуто в Y ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 : для
L =λ0f(x)+ y∗, F(x) выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X.
¡ Определим F(x):= (f(x) − f(ˆx), F(x)), F : X → R × Y
⇒ F ∈ SD(ˆx), F (ˆx) = (f (ˆx), F (ˆx)): X → R × Y.
Перепишем условие стационарности в виде
(λ0,y∗
), ( f (ˆx),h , F (ˆx)[h]) =0 ⇔ (λ0, y∗
), F (ˆx)[h] =0 ∀ h∈X
⇔ (λ0, y∗), Im F (ˆx) = 0 ⇔ (λ0, y∗) ∈ (Im F (ˆx))⊥
⇔ (Im F (ˆx))⊥ = 0. Поскольку по лемме о замкнутости
образа (Im F (ˆx) замкнуто по условию, f (Ker F (ˆx)) = 0 или
R — замкнуты) Im F (ˆx) замкнут в R × Y, то по лемме о
нетривиальности аннулятора это эквивалентно тому, что
замкнутое подпространство Im F (ˆx) в R × Y является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
34. Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx), Im F (ˆx) —
замкнуто в Y ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 : для
L =λ0f(x)+ y∗, F(x) выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X.
¡ Определим F(x):= (f(x) − f(ˆx), F(x)), F : X → R × Y
⇒ F ∈ SD(ˆx), F (ˆx) = (f (ˆx), F (ˆx)): X → R × Y.
Перепишем условие стационарности в виде
(λ0,y∗
), ( f (ˆx),h , F (ˆx)[h]) =0 ⇔ (λ0, y∗
), F (ˆx)[h] =0 ∀ h∈X
⇔ (λ0, y∗), Im F (ˆx) = 0 ⇔ (λ0, y∗) ∈ (Im F (ˆx))⊥
⇔ (Im F (ˆx))⊥ = 0. Поскольку по лемме о замкнутости
образа (Im F (ˆx) замкнуто по условию, f (Ker F (ˆx)) = 0 или
R — замкнуты) Im F (ˆx) замкнут в R × Y, то по лемме о
нетривиальности аннулятора это эквивалентно тому, что
замкнутое подпространство Im F (ˆx) в R × Y является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
35. Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx), Im F (ˆx) —
замкнуто в Y ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 : для
L =λ0f(x)+ y∗, F(x) выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X.
¡ Определим F(x):= (f(x) − f(ˆx), F(x)), F : X → R × Y
⇒ F ∈ SD(ˆx), F (ˆx) = (f (ˆx), F (ˆx)): X → R × Y.
Перепишем условие стационарности в виде
(λ0,y∗
), ( f (ˆx),h , F (ˆx)[h]) =0 ⇔ (λ0, y∗
), F (ˆx)[h] =0 ∀ h∈X
⇔ (λ0, y∗), Im F (ˆx) = 0 ⇔ (λ0, y∗) ∈ (Im F (ˆx))⊥
⇔ (Im F (ˆx))⊥ = 0. Поскольку по лемме о замкнутости
образа (Im F (ˆx) замкнуто по условию, f (Ker F (ˆx)) = 0 или
R — замкнуты) Im F (ˆx) замкнут в R × Y, то по лемме о
нетривиальности аннулятора это эквивалентно тому, что
замкнутое подпространство Im F (ˆx) в R × Y является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
36. Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx), Im F (ˆx) —
замкнуто в Y ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 : для
L =λ0f(x)+ y∗, F(x) выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X.
¡ Определим F(x):= (f(x) − f(ˆx), F(x)), F : X → R × Y
⇒ F ∈ SD(ˆx), F (ˆx) = (f (ˆx), F (ˆx)): X → R × Y.
Перепишем условие стационарности в виде
(λ0,y∗
), ( f (ˆx),h , F (ˆx)[h]) =0 ⇔ (λ0, y∗
), F (ˆx)[h] =0 ∀ h∈X
⇔ (λ0, y∗), Im F (ˆx) = 0 ⇔ (λ0, y∗) ∈ (Im F (ˆx))⊥
⇔ (Im F (ˆx))⊥ = 0. Поскольку по лемме о замкнутости
образа (Im F (ˆx) замкнуто по условию, f (Ker F (ˆx)) = 0 или
R — замкнуты) Im F (ˆx) замкнут в R × Y, то по лемме о
нетривиальности аннулятора это эквивалентно тому, что
замкнутое подпространство Im F (ˆx) в R × Y является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
37. Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx), Im F (ˆx) —
замкнуто в Y ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 : для
L =λ0f(x)+ y∗, F(x) выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X.
¡ Определим F(x):= (f(x) − f(ˆx), F(x)), F : X → R × Y
⇒ F ∈ SD(ˆx), F (ˆx) = (f (ˆx), F (ˆx)): X → R × Y.
Перепишем условие стационарности в виде
(λ0,y∗
), ( f (ˆx),h , F (ˆx)[h]) =0 ⇔ (λ0, y∗
), F (ˆx)[h] =0 ∀ h∈X
⇔ (λ0, y∗), Im F (ˆx) = 0 ⇔ (λ0, y∗) ∈ (Im F (ˆx))⊥
⇔ (Im F (ˆx))⊥ = 0. Поскольку по лемме о замкнутости
образа (Im F (ˆx) замкнуто по условию, f (Ker F (ˆx)) = 0 или
R — замкнуты) Im F (ˆx) замкнут в R × Y, то по лемме о
нетривиальности аннулятора это эквивалентно тому, что
замкнутое подпространство Im F (ˆx) в R × Y является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
38. Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx), Im F (ˆx) —
замкнуто в Y ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 : для
L =λ0f(x)+ y∗, F(x) выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X.
¡ Определим F(x):= (f(x) − f(ˆx), F(x)), F : X → R × Y
⇒ F ∈ SD(ˆx), F (ˆx) = (f (ˆx), F (ˆx)): X → R × Y.
Перепишем условие стационарности в виде
(λ0,y∗
), ( f (ˆx),h , F (ˆx)[h]) =0 ⇔ (λ0, y∗
), F (ˆx)[h] =0 ∀ h∈X
⇔ (λ0, y∗), Im F (ˆx) = 0 ⇔ (λ0, y∗) ∈ (Im F (ˆx))⊥
⇔ (Im F (ˆx))⊥ = 0. Поскольку по лемме о замкнутости
образа (Im F (ˆx) замкнуто по условию, f (Ker F (ˆx)) = 0 или
R — замкнуты) Im F (ˆx) замкнут в R × Y, то по лемме о
нетривиальности аннулятора это эквивалентно тому, что
замкнутое подпространство Im F (ˆx) в R × Y является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
39. Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx), Im F (ˆx) —
замкнуто в Y ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 : для
L =λ0f(x)+ y∗, F(x) выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X.
¡ Определим F(x):= (f(x) − f(ˆx), F(x)), F : X → R × Y
⇒ F ∈ SD(ˆx), F (ˆx) = (f (ˆx), F (ˆx)): X → R × Y.
Перепишем условие стационарности в виде
(λ0,y∗
), ( f (ˆx),h , F (ˆx)[h]) =0 ⇔ (λ0, y∗
), F (ˆx)[h] =0 ∀ h∈X
⇔ (λ0, y∗), Im F (ˆx) = 0 ⇔ (λ0, y∗) ∈ (Im F (ˆx))⊥
⇔ (Im F (ˆx))⊥ = 0. Поскольку по лемме о замкнутости
образа (Im F (ˆx) замкнуто по условию, f (Ker F (ˆx)) = 0 или
R — замкнуты) Im F (ˆx) замкнут в R × Y, то по лемме о
нетривиальности аннулятора это эквивалентно тому, что
замкнутое подпространство Im F (ˆx) в R × Y является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
40. Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx), Im F (ˆx) —
замкнуто в Y ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 : для
L =λ0f(x)+ y∗, F(x) выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X.
¡ Определим F(x):= (f(x) − f(ˆx), F(x)), F : X → R × Y
⇒ F ∈ SD(ˆx), F (ˆx) = (f (ˆx), F (ˆx)): X → R × Y.
Перепишем условие стационарности в виде
(λ0,y∗
), ( f (ˆx),h , F (ˆx)[h]) =0 ⇔ (λ0, y∗
), F (ˆx)[h] =0 ∀ h∈X
⇔ (λ0, y∗), Im F (ˆx) = 0 ⇔ (λ0, y∗) ∈ (Im F (ˆx))⊥
⇔ (Im F (ˆx))⊥ = 0. Поскольку по лемме о замкнутости
образа (Im F (ˆx) замкнуто по условию, f (Ker F (ˆx)) = 0 или
R — замкнуты) Im F (ˆx) замкнут в R × Y, то по лемме о
нетривиальности аннулятора это эквивалентно тому, что
замкнутое подпространство Im F (ˆx) в R × Y является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
41. Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx), Im F (ˆx) —
замкнуто в Y ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 : для
L =λ0f(x)+ y∗, F(x) выполняется условие стационарности:
L (ˆx) = 0 ⇔ λ0f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X.
¡ Определим F(x):= (f(x) − f(ˆx), F(x)), F : X → R × Y
⇒ F ∈ SD(ˆx), F (ˆx) = (f (ˆx), F (ˆx)): X → R × Y.
Перепишем условие стационарности в виде
(λ0,y∗
), ( f (ˆx),h , F (ˆx)[h]) =0 ⇔ (λ0, y∗
), F (ˆx)[h] =0 ∀ h∈X
⇔ (λ0, y∗), Im F (ˆx) = 0 ⇔ (λ0, y∗) ∈ (Im F (ˆx))⊥
⇔ (Im F (ˆx))⊥ = 0. Поскольку по лемме о замкнутости
образа (Im F (ˆx) замкнуто по условию, f (Ker F (ˆx)) = 0 или
R — замкнуты) Im F (ˆx) замкнут в R × Y, то по лемме о
нетривиальности аннулятора это эквивалентно тому, что
замкнутое подпространство Im F (ˆx) в R × Y является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
42. f(x) → extr; F(x) = 0. (P)
F(x):= (f(x) − f(ˆx), F(x)), F, F (ˆx): X → R × Y
Доказательство теоремы проведем от противного.
Предположим, что теорема не верна ⇒ Im F (ˆx) не является
собственным подпространством в R × Y ⇒ Im F (ˆx) = R × Y.
F(ˆx) = (0, 0). По т. об обратном отображении
∃ F−1: W ∈ O((0, 0), R×Y) → X : F−1(0, 0) = ˆx,
F(F−1
(α,y))=(α,y), F−1
(α,y)−F−1
(0, 0) ≤ K (α,y)−(0, 0)
⇔ F−1
(α, y) − ˆx ≤ K (α, y) ∀ (α, y) ∈ W (K > 0).
Положим x(ε):= F−1(ε, 0), |ε| мал ⇒
F(x(ε)) = (ε, 0) ⇔ f(x(ε)) − f(ˆx) = ε, F(x(ε)) = 0,
x(ε) − ˆx = F−1
(ε, 0) − ˆx ≤ K (ε, 0) = K|ε|
⇒ ˆx ∈ locextr P — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
43. f(x) → extr; F(x) = 0. (P)
F(x):= (f(x) − f(ˆx), F(x)), F, F (ˆx): X → R × Y
Доказательство теоремы проведем от противного.
Предположим, что теорема не верна ⇒ Im F (ˆx) не является
собственным подпространством в R × Y ⇒ Im F (ˆx) = R × Y.
F(ˆx) = (0, 0). По т. об обратном отображении
∃ F−1: W ∈ O((0, 0), R×Y) → X : F−1(0, 0) = ˆx,
F(F−1
(α,y))=(α,y), F−1
(α,y)−F−1
(0, 0) ≤ K (α,y)−(0, 0)
⇔ F−1
(α, y) − ˆx ≤ K (α, y) ∀ (α, y) ∈ W (K > 0).
Положим x(ε):= F−1(ε, 0), |ε| мал ⇒
F(x(ε)) = (ε, 0) ⇔ f(x(ε)) − f(ˆx) = ε, F(x(ε)) = 0,
x(ε) − ˆx = F−1
(ε, 0) − ˆx ≤ K (ε, 0) = K|ε|
⇒ ˆx ∈ locextr P — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
44. f(x) → extr; F(x) = 0. (P)
F(x):= (f(x) − f(ˆx), F(x)), F, F (ˆx): X → R × Y
Доказательство теоремы проведем от противного.
Предположим, что теорема не верна ⇒ Im F (ˆx) не является
собственным подпространством в R × Y ⇒ Im F (ˆx) = R × Y.
F(ˆx) = (0, 0). По т. об обратном отображении
∃ F−1: W ∈ O((0, 0), R×Y) → X : F−1(0, 0) = ˆx,
F(F−1
(α,y))=(α,y), F−1
(α,y)−F−1
(0, 0) ≤ K (α,y)−(0, 0)
⇔ F−1
(α, y) − ˆx ≤ K (α, y) ∀ (α, y) ∈ W (K > 0).
Положим x(ε):= F−1(ε, 0), |ε| мал ⇒
F(x(ε)) = (ε, 0) ⇔ f(x(ε)) − f(ˆx) = ε, F(x(ε)) = 0,
x(ε) − ˆx = F−1
(ε, 0) − ˆx ≤ K (ε, 0) = K|ε|
⇒ ˆx ∈ locextr P — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
45. f(x) → extr; F(x) = 0. (P)
F(x):= (f(x) − f(ˆx), F(x)), F, F (ˆx): X → R × Y
Доказательство теоремы проведем от противного.
Предположим, что теорема не верна ⇒ Im F (ˆx) не является
собственным подпространством в R × Y ⇒ Im F (ˆx) = R × Y.
F(ˆx) = (0, 0). По т. об обратном отображении
∃ F−1: W ∈ O((0, 0), R×Y) → X : F−1(0, 0) = ˆx,
F(F−1
(α,y))=(α,y), F−1
(α,y)−F−1
(0, 0) ≤ K (α,y)−(0, 0)
⇔ F−1
(α, y) − ˆx ≤ K (α, y) ∀ (α, y) ∈ W (K > 0).
Положим x(ε):= F−1(ε, 0), |ε| мал ⇒
F(x(ε)) = (ε, 0) ⇔ f(x(ε)) − f(ˆx) = ε, F(x(ε)) = 0,
x(ε) − ˆx = F−1
(ε, 0) − ˆx ≤ K (ε, 0) = K|ε|
⇒ ˆx ∈ locextr P — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
46. f(x) → extr; F(x) = 0. (P)
F(x):= (f(x) − f(ˆx), F(x)), F, F (ˆx): X → R × Y
Доказательство теоремы проведем от противного.
Предположим, что теорема не верна ⇒ Im F (ˆx) не является
собственным подпространством в R × Y ⇒ Im F (ˆx) = R × Y.
F(ˆx) = (0, 0). По т. об обратном отображении
∃ F−1: W ∈ O((0, 0), R×Y) → X : F−1(0, 0) = ˆx,
F(F−1
(α,y))=(α,y), F−1
(α,y)−F−1
(0, 0) ≤ K (α,y)−(0, 0)
⇔ F−1
(α, y) − ˆx ≤ K (α, y) ∀ (α, y) ∈ W (K > 0).
Положим x(ε):= F−1(ε, 0), |ε| мал ⇒
F(x(ε)) = (ε, 0) ⇔ f(x(ε)) − f(ˆx) = ε, F(x(ε)) = 0,
x(ε) − ˆx = F−1
(ε, 0) − ˆx ≤ K (ε, 0) = K|ε|
⇒ ˆx ∈ locextr P — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
47. f(x) → extr; F(x) = 0. (P)
F(x):= (f(x) − f(ˆx), F(x)), F, F (ˆx): X → R × Y
Доказательство теоремы проведем от противного.
Предположим, что теорема не верна ⇒ Im F (ˆx) не является
собственным подпространством в R × Y ⇒ Im F (ˆx) = R × Y.
F(ˆx) = (0, 0). По т. об обратном отображении
∃ F−1: W ∈ O((0, 0), R×Y) → X : F−1(0, 0) = ˆx,
F(F−1
(α,y))=(α,y), F−1
(α,y)−F−1
(0, 0) ≤ K (α,y)−(0, 0)
⇔ F−1
(α, y) − ˆx ≤ K (α, y) ∀ (α, y) ∈ W (K > 0).
Положим x(ε):= F−1(ε, 0), |ε| мал ⇒
F(x(ε)) = (ε, 0) ⇔ f(x(ε)) − f(ˆx) = ε, F(x(ε)) = 0,
x(ε) − ˆx = F−1
(ε, 0) − ˆx ≤ K (ε, 0) = K|ε|
⇒ ˆx ∈ locextr P — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
48. f(x) → extr; F(x) = 0. (P)
F(x):= (f(x) − f(ˆx), F(x)), F, F (ˆx): X → R × Y
Доказательство теоремы проведем от противного.
Предположим, что теорема не верна ⇒ Im F (ˆx) не является
собственным подпространством в R × Y ⇒ Im F (ˆx) = R × Y.
F(ˆx) = (0, 0). По т. об обратном отображении
∃ F−1: W ∈ O((0, 0), R×Y) → X : F−1(0, 0) = ˆx,
F(F−1
(α,y))=(α,y), F−1
(α,y)−F−1
(0, 0) ≤ K (α,y)−(0, 0)
⇔ F−1
(α, y) − ˆx ≤ K (α, y) ∀ (α, y) ∈ W (K > 0).
Положим x(ε):= F−1(ε, 0), |ε| мал ⇒
F(x(ε)) = (ε, 0) ⇔ f(x(ε)) − f(ˆx) = ε, F(x(ε)) = 0,
x(ε) − ˆx = F−1
(ε, 0) − ˆx ≤ K (ε, 0) = K|ε|
⇒ ˆx ∈ locextr P — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
49. f(x) → extr; F(x) = 0. (P)
F(x):= (f(x) − f(ˆx), F(x)), F, F (ˆx): X → R × Y
Доказательство теоремы проведем от противного.
Предположим, что теорема не верна ⇒ Im F (ˆx) не является
собственным подпространством в R × Y ⇒ Im F (ˆx) = R × Y.
F(ˆx) = (0, 0). По т. об обратном отображении
∃ F−1: W ∈ O((0, 0), R×Y) → X : F−1(0, 0) = ˆx,
F(F−1
(α,y))=(α,y), F−1
(α,y)−F−1
(0, 0) ≤ K (α,y)−(0, 0)
⇔ F−1
(α, y) − ˆx ≤ K (α, y) ∀ (α, y) ∈ W (K > 0).
Положим x(ε):= F−1(ε, 0), |ε| мал ⇒
F(x(ε)) = (ε, 0) ⇔ f(x(ε)) − f(ˆx) = ε, F(x(ε)) = 0,
x(ε) − ˆx = F−1
(ε, 0) − ˆx ≤ K (ε, 0) = K|ε|
⇒ ˆx ∈ locextr P — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
50. f(x) → extr; F(x) = 0. (P)
F(x):= (f(x) − f(ˆx), F(x)), F, F (ˆx): X → R × Y
Доказательство теоремы проведем от противного.
Предположим, что теорема не верна ⇒ Im F (ˆx) не является
собственным подпространством в R × Y ⇒ Im F (ˆx) = R × Y.
F(ˆx) = (0, 0). По т. об обратном отображении
∃ F−1: W ∈ O((0, 0), R×Y) → X : F−1(0, 0) = ˆx,
F(F−1
(α,y))=(α,y), F−1
(α,y)−F−1
(0, 0) ≤ K (α,y)−(0, 0)
⇔ F−1
(α, y) − ˆx ≤ K (α, y) ∀ (α, y) ∈ W (K > 0).
Положим x(ε):= F−1(ε, 0), |ε| мал ⇒
F(x(ε)) = (ε, 0) ⇔ f(x(ε)) − f(ˆx) = ε, F(x(ε)) = 0,
x(ε) − ˆx = F−1
(ε, 0) − ˆx ≤ K (ε, 0) = K|ε|
⇒ ˆx ∈ locextr P — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
51. f(x) → extr; F(x) = 0. (P)
F(x):= (f(x) − f(ˆx), F(x)), F, F (ˆx): X → R × Y
Доказательство теоремы проведем от противного.
Предположим, что теорема не верна ⇒ Im F (ˆx) не является
собственным подпространством в R × Y ⇒ Im F (ˆx) = R × Y.
F(ˆx) = (0, 0). По т. об обратном отображении
∃ F−1: W ∈ O((0, 0), R×Y) → X : F−1(0, 0) = ˆx,
F(F−1
(α,y))=(α,y), F−1
(α,y)−F−1
(0, 0) ≤ K (α,y)−(0, 0)
⇔ F−1
(α, y) − ˆx ≤ K (α, y) ∀ (α, y) ∈ W (K > 0).
Положим x(ε):= F−1(ε, 0), |ε| мал ⇒
F(x(ε)) = (ε, 0) ⇔ f(x(ε)) − f(ˆx) = ε, F(x(ε)) = 0,
x(ε) − ˆx = F−1
(ε, 0) − ˆx ≤ K (ε, 0) = K|ε|
⇒ ˆx ∈ locextr P — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
52. f(x) → extr; F(x) = 0. (P)
F(x):= (f(x) − f(ˆx), F(x)), F, F (ˆx): X → R × Y
Доказательство теоремы проведем от противного.
Предположим, что теорема не верна ⇒ Im F (ˆx) не является
собственным подпространством в R × Y ⇒ Im F (ˆx) = R × Y.
F(ˆx) = (0, 0). По т. об обратном отображении
∃ F−1: W ∈ O((0, 0), R×Y) → X : F−1(0, 0) = ˆx,
F(F−1
(α,y))=(α,y), F−1
(α,y)−F−1
(0, 0) ≤ K (α,y)−(0, 0)
⇔ F−1
(α, y) − ˆx ≤ K (α, y) ∀ (α, y) ∈ W (K > 0).
Положим x(ε):= F−1(ε, 0), |ε| мал ⇒
F(x(ε)) = (ε, 0) ⇔ f(x(ε)) − f(ˆx) = ε, F(x(ε)) = 0,
x(ε) − ˆx = F−1
(ε, 0) − ˆx ≤ K (ε, 0) = K|ε|
⇒ ˆx ∈ locextr P — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
53. f(x) → extr; F(x) = 0. (P)
F(x):= (f(x) − f(ˆx), F(x)), F, F (ˆx): X → R × Y
Доказательство теоремы проведем от противного.
Предположим, что теорема не верна ⇒ Im F (ˆx) не является
собственным подпространством в R × Y ⇒ Im F (ˆx) = R × Y.
F(ˆx) = (0, 0). По т. об обратном отображении
∃ F−1: W ∈ O((0, 0), R×Y) → X : F−1(0, 0) = ˆx,
F(F−1
(α,y))=(α,y), F−1
(α,y)−F−1
(0, 0) ≤ K (α,y)−(0, 0)
⇔ F−1
(α, y) − ˆx ≤ K (α, y) ∀ (α, y) ∈ W (K > 0).
Положим x(ε):= F−1(ε, 0), |ε| мал ⇒
F(x(ε)) = (ε, 0) ⇔ f(x(ε)) − f(ˆx) = ε, F(x(ε)) = 0,
x(ε) − ˆx = F−1
(ε, 0) − ˆx ≤ K (ε, 0) = K|ε|
⇒ ˆx ∈ locextr P — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
54. f(x) → extr; F(x) = 0. (P)
F(x):= (f(x) − f(ˆx), F(x)), F, F (ˆx): X → R × Y
Доказательство теоремы проведем от противного.
Предположим, что теорема не верна ⇒ Im F (ˆx) не является
собственным подпространством в R × Y ⇒ Im F (ˆx) = R × Y.
F(ˆx) = (0, 0). По т. об обратном отображении
∃ F−1: W ∈ O((0, 0), R×Y) → X : F−1(0, 0) = ˆx,
F(F−1
(α,y))=(α,y), F−1
(α,y)−F−1
(0, 0) ≤ K (α,y)−(0, 0)
⇔ F−1
(α, y) − ˆx ≤ K (α, y) ∀ (α, y) ∈ W (K > 0).
Положим x(ε):= F−1(ε, 0), |ε| мал ⇒
F(x(ε)) = (ε, 0) ⇔ f(x(ε)) − f(ˆx) = ε, F(x(ε)) = 0,
x(ε) − ˆx = F−1
(ε, 0) − ˆx ≤ K (ε, 0) = K|ε|
⇒ ˆx ∈ locextr P — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
55. f(x) → extr; F(x) = 0. (P)
F(x):= (f(x) − f(ˆx), F(x)), F, F (ˆx): X → R × Y
Доказательство теоремы проведем от противного.
Предположим, что теорема не верна ⇒ Im F (ˆx) не является
собственным подпространством в R × Y ⇒ Im F (ˆx) = R × Y.
F(ˆx) = (0, 0). По т. об обратном отображении
∃ F−1: W ∈ O((0, 0), R×Y) → X : F−1(0, 0) = ˆx,
F(F−1
(α,y))=(α,y), F−1
(α,y)−F−1
(0, 0) ≤ K (α,y)−(0, 0)
⇔ F−1
(α, y) − ˆx ≤ K (α, y) ∀ (α, y) ∈ W (K > 0).
Положим x(ε):= F−1(ε, 0), |ε| мал ⇒
F(x(ε)) = (ε, 0) ⇔ f(x(ε)) − f(ˆx) = ε, F(x(ε)) = 0,
x(ε) − ˆx = F−1
(ε, 0) − ˆx ≤ K (ε, 0) = K|ε|
⇒ ˆx ∈ locextr P — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
56. f(x) → extr; F(x) = 0. (P)
F(x):= (f(x) − f(ˆx), F(x)), F, F (ˆx): X → R × Y
Доказательство теоремы проведем от противного.
Предположим, что теорема не верна ⇒ Im F (ˆx) не является
собственным подпространством в R × Y ⇒ Im F (ˆx) = R × Y.
F(ˆx) = (0, 0). По т. об обратном отображении
∃ F−1: W ∈ O((0, 0), R×Y) → X : F−1(0, 0) = ˆx,
F(F−1
(α,y))=(α,y), F−1
(α,y)−F−1
(0, 0) ≤ K (α,y)−(0, 0)
⇔ F−1
(α, y) − ˆx ≤ K (α, y) ∀ (α, y) ∈ W (K > 0).
Положим x(ε):= F−1(ε, 0), |ε| мал ⇒
F(x(ε)) = (ε, 0) ⇔ f(x(ε)) − f(ˆx) = ε, F(x(ε)) = 0,
x(ε) − ˆx = F−1
(ε, 0) − ˆx ≤ K (ε, 0) = K|ε|
⇒ ˆx ∈ locextr P — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
57. f(x) → extr; F(x) = 0. (P)
F(x):= (f(x) − f(ˆx), F(x)), F, F (ˆx): X → R × Y
Доказательство теоремы проведем от противного.
Предположим, что теорема не верна ⇒ Im F (ˆx) не является
собственным подпространством в R × Y ⇒ Im F (ˆx) = R × Y.
F(ˆx) = (0, 0). По т. об обратном отображении
∃ F−1: W ∈ O((0, 0), R×Y) → X : F−1(0, 0) = ˆx,
F(F−1
(α,y))=(α,y), F−1
(α,y)−F−1
(0, 0) ≤ K (α,y)−(0, 0)
⇔ F−1
(α, y) − ˆx ≤ K (α, y) ∀ (α, y) ∈ W (K > 0).
Положим x(ε):= F−1(ε, 0), |ε| мал ⇒
F(x(ε)) = (ε, 0) ⇔ f(x(ε)) − f(ˆx) = ε, F(x(ε)) = 0,
x(ε) − ˆx = F−1
(ε, 0) − ˆx ≤ K (ε, 0) = K|ε|
⇒ ˆx ∈ locextr P — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
58. f(x) → extr; F(x) = 0. (P)
F(x):= (f(x) − f(ˆx), F(x)), F, F (ˆx): X → R × Y
Доказательство теоремы проведем от противного.
Предположим, что теорема не верна ⇒ Im F (ˆx) не является
собственным подпространством в R × Y ⇒ Im F (ˆx) = R × Y.
F(ˆx) = (0, 0). По т. об обратном отображении
∃ F−1: W ∈ O((0, 0), R×Y) → X : F−1(0, 0) = ˆx,
F(F−1
(α,y))=(α,y), F−1
(α,y)−F−1
(0, 0) ≤ K (α,y)−(0, 0)
⇔ F−1
(α, y) − ˆx ≤ K (α, y) ∀ (α, y) ∈ W (K > 0).
Положим x(ε):= F−1(ε, 0), |ε| мал ⇒
F(x(ε)) = (ε, 0) ⇔ f(x(ε)) − f(ˆx) = ε, F(x(ε)) = 0,
x(ε) − ˆx = F−1
(ε, 0) − ˆx ≤ K (ε, 0) = K|ε|
⇒ ˆx ∈ locextr P — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
59. f(x) → extr; F(x) = 0. (P)
F(x):= (f(x) − f(ˆx), F(x)), F, F (ˆx): X → R × Y
Доказательство теоремы проведем от противного.
Предположим, что теорема не верна ⇒ Im F (ˆx) не является
собственным подпространством в R × Y ⇒ Im F (ˆx) = R × Y.
F(ˆx) = (0, 0). По т. об обратном отображении
∃ F−1: W ∈ O((0, 0), R×Y) → X : F−1(0, 0) = ˆx,
F(F−1
(α,y))=(α,y), F−1
(α,y)−F−1
(0, 0) ≤ K (α,y)−(0, 0)
⇔ F−1
(α, y) − ˆx ≤ K (α, y) ∀ (α, y) ∈ W (K > 0).
Положим x(ε):= F−1(ε, 0), |ε| мал ⇒
F(x(ε)) = (ε, 0) ⇔ f(x(ε)) − f(ˆx) = ε, F(x(ε)) = 0,
x(ε) − ˆx = F−1
(ε, 0) − ˆx ≤ K (ε, 0) = K|ε|
⇒ ˆx ∈ locextr P — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
60. f(x) → extr; F(x) = 0. (P)
F(x):= (f(x) − f(ˆx), F(x)), F, F (ˆx): X → R × Y
Доказательство теоремы проведем от противного.
Предположим, что теорема не верна ⇒ Im F (ˆx) не является
собственным подпространством в R × Y ⇒ Im F (ˆx) = R × Y.
F(ˆx) = (0, 0). По т. об обратном отображении
∃ F−1: W ∈ O((0, 0), R×Y) → X : F−1(0, 0) = ˆx,
F(F−1
(α,y))=(α,y), F−1
(α,y)−F−1
(0, 0) ≤ K (α,y)−(0, 0)
⇔ F−1
(α, y) − ˆx ≤ K (α, y) ∀ (α, y) ∈ W (K > 0).
Положим x(ε):= F−1(ε, 0), |ε| мал ⇒
F(x(ε)) = (ε, 0) ⇔ f(x(ε)) − f(ˆx) = ε, F(x(ε)) = 0,
x(ε) − ˆx = F−1
(ε, 0) − ˆx ≤ K (ε, 0) = K|ε|
⇒ ˆx ∈ locextr P — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
61. f(x) → extr; F(x) = 0. (P)
F(x):= (f(x) − f(ˆx), F(x)), F, F (ˆx): X → R × Y
Доказательство теоремы проведем от противного.
Предположим, что теорема не верна ⇒ Im F (ˆx) не является
собственным подпространством в R × Y ⇒ Im F (ˆx) = R × Y.
F(ˆx) = (0, 0). По т. об обратном отображении
∃ F−1: W ∈ O((0, 0), R×Y) → X : F−1(0, 0) = ˆx,
F(F−1
(α,y))=(α,y), F−1
(α,y)−F−1
(0, 0) ≤ K (α,y)−(0, 0)
⇔ F−1
(α, y) − ˆx ≤ K (α, y) ∀ (α, y) ∈ W (K > 0).
Положим x(ε):= F−1(ε, 0), |ε| мал ⇒
F(x(ε)) = (ε, 0) ⇔ f(x(ε)) − f(ˆx) = ε, F(x(ε)) = 0,
x(ε) − ˆx = F−1
(ε, 0) − ˆx ≤ K (ε, 0) = K|ε|
⇒ ˆx ∈ locextr P — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
62. f(x) → extr; F(x) = 0. (P)
F(x):= (f(x) − f(ˆx), F(x)), F, F (ˆx): X → R × Y
Доказательство теоремы проведем от противного.
Предположим, что теорема не верна ⇒ Im F (ˆx) не является
собственным подпространством в R × Y ⇒ Im F (ˆx) = R × Y.
F(ˆx) = (0, 0). По т. об обратном отображении
∃ F−1: W ∈ O((0, 0), R×Y) → X : F−1(0, 0) = ˆx,
F(F−1
(α,y))=(α,y), F−1
(α,y)−F−1
(0, 0) ≤ K (α,y)−(0, 0)
⇔ F−1
(α, y) − ˆx ≤ K (α, y) ∀ (α, y) ∈ W (K > 0).
Положим x(ε):= F−1(ε, 0), |ε| мал ⇒
F(x(ε)) = (ε, 0) ⇔ f(x(ε)) − f(ˆx) = ε, F(x(ε)) = 0,
x(ε) − ˆx = F−1
(ε, 0) − ˆx ≤ K (ε, 0) = K|ε|
⇒ ˆx ∈ locextr P — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
63. Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx), Im F (ˆx) —
замкнуто в Y ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 :
λ0 f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X.
Замечание
Если в условиях теоремы Im F (ˆx) = Y, то λ0 = 0, и,
следовательно, можем считать его равным единице: λ0 = 1.
¡ Действительно, если λ0 = 0, то y∗ = 0 в силу того, что
множители Лагранжа одновременно в ноль не обращаются.
Поэтому условие стационарности приобретает вид:
y∗, F (ˆx)[h] = 0 ∀ h ∈ X ⇔ y∗, Y = 0 ⇔ y∗ = 0 —
противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
64. Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx), Im F (ˆx) —
замкнуто в Y ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 :
λ0 f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X.
Замечание
Если в условиях теоремы Im F (ˆx) = Y, то λ0 = 0, и,
следовательно, можем считать его равным единице: λ0 = 1.
¡ Действительно, если λ0 = 0, то y∗ = 0 в силу того, что
множители Лагранжа одновременно в ноль не обращаются.
Поэтому условие стационарности приобретает вид:
y∗, F (ˆx)[h] = 0 ∀ h ∈ X ⇔ y∗, Y = 0 ⇔ y∗ = 0 —
противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
65. Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx), Im F (ˆx) —
замкнуто в Y ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 :
λ0 f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X.
Замечание
Если в условиях теоремы Im F (ˆx) = Y, то λ0 = 0, и,
следовательно, можем считать его равным единице: λ0 = 1.
¡ Действительно, если λ0 = 0, то y∗ = 0 в силу того, что
множители Лагранжа одновременно в ноль не обращаются.
Поэтому условие стационарности приобретает вид:
y∗, F (ˆx)[h] = 0 ∀ h ∈ X ⇔ y∗, Y = 0 ⇔ y∗ = 0 —
противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
66. Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx), Im F (ˆx) —
замкнуто в Y ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 :
λ0 f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X.
Замечание
Если в условиях теоремы Im F (ˆx) = Y, то λ0 = 0, и,
следовательно, можем считать его равным единице: λ0 = 1.
¡ Действительно, если λ0 = 0, то y∗ = 0 в силу того, что
множители Лагранжа одновременно в ноль не обращаются.
Поэтому условие стационарности приобретает вид:
y∗, F (ˆx)[h] = 0 ∀ h ∈ X ⇔ y∗, Y = 0 ⇔ y∗ = 0 —
противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
67. Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx), Im F (ˆx) —
замкнуто в Y ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 :
λ0 f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X.
Замечание
Если в условиях теоремы Im F (ˆx) = Y, то λ0 = 0, и,
следовательно, можем считать его равным единице: λ0 = 1.
¡ Действительно, если λ0 = 0, то y∗ = 0 в силу того, что
множители Лагранжа одновременно в ноль не обращаются.
Поэтому условие стационарности приобретает вид:
y∗, F (ˆx)[h] = 0 ∀ h ∈ X ⇔ y∗, Y = 0 ⇔ y∗ = 0 —
противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
68. Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx), Im F (ˆx) —
замкнуто в Y ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 :
λ0 f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X.
Замечание
Если в условиях теоремы Im F (ˆx) = Y, то λ0 = 0, и,
следовательно, можем считать его равным единице: λ0 = 1.
¡ Действительно, если λ0 = 0, то y∗ = 0 в силу того, что
множители Лагранжа одновременно в ноль не обращаются.
Поэтому условие стационарности приобретает вид:
y∗, F (ˆx)[h] = 0 ∀ h ∈ X ⇔ y∗, Y = 0 ⇔ y∗ = 0 —
противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
69. Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx), Im F (ˆx) —
замкнуто в Y ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 :
λ0 f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X.
Замечание
Если в условиях теоремы Im F (ˆx) = Y, то λ0 = 0, и,
следовательно, можем считать его равным единице: λ0 = 1.
¡ Действительно, если λ0 = 0, то y∗ = 0 в силу того, что
множители Лагранжа одновременно в ноль не обращаются.
Поэтому условие стационарности приобретает вид:
y∗, F (ˆx)[h] = 0 ∀ h ∈ X ⇔ y∗, Y = 0 ⇔ y∗ = 0 —
противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
70. Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx), Im F (ˆx) —
замкнуто в Y ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 :
λ0 f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X.
Замечание
Если в условиях теоремы Im F (ˆx) = Y, то λ0 = 0, и,
следовательно, можем считать его равным единице: λ0 = 1.
¡ Действительно, если λ0 = 0, то y∗ = 0 в силу того, что
множители Лагранжа одновременно в ноль не обращаются.
Поэтому условие стационарности приобретает вид:
y∗, F (ˆx)[h] = 0 ∀ h ∈ X ⇔ y∗, Y = 0 ⇔ y∗ = 0 —
противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
71. Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx), Im F (ˆx) —
замкнуто в Y ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 :
λ0 f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X.
Замечание
Если в условиях теоремы Im F (ˆx) = Y, то λ0 = 0, и,
следовательно, можем считать его равным единице: λ0 = 1.
¡ Действительно, если λ0 = 0, то y∗ = 0 в силу того, что
множители Лагранжа одновременно в ноль не обращаются.
Поэтому условие стационарности приобретает вид:
y∗, F (ˆx)[h] = 0 ∀ h ∈ X ⇔ y∗, Y = 0 ⇔ y∗ = 0 —
противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
72. Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx), Im F (ˆx) —
замкнуто в Y ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 :
λ0 f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X.
Замечание
Если в условиях теоремы Im F (ˆx) = Y, то λ0 = 0, и,
следовательно, можем считать его равным единице: λ0 = 1.
¡ Действительно, если λ0 = 0, то y∗ = 0 в силу того, что
множители Лагранжа одновременно в ноль не обращаются.
Поэтому условие стационарности приобретает вид:
y∗, F (ˆx)[h] = 0 ∀ h ∈ X ⇔ y∗, Y = 0 ⇔ y∗ = 0 —
противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
73. Теорема (принцип Лагранжа)
ˆx ∈ locextr P, X, Y — банаховы, f, F ∈ SD(ˆx), Im F (ˆx) —
замкнуто в Y ⇒ ∃ (λ0, y∗) ∈ R × Y∗, (λ0, y∗) = 0 :
λ0 f (ˆx), h + y∗
, F (ˆx)[h] = 0 ∀ h ∈ X.
Замечание
Если в условиях теоремы Im F (ˆx) = Y, то λ0 = 0, и,
следовательно, можем считать его равным единице: λ0 = 1.
¡ Действительно, если λ0 = 0, то y∗ = 0 в силу того, что
множители Лагранжа одновременно в ноль не обращаются.
Поэтому условие стационарности приобретает вид:
y∗, F (ˆx)[h] = 0 ∀ h ∈ X ⇔ y∗, Y = 0 ⇔ y∗ = 0 —
противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
74. §7. Гладкая задача с равенствами
7.3 Необходимые условия II порядка
X, Y — лин. норм. пространства, f : X → R, F : X → Y.
f(x) → extr; F(x) = 0. (P)
Теорема
ˆx ∈ locmin P, X, Y — банаховы (условие банаховости),
f, F ∈ D2(ˆx) (условие гладкости), Im F (ˆx) = Y (условие
регулярности) ⇒ ∃ y∗ ∈ Y∗ : для функции Лагранжа с
λ0 = 1 L (x) = f(x) + y∗, F(x) выполняется условие
стационарности
L (ˆx) = 0 ⇔ f (ˆx) + F (ˆx)
∗
y∗ = 0
и неотрицательности:
L (ˆx)[h, h] ≥ 0 ∀ h ∈ Ker F (ˆx).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
75. §7. Гладкая задача с равенствами
7.3 Необходимые условия II порядка
X, Y — лин. норм. пространства, f : X → R, F : X → Y.
f(x) → extr; F(x) = 0. (P)
Теорема
ˆx ∈ locmin P, X, Y — банаховы (условие банаховости),
f, F ∈ D2(ˆx) (условие гладкости), Im F (ˆx) = Y (условие
регулярности) ⇒ ∃ y∗ ∈ Y∗ : для функции Лагранжа с
λ0 = 1 L (x) = f(x) + y∗, F(x) выполняется условие
стационарности
L (ˆx) = 0 ⇔ f (ˆx) + F (ˆx)
∗
y∗ = 0
и неотрицательности:
L (ˆx)[h, h] ≥ 0 ∀ h ∈ Ker F (ˆx).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
76. §7. Гладкая задача с равенствами
7.3 Необходимые условия II порядка
X, Y — лин. норм. пространства, f : X → R, F : X → Y.
f(x) → extr; F(x) = 0. (P)
Теорема
ˆx ∈ locmin P, X, Y — банаховы (условие банаховости),
f, F ∈ D2(ˆx) (условие гладкости), Im F (ˆx) = Y (условие
регулярности) ⇒ ∃ y∗ ∈ Y∗ : для функции Лагранжа с
λ0 = 1 L (x) = f(x) + y∗, F(x) выполняется условие
стационарности
L (ˆx) = 0 ⇔ f (ˆx) + F (ˆx)
∗
y∗ = 0
и неотрицательности:
L (ˆx)[h, h] ≥ 0 ∀ h ∈ Ker F (ˆx).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
77. §7. Гладкая задача с равенствами
7.3 Необходимые условия II порядка
X, Y — лин. норм. пространства, f : X → R, F : X → Y.
f(x) → extr; F(x) = 0. (P)
Теорема
ˆx ∈ locmin P, X, Y — банаховы (условие банаховости),
f, F ∈ D2(ˆx) (условие гладкости), Im F (ˆx) = Y (условие
регулярности) ⇒ ∃ y∗ ∈ Y∗ : для функции Лагранжа с
λ0 = 1 L (x) = f(x) + y∗, F(x) выполняется условие
стационарности
L (ˆx) = 0 ⇔ f (ˆx) + F (ˆx)
∗
y∗ = 0
и неотрицательности:
L (ˆx)[h, h] ≥ 0 ∀ h ∈ Ker F (ˆx).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
78. §7. Гладкая задача с равенствами
7.3 Необходимые условия II порядка
X, Y — лин. норм. пространства, f : X → R, F : X → Y.
f(x) → extr; F(x) = 0. (P)
Теорема
ˆx ∈ locmin P, X, Y — банаховы (условие банаховости),
f, F ∈ D2(ˆx) (условие гладкости), Im F (ˆx) = Y (условие
регулярности) ⇒ ∃ y∗ ∈ Y∗ : для функции Лагранжа с
λ0 = 1 L (x) = f(x) + y∗, F(x) выполняется условие
стационарности
L (ˆx) = 0 ⇔ f (ˆx) + F (ˆx)
∗
y∗ = 0
и неотрицательности:
L (ˆx)[h, h] ≥ 0 ∀ h ∈ Ker F (ˆx).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
79. §7. Гладкая задача с равенствами
7.3 Необходимые условия II порядка
X, Y — лин. норм. пространства, f : X → R, F : X → Y.
f(x) → extr; F(x) = 0. (P)
Теорема
ˆx ∈ locmin P, X, Y — банаховы (условие банаховости),
f, F ∈ D2(ˆx) (условие гладкости), Im F (ˆx) = Y (условие
регулярности) ⇒ ∃ y∗ ∈ Y∗ : для функции Лагранжа с
λ0 = 1 L (x) = f(x) + y∗, F(x) выполняется условие
стационарности
L (ˆx) = 0 ⇔ f (ˆx) + F (ˆx)
∗
y∗ = 0
и неотрицательности:
L (ˆx)[h, h] ≥ 0 ∀ h ∈ Ker F (ˆx).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
80. §7. Гладкая задача с равенствами
7.3 Необходимые условия II порядка
X, Y — лин. норм. пространства, f : X → R, F : X → Y.
f(x) → extr; F(x) = 0. (P)
Теорема
ˆx ∈ locmin P, X, Y — банаховы (условие банаховости),
f, F ∈ D2(ˆx) (условие гладкости), Im F (ˆx) = Y (условие
регулярности) ⇒ ∃ y∗ ∈ Y∗ : для функции Лагранжа с
λ0 = 1 L (x) = f(x) + y∗, F(x) выполняется условие
стационарности
L (ˆx) = 0 ⇔ f (ˆx) + F (ˆx)
∗
y∗ = 0
и неотрицательности:
L (ˆx)[h, h] ≥ 0 ∀ h ∈ Ker F (ˆx).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
81. §7. Гладкая задача с равенствами
7.3 Необходимые условия II порядка
X, Y — лин. норм. пространства, f : X → R, F : X → Y.
f(x) → extr; F(x) = 0. (P)
Теорема
ˆx ∈ locmin P, X, Y — банаховы (условие банаховости),
f, F ∈ D2(ˆx) (условие гладкости), Im F (ˆx) = Y (условие
регулярности) ⇒ ∃ y∗ ∈ Y∗ : для функции Лагранжа с
λ0 = 1 L (x) = f(x) + y∗, F(x) выполняется условие
стационарности
L (ˆx) = 0 ⇔ f (ˆx) + F (ˆx)
∗
y∗ = 0
и неотрицательности:
L (ˆx)[h, h] ≥ 0 ∀ h ∈ Ker F (ˆx).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
82. §7. Гладкая задача с равенствами
7.3 Необходимые условия II порядка
X, Y — лин. норм. пространства, f : X → R, F : X → Y.
f(x) → extr; F(x) = 0. (P)
Теорема
ˆx ∈ locmin P, X, Y — банаховы (условие банаховости),
f, F ∈ D2(ˆx) (условие гладкости), Im F (ˆx) = Y (условие
регулярности) ⇒ ∃ y∗ ∈ Y∗ : для функции Лагранжа с
λ0 = 1 L (x) = f(x) + y∗, F(x) выполняется условие
стационарности
L (ˆx) = 0 ⇔ f (ˆx) + F (ˆx)
∗
y∗ = 0
и неотрицательности:
L (ˆx)[h, h] ≥ 0 ∀ h ∈ Ker F (ˆx).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
83. §7. Гладкая задача с равенствами
7.3 Необходимые условия II порядка
X, Y — лин. норм. пространства, f : X → R, F : X → Y.
f(x) → extr; F(x) = 0. (P)
Теорема
ˆx ∈ locmin P, X, Y — банаховы (условие банаховости),
f, F ∈ D2(ˆx) (условие гладкости), Im F (ˆx) = Y (условие
регулярности) ⇒ ∃ y∗ ∈ Y∗ : для функции Лагранжа с
λ0 = 1 L (x) = f(x) + y∗, F(x) выполняется условие
стационарности
L (ˆx) = 0 ⇔ f (ˆx) + F (ˆx)
∗
y∗ = 0
и неотрицательности:
L (ˆx)[h, h] ≥ 0 ∀ h ∈ Ker F (ˆx).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
84. §7. Гладкая задача с равенствами
7.3 Необходимые условия II порядка
X, Y — лин. норм. пространства, f : X → R, F : X → Y.
f(x) → extr; F(x) = 0. (P)
Теорема
ˆx ∈ locmin P, X, Y — банаховы (условие банаховости),
f, F ∈ D2(ˆx) (условие гладкости), Im F (ˆx) = Y (условие
регулярности) ⇒ ∃ y∗ ∈ Y∗ : для функции Лагранжа с
λ0 = 1 L (x) = f(x) + y∗, F(x) выполняется условие
стационарности
L (ˆx) = 0 ⇔ f (ˆx) + F (ˆx)
∗
y∗ = 0
и неотрицательности:
L (ˆx)[h, h] ≥ 0 ∀ h ∈ Ker F (ˆx).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
85. §7. Гладкая задача с равенствами
7.3 Необходимые условия II порядка
X, Y — лин. норм. пространства, f : X → R, F : X → Y.
f(x) → extr; F(x) = 0. (P)
Теорема
ˆx ∈ locmin P, X, Y — банаховы (условие банаховости),
f, F ∈ D2(ˆx) (условие гладкости), Im F (ˆx) = Y (условие
регулярности) ⇒ ∃ y∗ ∈ Y∗ : для функции Лагранжа с
λ0 = 1 L (x) = f(x) + y∗, F(x) выполняется условие
стационарности
L (ˆx) = 0 ⇔ f (ˆx) + F (ˆx)
∗
y∗ = 0
и неотрицательности:
L (ˆx)[h, h] ≥ 0 ∀ h ∈ Ker F (ˆx).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
86. §7. Гладкая задача с равенствами
7.3 Необходимые условия II порядка
X, Y — лин. норм. пространства, f : X → R, F : X → Y.
f(x) → extr; F(x) = 0. (P)
Теорема
ˆx ∈ locmin P, X, Y — банаховы (условие банаховости),
f, F ∈ D2(ˆx) (условие гладкости), Im F (ˆx) = Y (условие
регулярности) ⇒ ∃ y∗ ∈ Y∗ : для функции Лагранжа с
λ0 = 1 L (x) = f(x) + y∗, F(x) выполняется условие
стационарности
L (ˆx) = 0 ⇔ f (ˆx) + F (ˆx)
∗
y∗ = 0
и неотрицательности:
L (ˆx)[h, h] ≥ 0 ∀ h ∈ Ker F (ˆx).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
87. §7. Гладкая задача с равенствами
7.3 Необходимые условия II порядка
X, Y — лин. норм. пространства, f : X → R, F : X → Y.
f(x) → extr; F(x) = 0. (P)
Теорема
ˆx ∈ locmin P, X, Y — банаховы (условие банаховости),
f, F ∈ D2(ˆx) (условие гладкости), Im F (ˆx) = Y (условие
регулярности) ⇒ ∃ y∗ ∈ Y∗ : для функции Лагранжа с
λ0 = 1 L (x) = f(x) + y∗, F(x) выполняется условие
стационарности
L (ˆx) = 0 ⇔ f (ˆx) + F (ˆx)
∗
y∗ = 0
и неотрицательности:
L (ˆx)[h, h] ≥ 0 ∀ h ∈ Ker F (ˆx).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
88. §7. Гладкая задача с равенствами
7.3 Необходимые условия II порядка
X, Y — лин. норм. пространства, f : X → R, F : X → Y.
f(x) → extr; F(x) = 0. (P)
Теорема
ˆx ∈ locmin P, X, Y — банаховы (условие банаховости),
f, F ∈ D2(ˆx) (условие гладкости), Im F (ˆx) = Y (условие
регулярности) ⇒ ∃ y∗ ∈ Y∗ : для функции Лагранжа с
λ0 = 1 L (x) = f(x) + y∗, F(x) выполняется условие
стационарности
L (ˆx) = 0 ⇔ f (ˆx) + F (ˆx)
∗
y∗ = 0
и неотрицательности:
L (ˆx)[h, h] ≥ 0 ∀ h ∈ Ker F (ˆx).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
89. §7. Гладкая задача с равенствами
7.3 Необходимые условия II порядка
X, Y — лин. норм. пространства, f : X → R, F : X → Y.
f(x) → extr; F(x) = 0. (P)
Теорема
ˆx ∈ locmin P, X, Y — банаховы (условие банаховости),
f, F ∈ D2(ˆx) (условие гладкости), Im F (ˆx) = Y (условие
регулярности) ⇒ ∃ y∗ ∈ Y∗ : для функции Лагранжа с
λ0 = 1 L (x) = f(x) + y∗, F(x) выполняется условие
стационарности
L (ˆx) = 0 ⇔ f (ˆx) + F (ˆx)
∗
y∗ = 0
и неотрицательности:
L (ˆx)[h, h] ≥ 0 ∀ h ∈ Ker F (ˆx).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
90. §7. Гладкая задача с равенствами
7.3 Необходимые условия II порядка
X, Y — лин. норм. пространства, f : X → R, F : X → Y.
f(x) → extr; F(x) = 0. (P)
Теорема
ˆx ∈ locmin P, X, Y — банаховы (условие банаховости),
f, F ∈ D2(ˆx) (условие гладкости), Im F (ˆx) = Y (условие
регулярности) ⇒ ∃ y∗ ∈ Y∗ : для функции Лагранжа с
λ0 = 1 L (x) = f(x) + y∗, F(x) выполняется условие
стационарности
L (ˆx) = 0 ⇔ f (ˆx) + F (ˆx)
∗
y∗ = 0
и неотрицательности:
L (ˆx)[h, h] ≥ 0 ∀ h ∈ Ker F (ˆx).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
91. §7. Гладкая задача с равенствами
7.3 Необходимые условия II порядка
X, Y — лин. норм. пространства, f : X → R, F : X → Y.
f(x) → extr; F(x) = 0. (P)
Теорема
ˆx ∈ locmin P, X, Y — банаховы (условие банаховости),
f, F ∈ D2(ˆx) (условие гладкости), Im F (ˆx) = Y (условие
регулярности) ⇒ ∃ y∗ ∈ Y∗ : для функции Лагранжа с
λ0 = 1 L (x) = f(x) + y∗, F(x) выполняется условие
стационарности
L (ˆx) = 0 ⇔ f (ˆx) + F (ˆx)
∗
y∗ = 0
и неотрицательности:
L (ˆx)[h, h] ≥ 0 ∀ h ∈ Ker F (ˆx).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
92. §7. Гладкая задача с равенствами
7.3 Необходимые условия II порядка
X, Y — лин. норм. пространства, f : X → R, F : X → Y.
f(x) → extr; F(x) = 0. (P)
Теорема
ˆx ∈ locmin P, X, Y — банаховы (условие банаховости),
f, F ∈ D2(ˆx) (условие гладкости), Im F (ˆx) = Y (условие
регулярности) ⇒ ∃ y∗ ∈ Y∗ : для функции Лагранжа с
λ0 = 1 L (x) = f(x) + y∗, F(x) выполняется условие
стационарности
L (ˆx) = 0 ⇔ f (ˆx) + F (ˆx)
∗
y∗ = 0
и неотрицательности:
L (ˆx)[h, h] ≥ 0 ∀ h ∈ Ker F (ˆx).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
93. §7. Гладкая задача с равенствами
7.3 Необходимые условия II порядка
X, Y — лин. норм. пространства, f : X → R, F : X → Y.
f(x) → extr; F(x) = 0. (P)
Теорема
ˆx ∈ locmin P, X, Y — банаховы (условие банаховости),
f, F ∈ D2(ˆx) (условие гладкости), Im F (ˆx) = Y (условие
регулярности) ⇒ ∃ y∗ ∈ Y∗ : для функции Лагранжа с
λ0 = 1 L (x) = f(x) + y∗, F(x) выполняется условие
стационарности
L (ˆx) = 0 ⇔ f (ˆx) + F (ˆx)
∗
y∗ = 0
и неотрицательности:
L (ˆx)[h, h] ≥ 0 ∀ h ∈ Ker F (ˆx).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
94. §7. Гладкая задача с равенствами
7.3 Необходимые условия II порядка
X, Y — лин. норм. пространства, f : X → R, F : X → Y.
f(x) → extr; F(x) = 0. (P)
Теорема
ˆx ∈ locmin P, X, Y — банаховы (условие банаховости),
f, F ∈ D2(ˆx) (условие гладкости), Im F (ˆx) = Y (условие
регулярности) ⇒ ∃ y∗ ∈ Y∗ : для функции Лагранжа с
λ0 = 1 L (x) = f(x) + y∗, F(x) выполняется условие
стационарности
L (ˆx) = 0 ⇔ f (ˆx) + F (ˆx)
∗
y∗ = 0
и неотрицательности:
L (ˆx)[h, h] ≥ 0 ∀ h ∈ Ker F (ˆx).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
95. §7. Гладкая задача с равенствами
7.3 Необходимые условия II порядка
X, Y — лин. норм. пространства, f : X → R, F : X → Y.
f(x) → extr; F(x) = 0. (P)
Теорема
ˆx ∈ locmin P, X, Y — банаховы (условие банаховости),
f, F ∈ D2(ˆx) (условие гладкости), Im F (ˆx) = Y (условие
регулярности) ⇒ ∃ y∗ ∈ Y∗ : для функции Лагранжа с
λ0 = 1 L (x) = f(x) + y∗, F(x) выполняется условие
стационарности
L (ˆx) = 0 ⇔ f (ˆx) + F (ˆx)
∗
y∗ = 0
и неотрицательности:
L (ˆx)[h, h] ≥ 0 ∀ h ∈ Ker F (ˆx).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
96. §7. Гладкая задача с равенствами
7.3 Необходимые условия II порядка
X, Y — лин. норм. пространства, f : X → R, F : X → Y.
f(x) → extr; F(x) = 0. (P)
Теорема
ˆx ∈ locmin P, X, Y — банаховы (условие банаховости),
f, F ∈ D2(ˆx) (условие гладкости), Im F (ˆx) = Y (условие
регулярности) ⇒ ∃ y∗ ∈ Y∗ : для функции Лагранжа с
λ0 = 1 L (x) = f(x) + y∗, F(x) выполняется условие
стационарности
L (ˆx) = 0 ⇔ f (ˆx) + F (ˆx)
∗
y∗ = 0
и неотрицательности:
L (ˆx)[h, h] ≥ 0 ∀ h ∈ Ker F (ˆx).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
97. ¡ Напомним, что (Замечание к Следствию 2 п. 5.3.3)
существование второй производной Фреше в точке
гарантирует строгую дифференцируемость отображения в
этой точке.
Поэтому условие стационарности вытекает из правила
множителей Лагранжа для гладкой задачи с равенствами и
замечания к нему (λ0 = 1 при Im F (ˆx) = Y).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
98. ¡ Напомним, что (Замечание к Следствию 2 п. 5.3.3)
существование второй производной Фреше в точке
гарантирует строгую дифференцируемость отображения в
этой точке.
Поэтому условие стационарности вытекает из правила
множителей Лагранжа для гладкой задачи с равенствами и
замечания к нему (λ0 = 1 при Im F (ˆx) = Y).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
99. ¡ Напомним, что (Замечание к Следствию 2 п. 5.3.3)
существование второй производной Фреше в точке
гарантирует строгую дифференцируемость отображения в
этой точке.
Поэтому условие стационарности вытекает из правила
множителей Лагранжа для гладкой задачи с равенствами и
замечания к нему (λ0 = 1 при Im F (ˆx) = Y).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
100. Условие неотрицательности. Возьмем h ∈ Ker F (ˆx).
Поскольку по т. о касательном пространстве Ker F (ˆx)=Tˆx M,
то h ∈ Tˆx M, где M := D(P) = {x ∈ X | F(x) = F(ˆx) = 0}.
По определению касательного вектора ∃ ε > 0 и
отображение r : [−ε; ε] → Y : F(ˆx + th + r(t)) = 0 ∀ t ∈ [−ε; ε]
и r(t) = o(t) при t → 0 ⇒ ˆx + th + r(t) ∈ D(P) при
t ∈ [−ε; ε]. Тогда для L (x) = f(x) + y∗, F(x) имеем:
f(ˆx)
ˆx∈locmin
≤ f(ˆx + th + r(t))
def L
= L (ˆx + th + r(t))−
− y∗, F(ˆx + th + r(t))
ф. Тейлора
= L (ˆx) + L (ˆx)[th + r(t)]+
+1
2 L (ˆx)[th + r(t), th + r(t)] + o( th + r(t) 2) =
= f(ˆx) + t2
2 L (ˆx)[h, h] + o(t2) ⇒ t2
2 L (ˆx)[h, h] + o(t2) ≥ 0 при
малых t. Разделим обе части последнего неравенства на t2 и
устремим t к нулю. Получим L (ˆx)[h, h] ≥ 0. £
Необходимое условие максимума формулируется аналогично
для L (x) = −f(x) + y∗, F(x) . £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление