Método de evaluación de ciertas integrales a lo largo de caminos en el plano complejo.
En el campo matemático del análisis complejo , la integración de contornos es un método para evaluar ciertas integrales a lo largo de trayectorias en el plano complejo . [1] [2] [3]
Un uso de las integrales de contorno es la evaluación de integrales a lo largo de la recta real que no se encuentran fácilmente utilizando únicamente métodos de variables reales. [5]
Los métodos de integración de contornos incluyen:
integración directa de una función de valor complejo a lo largo de una curva en el plano complejo;
Se puede utilizar un método, o una combinación de estos métodos, o varios procesos limitantes, con el fin de encontrar estas integrales o sumas.
Curvas en el plano complejo.
En análisis complejo un contorno es un tipo de curva en el plano complejo . En la integración de contornos, los contornos proporcionan una definición precisa de las curvas sobre las cuales se puede definir adecuadamente una integral. Una curva en el plano complejo se define como una función continua desde un intervalo cerrado de la recta real hasta el plano complejo: .
Esta definición de curva coincide con la noción intuitiva de curva, pero incluye una parametrización mediante una función continua a partir de un intervalo cerrado. Esta definición más precisa nos permite considerar qué propiedades debe tener una curva para que sea útil para la integración. En las siguientes subsecciones limitamos el conjunto de curvas que podemos integrar para incluir solo aquellas que se pueden construir a partir de un número finito de curvas continuas a las que se les puede dar una dirección. Además, restringiremos que las "piezas" se crucen entre sí y requerimos que cada pieza tenga una derivada continua finita (que no desaparezca). Estos requisitos corresponden a exigir que consideremos sólo curvas que se puedan trazar, como por ejemplo con un bolígrafo, en una secuencia de trazos uniformes y constantes, que se detengan sólo para comenzar una nueva parte de la curva, todo ello sin levantar el bolígrafo. [6]
Curvas suaves dirigidas
Los contornos a menudo se definen en términos de curvas suaves dirigidas. [6] Estos proporcionan una definición precisa de una "parte" de una curva suave, a partir de la cual se forma un contorno.
Una curva suave es una curva con una derivada continua que no desaparece, tal que cada punto se atraviesa solo una vez ( z es uno a uno), con la posible excepción de una curva tal que los puntos finales coincidan ( ). En el caso en que los puntos finales coincidan, la curva se llama cerrada, y se requiere que la función sea uno a uno en todos los demás lugares y la derivada debe ser continua en el punto identificado ( ). Una curva suave que no está cerrada a menudo se denomina arco suave. [6]
La parametrización de una curva proporciona un orden natural de los puntos de la curva: viene antes de si . Esto lleva a la noción de una curva suave dirigida . Es más útil considerar curvas independientes de la parametrización específica. Esto se puede hacer considerando clases de equivalencia de curvas suaves con la misma dirección. Una curva suave dirigida se puede definir entonces como un conjunto ordenado de puntos en el plano complejo que es la imagen de alguna curva suave en su orden natural (según la parametrización). Tenga en cuenta que no todos los ordenamientos de los puntos son el ordenamiento natural de una curva suave. De hecho, una curva suave dada sólo tiene dos de esos ordenamientos. Además, una única curva cerrada puede tener cualquier punto como punto final, mientras que un arco suave solo tiene dos opciones para sus puntos finales.
Contornos
Los contornos son la clase de curvas en las que definimos la integración del contorno. Un contorno es una curva dirigida que se compone de una secuencia finita de curvas suaves dirigidas cuyos puntos finales coinciden para dar una única dirección. Esto requiere que la secuencia de curvas sea tal que el punto terminal de coincida con el punto inicial de para todo tal que . Esto incluye todas las curvas suaves dirigidas. Además, un único punto en el plano complejo se considera contorno. El símbolo se utiliza a menudo para indicar la unión de curvas para formar una nueva curva. Así podríamos escribir un contorno que esté formado por curvas como
Integrales de contorno
La integral de contorno de una función compleja es una generalización de la integral para funciones de valores reales. Para funciones continuas en el plano complejo , la integral de contorno se puede definir de manera análoga a la integral de línea definiendo primero la integral a lo largo de una curva suave dirigida en términos de una integral sobre un parámetro de valor real. Se puede dar una definición más general en términos de particiones del contorno en analogía con la partición de un intervalo y la integral de Riemann . En ambos casos la integral sobre un contorno se define como la suma de las integrales sobre las curvas suaves dirigidas que conforman el contorno.
Para funciones continuas
Para definir la integral de contorno de esta manera, primero se debe considerar la integral, sobre una variable real, de una función de valores complejos. Sea una función de valor complejo de una variable real, . Las partes real e imaginaria de a menudo se denotan como y , respectivamente, de modo que
Entonces la integral de la función de valores complejos en el intervalo viene dada por
Ahora, para definir la integral de contorno, sea una función continua en la curva suave dirigida . Sea cualquier parametrización que sea consistente con su orden (dirección). Entonces la integral a lo largo se denota
y viene dada por [6]
Esta definición está bien definida. Es decir, el resultado es independiente de la parametrización elegida. [6] En el caso de que la integral real en el lado derecho no exista, se dice que la integral a lo largo no existe.
Como generalización de la integral de Riemann
La generalización de la integral de Riemann a funciones de una variable compleja se realiza en completa analogía con su definición para funciones de números reales. La partición de una curva suave dirigida se define como un conjunto finito y ordenado de puntos en . La integral sobre la curva es el límite de sumas finitas de valores de funciones, tomadas en los puntos de la partición, en el límite en que la distancia máxima entre dos puntos sucesivos cualesquiera de la partición (en el plano complejo bidimensional), también conocida como malla, va a cero.
Métodos directos
Los métodos directos implican el cálculo de la integral mediante métodos similares a los del cálculo de integrales de línea en el cálculo multivariado. Esto significa que utilizamos el siguiente método:
parametrizando el contorno
El contorno se parametriza mediante una función diferenciable de valores complejos de variables reales, o el contorno se divide en pedazos y se parametriza por separado.
sustitución de la parametrización en el integrando
Sustituir la parametrización en el integrando transforma la integral en una integral de una variable real.
evaluación directa
La integral se evalúa con un método similar a una integral de variable real.
Ejemplo
Un resultado fundamental en el análisis complejo es que la integral de contorno de 1/z es 2π i , donde la trayectoria del contorno se considera el círculo unitario recorrido en sentido antihorario (o cualquier curva de Jordan orientada positivamente alrededor de 0). En el caso del círculo unitario existe un método directo para evaluar la integral
Al evaluar esta integral, utilice el círculo unitario | z | = 1 como contorno, parametrizado por z ( t ) = e it , con t ∈ [0, 2π] , entonces dz/dt = es decir , y
cual es el valor de la integral. Este resultado sólo se aplica al caso en el que z se eleva a la potencia de -1. Si la potencia no es igual a -1, entonces el resultado siempre será cero.
Aplicaciones de teoremas integrales
Las aplicaciones de teoremas integrales también se utilizan a menudo para evaluar la integral de contorno a lo largo de un contorno, lo que significa que la integral de valor real se calcula simultáneamente junto con el cálculo de la integral de contorno.
El contorno se elige de modo que siga la parte del plano complejo que describe la integral de valor real y también incluya singularidades del integrando, por lo que es posible la aplicación de la fórmula integral de Cauchy o el teorema del residuo.
La aplicación de estas fórmulas integrales nos da un valor para la integral alrededor de todo el contorno.
división del contorno en un contorno a lo largo de la parte real y la parte imaginaria
La totalidad del contorno se puede dividir en el contorno que sigue la parte del plano complejo que describe la integral de valor real elegida antes (llámela R ) y la integral que cruza el plano complejo (llámela I ). La integral sobre todo el contorno es la suma de la integral sobre cada uno de estos contornos.
demostración de que la integral que cruza el plano complejo no juega ningún papel en la suma
Si se puede demostrar que la integral I es cero, o si la integral de valor real que se busca es impropia, entonces si demostramos que la integral I como se describió anteriormente tiende a 0, la integral a lo largo de R tenderá a la integral alrededor del contorno R + I .
conclusión
Si podemos mostrar el paso anterior, entonces podemos calcular directamente R , la integral de valor real.
Ejemplo 1
Considere la integral
Para evaluar esta integral, observamos la función de valores complejos
que tiene singularidades en i y − i . Elegimos un contorno que encierre la integral de valor real; aquí será conveniente un semicírculo con un diámetro límite en la línea real (que va, digamos, de − a a a ). Llame a este contorno C .
Dado que la única singularidad en el contorno es la que está en i , entonces podemos escribir
lo que pone la función en la forma para aplicación directa de la fórmula. Luego, usando la fórmula integral de Cauchy,
Tomamos la primera derivada, en los pasos anteriores, porque el polo es un polo de segundo orden. Es decir, ( z − i ) se lleva a la segunda potencia, por lo que empleamos la primera derivada de f ( z ) . Si fuera ( z − i ) elevado a la tercera potencia, usaríamos la segunda derivada y dividiríamos por 2, etc. El caso de ( z − i ) elevado a la primera potencia corresponde a una derivada de orden cero, solo f ( z ) mismo.
Necesitamos demostrar que la integral sobre el arco del semicírculo tiende a cero cuando a → ∞ , usando el lema de estimación
donde M es un límite superior en | f ( z ) | a lo largo del arco y L la longitud del arco. Ahora,
entonces
Utilizando el método de los residuos.
Considere la serie de Laurent de f ( z ) sobre i , la única singularidad que debemos considerar. entonces tenemos
(Consulte el ejemplo de cálculo de Laurent de la serie de Laurent para obtener la derivación de esta serie).
Mediante inspección queda claro que el residuo es − i/4 , entonces, por el teorema del residuo , tenemos
Así obtenemos el mismo resultado que antes.
nota de contorno
Aparte, puede surgir la pregunta de si no tomamos el semicírculo para incluir la otra singularidad, que encierra − i . Para que la integral a lo largo del eje real se mueva en la dirección correcta, el contorno debe viajar en el sentido de las agujas del reloj, es decir, en dirección negativa, invirtiendo el signo de la integral en general.
Esto no afecta el uso del método de residuos por series.
Ejemplo 2: distribución de Cauchy
la integral
(que surge en la teoría de la probabilidad como un múltiplo escalar de la función característica de la distribución de Cauchy ) resiste las técnicas del cálculo elemental . Lo evaluaremos expresándolo como un límite de integrales de contorno a lo largo del contorno C que va a lo largo de la línea real de − a a a y luego en sentido antihorario a lo largo de un semicírculo centrado en 0 de a a − a . Considere que a es mayor que 1, de modo que la unidad imaginaria i quede encerrada dentro de la curva. La integral de contorno es
Dado que e itz es una función completa (que no tiene singularidades en ningún punto del plano complejo), esta función tiene singularidades sólo donde el denominador z 2 + 1 es cero. Dado que z 2 + 1 = ( z + i )( z − i ) , eso sucede sólo donde z = i o z = − i . Sólo uno de esos puntos se encuentra en la región delimitada por este contorno. El residuo de f ( z ) en z = i es
Un argumento similar con un arco que gira alrededor de −i en lugar de i muestra que si t < 0 entonces
y finalmente tenemos esto:
(Si t = 0 entonces la integral cede inmediatamente a los métodos de cálculo de valores reales y su valor es π ).
Ejemplo 3 – integrales trigonométricas
Se pueden hacer ciertas sustituciones en integrales que involucran funciones trigonométricas , por lo que la integral se transforma en una función racional de una variable compleja y luego se pueden usar los métodos anteriores para evaluar la integral.
Como ejemplo, considere
Buscamos hacer una sustitución de z = e it . Ahora recuerda
y
Tomando C como el círculo unitario, lo sustituimos para obtener:
Las singularidades a considerar son: Sea C 1 un círculo pequeño y C 2 un círculo pequeño. Entonces llegamos a lo siguiente:
Ejemplo 3a – integrales trigonométricas, el procedimiento general
El método anterior se puede aplicar a todas las integrales del tipo
donde P y Q son polinomios, es decir, se está integrando una función racional en términos trigonométricos. Tenga en cuenta que los límites de integración también pueden ser π y − π , como en el ejemplo anterior, o cualquier otro par de puntos finales separados por 2 π .
El truco consiste en utilizar la sustitución z = e it donde dz = ie it dt y por tanto
Esta sustitución asigna el intervalo [0, 2π] al círculo unitario. Además,
y
de modo que de la sustitución resulta una función racional f ( z ) en z , y la integral queda
que a su vez se calcula sumando los residuos de f ( z ) 1/es dentro del círculo unitario.
La imagen de la derecha ilustra esto
que ahora calculamos. El primer paso es reconocer que
La sustitución produce
Los polos de esta función están en 1 ± √ 2 y −1 ± √ 2 . De estos, 1 + √ 2 y −1 − √ 2 están fuera del círculo unitario (que se muestran en rojo, no a escala), mientras que 1 − √ 2 y −1 + √ 2 están dentro del círculo unitario (que se muestra en azul). Los residuos correspondientes son ambos iguales a − yo √ 2/dieciséis , de modo que el valor de la integral es
Ejemplo 4: cortes de ramas
Considere la integral real
Podemos comenzar formulando la integral compleja.
Podemos utilizar nuevamente la fórmula integral de Cauchy o el teorema del residuo para obtener los residuos relevantes. Sin embargo, lo importante a tener en cuenta es que z 1/2 = e (Log z )/2 , por lo que z 1/2 tiene un corte de rama . Esto afecta nuestra elección del contorno C. Normalmente el corte de rama del logaritmo se define como el eje real negativo, sin embargo, esto complica un poco el cálculo de la integral, por lo que la definimos como el eje real positivo.
Luego, usamos el llamado contorno de ojo de cerradura , que consiste en un pequeño círculo alrededor del origen de radio ε , que se extiende hasta un segmento de línea paralelo y cercano al eje real positivo pero sin tocarlo, hasta un círculo casi completo, regresando a un segmento de recta paralelo, cercano y por debajo del eje real positivo en sentido negativo, regresando al pequeño círculo en el medio.
Tenga en cuenta que z = −2 y z = −4 están dentro del círculo grande. Estos son los dos polos restantes, derivables factorizando el denominador del integrando. El punto de bifurcación en z = 0 se evitó desviándose alrededor del origen.
Sea γ el círculo pequeño de radio ε , Γ el mayor, de radio R , entonces
Se puede demostrar que las integrales sobre Γ y γ tienden a cero cuando ε → 0 y R → ∞ , mediante un argumento de estimación anterior, que deja dos términos. Ahora bien, dado que z 1/2 = e (Log z )/2 , en el contorno fuera del corte de la rama, hemos ganado 2 π en argumento a lo largo de γ . (Por la identidad de Euler , e i π representa el vector unitario, que por lo tanto tiene π como su log. Este π es lo que se entiende por el argumento de z . El coeficiente de 1/2 nos obliga a usar 2 π .) Entonces
Por lo tanto:
Al utilizar el teorema del residuo o la fórmula integral de Cauchy (primero empleando el método de fracciones parciales para derivar una suma de dos integrales de contorno simples) se obtiene
Ejemplo 5: el cuadrado del logaritmo
Esta sección trata un tipo de integral del cual
es un ejemplo.
Para calcular esta integral se utiliza la función
y la rama del logaritmo correspondiente a −π < arg z ≤ π .
Calcularemos la integral de f ( z ) a lo largo del contorno del ojo de cerradura que se muestra a la derecha. Resulta que esta integral es un múltiplo de la integral inicial que deseamos calcular y por el teorema del residuo de Cauchy tenemos
Sea R el radio del círculo grande y r el radio del círculo pequeño. Denotaremos la línea superior por M y la línea inferior por N. Como antes tomamos el límite cuando R → ∞ y r → 0 . Las aportaciones de los dos círculos se desvanecen. Por ejemplo, uno tiene el siguiente límite superior con el lema ML :
Para calcular las contribuciones de M y N establecemos z = − x + iε en M y z = − x − iε en N , con 0 < x < ∞ :
lo que da
Ejemplo 6: logaritmos y el residuo en el infinito
Buscamos evaluar
Esto requiere un estudio detenido de
Construiremos f ( z ) de modo que tenga una rama cortada en [0, 3] , que se muestra en rojo en el diagrama. Para ello, elegimos dos ramas del logaritmo, establecimiento
y
Por lo tanto, el corte de z 3 ⁄ 4 es (−∞, 0] y el corte de (3 − z ) 1/4 es (−∞, 3] . Es fácil ver que el corte del producto de los dos, es decir , f ( z ) , es [0, 3] , porque f ( z ) en realidad es continua a lo largo de (−∞, 0) . Esto se debe a que cuando z = − r < 0 y nos acercamos al corte desde arriba, f ( z) . ) tiene el valor
Cuando nos acercamos desde abajo, f ( z ) tiene el valor
Pero
para que tengamos continuidad en todo el corte. Esto se ilustra en el diagrama, donde los dos círculos negros orientados están etiquetados con el valor correspondiente del argumento del logaritmo utilizado en z 3 ⁄ 4 y (3 − z ) 1/4 .
Usaremos el contorno que se muestra en verde en el diagrama. Para hacer esto debemos calcular el valor de f ( z ) a lo largo de los segmentos de línea justo encima y justo debajo del corte.
Sea z = r (en el límite, es decir, cuando los dos círculos verdes se reducen hasta el radio cero), donde 0 ≤ r ≤ 3 . A lo largo del segmento superior, encontramos que f ( z ) tiene el valor
y a lo largo del segmento inferior,
De ello se deduce que la integral de f ( z )/5 − z a lo largo del segmento superior está − iI en el límite, y a lo largo del segmento inferior, I .
Si podemos demostrar que las integrales a lo largo de los dos círculos verdes desaparecen en el límite, entonces también tenemos el valor de I , según el teorema del residuo de Cauchy . Sea ρ el radio de los círculos verdes , donde ρ < 0,001 y ρ → 0 , y aplique la desigualdad ML . Para el círculo C L de la izquierda, encontramos
De manera similar, para el círculo C R de la derecha, tenemos
Ahora, usando el teorema del residuo de Cauchy , tenemos
que el signo menos se debe al sentido de las agujas del reloj alrededor de los residuos. Usando la rama del logaritmo de antes, claramente
El poste se muestra en azul en el diagrama. El valor se simplifica a
Usamos la siguiente fórmula para el residuo en el infinito:
Sustituyendo, encontramos
y
donde hemos usado el hecho de que −1 = e π i para la segunda rama del logaritmo. A continuación aplicamos la expansión binomial, obteniendo
La conclusión es que
Finalmente, se deduce que el valor de I es
el que produce
Evaluación con teorema de residuos.
Usando el teorema del residuo , podemos evaluar integrales de contorno cerrado. Los siguientes son ejemplos de cómo evaluar integrales de contorno con el teorema del residuo.
Usando el teorema del residuo, evalúemos esta integral de contorno.
Recuerde que el teorema del residuo establece
donde está el residuo de y son las singularidades de estar dentro del contorno (sin que ninguna de ellas se encuentre directamente sobre ).
tiene un solo polo, . A partir de eso, determinamos que el residuo de to be
La integral de doble contorno correspondiente quedaría planteada como tal:
Ahora evaluamos . Mientras tanto, establezca la integral triple correspondiente:
Ejemplo 2
Dejemos el campo vectorial y observemos que hay 4 parámetros en este caso. Sea este campo vectorial delimitado por lo siguiente:
Para evaluar esto, debemos utilizar el teorema de la divergencia como se indicó anteriormente y debemos evaluar . Dejar
Por tanto, podemos evaluar una integral de contorno con . También podemos usar el mismo método para evaluar integrales de contorno para cualquier campo vectorial .
Representación integral
Una representación integral de una función es una expresión de la función que involucra una integral de contorno. Se conocen varias representaciones integrales para muchas funciones especiales . Las representaciones integrales pueden ser importantes por razones teóricas, por ejemplo, para dar continuación analítica o ecuaciones funcionales , o algunas veces para evaluaciones numéricas .
^ Acosador, John (1998). Análisis complejo: fundamentos de la teoría clásica de funciones. Saltador. pag. 77.ISBN 0-8176-4038-X.
^ Bak, José; Newman, Donald J. (1997). "Capítulos 11 y 12". Análisis complejo . Saltador. págs. 130-156. ISBN0-387-94756-6.
^ Krantz, Steven George (1999). "Capitulo 2". Manual de variables complejas . Saltador. ISBN0-8176-4011-8.
^ Mitrinović, Dragoslav S.; Kečkić, Jovan D. (1984). "Capitulo 2". El método Cauchy de residuos: teoría y aplicaciones. Saltador. ISBN90-277-1623-4.
^ Mitrinović, Dragoslav S.; Kečkić, Jovan D. (1984). "Capítulo 5". El método Cauchy de residuos: teoría y aplicaciones. Saltador. ISBN90-277-1623-4.
^ ABCDE Saff, Edward B.; Más sarcástico, Arthur David (2003). "Capítulo 4". Fundamentos del análisis complejo con aplicaciones a la ingeniería, las ciencias y las matemáticas (3ª ed.). Prentice Hall. ISBN0-1390-7874-6.