2.5: Derivados
- Page ID
- 109714
\( \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}\)La definición de la derivada compleja de una función compleja es similar a la de una derivada real de una función real: Para una función,\(f(z)\) la derivada\(f\) at\(z_0\) se define como
\[f'(z_0) = \lim_{z \to z_0} \dfrac{f(z) - f(z_0)}{z - z_0}\]
Siempre y cuando, por supuesto, que exista el límite. Si el límite existe decimos que\(f\) es analítico en\(z_0\) o\(f\) es diferenciable en\(z_0\).
Recuerda: ¡El límite tiene que existir y ser el mismo sin importar cómo te acerques\(z_0\)!
Si\(f\) es analítico en todos los puntos de una región abierta\(A\) entonces decimos que\(f\) es analítico\(A\).
Como es habitual con los derivados existen varias notaciones alternativas. Por ejemplo, si\(w = f(z)\) podemos escribir
\[f'(z_0) = \dfrac{dw}{dz} \lvert_{z_0} = \lim_{z \to z_0} \dfrac{f(z) - f(z_0)}{z - z_0} = \lim_{\Delta \to 0} \dfrac{\Delta w}{\Delta z}\]
Encuentra la derivada de\(f(z) = z^2\).
Solución
Esto lo hicimos anteriormente en el Ejemplo 2.2.1. Échale un vistazo a eso ahora. Por supuesto,\(f'(z) = 2z\).
\(f(z) = \overline{z}\)El espectáculo no es diferenciable en ningún momento\(z\).
Solución
Esto lo hicimos anteriormente en el Ejemplo 2.2.2. Échale un vistazo a eso ahora.
Desafío. Usar coordenadas polares para mostrar el límite en el ejemplo anterior puede ser cualquier valor con módulo 1 dependiendo del ángulo al que se\(z\) aproxime\(z_0\).
Reglas derivadas
No sería muy divertido computar cada derivado usando límites. Afortunadamente, tenemos las mismas fórmulas de diferenciación que para las funciones de valor real. Es decir, asumiendo\(f\) y\(g\) siendo diferenciables tenemos:
- Regla de suma:\[\dfrac{d}{dz} (f(z) + g(z)) = f' + g'\]
- Regla del producto:\[\dfrac{d}{dz} (f(z) g(z)) = f'g + fg'\]
- Regla del cociente:\[\dfrac{d}{dz} (f(z)/g(z)) = \dfrac{f'g - fg'}{g^2}\]
- Regla de la cadena:\[\dfrac{d}{dz} g(f(z)) = g'(f(z)) f'(z)\]
- Regla inversa:\[\dfrac{df^{-1} (z)}{dz} = \dfrac{1}{f' (f^{-1} (z))}\]
Para darle el sabor de estos argumentos probaremos la regla del producto.
\[\begin{array} {rcl} {\dfrac{d}{dz} (f(z) g(z))} & = & {\lim_{z \to z_0} \dfrac{f(z) g(z) - f(z_0) g(z_0)}{z - z_0}} \\ {} & = & {\lim_{z \to z_0} \dfrac{(f(z) - f(z_0)) g(z) + f(z_0) (g(z) - g(z_0))}{z - z_0}} \\ {} & = & {\lim_{z \to z_0} \dfrac{f(z) - f(z_0)}{z - z_0} g(z) + f(z_0) \dfrac{(g(z) - g(z_0))}{z - z_0}} \\ {} & = & {f'(z_0) g(z_0) + f(z_0) g'(z_0)} \end{array}\]
Aquí hay un dato importante que habrías adivinado. Lo demostraremos en la siguiente sección.
Si\(f(z)\) está definido y diferenciable en un disco abierto y\(f'(z) = 0\) en el disco entonces\(f(z)\) es constante.