Мұнда шек ұғымының ең бір танымал жемісі - туынды түсінігімен танысатын боламыз.
Анықтама. $p$ нүктесінін қ.б. $N(p)$ маңайында анықталған $f(x)$ функциясы берілген делік. Егер $\xi \in N(p)$ элементтері кезінде $$\tag{*}\lim\limits_{\xi\to p}\dfrac{f(\xi) - f(p)}{\xi - p}$$ шегі бар болса, онда мұны (бұл шекті) $f$ функциясының $p$ нүктесіндегі туындысы деп атаймыз.
Егер $(*)$ шегінде аргументтер $p$ нүктесіне тек оң жағынан не сол жағынан ғана ұмтылса, онда шек мәндері сәйкесінше $p$ нүктесінің оң жақ және сол жақ туындылары деп аталады.
$f(x) = |x|$ функциясының $x = 0$ нүктесіндегі біржақты туындыларын табыңыз.
$f'_{+}(0) = \lim\limits_{\xi \to 0^+}\dfrac{|\xi| - |0|}{\xi - 0} = \lim\limits_{\xi \to 0} \dfrac{\xi - 0}{\xi - 0} = \lim\limits_{\xi \to 0} \dfrac{\xi}{\xi} = 1.$
және
$f'_{-}(0) = \lim\limits_{\xi \to 0^-}\dfrac{|\xi| - |0|}{\xi - 0} = \lim\limits_{\xi \to 0} \dfrac{-\xi + 0}{\xi - 0} = \lim\limits_{\xi \to 0} \dfrac{-\xi}{\xi} = -1.$
Егер $p$ нүктесінде $f$ функциясының бір жақты туындылары бар болып, бірақ жәй туындысы болмаса, онда $p$ нүктесін функцияның сыну нүктесі деп атайды.
Анықтама. Егер $f$ функциясы $X$ жиынындағы әрбір нүктеде туындысы бар болса, онда мұны $f$ фунциясының $X$ жиынында туындысы бар дейміз және $f \in \mathcal{D}(X)$ деп белгілейміз.
$[a,b]$ сегментінде анықталған $f$ функциясының $a$ нүктесінде тек оң жақты, ал $b$ нүктесінде тек сол жақты туындылары жайлы айтуға болады. Ал енді туынды ұғымын біршама кеңіте түсейік.
Егер $f(x)$ функциясының $X$ жиынындағы кез келген нүктеде туындысы бар болса, онда оның $X$ жиынындағы туындысы $$f'(x) = \lim\limits_{\xi \to x} \dfrac{f(\xi) - f(x)}{\xi - x}$$ функциясы арқылы табылады.
Яғни, $f$ функциясының туындысы деп басқа бір $f'$ функциясын айтамыз. «$f'$» (еф штрих) белгісінің орынына басқа белгі қолдансаңыз да бола береді, мысалға $g, \varphi, ...$. Бірақ осы белгі оның $f$ функциясының туынысы екенін көрсетуге қолайлы.
$f(x) = 3x^2$ функциясының туындысын табыңыз.
$f'(x) = \lim\limits_{\xi \to x} \dfrac{3\xi^2 - 3x^2}{\xi - x} = \lim\limits_{\xi\to x} \dfrac{3(\xi - x)(\xi + x)}{\xi - x} = \lim\limits_{\xi\to x}3(\xi + x) = 6x.$
$$f'(p) = f_{x}'(p) = Df(p) = \dfrac{df}{dx}(p) = \dfrac{dy}{dx}\bigg|_{x = p} = \.{y}(p).$$
Соңғы белгілеу көбіне физикада уақыт бойынша туынды алу кезінде қолданылады.$$(2x + 3y + 8z)'_x = 2, \ (2x + 3y + 8z)'_y = 3, \ (2x + 3y + 8z)'_z = 8.$$
▲ Бастапқы ұғымдар ▼ Жоғары ретті туындылар
Бұл теорема арқылы теңдеулердің екі жағынан да туынды алуға мүмкіндік аламыз.
$\blacktriangleleft$ $f$ функциясының $p$ нүктесінде туындысы бар болсын. Әрбір $x \neq p$ үшін $$f(x) - f(p) = \dfrac{f(x) - f(p)}{x - p}\cdot(x - p)$$ болады. Ал мұның шегі $$\lim\limits_{x\to p}\dfrac{f(x) - f(p)}{x - p} \cdot \lim\limits_{x\to p}(x - p) = f'(p) \cdot 0 = 0$$ болады. Демек, $f$ функциясы $p$ нүктесінде үзіліссіз. $\blacktriangleright$
Төмендегі салдар ретінде берілген біржақты туындылар жағдайында да осыған ұқсас дәлелденеді.
Кері теорема дұрыс болмайды: үзіліссіз функцияның туындысы бар болмауы мүмкін.
Бұл сөзіміздің дәлелі ретінде мына мысалды ұсынсақ болады:
$f(x) = |x|$.
Бұл функция $x = 0$ нүктесінде үзіліссіз болғанымен дифференциалданбайды.
Себебі ол нүктеде
$$\lim\limits_{\xi \to 0} \dfrac{|\xi| - |0|}{\xi - 0} = \lim\limits_{\xi \to 0} \dfrac{|\xi|}{\xi|} = \begin{cases} 1, \xi > 0 \\ 0 , \xi < 0.\end{cases}$$
Мұның кері тұжырымы дұрыс болмайды: $|x|$ функциясы нөлде үзіліссіз, бірақ нөлде туындысы болмайды.
Бірақ басқа нүктелерінде туыныдысын табуға болады.
Салдар. Егер $f$ функциясының $p$ нүктесінде жәй, оң жақты не сол жақты туындысы бар болса, онда $f$ функциясы сол нүктеде сәйкес жәй, оң жақты не сол жақты үзіліссіз болады.
Салдар. Егер $p$ нүктесі $f$ функциясының үзіліс нүктесі болса, онда сол нүктеде $f$ - тің туындысы болмайды.
Тапсырма. Осы соңғы үш салдарды дәлелдеңіз.
Мұны дәлелдеу сіз үшін қызық болар...
Теорема (күрделі функциялардың туындысы). $f \in \mathcal{D}(X)$ және $g \in \mathcal{D}(Y \supset f(X))$ функциялары үшін $g(f(x)) \in \mathcal{D}(X)$ және $$((g\circ f)(x))' = g'(f(x))f'(x).$$
$\blacktriangleleft$ $$\begin{aligned}(g(f(x)))' &= \lim\limits_{\xi \to x}\dfrac{g(f(\xi)) - g(f(x))}{\xi - x} \\ \ \\ &= \lim\limits_{\xi \to x}\bigg(\bigg[\dfrac{g(f(\xi)) - g(f(x))}{\xi - x}\bigg] \bigg[\dfrac{f(\xi) - f(x)}{f(\xi) - f(x)}\bigg]\bigg) \\ \ \\ &= \lim\limits_{\xi \to x}\bigg(\bigg[\dfrac{g(f(\xi)) - g(f(x))}{f(\xi) - f(x)}\bigg]\bigg[\dfrac{f(\xi) - f(x)}{\xi - x}\bigg]\bigg) \\ \ \\ &=\lim\limits_{\xi \to x}\dfrac{g(f(\xi)) - g(f(x))}{f(\xi) - f(x)} \cdot \lim\limits_{\xi \to x}\dfrac{f(\xi) - f(x)}{\xi - x}\\ \ \\ &=g'(f(x))\cdot f'(x).\end{aligned}$$ Мұнда $f(x) \in \mathcal{D}(X) \rArr f(x) \in \mathcal{C}(X)$ заңдылығы ескерілді. $\blacktriangleright$
Бұл заңдылық бірнеше функциялардан құралған күрделі функциялар үшін де орындалады (неге екенін түсіндіріңіз).
Жоғарыдағы мәліметтерді пайдалана отырып мына тізімді құруға болады:
1. Дәрежелік және Көрсеткіштік функциялар
$$(a^x)' = (e^{\ln a})^x = (e^{x \ln a})' = e^{x \ln a} \cdot \ln a = a^x \cdot \ln a.$$
Жаттығу. $(x^p)' = px^{p-1}$ теңдігінің кез келген $p \in \R$ үшін орындалатынын дәлелдеңіз (мұнда $x \neq 0$).
$$(x^p)' = \bigg(e^{p\ln x}\bigg)' \stackrel{(2)}{=} e^{p\ln x}\cdot (p\ln x)' \stackrel{(3), (4)}{=} x^p\cdot p \cdot \dfrac{1}{x} = px^{p-1}.$$
Байқағаныңыздай бұл дәлелде мына қасиеттер қолданылды:Бұл жаттығудағы формула $x = 0$ немесе $p = 0$ болған жағдайда дұрыс бола ма?
$$\ln (ab) = \ln a + \ln b, \ \ \ \ln\bigg(\dfrac{a}{b}\bigg) = \ln a - \ln b, \ \ \ \ln(a^p) = n\ln a$$
Бізге $f$ функциясының туындысын табу керек делік. $(\ln f)' = \dfrac{f'}{f}$ екенін мойындаймыз. Осыдан $f' = f(\ln f)'$ екенін білеміз. $$(\ln f)' = \dfrac{f'}{f} \rArr f = f'(\ln f)'$$Функцияны логарифмдеп барып туынды алуды логарифмдеп туынды алу дейміз.
Функцияның түріне байланысты қолдану үлгілері бөлек:
Логарифмдеп туынды алу тәсілі әсіресе осы Көрсеткіштік-Дәрежелік функцияларды шешуде таптырмас құрал ретінде бағаланады. Десе де, осы соңғы формуланы жаттап алудың қажеті шамалы, оданша логарифмдеп туынды алудың мағынасын түсініп алсаңыз логарифмдеп туынды алғанда есебіңіз өзі-ақ сол формуладағы түрге енеді. Ал енді сөз кезегін мысалдарға берейік.
Мысал 1. $y = x^x$ функциясының туындысын табыңыз.
Әуелі екі жағын да логарифмдеп алайық, сонда $\ln y = x\ln x$. Мұның екі жағынан да туынды алсақ $$\begin{aligned} \dfrac{y'}{y} &= \ln x + x\bigg(\dfrac{1}{x}\bigg) = \ln x + 1 \\ \rArr y' &= y\cdot(\ln x + 1) = x^x \cdot (\ln x + 1). \end{aligned}$$
Мысал 2. $y = (2x + 1)^{\cos x}$ функциясының туындысын табыңыз.
$$\begin{aligned} \dfrac{y'}{y} &= -\sin x\ln(2x + 1) + \cos x \bigg(\dfrac{2}{2x + 1}\bigg) \\ \rArr y' &= (2x + 1)^{\cos x} \cdot \bigg[-\sin x\ln(2x + 1) + \cos x \bigg(\dfrac{2}{2x + 1}\bigg)\bigg] \end{aligned}$$
Мысал 3. $y = (\sin 2x)^{x^2 + 1}$ функциясының туындысын табыңыз.
$$y' = (\sin 2x)^{x^2 + 1}\cdot\ln\sin 2x \cdot 2x + (x^2 + 1)(\sin 2x)^{x^2} \cdot \cos 2x \cdot 2.$$
Мысал 4. $y = \dfrac{(x^2 + 2)\cdot\sqrt[4]{(x-1)^3}\cdot e^x}{(x + 5)^3}$ функциясының туындысын табыңыз.
$$\ln y = \ln(x^2 + 2) + \dfrac{3}{4}\ln(x - 1) + x - 3\ln(x + 5).$$
Екі жағынан да туынды алсақ,$$\begin{aligned}\dfrac{1}{y}\cdot y' &= \dfrac{1}{x^2 + 2} \cdot 2x + \dfrac{3}{4} \cdot \dfrac{1}{x - 1} + 1 - 3\cdot\dfrac{1}{x+5}\\ \rArr y' &= y\bigg(\dfrac{2x}{x^2 + 2} + \dfrac{3}{4(x - 1)} + 1 - \dfrac{3}{x + 5}\bigg). \end{aligned}$$
Демек,$$y' = \dfrac{(x^2 + 2)\cdot\sqrt[4]{(x - 1)^3}\cdot e^x}{(x + 5)^3} \cdot \bigg(\dfrac{2x}{x^2 + 2} + \dfrac{3}{4(x - 1)} + 1 - \dfrac{3}{x + 5}\bigg).$$
Байқағаныңыздай, $(*)$ формуласын жаттамасаңыз да, логарифмдеп барып туынды алған кезде өздері-ақ сол түрге енеді.
▲ Теоремалар жазирасы ▼ Туынды игіліктері
Егер $f$ функциясының $f'$ туындысы бар болса, және $f'$ функциясынан да туынды алуға болатын болса, онда пайда болатын функцияны $f''$ деп белгілейміз де $f$ функциясының екінші ретті туындысы деп атаймыз.
Осындай сценари қайталануының нәтижесінде жоғары ретті туындыларды анықтаймыз және сәйкес туындыларды $$f, f'', f^{(3)}, ..., f^{(n)},$$ арқылы белгілейміз. $f^{(n)}$ функциясы $f$ функциясының $n$-ші ретті туындысы деп аталады. Кейбір функциялардың шексіз қайтара туынды алуға болады. Мысалға $f(x) = e^x$ функциясынан кез келген мөлшерде туынды алуға болады. Әдетте туынды алынбаған функция $f^{(0)}$, яғни сол функцияның $0$-ші ретті туындысы ретінде қабылданады.
Екінші ретті туындыдан кейінгі туындылар жоғары ретті туындылар деп аталады. Егер туынды реті $3$-тен жоғары болса тырнақшаның орнына рим цифрлары немесе жақша ішіндегі үнді-араб цифрлары қолданылады.
Мысалға, егер $y = x^5$, онда $$\begin{aligned} y' &= 5x^4 \\ y'' &= 20x^3, \\ y''' &= (20x^3)' = 20\cdot(x^3)' = 20\cdot 3 \cdot x^2 = 60 x^2, \\ &... \end{aligned}$$
$$y' = -\sin x, y'' = -\cos x, y''' = \sin x, y^{IV} = \cos x$$
және осыдан ары қайталана береді. Мұны ескеріп $y^{(n)}$ туындысын кез келген $n$ үшін табуға болады. Мысалға, $235 = 4 \cdot 58 + 3$, ал $y^{(4\cdot 58)} = \cos x$ болғасын $$y^{(235)} = y''' = \sin x.$$Бұл өрнек өз құрылымы бойынша Ньютон биномының формуласын еске түсіреді: $$(y_1 + y_2)^n = \sum_{k = 0}^n C_n^k y_1^{n - k} y_2^k,$$ Көбейтуге арналған формула Лейбниц формуласы деп аталады.
$$\begin{aligned} (y_1 y_2)^{(n+1)} &= ((y_1 y_2)^{(n)})' = \bigg(\sum_{k=0}^n C_n^k y_1^{(n-k)} y_2^{(k)}\bigg)' = \sum_{k = 0}^n C_n^k (y_1^{(n+1 - k)} y_2^{(k)} + y_1^{(n-k)} y_2^{(k+1)}) \\ &= C_n^0 y_1^{(n+1)} y_2^{(0)} + C_n^1 y_1^{(n)} y_2^{(1)} + ... + C_n^k y_1^{(n+1-k)}y_2^{(k)} + ... + C_n^n y_1^{(1)}y_2^{(n)} + C_n^0 y_1^{(n)} y_2^{(1)} + ... + C_n^{k-1} y_1^{(n+1-k)} y_2^{(k)} + ... + C_n^n y_1^{(0)} y_2^{(n+1)} \\ &= C_n^0 y_1^{(n+1)} y_2^{(0)} + (C_n^1 - C_n^0)y_1^{(n)} y_2^{(1)} + ... + (C_n^k - C_n^{k-1})y_1^{(n+1-k)} y_2^{(k)} + ... + C_n^n y_1^{(0)} y_2^{(n+1)}. \end{aligned}$$
Мұнда $$C_n^k + C_n^{k-1} = C_{n+1}^k,\ \ C_n^0 = C_n^n = C_{n+1}^0 = C_{n+1}^{n+1} = 1,$$ екенін еске түсірсек,$$\begin{aligned} (y_1 y_2)^{(n+1)} &= C_{n+1}^0 y_1^{(n+1)} y_2^{(0)} + ... + C_{n+1}^k y_1^{(n + 1 - k)} y_2^{(k)} + ... + C_{n+1}^{n+1} y_1^{(0)} y_2^{(n+1)} \\ &= \sum_{k=0}^{n+1} C_{n+1}^k y_1^{(n+1-k)} y_2^{(k)}. \end{aligned}$$
▲ Жоғары ретті туындылар ▼ Соңы
Мұнда туынды көмегімен жауап берілетін математикалық мәселелермен танысамыз. Әрбір математикалық мәселе ғылымда міндетті түрде пайдаланылады.
Қазір орташа мән жайлы теоремалар деп аталатын үш теоремамен танысамыз: Ролль, Коши, Лагранж теоремалары.
Теорема (Ролль). Егер $f(x)$ функциясы $[a,b]$ аралығында үзіліссіз, $(a,b)$ интервалында туындысы бар және аралықтың соңдарында бірдей мән қабылдайтын $f(a) = f(b)$ болса, онда $f'(x)$ туындысы нөл болатындай, н.а. $f'(c) = 0$ болатындай кем дегенде бір $c\in(a,b)$ нүктесі табылады.
Егер $M = m$, онда $f(x)$ функциясы $[a,b]$ да тұрақты, және, ізінше, $[a,b]$ аралығындағы кез келген нүктеде оның туындысы $f'(x) = 0$.
Егер $M \neq m$ болса, онда $f(a) = f(b)$ болғандықтан функция $(a, b)$ аралығында сол екеуінің біреуіне тең болады.
Фукнция $x = c\in(a,b)$ нүктесінде $M$ мәнін қабылдайтын болсын, яғни $f(c) = M$ болсын.
Онда барлық $x\in(a,b)$ үшін $f(c)\geqslant f(x)$ теңсіздігі орындалады.
Енді функцияның $x = c$ нүктесіндегі туындысын табайық:
$$f'(c) = \lim\limits_{\xi\to c}\dfrac{f(\xi) - f(c)}{\xi - c}.$$
Жаңағы теңсіздік бойынша $f(\xi) - f(c) \leqslant 0$ теңсіздігі орындалады.
Демек, $f'(c) = 0$. $f(c) = m$ болғандағы жағдайы да осыған ұқсас дәлелденеді. Біз осылай болмағанда бір нүкте табылатынын көрсеттік. $\blacksquare$
Бұл теореманың геометриялық сипаты, $f(x)$ функциясының графигінде жанамасы $Ox$ өсіне параллельді болатындай бір нүкте табылатынын меңзейді.
Теорема (Каши). Егер $f(x)$ және $\varphi(x)$ функциялары $[a,b]$ аралығында үзіліссіз, $(a,b)$ интервалында туындысы бар болса, және барлық $x\in(a, b)$ кезінде $\varphi'(x) \neq 0$ болса, онда $$\dfrac{f(b) - f(a)}{\varphi(b) - \varphi(a)} = \dfrac{f'(c)}{\varphi'(c)}$$ теңдігі орындалатындай кем дегенде бір $c\in(a,b)$ нүктесі табылады.
$$F(x) = f(x) - f(a) - \dfrac{f(b) - f(a)}{\varphi(b) - \varphi(a)}(\varphi(x) - \varphi(a)).$$
Бұл функция Ролль теоремасының қағидаларына сай: $[a, b]$ аралығында үзіліссіз, және $(a, b)$ интервалында туындысы табылады. Мұны бұл функцияның $f(x)$ пен $\varphi(x)$ функцияларының сызықтық комбинациясы болғандықтан сенімді түрді айта аламыз. Бұдан бөлек, ол аралықтың екі ұшында бірдей мәндер қабылдайды: $F(a) = F(b) = 0.$
Ролле теоремасының негізінде $F'(c) = 0$ болатындай $c\in (a, b)$ нүктесі табылады. Яғни, $$F'(c) = f'(c) - \dfrac{f(b) - f(a)}{\varphi(b) - \varphi(a)}\varphi'(c) = 0.$$ Бұдан $f'(c) = \dfrac{f(b) - f(a)}{\varphi(b) - \varphi(a)}\varphi'(c)$ теңдігі шығады. Сонда, $$\dfrac{f'(c)}{\varphi'(c)} = \dfrac{f(b) - f(a)}{\varphi(b) - \varphi(a)}.$$ $\blacksquare$Теорема (Лагранж). Егер $f(x)$ функциясы $[a,b]$ аралығында үзіліссіз, $(a,b)$ интервалында туындысы табылатын болса, онда $$\tag{*} f(b) - f(a) = f'(c)(b - a)$$ теңдігі орындалатындай кем дегенде бір $c\in(a,b)$ нүктесі табылады.
$\square$ Дәлелді айдаладан іздемей-ақ Коши теоремасының жеке жағдайы ретінде қарастыра салуға болады. Ол былай, $\varphi(x) = x$ десек, $\varphi(b) - \varphi(a) = b - a, \varphi'(x) = 1, \varphi'(c) = 1$ болады. Осы мәндерді $$\dfrac{f(b) - f(a)}{\varphi(b) - \varphi(a)} = \dfrac{f'(c)}{\varphi'(c)}$$ формулсына қою ақылы мынаны аламыз: $$\dfrac{f(b) - f(a)}{b - a} = f'(c)$$ яғни $f(b) - f(a) = f'(c)(b - a).$ $\blacksquare$
Теоремада тұрған $(*)$ формуласы Лагранж атаның формуласы немесе ақырлы өсімше жайлы формула деп аталады. Формуланың мазмұны мынадай: $[a, b]$ аралығында туындысы табылатын функцияның өсімшесі туындының осы интервалдағы қ.б. ішкі нүктедегі мәніне көбейтілген аргументтің өсімшесіне тең. Бұл мазмұннан көрі формуласын есте сақтау жеңіл болар.
Салдар #. Егер фукцияның туындысы қандай да бір аралықта нөлге тең болса, онда функция сол аралықта тұрақты.
$\square$ Барлық $x \in (a,b)$ үшін $f'(x) = 0$ болсын. $(a, b)$ аралығынан кез келген екі $x_1$ және $x_2$ сандарын алайық, және олардың арасында $x_1 < x_2$ байланысы болсын. Онда Лагранж теоремасы бойынша $$f(x_2) - f(x_1) = f'(c)(x_2 - x_1)$$ болатындай $c \in (x_1, x_2)$ саны табылады. Бірақ $f'(x) = 0$ шарты бойынша $f'(c) = 0$ (мұнда $x_1 < c < x_2$). Сондықтан $f(x_2) - f(x_1) = 0$ теңдігін аламыз, демек $f(x_2) = f(x_1)$. Мұнда $x_1$ мен $x_2$ сандары $(a, b)$ интервалындағы кез келген нүкте болғасын, барлық $x \in (a, b)$ үшін $f(x) = c$ болады. $\blacksquare$
Салдар. Егер екі функция қандай да бір аралықта бірдей туындылар қабылдаса, онда бұл функциялардың арасында тұрақты шама бойынша ғана айырмашылық бар.
$\square$ $x \in (a,b)$ кезінде $f'_1(x) = f'_2(x)$ делік. Онда $$(f_1(x) - f_2(x))' = f'_1(x) - f'_2(x) = 0.$$ (#) салдарына сәйкес бұл теңдік $f_1(x) - f_2(x)$ функциясы тұрақты екенін білдіреді. Демек, барлық $x \in (a, b)$ үшін $f_1(x) - f_2(x) = C = \text{const}$. $\blacksquare$
Лапиталь ережесі (кейде Лопиталь-Бернулли ережесі деп аталады) - бұл туынды арқылы анықталмағандықтарды ашуға арналған өте тиімді тәсіл. Ереженің өзімен танысайық:
Яғни, аталған талаптарға сай функциялар үшін олардың қатынасының шегі
олардың туындыларының қатынасының шегіне тең дейді.
Алынған формуланы ауызекі тілде былай дейміз:
Екі шексіз кішінің қатынасы олардың туындыларының қатынасының шегіне тең.
$$\lim\limits_{x\to\infty}\dfrac{f(x)}{\varphi(x)} = \lim\limits_{z\to 0}\dfrac{\bigg(f\bigg(\dfrac{1}{z}\bigg)\bigg)'}{\bigg(\varphi\bigg(\dfrac{1}{z}\bigg)\bigg)'} = \lim\limits_{z \to 0}\dfrac{f'\bigg(\dfrac{1}{z}\bigg)\bigg(-\dfrac{1}{z^2}\bigg)}{\varphi'\bigg(\dfrac{1}{z}\bigg)\bigg(-\dfrac{1}{z^2}\bigg)} = \lim\limits_{x\to\infty}\dfrac{f'(x)}{\varphi'(x)}.$$
$$\lim\limits_{x\to p}\dfrac{f(x)}{\varphi(x)} = \lim\limits_{x\to p}\dfrac{f'(x)}{\varphi'(x)} = \lim\limits_{x\to p}\dfrac{f''(x)}{\varphi''(x)}$$
Реті келсе тіпті $n$ рет ;)Мысал 2. $\lim\limits_{x\to 0}\dfrac{1 - \cos 6x}{2x^2}$ шегін табыңыз.
Мысал 3. $\lim\limits_{x\to 0} (1 - \cos x)\ctg x$ шегін табыңыз.
Мысал 4. $\lim\limits_{x\to 0}(\cos 2x)^{\frac{3}{x^2}}$ шегін табыңыз.
Мысал 5. $\lim\limits_{x\to 0} x^x$ шегін табыңыз.
$$\begin{aligned} \lim\limits_{x\to 0} \ln x^x &= \lim\limits_{x\to 0} x\ln x \\ &= \lim\limits_{x\to 0}\dfrac{\ln x}{\frac{1}{x}} = \lim\limits_{x\to 0} \dfrac{\frac{1}{x}}{-\frac{1}{x^2}} = \lim\limits_{x\to 0}\dfrac{1}{\cancel{x}}\cdot\dfrac{-x^{\cancel{2}}}{1} = 0 = \ln 1 \end{aligned}$$
Демек, $\lim\limits_{x\to 0} x^x = 1.$Сонымен, Лопиталь ережесі шекті табуға көмектеседі екен, демек, сәйкесінше функцияларды шек жағдайында салыстыруға да көмегі тиеді. Мысалға $x^2 - 6$ мен $2x^2 + 3$ функцияларын ш.ү. бойынша салыстырайық, $$\lim\limits_{x\to \infty} \dfrac{x^2 - 6}{2x^2 + 3} = \dfrac{\infty}{\infty}$$ анықталмағандығына жолығамыз. Мұны әдеттегідей $$\lim\limits_{x\to \infty} \dfrac{1 - \frac{6}{x^2}}{2 + \frac{3}{x^2}} = \dfrac{1}{2}$$ деп шешуге болады. Бірақ Лопитальды қолданып та $$\lim\limits_{x\to \infty} \dfrac{x^2 - 6}{2x^2 + 3} = \lim\limits_{x\to \infty} \dfrac{2\cancel{x}}{4\cancel{x}} = \dfrac{1}{2}$$ мәнін алуға болады. Демек екеуі де бірдей ретті ш.ү.ф.
(Демидович кітабы ұжымына зор құрмет білдіреміз!)
Теорема. $f$ функциясының $I$ интервалында тұрақты болуы үшін осы интервалда $f' = 0$ болуы қажетті және жеткілікті.
Зерттеуден алдын өспелі және кемімелі функциялардың анықтамасын еске түсіріп алайық:
$f(x)$ функциясының анықталу облысын функция ол аралықтарда өспелі немесе кемімелі болатындай етіп бірнеше аралықтарға бөлуге болады. Ол аралықтар функцияның бірсарындылық (монотондылық) аймақтары деп аталады.
Сөзбе-сөз айтар болсақ, $(a, b)$ аралығында туындысы бар $f$ функциясының өсуі (кемуі) үшін оның осы аралықтағы туындысы нөлден үлкен (кіші) болуы қажетті және жеткілікті.
Егер функцияның өспелі екендігі (яки кемімелі) екендігі әуелден-ақ белгілі болса, онда $\forall x \in (a, b) \rArr f'(x) \geqslant 0$ $(f'(x) \leqslant 0)$ деу орынды. Дәлелде бұл жағдайды да ескеретін боламыз.
Функцияның оң мәндер қабылдай аралықтары мен теріс мән қабылдайтын аралықтарын табуды үйренген боларсыз. Теорема бойынша, берілген функцияның туындысының оң мәндер қабылдайтын аралығында функция өспелі, ал теріс мәндер қабылдайтын аралығында кемімелі болуы қажетті және жеткілікті. Демек, функцияның өсу және кему аралықтарын табу үшін оның туындысының қай аралықта оң, ал қай аралықта теріс мәндер қабылдайтынын табу жеткілікті. Бұған мысал келтірейік:
Мысал 1. $f(x) = x^2 - 2x + 1$ фукнциясының өсу және кему аралықтарын табыңыз.
Мысал 2. $f(x) = x^3 - 3x - 1$ функциясының өсу және кему аралықтарын табыңыз.
Мысал 3. $f(x) = \dfrac{1}{x + 2}$ функциясының өсу және кему аралығын табыңыз.
Мысал 4. Шешімі: $f(x) = \dfrac{1}{5}x^5 - \dfrac{1}{3}x^3$ функциясының өсу және кему аралықтарын табыңыз.
Кейбір функциялар ешқандай экстремумға ие болмауы мүмкін. Мысалға, $f(x) = x^2$ функциясының $(0, 1)$ аралығында экстремумы жоқ, бірақ $[0, 1]$ аралығында $\max_{[0, 1]} f(x) = 1, \min_{[0, 1]} f(x) = 0$.
Ал енді функцияның дербес экстремумының бар болуының қажетті және жеткілікті шарттарымен танысайық:
Бұл теореманың салдары болғасын дербес экстремумның қажетті шарты болып есептеледі. Қысқаша мазмұны былай: Егер дербес экстремум нүктеде функцияның туындысы бар болса, онда ол нөлге тең.
Яғни біз дербес экстремум нүктені іздеу кезінде оның сол нүктедегі туындысын тексеріп алсақ болады. Егер туындысы нөл болса, зерттеуді ары қарай жалғастырамыз. Себебі бұл жеткілікті жағдай емес қажетті жағдай ғана. Себебі кейбір нүктеде функцияның туындысы нөл болғанымен, ол нүкте сол функцияның дербес экстремумы болмай қалуы мүмкін. Оған керімысал ретінде тұрақты функцияны келтіруге болады. Ол кез келген нүктесінде нөлге тең туынды береді. Бірақ ол нүкте дербес экстемум бола алмайды.
Геометриялық мағынасына келер болсақ, $f'(p) = 0$ теңдігі $f(x)$ функциясының графигіне дербес экстремум нүктесінде жүргізілген жанамасы $Ox$ өсіне параллель болатынын білдіреді. Бірақ, жоғарыда айтылғандай, $f'(p) = 0$ теңдігі $p$ нүктесінің дербес экстремум нүкте екенін білдірмейді. Мысалға, $f(x) = x^3$ функциясы үшін $f'(0) = 3\cdot 0^2 = 0$, бірақ $0$ нүктесі бұл функцияның дербес экстремум нүктесі емес. Бұдан бөлек, дербес экстремум нүктесінде туындысы болмайтын функциялар да болады. Мысалға, $f(x) = |x|$ функциясы үшін $x = 0$ нүктесі дербес минимум (яғни дербес экстремум) нүкте. Алайда, біз білетіндей, бұл функцияның $x = 0$ нүктесінде туындысы жоқ. Демек, үзіліссіз функция туындысы нөлге тең болатын, немесе туындысы анықталмайтын нүктеде ғана дербес экстремумы болуы мүмкін. Дербес экстремум нүктелерді тек сондай жерлерден ғана іздеу керек. Мұндай нүктелерді критикалық нүкте деп атаймыз.
Туындысы нөлге тең немесе туындысы табылмайтын нүктелерді критикалық нүктелер дейміз. Екінші туындысы нөлге тең немесе табылмайтын нүкте екінші ретті критикалық нүкте деп аталады.
Функцияны өспелі және кемімелі аралықтарға бөлуге болады. ол аралықтар критикалық нүктелермен шенелген. Критикалық нүкте дербес экстремум нүкте болмауы мүмкін. Бірсарынды аймақтардың жиектері осы критикалық нүктелер болады.
Мысал. $f(x) = \dfrac{2(x + 1)^2}{x - 2}$ функциясының дербес экстремумдарын табыңыз.
Мәселе оң жағы мен сол жағындағы мәндерінің таңбалары өзгеше екенін көрсету. Оны арифметикалық тәсілмен де шешуге болады. Яғни $h$ деген кішкентай бір сан алып тексеруге болады.
Осы ойларды түйіндей келе мына теореманы келтіруге болады: дербес экстремумдарының туындысы бар кездегі жеткілікті жағдайы.
$$f''(p) = \lim\limits_{x\to p} \dfrac{f'(x) - f'(p)}{x - p} = \lim\limits_{x\to p} \dfrac{f'(x)}{x - p} > 0,$$
болғандықтан $p$ нүктесінің тәп тәуір кішкене маңайында $\dfrac{f'(x)}{x - p} > 0$. Егер $x - p < 0$, онда $f'(x) < 0$; егер $x - p > 0$, онда $f'(x) > 0$. осылайша, $p$ арқылы өту кезінде бірінші туынды таңбасы плюстен минуске ауысады. Демек, $p$ нүктесі дербес минимум нүкте болады. Ал егер $f''(p) < 0$ жағдайынада $p$ нүктесінде функция дербес максимумға ие болады. Оны да осылай дәлелдейміз. $\blacksquare$Мысалға $$f''(x) = -\dfrac{2}{3x\sqrt[3]{x}}.$$ мұнда $x_1 = -1$ кезінде $y'' < 0$ демек $x_1 = -1$ функцияның дербес максимум нүктесі.
Мысал. $f(x) = x^2 + 4x + 6$ функциясын дербес экстремумға зерттеңіз.
Мысал. $f(x) = 2x^3 + 3x^2 - 12x + 5$ функциясын дербес экстремумға зерттеңіз;
Дербес экстремумдарды табуды үйрендік. Функцияның максимумы мен минимумы сәйкесінше сол дербес экстремумдардың ішіндегі ең үлкені мен ең кішісі болады.
Мысал. $f(x) = 4x^3 + 6x^2 + 1$ функциясының $[-2, 1]$ аралығындағы ең үлкен және ең кіші мәндерін табыңыз.
$$\begin{aligned} &f(0) = 4(0)^3 + 6(0)^2 + 1 = 1, \\ &f(-1) = 4(-1)^3 + 6(-1)^2 + 1 = -4 + 6 + 1 = 3, \\ &f(-2) = 4(-2)^3 + 6(-2)^2 + 1 = -32 + 24 + 1 = -7, \\ &f(1) = 4 + 6 + 1 = 11. \end{aligned}$$
Демек, $\max_{[-2, 1]} f(x) = 11, \min_{[-2, 1]} f(x) = -7.$Осымен сабақ аяқталды ✅