Open Journal of Mathematical Analysis

On generalized Tetranacci numbers: Closed forms of the sum formulas \(\sum\limits_{k=0}^{n}kx^{k}W_{k}\) and \(\sum\limits_{k=1}^{n}kx^{k}W_{-k}\)

Yüksel Soykan\(^1\), Erkan Taşdemir\(^{2,∗}\) and Inci Okumuş\(^3\)
\(^1\) Department of Mathematics, Art and Science Faculty, Zonguldak Bülent Ecevit University, 67100, Zonguldak, Turkey.
\(^2\) Pınarhisar Vocational School, Kırklareli University, 39300, Kırklareli, Turkey
\(^3\) Department of Engineering Sciences, Istanbul University-Cerrahpaşa, 34100, Istanbul, Turkey.
Correspondence should be addressed to Erkan Taşdemir at erkantasdemir@hotmail.com

Abstract

In this paper, closed forms of the sum formulas \(\sum\limits_{k=0}^{n}kx^{k}W_{k}\) and \(\sum\limits_{k=1}^{n}kx^{k}W_{-k}\) for generalized Tetranacci numbers are presented. As special cases, we give summation formulas of Tetranacci, Tetranacci-Lucas, and other fourth-order recurrence sequences.

Keywords:

Tetranacci numbers; Tetranacci-Lucas numbers; fourth order Pell numbers; sum formulas; summing formulas.

1. Introduction

There have been so many studies of the sequences of numbers in the literature which are defined recursively. Two of these types of sequences are the sequences of Tetranacci and Tetranacci-Lucas which are special cases of generalized Tetranacci numbers. A generalized Tetranacci sequence

\begin{equation*} \{W_{n}\}_{n\geq 0}=\{W_{n}(W_{0},W_{1},W_{2},W_{3};r,s,t,u)\}_{n\geq 0} \end{equation*} is defined by the fourth-order recurrence relations
\begin{equation} W_{n}=rW_{n-1}+sW_{n-2}+tW_{n-3}+uW_{n-4}, \label{equation:dcfvtsrewqsxazsae} \end{equation}
(1)
with the initial values \(W_{0},W_{1},W_{2},W_{3}\ \)are arbitrary complex (or real) numbers not all being zero and \(r,s,t,u\) are complex numbers.

This sequence has been studied by many authors and more detail can be found in the extensive literature dedicated to these sequences, see for example [1,2,3,4,5,6].

The sequence \(\{W_{n}\}_{n\geq 0}\) can be extended to negative subscripts by defining

\begin{equation*} W_{-n}=-\frac{t}{u}W_{-(n-1)}-\frac{s}{u}W_{-(n-2)}-\frac{r}{u}W_{-(n-3)}+ \frac{1}{u}W_{-(n-4)}\,, \end{equation*} for \(n=1,2,3,....\) Therefore, recurrence (1) holds for all integer \(n.\)

For some specific values of \(W_{0},W_{1},W_{2},W_{3}\) and \(r,s,t,u\), it is worth presenting these special Tetranacci numbers in a table as a specific name. In literature, for example, the following names and notations (see Table 1) are used for the special cases of \(r,s,t,u\) and initial values.

In literature, for example, the following names and notations (see Table 1) are used for the special case of \(r,s,t,u\) and initial values.

Table 1. A few special cases of generalized Tetranacci sequences.
No Sequences (Numbers) \(\text{Notation}\) OEIS [7] Ref.
1 Tetranacci \(\{M_{n}\}=\{W_{n}(0,1,1,2;1,1,1,1)\}\) A000078 [8]
2 Tetranacci-Lucas \(\{R_{n}\}=\{W_{n}(4,1,3,7;1,1,1,1)\}\) A073817 [8]
3 fourth order Pell \(\{P_{n}^{(4)}\}=\{W_{n}(0,1,2,5;2,1,1,1)\}\) A103142 [9]
4 fourth order Pell-Lucas \(\{Q_{n}^{(4)}\}=\{W_{n}(4,2,6,17;2,1,1,1)\}\) A331413 [9]
5 modified fourth order Pell \(\{E_{n}^{(4)}\}=\{W_{n}(0,1,1,3;2,1,1,1)\}\) A190139 [9]
6 fourth order Jacobsthal \(\{J_{n}^{(4)}\}=\{W_{n}(0,1,1,1;1,1,1,2)\}\) A007909 [10]
7 fourth order Jacobsthal-Lucas \(\{j_{n}^{(4)}\}=\{W_{n}(2,1,5,10;1,1,1,2)\}\) A226309 [10]
8 modified fourth order Jacobsthal \(\{K_{n}^{(4)}\}=\{W_{n}(3,1,3,10;1,1,1,2)\}\) [10]
9 fourth-order Jacobsthal Perrin \(\{Q_{n}^{(4)}\}=\{W_{n}(3,0,2,8;1,1,1,2)\}\) [10]
10 adjusted fourth-order Jacobsthal \(\{S_{n}^{(4)}\}=\{W_{n}(0,1,1,2;1,1,1,2)\}\) [10]
11 modified fourth-order Jacobsthal-Lucas \(\{R_{n}^{(4)}\}=\{W_{n}(4,1,3,7;1,1,1,2)\}\) [10]
12 4-primes \(\{G_{n}\}=\{W_{n}(0,0,1,2;2,3,5,7)\}\) [11]
13 Lucas 4-primes \(\{H_{n}\}=\{W_{n}(4,2,10,41;2,3,5,7)\}\) [11]
14 modified 4-primes \(\{E_{n}\}=\{W_{n}(0,0,1,1;2,3,5,7)\}\) [11]

Here OEIS stands for On-line Encyclopedia of Integer Sequences. For easy writing, from now on, we drop the superscripts from the sequences, for example we write \(J_{n}\) for \(J_{n}^{(4)}\).

We present some works on sum formulas of the numbers in the following Table 2.

Table 2. A few special studies of sum formulas.
Name of sequence Papers which deal with sum formulas
Pell and Pell-Lucas [12, 13, 14, 15, 16]
Generalized Fibonacci [17, 18, 19, 20, 21, 22, 23]
Generalized Tribonacci [24, 25, 26, 27]
Generalized Tetranacci [6,24, 28, 29]
Generalized Pentanacci [24, 30, 31]
Generalized Hexanacci [32, 33]

The following theorem present some linea sum formulas of generalized Tetranacci numbers with positive subscripts.

Theorem 1.[34, Theorem 1] For \(n\geq 0\) we have the following formulas:

  • (a) If \(rx+sx^{2}+tx^{3}+ux^{4}-1\neq 0 ,\) then \begin{equation*} \sum\limits_{k=0}^{n}x^{k}W_{k}=\frac{\Theta _{1}(x)}{rx+sx^{2}+tx^{3}+ux^{4}-1}. \end{equation*}
  • (b) If \( r^{2}x+2ux^{2}-s^{2}x^{2}+t^{2}x^{3}-u^{2}x^{4}+2sx+2rtx^{2}-2sux^{3}-1\neq 0 \) then \begin{equation*} \sum\limits_{k=0}^{n}x^{k}W_{2k}=\frac{\Theta _{2}(x)}{ r^{2}x+2ux^{2}-s^{2}x^{2}+t^{2}x^{3}-u^{2}x^{4}+2sx+2rtx^{2}-2sux^{3}-1}. \end{equation*}
  • (c) If \( r^{2}x+2ux^{2}-s^{2}x^{2}+t^{2}x^{3}-u^{2}x^{4}+2sx+2rtx^{2}-2sux^{3}-1\neq 0 \) then \begin{equation*} \sum\limits_{k=0}^{n}x^{k}W_{2k+1}=\frac{\Theta _{3}(x)}{ r^{2}x+2ux^{2}-s^{2}x^{2}+t^{2}x^{3}-u^{2}x^{4}+2sx+2rtx^{2}-2sux^{3}-1} \end{equation*}
where

\(\Theta _{1}(x)=x^{n+3}W_{n+3}-x^{n+2}\left( rx-1\right) W_{n+2}-x^{n+1}\left( sx^{2}+rx-1\right) W_{n+1}+ux^{n+4} W_{n}-x^{3}W_{3}+ x^{2}(rx-1)W_{2}+x(sx^{2}+rx-1)W_{1}+(tx^{3}+sx^{2}+rx-1) W_{0},\)

\(\Theta _{2}(x)=x^{n+1}\left( -ux^{2}-sx+1\right) W_{2n+2}+x^{n+2}(t+rs+rux)W_{2n+1}+ x^{n+2}(u+t^{2}x-u^{2}x^{2}+rt-sux)W_{2n}+ ux^{n+2}\left( r+tx\right) W_{2n-1} \)

\( -x^{2}(r+tx)W_{3}+ x(r^{2}x+ux^{2}+sx+rtx^{2}-1)W_{2} -x^{2}(t+rux-stx)W_{1}+ (r^{2}x+ux^{2}-s^{2}x^{2}+t^{2}x^{3}+2sx+2rtx^{2}-sux^{3}-1) W_{0},\)

\(\Theta _{3}(x)=x^{n+1}(r+tx)W_{2n+2}+ x^{n+1}(s-s^{2}x+t^{2}x^{2}-u^{2}x^{3}+ux-2sux^{2}+rtx) W_{2n+1}+ x^{n+1}(t+rux-stx)W_{2n} -ux^{n+1}(ux^{2}+sx-1)W_{2n-1}\)

\(+x(ux^{2}+sx-1)W_{3}-x^{2}(t+rs+rux)W_{2}+(r^{2}x+ux^{2}-s^{2}x^{2}+2sx+rtx^{2}-sux^{3}-1) W_{1} -ux^{2}(r+tx)W_{0}. \)

The following theorem present some linear sum formulas of generalized Tetranacci numbers with negative subscripts.

Theorem 2.[34, Theorem 8] Let \(x\) be a real or complex numbers. For \(n\geq 1\) we have the following formulas:

  • (a) If \(rx^{3}+sx^{2}+tx+u-x^{4}\neq 0,\) then \begin{equation*} \sum\limits_{k=1}^{n}x^{k}W_{-k}=\frac{\Theta _{4}(x)}{rx^{3}+sx^{2}+tx+u-x^{4}}. \end{equation*}
  • (b) If \( 2sx^{3}+t^{2}x+2ux^{2}+r^{2}x^{3}-s^{2}x^{2}-u^{2}-x^{4}+2rtx^{2}-2sux\neq 0\) then \begin{equation*} \sum\limits_{k=1}^{n}x^{k}W_{-2k}=\frac{x\Theta _{5}(x)}{ 2sx^{3}+t^{2}x+2ux^{2}+r^{2}x^{3}-s^{2}x^{2}-u^{2}-x^{4}+2rtx^{2}-2sux}. \end{equation*}
  • (c) If \( 2sx^{3}+t^{2}x+2ux^{2}+r^{2}x^{3}-s^{2}x^{2}-u^{2}-x^{4}+2rtx^{2}-2sux\neq 0\) then \begin{equation*} \sum\limits_{k=1}^{n}x^{k}W_{-2k+1}=\frac{x\Theta _{6}(x)}{ 2sx^{3}+t^{2}x+2ux^{2}+r^{2}x^{3}-s^{2}x^{2}-u^{2}-x^{4}+2rtx^{2}-2sux} \end{equation*}
where

\(\Theta _{4}(x)=-x^{n+1}W_{-n+3}+x^{n+1}(r-x)W_{-n+2}+ x^{n+1}(s+rx-x^{2})W_{-n+1}+ x^{n+1}(t+rx^{2}+sx-x^{3})W_{-n}+xW_{3}-x(r-x)W_{2}+ x(-s-rx+x^{2})W_{1}+x(-t-rx^{2}-sx+x^{3})W_{0},\)

\(\Theta _{5}(x)=x^{n}(u+sx-x^{2})W_{-2n+2}-x^{n}(ru+tx+rsx)W_{-2n+1}+ x^{n}(2sx^{2}-s^{2}x+r^{2}x^{2}-su+ux-x^{3}+rtx) W_{-2n}-ux^{n}(t+rx)W_{-2n-1}\)

\(+ (t+rx)W_{3}+ (-u-r^{2}x-rt-sx+x^{2})W_{2}+ (ru-st+tx)W_{1} -(2sx^{2}-s^{2}x+r^{2}x^{2}-su+ux+t^{2}-x^{3}+2rtx) W_{0},\)

\(\Theta _{6}(x)=-x^{n+1}(t+rx)W_{-2n+2}+ x^{n+1}(u+r^{2}x+rt+sx-x^{2})W_{-2n+1}-x^{n+1}(ru-st+tx)W_{-2n} \)

\(+ ux^{n}(u+sx-x^{2})W_{-2n-1}+(-u-sx+x^{2}) W_{3}+(ru+tx+rsx) W_{2}+ (-2sx^{2}+s^{2}x-r^{2}x^{2}+su-ux+x^{3}-rtx) W_{1}+ u(t+rx)W_{0}.\)

In this work, we investigate linear summation formulas of generalized Tetranacci numbers.

2. Linear sum formulas of generalized Tetranacci numbers with positive subscripts

The following theorem present some linear sum formulas of generalized Tetranacci numbers with positive subscripts.

Theorem 3. Let \(x\) be a real or complex non-zero numbers. For \( n\geq 0\) we have the following formulas:

  • (a) If \(sx^{2}+tx^{3}+ux^{4}+rx-1\neq 0\) then \begin{equation*} \sum\limits_{k=0}^{n}kx^{k}W_{k}=\frac{\Omega _{1}}{(sx^{2}+tx^{3}+ux^{4}+rx-1)^{2}} \end{equation*} where

    \(\Omega _{1}=x^{n+3}(n(sx^{2}+tx^{3}+ux^{4}+rx-1)+sx^{2}+2rx-ux^{4}-3) W_{n+3}+ x^{n+2}(n(1-rx)(sx^{2}+tx^{3}+ux^{4}+rx-1)-2+4rx-tx^{3}-2ux^{4}-2r^{2}x^{2}-rsx^{3}+rux^{5})W_{n+2}\)

    \(+x^{n+1}(-n(sx^{2}+rx-1)(sx^{2}+tx^{3}+ux^{4}+rx-1)-1+2sx^{2}-2tx^{3}-3ux^{4}-r^{2}x^{2}-s^{2}x^{4}+2rx-2rsx^{3}+rtx^{4}+2rux^{5}+ sux^{6})W_{n+1}\)

    \(+ ux^{n+4}(n(sx^{2}+tx^{3}+ux^{4}+rx-1)-4+2sx^{2}+tx^{3}+3rx)W_{n}+ x^{3}(-sx^{2}+ux^{4}-2rx+3)W_{3}+ x^{2}(tx^{3}+2ux^{4}+2r^{2}x^{2}-4rx+rsx^{3}-rux^{5}+2) W_{2} \)

    \(+ x(-2sx^{2}+2tx^{3}+3ux^{4}+r^{2}x^{2}+s^{2}x^{4}-2rx+2rsx^{3}-rtx^{4}-2rux^{5}-sux^{6}+1) W_{1}-ux^{4}(2sx^{2}+tx^{3}+3rx-4)W_{0}. \)

  • (b) If \( r^{2}x+2ux^{2}-s^{2}x^{2}+t^{2}x^{3}-u^{2}x^{4}+2sx+2rtx^{2}-2sux^{3}-1\neq 0 \) then \begin{equation*} \sum\limits_{k=0}^{n}kx^{k}W_{2k}=\frac{\Omega _{2}}{ (r^{2}x+2ux^{2}-s^{2}x^{2}+t^{2}x^{3}-u^{2}x^{4}+2sx+2rtx^{2}-2sux^{3}-1)^{2} } \end{equation*} where

    \(\Omega _{2}=x^{n+1}(-n(ux^{2}+sx-1)(r^{2}x+2ux^{2}-s^{2}x^{2}+t^{2}x^{3}-u^{2}x^{4}+2sx+2rtx^{2}-2sux^{3}-1) -1-s^{2}x^{2}-2t^{2}x^{3}+u^{2}x^{4}-u^{3}x^{6}+2sx-2rtx^{2}-r^{2}sx^{2}-2r^{2}ux^{3}+ \)

    \( st^{2}x^{4}-s^{2}ux^{4}-2su^{2}x^{5}-2rtux^{4}+ux^{2})W_{2n+2}+ x^{n+2}(n(t+rs+rux)(r^{2}x+2ux^{2}-s^{2}x^{2}+t^{2}x^{3}-u^{2}x^{4}+2sx+2rtx^{2}-2sux^{3}-1) +2rs^{2}x-t^{3}x^{3}-2rs-2t+r^{3}sx+r^{2}tx+2ru^{2}x^{3}\)

    \(+2r^{3}ux^{2}+ru^{3}x^{5}+2tu^{2}x^{4}-3rux+2stx+4rsux^{2}+2stux^{3}-rst^{2}x^{3}+rs^{2}ux^{3}+2rsu^{2} x^{4}+2r^{2}tux^{3})W_{2n+1}+u x^{n+2}(n(r+tx)(r^{2}x+2ux^{2}-s^{2}x^{2}+t^{2}x^{3}-u^{2}x^{4}+2sx+2rtx^{2}-2sux^{3}-1) \)

    \( +r^{3}x-2r-3tx+4stx^{2}+2tux^{3}+2r^{2}tx^{2}+rt^{2}x^{3}-s^{2}tx^{3}+2ru^{2}x^{4}+ tu^{2}x^{5}+2rsx+2rsux^{3})W_{2n-1}+ x^{n+2}(n(u+t^{2}x-u^{2}x^{2}+rt-sux)(r^{2}x+2ux^{2}-s^{2}x^{2}+t^{2}x^{3}-u^{2}x^{4}+2sx+2rtx^{2}\)

    \(-2sux^{3}-1) +4u^{2}x^{2}-3t^{2}x-2u-2u^{3}x^{4}-2rt+2r^{2} t^{2}x^{2}-3r^{2}u^{2}x^{3}-s^{2}t^{2}x^{3}+2s^{2}u^{2}x^{4}+r^{3}tx+r^{2}ux+rt^{3}x^{3}+4st^{2}x^{2}-4s^{2}ux^{2}-6su^{2}x^{3}+ s^{3}ux^{3}\)

    \(+t^{2}ux^{3}+su^{3}x^{5}+5sux-2r^{2}sux^{2}-2rtu^{2}x^{4}+2rstx)W_{2n}+ x^{2}(2r-r^{3}x+3tx-4stx^{2}-2tux^{3}-2r^{2}tx^{2}-rt^{2}x^{3}+s^{2}tx^{3}-2ru^{2}x^{4}-tu^{2}x^{5}-2rsx-2rsux^{3}) W_{3}+ x(-2r^{2}x-ux^{2}\)

    \(+r^{4}x^{2}+s^{2}x^{2}+2t^{2}x^{3}-u^{2}x^{4}+u^{3}x^{6}-2sx+r^{2}t^{2}x^{4}+2r^{2}u^{2}x^{5}-rtx^{2}+3r^{2}sx^{2}+2r^{3}tx^{3}+2r^{2}ux^{3}-st^{2}x^{4}+s^{2}ux^{4}+2su^{2}x^{5}+4rstx^{3}+4rtux^{4}-rs^{2}tx^{4}\)

    \(+2r^{2}sux^{4}+rtu^{2}x^{6}+1) W_{2}+ x^{2}(2t+t^{3}x^{3}-r^{2}tx+4s^{2}tx^{2}-2ru^{2}x^{3}-2r^{3}ux^{2}-s^{3}tx^{3}-ru^{3}x^{5}-2tu^{2}x^{4}+3rux-5stx-4rsux^{2}+2r^{2}stx^{2}+2rst^{2}x^{3}+rs^{2}ux^{3}-2r^{2}tux^{3}+stu^{2}x^{5}) W_{1}+\)

    \( ux^{2}(-r^{2}x-4ux^{2}+4s^{2}x^{2}-s^{3}x^{3}+t^{2}x^{3}+2u^{2}x^{4}-5sx+6sux^{3}+2r^{2}sx^{2}+3r^{2}ux^{3}-2s^{2}ux^{4}-su^{2}x^{5}+t^{2}ux^{5}+2rstx^{3}+4rtux^{4}+2) W_{0}. \)

  • (c) If \( r^{2}x+2ux^{2}-s^{2}x^{2}+t^{2}x^{3}-u^{2}x^{4}+2sx+2rtx^{2}-2sux^{3}-1\neq 0 \) then \begin{equation*} \sum\limits_{k=0}^{n}kx^{k}W_{2k+1}=\frac{\Omega _{3}}{ (r^{2}x+2ux^{2}-s^{2}x^{2}+t^{2}x^{3}-u^{2}x^{4}+2sx+2rtx^{2}-2sux^{3}-1)^{2} } \end{equation*} where

    \(\Omega _{3}=+ x^{n+1}(n(r+tx)(r^{2}x+2ux^{2}-s^{2}x^{2}+t^{2}x^{3}-u^{2}x^{4}+2sx+2rtx^{2}-2sux^{3}-1)-t^{3}x^{4}-2tx-r-2rux^{2}+2stx^{2}+rs^{2}x^{2}-r^{2}tx^{2}-2rt^{2}x^{3}+3ru^{2}x^{4}+ 2tu^{2}x^{5}+ 4rsux^{3}+2stux^{4})W_{2n+2}\)

    \(+ x^{n+1}(n(s-s^{2}x+t^{2}x^{2}-u^{2}x^{3}+ux-2sux^{2}+rtx) (r^{2}x+2ux^{2}-s^{2}x^{2}+t^{2}x^{3}-u^{2}x^{4}+2sx+2rtx^{2}-2sux^{3}-1) +2s^{2}x-s-s^{3}x^{2}-3t^{2}x^{2}+4u^{2}x^{3}-2u^{3}x^{5}-r^{2}s^{2}x^{2}\)

    \(+2r^{2}t^{2}x^{3}-3r^{2}u^{2}x^{4}+6sux^{2}+r^{3}tx^{2}+ r^{2}ux^{2}+rt^{3}x^{4}+2st^{2}x^{3}-4s^{2}ux^{3}-5su^{2}x^{4}+ t^{2}ux^{4}-2rtx-4r^{2}sux^{3}- 2rtu^{2}x^{5}-2ux-2r stux^{4})W_{2n+1}+ \)

    \(x^{n+1}(n(t+rux-stx)(r^{2}x+2ux^{2}-s^{2}x^{2}+t^{2}x^{3}-u^{2}x^{4}+2sx+2rtx^{2}-2sux^{3}-1)-2t^{3}x^{3}-2tux^{2}-t-2rt^{2}x^{2}-s^{2}tx^{2}+r^{3}ux^{2}+st^{3}x^{4}+2ru^{3}x^{5}+3tu^{2}x^{4}- \)

    \( 2rux+2stx+2rsux^{2}+4stux^{3}-r^{2}stx^{2}+2rsu^{2}x^{4}-rt^{2}ux^{4}-2s^{2}tux^{4}-2stu^{2}x^{5})W_{2n}+ux^{n+1}(-n(ux^{2}+sx-1)(r^{2}x+2ux^{2}-s^{2}x^{2}+t^{2}x^{3}-u^{2}x^{4}+2sx+2rtx^{2}-2sux^{3}-1)\)

    \(-1 -s^{2}x^{2}-2t^{2}x^{3}+u^{2}x^{4}-u^{3}x^{6}+2sx-r^{2}sx^{2}-2r^{2}ux^{3}+st^{2}x^{4}-s^{2}ux^{4}-2su^{2}x^{5}-2rtux^{4}+ux^{2}-2rtx^{2})W_{2n-1}+x(-ux^{2}+s^{2}x^{2}+2t^{2}x^{3}-u^{2}x^{4}\)

    \(+u^{3}x^{6}-2sx+2rtx^{2}+r^{2}sx^{2}+2r^{2}ux^{3}-st^{2}x^{4}+s^{2}ux^{4}+2su^{2}x^{5}+2rtux^{4}+1) W_{3}+ x^{2}(2t+t^{3}x^{3}+2rs-2rs^{2}x-r^{3}sx-r^{2}tx-2ru^{2}x^{3}-2r^{3}ux^{2}\)

    \(-ru^{3}x^{5}-2tu^{2}x^{4}+3rux-2stx-4rsux^{2}-2stux^{3}+rst^{2}x^{3}-rs^{2}ux^{3}-2rsu^{2}x^{4}-2r^{2}tux^{3}) W_{2}+ x^{2}(2u+3t^{2}x-4u^{2}x^{2}+2u^{3}x^{4}+2rt-2r^{2}t^{2}x^{2}+3r^{2}u^{2}x^{3}\)

    \(+s^{2}t^{2}x^{3}-2s^{2}u^{2}x^{4}-r^{3}tx-r^{2}ux-rt^{3}x^{3}-4st^{2}x^{2}+4s^{2}ux^{2}+6su^{2}x^{3}-s^{3}ux^{3}-t^{2}ux^{3}-su^{3}x^{5}-5sux+2r^{2}sux^{2}+2rtu^{2}x^{4}-2rstx) W_{1}+ \)

    \( ux^{2}(2r-r^{3}x+3tx-4stx^{2}-2tux^{3}-2r^{2}tx^{2}-rt^{2}x^{3}+s^{2}tx^{3}-2ru^{2}x^{4}-tu^{2}x^{5}-2rsx-2rsux^{3}) W_{0}. \)

