Uendelige matricer med Pascals trekant som elementer
I matematik , især matrixteori og kombinatorik , er en Pascal -matrix en (muligvis uendelig ) matrix, der indeholder de binomiske koefficienter som dets elementer. Det er således en kodning af Pacals trekant i matrixform. Der er tre naturlige måder at opnå dette på: som en lavere trekantet matrix , en øvre trekantet matrix eller en symmetrisk matrix . For eksempel er 5 × 5 matricerne:
Der er andre måder, hvorpå Pascals trekant kan sættes i matrixform, men disse udvides ikke let til uendeligt.
Definition
Ikke-nul-elementerne i en Pascal-matrix er givet af de binomiske koefficienter :
hvor indekserne i , j starter ved 0, og! betegner det faktorielle .
Ejendomme
Matricerne har det glædelige forhold S n = L n U n . Af dette ses let, at alle tre matricer har determinant 1, da determinanten for en trekantet matrix ganske enkelt er produktet af dets diagonale elementer, som alle er 1 for både L n og U n . Med andre ord matricerne S n , L n , og U n er unimodul , med L n og U n har spor n .
Sporet af S n er givet ved
![{\ text {tr}} (S_ {n}) = \ sum _ {i = 1}^{n} {\ frac {[2 (i-1)]!} {[(i-1)!]^ {2}}} = \ sum _ {k = 0}^{n-1} {\ frac {(2k)!} {(K!)^{2}}}](/criselda-https-wikimedia.org/api/rest_v1/media/math/render/svg/807ef023bf273f4d6285d938df8948ab45df0332)
med de første få udtryk givet af sekvensen 1, 3, 9, 29, 99, 351, 1275,… (sekvens A006134 i OEIS ).
Konstruktion
Pascal -matricen kan faktisk konstrueres ved at tage matrixeksponentiel for en særlig subdiagonal eller superdiagonal matrix. Nedenstående eksempel konstruerer en 7 × 7 Pascal -matrix, men metoden fungerer for enhver ønsket n × n Pascal -matrix. Prikkerne i de følgende matricer repræsenterer nulelementer.
![{\ begin {array} {lll} & L_ {7} = \ exp \ venstre (\ venstre [{\ begin {smallmatrix}. &. &. &. &. &. &. \\ 1 &. &. &. &. & . &. &. \\. & 2 &. &. &. &. &. \\. &. & 3 &. &. &. &. \\. &. &. & 4 &. &. . &. & 5 &. &. \\. &. &. &. &. & 6 &. \ End {smallmatrix}} \ højre] \ højre) = \ venstre [{\ begin {smallmatrix} 1 &. &. &. &. &. &. \\ 1 & 1 &. &. &. &. &. \\ 1 & 2 & 1 &. &. &. &. \\ 1 & 3 & 3 & 1 &. &. smallmatrix}} \ right]; \ quad \\\\ & U_ {7} = \ exp \ left (\ left [{\ begin {smallmatrix}. & 1 &. &. &. &. &. \\. &. & 2 &. &. &. &. \\. &. &. &. & 3 &. &. &. \\. &. &. &. & 4 &. &. \\. &. &. &. &. &. & 6 \\. &. &. &. &. &. \ End {smallmatrix}} \ højre] \ højre) = \ venstre [{\ begin {smallmatrix} 1 & 1 & 1 & 1 & 1 & 1 & 1 \\. & 1 & 2 & 3 & 4 & 5 & 6 \\. &. & 1 & 3 & 6 & 10 & 15 \\. &. &. & 1 & 4 & 10 & 20 \\. &. &. &. & 1 & 5 & 15 \\. &. &. &. &. & 1 & 6 \\. &. &. &. &. & 1 \ end {smallmatrix}} \ right]; \\\\\ derfor & S_ {7} = \ exp \ left (\ left [{\ begin {smallmatrix}. &. &. &. &. &. &. \. \ 1 &. &. &. &. &. &. \\. & 2 &. &. &. &. \\. &. & 3 &. &. &. \. &. &. & 4 &. &. \\. &. &. &. & 5 &. &. \\. &. &. &. &. & 6 &. \ End {smallmatrix}} \ højre] \ højre) \ exp \ venstre (\ venstre [{\ begynde {smallmatrix}. & 1 &. &. &. &. &. \\. &. & 2 &. &. &. &. \\. &. &. & 3 &. &. &. \\. &. &. &. & 4 &. &. \\ . &. &. &. &. & 5 &. \\. &. &. &. &. &. & 6 \\. &. &. &. &. &. &. højre) = \ venstre [{\ begin {smallmatrix} 1 & 1 & 1 & 1 & 1 & 1 & 1 \\ 1 & 2 & 3 & 4 & 5 & 6 & 7 \\ 1 & 3 og 6 og 10 og 15 og 21 & 28 \\ 1 og 4 og 10 og 20 og 35 og 56 og 84 \\ 1 & 5 og 15 og 35 og 70 og 126 & 210 \\ 1 og 6 og 21 og 56 og 56](/criselda-https-wikimedia.org/api/rest_v1/media/math/render/svg/82e99eb0250c3ea2302d5649dfad45d19d1d034b)
Det er vigtigt at bemærke, at man ikke blot kan antage exp ( A ) exp ( B ) = exp ( A + B ), for n × n matricer A og B ; denne lighed gælder kun, når AB = BA (dvs. når matricerne A og B pendler ). Ved konstruktionen af symmetriske Pascal-matricer som den ovenfor pendler sub- og superdiagonalmatricerne ikke, så den (måske) fristende forenkling, der involverer tilføjelse af matricerne, kan ikke foretages.
En nyttig egenskab ved de sub- og superdiagonale matricer, der bruges i konstruktionen, er, at begge er nulpotente ; det vil sige, at når de hæves til et tilstrækkeligt højt heltal , degenererer de til nulmatrixen . (Se skiftmatrix for flere detaljer.) Da de n × n generaliserede skiftmatricer, vi bruger, bliver nul, når de hæves til magten n , behøver vi kun at overveje de første n + 1 -termer i den uendelige serie for at opnå en nøjagtigt resultat.
Varianter
Interessante varianter kan opnås ved indlysende modifikation af matrix-logaritmen PL 7 og derefter anvendelse af matrixeksponentialen.
Det første eksempel nedenfor bruger firkanterne for logmatrixens værdier og konstruerer en 7 × 7 "Laguerre"- matrix (eller matrix af koefficienter for Laguerre polynomier
![{\ begin {array} {lll} & LAG_ {7} = \ exp \ venstre (\ venstre [{\ begin {smallmatrix}. &. &. &. &. &. &. \\ 1 &. &. &. &. & . &. &. \\. & 4 &. &. &. &. &. \\. &. & 9 &. &. &. &. \\. &. &. & 16 &. &. . &. & 25 &. &. \\. &. &. &. &. & 36 &. \ End {smallmatrix}} \ højre] \ højre) = \ venstre [{\ begin {smallmatrix} 1 &. &. &. &. &. &. \\ 1 & 1 &. &. &. &. &. \\ 2 & 4 & 1 &. &. &. &. \\ 6 & 18 & 9 & 1 &. &. smallmatrix}} \ right]; \ quad \ end {array}}](/criselda-https-wikimedia.org/api/rest_v1/media/math/render/svg/e04ba5c1436107e3df27418ec52690307031066f)
Laguerre-matrixen bruges faktisk med en anden skalering og/eller ordningen med skiftende tegn. (Litteratur om generaliseringer til højere magter findes ikke endnu)
Det andet eksempel nedenfor bruger produkterne v ( v + 1) af logmatrixens værdier og konstruerer en 7 × 7 "Lah"- matrix (eller matrix med koefficienter for Lah-tal )
![{\ displaystyle {\ begin {array} {lll} & LAH_ {7} = \ exp \ venstre (\ venstre [{\ begin {smallmatrix}. &. &. &. &. &. &. \\ 2 &. &. &. &. &. &. &. \\. & 6 &. &. &. &. &. \\. &. & 12 &. &. &. \\. &. &. & 20 &. &. &. &. & 30 &. &. \\. &. &. &. &. & 42 &. \ End {smallmatrix}} \ højre] \ højre) = \ venstre [{\ begin {smallmatrix} 1 &. &. & . &. &. &. &. \\ 2 & 1 &. &. &. &. &. \\ 6 & 6 & 1 &. &. &. &. \\ 24 & 36 & 12 & 1 &. &. &. &. \\ 120 & 240 & 120 & 20 & 1 &. & . &. \\ 720 & 1800 & 1200 & 300 & 30 & 1 &. &. \\ 5040 & 15120 & 12600 & 4200 & 630 & 42 & 1 &. \\ 40320 & 141120 & 141120 & 58800 & 11760 & 1176 & 56 & 1 \ end {smallmatrix}} \ right]; \ quad \ end {array}}}}](/criselda-https-wikimedia.org/api/rest_v1/media/math/render/svg/a5f5fa329b5cef35f151bd8d7a04c7021bbe48ba)
Brug af v ( v -1) giver i stedet en diagonal skift til nederst til højre.
Det tredje eksempel nedenfor anvender firkanten af den originale PL 7 -matrix, divideret med 2, med andre ord: førsteordens binomialer (binomial ( k , 2)) i den anden subdiagonal og konstruerer en matrix, som forekommer i forbindelse med de derivater og integraler af den gaussiske fejlfunktionen :
![{\ displaystyle {\ begin {array} {lll} & GS_ {7} = \ exp \ venstre (\ venstre [{\ begin {smallmatrix}. &. &. &. &. &. &. \\. &. &. & . &. &. &. &. \\ 1 &. &. &. &. &. &. \\. & 3 &. &. &. &. \\. &. & 6 &. &. \. &. &. & 10 &. &. &. \\. &. &. &. &. 15. . &. &. &. &. \\. & 1 &. &. &. &. &. \\ 1 &. & 1 &. &. &. \\. & 3 &. & 1 &. . & 1 &. &. \\. & 15 &. & 10 &. & 1 &. \\ 15 &. & 45 &. & 15 &. & 1 \ ende {smallmatrix}} \ højre]; \ quad \ end {array}}}](/criselda-https-wikimedia.org/api/rest_v1/media/math/render/svg/1258220d051b41ff146243babe85ae98c066b71d)
Hvis denne matrix er inverteret (f.eks. Ved hjælp af den negative matrix-logaritme), har denne matrix vekslende tegn og giver koefficienterne for derivaterne (og i forlængelse heraf integralerne) for Gauss 'fejlfunktion. (Litteratur om generaliseringer til højere magter findes ikke endnu.)
En anden variant kan opnås ved at udvide den oprindelige matrix til negative værdier :
![{\ displaystyle {\ begin {array} {lll} & \ exp \ venstre (\ venstre [{\ begin {smallmatrix}. &. &. &. &. &. &. &. &. &. &. &. &. \\-5 &. &. &. &. &. &. &. &. &. &. &. \\. &-4 &. &. &. &. &. &. &. &. &. &. \\. &. &-3 &. &. &. &. &. &. &. &. &. \\. &. &. &-2 &. &. &. &. &. &. &. &. \\. &. &. &. &-1 &. &. &. &. &. &. &. \\. &. &. &. &. & 0 &. &. &. &. &. &. . &. &. &. &. &. &. & 1 &. &. &. &. &. \\. &. &. &. &. &. &. & 2 &. &. &. &. . &. &. &. &. &. &. & 3 &. &. &. \\. &. &. &. &. &. &. &. &. &. . &. &. &. &. &. & 5 &. \ End {smallmatrix}} \ højre] \ højre) = \ venstre [{\ begin {smallmatrix} 1 &. &. &. &. &. &. &. &. . &. &. &. \\-5 & 1 &. &. &. &. &. &. &. &. &. \\ 10 & -4 & 1 &. &. &. &. &. &. &. &. &. \\-10 & 6 & -3 & 1 &. &. &. &. &. &. &. \\ 5 & -4 & 3 & -2 & 1 &. &. &. &. &. &. &. \\-1 & 1 & -1 & 1 &-& 1 & 1 &. &. &. &. &. &. \\. &. &. &. &. & 0 & 1 &. &. &. &. \\. &. &. &. &. &. & 1 & 1 &. &. &. &. \\. &. &. &. &. &. &. & 1 & 2 & 1 &. &. \\. &. &. &. &. & 1 & 3 & 3 & 1 &. &. . &. & 1 & 4 & 6 & 4 & 1 &. \\. &. &. &. &. & 1 & 5 & 10 & 10 & 5 & 1 \ ende {smallmatrix}} \ højre]. \ End {array}}}](/criselda-https-wikimedia.org/api/rest_v1/media/math/render/svg/fcc8c5d05a829836beceb789cb8275b2c86b5c2f)
Se også
Referencer
- GS Call og DJ Velleman, "Pascals matricer", American Mathematical Monthly , bind 100, (april 1993) side 372–376
-
Edelman, Alan; Strang, Gilbert (marts 2004), "Pascal Matrices" (PDF) , American Mathematical Monthly , 111 (3): 361–385, doi : 10.2307/4145127 , arkiveret fra originalen (PDF) 2010-07-04
eksterne links