applet-magic.com
Thayer Watkins
Silicon Valley
Et Ruelle de tornade
LES Etats-Unis

Conditions du second degré pour l'optimisation :
Contraint et Unconstrained

Le but de cette lecture est la dérivation des conditions du second degré pour l'optimisation de sorte que le lecteur comprenne non seulement ce que sont ces états du second degré mais également pourquoi tels sont les conditions appropriés. Pour le cas sans contrainte les conditions sont énoncées en termes de matrice des deuxièmes dérivés appelés la matrice de toile de jute. la matrice de toile de jute est intuitivement compréhensible. les conditions pour le cas contraint peuvent être facilement énoncées en termes de matrice appelée la toile de jute encadrée. Génération après la génération des étudiants appliqués de mathématiques ont accepté la toile de jute encadrée sans indice quant à pourquoi c'est l'entité appropriée.

Afin d'accomplir le but de fournir une dérivation intuitive des conditions du second degré celui, deux et trois cas variables sera donné d'abord avant de se déplacer au cas général de variable de n.

L'un cas variable

Bien que ce cas soit si simple il semble presque insignifiant ses ensembles d'anaLyse l'étape pour les cas plus complexes.

Laissez f(x) être une fonction différentiable. l'approximation quadratique à f(x) près d'un certain point x0 est donnée près


f(x) = f(x0) + fx(x0)(x-x0) + ½fxx(x0)(x-x0)2
ou, d'une manière equivalente
df= de fx(x0) + ½fxx(x0)(dx)2
 

là où dx= (x-x0) et df=f(x)-f(x0).

Un point critique est une valeur de x0 tels que le fx(x0) =0. Si fx(x0) =0 alors


df = ½fxx(x0)(dx)2
 

Pour un minimum le df doit être positif et depuis (dx)2 est toujours positif il signifie que le fxx(x0) doit être positif. D'une part pour un maximum le df doit être négatif et cela exige ce fxx(x0) soit négatif. La matrice de toile de jute pour ce cas est juste la matrice 1×1 [fxx(x0)]. (Ci-après on dirait que le point auquel les deuxièmes dérivés sont évalués ne seront pas exprimés explicitement ainsi la matrice de toile de jute pour ce cas est [fxx].

Il n'y a aucun problème contraint correspondant d'optimisation pour ce cas un variable.

Le cas de deux variables

L'approximation quadratique au sujet du point (x0, y0) pour une fonction différentiable f(x, y) est


df = fxdx + fydy + ½ [fxxdxdx + fxydxdy + fyxdydx + fyydydy]
ce qui peut être exprimé sous la forme

df = fxdx + fydy + ½ (dx, dy)H(dx, dy)T
 

là où (dx, dy)T est le vecteur de colonne qui est la transposition du vecteur de rangée (dx, dy) et


    | fxx fxy |
H = |           |
    | fyx fyy |

 

Pour le cas sans contrainte par point critique est on tels que fx=0 et fy=0 ainsi


df = ½(dx, dy)H(dx, dy)T
 

Pour un minimum que l'état du second degré est ce H soyez une matrice définie positive. Le conditon pour qu'une matrice soit positive que défini soit que ses principaux mineurs tous soient positifs. Pour un maximum, H doit être une matrice définie négative qui sera le cas si les mineurs pincipal alternent dans le signe.

Pour le cas contraint par point critique est défini en termes de méthode lagrangienne de multiplicateur. Supposez que la contrainte est


px + pyy = I
dans ce cas
les premiers conditions d'ordre sont
fx= λpx
fy= λpy
 

là où le λ, le multiplicateur lagrangien, est choisi afin de faire satisfaire les valeurs critiques la contrainte.

L'approximation quadratique peut maintenant être exprimée As


df = λpxdx + λpydy + ½(dx, dy)H(dx, dy)T
 

Puisque toutes les déviations du point critique doivent également satisfaire la contrainte


pxdx + pydy = 0
 

donc


df = λ (pxdx + pydy) + ½(dx, dy)H(dx, dy)T
= ½ (dx, dy)H(dx, dy)T
 

mais maintenant Hne doit pas être défini positif ou négatif pour une extrémité (maximum ou minimum) parce que le dx et dy ne sont pas sans restriction ; c.-à-d., seulement dx et dy tels qu'on permet le pxdx + pydy = 0. Ceci rend indiquant les conditions sur Htrès difficile. L'analyse supplémentaire du cas contraint sera remise à plus tard jusqu'à après la considération du point de droit sans contrainte pour trois variables.

Le cas de trois variables

Pour une fonction trinary f(x, y, z) l'approximation quadratique des déviations est


df = fxdx + fydy + fzdz + ½ (dx, dy, dz)H(dx, dy, dz)T
 

là où H est maintenant donné près


    | fxz fxy fxz |
H = | fyz fyy fyz |
    | fzx fzy fzz |

 

Comme dans le cas un et deux sans contrainte variable les premières limites d'ordre disparaissent et les conditions pour un minimum est la définitivité positive de H et définitivité pareillement négative pour le maximum. Ces conditions alternativement peuvent être énoncées en termes de signes des principaux mineurs du H. là est rien de neuf ici pour ce cas.

La signification de ce cas est que le cas contraint de deux variables peut être redit en termes de cas de trois variables par l'utilisation de la méthode lagrangienne de multiplicateur.

Dans la méthode lagrangienne de multiplicateur le problème d'optimisation de réduire au minimum f(x, y) en ce qui concerne x et y sujet au px de contrainte + pyy = I est transformé en problème de trois variables de réduire au minimum sans contrainte


L (x, y, λ) = f(x, y) - λ (pxx + pyy - I)
 

en ce qui concerne x, y et λ.

La première condition d'ordre pour le λ est


Lλ = pxx + pyy - I = 0
ce qui est équivalent à satisfaire la contrainte.
 

L'approximation quadratique pour L (x, y, λ) est alors


dL = Lxdx + Lydy + Lλdλ + ½ (dx, dy, dλ)H*(dx, dy, dλ)T
à ce que sur la base de la définition de L réduit
dL = fxdx + fydy + (pxx + pyy -) dλ I + ½ (dx, dy, dλ)H*(dx, dy, dλ)T
et pour les premiers conditions d'ordre
dL = λpxdx + λpydy + (pxx + pyy - I) dλ
+ ½ (dx, dy, dλ)H*(dx, dy, dλ)T
 

En raison du satisfication des contraintes les deux premières limites réduisent à zéro et de même à la troisième limite. Ainsi la valeur de la dL est indiquée près


dL = + ½ (dx, dy, dλ)H*(dx, dy, dλ)T
 

Les conditons du second degré pour le cas contraint de deux variables alors peuvent être énoncés en termes de toile de jute H* pour le cas corrsponding de trois variables. Le caractère de H* est donné en notant d'abord cela


Lx = fx- λpx
Ly = fy- λpy
Lλ = - (pxx + pyy - I)
 

Et les deuxièmes dérivés sont donnés ainsi comme :


    | fxx fxy -px |
H* = | fyx fyy -py |
    | -px -py  0 |

 

Ainsi c'est la toile de jute encadrée énigmatique. La définitivité positive ou négative de H* est alors les conditions du second degré pour le problème contraint d'optimisation.


HOME PAGE d'applet-magic.com
HOME PAGE de Thayer Watkins