SlideShare a Scribd company logo
1 of 192
Download to read offline
§7. Гладкая задача с равенствами
7.1 Постановка задачи
X, Y — линейные нормированные пространства, f : X → R,
F : X → Y. Гладкая задача с ограничениями типа равенств:
f(x) → extr; F(x) = 0. (P)
Отметим, что отображение типа равенства в
бесконечномерных пространствах может содержать в себе
как конечное, так и бесконечное число равенств.
Допустимые точки.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§7. Гладкая задача с равенствами
7.1 Постановка задачи
X, Y — линейные нормированные пространства, f : X → R,
F : X → Y. Гладкая задача с ограничениями типа равенств:
f(x) → extr; F(x) = 0. (P)
Отметим, что отображение типа равенства в
бесконечномерных пространствах может содержать в себе
как конечное, так и бесконечное число равенств.
Допустимые точки.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§7. Гладкая задача с равенствами
7.1 Постановка задачи
X, Y — линейные нормированные пространства, f : X → R,
F : X → Y. Гладкая задача с ограничениями типа равенств:
f(x) → extr; F(x) = 0. (P)
Отметим, что отображение типа равенства в
бесконечномерных пространствах может содержать в себе
как конечное, так и бесконечное число равенств.
Допустимые точки.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§7. Гладкая задача с равенствами
7.1 Постановка задачи
X, Y — линейные нормированные пространства, f : X → R,
F : X → Y. Гладкая задача с ограничениями типа равенств:
f(x) → extr; F(x) = 0. (P)
Отметим, что отображение типа равенства в
бесконечномерных пространствах может содержать в себе
как конечное, так и бесконечное число равенств.
Допустимые точки.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§7. Гладкая задача с равенствами
7.1 Постановка задачи
X, Y — линейные нормированные пространства, f : X → R,
F : X → Y. Гладкая задача с ограничениями типа равенств:
f(x) → extr; F(x) = 0. (P)
Отметим, что отображение типа равенства в
бесконечномерных пространствах может содержать в себе
как конечное, так и бесконечное число равенств.
Допустимые точки.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§7. Гладкая задача с равенствами
7.1 Постановка задачи
X, Y — линейные нормированные пространства, f : X → R,
F : X → Y. Гладкая задача с ограничениями типа равенств:
f(x) → extr; F(x) = 0. (P)
Отметим, что отображение типа равенства в
бесконечномерных пространствах может содержать в себе
как конечное, так и бесконечное число равенств.
Допустимые точки.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§7. Гладкая задача с равенствами
7.1 Постановка задачи
X, Y — линейные нормированные пространства, f : X → R,
F : X → Y. Гладкая задача с ограничениями типа равенств:
f(x) → extr; F(x) = 0. (P)
Отметим, что отображение типа равенства в
бесконечномерных пространствах может содержать в себе
как конечное, так и бесконечное число равенств.
Допустимые точки.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§7. Гладкая задача с равенствами
7.1 Постановка задачи
X, Y — линейные нормированные пространства, f : X → R,
F : X → Y. Гладкая задача с ограничениями типа равенств:
f(x) → extr; F(x) = 0. (P)
Отметим, что отображение типа равенства в
бесконечномерных пространствах может содержать в себе
как конечное, так и бесконечное число равенств.
Допустимые точки.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Теорема (принцип Лагранжа)
ˆ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 является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Теорема (принцип Лагранжа)
ˆ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 является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Теорема (принцип Лагранжа)
ˆ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 является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Теорема (принцип Лагранжа)
ˆ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 является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Теорема (принцип Лагранжа)
ˆ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 является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Теорема (принцип Лагранжа)
ˆ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 является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Теорема (принцип Лагранжа)
ˆ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 является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Теорема (принцип Лагранжа)
ˆ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 является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Теорема (принцип Лагранжа)
ˆ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 является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Теорема (принцип Лагранжа)
ˆ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 является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Теорема (принцип Лагранжа)
ˆ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 является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Теорема (принцип Лагранжа)
ˆ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 является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Теорема (принцип Лагранжа)
ˆ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 является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Теорема (принцип Лагранжа)
ˆ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 является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Теорема (принцип Лагранжа)
ˆ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 является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Теорема (принцип Лагранжа)
ˆ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 является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Теорема (принцип Лагранжа)
ˆ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 является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Теорема (принцип Лагранжа)
ˆ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 является
собственным.
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
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 — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
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 — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
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 — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
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 — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
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 — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
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 — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
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 — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
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 — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
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 — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
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 — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
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 — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
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 — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
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 — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
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 — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
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 — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
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 — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
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 — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
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 — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
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 — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
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 — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
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 — противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Теорема (принцип Лагранжа)
ˆ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 —
противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Теорема (принцип Лагранжа)
ˆ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 —
противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Теорема (принцип Лагранжа)
ˆ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 —
противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Теорема (принцип Лагранжа)
ˆ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 —
противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Теорема (принцип Лагранжа)
ˆ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 —
противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Теорема (принцип Лагранжа)
ˆ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 —
противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Теорема (принцип Лагранжа)
ˆ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 —
противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Теорема (принцип Лагранжа)
ˆ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 —
противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Теорема (принцип Лагранжа)
ˆ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 —
противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Теорема (принцип Лагранжа)
ˆ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 —
противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Теорема (принцип Лагранжа)
ˆ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 —
противоречие. £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
§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).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
¡ Напомним, что (Замечание к Следствию 2 п. 5.3.3)
существование второй производной Фреше в точке
гарантирует строгую дифференцируемость отображения в
этой точке.
Поэтому условие стационарности вытекает из правила
множителей Лагранжа для гладкой задачи с равенствами и
замечания к нему (λ0 = 1 при Im F (ˆx) = Y).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
¡ Напомним, что (Замечание к Следствию 2 п. 5.3.3)
существование второй производной Фреше в точке
гарантирует строгую дифференцируемость отображения в
этой точке.
Поэтому условие стационарности вытекает из правила
множителей Лагранжа для гладкой задачи с равенствами и
замечания к нему (λ0 = 1 при Im F (ˆx) = Y).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
¡ Напомним, что (Замечание к Следствию 2 п. 5.3.3)
существование второй производной Фреше в точке
гарантирует строгую дифференцируемость отображения в
этой точке.
Поэтому условие стационарности вытекает из правила
множителей Лагранжа для гладкой задачи с равенствами и
замечания к нему (λ0 = 1 при Im F (ˆx) = Y).
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Условие неотрицательности. Возьмем 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) . £
Галеев Э. М. МГУ
Лекции: Вариационное исчисление и оптимальное управление
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7
Pr i-7

