Szerkesztő:Mozo/A2 szigorlat 9

A MathWikiből
< Szerkesztő:Mozo
A lap korábbi változatát látod, amilyen Mozo (vitalap | szerkesztései) 2017. május 21., 09:21-kor történt szerkesztése után volt.
(eltér) ←Régebbi változat | Aktuális változat (eltér) | Újabb változat→ (eltér)

Inverzfüggvénytétel R-re

Inverzfüggvény deriváltja. Ha az f invertálható függvény differenciálható u-ban, f -1 folytonos u-ban és f'(u) ≠ 0, akkor az inverz is differenciálható u-ban és

(f^{-1})'(f(u))=\frac{1}{f'(u)}\,

Biz.

f(x)-f(u)=f'(u)(x-u)+\varepsilon(x)(x-u)\,
f(x)-f(u)=(f'(u)+\varepsilon(x))(x-u)\quad\quad(x=f^{-1}(y),\;\;u=f^{-1}(v))
y-v=(f'(u)+\varepsilon(f^{-1}(y)))(f^{-1}(y)-f^{-1}(v))\,
\frac{1}{f'(u)+\varepsilon(f^{-1}(y))}(y-v)=f^{-1}(y)-f^{-1}(v)\,
\frac{1}{f'(u)}(y-v)+\left(\frac{1}{f'(u)+\varepsilon(f^{-1}(y))}-\frac{1}{f'(u)}\right)(y-v)=f^{-1}(y)-f^{-1}(v)\,

Itt az

\eta(y)=\frac{1}{f'(u)+\varepsilon(f^{-1}(y))}-\frac{1}{f'(u)}\,

függvény akkor lesz folytonos és v-ben eltűnő, ha maga f-1 is folytonos v-ben.

Megjegyzás. A tételi állításban az inverz folytonossági feltétele csak olyan esetben jelent megszorítást, amikor a függvény nem intervallumon értelmezett szigorúan monoton függvény. Példa olyan invertálható függvényre, melynek deriváltja nem nulla egy adott pontban, de inverze a képpontban nem folytonos:

\mathrm{Dom}\,f=\mathbf{R}\setminus\left\{\frac{1}{n}\right\}_{n\in \mathbf{Z}^+}
f(x)=\left\{\begin{matrix}x, & \mathrm{ha} &  x\not\in \mathbf{Z}^+\\
\frac{1}{x}, & \mathrm{ha} & x= n\in \mathbf{Z}^+
\end{matrix}\right.

f ekkor a 0-ban deriválható és f '(0)=1, invertálható, mert R \ (1/Z+) \ Z+-n az identitás és az Z+-n pedig az 1/id, mely értékei vétetnek fel az R \ (1/Z+)- halmaz képeiként. Viszont így f-1 nem korlátos 0-ban, azaz nem folytonos, így nem is differenciálható.

Állítás. Intervallumon értelmezett szigorúan monoton függvény inverze folytonos (tehát ez esetben még akkor is folytonos az inverz, ha a függvénynek magának ugrása van).

Erre a meglepő eredményre egy illusztráló példát adunk.

Példa. Folytonosan invertálható-e az alábbi függvény? Indokoljuk a fenti tétel nélkül!

f(x)=\left\{\begin{matrix}
-x^2-1, & \mathrm{ha} &  x<0\\
0, & \mathrm{ha} & x= 0\\
x^2+1, & \mathrm{ha} &  x>0
\end{matrix}\right.

Megoldás. Persze, hisz a negatívokon invertálható és csak negatív értéket vesz fel. A pozitívokon szintén és szintén csak pozitív értékeket vesz fel. A 0-beli érték az előző képhatlmazokon kívül esik (a 0). Az inverz:

\mathrm{Dom}\,f^{-1}=(-\infty,-1)\cup\{0\}\cup(1,+\infty)
f^{-1}(y)=\left\{\begin{matrix}
-\sqrt{-y-1}, & \mathrm{ha} &  y<-1\\
0, & \mathrm{ha} & y= 0\\
\sqrt{y-1}, & \mathrm{ha} &  y>1
\end{matrix}\right.

Ez a függvény mindenütt folytonos, mert a gyök az, és a 0-ban izolált pontja van, ahol a függvények triviálisan folytonosak.

Tétel -- Globális inverzfüggvény-tétel -- Ha f: I \to R függvény folytonosan differenciálható és f' sehol se nulla, akkor

  1. f invertálható
  2. f inverze folytonos (f homeomorfizmus)
  3. f inverze deriválható (f diffeomorfizmus)
  4. minden x ∈ I-re
(f^{-1})'(f(x))=\frac{1}{f'(x)}\,

Megjegyzés. Részletesebb indoklás azt is kimutatja, hogy a derivált folytonossága nem szükséges (bár nem árt :).

Bizonyítás. 1) A derivált mindenhol azonos előjelű, ellenkező esetben lenne két hely, ahol különböző, de a Darboux-tétel miatt akkor lenne zérushelye is a deriváltnak, ami ellentmond a feltételeknek. Tehát f szigorúan monoton, így invertálható.

2) Minden a ∈ I pontban a derivált nem nulla és folytonos, így létezik olyan környzete, melyben a derivált mindenhol egy L pozitív számál nagyobb. Ezért a Lagrange-tétel miatt a környzet bármely két x1, x2 pontjára:

0<L\leq f'(\xi)=\frac{f(x_1)-f(x_2)}{x_1-x_2}

Emiatt az x=f-1(y) áttéréssel:

L\leq |\frac{x_1-x_2}{f^{-1}(y_1)-f^{-1}(y_2)}|\,

azaz

\frac{1}{L}|y_1-y_2|\geq |f^{-1}(y_1)-f^{-1}(y_2)w\,

azaz az inverz lipschitzes a környzetben, azaz a pontban folytonos. 3) 4) ezt egyszerre igazoljuk. Az u-beli diffhatóság miatt:

f(x)-f(u)=f'(u)(x-u)+\varepsilon(x)(x-u)\,
f(x)-f(u)=(f'(u)+\varepsilon(x))(x-u)\quad\quad(x=f^{-1}(y),\;\;u=f^{-1}(v))
y-v=(f'(u)+\varepsilon(f^{-1}(y)))(f^{-1}(y)-f^{-1}(v))\,
\frac{1}{f'(u)+\varepsilon(f^{-1}(y))}(y-v)=f^{-1}(y)-f^{-1}(v)\,
\frac{1}{f'(u)}(y-v)+\left(\frac{1}{f'(u)+\varepsilon(f^{-1}(y))}-\frac{1}{f'(u)}\right)(y-v)=f^{-1}(y)-f^{-1}(v)\,

Itt az

\eta(y)=\frac{1}{f'(u)+\varepsilon(f^{-1}(y))}-\frac{1}{f'(u)}\,

függvény akkor lesz folytonos és v-ben eltűnő, ha maga f-1 is folytonos v-ben.


Példa. Igazoljuk, hogy létezik a sin inverze a [-π/2,π/2]-n és az inverz folytonos a [-1,1]-en (ez az arcsin) ezen kívül az inverz deriválható a belső pontokban!

Ugyanis. [-π/2,π/2]-n a sin szigorúan monoton nő és inverz képe [-1,1]. Emiatt ez folytonos is és az inverzfüggvény-tétel miatt a nyílton differenciálható, ugyanis

\frac{1}{\sin'(x)}=\frac{1}{\cos(x)}>0,\quad \mathrm{ha}\quad -\frac{\pi}{2}<x<\frac{\pi}{2}

az inverze:

(f^{-1})'(y)=(f^{-1})'(f(x))=\frac{1}{\cos(x)}=\frac{1}{\cos(\mathrm{arc\,\sin}(y))}=
=\frac{1}{\sqrt{1-\sin^2(\mathrm{arc\,sin}(y))}}=\frac{1}{\sqrt{1-y^2}}


Személyes eszközök