• Nie Znaleziono Wyników

Własności funkcji różniczkowalnych

N/A
N/A
Protected

Academic year: 2021

Share "Własności funkcji różniczkowalnych"

Copied!
16
0
0

Pełen tekst

(1)

1 / 16

Analiza Matematyczna. Własno ´sci funkcji ró˙zniczkowalnych

Aleksander Denisiuk denisiuk@pjwstk.edu.pl

Polsko-Japo ´nska Wy˙zsza Szkoła Technik Komputerowych Wydział Informatyki w Gda ´nsku

ul. Brzegi 55 80-045 Gda ´nsk

(2)

Własno ´sci funkcji ró˙zniczkowalnych

•Własno´sci funkcji ró˙zniczkowalnych •Ekstrema •Twierdzenie Rolle’a •Twierdzenie Lagrange’a •Minumum/Maksimum •Dwie nierówno´sci •Twierdzenie Cauchy’ego

Najnowsza wersja tego dokumentu dost ˛epna jest pod adresem

(3)

Wzrastanie funkcji w punkcie. Ekstremum lokalne

•Własno´sci funkcji ró˙zniczkowalnych •Ekstrema •Twierdzenie Rolle’a •Twierdzenie Lagrange’a •Minumum/Maksimum •Dwie nierówno´sci •Twierdzenie Cauchy’ego 3 / 16

Niech dana b ˛edzie funkcja

y

= f (x)

, okre´slona w otoczeniu punktu

c

.

Definicja 1. 1. Funkcja

y

= f (x)

ro´snie w punkcie

c

, je˙zeli istnieje takie otoczenie punktu

c

, ˙ze

f

(x) < f (c)

dla

x < c

oraz

f

(x) > f (c)

dla

x > c

,

2. Funkcja

y

= f (x)

maleje w punkcie

c

, je˙zeli istnieje takie otoczenie punktu

c

, ˙ze

f

(x) > f (c)

dla

x < c

oraz

f

(x) < f (c)

dla

x > c

,

3. Funkcja

y

= f (x)

ma maksimum lokalne w punkcie

c

, je˙zeli istnieje takie otoczenie punktu

c

, w którym

f

(x) 6 f (c)

4. Funkcja

y

= f (x)

ma minimum lokalne w punkcie

c

, je˙zeli istnieje takie otoczenie punktu

c

, w którym

f

(x) > f (c)

5. Funkcja

y

= f (x)

ma ekstremum lokalne w punkcie

c

, je˙zeli ona ma w tym punkcie minimum lub maksimum lokalne.

(4)

Konieczny warunek ekstremum

•Własno´sci funkcji ró˙zniczkowalnych •Ekstrema •Twierdzenie Rolle’a •Twierdzenie Lagrange’a •Minumum/Maksimum •Dwie nierówno´sci •Twierdzenie Cauchy’ego

Twierdzenie 2. Niech dana b ˛edzie funkcja

f

(x)

ró˙zniczkowalna w punkcie

a

. Wtedy, je˙zeli

f

(a) > 0

(

f

(a) < 0

), to

f

(x)

ro´snie (maleje) w punkcie

a

.

Wniosek 3. Je˙zeli funkcja

f

(x)

ma wpunkcie

a

ekstremum lokalne, to

f

(a) = 0

.

Uwaga 4. Przykład funkcji

y

= x

3 wskazuje, ˙ze twierdzenie 2 daje dostateczny warunek wzrastania (malenia), który nie jest

koniecznym. Natomiast warunek ekstremum lokalnego z wniosku 3

(5)

Twierdzenie Rolle’a

•Własno´sci funkcji ró˙zniczkowalnych •Ekstrema •Twierdzenie Rolle’a •Twierdzenie Lagrange’a •Minumum/Maksimum •Dwie nierówno´sci •Twierdzenie Cauchy’ego 5 / 16

Twierdzenie 5. Niech funkcja

y

= f (x)

b ˛edzie ci ˛agł ˛a na przedziale

[a, b]

, ró˙zniczkowaln ˛a na przedziale

(a, b)

, oraz

f

(a) = f (b)

. Wtedy

