Producto cauchy
En las matemáticas, más específicamente en el análisis matemático, Cauchy product es la convolución discreta de dos series infinitas. Es nombrado por el matemático francés Augustin-Louis Cauchy.
Definiciones
El producto Cauchy puede aplicarse a series infinitas o series de potencias. Cuando la gente lo aplica a secuencias finitas o series finitas, 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
Vamos. . . i=0JUEGO JUEGO ai{textstyle sum ¿Qué? }a_{i} y . . j=0JUEGO JUEGO bj{textstyle sum _{j=0}{infty }b_{j} ser dos series infinitas con términos complejos. El producto Cauchy de estas dos series infinitas es definido por una convolución discreta como sigue:
- (). . i=0JUEGO JUEGO ai)⋅ ⋅ (). . j=0JUEGO JUEGO bj)=. . k=0JUEGO JUEGO ck{displaystyle left(sum ¿Por qué? }b_{j}right)=sum ¿Qué? }c_{k} Donde ck=. . l=0kalbk− − l{displaystyle C_{k}=sum ¿Qué?.
Producto de Cauchy de dos series de potencias
Considere las siguientes dos series de potencias
- . . i=0JUEGO JUEGO aixi{displaystyle sum _{i=0}{infty }a_{i}x^{i} y . . j=0JUEGO JUEGO bjxj{displaystyle sum _{j=0} {infty}b_{j}x^{j}
con coeficientes complejos {}ai}{displaystyle {fn}} y {}bj}{displaystyle {}}. El producto Cauchy de estas dos series de potencia se define por una convolución discreta como sigue:
- (). . i=0JUEGO JUEGO aixi)⋅ ⋅ (). . j=0JUEGO JUEGO bjxj)=. . k=0JUEGO JUEGO ckxk{displaystyle left(sum ¿Qué? }a_{i}x^{i}right)cdot left(sum _{j=0}^{infty }b_{j}x^{j}right)=sum ¿Qué? }c_{k}x^{k} Donde ck=. . l=0kalbk− − l{displaystyle C_{k}=sum ¿Qué?.
Convergencia y teorema de Mertens
Vamos. ()an)n≥0 y ()bn)n≥0 ser secuencias reales o complejas. Fue probado por Franz Mertens que, si la serie . . n=0JUEGO JUEGO an{textstyle sum _{n=0}{infty }a_{n} convergencias a A y . . n=0JUEGO JUEGO bn{textstyle sum _{n=0}{infty }b_{n} convergencias a B, y al menos uno de ellos converge absolutamente, entonces su producto Cauchy converge a AB. El teorema sigue siendo válido en un álgebra de Banach (ver primera línea de la siguiente prueba).
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 muestra el siguiente ejemplo:
Ejemplo
Considere las dos series alternas con
que sólo son condicionalmente convergentes (la divergencia de la serie de valores absolutos se deriva de la prueba de comparación directa y la divergencia de la serie armónica). Los términos de su producto Cauchy están dados por
para cada número entero n ≥ 0. Ya que para cada k ∈ {0, 1,..., n} tenemos las desigualdades k + 1 ≤ n + 1 y n – k + 1 ≤ n + 1, se deduce para la raíz cuadrada en el denominador que √ (k + 1)(n − k + 1) ≤ n +1, por lo tanto, porque hay n + 1 comandos,
para cada entero n ≥ 0. Por lo tanto, cn no converge a cero como n →, por lo tanto la serie de ()cn)n≥0 se sumerge en la prueba de término.
Prueba del teorema de Mertens
Para simplificar, lo demostraremos para números complejos. Sin embargo, la demostración que estamos a punto de dar es formalmente idéntica para un álgebra de Banach arbitraria (ni siquiera se requiere conmutatividad o asociatividad).
Suponga sin pérdida de generalidad que la serie . . n=0JUEGO JUEGO an{textstyle sum _{n=0}{infty }a_{n} converge absolutamente. Definir las sumas parciales
con
Entonces
por reorganización, por lo tanto
Cn=. . i=0nan− − i()Bi− − B)+AnB.{displaystyle C_{n}=sum ¿Por qué? | ()1) |
Corrección ε ■ 0. Desde <math alttext="{textstyle sum _{kin mathbb {N} }|a_{k}|. . k▪ ▪ NSilencioakSilencioc)JUEGO JUEGO {textstyle sum _{kin mathbb {N} }Principalmente<img alt="{textstyle sum _{kin mathbb {N} }|a_{k}| por la convergencia absoluta, y desde Bn convergencias a B como n →, existe un entero N tal que, para todos los enteros n ≥ N,
SilencioBn− − BSilencio≤ ≤ ε ε /3. . k▪ ▪ NSilencioakSilencio+1{displaystyle Silencio. /3}{sum _{kin mathbb {N} } | ()2) |
(este es el único lugar donde se utiliza la convergencia absoluta). Desde la serie de la ()an)n≥0 converge, el individuo an debe converger a 0 por el término prueba. Por lo tanto existe un entero M tal que, para todos los enteros n ≥ M,
SilencioanSilencio≤ ≤ ε ε 3N()maxi▪ ▪ {}0,... ... ,N− − 1}SilencioBi− − BSilencio+1).{displaystyle TENA_{n}Antesleq {frac {varepsilon }{3N(max _{iin {0,dotsN-1}fn_ {i}-B vidas+1)}},},}} | ()3) |
Además, dado que An converge en A como n → ∞, existe un número entero L tal que, para todos los números enteros n ≥ L,
SilencioAn− − ASilencio≤ ≤ ε ε /3SilencioBSilencio+1.{displaystyle Silencio. {fnMicrosoft Sans Serif} | ()4) |
Entonces, para todos los números enteros n ≥ max{L, M + N}, use la representación (1) para Cn, divide la suma en dos partes, usa la desigualdad triangular para el valor absoluto y finalmente usa las tres estimaciones (2), (3) y ( 4) para demostrar que
Según la definición de convergencia de una serie, Cn → AB como requerido.
Teorema de Cesàro
En los casos en que las dos secuencias son convergentes pero no absolutamente convergentes, el producto Cauchy sigue siendo Cesàro sumible. Específicamente:
Si ()an)n≥ ≥ 0{textstyle (a_{n})_{ngeq ., ()bn)n≥ ≥ 0{textstyle (b_{n})_{ngeq . son secuencias reales con . . an→ → A{textstyle sum a_{n}to A} y . . bn→ → B{textstyle sum b_{n}to B. entonces
Esto se puede generalizar al caso en el que las dos secuencias no son convergentes sino simplemente sumables de Cesàro:
Teorema
Para -1}" xmlns="http://www.w3.org/1998/Math/MathML">r■− − 1{textstyle r]-1}" aria-hidden="true" class="mwe-math-fallback-image-inline mw-invert skin-invert" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/ab9e09fe075d771293214f4547f525412389b777" style="vertical-align: -0.505ex; width:7.118ex; height:2.343ex;"/> y -1}" xmlns="http://www.w3.org/1998/Math/MathML">s■− − 1{textstyle s confía-1}
-1}" aria-hidden="true" class="mwe-math-fallback-image-inline mw-invert skin-invert" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/4fe3fd57f7b7d9ca062ad8dea8276f3f195c2f7e" style="vertical-align: -0.505ex; width:7.16ex; height:2.343ex;"/>, supongamos la secuencia ()an)n≥ ≥ 0{textstyle (a_{n})_{ngeq . es ()C,r){textstyle (C,;r)} sumergible con suma A y ()bn)n≥ ≥ 0{textstyle (b_{n})_{ngeq . es ()C,s){textstyle (C,;s)} sumergible con suma B. Entonces su producto Cauchy es ()C,r+s+1){textstyle (C,;r+s+1)} sumergible con suma AB.
Ejemplos
- Para algunos x,Sí.▪ ▪ R{textstyle x,yin mathbb {R}, vamos an=xn/n!{fnMicrosoftstyle a_{n}=x^{n}/n! y bn=Sí.n/n!{fnMicrosoftstyle ¡No!. Entonces... por definición y la fórmula binomial. Since, formally, exp ()x)=. . an{textstyle exp(x)=sum a_{n} y exp ()Sí.)=. . bn{textstyle exp(y)=sum b_{n}, hemos demostrado que exp ()x+Sí.)=. . cn{textstyle exp(x+y)=sum c_{n}. Puesto que el límite del producto Cauchy de dos series absolutamente convergentes es igual al producto de los límites de esas series, hemos probado la fórmula exp ()x+Sí.)=exp ()x)exp ()Sí.){textstyle exp(x+y)=exp(x)exp(y)} para todos x,Sí.▪ ▪ R{textstyle x,yin mathbb {R}.cn=. . i=0nxii!Sí.n− − i()n− − i)!=1n!. . i=0n()ni)xiSí.n− − i=()x+Sí.)nn!{displaystyle C_{n}=sum ¿Por qué? {x^{i}{i}} {frac {y^{n-i}{(n-i)}={frac {1} {n}}sum ¿Qué? {fn} {fn} {fn} {fn}}}}}}}}
- Como segundo ejemplo, vamos an=bn=1{fnMicrosoftstyle A_{n}=b_{n}=1} para todos n▪ ▪ N{textstyle nin mathbb {N}. Entonces... cn=n+1{fnMicrosoftstyle C_{n}=n+1} para todos n▪ ▪ N{displaystyle nin mathbb {N} así que el producto Cauchy no converge.. . cn=()1,1+2,1+2+3,1+2+3+4,... ... ){displaystyle sum c_{n}=(1,1+2,1+2+3,1+2+3+4,dots)}
Generalizaciones
Todo lo anterior se aplica a las secuencias en C{textstyle mathbb {C} (números complejos). El Cauchy product se puede definir para la serie en Rn{textstyle mathbb {R} {fn} espacios (espacios euclidianos) donde la multiplicación es el producto interior. En este caso, tenemos el resultado de que si dos series convergen absolutamente entonces su producto Cauchy converge absolutamente al producto interno de los límites.
Productos de un número finito de series infinitas
Vamos. n▪ ▪ N{displaystyle nin mathbb {N} tales que n≥ ≥ 2{displaystyle ngeq 2} (en realidad lo siguiente también es cierto para n=1{displaystyle n=1} pero la declaración se vuelve trivial en ese caso) y deja . . k1=0JUEGO JUEGO a1,k1,... ... ,. . kn=0JUEGO JUEGO an,kn{textstyle sum ¿Qué? }a_{1,k_{1}},ldotssum ¿Qué? }a_{n,k_{n}} ser serie infinita con coeficientes complejos, de los cuales todos excepto el n{displaystyle n}uno converge absolutamente, y el n{displaystyle n}uno converge. Entonces el límite
Prueba
Porque...
El paso de inducción es el siguiente: Que la reclamación sea verdadera para un n▪ ▪ N{displaystyle nin mathbb {N} tales que n≥ ≥ 2{displaystyle ngeq 2}, y dejar . . k1=0JUEGO JUEGO a1,k1,... ... ,. . kn+1=0JUEGO JUEGO an+1,kn+1{textstyle sum ¿Qué? }a_{1,k_{1}},ldotssum ¿Qué? }a_{n+1,k_{n+1}} ser serie infinita con coeficientes complejos, de los cuales todos excepto el n+1{displaystyle n+1}uno converge absolutamente, y el n+1{displaystyle n+1}- uno converge. Primero aplicamos la hipótesis de inducción a la serie . . k1=0JUEGO JUEGO Silencioa1,k1Silencio,... ... ,. . kn=0JUEGO JUEGO Silencioan,knSilencio{textstyle sum ¿Qué? }Principalmente, 'ldotssum ¿Qué? }Principioso.. Obtenemos que la serie
Relación con la convolución de funciones
Una secuencia finita puede ser vista como una secuencia infinita con sólo términos finitos no cero, o en otras palabras como una función f:N→ → C{displaystyle f:mathbb {N} to mathbb {C} con apoyo finito. Para cualquier función de valor complejo f, g on N{displaystyle mathbb {N} con apoyo finito, uno puede tomar su convolución:
Más generalmente, dado un monoide S, uno puede formar el álgebra semigrupo C[S]{displaystyle mathbb {C} [S] de S, con la multiplicación dada por la convolución. Si uno toma, por ejemplo, S=Nd{displaystyle S=mathbb {N} }, entonces la multiplicación en C[S]{displaystyle mathbb {C} [S] es una generalización del producto Cauchy a la dimensión superior.