login
Number of meaningful differential operations of the n-th order on the space R^(2+n).
2

%I #20 Apr 30 2021 10:55:00

%S 3,6,16,26,84,126,424,610,2068,2936,9816,13884,45608,64750,208336,

%T 297570,938676,1351492,4181752,6071028,18454648,27023598,80796336,

%U 119300636,351331464,522981328,1518742384,2278188504,6531607248,9869753934,27963677600,42547990626

%N Number of meaningful differential operations of the n-th order on the space R^(2+n).

%D R. Bott, L. W. Tu, Differential forms in algebraic topology, New York: Springer, 1982.

%H Branko Malesevic, <a href="http://pefmath2.etf.rs/files/118/869.pdf">Some combinatorial aspects of differential operation composition on the space R^n</a>, Univ. Beograd, Publ. Elektrotehn. Fak., Ser. Mat. 9 (1998), 29-33; arXiv:<a href="https://arxiv.org/abs/0704.0750">0704.0750</a> [math.DG], 2007.

%e a(1) = 3 = A020701(1) is number of meaningful differential operations of the first order on the space R^3, namely {div, grad, curl}.

%e a(2) = 6 = A090989(2) is number of meaningful differential operations of the 2nd order on the space R^4 (some of them are identically zero though).

%e a(3) = 16 = A090990(3) is number of meaningful differential operations of the 3rd order on the space R^5.

%t r[n_] := Table[Boole[j == i + 1 || i + j == n + 1], {i, n}, {j, n}];

%t Table[Total@Total@If[n == 1, IdentityMatrix[3], MatrixPower[r[n+2], n-1]], {n, 10}]

%t (* _Andrey Zabolotskiy_, Apr 30 2021 *)

%Y Main diagonal of A116183.

%Y Cf. A020701, A090989-A090995, A129638, A129639.

%K nonn

%O 1,1

%A _Jonathan Vos Post_, Apr 09 2007, Jun 08 2007

%E Corrected from 8th term onwards. It appears the 8th and 9th terms listed were incorrectly taken from A000045 with two numbers concatenated together, whereas the 8th, 9th and 10th terms should have been the 8th term of A090995, the 9th of A129638 and the 10th of A129639. _Joseph Myers_, Dec 23 2008

%E Name and examples corrected, terms a(11) and beyond added by _Andrey Zabolotskiy_, Apr 30 2021