∃ξ ∈ (a, b)

, takie ˙ze

f

(ξ) = 0

.

Dowód.

f

osi ˛aga swoje kresy

M

= sup f

i

m

= inf f

. Je˙zeli

M

= m

, to

f

(x) = const

i

f

(x) ≡ 0

. Je˙zeli

M > m

, to

przynajmniej jeden z kresów jest osi ˛agalny wewn ˛atrz przedziału

(6)

Twierdzenie Lagrange’a

•Własno´sci funkcji ró˙zniczkowalnych •Ekstrema •Twierdzenie Rolle’a •Twierdzenie Lagrange’a •Minumum/Maksimum •Dwie nierówno´sci •Twierdzenie Cauchy’ego

Twierdzenie 6. Niech funkcja

y

= f (x)

b ˛edzie ci ˛agł ˛a na przedziale

[a, b]

oraz ró˙zniczkowaln ˛a na przedziale

(a, b)

. Wtedy

∃ξ ∈ (a, b)

, takie ˙ze

f

(b) − f(a) = f

(ξ)(b − a)

.

Dowód. Zastosowa´c twierdzenie Rolle’a (twierdzenie 5) do funkcji

(7)

Wnioski z twierdzenia Lagrange’a

•Własno´sci funkcji ró˙zniczkowalnych •Ekstrema •Twierdzenie Rolle’a •Twierdzenie Lagrange’a •Minumum/Maksimum •Dwie nierówno´sci •Twierdzenie Cauchy’ego 7 / 16

Twierdzenie 7. Niech funkcja

y

= f (x)

b ˛edzie ró˙zniczkowalna na przedziale

(a, b)

oraz

∀x ∈ (a, b) f

(x) = 0

. Wtedy

f

(x) = const

.

Dowód.

∀x

1

, x

2

∈ (a, b)

istnieje

ξ

∈ (a, b)

takie, ˙ze

(8)

Wnioski z twierdzenia Lagrange’a

•Własno´sci funkcji ró˙zniczkowalnych •Ekstrema •Twierdzenie Rolle’a •Twierdzenie Lagrange’a •Minumum/Maksimum •Dwie nierówno´sci •Twierdzenie Cauchy’ego

Twierdzenie 8. Niech funkcja

y

= f (x)

b ˛edzie ró˙zniczkowalna na przedziale

(a, b)

. Na to, ˙zeby funkcja

f

była niemalej ˛ac ˛a

(nierosn ˛ac ˛a) na tym przedziale, potrzeba i wystarczy, ˙zeby na

(a, b)

było

f

(x) > 0

(

f

(x) 6 0

).

Dowód.

Niech

f

(x)

b ˛edzie niemalej ˛ac ˛a na

(a, b)

. Wtedy w ˙zadnym z punktów

(a, b)

funkcj ˛a nie mo˙ze by´c malej ˛ac ˛a. Za moc ˛a

twierdzenia 2 w ˙zadnym z punktów

(a, b)

nie mo˙ze by´c

f

(x) < 0

.

Niech

∀x ∈ (a, b)

b ˛edzie

f

(x) > 0

. Rozwa˙zmy dowolne

x

1

, x

2

∈ (a, b)

, takie ˙ze

x

1

< x

2. Istnieje

ξ

∈ (a, b)

, takie ˙ze

f

(x

2

) − f(x

1

) = f

(9)

Dostateczny warunek monotoniczno ´sci funkcji

•Własno´sci funkcji ró˙zniczkowalnych •Ekstrema •Twierdzenie Rolle’a •Twierdzenie Lagrange’a •Minumum/Maksimum •Dwie nierówno´sci •Twierdzenie Cauchy’ego 9 / 16

Twierdzenie 9. Niech funkcja

y

= f (x)

b ˛edzie ró˙zniczkowalna na przedziale

(a, b)

oraz

∀x ∈ (a, b) f

(x) > 0

(

f

(x) < 0

). Wtedy

f

(x)

ro´snie (maleje) na przedziale

(a, b)

.

Uwaga 10. Warunek

f

(x) > 0

nie jest koniecznym na to, ˙zeby funkcja

f

była rosn ˛ac ˛a na przedziale, np.

