Sí: una integral de este tipo siempre converge en las condiciones que has descrito.
Para mayor claridad del argumento, supondré que a=0 pero se puede adaptar a cualquier a . Romper el intervalo [0,∞) en una unión: [0,∞)=[0,π]∪[π,2π]∪[2π,3π]∪… A continuación, compara el valor de las integrales en las regiones adyacentes. Obsérvese que |∫2ππf(x)sin(x)dx|=∫2ππ|f(x)sin(x)|dx=∫π0|f(u+π)[sin(u+π)]|du=∫π0|f(u+π)[−sin(u)]|du=∫π0f(u+π)sin(u)du≤∫π0f(u)sin(u)du=|∫π0f(x)sin(x)dx| y el mismo argumento puede aplicarse a cualquier intervalo adyacente. Así, los términos integrales an:=∫(n+1)πnπf(x)dx para n≥0 forman una secuencia que satisface las hipótesis de la prueba de series alternas.
Una advertencia: estas integrales convergerán si se consideran como Riemann integrales pero como integrales de Lebesgue, puede que no. Para que las integrales de Lebesgue converjan, también hay que garantizar que a0+a2+a4+… y a1+a3+a5+… cada uno converge a un valor finito.