Proof.

  • (a) Using the recurrence relation \begin{equation*} W_{n}=rW_{n-1}+sW_{n-2}+tW_{n-3}+uW_{n-4}\,, \end{equation*} i.e., \begin{equation*} uW_{n-4}=W_{n}-rW_{n-1}-sW_{n-2}-tW_{n-3}\,, \end{equation*} we obtain \begin{eqnarray*} u\times 0\times x^{0}W_{0} &=&0\times x^{0}W_{4}-r\times 0\times x^{0}W_{3}-s\times 0\times x^{0}W_{2}-t\times 0\times x^{0}W_{1} , \end{eqnarray*} \begin{eqnarray*} u\times 1\times x^{1}W_{1} &=&1\times x^{1}W_{5}-r\times 1\times x^{1}W_{4}-s\times 1\times x^{1}W_{3}-t\times 1\times x^{1}W_{2} , \end{eqnarray*} \begin{eqnarray*} u\times 2\times x^{2}W_{2} &=&2\times x^{2}W_{6}-r\times 2\times x^{2}W_{5}-s\times 2\times x^{2}W_{4}-t\times 2\times x^{2}W_{3} , \end{eqnarray*} \begin{eqnarray*} u\times 3\times x^{3}W_{3} &=&3\times x^{3}W_{7}-r\times 3\times x^{3}W_{6}-s\times 3\times x^{3}W_{5}-t\times 3\times x^{3}W_{4} , \end{eqnarray*} \begin{eqnarray*} &&\vdots \end{eqnarray*} \begin{eqnarray*} u(n-4)x^{n-4}W_{n-4} &=&(n-4)x^{n-4}W_{n}-r(n-4)x^{n-4}W_{n-1}-s(n-4)x^{n-4}W_{n-2}-t(n-4)x^{n-4}W_{n-3}, \end{eqnarray*} \begin{eqnarray*} u(n-3)x^{n-3}W_{n-3} &=&(n-3)x^{n-3}W_{n+1}-r(n-3)x^{n-3}W_{n}-s(n-3)x^{n-3}W_{n-1}-t(n-3)x^{n-3}W_{n-2}, \end{eqnarray*} \begin{eqnarray*} u(n-2)x^{n-2}W_{n-2} &=&(n-2)x^{n-2}W_{n+2}-r(n-2)x^{n-2}W_{n+1}-s(n-2)x^{n-2}W_{n}-t(n-2)x^{n-2}W_{n-1}, \end{eqnarray*} \begin{eqnarray*} u(n-1)x^{n-1}W_{n-1} &=&(n-1)x^{n-1}W_{n+3}-r(n-1)x^{n-1}W_{n+2}-s(n-1)x^{n-1}W_{n+1}-t(n-1)x^{n-1}W_{n}, \end{eqnarray*}\begin{eqnarray*} u\times n\times x^{n}W_{n} &=&u\times n\times x^{n}W_{n+4}-ru\times n\times x^{n}W_{n+3}-su\times n\times x^{n}W_{n+2}-tu\times n\times x^{n}W_{n+1}. \end{eqnarray*} If we add the equations side by side we get

    \( u\sum\limits_{k=0}^{n}kx^{k}W_{k}=(nx^{n}W_{n+4}+(n-1)x^{n-1}W_{n+3}+(n-2)x^{n-2}W_{n+2}+(n-3)x^{n-3}W_{n+1}-(-1)x^{-1}W_{3}-(-2)x^{-2}W_{2}\)

    \(-(-3)x^{-3}W_{1}-(-4)x^{-4}W_{0}+\sum\limits_{k=0}^{n}kx^{k-4}W_{k}-4\sum\limits_{k=0}^{n}x^{k-4}W_{k}) -r(nx^{n}W_{n+3}+(n-1)x^{n-1}W_{n+2}+(n-2)x^{n-2}W_{n+1}\)

    \(-(-1)x^{-1}W_{2}-(-2)x^{-2}W_{1}-(-3)x^{-3}W_{0}+\sum\limits_{k=0}^{n}kx^{k-3}W_{k}-3\sum\limits_{k=0}^{n}x^{k-3}W_{k}) -s(nx^{n}W_{n+2}+(n-1)x^{n-1}W_{n+1}\)

    \(-(-1)x^{-1}W_{1}-(-2)x^{-2}W_{0}+ \sum\limits_{k=0}^{n}kx^{k-2}W_{k}-2\sum\limits_{k=0}^{n}x^{k-2}W_{k}) -t(nx^{n}W_{n+1}-(-1)x^{-1}W_{0}+\sum\limits_{k=0}^{n}kx^{k-1}W_{k}- \sum\limits_{k=0}^{n}x^{k-1}W_{k}).\)

    Then if we denote \(\sum\limits_{k=0}^{n}x^{k}W_{k}\) and \(\sum\limits_{k=0}^{n}kx^{k}W_{k}\) as \begin{eqnarray*} A &=&\sum\limits_{k=0}^{n}x^{k}W_{k}, \\ a &=&\sum\limits_{k=0}^{n}kx^{k}W_{k}, \end{eqnarray*} and use \begin{equation*} W_{n+4}=rW_{n+3}+sW_{n+2}+tW_{n+1}+uW_{n}, \end{equation*} we obtain

    \( ua=(nx^{n}(rW_{n+3}+sW_{n+2}+tW_{n+1}+uW_{n})+(n-1)x^{n-1}W_{n+3}+(n-2)x^{n-2}W_{n+2}+(n-3)x^{n-3}W_{n+1}-(-1)x^{-1}W_{3}-(-2)x^{-2}W_{2}-(-3)x^{-3}W_{1}-(-4)x^{-4}W_{0}\)

    \(+x^{-4}a-4x^{-4}A) -r(nx^{n}W_{n+3}+(n-1)x^{n-1}W_{n+2}+(n-2)x^{n-2}W_{n+1}-(-1)x^{-1}W_{2}-(-2)x^{-2}W_{1}-(-3)x^{-3}W_{0}+x^{-3}a-3x^{-3}A) \)

    \(-s(nx^{n}W_{n+2}+(n-1)x^{n-1}W_{n+1}-(-1)x^{-1}W_{1}-(-2)x^{-2}W_{0}+x^{-2}a-2x^{-2}A) -t(nx^{n}W_{n+1}-(-1)x^{-1}W_{0}+x^{-1}a-x^{-1}A).\)

    Using Theorem 1 (a) and solving the last equation for \(a\), we get (a).
  • (b) and (c) Using the recurrence relation \begin{equation*} W_{n}=rW_{n-1}+sW_{n-2}+tW_{n-3}+uW_{n-4} \end{equation*} i.e., \begin{equation*} rW_{n-1}=W_{n}-sW_{n-2}-tW_{n-3}-uW_{n-4}\,, \end{equation*} we obtain \begin{eqnarray*} r\times 1\times x^{1}W_{3} &=&1\times x^{1}W_{4}-s\times 1\times x^{1}W_{2}-t\times 1\times x^{1}W_{1}-u\times 1\times x^{1}W_{0} ,\\ r\times 2\times x^{2}W_{5} &=&2\times x^{2}W_{6}-s\times 2\times x^{2}W_{4}-t\times 2\times x^{2}W_{3}-u\times 2\times x^{2}W_{2} ,\\ r\times 3\times x^{3}W_{7} &=&3\times x^{3}W_{8}-s\times 3\times x^{3}W_{6}-t\times 3\times x^{3}W_{5}-u\times 3\times x^{3}W_{4} ,\\ r\times 4\times rx^{4}W_{9} &=&4\times rx^{4}W_{10}-s\times 4\times rx^{4}W_{8}-t\times 4\times rx^{4}W_{7}-u\times 4\times rx^{4}W_{6}, \\ &&\vdots \\ r(n-1)x^{n-1}W_{2n-1} &=&(n-1)x^{n-1}W_{2n}-s(n-1)x^{n-1}W_{2n-2} -t(n-1)x^{n-1}W_{2n-3}-u(n-1)x^{n-1}W_{2n-4} ,\\ rnx^{n}W_{2n+1} &=&nx^{n}W_{2n+2}-snx^{n}W_{2n}-tnx^{n}W_{2n-1}-unx^{n}W_{2n-2}. \end{eqnarray*} Now, if we add the above equations side by side, we get \begin{align*} r(-0&\times x^{0}W_{1}+\sum\limits_{k=0}^{n}kx^{k}W_{2k+1}) =(nx^{n}W_{2n+2}-0\times x^{0}W_{2}-(-1)x^{-1}W_{0}+\sum\limits_{k=0}^{n}(k-1)x^{k-1}W_{2k}) -s(-0\times x^{0}W_{0}\\ &+\sum\limits_{k=0}^{n}kx^{k}W_{2k}) -t(-(n+1)x^{n+1}W_{2n+1}+\sum\limits_{k=0}^{n}(k+1)x^{k+1}W_{2k+1})-u(-(n+1)x^{n+1}W_{2n}+\sum\limits_{k=0}^{n}(k+1)x^{k+1}W_{2k})\,, \end{align*} and so
    \begin{align}\label{equat:ufsdmnb} r(-0&\times x^{0}W_{1}+\sum\limits_{k=0}^{n}kx^{k}W_{2k+1}) =(nx^{n}W_{2n+2}-0\times x^{0}W_{2}-(-1)x^{-1}W_{0} +x^{-1}\sum\limits_{k=0}^{n}kx^{k}W_{2k}-x^{-1}\sum\limits_{k=0}^{n}x^{k}W_{2k}) \notag \\ &-s(-0\times x^{0}W_{0}+\sum\limits_{k=0}^{n}kx^{k}W_{2k}) -t(-(n+1)x^{n+1}W_{2n+1}+x^{1}\sum\limits_{k=0}^{n}kx^{k}W_{2k+1}+x^{1} \sum\limits_{k=0}^{n}x^{k}W_{2k+1}) \notag\\ &-u(-(n+1)x^{n+1}W_{2n}+x^{1}\sum\limits_{k=0}^{n}kx^{k}W_{2k}+x^{1} \sum\limits_{k=0}^{n}x^{k}W_{2k}). \end{align}
    (2)
    Similarly, using the recurrence relation \begin{equation*} W_{n}=rW_{n-1}+sW_{n-2}+tW_{n-3}+uW_{n-4}\,, \end{equation*} i.e., \begin{equation*} rW_{n-1}=W_{n}-sW_{n-2}-tW_{n-3}-uW_{n-4}\,, \end{equation*} we write the following obvious equations; \begin{eqnarray*} r\times 1\times x^{1}W_{2} &=&1\times x^{1}W_{3}-s\times 1\times x^{1}W_{1}-t\times 1\times x^{1}W_{0}-u\times 1\times x^{1}W_{-1} ,\\ r\times 2\times x^{2}W_{4} &=&2\times x^{2}W_{5}-s\times 2\times x^{2}W_{3}-t\times 2\times x^{2}W_{2}-u\times 2\times x^{2}W_{1} ,\\ r\times 3\times x^{3}W_{6} &=&3\times x^{3}W_{7}-s\times 3\times x^{3}W_{5}-t\times 3\times x^{3}W_{4}-u\times 3\times x^{3}W_{3} ,\\ r\times 8\times x^{4}W_{8} &=&4\times x^{4}W_{9}-s\times 8\times x^{4}W_{7}-t\times 8\times x^{4}W_{6}-u\times 8\times x^{4}W_{5} ,\\ &&\vdots \\ r(n-1)x^{n-1}W_{2n-2} &=&(n-1)x^{n-1}W_{2n-1}-s(n-1)x^{n-1}W_{2n-3} -t(n-1)x^{n-1}W_{2n-4}-u(n-1)x^{n-1}W_{2n-5} ,\\ rnx^{n}W_{2n} &=&nx^{n}W_{2n+1}-snx^{n}W_{2n-1}-tnx^{n}W_{2n-2}-unx^{n}W_{2n-3}, \\ r(n+1)x^{n+1}W_{2n+2} &=&(n+1)x^{n+1}W_{2n+3}-s(n+1)x^{n+1}W_{2n+1} -t(n+1)x^{n+1}W_{2n}-u(n+1)x^{n+1}W_{2n-1}. \end{eqnarray*} Now, if we add the above equations side by side, we obtain \begin{align*} r(-0&\times x^{0}W_{0}+\sum\limits_{k=0}^{n}kx^{k}W_{2k}) =(-0\times x^{0}W_{1}+\sum\limits_{k=0}^{n}kx^{k}W_{2k+1}) -s(-(n+1)x^{n+1}W_{2n+1}+\sum\limits_{k=0}^{n}(k+1)x^{k+1}W_{2k+1}) \\ &-t(-(n+1)x^{n+1}W_{2n}+\sum\limits_{k=0}^{n}(k+1)x^{k+1}W_{2k}) -u(-(n+2)x^{n+2}W_{2n+1}-(n+1)x^{n+1}W_{2n-1} +1\times x^{1}W_{-1}\\&+\sum\limits_{k=0}^{n}(k+2)x^{k+2}W_{2k+1}). \end{align*} Since \begin{equation*} W_{-1}=-\frac{t}{u}W_{0}-\frac{s}{u}W_{1}-\frac{r}{u}W_{2}+\frac{1}{u}W_{3}\,, \end{equation*} we have
    \begin{align}\label{equat:senbangenb} r(-0&\times x^{0}W_{0}+\sum\limits_{k=0}^{n}kx^{k}W_{2k}) =(-0\times x^{0}W_{1}+\sum\limits_{k=0}^{n}kx^{k}W_{2k+1}) -s(-(n+1)x^{n+1}W_{2n+1}+x^{1}\sum\limits_{k=0}^{n}kx^{k}W_{2k+1} \notag \\ &+x^{1} \sum\limits_{k=0}^{n}x^{k}W_{2k+1})-t(-(n+1)x^{n+1}W_{2n}+x^{1}\sum\limits_{k=0}^{n}kx^{k}W_{2k}+x^{1} \sum\limits_{k=0}^{n}x^{k}W_{2k}) -u(-(n+2)x^{n+2}W_{2n+1} \notag \\ &-(n+1)x^{n+1}W_{2n-1}+1\times x^{1}(-\frac{t}{u}W_{0}-\frac{s}{u}W_{1}-\frac{r}{u}W_{2}+\frac{1 }{u}W_{3}) +x^{2}\sum\limits_{k=0}^{n}kx^{k}W_{2k+1}+2x^{2}\sum\limits_{k=0}^{n}x^{k}W_{2k+1}). \end{align}
    (3)
    Then, solving the system (2)-(3) (using Theorem 1 (b) and (c)), the required result of (b) and (c) follow. In fact, if we denote \begin{eqnarray*} a &=&\sum\limits_{k=0}^{n}kx^{k}W_{2k}, \end{eqnarray*}\begin{eqnarray*} b &=&\sum\limits_{k=0}^{n}kx^{k}W_{2k+1}, \\ f &=&\sum\limits_{k=0}^{n}x^{k}W_{2k}, \\ g &=&\sum\limits_{k=0}^{n}x^{k}W_{2k+1}, \end{eqnarray*} (2) and (3) can be written as follows: \begin{align*} r(-0&\times x^{0}W_{1}+b) =(nx^{n}W_{2n+2}-0\times x^{0}W_{2}-(-1)x^{-1}W_{0}+x^{-1}a-x^{-1}f) -s(-0\times x^{0}W_{0}+a)\\ &-t(-(n+1)x^{n+1}W_{2n+1}+x^{1}b+x^{1}g) -u(-(n+1)x^{n+1}W_{2n}+x^{1}a+x^{1}f)\,, \\ r(-0&\times x^{0}W_{0}+a) =(-0\times x^{0}W_{1}+b) -s(-(n+1)x^{n+1}W_{2n+1}+x^{1}b+x^{1}g)-t(-(n+1)x^{n+1}W_{2n}+x^{1}a+x^{1}f) \\ &-u(-(n+2)x^{n+2}W_{2n+1}-(n+1)x^{n+1}W_{2n-1} +1\times x^{1}(-\frac{t}{u}W_{0}-\frac{s}{u}W_{1}-\frac{r}{u}W_{2}+\frac{1 }{u}W_{3})+x^{2}b+2x^{2}g)\,. \end{align*} Using Theorem 1 (b) and (c) and solving the last two simultaneous equations with respect to \(a\) and \(b\), we get (b) and (c).

Remark 1. Note that the proof of Theorem 3 can be done by taking the derivative of the formulas in Theorem 1. In fact, since \begin{eqnarray*} \sum\limits_{k=0}^{n}x^{k}W_{k} &=&\frac{\Theta _{1}(x)}{rx+sx^{2}+tx^{3}+ux^{4}-1}, \\ \sum\limits_{k=0}^{n}x^{k}W_{2k} &=&\frac{\Theta _{2}(x)}{ r^{2}x+2ux^{2}-s^{2}x^{2}+t^{2}x^{3}-u^{2}x^{4}+2sx+2rtx^{2}-2sux^{3}-1}, \\ \sum\limits_{k=0}^{n}x^{k}W_{2k+1} &=&\frac{\Theta _{3}(x)}{ r^{2}x+2ux^{2}-s^{2}x^{2}+t^{2}x^{3}-u^{2}x^{4}+2sx+2rtx^{2}-2sux^{3}-1}, \end{eqnarray*} by taking the derivative of the both sides of the above formulas with respect to \(x\), we get \begin{eqnarray*} \sum\limits_{k=0}^{n}kx^{k-1}W_{k} &=&\frac{(rx+sx^{2}+tx^{3}+ux^{4}-1)\Theta _{1}^{^{\prime }}(x)-(4ux^{3}+3tx^{2}+2sx+r)\Theta _{1}(x)}{ (rx+sx^{2}+tx^{3}+ux^{4}-1)^{2}}, \\ \sum\limits_{k=0}^{n}kx^{k-1}W_{2k} &=&\frac{ \begin{array}{c} (r^{2}x+2ux^{2}-s^{2}x^{2}+t^{2}x^{3}-u^{2}x^{4}+2sx+2rtx^{2}-2sux^{3}-1) \Theta _{2}^{^{\prime }}(x) \\ -(r^{2}+4rtx-2s^{2}x-6sux^{2}+2s+3t^{2}x^{2}-4u^{2} x^{3}+4ux)\Theta _{2}(x) \end{array} }{ (r^{2}x+2ux^{2}-s^{2}x^{2}+t^{2}x^{3}-u^{2}x^{4}+2sx+2rtx^{2}-2sux^{3}-1)^{2} }, \\ \sum\limits_{k=0}^{n}kx^{k-1}W_{2k+1} &=&\frac{ \begin{array}{c} (r^{2}x+2ux^{2}-s^{2}x^{2}+t^{2}x^{3}-u^{2}x^{4}+2sx+2rtx^{2}-2sux^{3}-1) \Theta _{3}^{^{\prime }}(x) \\ -(r^{2}+4rtx-2s^{2}x-6sux^{2}+2s+3t^{2}x^{2}-4u^{2} x^{3}+4ux)\Theta _{3}(x) \end{array} }{ (r^{2}x+2ux^{2}-s^{2}x^{2}+t^{2}x^{3}-u^{2}x^{4}+2sx+2rtx^{2}-2sux^{3}-1)^{2} }, \end{eqnarray*} i.e., \begin{eqnarray*} \sum\limits_{k=0}^{n}kx^{k}W_{k} &=&x\frac{(rx+sx^{2}+tx^{3}+ux^{4}-1)\Theta _{1}^{^{\prime }}(x)-(4ux^{3}+3tx^{2}+2sx+r)\Theta _{1}(x)}{ (rx+sx^{2}+tx^{3}+ux^{4}-1)^{2}}, \\ \sum\limits_{k=0}^{n}kx^{k}W_{2k} &=&x\frac{ \begin{array}{c} (r^{2}x+2ux^{2}-s^{2}x^{2}+t^{2}x^{3}-u^{2}x^{4}+2sx+2rtx^{2}-2sux^{3}-1) \Theta _{2}^{^{\prime }}(x) \\ -(r^{2}+4rtx-2s^{2}x-6sux^{2}+2s+3t^{2}x^{2}-4u^{2} x^{3}+4ux)\Theta _{2}(x) \end{array} }{ (r^{2}x+2ux^{2}-s^{2}x^{2}+t^{2}x^{3}-u^{2}x^{4}+2sx+2rtx^{2}-2sux^{3}-1)^{2} }, \\ \sum\limits_{k=0}^{n}kx^{k}W_{2k+1} &=&x\frac{ \begin{array}{c} (r^{2}x+2ux^{2}-s^{2}x^{2}+t^{2}x^{3}-u^{2}x^{4}+2sx+2rtx^{2}-2sux^{3}-1) \Theta _{3}^{^{\prime }}(x) \\ -(r^{2}+4rtx-2s^{2}x-6sux^{2}+2s+3t^{2}x^{2}-4u^{2} x^{3}+4ux)\Theta _{3}(x) \end{array} }{ (r^{2}x+2ux^{2}-s^{2}x^{2}+t^{2}x^{3}-u^{2}x^{4}+2sx+2rtx^{2}-2sux^{3}-1)^{2} }, \end{eqnarray*} where \(\Theta _{1}^{^{\prime }}(x),\) \(\Theta _{2}^{^{\prime }}(x)\) and \( \Theta _{3}^{^{\prime }}(x)\) denotes the derivatives of \(\Theta _{1}(x),\) \( \Theta _{2}(x)\) and \(\Theta _{1}(x)\) respectively\(.\)