y

= x

3.

Wniosek 11 (Dostateczny warunek ekstremum). Niech funkcja

y

= f (x)

b ˛edzie ró˙zniczkowalna w otoczeniu punktu

a

oraz pochodna

f

w pukcie

a

zmienia znak z minusa na plus (z plusa na minus). Wtedy

f

(x)

ma w punkcie

a

minimum (maksimum) lokalne.

(10)

Poszukiwanie maksimum i minimum funkcji

•Własno´sci funkcji ró˙zniczkowalnych •Ekstrema •Twierdzenie Rolle’a •Twierdzenie Lagrange’a •Minumum/Maksimum •Dwie nierówno´sci •Twierdzenie Cauchy’ego

Twierdzenie 12. Niech funkcja

y

= f (x)

b ˛edzie ci ˛agła na

przedziale

[a, b]

i ró˙zniczkowalna w przedziale

(a, b)

za wyj ˛atkiem sko ´nczonej ilo´sci punktów. Wtedy funkcja

f

osi ˛aga maksimum (minimum) w pukncie

x

0, który spełnia jaden z warunków:

x

0 jest ko ´ncem przedziału,

f

(x

0

) = 0

,

f

(x

0

)

nie istnieje.

Przykład 13. Z kwadratowego kartonu stwórz pudełko o najwi ˛ekszej

(11)

Rozwi ˛

azanie zadania o pudełku

•Własno´sci funkcji ró˙zniczkowalnych •Ekstrema •Twierdzenie Rolle’a •Twierdzenie Lagrange’a •Minumum/Maksimum •Dwie nierówno´sci •Twierdzenie Cauchy’ego 11 / 16

a

x

x

f

(x) = x(a − 2x)

2

,

x

∈ [0,

a2

]

, •

f

(x) = 0 ⇐⇒ (a − 2x)(a − 6x) = 0 ⇐⇒ x =

a2

∨ x =

a6, •

x

0 a 6 a2

f

(x)

0 2a 3 27 0

(12)

Dwie nierówno ´sci

•Własno´sci funkcji ró˙zniczkowalnych •Ekstrema •Twierdzenie Rolle’a •Twierdzenie Lagrange’a •Minumum/Maksimum •Dwie nierówno´sci •Twierdzenie Cauchy’ego

Twierdzenie 14. 1.

| sin x

1

− sin x

2

| 6 |x

1

− x

2

|.

2.

| arctg x

1

− arctg x

2

| 6 |x

1

− x

2

|.

Dowód.

1.

sin x

1

− sin x

2

= cos ξ(x

1

− x

2

)

,

(13)

Twierdzenie Cauchy’ego

•Własno´sci funkcji ró˙zniczkowalnych •Ekstrema •Twierdzenie Rolle’a •Twierdzenie Lagrange’a •Minumum/Maksimum •Dwie nierówno´sci •Twierdzenie Cauchy’ego 13 / 16

Twierdzenie 15. Niech funkcje

f

(x)

i

g(x)

b ˛ed ˛a ró˙zniczkowalne na przedziale

(a, b)

, ci ˛agłe na przedziale

[a, b]

oraz

g

(x) 6= 0

na

(a, b)

. Wtedy istnieje

ξ

∈ (a, b)

, takie ˙ze

f

(b) − f(a)

g

(b) − g(a)

=

f

(ξ)

g

(ξ)

.

Dowód. Zastosowa´c twierdzenie Rolle’a (twierdzenie 5) do funkcji

(14)

Reguła de L’Hospitala (wyra˙zenie nieoznaczone

00

)

•Własno´sci funkcji ró˙zniczkowalnych •Ekstrema •Twierdzenie Rolle’a •Twierdzenie Lagrange’a •Minumum/Maksimum •Dwie nierówno´sci •Twierdzenie Cauchy’ego

Twierdzenie 16. Niech dane b ˛ed ˛a dwie funkcje

f

(x)

i

g(x)

, okre´slone i ró˙zniczkowalne w s ˛asiedztwie punktu

a

, oraz

lim

x→a

f

(x) = lim

x→a

g

(x) = 0

i

g

