Hva er extrema- og sadelpunktene til f (x, y) = xye ^ (- x ^ 2-y ^ 2)?

Svar:

#(0,0)# er et sadelpunkt

# (1 / sqrt 2,1 / sqrt 2) # og # (- 1 / sqrt 2, -1 / sqrt 2) # er lokale maksima

# (1 / sqrt 2, -1 / sqrt 2) # og # (- 1 / sqrt 2,1 / sqrt 2) # er lokale minima

# (0, pm 1 / sqrt 2) # og # (pm 1 / sqrt 2,0) # er bøyningspunkter.

Forklaring:

For en generell funksjon #F (x, y) # med et stasjonært punkt på # (X_0, y_0) # Vi har Taylor-serien ekspansjon

#F (x_0 + xi, y_0 + eta) = F (x_0, y_0) + 1 / (2!) (F_ {xx} xi ^ 2 + F_ {yy} eta ^ 2 + 2F_ {xy} xi eta) + ldots #

For funksjonen

#f (x) = x y e ^ {- x ^ 2-y ^ 2} #

vi har

# (delf) / (del x) = ye ^ {- x ^ 2-y ^ 2} + x y (-2x) e ^ {- x ^ 2-y ^ 2}

#qquad = y (1-2x ^ 2) e ^ {- x ^ 2-y ^ 2} #

# (del f) / (del y) = xe ^ {- x ^ 2-y ^ 2} + x y (-2y) e ^ {- x ^ 2-y ^ 2}

#qquad = x (1-2y ^ 2) e ^ {- x ^ 2-y ^ 2} #

Det er lett å se at begge de første derivatene forsvinner på de følgende ponrene

• #(0,0)#
• # (0, pm 1 / sqrt2) #
• # (pm 1 / sqrt2, 0) #
• # (pm 1 / sqrt2, pm 1 / sqrt2) #

For å undersøke arten av disse stasjonære punktene må vi se på oppførselen til de andre derivatene der.

Nå

# (del ^ 2f) / (del x ^ 2) = y (-4x) e ^ {- x ^ 2-y ^ 2} + y (1-2x ^ 2) (-2x) e ^ {- x ^ 2-y ^ 2} #

#qquad = x y (4x ^ 2-6) e ^ {- x ^ 2-y ^ 2} #

og lignende

# (del ^ 2f) / (del y ^ 2) = xy (4y ^ 2-6) e ^ {- x ^ 2-y ^ 2} #

og

# (del ^ 2f) / (del xdel y) = (1-2y ^ 2) e ^ {- x ^ 2-y ^ 2} + x (1-2y ^ 2) x ^ 2-y ^ 2} #

#qquad = (1-2x ^ 2-2y ^ 2 + 4x ^ 2y ^ 2) e ^ {- x ^ 2-y ^ 2} #

#qquad = (1-2x ^ 2) (1-2y ^ 2) e ^ {- x ^ 2-y ^ 2} #

Så for #(0,0)# vi har # (del ^ 2f) / (del x ^ 2) = (del ^ 2f) / (del y ^ 2) = 0 # og # (del ^ 2 f) / (del x del y) = 1 # - dermed

#f (0 + xi, 0 + eta) = f (0,0) + xi eta = xi eta #

Hvis du nærmer deg #(0,0)# langs linjen # X = y #, dette blir dette

#f (0 + xi, 0 + xi) = xi ^ 2 #

og så #(0,0)# er åpenbart et minimum hvis du nærmer deg fra denne retningen. På den annen side, hvis du nærmer deg langs linjen # X = -y # vi har

#f (0 + xi, 0-xi) = -xi ^ 2 #

og så #(0,0)# er et maksimum langs denne retningen, Og dermed #(0,0)# er en sadelpunkt.

Til # (1 / sqrt2,1 / sqrt2) # det er lett å se det

# (del ^ 2f) / (del x ^ 2) = (del ^ 2f) / (del y ^ 2) = -2e ^ {- 1/2} <0 # og # (del ^ 2 f) / (del x del y) = 0 #

som betyr at

#f (1 / sqrt 2 + xi, 1 / sqrt 2 + eta) = f (1 / sqrt 2,1 / sqrt 2) -e ^ {- 1/2 (xi ^ 2 + eta ^ 2)} #

Så, funksjonen reduseres, uansett hvilken vei du beveger deg bort fra # (1 / sqrt 2,1 / sqrt 2) # og dette er en lokal maksimum. Det er lett å se at det samme gjelder # (- 1 / sqrt2, -1 / sqrt2) # (dette burde vært klart, siden funksjonen forblir den samme under # (x, y) til (-x, -y) #!

Igjen, for begge # (1 / sqrt2, -1 / sqrt2) # og # (- 1 / sqrt2,1 / sqrt2) # vi har

# (del ^ 2f) / (del x ^ 2) = (del ^ 2f) / (del y ^ 2) = 2e ^ {- 1/2}> 0 # og # (del ^ 2 f) / (del x del y) = 0 #

Så begge punktene er lokale minima.

De fire poengene # (0, pm 1 / sqrt2) # og # (pm 1 / sqrt2, 0) # er mer problematisk - siden alle andre rekkefølgenderivater forsvinner på disse punktene. Vi må nå se på høyere ordensderivater. Heldigvis trenger vi ikke å jobbe veldig hardt for dette - de aller neste avledene gir

# (del ^ 3f) / (del x ^ 3) = -2y (3-12x ^ 2 + 4x ^ 4) e ^ {- x ^ 2-y ^ 2} #

som er ikke-null for begge # (0, pm 1 / sqrt2) # og # (pm 1 / sqrt2, 0) #. Nå betyr dette at, for eksempel

#f (0 + xi, 1 / sqrt 2) = f (0,1 / sqrt 2) +1/3 ((del ^ 3f) / (del x ^ 3)) {{0,1 / sqrt2) } xi ^ 3 + … #

som viser at dette vil øke fra # f (0,1 / sqrt 2) # i en retning, og redusere fra den i den andre. Og dermed # (0,1 / sqrt2) # er et ** bøyningspunkt. Det samme argumentet fungerer for de tre andre punktene.