んーa(k)=k*2^k + 2 かな

であるならば、S=Σk*2^k の算出が山になるけど、セオリックに
　2S - S
の各項並べてみればできるよ