Concepto en matemáticas
En matemáticas , más específicamente en análisis matemático , el producto de Cauchy es la convolución discreta de dos series infinitas . Recibe su nombre en honor al matemático francés Augustin-Louis Cauchy .
Definiciones
El producto de Cauchy puede aplicarse a series infinitas [1] [2] [3] [4] [5 ] [6] [7] [8] [9] [10] [11] [ citas excesivas ] o series de potencias. [12] [13] Cuando la gente lo aplica a secuencias finitas [14] o series finitas, esto puede verse simplemente como un caso particular de un producto de series con un número finito de coeficientes distintos de cero (ver convolución discreta ).
Las cuestiones de convergencia se analizan en la siguiente sección.
Producto de Cauchy de dos series infinitas
Sean y dos series infinitas con términos complejos. El producto de Cauchy de estas dos series infinitas se define mediante una convolución discreta de la siguiente manera:
- dónde .
Producto de Cauchy de dos series de potencias
Considere las siguientes dos series de potencias
- y
con coeficientes complejos y . El producto de Cauchy de estas dos series de potencias se define mediante una convolución discreta de la siguiente manera:
- dónde .
Convergencia y teorema de Mertens
Sean ( a n ) n ≥0 y ( b n ) n ≥0 sucesiones reales o complejas. Franz Mertens demostró que, si la serie converge a A y converge a B , y al menos una de ellas converge absolutamente , entonces su producto de Cauchy converge a AB . [15] El teorema sigue siendo válido en un álgebra de Banach (véase la primera línea de la siguiente demostración).
No es suficiente que ambas series sean convergentes; si ambas secuencias son condicionalmente convergentes , el producto de Cauchy no tiene por qué converger hacia el producto de las dos series, como lo muestra el siguiente ejemplo:
Ejemplo
Consideremos las dos series alternas con
que sólo son condicionalmente convergentes (la divergencia de la serie de valores absolutos se desprende de la prueba de comparación directa y la divergencia de la serie armónica ). Los términos de su producto de Cauchy están dados por
para cada entero n ≥ 0 . Como para cada k ∈ {0, 1, ..., n } tenemos las desigualdades k + 1 ≤ n + 1 y n – k + 1 ≤ n + 1 , se sigue para la raíz cuadrada en el denominador que √ ( k + 1)( n − k + 1) ≤ n +1 , por lo tanto, como hay n + 1 sumandos,
para cada entero n ≥ 0 . Por lo tanto, c n no converge a cero cuando n → ∞ , por lo tanto la serie de ( c n ) n ≥0 diverge por el término test .
Demostración del teorema de Mertens
Para simplificar, lo demostraremos para números complejos. Sin embargo, la demostración que vamos a dar es formalmente idéntica para cualquier álgebra de Banach (ni siquiera se requiere conmutatividad o asociatividad).
Supongamos sin pérdida de generalidad que la serie converge absolutamente. Definamos las sumas parciales
con
Entonces
por reordenamiento, por lo tanto
Fije ε > 0 . Puesto que por convergencia absoluta, y puesto que B n converge a B cuando n → ∞ , existe un entero N tal que, para todos los enteros n ≥ N ,
(este es el único lugar donde se utiliza la convergencia absoluta). Puesto que la serie de ( a n ) n ≥0 converge, el individuo a n debe converger a 0 mediante la prueba del término . Por lo tanto, existe un entero M tal que, para todos los enteros n ≥ M ,
Además, como A n converge a A cuando n → ∞ , existe un entero L tal que, para todos los enteros n ≥ L ,
Luego, para todos los números enteros n ≥ max{ L , M + N } , use la representación ( 1 ) para C n , divida la suma en dos partes, use la desigualdad triangular para el valor absoluto y, finalmente, use las tres estimaciones ( 2 ), ( 3 ) y ( 4 ) para demostrar que
Por la definición de convergencia de una serie , C n → AB como se requiere.
Teorema de Cesáro
En los casos en que las dos secuencias son convergentes pero no absolutamente convergentes, el producto de Cauchy sigue siendo sumable según Cesàro . [16] Específicamente:
Si , son sucesiones reales con y entonces
Esto se puede generalizar al caso en que las dos secuencias no son convergentes sino simplemente sumables mediante Cesàro:
Teorema
Para y , supongamos que la secuencia es sumable con suma A y es sumable con suma B . Entonces su producto de Cauchy es sumable con suma AB .
Ejemplos
- Para algunos , sean y . Entonces, por definición y la fórmula binomial . Puesto que, formalmente , y , hemos demostrado que . Puesto que el límite del producto de Cauchy de dos series absolutamente convergentes es igual al producto de los límites de esas series, hemos demostrado la fórmula para todos los .
- Como segundo ejemplo, supongamos que para todos . Entonces, para todos entonces el producto de Cauchy no converge.
Generalizaciones
Todo lo anterior se aplica a sucesiones en ( números complejos ). El producto de Cauchy se puede definir para series en los espacios ( espacios euclidianos ) donde la multiplicación es el producto interno . En este caso, tenemos el resultado de que si dos series convergen absolutamente, entonces su producto de Cauchy converge absolutamente al producto interno de los límites.
Productos de un número finito de series infinitas
Sea tal que (en realidad lo siguiente también es cierto para pero la afirmación se vuelve trivial en ese caso) y sea una serie infinita con coeficientes complejos, de la que todas excepto la n convergen absolutamente, y la n converge. Entonces el límite
existe y tenemos:
Prueba
Porque
la afirmación puede probarse por inducción sobre : El caso de es idéntico a la afirmación sobre el producto de Cauchy. Esta es nuestra base de inducción.
El paso de inducción es el siguiente: Sea la afirmación verdadera para un tal que , y sea una serie infinita con coeficientes complejos, de la que todas excepto la th convergen absolutamente, y la -th converge. Primero aplicamos la hipótesis de inducción a la serie . Obtenemos que la serie
converge, y por lo tanto, por la desigualdad triangular y el criterio del sándwich, la serie
converge, y por lo tanto la serie
converge absolutamente. Por lo tanto, por la hipótesis de inducción, por lo que demostró Mertens, y por el cambio de nombre de las variables, tenemos:
Por lo tanto, la fórmula también es válida para .
Relación con la convolución de funciones
Una secuencia finita puede verse como una secuencia infinita con solo un número finito de términos distintos de cero, o en otras palabras, como una función con un soporte finito. Para cualquier función de valor complejo f , g con un soporte finito, se puede tomar su convolución :
Entonces es lo mismo que el producto de Cauchy de y .
De manera más general, dado un monoide S , se puede formar el álgebra de semigrupos de S , con la multiplicación dada por convolución. Si se toma, por ejemplo, , entonces la multiplicación por es una generalización del producto de Cauchy a una dimensión superior.
Notas
- ^ Canuto y Tabaco 2015, pag. 20.
- ^ Bloch 2011, pág. 463.
- ^ Friedman y Kandel 2011, pág. 204.
- ^ Ghorpade y Limaye 2006, pág. 416.
- ^ Hiyab 2011, pág. 43.
- ^ Montesinos, Zizler y Zizler 2015, pag. 98.
- ^ Oberguggenberger y Ostermann 2011, pág. 322.
- ^ Pedersen 2015, pág. 210.
- ^ Ponnusamy 2012, pág. 200.
- ^ Pugh 2015, pág. 210.
- ^ Sohrab 2014, pág. 73.
- ^ Canuto y Tabaco 2015, pag. 53.
- ^ Mathonline, Producto de Cauchy de series de potencias.
- ^ Weisstein, Producto Cauchy.
- ^ Rudin, Walter (1976). Principios del análisis matemático . McGraw-Hill. pág. 74.
- ^ Hardy, Godfrey H. (2000). Serie Divergente (2.ª ed. (sin modificaciones textuales), reedición). Providence, RI: AMS Chelsea Publ. ISBN 978-0-8218-2649-2.
Referencias
- Canuto, Claudio; Tabacco, Anita (2015), Análisis matemático II (2.ª ed.), Springer.
- Ghorpade, Sudhir R.; Limaye, Balmohan V. (2006), Un curso de cálculo y análisis real , Springer.
- Hijab, Omar (2011), Introducción al cálculo y al análisis clásico (3.ª ed.), Springer.
- Montesinos, Vicente; Zizler, Peter; Zizler, Václav (2015), Introducción al análisis moderno , Springer.
- Oberguggenberger, Michael; Ostermann, Alexander (2011), Análisis para científicos informáticos , Springer.
- Pugh, Charles C. (2015), Análisis matemático real (2.ª ed.), Springer.
- Sohrab, Houshang H. (2014), Análisis real básico (2.ª ed.), Birkhäuser.
Enlaces externos
- Mathonline. "Producto de Cauchy de series de potencias"..
- Weisstein, Eric W., "Producto de Cauchy", de MathWorld – Un recurso web de Wolfram.