More Related Content

What's hot

Proizvodnaya funkcii
Proizvodnaya funkciiProizvodnaya funkcii
Proizvodnaya funkciiDimon4
 
Структурное обучение и S-SVM
Структурное обучение и S-SVMСтруктурное обучение и S-SVM
Структурное обучение и S-SVMromovpa
 
Метод проекции градиента для решения стационарной системы Стокса как задачи ...
Метод проекции градиента для решения стационарной системы Стокса  как задачи ...Метод проекции градиента для решения стационарной системы Стокса  как задачи ...
Метод проекции градиента для решения стационарной системы Стокса как задачи ...iST1
 
Линейная алгебра - II
Линейная алгебра - IIЛинейная алгебра - II
Линейная алгебра - IIDEVTYPE
 
L3: Линейная и логистическая регрессия
L3: Линейная и логистическая регрессияL3: Линейная и логистическая регрессия
L3: Линейная и логистическая регрессияTechnosphere1
 
10.1. курс лекций афу
10.1. курс лекций афу10.1. курс лекций афу
10.1. курс лекций афуGKarina707
 
Решение краевых задач методом конечных элементов
Решение краевых задач методом конечных элементовРешение краевых задач методом конечных элементов
Решение краевых задач методом конечных элементовTheoretical mechanics department
 
L6: Метод опорных векторов
L6: Метод опорных векторовL6: Метод опорных векторов
L6: Метод опорных векторовTechnosphere1
 
20111202 machine learning_nikolenko_lecture04
20111202 machine learning_nikolenko_lecture0420111202 machine learning_nikolenko_lecture04
20111202 machine learning_nikolenko_lecture04Computer Science Club
 
10 a n_r
10 a n_r10 a n_r
10 a n_r4book
 
L5: Л5 Байесовские алгоритмы
L5: Л5 Байесовские алгоритмыL5: Л5 Байесовские алгоритмы
L5: Л5 Байесовские алгоритмыTechnosphere1
 
20110306 systems of_typed_lambda_calculi_moskvin_lecture04
20110306 systems of_typed_lambda_calculi_moskvin_lecture0420110306 systems of_typed_lambda_calculi_moskvin_lecture04
20110306 systems of_typed_lambda_calculi_moskvin_lecture04Computer Science Club
 

