Дискретное преобразование Абеля

Дискретным преобразованием А́беля называют следующее тождество:

\sum \limits _{k=m}^{n}a_{k}b_{k}=a_{n}B_{n}-a_{m}B_{m-1}-\sum \limits _{k=m}^{n-1}(a_{k+1}-a_{k})B_{k}

,

где $n\geqslant m\geqslant 1$ , $(a_{k}),(b_{k}),(B_{k})$ — последовательности $(k\in \mathbb {N} )$ , при этом $B_{k}=b_{1}+b_{2}+\ldots +b_{k}$ и $B_{0}=0$ . Это преобразование было названо в честь норвежского математика Нильса Хенрика Абеля. В математическом анализе оно используется при доказательстве признака сходимости Дирихле.

Преобразование Абеля является дискретным аналогом интегрирования по частям и иногда называется суммированием по частям.

Доказательство

Имеем

$\sum _{k=m}^{n}a_{k}b_{k}=\sum _{k=m}^{n}a_{k}(B_{k}-B_{k-1})=\sum _{k=m}^{n}a_{k}B_{k}-\sum _{k=m}^{n}a_{k}B_{k-1}=\sum _{k=m}^{n}a_{k}B_{k}-\sum _{k=m-1}^{n-1}a_{k+1}B_{k}=a_{n}B_{n}-a_{m}B_{m-1}-\sum _{k=m}^{n-1}(a_{k+1}-a_{k})B_{k},$

что и требовалось доказать.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.