2.15: (Opcional) — Es\(\lim_{x\to c}f'(x)\) Equal to \(f'(c)\text{?}\)
- Page ID
- 118129
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Considere la función
\[ f(x) = \begin{cases} \frac{\sin x^2}{x} &\text{if }x\ne 0 \\ 0 &\text{if }x=0 \end{cases} \nonumber \]
Para cualquiera\(x\ne 0\) podemos usar fácilmente nuestras reglas de diferenciación para encontrar
\[ f'(x) = \frac{2x^2\cos x^2 -\sin x^2}{x^2} \nonumber \]
Pero para\(x=0\) ninguna de nuestras habituales reglas de diferenciación se aplican. Entonces, ¿cómo encontramos\(f'(0)\text{?}\) Una estrategia obviamente legítima es aplicar directamente la Definición 2.2.1 de la derivada. Como alternativa, ahora consideraremos la pregunta “¿Se puede encontrar\(f'(0)\) tomando el límite de\(f'(x)\) como\(x\) tiende a cero?”. Hay malas noticias y hay buenas noticias.
- La mala noticia es que, incluso para funciones\(f(x)\) que son diferenciables para todos no\(x\text{,}\)\(f'(x)\) necesitan ser continuas. Es decir, no siempre es cierto que\(\lim_{x\rightarrow 0}f'(x) = f'(0)\text{.}\) Veremos una función para la cual\(\lim_{x\rightarrow 0}f'(x) \ne f'(0)\) en el Ejemplo 2.15.1, a continuación.
- La buena noticia es que el Teorema 2.15.2, a continuación proporciona condiciones que son suficientes para garantizar que\(f(x)\) es diferenciable en\(x=0\) y que\(\lim_{x\rightarrow 0}f'(x) = f'(0)\text{.}\)
Considere la función
\[ f(x) = \begin{cases} x^2\sin\frac{1}{x} &\text{if }x\ne 0 \\ 0 &\text{if }x=0 \end{cases} \nonumber \]
Porque\(x\ne 0\) tenemos, por las reglas del producto y de la cadena,
\ begin {align*} f' (x) &= 2x\,\ sin\ frac {1} {x} + x^2\ izquierda (\ cos\ frac {1} {x}\ derecha)\ izquierda (-\ frac {1} {x^2}\ derecha)\\ &= 2x\,\ sin\ frac {1} {x} -\ cos\ frac {1} x}\ final {alinear*}
Como\(\left|\sin\frac{1}{x}\right|\le 1\text{,}\) tenemos
\[ \lim_{x\rightarrow 0}2x\, \sin\frac{1}{x}=0 \nonumber \]
Por otro lado, como\(x\) tiende a cero,\(\frac{1}{x}\) va a\(\pm\infty\text{.}\) So
\[ \lim_{x\rightarrow 0}\cos\frac{1}{x} = DNE \implies \lim_{x\rightarrow 0}f'(x) = DNE \nonumber \]
Ahora veremos que, a pesar de esto,\(f'(0)\) está perfectamente bien definido. Por definición
\ begin {alinear*} f' (0) &=\ lim_ {h\ a 0}\ frac {f (h) -f (0)} {h}\\ & =\ lim_ {h\ a 0}\ frac {h^2\ sin\ frac {1} {h} -0} {h}\\ & =\ lim_ {h\ a 0} h\ sin\ ac {1} {h}\\ & = 0\ qquad\ texto {desde}\ izquierda|\ sin\ frac {1} {h}\ derecha|\ le 1\ end {align*}
Así\(f'(0)\) existe, pero no es igual a\(\lim_{x\rightarrow 0}f'(x)\text{,}\) lo que no existe.
Ahora por las buenas noticias.
\(a\lt c\lt b\text{.}\)Supongamos que
- la función\(f(x)\) es continua en el intervalo\(a\lt x\lt b\) y
- es diferenciable\(x\) en cada uno de los intervalos\(a\lt x\lt c\) y\(c\lt x\lt b\) y
- el límite\(\lim_{x\rightarrow c}f'(x)\) existe.
Entonces\(f\) es diferenciable en\(x=c\) y
\[ f'(c) = \lim_{x\rightarrow c}f'(x) \nonumber \]
- Prueba.
-
Por hipótesis, hay un número\(L\) tal que
\[ \lim_{x\rightarrow c}f'(x) = L \nonumber \]
Por definición
\[ f'(c) = \lim_{h\to 0}\frac{f(c+h)-f(c)}{h} \nonumber \]
Por el Teorema del Valor Medio (Teorema 2.13.5) hay, para cada uno\(h\text{,}\) un número (desconocido)\(x_h\) entre\(c\) y\(c+h\) tal\(f'(x_h)=\frac{f(c+h)-f(c)}{h}\text{.}\) que So
\[ f'(c) = \lim_{h\to 0} f'(x_h) \nonumber \]
Como\(h\) tiende a cero,\(c+h\) tiende a\(c\text{,}\) y así\(x_h\) se ve obligado a atender\(c\text{,}\) y\(f'(x_h)\) se ve obligado a tenderlo de\(L\) manera que
\[ f'(c) = \lim_{h\to 0} f'(x_h) = L \nonumber \]
En el siguiente ejemplo evaluamos\(f'(0)\) aplicando el Teorema 2.15.2.
Vamos
\[ f(x) = \begin{cases} \frac{\sin x^2}{x} &\text{if }x\ne 0 \\ 0 &\text{if }x=0 \end{cases} \nonumber \]
Ya hemos observado anteriormente que, para\(x\ne 0\text{,}\)
\[ f'(x) = \frac{2x^2\cos x^2 -\sin x^2}{x^2} = 2\cos x^2 - \frac{\sin x^2}{x^2} \nonumber \]
Utilizamos Teorema 2.15.2 con\(c=0\) para demostrar que\(f(x)\) es diferenciable en\(x=0\) y para evaluar\(f'(0)\text{.}\) Ese teorema tiene dos hipótesis que aún no hemos verificado, a saber, la continuidad de\(f(x)\) at\(x=0\text{,}\) y la existencia del límite Las\(\lim_{x\rightarrow 0}f'(x)\text{.}\) verificamos ahora.
- Ya sabemos, por Lemma 2.8.1,\(\lim_{h\rightarrow 0}\frac{\sin h}{h}=1\text{.}\) que So
\ begin {alinear*}\ lim_ {x\ fila derecha 0}\ frac {\ sin x^2} {x^2} &=\ lim_ {h\ fila derecha 0^+}\ frac {\ sin h} {h}\ qquad\ texto {con} h=x^2\ &=1\ end {align*}
y\ begin {alinear*}\ lim_ {x\ fila derecha 0} f (x) &=\ lim_ {x\ fila derecha 0}\ frac {\ sin x^2} {x} {x} =\ lim_ {x\ fila derecha 0} x\,\ frac {\ sin x^2} {x^2} =\ lim_ {x\ fila derecha 0} x\ lim_ {x\ fila derecha 0}\ frac {\ sin x^2} {x^2} =0\ veces 1 =0\ final {alinear*}
y\(f(x)\) es continuo en\(x=0\text{.}\) - El límite de la derivada es
\ begin {alinear*}\ lim_ {x\ fila derecha 0} f' (x) &=\ lim_ {x\ fila derecha 0}\ izquierda [2\ cos x^2 -\ frac {\ sin x^2} {x^2}\ derecha] =2\ veces 1 -1 = 1\ end {alinear*}
Entonces, por Teorema 2.15.2,\(f(x)\) es diferenciable en\(x=0\) y\(f'(0)=1\text{.}\)