3. Special Cases

In this section, for the special cases of \(x,\) we present the closed form solutions (identities) of the sums \(\sum\limits_{k=0}^{n}kx^{k}W_{k},\) \( \sum\limits_{k=0}^{n}kx^{k}W_{2k}\) and \(\sum\limits_{k=0}^{n}kx^{k}W_{2k+1}\) for the specific case of sequence \(\{W_{n}\}.\)

3.1. The case \(x=1\)

In this subsection we consider the special case \(x=1\).

The case \(x=1\) of Theorem 3 is given in Soykan [34].

We only consider the case \(x=1,r=1,s=1,t=1,u=2\) (which is not considered in [34]).

Observe that setting \(x=1,r=1,s=1,t=1,u=2\) (i.e., for the generalized fourth order Jacobsthal sequence case) in Theorem 3 (b), (c) makes the right hand side of the sum formulas to be an indeterminate form. Application of L'Hospital rule (twice) however provides the evaluation of the sum formulas.

Theorem 4. If \(r=1,s=1,t=1,u=2\) then for \(n\geq 0\) we have the following formulas:

  • (a) \(\sum\limits_{k=0}^{n}kW_{k}=\frac{1}{16}((4n-2)W_{n+3}-4W_{n+2}- (4n+2)W_{n+1}+2(4n+2)W_{n}+2W_{3}+4W_{2}+2W_{1}-4W_{0}).\)
  • (b) \(\sum\limits_{k=0}^{n}kW_{2k}=\frac{1}{288}(4(6n^{2}+8n-169)W_{2n+2}+8 \left( -6n^{2}+4n+159\right) W_{2n+1}+4(6n^{2}+44n-151)W_{2n}+8(-6n^{2}+4n+159)W_{2n-1} -636W_{3}+1312W_{2}-636W_{1}+1240W_{0}).\)
  • (c) \(\sum\limits_{k=0}^{n}kW_{2k+1}=\frac{1}{288}(4(-6n^{2}+16n+149)W_{2n+2} +16(3n^{2}+13n-80)W_{2n+1}+4(-6n^{2}+16n+149)W_{2n}+8(6n^{2}+8n-169)W_{2n-1}+676W_{3}+604W_{1}-1272W_{2}-1272W_{0}). \)

Proof.

  • (a) We use Theorem 3 (a). If we set \( x=1,r=1,s=1,t=1,u=2\) in Theorem 3 (a) we get (a).
  • (b) We use Theorem 3 (b). If we set \( r=1,s=1,t=1,u=2\) in Theorem 3 (b) then we have \begin{equation*} \sum\limits_{k=0}^{n}kx^{k}W_{2k}=\frac{g_{1}(x)}{(4x^{4}+3x^{3}-5x^{2}-3x+1)^{2}}\,, \end{equation*} where

    \(g_{1}(x)=- x^{n+1}(2x^{2}-2x+6x^{3}+x^{4}+8x^{5}+8x^{6}-n(2x^{2}+x-1)(4x^{4}+3x^{3}-5x^{2}-3x+1)+1)W_{2n+2}\)

    \(+x^{n+2}(12x^{2}+16x^{3}+16x^{4}+8x^{5}-n(2x+2)(4x^{4}+3x^{3}-5x^{2}-3x+1)-4)W_{2n+1}+ x^{n+2}(12x+10x^{2}-32x^{3}-16x^{4}+8x^{5}+n(4x^{2}+x-3)(4x^{4}+3x^{3}-5x^{2}-3x+1)-6)W_{2n}\)

    \(+ 2x^{n+2}(6x^{2}+8x^{3}+8x^{4}+4x^{5}-n(x+1)(4x^{4}+3x^{3}-5x^{2}-3x+1)-2)W_{2n-1}-x^{2}(4x^{5}+8x^{4}+8x^{3}+6x^{2}-2)W_{3}\)

    \(+x (12x^{6}+16x^{5}+9x^{4}+12x^{3}+2x^{2}-4x+1)W_{2}- x^{2}(4x^{5}+8x^{4}+8x^{3}+6x^{2}-2)W_{1}- 2x^{2}(2x^{5}-12x^{4}-20x^{3}+2x^{2}+6x-2)W_{0}. \)

    For \(x=1,\) the right hand side of the above sum formula is an indeterminate form. Now, we can use L'Hospital rule (twice). Then we get (b) using

    \( \sum\limits_{k=0}^{n}kW_{2k} =\left. \frac{\frac{d^{2}}{dx^{2}}\left( g_{1}(x)\right) }{\frac{d^{2}}{dx^{2}}\left( (4x^{4}+3x^{3}-5x^{2}-3x+1)^{2}\right) }\right\vert _{x=1} =\frac{1}{288}(4(6n^{2}+8n-169)W_{2n+2}+8\left( -6n^{2}+4n+159\right) W_{2n+1} \)

    \(+4(6n^{2}+44n-151)W_{2n}+8(-6n^{2}+4n+159)W_{2n-1} -636W_{3}+1312W_{2}-636W_{1}+1240W_{0})\,. \)

  • (c) We use Theorem 3 (c). If we set \( r=1,s=1,t=1,u=2\) in Theorem 3 (c) then we have \begin{equation*} \sum\limits_{k=0}^{n}kx^{k}W_{2k+1}=\frac{g_{2}(x)}{(4x^{4}+3x^{3}-5x^{2}-3x+1)^{2}}\,, \end{equation*} where

    \(g_{2}(x)=-x^{n+1} (2x+2x^{2}-6x^{3}-15x^{4}-8x^{5}+n(x+1)(4x^{4}+3x^{3}-5x^{2}-3x+1)+1)W_{2n+2}- x^{n+1}(4x-10x^{2}-4x^{3}+33x^{4}+24x^{5}\)

    \(-n(4x^{3}+3x^{2}-2x-1)(4x^{4}+3x^{3}-5x^{2}-3x+1)+1)W_{2n+1}- x^{n+1}W_{2n}(2x+2x^{2}-6x^{3}-15x^{4}-8x^{5}+n(x+1)(4x^{4}+3x^{3}-5x^{2}-3x+1)+1)- 2x^{n+1}(2x^{2}-2x+6x^{3}+x^{4}\)

    \(+8x^{5}+8x^{6}-n(2x^{2}+x-1)(4x^{4}+3x^{3}-5x^{2}-3x+1)+1)W_{2n-1}+x(8x^{6}+8x^{5}+x^{4}+6x^{3}+2x^{2}-2x+1)W_{3}-x^{2}(8x^{5}+16x^{4}+16x^{3}+12x^{2}-4)W_{2}\)

    \(-x^{2} (8x^{5}-16x^{4}-32x^{3}+10x^{2}+12x-6)W_{1}- 2x^{2}(4x^{5}+8x^{4}+8x^{3}+6x^{2}-2)W_{0}. \)

    For \(x=1,\) the right hand side of the above sum formula is an indeterminate form. Now, we can use L'Hospital rule (twice). Then we get (c) using

    \( \sum\limits_{k=0}^{n}kW_{2k+1}=\left.\frac{\frac{d^{2}}{dx^{2}}\left(g_{2}(x)\right)}{\frac{d^{2}}{dx^{2}}\left((4x^{4}+3x^{3}-5x^{2}-3x+1)^{2}\right) }\right\vert_{x=1} =\frac{1}{288}(4(-6n^{2}+16n+149)W_{2n+2} \)

    \(+16(3n^{2}+13n-80)W_{2n+1} +4(-6n^{2}+16n+149)W_{2n}+8(6n^{2}+8n-169)W_{2n-1}+676W_{3}+604W_{1}-1272W_{2}-1272W_{0}). \)

Taking \(W_{n}=J_{n}\) with \(J_{0}=0,J_{1}=1,J_{2}=1,J_{3}=1\) in the last theorem, we have the following corollary which presents linear sum formulas of the fourth-order Jacobsthal numbers.

Corollary 1. For \(n\geq 0,\) fourth order Jacobsthal numbers have the following property:

  • (a) \(\sum\limits_{k=0}^{n}kJ_{k}=\frac{1}{16}((4n-2)J_{n+3}-4J_{n+2}- (4n+2)J_{n+1}+2(4n+2)J_{n}+8).\)
  • (b) \(\sum\limits_{k=0}^{n}kJ_{2k}=\frac{1}{288}(4(6n^{2}+8n-169)J_{2n+2}+8 \left( -6n^{2}+4n+159\right) J_{2n+1}+4(6n^{2}+44n-151)J_{2n}+8(-6n^{2}+4n+159)J_{2n-1} +40).\)
  • (c) \(\sum\limits_{k=0}^{n}kJ_{2k+1}=\frac{1}{288}(4(-6n^{2}+16n+149)J_{2n+2} +16(3n^{2}+13n-80)J_{2n+1}+4(-6n^{2}+16n+149)J_{2n}+8(6n^{2}+8n-169)J_{2n-1}+8). \)

From the last theorem, we have the following corollary which gives linear sum formula of the fourth order Jacobsthal-Lucas numbers (take \(W_{n}=j_{n}\) with \(j_{0}=2,j_{1}=1,j_{2}=5,j_{3}=10\)).

Corollary 2. For \(n\geq 0,\) fourth order Jacobsthal-Lucas numbers have the following property:

  • (a) \(\sum\limits_{k=0}^{n}kj_{k}=\frac{1}{16}((4n-2)j_{n+3}-4j_{n+2}- (4n+2)j_{n+1}+2(4n+2)j_{n}+34).\)
  • (b) \(\sum\limits_{k=0}^{n}kj_{2k}=\frac{1}{288}(4(6n^{2}+8n-169)j_{2n+2}+8 \left( -6n^{2}+4n+159\right) j_{2n+1}+4(6n^{2}+44n-151)j_{2n}+8(-6n^{2}+4n+159)j_{2n-1} +2044). \)
  • (c) \(\sum\limits_{k=0}^{n}kj_{2k+1}=\frac{1}{288}(4(-6n^{2}+16n+149)j_{2n+2} +16(3n^{2}+13n-80)j_{2n+1}+4(-6n^{2}+16n+149)j_{2n}+8(6n^{2}+8n-169)j_{2n-1}-1540). \)

Taking \(W_{n}=K_{n}\) with \(K_{0}=3,K_{1}=1,K_{2}=3,K_{3}=10\) in the last theorem, we have the following corollary which presents linear sums formula of the modified fourth order Jacobsthal numbers.

Corollary 3. For \(n\geq 0,\)modified fourth order Jacobsthal numbers have the following property:

  • (a) \(\sum\limits_{k=0}^{n}kK_{k}=\frac{1}{16}((4n-2)K_{n+3}-4K_{n+2}- (4n+2)K_{n+1}+2(4n+2)K_{n}+22).\)
  • (b) \(\sum\limits_{k=0}^{n}kK_{2k}=\frac{1}{288}(4(6n^{2}+8n-169)K_{2n+2}+8 \left( -6n^{2}+4n+159\right) K_{2n+1}+4(6n^{2}+44n-151)K_{2n}+8(-6n^{2}+4n+159)K_{2n-1} +660).\)
  • (c) \(\sum\limits_{k=0}^{n}kK_{2k+1}=\frac{1}{288}(4(-6n^{2}+16n+149)K_{2n+2} +16(3n^{2}+13n-80)K_{2n+1}+4(-6n^{2}+16n+149)K_{2n}+8(6n^{2}+8n-169)K_{2n-1}-268). \)

From the last theorem, we have the following corollary which gives linear sums formula of the fourth-order Jacobsthal Perrin numbers (take \( W_{n}=Q_{n} \) with \(Q_{0}=3,Q_{1}=0,Q_{2}=2,Q_{3}=8\)).

Corollary 4. For \(n\geq 0,\) fourth-order Jacobsthal Perrin numbers have the following property:

  • (a) \(\sum\limits_{k=0}^{n}kQ_{k}=\frac{1}{16}((4n-2)Q_{n+3}-4Q_{n+2}- (4n+2)Q_{n+1}+2(4n+2)Q_{n}+12).\)
  • (b) \(\sum\limits_{k=0}^{n}kQ_{2k}=\frac{1}{288}(4(6n^{2}+8n-169)Q_{2n+2}+8 \left( -6n^{2}+4n+159\right) Q_{2n+1}+4(6n^{2}+44n-151)Q_{2n}+8(-6n^{2}+4n+159)Q_{2n-1} +1256). \)
  • (c) \(\sum\limits_{k=0}^{n}kQ_{2k+1}=\frac{1}{288}(4(-6n^{2}+16n+149)Q_{2n+2} +16(3n^{2}+13n-80)Q_{2n+1}+4(-6n^{2}+16n+149)Q_{2n}+8(6n^{2}+8n-169)Q_{2n-1}-952). \)

Taking \(W_{n}=S_{n}\) with \(S_{0}=0,S_{1}=1,S_{2}=1,S_{3}=2\) in the theorem, we have the following corollary which presents linear sum formula of the adjusted fourth-order Jacobsthal numbers.

Corollary 5. For \(n\geq 0,\) adjusted fourth-order Jacobsthal numbers have the following property:

  • (a) \(\sum\limits_{k=0}^{n}kS_{k}=\frac{1}{16}((4n-2)S_{n+3}-4S_{n+2}- (4n+2)S_{n+1}+2(4n+2)S_{n}+10).\)
  • (b) \(\sum\limits_{k=0}^{n}kS_{2k}=\frac{1}{288}(4(6n^{2}+8n-169)S_{2n+2}+8 \left( -6n^{2}+4n+159\right) S_{2n+1}+4(6n^{2}+44n-151)S_{2n}+8(-6n^{2}+4n+159)S_{2n-1} -596).\)
  • (c) \(\sum\limits_{k=0}^{n}kS_{2k+1}=\frac{1}{288}(4(-6n^{2}+16n+149)S_{2n+2} +16(3n^{2}+13n-80)S_{2n+1}+4(-6n^{2}+16n+149)S_{2n}+8(6n^{2}+8n-169)S_{2n-1}+684). \)

From the last theorem, we have the following corollary which gives linear sum formulas of the modified fourth-order Jacobsthal-Lucas numbers (take \( W_{n}=R_{n}\) with \(R_{0}=4,R_{1}=1,R_{2}=3,R_{3}=7\)).

Corollary 6. For \(n\geq 0,\) modified fourth-order Jacobsthal-Lucas numbers have the following property:

  • (a) \(\sum\limits_{k=0}^{n}kR_{k}=\frac{1}{16}((4n-2)R_{n+3}-4R_{n+2}- (4n+2)R_{n+1}+2(4n+2)R_{n}+12).\)
  • (b) \(\sum\limits_{k=0}^{n}kR_{2k}=\frac{1}{288}(4(6n^{2}+8n-169)R_{2n+2}+8 \left( -6n^{2}+4n+159\right) R_{2n+1}+4(6n^{2}+44n-151)R_{2n}+8(-6n^{2}+4n+159)R_{2n-1} +3808). \)
  • (c) \(\sum\limits_{k=0}^{n}kR_{2k+1}=\frac{1}{288}(4(-6n^{2}+16n+149)R_{2n+2} +16(3n^{2}+13n-80)R_{2n+1}+4(-6n^{2}+16n+149)R_{2n}+8(6n^{2}+8n-169)R_{2n-1}-3568). \)

3.2. The case \(x=-1\)

In this subsection we consider the special case \(x=-1\) and we present the closed form solutions (identities) of the sums \( \sum\limits_{k=0}^{n}k(-1)^{k}kW_{k},\) \(\sum\limits_{k=0}^{n}k(-1)^{k}W_{2k}\) and \( \sum\limits_{k=0}^{n}k(-1)^{k}W_{2k+1}\) for the specific case of the sequence \( \{W_{n}\}.\)

Taking \(x=-1,r=s=t=u=1\) in Theorem 3 (a), (b) and (c), we obtain the following proposition.

Proposition 1. If \(x=-1,r=s=t=u=1\) then for \(n\geq 0\) we have the following formulas:

  • (a) \(\sum\limits_{k=0}^{n}k(-1)^{k}W_{k}=\left( -1\right) ^{n}((n+5)W_{n+3}-(2n+9)W_{n+2}+(n+2)W_{n+1}-(n+6)W_{n})-5W_{3}+9W_{2}-2W_{1}+6W_{0}. \)
  • (b) \(\sum\limits_{k=0}^{n}k(-1)^{k}W_{2k}=\left( -1\right) ^{n}((n+2)W_{2n+2}- (n+3)W_{2n+1}-(n+2)W_{2n}+W_{2n-1})-W_{3}-W_{2}+4W_{1}+3W_{0}.\)
  • (c) \(\sum\limits_{k=0}^{n}k(-1)^{k}W_{2k+1}=\left( -1\right) ^{n}(-W_{2n+2}+ (n+3)W_{2n}+(n+2)W_{2n-1})-2W_{3}+3W_{2}+2W_{1}-W_{0}.\)

From the above proposition, we have the following corollary which gives linear sum formulas of Tetranacci numbers (take \(W_{n}=M_{n}\) with \( M_{0}=0,M_{1}=1,M_{2}=1,M_{3}=2\)).

Corollary 7. For \(n\geq 0,\) Tetranacci numbers have the following properties.

  • (a) \(\sum\limits_{k=0}^{n}k(-1)^{k}M_{k}=\left( -1\right) ^{n}((n+5)M_{n+3}-(2n+9)M_{n+2}+(n+2)M_{n+1}-(n+6)M_{n})-3.\)
  • (b) \(\sum\limits_{k=0}^{n}k(-1)^{k}M_{2k}= \left( -1\right) ^{n}((n+2)M_{2n+2}- (n+3)M_{2n+1}-(n+2)M_{2n}+M_{2n-1})+1.\)
  • (c) \(\sum\limits_{k=0}^{n}k(-1)^{k}M_{2k+1}=\left( -1\right) ^{n}(-M_{2n+2}+ (n+3)M_{2n}+(n+2)M_{2n-1})+1.\)

Taking \(W_{n}=R_{n}\) with \(R_{0}=4,R_{1}=1,R_{2}=3,R_{3}=7\) in the above proposition, we have the following corollary which presents linear sum formulas of Tetranacci-Lucas numbers.

Corollary 8. For \(n\geq 0,\) Tetranacci-Lucas numbers have the following properties.

  • (a) \(\sum\limits_{k=0}^{n}k(-1)^{k}R_{k}=\left( -1\right) ^{n}((n+5)R_{n+3}-(2n+9)R_{n+2}+(n+2)R_{n+1}-(n+6)R_{n})+14.\)
  • (b) \(\sum\limits_{k=0}^{n}k(-1)^{k}R_{2k}=\left( -1\right) ^{n}((n+2)R_{2n+2}- (n+3)R_{2n+1}-(n+2)R_{2n}+R_{2n-1})+6.\)
  • (c) \(\sum\limits_{k=0}^{n}k(-1)^{k}R_{2k+1}=\left( -1\right) ^{n}(-R_{2n+2}+ (n+3)R_{2n}+(n+2)R_{2n-1})-7.\)

Taking \(x=-1,r=2,s=t=u=1\) in Theorem 3 (a), (b) and (c), we obtain the following proposition.

Proposition 2. If \(x=-1,r=2,s=t=u=1\) then for \(n\geq 0\) we have the following formulas:

  • (a) \(\sum\limits_{k=0}^{n}k(-1)^{k}W_{k}=\frac{1}{4}(\left( -1\right) ^{n}((2n+7)W_{n+3}-(6n+19) W_{n+2}+(4n+6) W_{n+1}-(2n+9)W_{n})-7W_{3}+19W_{2}-6W_{1}+9W_{0}).\)
  • (b) \(\sum\limits_{k=0}^{n}k(-1)^{k}W_{2k}=\frac{1}{4}(\left( -1\right) ^{n}((2n+3) W_{2n+2}-(2n+3)W_{2n+1}-(4n+10)W_{2n}-(2n+5)W_{2n-1})+5W_{3}-13W_{2}-2W_{1}+5W_{0}). \)
  • (c) \(\sum\limits_{k=0}^{n}k(-1)^{k}W_{2k+1}=\frac{1}{4}(\left( -1\right) ^{n}((2n+3)W_{2n+2}-(2n+7)W_{2n+1}-2W_{2n}+(2n+3)W_{2n-1})-3W_{3}+3W_{2}+10W_{1}+5W_{0}). \)

From the last proposition, we have the following corollary which gives linear sum formulas of the fourth-order Pell numbers (take \(W_{n}=P_{n}\) with \(P_{0}=0,P_{1}=1,P_{2}=2,P_{3}=5\)).

Corollary 9. For \(n\geq 0,\) fourth-order Pell numbers have the following properties:

  • (a) \(\sum\limits_{k=0}^{n}k(-1)^{k}P_{k}=\frac{1}{4}(\left( -1\right) ^{n}((2n+7)P_{n+3}-(6n+19) P_{n+2}+(4n+6) P_{n+1}-(2n+9)P_{n})-3).\)
  • (b) \(\sum\limits_{k=0}^{n}k(-1)^{k}P_{2k}=\frac{1}{4}(\left( -1\right) ^{n}((2n+3) P_{2n+2}-(2n+3)P_{2n+1}-(4n+10)P_{2n}-(2n+5)P_{2n-1})-3).\)
  • (c) \(\sum\limits_{k=0}^{n}k(-1)^{k}P_{2k+1}=\frac{1}{4}(\left( -1\right) ^{n}((2n+3)P_{2n+2}-(2n+7)P_{2n+1}-2P_{2n}+(2n+3)P_{2n-1})+1).\)

Taking \(W_{n}=Q_{n}\) with \(Q_{0}=4,Q_{1}=2,Q_{2}=6,Q_{3}=17\) in the last proposition, we have the following corollary which presents linear sum formulas of the fourth-order Pell-Lucas numbers.

Corollary 10. For \(n\geq 0,\) fourth-order Pell-Lucas numbers have the following properties:

  • (a) \(\sum\limits_{k=0}^{n}k(-1)^{k}Q_{k}=\frac{1}{4}(\left( -1\right) ^{n}((2n+7)Q_{n+3}-(6n+19) Q_{n+2}+(4n+6) Q_{n+1}-(2n+9)Q_{n})+19).\)
  • (b) \(\sum\limits_{k=0}^{n}k(-1)^{k}Q_{2k}=\frac{1}{4}(\left( -1\right) ^{n}((2n+3) Q_{2n+2}-(2n+3)Q_{2n+1}-(4n+10)Q_{2n}-(2n+5)Q_{2n-1})+23).\)
  • (c) \(\sum\limits_{k=0}^{n}k(-1)^{k}Q_{2k+1}=\frac{1}{4}(\left( -1\right) ^{n}((2n+3)Q_{2n+2}-(2n+7)Q_{2n+1}-2Q_{2n}+(2n+3)Q_{2n-1})+7).\)