What's hot (20)

Pr i-3
Pr i-3Pr i-3
Pr i-3
 
Proizvodnaya funkcii
Proizvodnaya funkciiProizvodnaya funkcii
Proizvodnaya funkcii
 
Soboland Sat
Soboland SatSoboland Sat
Soboland Sat
 
Структурное обучение и S-SVM
Структурное обучение и S-SVMСтруктурное обучение и S-SVM
Структурное обучение и S-SVM
 
Pr i-1
Pr i-1Pr i-1
Pr i-1
 
Pr i-3
Pr i-3Pr i-3
Pr i-3
 
Get Ft
Get FtGet Ft
Get Ft
 
Метод проекции градиента для решения стационарной системы Стокса как задачи ...
Метод проекции градиента для решения стационарной системы Стокса  как задачи ...Метод проекции градиента для решения стационарной системы Стокса  как задачи ...
Метод проекции градиента для решения стационарной системы Стокса как задачи ...
 
Линейная алгебра - II
Линейная алгебра - IIЛинейная алгебра - II
Линейная алгебра - II
 
L3: Линейная и логистическая регрессия
L3: Линейная и логистическая регрессияL3: Линейная и логистическая регрессия
L3: Линейная и логистическая регрессия
 
10474
1047410474
10474
 
10.1. курс лекций афу
10.1. курс лекций афу10.1. курс лекций афу
10.1. курс лекций афу
 
Решение краевых задач методом конечных элементов
Решение краевых задач методом конечных элементовРешение краевых задач методом конечных элементов
Решение краевых задач методом конечных элементов
 
L6: Метод опорных векторов
L6: Метод опорных векторовL6: Метод опорных векторов
L6: Метод опорных векторов
 
20111202 machine learning_nikolenko_lecture04
20111202 machine learning_nikolenko_lecture0420111202 machine learning_nikolenko_lecture04
20111202 machine learning_nikolenko_lecture04
 
Метод конечных разностей
Метод конечных разностейМетод конечных разностей
Метод конечных разностей
 
10 a n_r
10 a n_r10 a n_r
10 a n_r
 
L5: Л5 Байесовские алгоритмы
L5: Л5 Байесовские алгоритмыL5: Л5 Байесовские алгоритмы
L5: Л5 Байесовские алгоритмы
 
23
2323
23
 
20110306 systems of_typed_lambda_calculi_moskvin_lecture04
20110306 systems of_typed_lambda_calculi_moskvin_lecture0420110306 systems of_typed_lambda_calculi_moskvin_lecture04
20110306 systems of_typed_lambda_calculi_moskvin_lecture04
 

Viewers also liked

презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализупрезентация лекции по выпуклому анализу
презентация лекции по выпуклому анализуgthtcnhjqrf1952
 
Stp summative assessment
Stp summative assessmentStp summative assessment
Stp summative assessmentTim Tse
 
人際關係電腦化:從通訊到社群(王慧明&丁世峰)
人際關係電腦化:從通訊到社群(王慧明&丁世峰)人際關係電腦化:從通訊到社群(王慧明&丁世峰)
人際關係電腦化:從通訊到社群(王慧明&丁世峰)慧明 王
 

Viewers also liked (8)

презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализупрезентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
 
Pr i-4
Pr i-4Pr i-4
Pr i-4
 
Pr i-4
Pr i-4Pr i-4
Pr i-4
 
Pr i-5
Pr i-5Pr i-5
Pr i-5
 
Pr i-1
Pr i-1Pr i-1
Pr i-1
 
Kajian masalah pendengaran
Kajian masalah pendengaranKajian masalah pendengaran
Kajian masalah pendengaran
 
Stp summative assessment
Stp summative assessmentStp summative assessment
Stp summative assessment
 
人際關係電腦化:從通訊到社群(王慧明&丁世峰)
人際關係電腦化:從通訊到社群(王慧明&丁世峰)人際關係電腦化:從通訊到社群(王慧明&丁世峰)
人際關係電腦化:從通訊到社群(王慧明&丁世峰)
 

Similar to Pr i-7

графики
графикиграфики
графикиveraka
 
графики Мехралиева С.А.
графики Мехралиева С.А.графики Мехралиева С.А.
графики Мехралиева С.А.veraka
 
Derivative lesson
Derivative lessonDerivative lesson
Derivative lessonmarinarum
 
