20.01.2015 Aufrufe

Skript zur Vorlesung Analysis 1 im SS2011 - Johannes Gutenberg ...

Skript zur Vorlesung Analysis 1 im SS2011 - Johannes Gutenberg ...

Skript zur Vorlesung Analysis 1 im SS2011 - Johannes Gutenberg ...

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

(bzw. fallend), so gilt f ′ (x) ≥ 0 (bzw. f ′ (x) ≤ 0) für alle x ∈ [a, b].<br />

(e) Sei f :]a, b[−→ R 2–Mal differenzierbar und in x ∈]a, b[ sei f ′ (x) = 0 und<br />

f ′′ (x) > 0 (bzw. f ′′ (x) < 0). Dann hat f in x ein lokales Min<strong>im</strong>um (bzw. Max<strong>im</strong>um).<br />

Beweis. (a) Angenommen es gibt x < y mit f(y) − f(x) > C(y − x) (oder <<br />

c(y − x)). Nach dem Mittelwertsatz gibt es dann ein x 0 ∈]x, y[ mit f(y) − f(x) =<br />

f ′ (x 0 )(y − x) und f ′ (x 0 ) > C (oder f ′ (x 0 ) < c). Dies ist ein Widerspruch zu<br />

c ≤ f ′ (x 0 ) ≤ C.<br />

(b) Folgt aus (a) mit C = c = 0.<br />

(c) Angenommen f ′ ≥ 0 und f ist nicht monoton wachsend (Beweis für andere<br />

genauso), d.h. es gibt x < y in [a, b] mit f(x) > f(y). Nach dem Mittelwertsatz<br />

gibt es dann ein x 0 ∈]x, y[ mit<br />

f ′ (x 0 ) =<br />

f(y) − f(x)<br />

y − x<br />

< 0.<br />

Widerspruch!<br />

(d) Folgt aus der Definition von f ′ (x).<br />

(e) Sei f ′ (x) = 0 und f ′′ (x) > 0 (Beweis für < 0 genauso). Dann existiert ein<br />

δ > 0, so dass<br />

f ′ (x ′ ) − f ′ (x)<br />

> 0<br />

x ′ − x<br />

für alle x ′ mit |x − x ′ | < δ, da f ′′ (x) > 0. Da f ′ (x) = 0 ist, gilt also f ′ (x ′ ) ><br />

x ′ − x ≥ 0 für x ≤ x ′ < x + δ und f ′ (x ′ ) < x ′ − x ≤ 0 für x − δ < x ′ ≤ x. Nach<br />

(c) ist f streng monoton wachsend bzw. fallend rechts bzw. links von x. Also ist<br />

x ein lokales Min<strong>im</strong>um.<br />

Definition 7.20.<br />

Eine Funktion f :]a, b[−→ R heißt konvex (bzw. konkav), falls f die Ungleichung<br />

f(λx 1 + (1 − λ)x 2 ) ≤ λf(x 1 ) + (1 − λ)f(x 2 )<br />

(bzw. ≥) für alle x 1 , x 2 ∈]a, b[ und 0 ≤ λ ≤ 1 erfüllt ist.<br />

Proposition 7.21. Ist f auf ]a, b[ 2–Mal differenzierbar, so ist f konvex, falls<br />

f ′′ (x) ≥ 0. Die Umkehrung gilt auch (ohne Beweis).<br />

Beweis. f ′ ist monoton wachsend auf ]a, b[, da f ′′ ≥ 0. Sei x 1 < x 2 , x := λx 1 +<br />

(1 − λ)x 2 und 0 < λ < 1. Dann gilt x 1 < x < x 2 . Nach dem Mittelwertsatz gibt<br />

es ξ 1 ∈]x 1 , x[ und ξ 2 ∈]x, x 2 [ mit<br />

f(x) − f(x 1 )<br />

x − x 1<br />

= f ′ (ξ 1 ) ≤ f ′ (ξ 2 ) = f(x 2) − f(x)<br />

.<br />

x 2 − x<br />

76

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!