Processing math: 98%
Saltar al contenido principal
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
LibreTexts Español

6.3: Diferenciación compleja

( \newcommand{\kernel}{\mathrm{null}\,}\)

Se dice que el complejof es diferenciable enz0 si

limzz0f(z)f(z0)zz0

existe, con lo que queremos decir que

f(zn)f(z0)znz0

converge al mismo valor para cada secuencia{zn} que converge az0. En este caso, naturalmente llamamos al límiteddzf(z0)

Para ilustrar el concepto de 'para cada' mencionado anteriormente, utilizamos la siguiente imagen. Suponemos que el puntoz0 es diferenciable, lo que significa que cualquier secuencia concebible va a converger az0. Se esbozan tres secuencias en la imagen: números reales, números imaginarios y un patrón espiral de ambos.

Secuencias que se aproximan a un punto en el plano complejo

6.3.svg
Figura6.3.1: El verde es real, el azul es imaginario y el rojo es la espiral. (CC BY-NC; Ümit Kaya)
Ejemplo6.3.1

El derivado dez2 es2z.

limzz0z2z20zz0=limzz0(zz0)(z+z0)zz0=2z0

Ejemplo6.3.2

Lo exponencial es su propio derivado.

limzz0ezez0zz0=ez0limzz0ezz01zz0=ez0limzz0n=0(zz0)n(n+1)!=ez0

Ejemplo6.3.3

La parte real de noz es una función diferenciable dez.

Mostramos que el límite depende del ángulo de aproximación. Primero, cuandoznz0 en una línea paralela al eje real, por ejemplozn=x0+1n+iy0, encontramos

limnx0+1nx0x0+1n+iy0x0+iy0=1

mientras que siznz0 en la dirección imaginaria, por ejemplo,zn=x0+i(y0+1n), entonces

limnx0x0x0+i(y0+1n)x0+iy0=0

Conclusión

NOT_CONVERTED_YE: para

Este último ejemplo sugiere que cuandof es diferenciable una relación simple debe unir sus derivadas parciales enx yy.

Definición: Relación derivada parcial

Sif es diferenciable enz0 entoncesddzf(z0)=f(z0)x=(if(z0)y)

Conz=x+iy0

ddzf(z0)=limzz0f(z)f(z0)zz0=limxx0f(x+iy0)f(x0+iy0xx0=f(z0)x

Conz=x0+iy

ddzf(z0)=limzz0f(z)f(z0)zz0=limxx0f(x0+iy)f(x0+iy0i(yy0)=(if(z0)y)

Ecuaciones de Cauchy-Reimann

En cuanto a las partes reales e imaginarias def este resultado trae las ecuaciones de Cauchy-Riemann.

ux=vy

y

vx=uy

Con respecto a la proposición inversa observamos que cuandof tiene derivadas parciales continuas en la región obedeciendo las ecuaciones de Cauchy-Reimann entoncesf es de hecho diferenciable en la región.

Observamos que sin más energía que la gastada en sus primos reales se pueden descubrir las reglas para diferenciar sumas complejas, productos, cocientes y composiciones.

Como una aplicación importante de la derivada intentemos expandir en fracciones parciales una función racional cuyo denominador tiene una raíz con grado mayor que uno. Como calentamiento intentemos encontrarq1,1 yq1,2 en la expresión

z+2(z+1)2=q1,1z+1+q1,2(z+1)2

Argumentando como arriba, parece prudente multiplicarse por(z+1)2 y así llegar a

z+2=q1,1(z+1)+q1,2

Al configurarz=1 esto daq1,2=1. Conq1,2 computado, Ecuación toma la forma simplez+1=q1,1(z+1) yq1,2=1 así también. Por lo tanto,

z+2(z+1)2=1z+11(z+1)2

Este último paso se vuelve más engorroso para raíces de grados superiores. Consideremos

(z+2)2(z+1)3=q1,1z+1+q1,2(z+1)2+q1,3(z+1)3

El primer paso sigue siendo correcto: multiplicar por el factor en su grado más alto, aquí 3. Esto nos deja con

(z+2)2=q1,1(z+1)2+q1,2(z+1)+q1,3

El ajustez=1 vuelve a producir el último coeficiente, aquíq1,3=1. Sin embargo, nos quedamos con una ecuación en dos incógnitas. Bueno, no realmente una ecuación, para Ecuación es sostener para todosz, de Ecuación. Esto produce

2(z+2)=2q1,1(z+1)+q1,2

y2=q1,1 Este último por supuesto no necesita comentarios. Derivamosq1,2 de lo primero por ambientaciónz=1. Este ejemplo nos permitirá derivar una expresión simple para la expansión parcial de la fracción de la función racional general propiamente dichaq=fg dondeg tiene h raíces distintas{λ1,,λh} de grados respectivos{d1,,dh}. Escribimos

q(z)=hj=1djk=1qj,k(zλj)k

y señalar, como arriba, eseqj,k es el coeficiente de(zdj)djk en la función racional

rj(z)q(z)(zλj)dj

Por lo tanto,qj,k puede calcularse estableciendoz=λj en la relación de ladjkth derivada derj a(djk)!

qj,k=limzλj1(djk)!ddjkdzdjk{(zλj)djq(z)}

Como segundo ejemplo, tomemos

B=(100130011)

y computar lasΦj,k matrices en la expansión

(zIB)1=(1z1001(z1)(z3)1z301(z1)2(z3)1(z1)(z3)1z1)=1z1Φ1,1+1(z1)2Φ1,2+1z3Φ2,1

El único término desafiante es el(3,1) elemento. Escribimos

1(z1)2(z3)=q1,1z1+q1,2(z1)2+q2,1z3

De ello se deduce que

q1,1=ddz(1z31)=1/4

y

q1,2=1z31=1/4

y

q2,1=(1(z3)21)=1/4

Ahora se deduce que

(zIB)1=1z1(1001/2001/41/21)+1(z1)2(0000001/200)+1z3(0001/2101/41/20)

Para concluir, comentemos que el método de expansiones parciales de fracciones se ha implementado en Matlab. De hecho,q_{1,1}, q_{1,2}, q_{2,1} todas las ecuaciones siguen del comando único: [r, p, k] =residuo ([0 0 0 1], [1 -5 7 -3]). El primer argumento de entrada es Matlab-speak para el polinomiof(z) = 1 mientras que el segundo argumento corresponde al denominador

g(z) = (z-1)^{2}(z-3) = z^{3}-5z^{2}+7z-3 \nonumber


This page titled 6.3: Diferenciación compleja is shared under a CC BY 1.0 license and was authored, remixed, and/or curated by Steve Cox via source content that was edited to the style and standards of the LibreTexts platform.

Support Center

How can we help?