(x) 6= 0

w tym samym s ˛asiedztwie. Wtedy, je˙zeli istnieje (by´c mo˙ze, niesko ´nczona) granica

lim

x→a f′(x) g′(x), to istnieje

lim

x→a f (x) g(x)

= lim

x→a f′(x) g′(x).

Dowód. Okre´slmy funkcje

f

(x)

oraz

g

(x)

zerem w punkcie

a

.

Wtedy funkcje te zostan ˛a ci ˛agłe w ototczeniu

a

i mo˙zna zastosowa´c twierdzenie Cauchy’ego (twierdzenie 15).

Niech

{ x

n

}

b ˛edzie ci ˛agiem, zbie˙znym do

a

o wyrazach ró˙znych od

a

. Wtedy

∀n ∃ξ

n mi ˛edzy

a

i

x

n, takie ˙ze f (xg(xn)−f (a)

n)−g(a)

=

f′ n) g′n).

(15)

Reguła de L’Hospitala (wyra˙zenie nieoznaczone

)

•Własno´sci funkcji ró˙zniczkowalnych •Ekstrema •Twierdzenie Rolle’a •Twierdzenie Lagrange’a •Minumum/Maksimum •Dwie nierówno´sci •Twierdzenie Cauchy’ego 15 / 16

Twierdzenie 17. Niech dane b ˛ed ˛a dwie funkcje

f

(x)

i

g(x)

, okre´slone i ró˙zniczkowalne w s ˛asiedztwie punktu

a

, oraz oraz

lim

x→a

f

(x) = lim

x→a

g

(x) = ∞

w tym samym s ˛asiedztwie. Wtedy,

je˙zeli istnieje (by´c mo˙ze, niesko ´nczona) granica

lim

x→a f′(x) g′(x), to istnieje

lim

x→a f (x) g(x)

= lim

x→a f′(x) g′(x).

Uwaga 18. Raguły de L’Hospitala s ˛a wa˙zne równiez dla granic jednostronnych oraz granic w niesko ´nczono´sci

(16)

Przykłady

•Własno´sci funkcji ró˙zniczkowalnych •Ekstrema •Twierdzenie Rolle’a •Twierdzenie Lagrange’a •Minumum/Maksimum •Dwie nierówno´sci •Twierdzenie Cauchy’ego Przykład 19. 1.

lim

x→0 1−cos x x2

= lim

x→0 sin x 2x

=

1 2. 2.

lim

x→0 x−sin x x3

= lim

x→0 1−cos x 3x2

= lim

x→0 sin x 6x

=

1 6. 3.

lim

x→0+

x

· ln x = lim

x→0+ ln x x−1/2

= lim

x→0+ 1/x (−1/2)·x−3/2

=

−2 · lim

x→0+

x

= 0.

Cytaty

Powiązane dokumenty

attribute – globalne zmienne które mogą się zmieniać per vertex (np. kolor czy texcoord), wysyłane z aplikacji do vertex shaderów. Dostępny tylko w VS, tylko

RDF Schema Wprowadzenie RDF Semantic Web Składnia Kontenery Kolekcje RDFS DCMI RDFa Microdata JSON-LD ✔ Rozszerzenie RDF. ✔ Zawiera język do opisania zestawów predykatów

JQuery Wprowadzenie Dostęp Modyfikacjia Łańcuch 2 / 23 Najnowsza wersja tego dokumentu dostępna jest pod

je˙zeli serwer nie rozpoznał metody ˙z ˛ adania, on zwraca kod odpowiedzi 501 (Not implemented). je˙zeli serwer rozpoznał metod ˛e, ale one nie mo˙ze zosta´c zastosowana do

[r]

Znajdź równanie parametryczne krzywej, którą tworzy punkt okręgu o promieniu r, toczącego się bez. poślizgu wzdłuż

Najnowsza wersja tego dokumentu dostępna jest pod adresem http://users.pjwstk.edu.pl/~denisjuk/.

Znajdź kąt między przekątnymi płaszczyzn Oxy oraz Oyz kartezjańskiego układu współrzędnych.. Udowodnij, że ABCD jest równole- głobokiem i znajdź