A conjecture based on Somos-4 sequence and its extension (Q414711)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A conjecture based on Somos-4 sequence and its extension
scientific article

    Statements

    A conjecture based on Somos-4 sequence and its extension (English)
    0 references
    11 May 2012
    0 references
    The Somos-\(k\) \((k \geq 4\)) sequence, defined by Michael Somos, is defined by \[ S_nS_{n-k} = \sum_{i=1}^{[k/2]} x_i S_{n-i}S_{n-k+i}, \] where \(x_i\) are given integers and it is denoted by \((x_1,x_2, \dots, x_{[k/2]})\)-Somos-\(k\) sequence. It is proved that for a fixed positive integer \(p\), if \(a_n^{(p)}\) is computed via the following convolution recurrence: \[ a_n^{(p)} = \begin{cases} 0, & \text{ if } n < 0; \\ 1, & \text{ if } n = 0; \\ \alpha_0 a_{n-1}^{(p)} + \beta a_{n-2}^{(p)} + \gamma \sum_{i=0}^{[(n-2)/p]} a_{pi}^{(p)} a_{n-2-pi}^{(p)}, & \text{ if } n = kp + 1, k \geq 0; \\ \alpha_0 a_{n-1}^{(p)} + \gamma \sum_{i=0}^{[(n-2)/p]} a_{pi}^{(p)} a_{n-2-pi}^{(p)}, & \text{ if } n = kp + j, k \geq 0, 2 \leq j \leq p. \end{cases} \] Then we have {\parindent=6mm \begin{itemize}\item[(1)] \(h_n^{(1)}\) is a \((\alpha^2\gamma^2, \gamma^2(\beta + \gamma)^2 - \alpha^2\gamma^3)\)-Somos-4 sequence, \item[(2)] \(h_n^{(2)}\) is a \((\alpha^6\gamma^3 - \alpha^4\gamma^3(\beta + \gamma), \alpha^6\gamma^4(\beta + \gamma)(\beta + 2\gamma) - \alpha^8\gamma^5)\)-Somos-5 sequence, \item[(3)] if \(\beta + \gamma = 0\), then \(h_n^{(p)}\) satisfies the relation \[ h_{n+p+3}^{(p)}h_{n}^{(p)} = (\alpha^p\gamma)^{p+1} h_{n+p+2}^{(p)}h_{n+1}^{(p)} - \frac{(\alpha^p\gamma)^{2p+1}}{\alpha^p} h_{n+p+1}^{(p)}h_{n+2}^{(p)}, \] where \(h_{n}^{(p)} = \det \left ( a^{(p)}_{ip+j} \right )_{0 \leq i, j \leq n-1}.\) \end{itemize}}
    0 references
    Somos sequence
    0 references
    Block-Hankel determinant
    0 references
    Jacobi identity
    0 references
    conjecture
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers