UNIVERSIDAD NACIONAL DE CAJAMARCA

FACULTAD DE EDUCACIN

ESCUELA ACADMICO PROFESIONAL DE EDUCACIN

DEPARTAMENTO ACADMICO DE MATEMTICAS

ASIGNATURA: ANLISIS DE VARIABLE COMPLEJA

DOCENTE: Dr. JUAN JULCA NOVOA

TEMA DE INVESTIGACIN:

Aplicaciones del teorema de Cauchy: Integral de Fresnel.

EQUIPO DE TRABAJO N: 5

INTEGRANTES:

Montenegro Saldaa, Gerald

Roncal Vargas, Micaela

Ruitn Tanta, Edilberto

Snchez Abanto, Vctor

FECHA DE PRESENTACIN: Cajamarca,27 de junio de 2017.

 I. RESUMEN

Como parte de la formacin cientfica, investigadora y profesional del estudiante

de Matemtica e Informtica de la Universidad Nacional de Cajamarca; se ha
realizado el presente trabajo de investigacin; que ayudar a conocer las
aplicaciones del teorema de Cauchy: Integral de Fresnel.

Las integrales de Fresnel son dos expresiones matemticas muy propias del
campo complejo, que definen las funciones coseno-complejo y seno-complejo,
las cuales se expresan mediante las siguientes expresiones integrales:

() = ( 2 )
0

() = ( 2 )
0

El Teorema de Cauchy-Goursat es uno de los ms importantes en la teora de

variable compleja. Una de las razones es que puede ahorrarnos una gran
cantidad de trabajo al realizar aplicaciones a este tipo de integraciones

II. INTRODUCCIN

Los estudiantes tienen desconocimiento del proceso resolutivo de la integral de

Fresnel aplicando el teorema de Cauchy. Como campo de estudio: la matemtica
dentro de anlisis de variable compleja

Nuestro objetivo es conocer y comprender este tipo de integrales y aplicar el

teorema de Cauchy a los problemas planteados.

Se tiene como hiptesis: el desarrollo de algunos ejemplos respecto al tema que

trataremos; para que el estudiante tenga conocimiento de cmo aplicar el
teorema de Cauchy al momento de desarrollar un ejercicio de dicho tema.

2
 III. NDICE

I. RESUMEN ................................................................................................... 2

II. INTRODUCCIN ........................................................................................... 2

III. NDICE ..................................................................................................... 3

IV. MARCO TERICO ................................................................................... 4

1. Teorema de Cauchy .................................................................................... 4

1.1. Formulacin inicial................................................................................. 4

1.2. Teorema de Cauchy-Goursat. ............................................................... 4

1.3. Teorema De Cauchy. ............................................................................ 4

1.4. Teorema de Cauchy .............................................................................. 5

2. La integral de Fresnel .................................................................................. 6

2.1. Definicin .............................................................................................. 6

2.2. Propiedades:.......................................................................................... 7

2.3 Casos particulares: ................................................................................. 7

2.4 Calcular las llamadas integrales de Fresnel ............................................. 7

2.5 Prueba las igualdades ........................................................................... 10

3. Convergencia de las integrales de Fresnel ................................................ 13

4. Application del teorema de Cauchy a la integral de Fresnel ...................... 14

1. Ejercicio .................................................................................................... 14

V. MARCO METODOLGICO.................................................................... 17

VI. CONCLUSIONES ................................................................................... 18

VII. RECOMENDACIONES .......................................................................... 18

VIII. AUTOCRTICA ....................................................................................... 18

IX. LISTA DE REFERENCIAS ..................................................................... 19

3
IV. MARCO TERICO

1. Teorema de Cauchy

1.1. Formulacin inicial

En la integracin de funciones de variable compleja tiene lugar una

singular e importantsima propiedad que establece una sustancial
diferencia cualitativa entre esta teora y la integracin de funciones de
variable real y a la que nos dedicaremos de inmediato.

1.2. Teorema de Cauchy-Goursat. Sea un contorno cerrado simple.

Sea una funcin analtica sobre y en el interior de C1.
Entonces

() = 0

1.3. Teorema De Cauchy. Si es una curva simple cerrada, y f(z) es

una funcin continua en c y f(z) es analtica con derivada continua
en el interior de .2
entonces

() = 0

1
rpduarte.fisica.uson.mx/archivos/curso3/03-MetMatFisI.pdf pg(3-15)
2 4
Murray R. Spiegel. Variable compleja Shaun .segunda edicin pg .(115-223).
El Teorema de Cauchy-Goursat es uno de los ms importantes en la teora de
variable compleja. Una de las razones es que puede ahorrarnos una gran
cantidad de trabajo al realizar cierto tipo de integraciones.

