Supongamos que existe un conjunto no limitado SS en la llanura compleja y una secuencia de funciones analíticas fnfn definido sobre SS .
La serie f(s)=∞∑n=1fn(s)f(s)=∞∑n=1fn(s) converge uniformemente en subconjuntos compactos K⊂SK⊂S . Sé que por el Teorema de Weierstrass que f(s)f(s) es analítico en SS y que la serie se puede diferenciar término a término: f′(s)=∞∑n=1f′n(s) en S . ¿Implica esto que ∫Sf(s)ds=∞∑n=1∫Sfn(s)ds siempre que exista cada integral? Si la serie converge uniformemente en S entonces se puede hacer el intercambio, pero si sólo tengo convergencia uniforme en subconjuntos compactos, ¿puedo seguir intercambiando la suma con la integral? Por ejemplo, si consideramos fn(s)=e−πn2s entonces es fácil ver que ∞∑n=1e−πn2s converge uniformemente en subconjuntos compactos del eje real positivo S=R+ . Sin embargo, no converge uniformemente en todo el eje real positivo. En este caso es el intercambio ∫∞0∞∑n=1e−πn2sds=∞∑n=1∫∞0e−πn2s ¿sigue siendo válida por la convergencia uniforme en subconjuntos compactos? (Este intercambio puede ser justificado por el Teorema de Convergencia Dominante)