Дифференцциальное исчисление
Дифференцциальное исчислениеДифференцциальное исчисление
Дифференцциальное исчислениеvladimiryaschuk
 
простейшие применения принципа_сжатых_отображений
простейшие применения принципа_сжатых_отображенийпростейшие применения принципа_сжатых_отображений
простейшие применения принципа_сжатых_отображенийVladimir Kukharenko
 
Predel funk
Predel funkPredel funk
Predel funkAlex_Tam
 
Исследование логарифмической функции с помощью мат. анализа
Исследование логарифмической функции с помощью мат. анализа Исследование логарифмической функции с помощью мат. анализа
Исследование логарифмической функции с помощью мат. анализа Slava Antipov
 
кустурова элем функции
кустурова элем функциикустурова элем функции
кустурова элем функцииurvlan
 
Функции, 11-й клаас
Функции, 11-й клаасФункции, 11-й клаас
Функции, 11-й клаасAlbina
 
Исследование производной
Исследование производнойИсследование производной
Исследование производнойagafonovalv
 
математик анализ лекц№10
математик анализ лекц№10математик анализ лекц№10
математик анализ лекц№10narangerelodon
 
[Youdz.ru] первообразная.
[Youdz.ru] первообразная.[Youdz.ru] первообразная.
[Youdz.ru] первообразная.You DZ
 
Многочлены наилучших среднеквадратичных приближений
Многочлены наилучших среднеквадратичных приближенийМногочлены наилучших среднеквадратичных приближений
Многочлены наилучших среднеквадратичных приближенийTheoretical mechanics department
 
николаева первообр интеграл
николаева первообр интегралниколаева первообр интеграл
николаева первообр интегралurvlan
 
Pervoobraznaya i integral_11_klass
Pervoobraznaya i integral_11_klassPervoobraznaya i integral_11_klass
Pervoobraznaya i integral_11_klassdimonz9
 

Similar to Pr i-7 (19)

графики
графикиграфики
графики
 
графики Мехралиева С.А.
графики Мехралиева С.А.графики Мехралиева С.А.
графики Мехралиева С.А.
 
Derivative lesson
Derivative lessonDerivative lesson
Derivative lesson
 
Дифференцциальное исчисление
Дифференцциальное исчислениеДифференцциальное исчисление
Дифференцциальное исчисление
 
Question04
Question04Question04
Question04
 
простейшие применения принципа_сжатых_отображений
простейшие применения принципа_сжатых_отображенийпростейшие применения принципа_сжатых_отображений
простейшие применения принципа_сжатых_отображений
 
Predel funk
Predel funkPredel funk
Predel funk
 
Исследование логарифмической функции с помощью мат. анализа
Исследование логарифмической функции с помощью мат. анализа Исследование логарифмической функции с помощью мат. анализа
Исследование логарифмической функции с помощью мат. анализа
 
кустурова элем функции
кустурова элем функциикустурова элем функции
кустурова элем функции
 
Функции, 11-й клаас
Функции, 11-й клаасФункции, 11-й клаас
Функции, 11-й клаас
 
Исследование производной
Исследование производнойИсследование производной
Исследование производной
 
математик анализ лекц№10
математик анализ лекц№10математик анализ лекц№10
математик анализ лекц№10
 
презентация к уроку2
презентация к уроку2презентация к уроку2
презентация к уроку2
 
Svojstva funkcii
Svojstva funkciiSvojstva funkcii
Svojstva funkcii
 
Vzaimno obratnye funkcii
Vzaimno obratnye funkciiVzaimno obratnye funkcii
Vzaimno obratnye funkcii
 
[Youdz.ru] первообразная.
[Youdz.ru] первообразная.[Youdz.ru] первообразная.
[Youdz.ru] первообразная.
 
Многочлены наилучших среднеквадратичных приближений
Многочлены наилучших среднеквадратичных приближенийМногочлены наилучших среднеквадратичных приближений
Многочлены наилучших среднеквадратичных приближений
 
николаева первообр интеграл
николаева первообр интегралниколаева первообр интеграл
николаева первообр интеграл
 
Pervoobraznaya i integral_11_klass
Pervoobraznaya i integral_11_klassPervoobraznaya i integral_11_klass
Pervoobraznaya i integral_11_klass
 

Pr i-7

  • 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) . £ Галеев Э. М. МГУ Лекции: Вариационное исчисление и оптимальное управление