Por ejemplo, integrales como

() , cos() , 2

deben anularse si es un contorno cerrado simple cualquiera. En todos estos

casos, el integrando es una funcin entera.

1.4. Teorema de Cauchy

Si la funcin univaluada () es analtica en el dominio simplemente conexo D

entonces, su integral por cualquier contorno cerrado contenido totalmente en D
es igual a cero33

() = 0 (1)

Para efectuar la demostracin de Goursat del teorema de Cauchy tengamos en

consideracin que la expresin (1) demostrada segn Cauchy, es decir,
suponiendo la continuidad de la derivada, tiene validez para todas las potencias
de : () = 1, () = , () = 2 , etc., ya que estas funciones son analticas
y sus derivadas son continuas; es decir que

= 0 ; = 0 ; 2 = 0 (2)

3Jos Miguel Marn Antua.Teora de Funciones de Variable pg 54

5
La gran utilidad de las integrales de Fresnel radica en el hecho de que facilita
enormemente la evaluacin de dos integrales de tipo exponencial que son
empleadas en temas avanzados de la ptica.

La integral de Fresnel

1.5. Definicin

Las integrales de Fresnel, denotadas como () y (), son dos funciones

trascendentes (no algebraicas), que son empleadas para el clculo de ondas en
fsica, entre otros campos. Se definen mediante las siguientes expresiones
integrales4:

Estas dos integrales se pueden expresar en forma de potencias, que convergen

para todo :

4 matematica.laguia2000.com/general/integral-de-fresnel#ixzz4k6nYqiwr
6
2.2. Propiedades:

a) () y () son funciones impares de x

b) Se pueden extender al dominio de los nmeros complejos gracias a las
expansiones en series de potencias expresadas anteriormente. Obteniendo as
funciones analticas de una variable compleja.

c) No es posible evaluar las integrales que definen S(x) y C(x) en un intervalo

cerrado, por lo que los lmites de estas funciones, cuando x tiende a infinito son:

2.3 Casos particulares:

S (0) =C (0) = 0

2.4 Calcular las llamadas integrales de Fresnel

0 2 , 0 2 (1)

Para ello utilizaremos la integral de variable compleja

2
(2)

7
pues su integrando para valores reales de = tiene como parte real y parte
imaginaria, respectivamente, los integrandos de las integrales (1)

Construyamos el contorno de integracin que necesitamos para calcular estas

integrales. Para ello nos percatamos de que, lgicamente, parte del contorno
debe ser el segmento del eje real (0, ), ya que, al tomar el lmite cuando

, al tomar la parte real y la parte imaginaria de esa integral por el semieje

real, obtendremos las integrales de Fresnel (1) que queremos calcular.

Parte del contorno puede ser un arco de circunferencia de radio que parta del
punto (, 0) del plano complejo pues, como veremos ms adelante, la integral
por ese arco de circunferencia tiende a cero al tender al innito.

La cuestin ahora es cmo cerrar el contorno. Para ello analizamos la funcin

integrando en (2). Si evaluamos dicha funcin sobre la bisectriz del primer
cuadrante, es decir, para = , el integrando se convierte en

2
() =

que es la funcin integrando de la conocida integral de Poisson:

2
0 = 2
(3)

Para poder utilizar este hecho escojamos para cerrar el contorno el segmento de
recta que va en el plano complejo desde a 0, de manera que el contorno de
integracin ser el que se muestra en la gura 1. Como la funcin integrada

es analtica dentro de dicho contorno, por el teorema de Cauchy podemos

escribir

2 2 0 2
0 + + = 0 (4)

8
(en la integracin por el segmento de bisectriz hemos introducido el
parmetro , de forma tal que = = ).

Como en los ejemplos anteriores, haremos tender al innito. Valoremos la

integral por el arco de circunferencia ; integrando por partes tenemos

2 2 2
2 1

2
=
2
| +
2 2
(5)

El mdulo de la expresin ya integrada:

2 2 2
1
|2 2
| 2
+
2
(6)

tiende a cero cuando tiende a innito.

El mdulo de la expresin bajo la integral:

2 2 2 2
( 2+ 2) 2
| 2 | = | 2
|= 2
(7)

9
donde hemos supuesto = ( + ), sobre el arco no es mayor
1 2
que2, ya que sobre dicho arco 2 0 y 2 1. Por consiguiente,