Observe that setting \(x=-1,r=1,s=1,t=1,u=2\) (i.e., for the generalized fourth order Jacobsthal case) in Theorem 3 (a), (b) and (c), makes the right hand side of the sum formulas to be an indeterminate form. Application of L'Hospital rule however provides the evaluation of the sum formulas.

Theorem 5. If \(r=1,s=1,t=1,u=2\) then for \(n\geq 0\) we have the following formulas:

  • (a) \(\sum\limits_{k=0}^{n}k(-1)^{k}W_{k}=\frac{1}{36}(\left( -1\right) ^{n}(-(3n^{2}+5n-53)W_{n+3}+2(3n^{2}+2n-54)W_{n+2}-(3n^{2}-13n-53)W_{n+1}+2(3n^{2}+11n-45)W_{n})-53W_{3}+108W_{2}-53W_{1}+90W_{0}). \)
  • (b) \(\sum\limits_{k=0}^{n}k(-1)^{k}W_{2k}=\frac{1}{100}(\left( -1\right) ^{n}(-(15n^{2}-4n-159)W_{2n+2}+2(5n^{2}+2n-54)W_{2n+1}+(35n^{2}+54n-350)W_{2n}+2(5n^{2}+2n-54)W_{2n-1})+54W_{3}-213W_{2}+54W_{1}+296W_{0}). \)
  • (c) \(\sum\limits_{k=0}^{n}k(-1)^{k}W_{2k+1}=\frac{1}{100}(\left( -1\right) ^{n}(-(5n^{2}-8n-51)W_{2n+2}+(20n^{2}+58n-191)W_{2n+1}-(5n^{2}-8n-51)W_{2n}-2(15n^{2}-4n-159)W_{2n-1})-159W_{3}+108W_{2}+350W_{1}+108W_{0}). \)

