A083420 a(n) = 2*4^n - 1.

1, 7, 31, 127, 511, 2047, 8191, 32767, 131071, 524287, 2097151, 8388607, 33554431, 134217727, 536870911, 2147483647, 8589934591, 34359738367, 137438953471, 549755813887, 2199023255551, 8796093022207, 35184372088831, 140737488355327, 562949953421311

Offset

0,2

Comments

Sum of divisors of 4^n. - Paul Barry, Oct 13 2005

Subsequence of A000069; A132680(a(n)) = A005408(n). - Reinhard Zumkeller, Aug 26 2007

If x = a(n), y = A000079(n+1) and z = A087289(n), then x^2 + 2*y^2 = z^2. - Vincenzo Librandi, Jun 09 2014

Up to at least a(7) for n > 0, a(n) is the odd factor of the salient numbers A001676(3+4n) when factored into the product of an even and odd number. Several other entries apparently have this sequence embedded in them, e.g., A014551, A168604, A213243, A213246-8, and A279872. - Tom Copeland, Dec 27 2016

To elaborate on Librandi's comment from 2014: all these numbers, even if prime in Z, are sure not to be prime in Z[sqrt(2)], since a(n) can at least be factored as ((2^(2n + 1) - 1) - (2^(2n) - 1)*sqrt(2))((2^(2n + 1) - 1) + (2^(2n) - 1)*sqrt(2)). For example, 7 = (3 - sqrt(2))(3 + sqrt(2)), 31 = (7 - 3*sqrt(2))(7 + 3*sqrt(2)), 127 = (15 - 7*sqrt(2))(15 + 7*sqrt(2)). - Alonso del Arte, Oct 17 2017

Largest odd factors of A147590. - César Aguilera, Jan 07 2020

Links

Vincenzo Librandi, Table of n, a(n) for n = 0..1000

Roudy El Haddad, Recurrent Sums and Partition Identities, arXiv:2101.09089 [math.NT], 2021.

Roudy El Haddad, A generalization of multiple zeta value. Part 1: Recurrent sums. Notes on Number Theory and Discrete Mathematics, 28(2), 2022, 167-199, DOI: 10.7546/nntdm.2022.28.2.167-199.

A. J. Macfarlane, Generating functions for integer sequences defined by the evolution of cellular automata..., Fig 11.

Robert Schneider, Partition zeta functions, Research in Number Theory, 2(1):9, 2016.

Eric Weisstein's World of Mathematics, Rule 220

Index entries for linear recurrences with constant coefficients, signature (5,-4).

Formula

G.f.: (1+2*x)/((1-x)*(1-4*x)).

E.g.f.: 2*exp(4*x)-exp(x).

With a leading zero, this is a(n) = (4^n - 2 + 0^n)/2, the binomial transform of A080925. - Paul Barry, May 19 2003

From Benoit Cloitre, Jun 18 2004: (Start)

a(n) = (-16^n/2)*B(2n, 1/4)/B(2n) where B(n, x) is the n-th Bernoulli polynomial and B(k) = B(k, 0) is the k-th Bernoulli number.

a(n) = 5*a(n-1) - 4*a(n-2).

a(n) = (-4^n/2)*B(2*n, 1/2)/B(2*n). (End)

a(n) = A099393(n) + A020522(n) = A000302(n) + A024036(n). - Reinhard Zumkeller, Feb 07 2006

a(n) = Stirling2(2*(n+1), 2). - Zerinvary Lajos, Dec 06 2006

a(n) = 4*a(n-1) + 3 with n > 0, a(0) = 1. - Vincenzo Librandi, Dec 30 2010

a(n) = A001576(n+1) - 2*A001576(n). - Brad Clardy, Mar 26 2011

a(n) = 6*A002450(n) + 1. - Roderick MacPhee, Jul 06 2012

a(n) = A000203(A000302(n)). - Michel Marcus, Jan 20 2014

a(n) = Sum_{i = 0..n} binomial(2n+2, 2i). - Wesley Ivan Hurt, Mar 14 2015

a(n) = (1/4^n) * Sum_{k = 0..n} binomial(2*n+1,2*k)*9^k. - Peter Bala, Feb 06 2019

a(n) = A147590(n)/A000079(n). - César Aguilera, Jan 07 2020

a(n) = numerator(zeta_star({2}_(n + 1))/zeta(2*n + 2)) where zeta_star is the multiple zeta star values and ({2}_n) represents (2, ..., 2) where the multiplicity of 2 is n. - Roudy El Haddad, Feb 22 2022

Maple

seq(2*4^n-1, n = 0..22); # Peter Luschny, Aug 17 2011

Mathematica

2 * 4^Range[0, 31] - 1 (* Alonso del Arte, Oct 17 2017 *)

Prog

(Magma) [2*4^n-1 : n in [0..30]]; // Wesley Ivan Hurt, Mar 14 2015
(PARI) a(n)=2*4^n-1 \\ Charles R Greathouse IV, Sep 24 2015
(Haskell)
a083420 = subtract 1 . (* 2) . (4 ^)  -- Reinhard Zumkeller, Dec 22 2015

Crossrefs

Cf. A083421, A000668 (primes in this sequence), A004171, A000244.

Cf. A001676, A014551, A168604, A213243, A213246, A213247, A213248, A279872.

Cf. A000302.

Sequence in context: A169785 A255282 A303449 * A277002 A282898 A036282

Adjacent sequences: A083417 A083418 A083419 * A083421 A083422 A083423

Keyword

nonn,easy

Author

Paul Barry, Apr 29 2003

Status

approved