2
1
| | = = (8)
2 2 4 4

tambin tiende a cero cuando R tiende a innito. As pues, en el lmite cuando

obtenemos

2 2
0 0 =0 (9)

de donde, en virtud de (2), se cumple que

1+
0 2 + 0 2 = 2
=
2 2
(10)

Igualando las partes reales e imaginarias obtenemos las integrales buscadas:

1
2 = 2 =
0 0 2 2

2.5 Prueba las igualdades

+ +


( ) = ( ) =

Solucin .
2
al aplicar la formula integral de cauchy a la funcin f(z) = e a lo largo
de la frontera del sector

{} |0 , 0 ()
8
Se obtiene
2
2 (z)e 2
e = = [( )e ]=0 = 0, .

10
Pero, = 1 + 2 + 3 , donde
1 [0, ] () =

2 [0, ] () =
4

3 [0, ] () = ( ) 4
Entonces,

4

2 2 2 2 2 2
0= e = e + e eit 4 ()
0
0 0

es decir

4

2 2 2 2
4 () = e + e eit
0
0 0

Note que


()2 ()2 2
4 = 4 ( ) = 4 e
0
0 0

2
e =
0 2
dado que es la mitad de la integral de Gauss. Sigue que

4
i 2 2 2
e = 4 ( + lim ).
0 2 0

Note que

4 4
2 2 2 2
| e eit | | |
0 0

4 2 cos(2)
=
0

4 2
= cos(2)
2 0

11
 2
y dado que () 1 (la desigualdad de Kober5) implica

2 2 (1 )
()
2 para 0 se obtiene
2

4
2 2
2 2 2
| e eit | (1)
2 0
0

0
=
4 2
2
= (1 ).
4
Por lo tanto

4 2 2
lim = 0
0

2 1 1
ei = 4 =( + )
0 2 2 2 2
Para concluir la prueba basta notar que

i 2 2)
e = ( cos( ) + ( sen( 2 ) )
0 0 0

5
A partir de
12
1 cos() = 2( )2 y 2 ( ) cos ( ) = ()
2 2 2

() 1 0 se obtiene que
2
2
2( ) 1
2
1 cos() ()
= tan (2) , 0 2 .
4
Note que tan() dado que () = 0, ( 4 ) = 1 Y la funcin tan() es

convexa para 0 4
1
la sustitucin = 2 concluye la prueba de desigualdad de Kober5
Convergencia de las integrales de Fresnel
+ +
Demostrar que las integrales de Fresnel ( ), ( ) son
convergentes.

Solucin

+
Haremos la demostracin para 0 ( 2 ), el razonamiento es anlogo para
la otra integral. Efectuando el cambio de variable = x 2 (x>0),

Obtenemos para < :

( ) = ( )

Aplicando el mtodo de integracin por partes, con = 1/(2) y = ,

obtenemos = (14) 3/2 y = , por lo tanto

() = [() ] + ()/

Entonces,

2
1 2
1 1 1
| ( )| + +
b 2 2 4 b2 3/2

+
Sea ahora > 0. Dado que0 3/2 es convergente, existe (criterio de
Cauchy)6 0 > 0 tal que 0 implica

<
32

Por otra parte, existe 1 tal que

6 Fernando Revilla Jimnez .Problemas resueltos de anlisis matemtico pg221

13

< .

Entonces, para {1 , 0} se verifica

11
| ( 2 )| + + = <
b 3 3 4 12

+
Como consecuencia del criterio de Cauchy, la integral 0 ( 2 ) es
convergente.

Application del teorema de Cauchy a la integral de Fresnel

1. Ejercicio

Demuestre que

( ) = ( ) =

Sea C el contorno que se indica en la figura 2, donde AB es el arco de un crculo

con centro en O y radio R. De acuerdo con el teorema de Cauchy,

2
= 0

14
 2 2 2
e + e + e = 0 (1)

Ahora, sobre , = (desde = 0 hasta = ); sobre

, = (desde = 0 hasta = 4 ); sobre , = /4

(desde = hasta = 0). Por tanto, de acuerdo con (1),

2 2 2 2 2
0 e + 04 ei iRei 4 0 4 = 0 (2)

O sea;

2 2 2 2 2
0 ( 2 + 2 ) = 4 0 e 04 ei iRei (3)

Considerando el lmite de (3) cuando . La primera integral a la derecha

ser

2 1
4 0 e = 4 = + (4)
2 2 2 2 2

El valor absoluto de la segunda integral a la derecha de (3) es

4
4
2 2 2 2 2 2
| ei iRei |
0
0

2 2 2
=
2 0

2 22 /

2 0

2
= (1 )
4

15
Donde hemos usado la transformacin 2 = y la desigualdad

2/, 0 /2

Esto muestra que cuando la segunda integral a la derecha de (3) tiende

a cero.

Entonces (3) se convierte en

1
( 2 + 2 ) = +
0 2 2 2 2

E igualando la parte real e imaginaria tenemos, como se buscaba,

1
2 = 2 =
0 0 2 2

Siga los pasos a continuacin para evaluar las integrales de Fresnel, que
son importantes en la teora de la difraccin.

1
2 = 2 =
0 0 2 2

a) Mediante la integracin de la funcin ( 2 ) alrededor de la frontera

