5. ฏߧ͕҆ఆ
ఆٛɿฏߧ͕҆ఆ
ฏߧ ͕҆ఆͰ͋Δͱ
ͷҙͷۙ ʹରͯ͠
ʹ͓͚Δ ͷదͳۙ ͕ଘࡏͯ͠
ॳظ ͕ ʹ·ؚΕΔҙͷղ
ͯ͢ͷ ʹରͯ͠ఆٛ͞Ε
͕ ʹ·ؚΕ͍ͯΔ͜ͱΛ͍͏
x ∈ W x U
U x U1 x(0) U1 x(t)
t ≥ 0 x(t) U
U
U1
x x(0)
U
U1
x
x(1)
x(0)
U
U1
x
x(1)
x(t)
ɾɾɾ
ฏߧͷۙ͘ͷ͕࣌ؒͯͬܦ͋Δൣғʹཹ·Δ
ʹ·ؚΕΔ
x(0) U1
x(0)
8. ϦΞϓϊϑͷఆཧ
ఆٛɿϦΞϓϊϑͷఆཧ
ฏߧ ͱ͢Δ
ͷ͋Δۙ ্ͷ࿈ଓؔ ͕ ͰඍՄೳͰ͋Γ
࣍ͷ̎݅Λຬͨ͢ͱ͢Δ
͔ͭ ʹରͯ͠
্Ͱ
͜͜Ͱඍํఔࣜ ͜ͷͱ͖
҆ఆͳฏߧͰ͋Δ
্Ͱ
͕ຬͨ͞ΕΔͱ͖
ۙ҆ఆͳฏߧͰ͋Δ
Λຬͨ͢ ΛϦΞϓϊϑؔ
ຬͨ͢ͱڱٛͷϦΞϓϊϑؔ
x ∈ W
x U V : U → ℜ U − {x}
V(x) = 0 y ≠ x V(y) 0
U − {x}
·
V(x) ≡
n
∑
i=1
∂V
∂xi
fi(x) ≤ 0.
·
xi = fi(x) x
U − {x}
·
V(x) 0 x
V : U → ℜ
9. ϦΞϓϊϑͷఆཧ
ฏߧ ͱ͢Δ
ͷ͋Δۙ ্ͷ࿈ଓؔ ͕ ͰඍՄೳ
͔ͭ ʹରͯ͠
ฏߧۙʹͯ࠷খ
x ∈ W
x U V : U → ℜ U − {x}
V(x) = 0 y ≠ x V(y) 0
y ≠ x
U
U
x
V
x
ʢ ʣ
y
y
10. ϦΞϓϊϑͷఆཧ
ฏߧ ͱ͢Δ
ͷ͋Δۙ ্ͷ࿈ଓؔ ͕ ͰඍՄೳ
্Ͱ
x ∈ W
x U V : U → ℜ U − {x}
U − {x}
·
V(x) ≡
n
∑
i=1
∂V
∂xi
fi(x) ≤ 0.
U
x
ʢ ʣ
U1
U1
x(0) U
V
x
ʢ ʣ
x(0)
B
͕࣌ؒͲ΄ͭܦ খ͘͞ͳΔɾ·ͨಉ͡ΛͱΔ
V(x)
C
͕খ͘͞ͳΔํ·ͨಉ͡ʹͳΔΑ͏ʹ ಈ͘
V(x) x
11. ϦΞϓϊϑͷఆཧ
ฏߧ ͱ͢Δ
ͷ͋Δۙ ্ͷ࿈ଓؔ ͕ ͰඍՄೳ
্Ͱ
͕ຬͨ͞ΕΔͱ͖
ۙ҆ఆͳฏߧͰ͋Δ
x ∈ W
x U V : U → ℜ U − {x}
U − {x}
·
V(x) 0 x
U
x
ʢ ʣ
U1
U1
x(0)
U
V
x
ʢ ʣ
x(0)
B
͕࣌ؒͲ΄ͭܦ খ͘͞ͳΔ
V(x)
C
͕খ͘͞ͳΔํʹ ಈ্͘
͍ͣΕඞͣ ʹऩଋ͢Δ
V(x) x x