Proof.

  • (a) We use Theorem 3 (a). If we set \( r=1,s=1,t=1,u=2\) in Theorem 3 (a) then we have \begin{equation*} \sum\limits_{k=0}^{n}x^{k}W_{k}=\frac{g_{3}(x)}{\left( 2x-1\right) ^{2}\left( x+1\right) ^{2}\left( x^{2}+1\right) ^{2}}\,, \end{equation*} where

    \(g_{3}(x)=x^{n+3}(2x+n(2x^{4}+x^{3}+x^{2}+x-1)+x^{2}-2x^{4}-3)W_{n+3}- x^{n+2}(2x^{2}-4x+2x^{3}+4x^{4}-2x^{5}+n(x-1)(2x^{4}+x^{3}+x^{2}+x-1)+2)W_{n+2}\)

    \(- x^{n+1}(4x^{3}-x^{2}-2x+6x^{4}-4x^{5}-2x^{6}+n(x^{2}+x-1)(2x^{4}+x^{3}+x^{2}+x-1)+1) W_{n+1}+2x^{n+4}(3x+n(2x^{4}+x^{3}+x^{2}+x-1)+2x^{2}+x^{3}-4)W_{n}+x^{3}(2x^{4}-x^{2}-2x+3)W_{3}\)

    \(+ x^{2}(-2x^{5}+4x^{4}+2x^{3}+2x^{2}-4x+2)W_{2}-x (2x^{6}+4x^{5}-6x^{4}-4x^{3}+x^{2}+2x-1)W_{1}- 2x^{4}(x^{3}+2x^{2}+3x-4)W_{0}. \)

    For \(x=-1,\) the right hand side of the above sum formula is an indeterminate form. Now, we can use L'Hospital rule (twice). Then we get (b) using

    \( \sum\limits_{k=0}^{n}k(-1)^{k}W_{k} =\left. \frac{\frac{d^{2}}{dx^{2}}\left( g_{3}(x)\right) }{\frac{d^{2}}{dx^{2}}\left( \left( 2x-1\right) ^{2}\left( x+1\right) ^{2}\left( x^{2}+1\right) ^{2}\right) }\right\vert _{x=-1} =\frac{1}{36}(\left( -1\right) ^{n}(-(3n^{2}+5n-53)W_{n+3}\)

    \(+2(3n^{2}+2n-54)W_{n+2} -(3n^{2}-13n-53)W_{n+1}+2(3n^{2}+11n-45)W_{n})-53W_{3} +108W_{2}-53W_{1}+90W_{0}). \)

  • (b) We use Theorem 3 (b). If we set \( r=1,s=1,t=1,u=2\) in Theorem 3 (b) then we have \begin{equation*} \sum\limits_{k=0}^{n}x^{k}W_{2k}=\frac{g_{4}(x)}{(4x-1)^{2}(x-1)^{2}(x+1)^{4}}\,, \end{equation*} where

    \(g_{4}(x)=- x^{n+1}(2x^{2}-2x+6x^{3}+x^{4}+8x^{5}+8x^{6}-n(2x^{2}+x-1)(4x^{4}+3x^{3}-5x^{2}-3x+1)+1)W_{2n+2}+x^{n+2}(12x^{2}+16x^{3}+16x^{4}+8x^{5}\)

    \(-n(2x+2)(4x^{4}+3x^{3}-5x^{2}-3x+1)-4)W_{2n+1}+ x^{n+2}(12x+10x^{2}-32x^{3}-16x^{4}+8x^{5}+n(4x^{2}+x-3)\left( (4x^{4}+3x^{3}-5x^{2}-3x+1\right) -6)W_{2n}\)

    \(+ 2x^{n+2}(6x^{2}+8x^{3}+8x^{4}+4x^{5}-n(x+1)(4x^{4}+3x^{3}-5x^{2}-3x+1)-2)W_{2n-1}-x^{2}(4x^{5}+8x^{4}+8x^{3}+6x^{2}-2)W_{3}+x(12x^{6}+16x^{5}\)

    \(+9x^{4}+12x^{3}+2x^{2}-4x+1) W_{2}- x^{2}(4x^{5}+8x^{4}+8x^{3}+6x^{2}-2)W_{1}- 2x^{2}(2x^{5}-12x^{4}-20x^{3}+2x^{2}+6x-2)W_{0}. \)

    For \(x=-1,\) the right hand side of the above sum formula is an indeterminate form. Now, we can use L'Hospital rule (four times). Then we get (b) using

    \(\sum\limits_{k=0}^{n}k(-1)^{k}W_{2k} =\left. \frac{\frac{d^{4}}{dx^{4}}\left( g_{4}(x)\right) }{\frac{d^{4}}{dx^{4}}\left( (4x-1)^{2}(x-1)^{2}(x+1)^{4}\right) }\right\vert _{x=-1} =\frac{1}{100}(\left( -1\right) ^{n}(-(15n^{2}-4n-159)W_{2n+2}\)

    \(+2(5n^{2}+2n-54)W_{2n+1} +(35n^{2}+54n-350)W_{2n}+2(5n^{2}+2n-54)W_{2n-1}) +54W_{3}-213W_{2}+54W_{1}+296W_{0}). \)

  • (c) We use Theorem 3 (c). If we set \( r=1,s=1,t=1,u=2\) in Theorem 3 (c) then we have \begin{equation*} \sum\limits_{k=0}^{n}x^{k}W_{2k+1}=\frac{g_{5}(x)}{(4x-1)^{2}(x-1)^{2}(x+1)^{4}}\,, \end{equation*} where

    \(g_{5}(x)=-x^{n+1} (2x+2x^{2}-6x^{3}-15x^{4}-8x^{5}+n(x+1)(4x^{4}+3x^{3}-5x^{2}-3x+1)+1)W_{2n+2}- x^{n+1}(4x-10x^{2}-4x^{3}+33x^{4}+24x^{5}\)

    \(-n(4x^{3}+3x^{2}-2x-1)(4x^{4}+3x^{3}-5x^{2}-3x+1)+1)W_{2n+1}- x^{n+1}(2x+2x^{2}-6x^{3}-15x^{4}-8x^{5}+n(x+1)(4x^{4}+3x^{3}-5x^{2}-3x+1)+1) W_{2n}\)

    \(- 2x^{n+1}(2x^{2}-2x+6x^{3}+x^{4}+8x^{5}+8x^{6}-n(2x^{2}+x-1)(4x^{4}+3x^{3}-5x^{2}-3x+1)+1)W_{2n-1}\)

    \(+x(8x^{6}+8x^{5}+x^{4}+6x^{3}+2x^{2}-2x+1)W_{3}-x^{2}(8x^{5}+16x^{4}+16x^{3}+12x^{2}-4)W_{2}-x^{2} (8x^{5}-16x^{4}-32x^{3}+10x^{2}+12x-6)W_{1}- 2x^{2}(4x^{5}+8x^{4}+8x^{3}+6x^{2}-2)W_{0}. \)

    For \(x=-1,\) the right hand side of the above sum formula is an indeterminate form. Now, we can use L'Hospital rule (four times). Then we get (c) using

    \( \sum\limits_{k=0}^{n}k(-1)^{k}W_{2k+1} =\left. \frac{\frac{d^{4}}{dx^{4}}\left( g_{5}(x)\right) }{\frac{d^{4}}{dx^{4}}\left( (4x-1)^{2}(x-1)^{2}(x+1)^{4}\right) }\right\vert _{x=-1} =\frac{1}{100}(\left( -1\right)^{n}(-(5n^{2}-8n-51)W_{2n+2}\)

    \(+(20n^{2}+58n-191)W_{2n+1} -(5n^{2}-8n-51)W_{2n}-2(15n^{2}-4n-159)W_{2n-1}) -159W_{3}+108W_{2}+350W_{1}+108W_{0}). \)

Taking \(W_{n}=J_{n}\) with \(J_{0}=0,J_{1}=1,J_{2}=1,J_{3}=1\) in the last theorem, we have the following corollary which presents linear sum formula of fourth-order Jacobsthal numbers.

Corollary 11. For \(n\geq 0,\) fourth order Jacobsthal numbers have the following property:

  • (a) \(\sum\limits_{k=0}^{n}k(-1)^{k}J_{k}=\frac{1}{36}(\left( -1\right) ^{n}(-(3n^{2}+5n-53)J_{n+3}+2(3n^{2}+2n-54)J_{n+2}-(3n^{2}-13n-53)J_{n+1}+2(3n^{2}+11n-45)J_{n})+2). \)
  • (b) \(\sum\limits_{k=0}^{n}k(-1)^{k}J_{2k}=\frac{1}{100}(\left( -1\right) ^{n}(-(15n^{2}-4n-159)J_{2n+2}+2(5n^{2}+2n-54)J_{2n+1}+(35n^{2}+54n-350)J_{2n}+2(5n^{2}+2n-54)J_{2n-1})-105). \)
  • (c) \(\sum\limits_{k=0}^{n}k(-1)^{k}J_{2k+1}=\frac{1}{100}(\left( -1\right) ^{n}(-(5n^{2}-8n-51)J_{2n+2}+(20n^{2}+58n-191)J_{2n+1}-(5n^{2}-8n-51)J_{2n}-2(15n^{2}-4n-159)J_{2n-1})+299). \)

From the last theorem, we have the following corollary which gives linear sum formula of the fourth order Jacobsthal-Lucas numbers (take \(W_{n}=j_{n}\) with \(j_{0}=2,j_{1}=1,j_{2}=5,j_{3}=10\)).

Corollary 12. For \(n\geq 0,\) fourth order Jacobsthal-Lucas numbers have the following property:

  • (a) \(\sum\limits_{k=0}^{n}k(-1)^{k}j_{k}=\frac{1}{36}(\left( -1\right) ^{n}(-(3n^{2}+5n-53)j_{n+3}+2(3n^{2}+2n-54)j_{n+2}-(3n^{2}-13n-53)j_{n+1}+2(3n^{2}+11n-45)j_{n})+137). \)
  • (b) \(\sum\limits_{k=0}^{n}k(-1)^{k}j_{2k}=\frac{1}{100}(\left( -1\right) ^{n}(-(15n^{2}-4n-159)j_{2n+2}+2(5n^{2}+2n-54)j_{2n+1}+(35n^{2}+54n-350)j_{2n}+2(5n^{2}+2n-54)j_{2n-1})+121). \)
  • (c) \(\sum\limits_{k=0}^{n}k(-1)^{k}j_{2k+1}=\frac{1}{100}(\left( -1\right) ^{n}(-(5n^{2}-8n-51)j_{2n+2}+(20n^{2}+58n-191)j_{2n+1}-(5n^{2}-8n-51)j_{2n}-2(15n^{2}-4n-159)j_{2n-1})-484). \)

Taking \(W_{n}=K_{n}\) with \(K_{0}=3,K_{1}=1,K_{2}=3,K_{3}=10\) in the last theorem, we have the following corollary which presents linear sum formula of the modified fourth order Jacobsthal numbers.

Corollary 13. For \(n\geq 0,\)modified fourth order Jacobsthal numbers have the following property:

  • (a) \(\sum\limits_{k=0}^{n}k(-1)^{k}K_{k}=\frac{1}{36}(\left( -1\right) ^{n}(-(3n^{2}+5n-53)K_{n+3}+2(3n^{2}+2n-54)K_{n+2}-(3n^{2}-13n-53)K_{n+1}+2(3n^{2}+11n-45)K_{n})+11). \)
  • (b) \(\sum\limits_{k=0}^{n}k(-1)^{k}K_{2k}=\frac{1}{100}(\left( -1\right) ^{n}(-(15n^{2}-4n-159)K_{2n+2}+2(5n^{2}+2n-54)K_{2n+1}+(35n^{2}+54n-350)K_{2n}+2(5n^{2}+2n-54)K_{2n-1})+843). \)
  • (c) \(\sum\limits_{k=0}^{n}k(-1)^{k}K_{2k+1}=\frac{1}{100}(\left( -1\right) ^{n}(-(5n^{2}-8n-51)K_{2n+2}+(20n^{2}+58n-191)K_{2n+1}-(5n^{2}-8n-51)K_{2n}-2(15n^{2}-4n-159)K_{2n-1})-592). \)

From the last theorem, we have the following corollary which gives linear sum formula of the fourth-order Jacobsthal Perrin numbers (take \(W_{n}=Q_{n}\) with \(Q_{0}=3,Q_{1}=0,Q_{2}=2,Q_{3}=8\)).

Corollary 14. For \(n\geq 0,\) fourth-order Jacobsthal Perrin numbers have the following property:

  • (a) \(\sum\limits_{k=0}^{n}k(-1)^{k}Q_{k}=\frac{1}{36}(\left( -1\right) ^{n}(-(3n^{2}+5n-53)Q_{n+3}+2(3n^{2}+2n-54)Q_{n+2}-(3n^{2}-13n-53)Q_{n+1}+2(3n^{2}+11n-45)Q_{n})+62). \)
  • (b) \(\sum\limits_{k=0}^{n}k(-1)^{k}Q_{2k}=\frac{1}{100}(\left( -1\right) ^{n}(-(15n^{2}-4n-159)Q_{2n+2}+2(5n^{2}+2n-54)Q_{2n+1}+(35n^{2}+54n-350)Q_{2n}+2(5n^{2}+2n-54)Q_{2n-1})+894). \)
  • (c) \(\sum\limits_{k=0}^{n}k(-1)^{k}Q_{2k+1}=\frac{1}{100}(\left( -1\right) ^{n}(-(5n^{2}-8n-51)Q_{2n+2}+(20n^{2}+58n-191)Q_{2n+1}-(5n^{2}-8n-51)Q_{2n}-2(15n^{2}-4n-159)Q_{2n-1})-732). \)

Taking \(W_{n}=S_{n}\) with \(S_{0}=0,S_{1}=1,S_{2}=1,S_{3}=2\) in the theorem, we have the following corollary which presents linear sum formula of the adjusted fourth-order Jacobsthal numbers.

Corollary 15. For \(n\geq 0,\) adjusted fourth-order Jacobsthal numbers have the following property:

  • (a) \(\sum\limits_{k=0}^{n}k(-1)^{k}S_{k}=\frac{1}{36}(\left( -1\right) ^{n}(-(3n^{2}+5n-53)S_{n+3}+2(3n^{2}+2n-54)S_{n+2}-(3n^{2}-13n-53)S_{n+1}+2(3n^{2}+11n-45)S_{n})-51). \)
  • (b) \(\sum\limits_{k=0}^{n}k(-1)^{k}S_{2k}=\frac{1}{100}(\left( -1\right) ^{n}(-(15n^{2}-4n-159)S_{2n+2}+2(5n^{2}+2n-54)S_{2n+1}+(35n^{2}+54n-350)S_{2n}+2(5n^{2}+2n-54)S_{2n-1})-51). \)
  • (c) \(\sum\limits_{k=0}^{n}k(-1)^{k}S_{2k+1}=\frac{1}{100}(\left( -1\right) ^{n}(-(5n^{2}-8n-51)S_{2n+2}+(20n^{2}+58n-191)S_{2n+1}-(5n^{2}-8n-51)S_{2n}-2(15n^{2}-4n-159)S_{2n-1})+140). \)

From the last theorem, we have the following corollary which gives linear sum formula of the modified fourth-order Jacobsthal-Lucas numbers (take \( W_{n}=R_{n}\) with \(R_{0}=4,R_{1}=1,R_{2}=3,R_{3}=7\)).

Corollary 16. For \(n\geq 0,\) modified fourth-order Jacobsthal-Lucas numbers have the following property:

  • (a) \(\sum\limits_{k=0}^{n}k(-1)^{k}R_{k}=\frac{1}{36}(\left( -1\right) ^{n}(-(3n^{2}+5n-53)R_{n+3}+2(3n^{2}+2n-54)R_{n+2}-(3n^{2}-13n-53)R_{n+1}+2(3n^{2}+11n-45)R_{n})+260). \)
  • (b) \(\sum\limits_{k=0}^{n}k(-1)^{k}R_{2k}=\frac{1}{100}(\left( -1\right) ^{n}(-(15n^{2}-4n-159)R_{2n+2}+2(5n^{2}+2n-54)R_{2n+1}+(35n^{2}+54n-350)R_{2n}+2(5n^{2}+2n-54)R_{2n-1})+977). \)
  • (c) \(\sum\limits_{k=0}^{n}k(-1)^{k}R_{2k+1}=\frac{1}{100}(\left( -1\right) ^{n}(-(5n^{2}-8n-51)R_{2n+2}+(20n^{2}+58n-191)R_{2n+1}-(5n^{2}-8n-51)R_{2n}-2(15n^{2}-4n-159)R_{2n-1})-7). \)

Taking \(x=-1,r=2,s=3,t=5,u=7\) in Theorem 3 (a), (b) and (c), we obtain the following proposition.

Proposition 3. If \(r=2,s=3,t=5,u=7\) then for \(n\geq 0\) we have the following formulas:

  • (a) \(\sum\limits_{k=0}^{n}k(-1)^{k}W_{k}=\frac{1}{4}(\left( -1\right) ^{n}(-(2n-11)W_{n+3}+(6n-35) W_{n+2}+8W_{n+1}+7(2n-9)W_{n})-11W_{3}+35W_{2}-8W_{1}+63W_{0}).\)
  • (b) \(\sum\limits_{k=0}^{n}k(-1)^{k}W_{2k}=\frac{1}{36}(\left( -1\right) ^{n}(-(6n-7)W_{2n+2}+(6n+5)W_{2n+1}+72(n-1)W_{2n}+7(6n-13)W_{2n-1})+13W_{3}-33W_{2}-44W_{1}+7W_{0}). \)
  • (c) \(\sum\limits_{k=0}^{n}k(-1)^{k}W_{2k+1}=\frac{1}{36}(\left( -1\right) ^{n}(-(6n-19)W_{2n+2}+3(18n-17)W_{2n+1}+4(3n-14)W_{2n}-7(6n-7)W_{2n-1})-7W_{3}-5W_{2}+72W_{1}+91W_{0}). \)

From the last proposition, we have the following corollary which gives linear sum formulas of 4-primes numbers (take \(W_{n}=G_{n}\) with \( G_{0}=0,G_{1}=0,G_{2}=1,G_{3}=2\)).

Corollary 17. For \(n\geq 0,\) 4-primes numbers have the following properties:

  • (a) \(\sum\limits_{k=0}^{n}k(-1)^{k}G_{k}=\frac{1}{4}(\left( -1\right) ^{n}(-(2n-11)G_{n+3}+(6n-35) G_{n+2}+8G_{n+1}+7(2n-9)G_{n})+13).\)
  • (b) \(\sum\limits_{k=0}^{n}k(-1)^{k}G_{2k}=\frac{1}{36}(\left( -1\right) ^{n}(-(6n-7)G_{2n+2}+(6n+5)G_{2n+1}+72(n-1)G_{2n}+7(6n-13)G_{2n-1})-7).\)
  • (c) \(\sum\limits_{k=0}^{n}k(-1)^{k}G_{2k+1}=\frac{1}{36}(\left( -1\right) ^{n}(-(6n-19)G_{2n+2}+3(18n-17)G_{2n+1}+4(3n-14)G_{2n}-7(6n-7)G_{2n-1})-19).\)

Taking \(W_{n}=H_{n}\) with \(H_{0}=4,H_{1}=2,H_{2}=10,H_{3}=41\) in the last proposition, we have the following corollary which presents linear sum formulas of Lucas 4-primes numbers.

Corollary 18. For \(n\geq 0,\) Lucas 4-primes numbers have the following properties:

  • (a) \(\sum\limits_{k=0}^{n}k(-1)^{k}H_{k}=\frac{1}{4}(\left( -1\right) ^{n}(-(2n-11)H_{n+3}+(6n-35) H_{n+2}+8H_{n+1}+7(2n-9)H_{n})+135).\)
  • (b) \(\sum\limits_{k=0}^{n}k(-1)^{k}H_{2k}=\frac{1}{36}(\left( -1\right) ^{n}(-(6n-7)H_{2n+2}+(6n+5)H_{2n+1}+72(n-1)H_{2n}+7(6n-13)H_{2n-1})+143).\)
  • (c) \(\sum\limits_{k=0}^{n}k(-1)^{k}H_{2k+1}=\frac{1}{36}(\left( -1\right) ^{n}(-(6n-19)H_{2n+2}+3(18n-17)H_{2n+1}+4(3n-14)H_{2n}-7(6n-7)H_{2n-1})+171). \)

From the last proposition, we have the following corollary which gives linear sum formulas of modified 4-primes numbers (take \(W_{n}=E_{n}\) with \( E_{0}=0,E_{1}=0,E_{2}=1,E_{3}=1\)).

Corollary 19. For \(n\geq 0,\) modified 4-primes numbers have the following properties:

  • (a) \(\sum\limits_{k=0}^{n}k(-1)^{k}E_{k}=\frac{1}{4}(\left( -1\right) ^{n}(-(2n-11)E_{n+3}+(6n-35) E_{n+2}+8E_{n+1}+7(2n-9)E_{n})+24).\)
  • (b) \(\sum\limits_{k=0}^{n}k(-1)^{k}E_{2k}=\frac{1}{36}(\left( -1\right) ^{n}(-(6n-7)E_{2n+2}+(6n+5)E_{2n+1}+72(n-1)E_{2n}+7(6n-13)E_{2n-1})-20).\)
  • (c) \(\sum\limits_{k=0}^{n}k(-1)^{k}E_{2k+1}=\frac{1}{36}(\left( -1\right) ^{n}(-(6n-19)E_{2n+2}+3(18n-17)E_{2n+1}+4(3n-14)E_{2n}-7(6n-7)E_{2n-1})-12).\)

3.3. The case \(x=i\)

In this subsection we consider the special case \(x=i\). Taking \(x=i,r=s=t=u=1\) in Theorem 3 (a), (b) and (c), we obtain the following proposition.

Proposition 4. If \(x=i,r=s=t=u=1\) then for \(n\geq 0\) we have the following formulas:

  • (a) \(\sum\limits_{k=0}^{n}ki^{k}W_{k}=i^{n}(i(n+\left( 5-2i\right) )W_{n+3}+(1-i)(n+(\frac{9}{2}-\frac{5}{2} i))W_{n+2}+(-1-2i)(n+(4-2i))W_{n+1}-(n+(6-2i))W_{n})-(2+5i) W_{3}-(2-7i)W_{2}+(8+6i)W_{1}+(6-2i)W_{0}.\)
  • (b) \(\sum\limits_{k=0}^{n}ki^{k}W_{2k}=\frac{1}{9-40i}((-13-6i)i^{n}(n+( \frac{8}{41}-\frac{10}{41}i))W_{2n+2}+(14-3i)i^{n}(n+(\frac{81}{205}+\frac{32 }{205}i)) W_{2n+1}\)

    \(+(15-12i)i^{n}(n+(\frac{106}{123}-\frac{10}{41} i))W_{2n}+(9+i)i^{n}(n+(\frac{57}{82}+\frac{21}{82}i))W_{2n-1}-(6+3i) W_{3}+(10+i)W_{2}+2iW_{1}-(4-17i)W_{0}).\)

  • (c) \(\sum\limits_{k=0}^{n}ki^{k}W_{2k+1}=\frac{1}{9-40i}((1-9i)i^{n}(n-( \frac{25}{82}-\frac{21}{82}i))W_{2n+2}+(2-18i)i^{n}(n+(\frac{57}{82}+\frac{21 }{82}i))W_{2n+1}\)

    \(+(-4-5i)i^{n}(n-(\frac{33}{41}+\frac{10}{41} i))W_{2n}+(-13-6i)i^{n}(n+(\frac{8}{41}-\frac{10}{41}i))W_{2n-1}+(4-2i) W_{3}-(6+i)W_{2}-(10-14i)W_{1}-(6+3i)W_{0}).\)

From the above proposition, we have the following corollary which gives linear sum formulas of Tetranacci numbers (take \(W_{n}=M_{n}\) with \( M_{0}=0,M_{1}=1,M_{2}=1,M_{3}=2\)).

Corollary 20. For \(n\geq 0,\) Tetranacci numbers have the following properties.

  • (a) \(\sum\limits_{k=0}^{n}ki^{k}M_{k}=i^{n}(i(n+\left( 5-2i\right) )M_{n+3}+(1-i)(n+(\frac{9}{2}-\frac{5}{2} i))M_{n+2}+(-1-2i)(n+(4-2i))M_{n+1}-(n+(6-2i))M_{n})+(2+3i).\)
  • (b) \(\sum\limits_{k=0}^{n}ki^{k}M_{2k}=\frac{1}{9-40i}((-13-6i)i^{n}(n+( \frac{8}{41}-\frac{10}{41}i))M_{2n+2}+(14-3i)i^{n}(n+(\frac{81}{205}+\frac{32 }{205}i)) M_{2n+1}+(15-12i)i^{n}(n+(\frac{106}{123}-\frac{10}{41} i))M_{2n}+(9+i)i^{n}(n+(\frac{57}{82}+\frac{21}{82}i))M_{2n-1}+(-2-3i)).\)
  • (c) \(\sum\limits_{k=0}^{n}ki^{k}M_{2k+1}=\frac{1}{9-40i}((1-9i)i^{n}(n-( \frac{25}{82}-\frac{21}{82}i))M_{2n+2}+(2-18i)i^{n}(n+(\frac{57}{82}+\frac{21 }{82}i))M_{2n+1}+(-4-5i)i^{n}(n-(\frac{33}{41}+\frac{10}{41} i))M_{2n}+(-13-6i)i^{n}(n+(\frac{8}{41}-\frac{10}{41}i))M_{2n-1}+(-8+9i)).\)

Taking \(M_{n}=R_{n}\) with \(R_{0}=4,R_{1}=1,R_{2}=3,R_{3}=7\) in the above proposition, we have the following corollary which presents linear sum formulas of Tetranacci-Lucas numbers.

Corollary 21. For \(n\geq 0,\) Tetranacci-Lucas numbers have the following properties.

  • (a) \(\sum\limits_{k=0}^{n}ki^{k}R_{k}=i^{n}(i(n+\left( 5-2i\right) )R_{n+3}+(1-i)(n+(\frac{9}{2}-\frac{5}{2} i))R_{n+2}+(-1-2i)(n+(4-2i))R_{n+1}-(n+(6-2i))R_{n})+(12-16i).\)
  • (b) \(\sum\limits_{k=0}^{n}ki^{k}R_{2k}=\frac{1}{9-40i}((-13-6i)i^{n}(n+( \frac{8}{41}-\frac{10}{41}i))R_{2n+2}+(14-3i)i^{n}(n+(\frac{81}{205}+\frac{32 }{205}i)) R_{2n+1}+(15-12i)i^{n}(n+(\frac{106}{123}-\frac{10}{41} i))R_{2n}+(9+i)i^{n}(n+(\frac{57}{82}+\frac{21}{82}i))R_{2n-1}+(-28+52i)).\)
  • (c) \(\sum\limits_{k=0}^{n}ki^{k}R_{2k+1}=\frac{1}{9-40i}((1-9i)i^{n}(n-( \frac{25}{82}-\frac{21}{82}i))R_{2n+2}+(2-18i)i^{n}(n+(\frac{57}{82}+\frac{21 }{82}i))R_{2n+1}+(-4-5i)i^{n}(n-(\frac{33}{41}+\frac{10}{41} i))R_{2n}+(-13-6i)i^{n}(n+(\frac{8}{41}-\frac{10}{41}i))R_{2n-1}+(-24-15i)).\)

Corresponding sums of the other fourth order generalized Tetranacci numbers can be calculated similarly.

4. Linear sum formulas of generalized Tetranacci numbers with negative subscripts

The following Theorem present some linear sum formulas of generalized Tetranacci numbers with negative subscripts.

Theorem 6. Let \(x\) be a real or complex non-zero numbers. For \( n\geq 1\) we have the following formulas:

  • (a) If \(u+rx^{3}+sx^{2}+tx-x^{4}\neq 0,\) then \begin{equation*} \sum\limits_{k=1}^{n}kx^{k}W_{-k}=\frac{\Omega _{4}}{(u+rx^{3}+sx^{2}+tx-x^{4})^{2}}\,, \end{equation*} where

    \(\Omega _{4}=x^{n+1}(n(-u-rx^{3}-sx^{2}-tx+x^{4})-u+2rx^{3}+sx^{2}-3x^{4})W_{-n+3}+ x^{n+1}(n(r-x)(u+rx^{3}+sx^{2}+tx-x^{4})+4rx^{4}-tx^{2}-2r^{2}x^{3}\)

    \(+ru-2ux-2x^{5}-rsx^{2})W_{-n+2}+ x^{n+1}(n(s+rx-x^{2})(u+rx^{3}+sx^{2}+tx-x^{4})+2rx^{5}+2sx^{4}-2tx^{3}-3ux^{2}-r^{2}x^{4}-s^{2} x^{2}+su-x^{6}- 2rsx^{3}+rtx^{2}+2rux)W_{-n+1}\)

    \(+x^{n+1}(n(t+rx^{2}+sx-x^{3})(u+rx^{3}+sx^{2}+tx-x^{4})-4ux^{3}+tu+3rux^{2}+ 2sux)W_{-n}+ x(u-2rx^{3}-sx^{2}+3x^{4})W_{3}+ x(-4rx^{4}+tx^{2}+2r^{2}x^{3}-ru+2ux+2x^{5}+rsx^{2}) W_{2}\)

    \(+ x(-2rx^{5}-2sx^{4}+2tx^{3}+3ux^{2}+r^{2}x^{4}+s^{2}x^{2}-su+x^{6}+2rsx^{3}-rtx^{2}-2rux) W_{1}+ ux(-t-3rx^{2}-2sx+4x^{3})W_{0}. \)

  • (b) If \( r^{2}x^{3}+2rtx^{2}-s^{2}x^{2}-2sux+2sx^{3}+t^{2}x-u^{2}+2ux^{2}-x^{4}\neq 0\) then \begin{equation*} \sum\limits_{k=1}^{n}kx^{k}W_{-2k}=\frac{\Omega _{5}}{ (r^{2}x^{3}+2rtx^{2}-s^{2}x^{2}-2sux+2sx^{3}+t^{2}x-u^{2}+2ux^{2}-x^{4})^{2}}\,, \end{equation*} where

    \(\Omega _{5}=x^{n+1}(n(u+sx-x^{2})(2sx^{3}+t^{2}x+2ux^{2}+r^{2}x^{3}-s^{2}x^{2}-u^{2}-x^{4}+2rtx^{2}-2sux)+2sx^{5}+ux^{4}-s^{2}x^{4}-2t^{2}x^{3}+u^{2} x^{2}-u^{3}-x^{6}\)

    \(-2rtx^{4}-2su^{2} x-r^{2}sx^{4}+st^{2}x^{2}-2r^{2}ux^{3}-s^{2}ux^{2}-2rtux^{2})W_{-2n+2}+ x^{n+1}(n(ru+tx+rsx)(-2sx^{3}-t^{2}x-2ux^{2}-r^{2}x^{3}+s^{2}x^{2}+u^{2}+x^{4}-2rtx^{2}+2sux) \)

    \(+ru^{3}-2tx^{5}-t^{3}x^{2}-2rsx^{5}- 3rux^{4}+2stx^{4}+2tu^{2}x+2rs^{2}x^{4}+ r^{3}sx^{4}+2ru^{2}x^{2}+r^{2}tx^{4}+2r^{3}ux^{3}+2rsu^{2} x+4rsux^{3}+2stux^{2}-rst^{2}x^{2}+rs^{2}ux^{2}+2r^{2}t ux^{2})W_{-2n+1}+ \)

    \(x^{n+1}(n(2sx^{2}-s^{2}x+r^{2}x^{2}-su+ux-x^{3}+rtx)(2sx^{3}+t^{2}x+2ux^{2}+r^{2}x^{3}-s^{2}x^{2}-u^{2}-x^{4}+2rtx^{2}-2sux) +su^{3}-2u^{3}x-2ux^{5}-3t^{2}x^{4}+4u^{2}x^{3}\)

    \(+ 2r^{2}t^{2}x^{3}-3r^{2}u^{2}x^{2}-s^{2}t^{2}x^{2}-2rtx^{5}+5sux^{4}+rt^{3}x^{2}+4st^{2}x^{3}+r^{3}tx^{4}-6su^{2}x^{2}+ r^{2}ux^{4}+2s^{2}u^{2}x-4s^{2}ux^{3}+s^{3}ux^{2}+t^{2}ux^{2}+2rstx^{4}-2rtu^{2}x-2r^{2}sux^{3})W_{-2n}+ \)

    \( ux^{n+1}(n(t+rx)(-2sx^{3}-t^{2}x-2ux^{2}-r^{2}x^{3}+s^{2}x^{2}+u^{2}+x^{4}-2rtx^{2}+2sux) +tu^{2}-2rx^{5}-3tx^{4}+r^{3}x^{4}+2rsx^{4}+2ru^{2}x+4stx^{3}+2tux^{2}\)

    \(+rt^{2}x^{2}+2r^{2}tx^{3}-s^{2}tx^{2}+2rsu x^{2})W_{-2n-1}-x(tu^{2}-2rx^{5}-3tx^{4}+r^{3}x^{4}+2rsx^{4}+2ru^{2}x+4stx^{3}+2tux^{2}+rt^{2}x^{2}+2r^{2}tx^{3}-s^{2}tx^{2}+2rsux^{2}) W_{3}+ x(-2sx^{5}-ux^{4}-2r^{2}x^{5}\)

    < p>\(+r^{4}x^{4}+s^{2}x^{4}+2t^{2}x^{3}-u^{2}x^{2}+u^{3}+x^{6}+r^{2}t^{2}x^{2}+rtu^{2}-rtx^{4}+2su^{2}x+3r^{2}sx^{4}-st^{2}x^{2}+2r^{2}u^{2}x+2r^{3}tx^{3}+2r^{2}ux^{3}+s^{2}ux^{2}+4rstx^{3}+4rtux^{2}-rs^{2}tx^{2}+2r^{2}sux^{2}) W_{2}\)

    \(-x(ru^{3}-2tx^{5}-t^{3}x^{2}-stu^{2}-3rux^{4}+5stx^{4}+2tu^{2}x+2ru^{2}x^{2}+r^{2}tx^{4}-4s^{2}tx^{3}+s^{3}tx^{2}+2r^{3}ux^{3}+4rsux^{3}-2rst^{2}x^{2}-2r^{2}stx^{3}-rs^{2}ux^{2}+2r^{2}tux^{2}) W_{1}+ \)

    \( ux(-su^{2}+t^{2}u-5sx^{4}+2u^{2}x-4ux^{3}-r^{2}x^{4}+4s^{2}x^{3}-s^{3}x^{2}+t^{2}x^{2}+2x^{5}+6sux^{2}-2s^{2}ux+2r^{2}sx^{3}+3r^{2}ux^{2}+2rstx^{2}+4rtux) W_{0}. \)

  • (c) If \( r^{2}x^{3}+2rtx^{2}-s^{2}x^{2}-2sux+2sx^{3}+t^{2}x-u^{2}+2ux^{2}-x^{4}\neq 0\) then \begin{equation*} \sum\limits_{k=1}^{n}kx^{k}W_{-2k+1}=\frac{\Omega _{6}}{ (r^{2}x^{3}+2rtx^{2}-s^{2}x^{2}-2sux+2sx^{3}+t^{2}x-u^{2}+2ux^{2}-x^{4})^{2}}\,, \end{equation*} where

    \(\Omega _{6}=x^{n+2}(n(t+rx)(-2sx^{3}-t^{2}x-2ux^{2}-r^{2}x^{3}+s^{2}x^{2}+u^{2}+x^{4}-2rtx^{2}+2sux) +2tu^{2}-rx^{5}-t^{3}x-2tx^{4}+3ru^{2}x-2rux^{3}+2stx^{3}+ rs^{2}x^{3}-2rt^{2}x^{2}-r^{2}tx^{3}\)

    \(+4rsux^{2}+2stux)W_{-2n+2}+ x^{n+2}(n(u+r^{2}x+rt+sx-x^{2})(2sx^{3}+t^{2}x+2ux^{2}+r^{2}x^{3}-s^{2}x^{2}-u^{2}-x^{4}+2rtx^{2}-2sux)+2s^{2}x^{4}-s^{3}x^{3}-3t^{2} x^{3}\)

    \(+4u^{2}x^{2}-2u^{3}-r^{2}s^{2}x^{3}+2r^{2}t^{2}x^{2}-2rtu^{2}+rt^{3}x-2rtx^{4}-5su^{2}x+ 6sux^{3}+t^{2}ux-sx^{5}-2ux^{4}+2st^{2}x^{2}-3r^{2}u^{2} x+r^{3}tx^{3}+r^{2}ux^{3}-4s^{2}ux^{2}-2rstux-4 r^{2}sux^{2})W_{-2n+1}+ \)

    \( x^{n+2}(n(ru-st+tx)(-2sx^{3}-t^{2}x-2ux^{2}-r^{2}x^{3}+s^{2}x^{2}+u^{2}+x^{4}-2rtx^{2}+2sux) +2ru^{3}-tx^{5}-2t^{3}x^{2}-2stu^{2}+ st^{3}x-2rux^{4}+2stx^{4}+3tu^{2}x-2tux^{3}-2rt^{2}x^{3}-s^{2}tx^{3}+r^{3}ux^{3}\)

    \(+2rs u^{2}x+2rsux^{3}-rt^{2}ux+4stux^{2}-2s^{2}tux-r^{2}stx^{3})W_{-2n}+ ux^{n+1}(n(u+sx-x^{2})(2sx^{3}+t^{2}x+2ux^{2}+r^{2}x^{3}-s^{2}x^{2}-u^{2}-x^{4}+2rtx^{2}-2sux) +2sx^{5}+ux^{4}-s^{2}x^{4}-2t^{2}x^{3}\)

    \(+u^{2} x^{2}-u^{3}-x^{6}-2rtx^{4}-2su^{2} x-r^{2}sx^{4}+st^{2}x^{2}-2r^{2}ux^{3}-s^{2}ux^{2}-2rtux^{2})W_{-2n-1}+ x(-2sx^{5}-ux^{4}+s^{2}x^{4}+2t^{2}x^{3}-u^{2}x^{2}+u^{3}+x^{6}+2rtx^{4}+2su^{2}x\)

    \(+r^{2}sx^{4}-st^{2}x^{2}+2r^{2}ux^{3}+s^{2}ux^{2}+2rtux^{2}) W_{3}-x(ru^{3}-2tx^{5}-t^{3}x^{2}-2rsx^{5}-3rux^{4}+2stx^{4}+2tu^{2}x+2rs^{2}x^{4}+r^{3}sx^{4}+2ru^{2}x^{2}+r^{2}tx^{4}+2r^{3}ux^{3}\)

    \(+2rsu^{2}x+4rsux^{3}+2stux^{2}-rst^{2}x^{2}+rs^{2}ux^{2}+2r^{2}tux^{2}) W_{2}\)

    \(-x(su^{3}-2u^{3}x-2ux^{5}-3t^{2}x^{4}+4u^{2}x^{3}+2r^{2}t^{2}x^{3}-3r^{2}u^{2}x^{2}-s^{2}t^{2}x^{2}-2rtx^{5}+5sux^{4}+rt^{3}x^{2}+4st^{2}x^{3}+r^{3}tx^{4}-6su^{2}x^{2}+r^{2}ux^{4}+2s^{2}u^{2}x-4s^{2}ux^{3}\)

    \(+s^{3}ux^{2}+t^{2}ux^{2}+2rstx^{4}-2rtu^{2}x-2r^{2}sux^{3}) W_{1}-ux(tu^{2}-2rx^{5}-3tx^{4}+r^{3}x^{4}+2rsx^{4}+2ru^{2}x+4stx^{3}+2tux^{2}+rt^{2}x^{2}+2r^{2}tx^{3}-s^{2}tx^{2}+2rsux^{2}) W_{0}. \)

Proof.

  • (a) Using the recurrence relation \begin{equation*} W_{-n+4}=r\times W_{-n+3}+s\times W_{-n+2}+t\times W_{-n+1}+u\times W_{-n}\, \end{equation*} i.e., \begin{equation*} uW_{-n}=W_{-n+4}-rW_{-n+3}-sW_{-n+2}-tW_{-n+1}\,. \end{equation*} we obtain \begin{eqnarray*} unx^{n}W_{-n} &=&nx^{n}W_{-n+4}-rnx^{n}W_{-n+3}-snx^{n}W_{-n+2}-tnx^{n}W_{-n+1}, \\ u(n-1)x^{n-1}W_{-n+1} &=&(n-1)x^{n-1}W_{-n+5}-r(n-1)x^{n-1}W_{-n+4} \\ &&-s(n-1)x^{n-1}W_{-n+3}-t(n-1)x^{n-1}W_{-n+2} ,\\ u(n-2)x^{n-2}W_{-n+2} &=&(n-2)x^{n-2}W_{-n+6}-r(n-2)x^{n-2}W_{-n+5} \\ &&-s(n-2)x^{n-2}W_{-n+4}-t(n-2)x^{n-2}W_{-n+3} ,\\ &&\vdots \\ u\times 5\times W_{-5} &=&5\times W_{-1}-r\times 5\times W_{-2}-s\times 5\times W_{-3}-t\times 5\times W_{-4} ,\\ u\times 4\times x^{4}W_{-4} &=&4\times x^{4}W_{0}-r\times 4\times x^{4}W_{-1}-s\times 4\times x^{4}W_{-2}-t\times 4\times x^{4}W_{-3}, \\ u\times 3\times x^{3}W_{-3} &=&3\times x^{3}W_{1}-r\times 3\times x^{3}W_{0}-s\times 3\times x^{3}W_{-1}-t\times 3\times x^{3}W_{-2} ,\\ u\times 2\times x^{2}W_{-2} &=&2\times x^{2}W_{2}-r\times 2\times x^{2}W_{1}-s\times 2\times x^{2}W_{0}-t\times 2\times x^{2}W_{-1} ,\\ u\times 1\times x^{1}W_{-1} &=&1\times x^{1}W_{3}-r\times 1\times x^{1}W_{2}-s\times 1\times x^{1}W_{1}-t\times 1\times x^{1}W_{0}. \end{eqnarray*} If we add the above equations side by side (and using Theorem 2 (a)), we get (a)
  • (b) and (c) Using the recurrence relation \begin{equation*} W_{-n+4}=rW_{-n+3}+sW_{-n+2}+tW_{-n+1}+uW_{-n}\,, \end{equation*} i.e., \begin{equation*} tW_{-n+1}=W_{-n+4}-rW_{-n+3}-sW_{-n+2}-uW_{-n}\,, \end{equation*} we obtain \begin{eqnarray*} tnx^{n}W_{-2n+1} &=&nx^{n}W_{-2n+4}-rnx^{n}W_{-2n+3}-snx^{n}W_{-2n+2}-unx^{n}W_{-2n} ,\\ t(n-1)x^{n-1}W_{-2n+3} &=&(n-1)x^{n-1}W_{-2n+6}-r(n-1)x^{n-1}W_{-2n+5} \\ &&-s(n-1)x^{n-1}W_{-2n+4}-u(n-1)x^{n-1}W_{-2n+2} ,\\ t(n-2)x^{n-2}W_{-2n+5} &=&(n-2)x^{n-2}W_{-2n+8}-r(n-2)x^{n-2}W_{-2n+7} \\ &&-s(n-2)x^{n-2}W_{-2n+6}-u(n-2)x^{n-2}W_{-2n+4} ,\\ &&\vdots \\ t\times 3\times x^{3}W_{-5} &=&3\times x^{3}W_{-2}-r\times 3\times x^{3}W_{-3}-s\times 3\times x^{3}W_{-4}-u\times 3\times x^{3}W_{-6}, \\ t\times 2\times x^{2}W_{-3} &=&2\times x^{2}W_{0}-r\times 2\times x^{2}W_{-1}-s\times 2\times x^{2}W_{-2}-u\times 2\times x^{2}W_{-4} ,\\ t\times 1\times x^{1}W_{-1} &=&1\times x^{1}W_{2}-r\times 1\times x^{1}W_{1}-s\times 1\times x^{1}W_{0}-u\times 1\times x^{1}W_{-2}. \end{eqnarray*} If we add the equations side by side, we get
    \begin{align}\label{equati:weqratxz} t\sum\limits_{k=1}^{n}kx^{k}W_{-2k+1} =&(-(n+1)x^{n+1}W_{-2n+2}-(n+2)x^{n+2}W_{-2n}+2\times x^{2}W_{0} +1\times x^{1}W_{2}+x^{2}\sum\limits_{k=1}^{n}kx^{k}W_{-2k}\notag \\ &+2x^{2}\sum\limits_{k=1}^{n}x^{k}W_{-2k}) -r(-(n+1)x^{n+1}W_{-2n+1}+1\times x^{1}W_{1}+x^{1}\sum\limits_{k=1}^{n}kx^{k}W_{-2k+1}+x^{1} \sum\limits_{k=1}^{n}x^{k}W_{-2k+1}) \notag \\ &-s(-(n+1)x^{n+1}W_{-2n}+1\times x^{1}W_{0}+x^{1}\sum\limits_{k=1}^{n}kx^{k}W_{-2k}+x^{1}\sum\limits_{k=1}^{n}x^{k}W_{-2k}) -u(\sum\limits_{k=1}^{n}kx^{k}W_{-2k}). \end{align}
    (4)
    Similarly, using the recurrence relation \begin{equation*} W_{-n+4}=rW_{-n+3}+sW_{-n+2}+tW_{-n+1}+uW_{-n}\,, \end{equation*} i.e., \begin{equation*} tW_{-n}=W_{-n+3}-rW_{-n+2}-sW_{-n+1}-uW_{-n-1}\,, \end{equation*} we obtain \begin{eqnarray*} tnx^{n}W_{-2n} &=&nx^{n}W_{-2n+3}-rnx^{n}W_{-2n+2}-snx^{n}W_{-2n+1}-unx^{n}W_{-2n-1} ,\\ t(n-1)x^{n-1}W_{-2n+2} &=&(n-1)\times x^{n-1}W_{-2n+5}-r(n-1)x^{n-1}W_{-2n+4} \\ &&-s(n-1)x^{n-1}W_{-2n+3}-u(n-1)x^{n-1}W_{-2n+1} ,\\ t(n-2)x^{n-2}W_{-2n+4} &=&(n-2)\times x^{n-2}W_{-2n+7}-r(n-2)x^{n-2}W_{-2n+6} \\ &&-s(n-2)x^{n-2}W_{-2n+5}-u(n-2)x^{n-2}W_{-2n+3}, \\ &&\vdots \\ t\times 3\times x^{3}W_{-6} &=&3\times x^{3}W_{-3}-r\times 3\times x^{3}W_{-4}-s\times 3\times x^{3}W_{-5}-u\times 3\times x^{3}W_{-7}, \\ t\times 2\times x^{2}W_{-4} &=&2\times x^{2}W_{-1}-r\times 2\times x^{2}W_{-2}-s\times 2\times x^{2}W_{-3}-u\times 2\times x^{2}W_{-5} ,\\ t\times 1\times x^{1}W_{-2} &=&1\times x^{1}W_{1}-r\times 1\times x^{1}W_{0}-s\times 1\times x^{1}W_{-1}-u\times 1\times x^{1}W_{-3}. \end{eqnarray*} If we add the equations side by side, we get
    \begin{eqnarray}\label{equati:hutysd} t\sum\limits_{k=1}^{n}kx^{k}W_{-2k} &=&(-(n+1)x^{n+1}W_{-2n+1}+1\times x^{1}W_{1}+x^{1}\sum\limits_{k=1}^{n}kx^{k}W_{-2k+1}+x^{1} \sum\limits_{k=1}^{n}x^{k}W_{-2k+1}) \notag \\ &&-r(-(n+1)x^{n+1}W_{-2n}+1\times x^{1}W_{0}+x^{1}\sum\limits_{k=1}^{n}kx^{k}W_{-2k}+x^{1}\sum\limits_{k=1}^{n}x^{k}W_{-2k}) \notag \\ &&-s(\sum\limits_{k=1}^{n}kx^{k}W_{-2k+1})-u(nx^{n}W_{-2n-1}+x^{-1} \sum\limits_{k=1}^{n}kx^{k}W_{-2k+1}-x^{-1}\sum\limits_{k=1}^{n}x^{k}W_{-2k+1}). \end{eqnarray}
    (5)
    Then, solving system (4)-(5) (using Theorem 2 (b) and (c)), the required result of (b) and (c) follow.

Remark 2. Note that the proof of Theorem 6 can be done by taking the derivative of the formulas in Theorem 2. In fact, since \begin{eqnarray*} \sum\limits_{k=1}^{n}x^{k}W_{-k} &=&\frac{\Theta _{4}(x)}{rx^{3}+sx^{2}+tx+u-x^{4}}, \\ \sum\limits_{k=1}^{n}x^{k}W_{-2k} &=&\frac{x\Theta _{5}(x)}{ 2sx^{3}+t^{2}x+2ux^{2}+r^{2}x^{3}-s^{2}x^{2}-u^{2}-x^{4}+2rtx^{2}-2sux}, \\ \sum\limits_{k=1}^{n}x^{k}W_{-2k+1} &=&\frac{x\Theta _{6}(x)}{ 2sx^{3}+t^{2}x+2ux^{2}+r^{2}x^{3}-s^{2}x^{2}-u^{2}-x^{4}+2rtx^{2}-2sux}, \end{eqnarray*} by taking the derivative of the both sides of the above formulas with respect to \(x\), we get \begin{eqnarray*} \sum\limits_{k=1}^{n}kx^{k-1}W_{-k} &=&\frac{(rx^{3}+sx^{2}+tx+u-x^{4})\Theta _{4}^{^{\prime }}(x)-(-4x^{3}+3rx^{2}+2sx+t)\Theta _{4}(x)}{ (rx^{3}+sx^{2}+tx+u-x^{4})^{2}}, \\ \sum\limits_{k=1}^{n}kx^{k-1}W_{-2k} &=&\frac{ \begin{array}{c} (2sx^{3}+t^{2}x+2ux^{2}+r^{2}x^{3}-s^{2}x^{2}-u^{2}-x^{4}+2rtx^{2}-2sux)( \Theta _{5}(x)+x\Theta _{5}^{^{\prime }}(x)) \\ -(3r^{2}x^{2}+4rtx-2s^{2}x+6sx^{2}-2us+t^{2}-4x^{3}+ 4ux)x\Theta _{5}(x) \end{array} }{ (2sx^{3}+t^{2}x+2ux^{2}+r^{2}x^{3}-s^{2}x^{2}-u^{2}-x^{4}+2rtx^{2}-2sux)^{2}} , \\ \sum\limits_{k=1}^{n}kx^{k-1}W_{-2k+1} &=&\frac{ \begin{array}{c} (2sx^{3}+t^{2}x+2ux^{2}+r^{2}x^{3}-s^{2}x^{2}-u^{2}-x^{4}+2rtx^{2}-2sux)( \Theta _{6}(x)+x\Theta _{6}^{^{\prime }}(x)) \\ -(3r^{2}x^{2}+4rtx-2s^{2}x+6sx^{2}-2us+t^{2}-4x^{3}+ 4ux)x\Theta _{6}(x) \end{array} }{ (2sx^{3}+t^{2}x+2ux^{2}+r^{2}x^{3}-s^{2}x^{2}-u^{2}-x^{4}+2rtx^{2}-2sux)^{2}} , \end{eqnarray*} i.e., \begin{eqnarray*} \sum\limits_{k=1}^{n}kx^{k}W_{-k} &=&x\frac{(rx^{3}+sx^{2}+tx+u-x^{4})\Theta _{4}^{^{\prime }}(x)-(-4x^{3}+3rx^{2}+2sx+t)\Theta _{4}(x)}{ (rx^{3}+sx^{2}+tx+u-x^{4})^{2}}, \\ \sum\limits_{k=1}^{n}kx^{k}W_{-2k} &=&x\frac{ \begin{array}{c} (2sx^{3}+t^{2}x+2ux^{2}+r^{2}x^{3}-s^{2}x^{2}-u^{2}-x^{4}+2rtx^{2}-2sux)( \Theta _{5}(x)+x\Theta _{5}^{^{\prime }}(x)) \\ -(3r^{2}x^{2}+4rtx-2s^{2}x+6sx^{2}-2us+t^{2}-4x^{3}+ 4ux)x\Theta _{5}(x) \end{array} ,}{ (2sx^{3}+t^{2}x+2ux^{2}+r^{2}x^{3}-s^{2}x^{2}-u^{2}-x^{4}+2rtx^{2}-2sux)^{2}} \\ \sum\limits_{k=1}^{n}kx^{k}W_{-2k+1} &=&x\frac{ \begin{array}{c} (2sx^{3}+t^{2}x+2ux^{2}+r^{2}x^{3}-s^{2}x^{2}-u^{2}-x^{4}+2rtx^{2}-2sux)( \Theta _{6}(x)+x\Theta _{6}^{^{\prime }}(x)) \\ -(3r^{2}x^{2}+4rtx-2s^{2}x+6sx^{2}-2us+t^{2}-4x^{3}+ 4ux)x\Theta _{6}(x) \end{array} }{ (2sx^{3}+t^{2}x+2ux^{2}+r^{2}x^{3}-s^{2}x^{2}-u^{2}-x^{4}+2rtx^{2}-2sux)^{2}} , \end{eqnarray*} where \(\Theta _{4}^{^{\prime }}(x),\) \(\Theta _{5}^{^{\prime }}(x)\) and \( \Theta _{6}^{^{\prime }}(x)\) denotes the derivatives of \(\Theta _{4}(x),\) \( \Theta _{5}(x)\) and \(\Theta _{6}(x)\) respectively.

5. Specific cases

In this section, for the specific cases of \(x,\) we present the closed form solutions (identities) of the sums \(\sum\limits_{k=1}^{n}kx^{k}W_{-k},\) \( \sum\limits_{k=1}^{n}kx^{k}W_{-2k}\) and \(\sum\limits_{k=1}^{n}kx^{k}W_{-2k+1}\) for the specific case of sequence \(\{W_{n}\}.\)

5.1. The case \(x=1\)

In this subsection we consider the special case \(x=1\).

The case \(x=1\) of Theorem 6 is given in Soykan [34].

We only consider the cases \(x=1,r=1,s=1,t=1,u=2\) (which is not considered in [34]).

Observe that setting \(x=1,r=1,s=1,t=1,u=2\) (i.e., for the generalized fourth order Jacobsthal case) in Theorem 6 (a),(b),(c) makes the right hand side of the sum formulas to be an indeterminate form. Application of L'Hospital rule however provides the evaluation of the sum formulas.

Taking \(r=1,s=1,t=1,u=2\) in Theorem 6, we obtain the following theorem.

Theorem 7. If \(r=1,s=1,t=1,u=2\) then for \(n\geq 1\) we have the following formulas:

  • (a) \(\sum\limits_{k=1}^{n}kW_{-k}=\frac{1}{16}(-(4n+2) W_{-n+3}-4W_{-n+2}+(4n-2)W_{-n+1}+(8n+4)W_{-n}+2W_{3}+4W_{2}+2W_{1}-4W_{0}).\)
  • (b) \(\sum\limits_{k=1}^{n}kW_{-2k}=\frac{1}{72} ((6n^{2}-8n-29)W_{-2n+2}-2(6n^{2}+4n-19)W_{-2n+1}+(6n^{2}+28n-11)W_{-2n}-2(6n^{2}+4n-19)W_{-2n-1}-19W_{3}+48W_{2}-19W_{1}+30W_{0}). \)
  • (c) \(\sum\limits_{k=1}^{n}kW_{-2k+1}=\frac{1}{72} (-(6n^{2}+16n-9)W_{-2n+2}+4(3n^{2}+5n-10)W_{-2n+1}-(6n^{2}+16n-9)W_{-2n}+2(6n^{2}-8n-29)W_{-2n-1}+29W_{3}-38W_{2}+11W_{1}-38W_{0}). \)

Proof.

  • (a) We use Theorem 6 (a). If we set \( r=1,s=1,t=1,u=2\) in Theorem 6 (a) we get (a).
  • (b) We use Theorem 6 (b). If we set \( r=1,s=1,t=1,u=2\) in Theorem 6 (b) then we have \begin{equation*} \sum\limits_{k=1}^{n}kx^{k}W_{-2k}=\frac{g_{6}(x)}{\left( x-1\right) ^{2}\left( x-4\right) ^{2}\left( x+1\right) ^{4}} \end{equation*} where

    \(g_{6}(x)=- x^{n+1}(8x+x^{2}+6x^{3}+2x^{4}-2x^{5}+x^{6}+n(-x^{2}+x+2)(x^{4}-3x^{3}-5x^{2}+3x+4)+8)W_{-2n+2}\)

    \(+ x^{n+1}(16x+16x^{2}+12x^{3}-4x^{5}+n(2x+2)(x^{4}-3x^{3}-5x^{2}+3x+4)+8)W_{-2n+1}- x^{n+1}(16x+32x^{2}-10x^{3}\)

    \(-12x^{4}+6x^{5}+n(-x^{3}+3x^{2}+2x-2)(x^{4}-3x^{3}-5x^{2}+3x+4)-8)W_{-2n}+ 2x^{n+1}(8x+8x^{2}+6x^{3}-2x^{5}+n(x+1)(x^{4}-3x^{3}-5x^{2}+3x+4)+4)W_{-2n-1}-x(-2x^{5}\)

    \(+6x^{3}+8x^{2}+8x+4)W_{3}+x(x^{6}-4x^{5}+2x^{4}+12x^{3}+9x^{2}+16x+12)W_{2}-x(-2x^{5}+6x^{3}+8x^{2}+8x+4) W_{1}- 2x(-2x^{5}+6x^{4}+2x^{3}-20x^{2}-12x+2)W_{0}\,. \)

    For \(x=1,\) the right hand side of the above sum formula is an indeterminate form. Now, we can use L'Hospital rule (twice). Then we get (b) using

    \( \sum\limits_{k=1}^{n}kW_{-2k} =\left. \frac{\frac{d^{2}}{dx^{2}}\left( g_{6}(x)\right) }{\frac{d^{2}}{dx^{2}}\left( \left( x-1\right) ^{2}\left( x-4\right) ^{2}\left( x+1\right) ^{4}\right) }\right\vert _{x=1} =\frac{1}{72}((6n^{2}-8n-29)W_{-2n+2}-2(6n^{2}+4n-19)W_{-2n+1} +(6n^{2}+28n-11)W_{-2n}-2(6n^{2}+4n-19)W_{-2n-1} -19W_{3}+48W_{2}-19W_{1}+30W_{0}). \)

  • (c) We use Theorem 6 (c). If we set \( r=1,s=1,t=1,u=2\) in Theorem 6 (c) then we have \begin{equation*} \sum\limits_{k=1}^{n}kx^{k}W_{-2k+1}=\frac{g_{7}(x)}{\left( x-1\right) ^{2}\left( x-4\right) ^{2}\left( x+1\right) ^{4}}\,, \end{equation*} where

    \( g_{7}(x)=x^{n+2}(15x+6x^{2}-2x^{3}-2x^{4}-x^{5}+n(x+1)(x^{4}-3x^{3}-5x^{2}+3x+4)+8)W_{-2n+2}- x^{n+2}(33x-4x^{2}-10x^{3}+4x^{4}+x^{5}+n(-x^{2}+2x+3)(x^{4}-3x^{3}-5x^{2}+3x+4)+24)W_{-2n+1}\)

    \(+x^{n+2}(15x+6x^{2}-2x^{3}-2x^{4}-x^{5}+n(x+1)(x^{4}-3x^{3}-5x^{2}+3x+4)+8)W_{-2n}- 2x^{n+1}(8x+x^{2}+6x^{3}+2x^{4}-2x^{5}+x^{6}+n(-x^{2}+x+2)(x^{4}-3x^{3}-5x^{2}+3x+4)+8)W_{-2n-1}\)

    \(+x (x^{6}-2x^{5}+2x^{4}+6x^{3}+x^{2}+8x+8)W_{3}-x(-4x^{5}+12x^{3}+16x^{2}+16x+8)W_{2}+ x(6x^{5}-12x^{4}-10x^{3}+32x^{2}+16x-8)W_{1}-2x (-2x^{5}+6x^{3}+8x^{2}+8x+4)W_{0}. \)

    For \(x=1,\) the right hand side of the above sum formula is an indeterminate form. Now, we can use L'Hospital rule (twice). Then we get (c) using

    \( \sum\limits_{k=1}^{n}kW_{-2k+1} =\left. \frac{\frac{d^{2}}{dx^{2}}\left( g_{7}(x)\right) }{\frac{d^{2}}{dx^{2}}\left( \left( x-1\right) ^{2}\left( x-4\right) ^{2}\left( x+1\right) ^{4}\right) }\right\vert _{x=1} =\frac{1}{72}(-(6n^{2}+16n-9)W_{-2n+2}+4(3n^{2}+5n-10)W_{-2n+1} -(6n^{2}+16n-9)W_{-2n}+2(6n^{2}-8n-29)W_{-2n-1} \)

    \(+29W_{3}-38W_{2}+11W_{1}-38W_{0}). \)

Taking \(W_{n}=J_{n}\) with \(J_{0}=0,J_{1}=1,J_{2}=1,J_{3}=1\) in the last theorem, we have the following corollary which presents linear sum formula of fourth-order Jacobsthal numbers.

Corollary 22. For \(n\geq 1,\) fourth order Jacobsthal numbers have the following property

  • (a) \(\sum\limits_{k=1}^{n}kJ_{-k}=\frac{1}{16}(-(4n+2) J_{-n+3}-4J_{-n+2}+(4n-2)J_{-n+1}+(8n+4)J_{-n}+8).\)
  • (b) \(\sum\limits_{k=1}^{n}kJ_{-2k}=\frac{1}{72} ((6n^{2}-8n-29)J_{-2n+2}-2(6n^{2}+4n-19)J_{-2n+1}+(6n^{2}+28n-11)J_{-2n}-2(6n^{2}+4n-19)J_{-2n-1}+10). \)
  • (c) \(\sum\limits_{k=1}^{n}kJ_{-2k+1}=\frac{1}{72} (-(6n^{2}+16n-9)J_{-2n+2}+4(3n^{2}+5n-10)J_{-2n+1}-(6n^{2}+16n-9)J_{-2n}+2(6n^{2}-8n-29)J_{-2n-1}+2). \)

From the last theorem, we have the following corollary which gives linear sum formulas of the fourth order Jacobsthal-Lucas numbers (take \(W_{n}=j_{n}\) with \(j_{0}=2,j_{1}=1,j_{2}=5,j_{3}=10\)).

Corollary 23. For \(n\geq 1,\) fourth order Jacobsthal-Lucas numbers have the following property

  • (a) \(\sum\limits_{k=1}^{n}kj_{-k}=\frac{1}{16}(-(4n+2) j_{-n+3}-4j_{-n+2}+(4n-2)j_{-n+1}+(8n+4)j_{-n}+34).\)
  • (b) \(\sum\limits_{k=1}^{n}kj_{-2k}=\frac{1}{72} ((6n^{2}-8n-29)j_{-2n+2}-2(6n^{2}+4n-19)j_{-2n+1}+(6n^{2}+28n-11)j_{-2n}-2(6n^{2}+4n-19)j_{-2n-1}+91). \)
  • (c) \(\sum\limits_{k=1}^{n}kj_{-2k+1}=\frac{1}{72} (-(6n^{2}+16n-9)j_{-2n+2}+4(3n^{2}+5n-10)j_{-2n+1}-(6n^{2}+16n-9)j_{-2n}+2(6n^{2}-8n-29)j_{-2n-1}+35). \)

Taking \(W_{n}=K_{n}\) with \(K_{0}=3,K_{1}=1,K_{2}=3,K_{3}=10\) in the last theorem, we have the following corollary which presents linear sum formula of the modified fourth order Jacobsthal numbers.

Corollary 24. For \(n\geq 1,\)modified fourth order Jacobsthal numbers have the following property:

  • (a) \(\sum\limits_{k=1}^{n}kK_{-k}=\frac{1}{16}(-(4n+2) K_{-n+3}-4K_{-n+2}+(4n-2)K_{-n+1}+(8n+4)K_{-n}+22).\)
  • (b) \(\sum\limits_{k=1}^{n}kK_{-2k}=\frac{1}{72} ((6n^{2}-8n-29)K_{-2n+2}-2(6n^{2}+4n-19)K_{-2n+1}+(6n^{2}+28n-11)K_{-2n}-2(6n^{2}+4n-19)K_{-2n-1}+25). \)
  • (c) \(\sum\limits_{k=1}^{n}kK_{-2k+1}=\frac{1}{72} (-(6n^{2}+16n-9)K_{-2n+2}+4(3n^{2}+5n-10)K_{-2n+1}-(6n^{2}+16n-9)K_{-2n}+2(6n^{2}-8n-29)K_{-2n-1}+73). \)

From the last theorem, we have the following corollary which gives linear sum formula of the fourth-order Jacobsthal Perrin numbers (take \(W_{n}=Q_{n}\) with \(Q_{0}=3,Q_{1}=0,Q_{2}=2,Q_{3}=8\)).

Corollary 25. For \(n\geq 1,\) fourth-order Jacobsthal Perrin numbers have the following property:

  • (a) \(\sum\limits_{k=1}^{n}kQ_{-k}=\frac{1}{16}(-(4n+2) Q_{-n+3}-4Q_{-n+2}+(4n-2)Q_{-n+1}+(8n+4)Q_{-n}+12).\)
  • (b) \(\sum\limits_{k=1}^{n}kQ_{-2k}=\frac{1}{72} ((6n^{2}-8n-29)Q_{-2n+2}-2(6n^{2}+4n-19)Q_{-2n+1}+(6n^{2}+28n-11)Q_{-2n}-2(6n^{2}+4n-19)Q_{-2n-1}+34). \)
  • (c) \(\sum\limits_{k=1}^{n}kQ_{-2k+1}=\frac{1}{72} (-(6n^{2}+16n-9)Q_{-2n+2}+4(3n^{2}+5n-10)Q_{-2n+1}-(6n^{2}+16n-9)Q_{-2n}+2(6n^{2}-8n-29)Q_{-2n-1}+42). \)

Taking \(W_{n}=S_{n}\) with \(S_{0}=0,S_{1}=1,S_{2}=1,S_{3}=2\) in the last theorem, we have the following corollary which presents linear sum formula of the adjusted fourth-order Jacobsthal numbers.

Corollary 26. For \(n\geq 1,\) adjusted fourth-order Jacobsthal numbers have the following property:

  • (a) \(\sum\limits_{k=1}^{n}kS_{-k}=\frac{1}{16}(-(4n+2) S_{-n+3}-4S_{-n+2}+(4n-2)S_{-n+1}+(8n+4)S_{-n}+10).\)
  • (b) \(\sum\limits_{k=1}^{n}kS_{-2k}=\frac{1}{72} ((6n^{2}-8n-29)S_{-2n+2}-2(6n^{2}+4n-19)S_{-2n+1}+(6n^{2}+28n-11)S_{-2n}-2(6n^{2}+4n-19)S_{-2n-1}-9). \)
  • (c) \(\sum\limits_{k=1}^{n}kS_{-2k+1}=\frac{1}{72} (-(6n^{2}+16n-9)S_{-2n+2}+4(3n^{2}+5n-10)S_{-2n+1}-(6n^{2}+16n-9)S_{-2n}+2(6n^{2}-8n-29)S_{-2n-1}+31). \)

From the last theorem, we have the following corollary which gives linear sum formula of the modified fourth-order Jacobsthal-Lucas numbers (take \( W_{n}=R_{n}\) with \(R_{0}=4,R_{1}=1,R_{2}=3,R_{3}=7\)).

Corollary 27. For \(n\geq 1,\) modified fourth-order Jacobsthal-Lucas numbers have the following property:

  • (a) \(\sum\limits_{k=1}^{n}kR_{-k}=\frac{1}{16}(-(4n+2) R_{-n+3}-4R_{-n+2}+(4n-2)R_{-n+1}+(8n+4)R_{-n}+12).\)
  • (b) \(\sum\limits_{k=1}^{n}kR_{-2k}=\frac{1}{72} ((6n^{2}-8n-29)R_{-2n+2}-2(6n^{2}+4n-19)R_{-2n+1}+(6n^{2}+28n-11)R_{-2n}-2(6n^{2}+4n-19)R_{-2n-1}+112). \)
  • (c) \(\sum\limits_{k=1}^{n}kR_{-2k+1}=\frac{1}{72} (-(6n^{2}+16n-9)R_{-2n+2}+4(3n^{2}+5n-10)R_{-2n+1}-(6n^{2}+16n-9)R_{-2n}+2(6n^{2}-8n-29)R_{-2n-1}-52). \)

5.2. The case \(x=-1\)

In this subsection we consider the special case \(x=-1\).

Taking \(x=-1,\) \(r=s=t=u=1\) in Theorem 6 (a) and (b) (or (c)), we obtain the following proposition.

Proposition 5. If \(r=s=t=u=1\) then for \(n\geq 1\) we have the following formulas:

  • (a) \(\sum\limits_{k=1}^{n}k(-1)^{k}W_{-k}= \left( -1\right) ^{n}(-(n-5)W_{-n+3}+(2n-9)W_{-n+2}-(n-2)W_{-n+1}+(2n-6)W_{-n})-5W_{3}+9W_{2}-2W_{1}+6W_{0}. \)
  • (b) \(\sum\limits_{k=1}^{n}k(-1)^{k}W_{-2k}=\left( -1\right) ^{n}(-(n-2)W_{-2n+2}+ (n-3)W_{-2n+1}+ (2n-2)W_{-2n}+W_{-2n-1})-W_{3}-W_{2}+4W_{1}+3W_{0}.\)
  • (c) \(\sum\limits_{k=1}^{n}k(-1)^{k}W_{-2k+1}=\left( -1\right) ^{n}(-W_{-2n+2}+ nW_{-2n+1}-(n-3)W_{-2n}- (n-2)W_{-2n-1})-2W_{3}+3W_{2}+2W_{1}-W_{0}.\)

From the above proposition, we have the following corollary which gives linear sum formulas of Tetranacci numbers (take \(W_{n}=M_{n}\) with \( M_{0}=0,M_{1}=1,M_{2}=1,M_{3}=2\)).

Corollary 28. For \(n\geq 1,\) Tetranacci numbers have the following properties.

  • (a) \(\sum\limits_{k=1}^{n}k(-1)^{k}M_{-k}= \left( -1\right) ^{n}(-(n-5)M_{-n+3}+(2n-9)M_{-n+2}-(n-2)M_{-n+1}+(2n-6)M_{-n})-3.\)
  • (b) \(\sum\limits_{k=1}^{n}k(-1)^{k}M_{-2k}=\left( -1\right) ^{n}(-(n-2)M_{-2n+2}+ (n-3)M_{-2n+1}+ (2n-2)M_{-2n}+M_{-2n-1})+1.\)
  • (c) \(\sum\limits_{k=1}^{n}k(-1)^{k}M_{-2k+1}=\left( -1\right) ^{n}(-M_{-2n+2}+ nM_{-2n+1}-(n-3)M_{-2n}- (n-2)M_{-2n-1})+1.\)

Taking \(W_{n}=R_{n}\) with \(R_{0}=4,R_{1}=1,R_{2}=3,R_{3}=7\) in the above proposition, we have the following corollary which presents linear sum formulas of Tetranacci-Lucas numbers.

Corollary 29. For \(n\geq 1,\) Tetranacci-Lucas numbers have the following properties.

  • (a) \(\sum\limits_{k=1}^{n}k(-1)^{k}R_{-k}= \left( -1\right) ^{n}(-(n-5)R_{-n+3}+(2n-9)R_{-n+2}-(n-2)R_{-n+1}+(2n-6)R_{-n})+14.\)
  • (b) \(\sum\limits_{k=1}^{n}k(-1)^{k}R_{-2k}=\left( -1\right) ^{n}(-(n-2)R_{-2n+2}+ (n-3)R_{-2n+1}+ (2n-2)R_{-2n}+R_{-2n-1})+6.\)
  • (c) \(\sum\limits_{k=1}^{n}k(-1)^{k}R_{-2k+1}=\left( -1\right) ^{n}(-R_{-2n+2}+ nR_{-2n+1}-(n-3)R_{-2n}- (n-2)R_{-2n-1})-7.\)

Taking \(x=-1,\) \(r=2,s=t=u=1\) in Theorem 6 (a) and (b) (or (c)), we obtain the following proposition.

Proposition 6. If \(r=2,s=t=u=1\) then for \(n\geq 1\) we have the following formulas:

  • (a) \(\sum\limits_{k=1}^{n}k(-1)^{k}W_{-k}=\frac{1}{4}(\left( -1\right) ^{n}(-(2n-7)W_{-n+3}+(6n-19) W_{-n+2}-(4n-6) W_{-n+1}+(6n-9)W_{-n})-7W_{3}+19W_{2}-6W_{1}+9W_{0}).\)
  • (b) \(\sum\limits_{k=1}^{n}k(-1)^{k}W_{-2k}=\frac{1}{4}(\left( -1\right) ^{n}(-(2n-3)W_{-2n+2}+(2n-3) W_{-2n+1}+(8n-10)W_{-2n}+ (2n-5)W_{-2n-1} )+5W_{3}-13W_{2}-2W_{1}+5W_{0}).\)
  • (c) \(\sum\limits_{k=1}^{n}k(-1)^{k}W_{-2k+1}=\frac{1}{4}(\left( -1\right) ^{n}(-(2n-3) W_{-2n+2}+(6n-7)W_{-2n+1}-2W_{-2n}-(2n-3)W_{-2n-1})-3W_{3}+3W_{2}+10W_{1}+5W_{0}). \)

From the last proposition, we have the following corollary which gives linear sum formulas of the fourth-order Pell numbers (take \(W_{n}=P_{n}\) with \(P_{0}=0,P_{1}=1,P_{2}=2,P_{3}=5\)).

Corollary 30. For \(n\geq 1,\) fourth-order Pell numbers have the following properties:

  • (a) \(\sum\limits_{k=1}^{n}k(-1)^{k}P_{-k}=\frac{1}{4}(\left( -1\right) ^{n}(-(2n-7)P_{-n+3}+(6n-19) P_{-n+2}-(4n-6) P_{-n+1}+(6n-9)P_{-n})-3).\)
  • (b) \(\sum\limits_{k=1}^{n}k(-1)^{k}P_{-2k}=\frac{1}{4}(\left( -1\right) ^{n}(-(2n-3)P_{-2n+2}+(2n-3) P_{-2n+1}+(8n-10)P_{-2n}+ (2n-5)P_{-2n-1} )-3).\)
  • (c) \(\sum\limits_{k=1}^{n}k(-1)^{k}P_{-2k+1}=\frac{1}{4}(\left( -1\right) ^{n}(-(2n-3) P_{-2n+2}+(6n-7)P_{-2n+1}-2P_{-2n}-(2n-3)P_{-2n-1})+1).\)

Taking \(W_{n}=Q_{n}\) with \(Q_{0}=4,Q_{1}=2,Q_{2}=6,Q_{3}=17\) in the last proposition, we have the following corollary which presents linear sum formulas of the fourth-order Pell-Lucas numbers.

Corollary 31. For \(n\geq 1,\) fourth-order Pell-Lucas numbers have the following properties:

  • (a) \(\sum\limits_{k=1}^{n}k(-1)^{k}Q_{-k}=\frac{1}{4}(\left( -1\right) ^{n}(-(2n-7)Q_{-n+3}+(6n-19) Q_{-n+2}-(4n-6) Q_{-n+1}+(6n-9)Q_{-n})+19).\)
  • (b) \(\sum\limits_{k=1}^{n}k(-1)^{k}Q_{-2k}=\frac{1}{4}(\left( -1\right) ^{n}(-(2n-3)Q_{-2n+2}+(2n-3) Q_{-2n+1}+(8n-10)Q_{-2n}+ (2n-5)Q_{-2n-1} )+23).\)
  • (c) \(\sum\limits_{k=1}^{n}k(-1)^{k}Q_{-2k+1}=\frac{1}{4}(\left( -1\right) ^{n}(-(2n-3) Q_{-2n+2}+(6n-7)Q_{-2n+1}-2Q_{-2n}-(2n-3)Q_{-2n-1})+7).\)

Observe that setting \(x=-1,r=1,s=1,t=1,u=2\) (i.e. for the generalized fourth order Jacobsthal case) in Theorem 6 (a),(b),(c) makes the right hand side of the sum formulas to be an indeterminate form. Application of L'Hospital rule however provides the evaluation of the sum formulas.

Taking \(r=1,s=1,t=1,u=2\) in Theorem 6, we obtain the following theorem.

Theorem 8. If \(r=1,s=1,t=1,u=2\) then for \(n\geq 1\) we have the following formulas:

  • (a) \(\sum\limits_{k=1}^{n}k(-1)^{k}W_{-k}=\frac{1}{36}(-\left( -1\right) ^{n}(3n^{2}-5n-39)W_{-n+3}+2\left( -1\right) ^{n}(3n+10)(n-4)W_{-n+2}-\left( -1\right) ^{n}(3n^{2}+13n-39)W_{-n+1}+2\left( -1\right) ^{n}(3n^{2}+7n-31)W_{-n}-39W_{3}+80W_{2}-39W_{1}+62W_{0}).\)
  • (b) \(\sum\limits_{k=1}^{n}k(-1)^{k}W_{-2k}=\frac{1}{100}(\left( -1\right) ^{n}(-(15n^{2}+4n-69)W_{-2n+2}+2\left( 5n^{2}-2n-24\right) W_{-2n+1}+(35n^{2}+46n-140)W_{-2n}+2\left( 5n^{2}-2n-24\right) W_{-2n-1})+24W_{3}-93W_{2}+24W_{1}+116W_{0}).\)
  • (c) \(\sum\limits_{k=1}^{n}k(-1)^{k}W_{-2k+1}=\frac{1}{100}(\left( -1\right) ^{n}(-(n+3)(5n-7)W_{-2n+2}+(20n^{2}+42n-71)W_{-2n+1}-(n+3)(5n-7)W_{-2n}-2(15n^{2}+4n-69)W_{-2n-1})-69W_{3}+48W_{2}+140W_{1}+48W_{0}). \)

Proof.

  • (a) We use Theorem 6 (a). If we set \( r=1,s=1,t=1,u=2\) in Theorem 6 (a) then we have \begin{equation*} \sum\limits_{k=1}^{n}x^{k}W_{-k}=\frac{g_{8}(x)}{ (x-2)^{2}(x+1)^{2}(x^{2}+1)^{2}} \end{equation*} where

    \(g_{8}(x)=-x^{n+1} (n(-x^{4}+x^{3}+x^{2}+x+2)-x^{2}-2x^{3}+3x^{4}+2)W_{-n+3}-x^{n+1}(4x+2x^{2}+2x^{3}-4x^{4}+2x^{5}+n(x-1)(-x^{4}+x^{3}+x^{2}+x+2)-2)W_{-n+2}+ x^{n+1}\)

    \((4x-6x^{2}-4x^{3}+x^{4}+2x^{5}-x^{6}+n(-x^{2}+x+1)(-x^{4}+x^{3}+x^{2}+x+2)+2)W_{-n+1}+x^{n+1}(4x+6x^{2}-8x^{3}+n(-x^{3}+x^{2}+x+1)(-x^{4}+x^{3}+x^{2}+x+2)+2)W_{-n}\)

    \(- x(-3x^{4}+2x^{3}+x^{2}-2)W_{3}+ x(2x^{5}-4x^{4}+2x^{3}+2x^{2}+4x-2)W_{2}- x(-x^{6}+2x^{5}+x^{4}-4x^{3}-6x^{2}+4x+2)W_{1}-2x(-4x^{3}+3x^{2}+2x+1)W_{0}.\)

    For \(x=-1,\) the right hand side of the above sum formula is an indeterminate form. Now, we can use L'Hospital rule (twice). Then we get (a) using

    \( \sum\limits_{k=1}^{n}k(-1)^{k}W_{-k} =\left. \frac{\frac{d^{2}}{dx^{2}}\left( g_{8}(x)\right) }{\frac{d^{2}}{dx^{2}}\left( (x-2)^{2}(x+1)^{2}(x^{2}+1)^{2}\right) }\right\vert _{x=-1} =\frac{1}{36}(-\left( -1\right) ^{n}(3n^{2}-5n-39)W_{-n+3}\)

    \(+2\left( -1\right) ^{n}(3n+10)(n-4)W_{-n+2} -\left( -1\right) ^{n}(3n^{2}+13n-39)W_{-n+1}+2\left( -1\right) ^{n}(3n^{2}+7n-31)W_{-n} -39W_{3}+80W_{2}-39W_{1}+62W_{0}). \)

  • (b) We use Theorem 6 (b). If we set \( r=1,s=1,t=1,u=2\) in Theorem 6 (b) then we have \begin{equation*} \sum\limits_{k=1}^{n}x^{k}W_{-2k}=\frac{g_{9}(x)}{(x-1)^{2}(x-4)^{2}(x+1)^{4}} \end{equation*} where

    \(g_{9}(x)=- x^{n+1}(8x+x^{2}+6x^{3}+2x^{4}-2x^{5}+x^{6}+n(-x^{2}+x+2)(x^{4}-3x^{3}-5x^{2}+3x+4)+8)W_{-2n+2}+ \)

    \( x^{n+1}(16x+16x^{2}+12x^{3}-4x^{5}+n(2x+2)(x^{4}-3x^{3}-5x^{2}+3x+4)+8)W_{-2n+1}- \)

    \( x^{n+1}(16x+32x^{2}-10x^{3}-12x^{4}+6x^{5}+n(-x^{3}+3x^{2}+2x-2)(x^{4}-3x^{3}-5x^{2}+3x+4)-8)W_{-2n}+ 2x^{n+1}(8x+8x^{2}+6x^{3}-2x^{5}+n(x+1)(x^{4}-3x^{3}-5x^{2}+3x+4)+4)W_{-2n-1}\)

    \(-x(-2x^{5}+6x^{3}+8x^{2}+8x+4)W_{3}+x(x^{6}-4x^{5}+2x^{4}+12x^{3}+9x^{2}+16x+12)W_{2}-x (-2x^{5}+6x^{3}+8x^{2}+8x+4)W_{1}- 2x(-2x^{5}+6x^{4}+2x^{3}-20x^{2}-12x+2)W_{0}.\)

    For \(x=-1,\) the right hand side of the above sum formula is an indeterminate form. Now, we can use L'Hospital rule (four times). Then we get (b) using

    \( \sum\limits_{k=1}^{n}k(-1)^{k}W_{-2k} =\left. \frac{\frac{d^{4}}{dx^{4}}\left( g_{9}(x)\right) }{\frac{d^{4}}{dx^{4}}\left( (x-1)^{2}(x-4)^{2}(x+1)^{4}\right) }\right\vert _{x=-1} =\frac{1}{100}(\left( -1\right) ^{n}(-(15n^{2}+4n-69)W_{-2n+2}+2\left( 5n^{2}-2n-24\right) W_{-2n+1}\)

    \( +(35n^{2}+46n-140)W_{-2n}+2\left( 5n^{2}-2n-24\right) W_{-2n-1}) +24W_{3}-93W_{2}+24W_{1}+116W_{0}). \)

  • (c) We use Theorem 6 (c). If we set \( r=1,s=1,t=1,u=2\) in Theorem 6 (c) then we have \begin{equation*} \sum\limits_{k=1}^{n}x^{k}W_{-2k+1}=\frac{g_{10}(x)}{(x-1)^{2}(x-4)^{2}(x+1)^{4}} \end{equation*} where

    \(g_{10}(x)= x^{n+2}(15x+6x^{2}-2x^{3}-2x^{4}-x^{5}+n(x+1)(x^{4}-3x^{3}-5x^{2}+3x+4)+8) W_{-2n+2}- x^{n+2}(33x-4x^{2}-10x^{3}+4x^{4}+x^{5}+n(-x^{2}+2x+3)(x^{4}-3x^{3}-5x^{2}+3x+4)+24)W_{-2n+1}\)

    \(+x^{n+2}(15x+6x^{2}-2x^{3}-2x^{4}-x^{5}+n(x+1)(x^{4}-3x^{3}-5x^{2}+3x+4)+8)W_{-2n}- 2x^{n+1}(8x+x^{2}+6x^{3}+2x^{4}-2x^{5}+x^{6}+n(-x^{2}+x+2)(x^{4}-3x^{3}-5x^{2}+3x+4)+8)W_{-2n-1}\)

    \(+x (x^{6}-2x^{5}+2x^{4}+6x^{3}+x^{2}+8x+8)W_{3}-x(-4x^{5}+12x^{3}+16x^{2}+16x+8)W_{2}+ x(6x^{5}-12x^{4}-10x^{3}+32x^{2}+16x-8)W_{1}-2x (-2x^{5}+6x^{3}+8x^{2}+8x+4)W_{0}. \)

    For \(x=-1,\) the right hand side of the above sum formula is an indeterminate form. Now, we can use L'Hospital rule (four times). Then we get (c) using

    \(\sum\limits_{k=1}^{n}k{(-1)}^{k}W_{-2k+1}=\left. \frac{\frac{d^{4}}{dx^{4}}\left( g_{10}(x)\right) }{\frac{d^{4}}{dx^{4}}\left((x-1)^{2}(x-4)^{2}(x+1)^{4}\right) }\right\vert _{x=-1} =\frac{1}{100}(\left( -1\right)^{n}(-(n+3)(5n-7)W_{-2n+2}+(20n^{2}+42n-71)W_{-2n+1}\)

    \( -(n+3)(5n-7)W_{-2n}-2(15n^{2}+4n-69)W_{-2n-1}) -69W_{3}+48W_{2}+140W_{1}+48W_{0}). \)

Taking \(W_{n}=J_{n}\) with \(J_{0}=0,J_{1}=1,J_{2}=1,J_{3}=1\) in the last proposition, we have the following corollary which presents linear sum formula of the fourth-order Jacobsthal numbers.

Corollary 32. For \(n\geq 1,\) fourth order Jacobsthal numbers have the following property

  • (a) \(\sum\limits_{k=1}^{n}k(-1)^{k}J_{-k}=\frac{1}{36}(-\left( -1\right) ^{n}(3n^{2}-5n-39)J_{-n+3}+2\left( -1\right) ^{n}(3n+10)(n-4)J_{-n+2}-\left( -1\right) ^{n}(3n^{2}+13n-39)J_{-n+1}+2\left( -1\right) ^{n}(3n^{2}+7n-31)J_{-n}+2).\)
  • (b) \(\sum\limits_{k=1}^{n}k(-1)^{k}J_{-2k}=\frac{1}{100}(\left( -1\right) ^{n}(-(15n^{2}+4n-69)J_{-2n+2}+2\left( 5n^{2}-2n-24\right) J_{-2n+1}+(35n^{2}+46n-140)J_{-2n}+2\left( 5n^{2}-2n-24\right) J_{-2n-1})-45).\)
  • (c) \(\sum\limits_{k=1}^{n}k(-1)^{k}J_{-2k+1}=\frac{1}{100}(\left( -1\right) ^{n}(-(n+3)(5n-7)J_{-2n+2}+(20n^{2}+42n-71)J_{-2n+1}-(n+3)(5n-7)J_{-2n}-2(15n^{2}+4n-69)J_{-2n-1})+119). \)

From the last proposition, we have the following corollary which gives linear sum formulas of the fourth order Jacobsthal-Lucas numbers (take \( W_{n}=j_{n}\) with \(j_{0}=2,j_{1}=1,j_{2}=5,j_{3}=10\)).

Corollary 33. For \(n\geq 1,\) fourth order Jacobsthal-Lucas numbers have the following property

  • (a) \(\sum\limits_{k=1}^{n}k(-1)^{k}j_{-k}=\frac{1}{36}(-\left( -1\right) ^{n}(3n^{2}-5n-39)j_{-n+3}+2\left( -1\right) ^{n}(3n+10)(n-4)j_{-n+2}-\left( -1\right) ^{n}(3n^{2}+13n-39)j_{-n+1}+2\left( -1\right) ^{n}(3n^{2}+7n-31)j_{-n}+95).\)
  • (b) \(\sum\limits_{k=1}^{n}k(-1)^{k}j_{-2k}=\frac{1}{100}(\left( -1\right) ^{n}(-(15n^{2}+4n-69)j_{-2n+2}+2\left( 5n^{2}-2n-24\right) j_{-2n+1}+(35n^{2}+46n-140)j_{-2n}+2\left( 5n^{2}-2n-24\right) j_{-2n-1})+31).\)
  • (c) \(\sum\limits_{k=1}^{n}k(-1)^{k}j_{-2k+1}=\frac{1}{100}(\left( -1\right) ^{n}(-(n+3)(5n-7)j_{-2n+2}+(20n^{2}+42n-71)j_{-2n+1}-(n+3)(5n-7)j_{-2n}-2(15n^{2}+4n-69)j_{-2n-1})-214). \)

Taking \(W_{n}=K_{n}\) with \(K_{0}=3,K_{1}=1,K_{2}=3,K_{3}=10\) in the last proposition, we have the following corollary which presents linear sum formula of the modified fourth order Jacobsthal numbers.

Corollary 34. For \(n\geq 1,\)modified fourth order Jacobsthal numbers have the following property:

  • (a) \(\sum\limits_{k=1}^{n}k(-1)^{k}K_{-k}=\frac{1}{36}(-\left( -1\right) ^{n}(3n^{2}-5n-39)K_{-n+3}+2\left( -1\right) ^{n}(3n+10)(n-4)K_{-n+2}-\left( -1\right) ^{n}(3n^{2}+13n-39)K_{-n+1}+2\left( -1\right) ^{n}(3n^{2}+7n-31)K_{-n}-3).\)
  • (b) \(\sum\limits_{k=1}^{n}k(-1)^{k}K_{-2k}=\frac{1}{100}(\left( -1\right) ^{n}(-(15n^{2}+4n-69)K_{-2n+2}+2\left( 5n^{2}-2n-24\right) K_{-2n+1}+(35n^{2}+46n-140)K_{-2n}+2\left( 5n^{2}-2n-24\right) K_{-2n-1})+333).\)
  • (c) \(\sum\limits_{k=1}^{n}k(-1)^{k}K_{-2k+1}=\frac{1}{100}(\left( -1\right) ^{n}(-(n+3)(5n-7)K_{-2n+2}+(20n^{2}+42n-71)K_{-2n+1}-(n+3)(5n-7)K_{-2n}-2(15n^{2}+4n-69)K_{-2n-1})-262). \)

From the last proposition, we have the following corollary which gives linear sum formula of the fourth-order Jacobsthal Perrin numbers (take \( W_{n}=Q_{n}\) with \(Q_{0}=3,Q_{1}=0,Q_{2}=2,Q_{3}=8\)).

Corollary 35. For \(n\geq 1,\) fourth-order Jacobsthal Perrin numbers have the following property:

  • (a) \(\sum\limits_{k=1}^{n}k(-1)^{k}Q_{-k}=\frac{1}{36}(-\left( -1\right) ^{n}(3n^{2}-5n-39)Q_{-n+3}+2\left( -1\right) ^{n}(3n+10)(n-4)Q_{-n+2}-\left( -1\right) ^{n}(3n^{2}+13n-39)Q_{-n+1}+2\left( -1\right) ^{n}(3n^{2}+7n-31)Q_{-n}+34).\)
  • (b) \(\sum\limits_{k=1}^{n}k(-1)^{k}Q_{-2k}=\frac{1}{100}(\left( -1\right) ^{n}(-(15n^{2}+4n-69)Q_{-2n+2}+2\left( 5n^{2}-2n-24\right) Q_{-2n+1}+(35n^{2}+46n-140)Q_{-2n}+2\left( 5n^{2}-2n-24\right) Q_{-2n-1})+354).\)
  • (c) \(\sum\limits_{k=1}^{n}k(-1)^{k}Q_{-2k+1}=\frac{1}{100}(\left( -1\right) ^{n}(-(n+3)(5n-7)Q_{-2n+2}+(20n^{2}+42n-71)Q_{-2n+1}-(n+3)(5n-7)Q_{-2n}-2(15n^{2}+4n-69)Q_{-2n-1})-312). \)

Taking \(W_{n}=S_{n}\) with \(S_{0}=0,S_{1}=1,S_{2}=1,S_{3}=2\) in the last proposition, we have the following corollary which presents linear sum formula of adjusted fourth-order Jacobsthal numbers.

Corollary 36. For \(n\geq 1,\) adjusted fourth-order Jacobsthal numbers have the following property:

  • (a) \(\sum\limits_{k=1}^{n}k(-1)^{k}S_{-k}=\frac{1}{36}(-\left( -1\right) ^{n}(3n^{2}-5n-39)S_{-n+3}+2\left( -1\right) ^{n}(3n+10)(n-4)S_{-n+2}-\left( -1\right) ^{n}(3n^{2}+13n-39)S_{-n+1}+2\left( -1\right) ^{n}(3n^{2}+7n-31)S_{-n}-37).\)
  • (b) \(\sum\limits_{k=1}^{n}k(-1)^{k}S_{-2k}=\frac{1}{100}(\left( -1\right) ^{n}(-(15n^{2}+4n-69)S_{-2n+2}+2\left( 5n^{2}-2n-24\right) S_{-2n+1}+(35n^{2}+46n-140)S_{-2n}+2\left( 5n^{2}-2n-24\right) S_{-2n-1})-21).\)
  • (c) \(\sum\limits_{k=1}^{n}k(-1)^{k}S_{-2k+1}=\frac{1}{100}(\left( -1\right) ^{n}(-(n+3)(5n-7)S_{-2n+2}+(20n^{2}+42n-71)S_{-2n+1}-(n+3)(5n-7)S_{-2n}-2(15n^{2}+4n-69)S_{-2n-1})+50). \)

From the last proposition, we have the following corollary which gives linear sum formula of the modified fourth-order Jacobsthal-Lucas numbers (take \(W_{n}=R_{n}\) with \(R_{0}=4,R_{1}=1,R_{2}=3,R_{3}=7\)).

Corollary 37. For \(n\geq 1,\) modified fourth-order Jacobsthal-Lucas numbers have the following property:

  • (a) \(\sum\limits_{k=1}^{n}k(-1)^{k}R_{-k}=\frac{1}{36}(-\left( -1\right) ^{n}(3n^{2}-5n-39)R_{-n+3}+2\left( -1\right) ^{n}(3n+10)(n-4)R_{-n+2}-\left( -1\right) ^{n}(3n^{2}+13n-39)R_{-n+1}+2\left( -1\right) ^{n}(3n^{2}+7n-31)R_{-n}+176).\)
  • (b) \(\sum\limits_{k=1}^{n}k(-1)^{k}R_{-2k}=\frac{1}{100}(\left( -1\right) ^{n}(-(15n^{2}+4n-69)R_{-2n+2}+2\left( 5n^{2}-2n-24\right) R_{-2n+1}+(35n^{2}+46n-140)R_{-2n}+2\left( 5n^{2}-2n-24\right) R_{-2n-1})+377).\)
  • (c) \(\sum\limits_{k=1}^{n}k(-1)^{k}R_{-2k+1}=\frac{1}{100}(\left( -1\right) ^{n}(-(n+3)(5n-7)R_{-2n+2}+(20n^{2}+42n-71)R_{-2n+1}-(n+3)(5n-7)R_{-2n}-2(15n^{2}+4n-69)R_{-2n-1})-7). \)

Taking \(x=-1,\) \(r=2,s=3,t=5,u=7\) in Theorem 6 (a), (b) and (c), we obtain the following proposition.

Proposition 7. If \(r=2,s=3,t=5,u=7\) then for \(n\geq 1\) we have the following formulas:

  • (a) \(\sum\limits_{k=1}^{n}k(-1)^{k}W_{-k}=\frac{1}{4}( \left( -1\right) ^{n}((2n+11)W_{-n+3}-(6n+35) W_{-n+2}+8W_{-n+1}-(10n+63)W_{-n})-11W_{3}+35W_{2}-8W_{1}+63W_{0}).\)
  • (b) \(\sum\limits_{k=1}^{n}k(-1)^{k}W_{-2k}=\frac{1}{36}(\left( -1\right) ^{n}((6n+7)W_{-2n+2}-(6n-5)W_{-2n+1}-36(n+2)W_{-2n}-7(6n+13)W_{-2n-1})+13W_{3}-33W_{2}-44W_{1}+7W_{0}). \)
  • (c) \(\sum\limits_{k=1}^{n}k(-1)^{k}W_{-2k+1}=\frac{1}{36}(\left( -1\right) ^{n}((6n+19)W_{-2n+2}-3(6n+17)W_{-2n+1}-4(3n+14)W_{-2n}+7(6n+7)W_{-2n-1})-7W_{3}-5W_{2}+72W_{1}+91W_{0}). \)

From the last proposition, we have the following corollary which gives linear sum formulas of 4-primes numbers (take \(W_{n}=G_{n}\) with \( G_{0}=0,G_{1}=0,G_{2}=1,G_{3}=2\)).

Corollary 38. For \(n\geq 1,\) 4-primes numbers have the following properties:

  • (a) \(\sum\limits_{k=1}^{n}k(-1)^{k}G_{-k}=\frac{1}{4}( \left( -1\right) ^{n}((2n+11)G_{-n+3}-(6n+35) G_{-n+2}+8G_{-n+1}-(10n+63)G_{-n})+13).\)
  • (b) \(\sum\limits_{k=1}^{n}k(-1)^{k}G_{-2k}=\frac{1}{36}(\left( -1\right) ^{n}((6n+7)G_{-2n+2}-(6n-5)G_{-2n+1}-36(n+2)G_{-2n}-7(6n+13)G_{-2n-1})-7).\)
  • (c) \(\sum\limits_{k=1}^{n}k(-1)^{k}G_{-2k+1}=\frac{1}{36}(\left( -1\right) ^{n}((6n+19)G_{-2n+2}-3(6n+17)G_{-2n+1}-4(3n+14)G_{-2n}+7(6n+7)G_{-2n-1})-19). \)

Taking \(G_{n}=H_{n}\) with \(H_{0}=4,H_{1}=2,H_{2}=10,H_{3}=41\) in the last proposition, we have the following corollary which presents linear sum formulas of Lucas 4-primes numbers.

Corollary 39. For \(n\geq 1,\) Lucas 4-primes numbers have the following properties:

  • (a) \(\sum\limits_{k=1}^{n}k(-1)^{k}H_{-k}=\frac{1}{4}( \left( -1\right) ^{n}((2n+11)H_{-n+3}-(6n+35) H_{-n+2}+8H_{-n+1}-(10n+63)H_{-n})+135).\)
  • (b) \(\sum\limits_{k=1}^{n}k(-1)^{k}H_{-2k}=\frac{1}{36}(\left( -1\right) ^{n}((6n+7)H_{-2n+2}-(6n-5)H_{-2n+1}-36(n+2)H_{-2n}-7(6n+13)H_{-2n-1})+143).\)
  • (c) \(\sum\limits_{k=1}^{n}k(-1)^{k}H_{-2k+1}=\frac{1}{36}(\left( -1\right) ^{n}((6n+19)H_{-2n+2}-3(6n+17)H_{-2n+1}-4(3n+14)H_{-2n}+7(6n+7)H_{-2n-1})+171). \)

From the last proposition, we have the following corollary which gives linear sum formulas of modified 4-primes numbers (take \(H_{n}=E_{n}\) with \( E_{0}=0,E_{1}=0,E_{2}=1,E_{3}=1\)).

Corollary 40. For \(n\geq 1,\) modified 4-primes numbers have the following properties:

  • (a) \(\sum\limits_{k=1}^{n}k(-1)^{k}E_{-k}=\frac{1}{4}( \left( -1\right) ^{n}((2n+11)E_{-n+3}-(6n+35) E_{-n+2}+8E_{-n+1}-(10n+63)E_{-n})+24).\)
  • (b) \(\sum\limits_{k=1}^{n}k(-1)^{k}E_{-2k}=\frac{1}{36}(\left( -1\right) ^{n}((6n+7)E_{-2n+2}-(6n-5)E_{-2n+1}-36(n+2)E_{-2n}-7(6n+13)E_{-2n-1})-20).\)
  • (c) \(\sum\limits_{k=1}^{n}k(-1)^{k}E_{-2k+1}=\frac{1}{36}(\left( -1\right) ^{n}((6n+19)E_{-2n+2}-3(6n+17)E_{-2n+1}-4(3n+14)E_{-2n}+7(6n+7)E_{-2n-1})-12). \)

5.3. The case \(x=i\)

In this subsection, we consider the special case \(x=i\). Taking \(r=s=t=u=1\) in Theorem 6, we obtain the following proposition.

Proposition 8. If \(r=s=t=u=1\) then for \(n\geq 1\) we have the following formulas:

  • (a) \(\sum\limits_{k=1}^{n}ki^{k}W_{-k}=i^{n}(i(n-(5+2i))W_{-n+3}+ (-1-i)(n-(\frac{9}{2}+\frac{5}{2} i))W_{-n+2}+(1-2i)(n-(4+2i))W_{-n+1}+2(n-(3+i))W_{-n})-(2-5i) W_{3}-(2+7i)W_{2}+(8-6i)W_{1}+(6+2i)W_{0}.\)
  • (b) \(\sum\limits_{k=1}^{n}ki^{k}W_{-2k}=\frac{1}{9+40i}(i^{n}((13-6i)(n-( \frac{8}{41}+\frac{10}{41}i))W_{-2n+2}+(-14-3i)(n-(\frac{81}{205}-\frac{32}{ 205}i))W_{-2n+1}\)

    \(+(-6+28i)(n+(\frac{83}{205}-\frac{91}{205}i)) W_{-2n}+(-9+i)(n-(\frac{57}{82}-\frac{21}{82}i))W_{-2n-1})-(6-3i) W_{3}+(10-i)W_{2}-2iW_{1}-(4+17i)W_{0}).\)

  • (c) \(\sum\limits_{k=1}^{n}ki^{k}W_{-2k+1}=\frac{1}{9+40i}(i^{n}((-1-9i)(n+( \frac{25}{82}+\frac{21}{82}i))W_{-2n+2}\)

    \(+(7+22i)W_{-2n+1}(n+(\frac{306}{533}- \frac{48}{533}i))+(4-5i)(n+(\frac{33}{41}-\frac{10}{41}i))W_{-2n}+(13-6i)(n-( \frac{8}{41}+\frac{10}{41}i))W_{-2n-1} )+(4+2i) W_{3}-(6-i)W_{2}-(10+14i)W_{1}-(6-3i)W_{0}).\)

From the above proposition, we have the following corollary which gives linear sum formulas of Tetranacci numbers (take \(W_{n}=M_{n}\) with \( M_{0}=0,M_{1}=1,M_{2}=1,M_{3}=2\)).

Corollary 41. For \(n\geq 1,\) Tetranacci numbers have the following properties.

  • (a) \(\sum\limits_{k=1}^{n}ki^{k}M_{-k}=i^{n}(i(n-(5+2i))M_{-n+3}+ (-1-i)(n-(\frac{9}{2}+\frac{5}{2} i))M_{-n+2}+(1-2i)(n-(4+2i))M_{-n+1}+2(n-(3+i))M_{-n})+(2-3i).\)
  • (b) \(\sum\limits_{k=1}^{n}ki^{k}M_{-2k}=\frac{1}{9+40i}(i^{n}((13-6i)(n-( \frac{8}{41}+\frac{10}{41}i))M_{-2n+2}+(-14-3i)(n-(\frac{81}{205}-\frac{32}{ 205}i))M_{-2n+1}+(-6+28i)(n+(\frac{83}{205}-\frac{91}{205}i)) M_{-2n}+(-9+i)(n-(\frac{57}{82}-\frac{21}{82}i))M_{-2n-1})+(-2+3i)).\)
  • (c) \(\sum\limits_{k=1}^{n}ki^{k}M_{-2k+1}=\frac{1}{9+40i}(i^{n}((-1-9i)(n+( \frac{25}{82}+\frac{21}{82}i))M_{-2n+2}+(7+22i)M_{-2n+1}(n+(\frac{306}{533}- \frac{48}{533}i))+(4-5i)(n+(\frac{33}{41}-\frac{10}{41}i))M_{-2n}+(13-6i)(n-( \frac{8}{41}+\frac{10}{41}i))M_{-2n-1} )+(-8-9i)).\)

Taking \(W_{n}=R_{n}\) with \(R_{0}=4,R_{1}=1,R_{2}=3,R_{3}=7\) in the above proposition, we have the following corollary which presents linear sum formulas of Tetranacci-Lucas numbers.

Corollary 42. For \(n\geq 1,\) Tetranacci-Lucas numbers have the following properties.

  • (a) \(\sum\limits_{k=1}^{n}ki^{k}R_{-k}=i^{n}(i(n-(5+2i))R_{-n+3}+ (-1-i)(n-(\frac{9}{2}+\frac{5}{2} i))R_{-n+2}+(1-2i)(n-(4+2i))R_{-n+1}+2(n-(3+i))R_{-n})+(12+16i).\)
  • (b) \(\sum\limits_{k=1}^{n}ki^{k}R_{-2k}=\frac{1}{9+40i}(i^{n}((13-6i)(n-( \frac{8}{41}+\frac{10}{41}i))R_{-2n+2}+(-14-3i)(n-(\frac{81}{205}-\frac{32}{ 205}i))R_{-2n+1}+(-6+28i)(n+(\frac{83}{205}-\frac{91}{205}i)) R_{-2n}+(-9+i)(n-(\frac{57}{82}-\frac{21}{82}i))R_{-2n-1})+(-28-52i)).\)
  • (c) \(\sum\limits_{k=1}^{n}ki^{k}R_{-2k+1}=\frac{1}{9+40i}(i^{n}((-1-9i)(n+( \frac{25}{82}+\frac{21}{82}i))R_{-2n+2}+(7+22i)R_{-2n+1}(n+(\frac{306}{533}- \frac{48}{533}i))+(4-5i)(n+(\frac{33}{41}-\frac{10}{41}i))R_{-2n}+(13-6i)(n-( \frac{8}{41}+\frac{10}{41}i))R_{-2n-1} )+(-24+15i)).\)

Corresponding sums of the other fourth order generalized Tetranacci numbers can be calculated similarly.

Author Contributions:

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Conflicts of Interest:

The authors declare no conflict of interest.

References

  1. S Hathiwala, G., & V Shah, D. (2019). Binet-type formula for the sequence of Tetranacci numbers by alternate methods. Mathematical Journal of Interdisciplinary Sciences, 6(1), 37-48. [Google Scholor]
  2. Melham, R. S. (1999). Some analogs of the identity \(F_{n}^{2}+F_{n+1}^{2}=F_{2n+1}^{2}\). The Fibonacci Quarterly, 37(4), 305-311. [Google Scholor]
  3. Natividad, L. R. (2013). On solving Fibonacci-like sequences of fourth, fifth and sixth order. International Journal of Mathematics and Computing, 3(2), 38-40. [Google Scholor]
  4. Singh, B., Bhadouria, P., Sikhwal, O., & Sisodiya, K. (2014). A formula for Tetranacci-like sequence. General Mathematics Notes, 20(2), 136-141. [Google Scholor]
  5. Soykan, Y. (2021). Properties of Generalized \((r,s,t,u)\)-Numbers. Earthline Journal of Mathematical Sciences, 5(2), 297-327. [Google Scholor]
  6. Waddill, M. E. (1992). The Tetranacci sequence and generalizations. The Fibonacci Quarterly, 30(1), 9-20.[Google Scholor]
  7. Sloane, N. J. A. (2003). The On-Line Encyclopedia of Integer Sequences. Notices of the AMS, 50(8), 912-915. [Google Scholor]
  8. Soykan, Y. (2019). Gaussian generalized Tetranacci numbers. Journal of Advances in Mathematics and Computer Science, 31(3), 1-21. [Google Scholor]
  9. Soykan, Y. (2019). A study of generalized fourth-order Pell sequences. Journal of Scientific Research and Reports, 25(1-2), 1-18. [Google Scholor]
  10. Soykan, Y., & Polatli, E. E. (2022). A study on generalized fourth-order jacobsthal sequences. International Journal of Advances in Applied Mathematics and Mechanics, 9(4), 34-50. [Google Scholor]
  11. Soykan, Y. (2020). On generalized 4-primes numbers. International Journal of Advances in Applied Mathematics and Mechanics, 7(4), 20-33. [Google Scholor]
  12. Akbulak, M., & Öteles, A. (2014). On the sum of Pell and Jacobsthal numbers by matrix method. Bulletin of the Iranian Mathematical Society, 40(4), 1017-1025. [Google Scholor]
  13. Gökbas, H., & Köse, H. (2017). Some sum formulas for products of Pell and Pell-Lucas numbers. International Journal of Advances in Applied Mathematics and Mechanics, 4(4), 1-4. [Google Scholor]
  14. Koshy, T. (2019). Fibonacci and Lucas Numbers with Applications. A Wiley-Interscience Publication, New York. [Google Scholor]
  15. Koshy, T. (2014). Pell and Pell-Lucas Numbers with Applications (Vol. 431). New York: Springer. [Google Scholor]
  16. Öteles, A., & Akbulak, M. (2016). A note on generalized \(k\)-pell numbers and their determinantal representation. Journal of Analysis and Number Theory, 4(2), 153-158. [Google Scholor]
  17. Hansen, R. T. (1978). General identities for linear Fibonacci and Lucas summations. The Fibonacci Quarterly, 16(2), 121-28. [Google Scholor]
  18. Soykan, Y. (2019). On summing formulas for generalized Fibonacci and Gaussian generalized Fibonacci numbers. Advances in Research, 20(2), 1-15. [Google Scholor]
  19. Soykan, Y. (2020). Corrigendum: On Summing Formulas for Generalized Fibonacci and Gaussian Generalized Fibonacci Numbers. Advances in Research, 21(10), 66-82. [Google Scholor]
  20. Soykan, Y. (2020). On summing formulas for Horadam numbers. Asian Journal of Advanced Research and Reports, 8(1), 45-61. [Google Scholor]
  21. Soykan, Y. (2020). Generalized fibonacci numbers: Sum formulas. Journal of Advances in Mathematics and Computer Science, 35(1), 89-104. [Google Scholor]
  22. Soykan, Y. (2020). Generalized Tribonacci numbers: summing formulas. International Journal of Advances in Applied Mathematics and Mechanics, 7(3), 57-76. [Google Scholor]
  23. Soykan, Y. (2020). On sum formulas for generalized Tribonacci sequence. Journal of Scientific Research & Reports, 26(7), 27-52. [Google Scholor]
  24. Cook, C. K., & Bacon, M. R. (2013, January). Some identities for Jacobsthal and Jacobsthal-Lucas numbers satisfying higher order recurrence relations. Annales Mathematicae et Informaticae, 41, 27-39. [Google Scholor]
  25. Frontczak, R. (2018). Sums of tribonacci and tribonacci-lucas numbers. International Journal of Mathematical Analysis, 12(1), 19-24. [Google Scholor]
  26. Parpar, T. (2011). k’ncı Mertebeden Rekürans Bagıntısının Özellikleri ve Bazı Uygulamaları, Selçuk Üniversitesi. Fen Bilimleri Enstitüsü, Yüksek Lisans Tezi.[Google Scholor]
  27. Soykan, Y. (2020). Summing formulas for generalized Tribonacci numbers. Universal Journal of Mathematics and Applications, 3(1), 1-11. [Google Scholor]
  28. Soykan, Y. (2019). Summation formulas for generalized Tetranacci numbers. Asian Journal of Advanced Research and Reports, 7(2), 1-12. [Google Scholor]
  29. Soykan, Y. (2018). Matrix sequences of tribonacci and tribonacci-Lucas numbers. Communications in Mathematics and Applications, 11(2), 281-295. [Google Scholor]
  30. Soykan, Y. (2019). Sum formulas for generalized fifth-order linear recurrence sequences. Journal of Advances in Mathematics and Computer Science, 34(5), 1-14. [Google Scholor]
  31. Soykan, Y. (2019). On generalized Pentanacci and Gaussian generalized Pentanacci numbers. Journal of Advanced in Mathematics and Computer Science, 33(3), 1-14. [Google Scholor]
  32. Soykan, Y. (2019). On summing formulas of generalized Hexanacci and Gaussian generalized Hexanacci numbers. Asian Research Journal of Mathematics, 14(4), 1-14. [Google Scholor]
  33. Soykan, Y. (2020). A study on sum formulas of generalized sixth-order linear recurrence sequences. Asian Journal of Advanced Research and Reports, 14(2), 36-48. [Google Scholor]
  34. Soykan, Y. (2021). Sum Formulas For Generalized Tetranacci Numbers: Closed Forms of the Sum Formulas \(\sum\limits_{k=0}^{n}x^{k}W_{k}\) and \(\sum\limits_{k=1}^{n}x^{k}W_{-k}\), Journal of Progressive Research in Mathematics, 18(1), 24-47. [Google Scholor]