In mathematics, summation by parts transforms the summation of products of sequences into other summations, often simplifying the computation or (especially) estimation of certain types of sums. It is also called Abel's lemma or Abel transformation, named after Niels Henrik Abel who introduced it in 1826.
Statement Suppose { f k } {\displaystyle \{f_{k}\}} and { g k } {\displaystyle \{g_{k}\}} are two sequences. Then,
∑ k = m n f k ( g k + 1 − g k ) = ( f n + 1 g n + 1 − f m g m ) − ∑ k = m n g k + 1 ( f k + 1 − f k ) . {\displaystyle \sum _{k=m}^{n}f_{k}(g_{k+1}-g_{k})=\left(f_{n+1}g_{n+1}-f_{m}g_{m}\right)-\sum _{k=m}^{n}g_{k+1}(f_{k+1}-f_{k}).}
Using the forward difference operator Δ {\displaystyle \Delta } , it can be stated more succinctly as
∑ k = m n f k Δ g k = ( f n + 1 g n + 1 − f m g m ) − ∑ k = m n g k + 1 Δ f k , {\displaystyle \sum _{k=m}^{n}f_{k}\Delta g_{k}=\left(f_{n+1}g_{n+1}-f_{m}g_{m}\right)-\sum _{k=m}^{n}g_{k+1}\Delta f_{k},}
Or, equivalently, using backward difference operator ∇ {\displaystyle \nabla } :
∑ k = m n f k ∇ g k = ( f n g n − f m − 1 g m − 1 ) − ∑ k = m n g k − 1 ∇ f k , {\displaystyle \sum _{k=m}^{n}f_{k}\nabla g_{k}=\left(f_{n}g_{n}-f_{m-1}g_{m-1}\right)-\sum _{k=m}^{n}g_{k-1}\nabla f_{k},}
Both can be used to obtain a more symmetric version:
∑ k = m n ( f k Δ g k + g k ∇ f k ) = f n g n + 1 − f m − 1 g m {\displaystyle \sum _{k=m}^{n}\left(f_{k}\Delta g_{k}+g_{k}\nabla f_{k}\right)=f_{n}g_{n+1}-f_{m-1}g_{m}}
Summation by parts is an analogue to integration by parts:
∫ f d g = f g − ∫ g d f , {\displaystyle \int f\,dg=fg-\int g\,df,}
or to Abel's summation formula:
… excerpt ends here. Continue reading the full article.