orientada positivamente del sector 0 , 0 / 4 (Fig. 3) y
apuntando al teorema de Cauchy-Goursat,

2
1 2 2
( ) =
0 2 0

1 2 2
( 2 ) = ;
0 2 0

Donde es el arco = (0 4).

16
 b) Muestre que el valor de la integral a lo largo del arco en la parte (a)
tiende a cero cuando R tiende al infinito obteniendo la desigualdad


2 2 2
| e |
2 0
0

luego refirindose a la forma de la desigualdad de Jordania.

c) Utilice los resultados en las partes (a) y (b), junto con la frmula de
integracin conocida *

2
= .
0 2
Para completar el ejercicio.

V. MARCO METODOLGICO

Se realiz la Recopilacin y seleccin de informacin a travs de diferentes

medios, a continuacin se procedi a la seleccin y lectura de contenidos
correspondientes al tema. Luego se realiz a la organizacin de la informacin
y estructuracin de captulos, elaborando los borradores de los primeros
resmenes. Finalmente se procedi a la revisin y edicin del informe final que
culmin en la presentacin del mismo en la plataforma Edmodo en documentos
tipo Word y pdf para la revisin correspondiente.

17
 VI. CONCLUSIONES

Logramos entender la aplicacin del teorema de Cauchy.

A travs de la demostracin de Goursat logramos tener una mejor visin
hacerca del teorema de Cauchy .
Luego de consultar varias fuentes bibliogrficas obtuvimos un concepto
mas claro de acerca de la integral de Fresnel.
A travez de la realizacion de este trabajo podemos ver la utilidad de la
integrales de Fresnel que son empleadas temas avanzados de la ptica.
A travs de la demostracin de la convergencia de las integrales de Fresnel
se logr entender mejor, aplicando el criterio de Cauchy
Se pudo desarrollar la aplicion de teorema de Cauchy a la integral de fresnel.

VII. RECOMENDACIONES

Para resolver este tipo de integrales de Fresnel aplicando el teorema de cauchy

debemos aplicar los conceptos desarrollados del teorema y aprender algunas
propiedades para resolver los problemas planteados.

VIII. AUTOCRTICA

El trabajo en equipo nos permiti interactuar; dando opiniones y aportes segn

criterios de conocimiento de cada estudiante.

Para realizacin del trabajo se tuvo dificultades en la bsqueda de informacin

debido a que es compleja su entendimiento, pero gracias a diferentes fuentes,
especialmente libro nos sirvi seleccionar la mejor informacin que sea
entendible para todo nosotros.

18
IX. LISTA DE REFERENCIAS

1. Murray R. Spiegel. Variable compleja Shaun .segunda edicin pg .(115-

223).
2. Jos Miguel Marn Antua.Teora de Funciones de Variable
Compleja.Primera edicin.Edit.Univ.Cuba-2014 pg( 221-230).
3. gdenittis.files.wordpress.com/2015/09/ejvc04.pdf
4. Jos Miguel Marn Antua. Mtodos Matemticos de la fsica. Primera
edicin.Edit.Univ.Cuba-2014 pg(208-210).
5. Fernando Revilla Jimnez .Problemas resueltos de anlisis matemtico
http://www.fernandorevilla.es Madrid, a 24 de agosto de 2015. Pg(497-
500)
6. Jerrold E.Mrasden ,Michael J. Hoffman .Anlisis Bsico de Variable
Compleja.Edit.Trillas.Pg(304-313).
7. matematica.laguia2000.com/general/integral-de-fresnel
8. ugr.es/~fjperez/textos/funciones_variable_compleja.pdf
9. rpduarte.fisica.uson.mx/archivos/curso3/03-MetMatFisI.pdf

19