Diferencia entre revisiones de «Compleja:z-ej-cap2.3»

De luz-wiki
Sin resumen de edición
Línea 54: Línea 54:
--[[Usuario:Sabino|Pérez Córdoba Sabino]] ([[Usuario discusión:Sabino|discusión]]) 16:06 28 nov 2012 (CST)
--[[Usuario:Sabino|Pérez Córdoba Sabino]] ([[Usuario discusión:Sabino|discusión]]) 16:06 28 nov 2012 (CST)


'''2.29 Se definen las otras funciones trigonométricas complejas, en términos del seno y coseno complejos, como es usual: '''
'''<math>tan\left(\mathcal{z}\right)=\frac{sen\left(z\right)}{cos\left(z\right)}</math> ; <math>sec\left(z\right)=\frac{1}{cos\left(z\right)},</math>'''
'''<math>cot\left(\mathcal{z}\right)=\frac{cos\left(z\right)}{sen\left(z\right)}</math> ; <math>sec\left(z\right)=\frac{1}{sen\left(z\right)}.</math>'''
'''Encuentre sus dominios y muestre que son holomorfas en su dominio y sus derivadas son las esperadas.'''
''El dominio del primer par de funciones es todo <math>\mathcal{z}\notin\{\frac{\pi}{2} + k\pi\},</math>''
''El dominio del segundo par de funciones es todo <math>\mathcal{z}\notin\{ k\pi\}.</math>''
''Donde <math>K\in \mathbb{N}.</math>''
''Para mostrar que son holomorfas en su dominio, basta demostrar las ecuaciones de Cauchy-Riemann. osea, que son diferenciables en su dominio, lo cual nos genera un intervalo abierto en el cual es diferenciable.''
<math>\mathcal{U}_x=\mathcal{V}_y</math> ''y''  <math>\mathcal{U}_y=-\mathcal{V}_x.</math>
''sabemos <math>Tan\left(\mathcal{Z}\right)=Tan\left(\mathcal{x} + i\mathcal{y}\right)=\frac{Sin\left(2\mathcal{x}\right)}{Cos\left(2\mathcal{x}\right)+ Cosh\left(2\mathcal{y})\right)} + \frac{iSinh\left(2\mathcal{y}\right)}{Cos\left(2\mathcal{x}\right)+ Cosh\left(2\mathcal{y})\right)}.</math>''
''Entonces tenemos que la parte real;''
<math>\mathcal{U}\left(x,y\right)=\frac{Sen\left(2\mathcal{x}\right)}{Cos\left(2\mathcal{x}\right)+ Cosh\left(2\mathcal{y})\right)}, </math>
''y la parte imaginaria es ;''
<math>\mathcal{V}\left(x,y\right)=\frac{iSenh\left(2\mathcal{y}\right)}{Cos\left(2\mathcal{x}\right)+ Cosh\left(2\mathcal{y})\right)}.</math>
''Comprobemos las ecucuaciones de Cauchy-Riemann.''
<math>\mathcal{U}_x=\frac{\left[cos\left(2\mathcal{x}\right)+ cosh\left(2\mathcal{y}\right)\right]2cos\left(2\mathcal{x}\right)- sen\left(2\mathcal{x}\right)\left(-2sen\left(2\mathcal{x}\right)\right)}{\left[cos\left(2\mathcal{x}\right)+ cosh\left(2\mathcal{y}\right)\right]^2}=\frac{2+2cos\left(2\mathcal{x}\right) \left( cosh\left(2\mathcal{y}\right)\right)}{\left[cos\left(2\mathcal{x}\right)+ cosh\left(2\mathcal{y}\right)\right]^2}.</math>
<math>\mathcal{V}_y =\frac{\left[cos\left(2\mathcal{x}\right)+ cosh\left(2\mathcal{y}\right)\right]2cosh\left(2\mathcal{y}\right)- senh\left(2\mathcal{y}\right)\left(-2senh\left(2\mathcal{y}\right)\right)}{\left[cos\left(2\mathcal{x}\right)+ cosh\left(2\mathcal{y}\right)\right]^2}=\frac{2+2cos\left(2\mathcal{x}\right) \left( cosh\left(2\mathcal{y}\right)\right)}{\left[cos\left(2\mathcal{x}\right)+ cosh\left(2\mathcal{y}\right)\right]^2}.</math>
''De manera similar obtenemos;''
<math>\mathcal{U}_y = \frac{-sin\left(2\mathcal{x}\right)\left[2senh\left(2\mathcal{y}\right)\right]}{\left[cos\left(2\mathcal{x}\right)+ cosh\left(2\mathcal{y}\right)\right]^2} =-\frac{2sen\left(2\mathcal{x}\right)senh\left(2\mathcal{y}\right)}{\left[cos\left(2\mathcal{x}\right)+ cosh\left(2\mathcal{y}\right)\right]^2}.</math>
<math>\mathcal{V}_x = \frac{-sinh\left(2\mathcal{y}\right)\left[-2sen\left(2\mathcal{x}\right)\right]}{\left[cos\left(2\mathcal{x}\right)+ cosh\left(2\mathcal{y}\right)\right]^2} =\frac{2sen\left(2\mathcal{x}\right)senh\left(2\mathcal{y}\right)}{\left[cos\left(2\mathcal{x}\right)+ cosh\left(2\mathcal{y}\right)\right]^2}.</math>
''Cumple con las ecuaciones de Cauchy-Riemann, en un intervalo diferenciable, por lo cual es Holomorfa(Analítica).''
''Ahora comprobemos sus derivadas respecto a z, y veamos que son las esperadas;''
''<math>Tan\left(\mathcal{z}\right)=\frac{sen\left(\mathcal{z}\right)}{cos(\left(\mathcal{z}\right)}</math> y entonces <math>Tan^´\left(\mathcal{z}\right)=\frac{cos(\left(\mathcal{z}\right)cos(\left(\mathcal{z}\right)-sen\left(\mathcal{z}\right)\left(-sen\left(\mathcal{z}\right)\right)}{\left[cos(\left(\mathcal{z}\right)\right]^2}=\frac{cos^2\left(\mathcal{z}\right)+ sin^2\left(\mathcal{z}\right)}{\left[cos\left(\mathcal{z}\right)\right]^2}= \frac{1}{cos^2\left(\mathcal{z}\right)}= sec^2\left(\mathcal{z}\right).  </math>''
''<math>Sec\left(\mathcal{z}\right)=\frac{1}{cos(\left(\mathcal{z}\right)}</math> y entonces <math>Sec^´\left(\mathcal{z}\right)=-\frac{-sen(\left(\mathcal{z}\right)}{\left[cos(\left(\mathcal{z}\right)\right]^2}=\frac{sen\left(\mathcal{z}\right)}{\left[cos\left(\mathcal{z}\right)\right]^2}= \frac{tan\left(\mathcal{z}\right)}{cos\left(\mathcal{z}\right)}= tan\left(\mathcal{z}\right)sec\left(\mathcal{z}\right).  </math>''
''<math>Cot\left(\mathcal{z}\right)=\frac{cos\left(\mathcal{z}\right)}{sen(\left(\mathcal{z}\right)}</math> y entonces <math>Cot^´\left(\mathcal{z}\right)=\frac{-sen\left(\mathcal{z}\right)sen\left(\mathcal{z}\right)-cos\left(\mathcal{z}\right)\left(cos\left(\mathcal{z}\right)\right)}{\left[sen(\left(\mathcal{z}\right)\right]^2}=\frac{-sen^2\left(\mathcal{z}\right)- cos^2\left(\mathcal{z}\right)}{\left[sen\left(\mathcal{z}\right)\right]^2}= \frac{-1}{sen^2\left(\mathcal{z}\right)}= -csc^2\left(\mathcal{z}\right).  </math>''
''<math>Csc\left(\mathcal{z}\right)=\frac{1}{sen(\left(\mathcal{z}\right)}</math> y entonces <math>Csc^´\left(\mathcal{z}\right)=-\frac{-cos(\left(\mathcal{z}\right)}{\left[sen(\left(\mathcal{z}\right)\right]^2}=-\frac{cos\left(\mathcal{z}\right)}{\left[sen\left(\mathcal{z}\right)\right]^2}= -cot\left(\mathcal{z}\right)csc\left(\mathcal{z}\right).  </math>''
''Vemos que sus derivadas son las correspondientes.''
--[[Usuario:Luis Antonio|Luis Antonio]] ([[Usuario discusión:Luis Antonio|discusión]]) 20:30 1 dic 2012 (CST)
----
----



Revisión del 21:30 1 dic 2012

La función exponencial y el logaritmo complejo

2.27 Demuestre que los ceros de las funciones seno y coseno complejas son los mismos que los de las funciones reales correspondientes.

Demostración:

Para la función seno tenemos

Si , entonces , como , asi

Al separar las partes reales e imaginarias, se obtiene el siguiente sistema de ecuaciones

(1)

(2)

De (1) se observa que , por lo que necesariamente , sustituyendo en (2) se tiene que


Para la función coseno tenemos

Si , entonces , luego

Al separar las partes reales e imaginarias, se obtiene el siguiente sistema de ecuaciones

(3)

(4)

De (4) se observa que , por lo que necesariamente , sustituyendo en (3) se tiene que

Por lo tanto, el cero de las fuciones seno y coseno complejas son las mismas que el de las funciónes reales correspondientes.

--Pérez Córdoba Sabino (discusión) 15:47 28 nov 2012 (CST)


2.28 Concluya del ejercicio anterior que las funciones complejas y , son periódicas con periodos reales de la forma con . Es decir,sus dominios de periocidad son banda verticales de ancho .

Del ejercicio anterior, se concluyó, para la función seno, que si , con , entonces & , de donde , es decir,

es puramente real, de la forma , cuyo ancho de banda es .

Para el caso del coseno, se concluyó que si , entonces & , nuevamente es puramente real, de la forma . cuyo ancho de banda es

--Pérez Córdoba Sabino (discusión) 16:06 28 nov 2012 (CST)


2.29 Se definen las otras funciones trigonométricas complejas, en términos del seno y coseno complejos, como es usual:


 ;


 ;


Encuentre sus dominios y muestre que son holomorfas en su dominio y sus derivadas son las esperadas.


El dominio del primer par de funciones es todo


El dominio del segundo par de funciones es todo


Donde


Para mostrar que son holomorfas en su dominio, basta demostrar las ecuaciones de Cauchy-Riemann. osea, que son diferenciables en su dominio, lo cual nos genera un intervalo abierto en el cual es diferenciable.


y


sabemos


Entonces tenemos que la parte real;



y la parte imaginaria es ;



Comprobemos las ecucuaciones de Cauchy-Riemann.




De manera similar obtenemos;




Cumple con las ecuaciones de Cauchy-Riemann, en un intervalo diferenciable, por lo cual es Holomorfa(Analítica).


Ahora comprobemos sus derivadas respecto a z, y veamos que son las esperadas;


y entonces Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): Tan^´\left(\mathcal{z}\right)=\frac{cos(\left(\mathcal{z}\right)cos(\left(\mathcal{z}\right)-sen\left(\mathcal{z}\right)\left(-sen\left(\mathcal{z}\right)\right)}{\left[cos(\left(\mathcal{z}\right)\right]^2}=\frac{cos^2\left(\mathcal{z}\right)+ sin^2\left(\mathcal{z}\right)}{\left[cos\left(\mathcal{z}\right)\right]^2}= \frac{1}{cos^2\left(\mathcal{z}\right)}= sec^2\left(\mathcal{z}\right).



y entonces Error al representar (error de sintaxis): Sec^´\left(\mathcal{z}\right)=-\frac{-sen(\left(\mathcal{z}\right)}{\left[cos(\left(\mathcal{z}\right)\right]^2}=\frac{sen\left(\mathcal{z}\right)}{\left[cos\left(\mathcal{z}\right)\right]^2}= \frac{tan\left(\mathcal{z}\right)}{cos\left(\mathcal{z}\right)}= tan\left(\mathcal{z}\right)sec\left(\mathcal{z}\right).



y entonces Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): Cot^´\left(\mathcal{z}\right)=\frac{-sen\left(\mathcal{z}\right)sen\left(\mathcal{z}\right)-cos\left(\mathcal{z}\right)\left(cos\left(\mathcal{z}\right)\right)}{\left[sen(\left(\mathcal{z}\right)\right]^2}=\frac{-sen^2\left(\mathcal{z}\right)- cos^2\left(\mathcal{z}\right)}{\left[sen\left(\mathcal{z}\right)\right]^2}= \frac{-1}{sen^2\left(\mathcal{z}\right)}= -csc^2\left(\mathcal{z}\right).



y entonces Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): Csc^´\left(\mathcal{z}\right)=-\frac{-cos(\left(\mathcal{z}\right)}{\left[sen(\left(\mathcal{z}\right)\right]^2}=-\frac{cos\left(\mathcal{z}\right)}{\left[sen\left(\mathcal{z}\right)\right]^2}= -cot\left(\mathcal{z}\right)csc\left(\mathcal{z}\right).


Vemos que sus derivadas son las correspondientes.


--Luis Antonio (discusión) 20:30 1 dic 2012 (CST)


2.31. Las funciones trigonométricas hiperbólicas se definen como sigue : : : : : :

1. Observe que senhz y coshz son holomorfas en todo C. Encuentre los mayores dominios donde las otras funciones hiperbólicas anteriores son holomorfas

2. Obtenga expresiones para las derivadas de las funciones hiperbólicas.

3. Demuestre las identidades siguientes: :

4. Demuestre las identidades siguientes:

donde

2.-


Usando la definición de tenemos:

Error al representar (error de sintaxis): (Senhz)´= (\frac{1}{2}(e^z-e^{-z}))´ = \frac{1}{2}\frac{ d(e^z-e^{-z})}{dz} = \frac{1}{2}[e^z+e^{-z}] y por

recordando que

entonces se tiene que Error al representar (error de sintaxis): (Senhz)´= coshz


Procedemos de manera similar, derivando la definición de .

Error al representar (error de sintaxis): (Coshz)´= (\frac{1}{2}(e^z+e^{-z}))´ = \frac{1}{2}\frac{ d(e^z+e^{-z})}{dz} = \frac{1}{2}[e^z-e^{-z}] y por

recordando que

entonces se tiene que Error al representar (error de sintaxis): (Coshz)´= senhz

Para la tangente hiperbólica se tiene,

Por definición del senhz y coshz podemos obtener:

=

Derivando,

Error al representar (error de sintaxis): (tanhz)´

Desarrollando y eliminando términos;

Usando el hecho de que y sustituyendo; se obtiene.


Demostracion:

Usando la definición de senhz y coshz se tiene

Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): (cothz)´= \frac{(e^z-e^{-z})(e^z-e^{-z})-(e^z+e^{-z})(e^z+e^{-z})}{(e^z+e^{-z})^2}

Desarrollando y eliminando términos, obtenemos.

El último termino se obtuvo utilizando la identidad de senhz.



Derivando la última expresión tenemos.

Usando el hecho de que 2coshz= e^z+e^{-z} y sustituyendo dentro de la ecuación anterior.


Derivando el cschz se tiene que,

Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): (cschz)´= \frac{-2(e^z+e^{-z}}{(e^z-e^{-z})^2} =

Usando las identidades de senhz y coshz se tiene:

4.- Identidades

Demostrar

Por definición tenemos que: y

Se eliminan algunos términos y obtenemos,


Demostrar

Usando las definiciones, vemos que:

Se eliminan algunos términos y obtenemos,

Sea

Y por definición del y se tiene:

Por demostrar.

Sea

Y por definición del y se tiene:

--Jean Carlo Cruz Venegas (discusión) 07:10 29 nov 2012 (CST)


2.35. Muestre que la función del ejemplo 2.9 no tiene una conjugada armónica.

El ejemplo al cuál se hace referencia es

--Jean Carlo Cruz Venegas (discusión) 12:53 29 nov 2012 (CST)


2.37 Demuestre que las ecucaciones de Laplace tienen la forma en coordenadas polares:

entonces:

y:

como entonces:


de la misma forma:

como entonces:

--Cesar (discusión) 10:34 29 nov 2012 (CST)



2.38) Demuestre que si v es conjugado armónica de u, entonces las funciones uv y son armónicas.

Demostración Si v es la conjugada armónica de u, u es armónica en , entonces Error al representar (error de sintaxis): \frac{\partial u}{\partial x} = \frac{\partial v}{\partial y} \\ Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}\\ entonces: Error al representar (error de sintaxis): \frac{\partial^2 u}{\partial x^2} = \frac{\partial^2 v}{\partial y \partial x} \\ y Error al representar (error de sintaxis): \frac{\partial^2 u}{\partial y^2} = -\frac{\partial^2 v}{\partial x \partial y}\\ Error al representar (error de sintaxis): \frac{\partial^2 u}{\partial x^2} + \frac{\partial^2 u}{\partial y^2} \\ =0

, entonces: Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): \frac{\partial v}{\partial x} =2y\\ y Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): \frac{\partial v}{\partial y} = 2x \\ integrando con respecto a x, tenemos: v(x,y)=2xy +C entonces: y

como : v(x,y)=2xy+K

--cecy (discusión) 12:36 30 nov 2012 (CST)




--mfg-wiki (discusión) 17:32 15 nov 2012 (UTC)

Compleja:z-ej-cap1.0

Compleja:z-ej-cap1.1

Compleja:z-ej-cap1.2

Compleja:z-ej-cap1.3

Compleja:z-ej-cap1.4

Compleja:z-ej-cap2.1

Compleja:z-ej-cap2.2