{"entities":{"Q1905896":{"pageid":1916638,"ns":120,"title":"Item:Q1905896","lastrevid":71761299,"modified":"2026-04-14T00:22:15Z","type":"item","id":"Q1905896","labels":{"en":{"language":"en","value":"Invertibly convergent infinite products of matrices, with applications to difference equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 836496"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905896$D00BB8C0-38B8-449D-9EDD-23180E4C8D00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f98880485aae8f057e88ef12afc5eede327eb870","datavalue":{"value":{"text":"Invertibly convergent infinite products of matrices, with applications to difference equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1905896$29ED84E4-4693-429E-9566-553649FFD92A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"abedb0666529f42cdaa585e3bea4c43bba9c4716","datavalue":{"value":"0846.40002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905896$B3767315-ACE2-4108-977D-B46C390DFA7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0085196bc4aa5c98aa2ff362a439534c1a09eb57","datavalue":{"value":"10.1016/0898-1221(95)00162-R","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905896$730A2D62-473C-4956-A8EE-2701FAD34A27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5160697a65401c5edab18d5dbf62ca408f40771a","datavalue":{"value":{"entity-type":"item","numeric-id":182270,"id":"Q182270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905896$08320DA1-D121-4750-A32B-62CC1BACDCC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"263e9b17522668129d7ac5e5b0ec8ae0a2ff1a09","datavalue":{"value":{"time":"+1996-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1905896$B592FA76-35A7-41DA-84D3-128BAB0302BC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"37df0add1d4c002db216e9b74df237648947e9c5","datavalue":{"value":"Definition 1. If \\(\\{B_j\\}\\) are \\(k\\times k\\) matrices, we define  \\[ \\prod^s_{m=r} B_j= \\begin{cases} B_s B_{s-1} \\dots B_r &\\text{if } r\\leq s,\\\\ I &\\text{if } r>s, \\end{cases} \\]  thus, successive terms multiply on the left.    Definition 2. An infinite product \\(\\prod^\\infty_{m=1} B_m\\) of \\(k\\times k\\) matrices converges invertibly if there is an integer \\(N\\) such that \\(B_m\\) is invertible for \\(m\\geq N\\) and  \\[ Q= \\lim_{n\\to \\infty} \\prod^n_{m=N} B_m \\]  exists and is invertible.    In this paper the author has proved the following theorems:    Theorem 1. The infinite product \\(\\prod^\\infty_{m=1} (I+ A_m)\\) converges invertibly if and only if, for some integer \\(N\\geq 1\\), the difference equation \\(X_{n+1}= (I+ A_n) X_n\\), \\(n\\geq N\\), has a solution \\(\\{X_n \\}^\\infty_{n=N}\\) such that \\(\\lim_{n\\to \\infty} X_n =I\\). In this case  \\[ P_n= X_{n+1} X_N^{-1} \\prod^{N- 1}_{m= 1} (I+ A_m) \\qquad \\text{and} \\qquad P= X_N^{-1} \\prod^{N-1}_{m=1} (I+ A_m). \\]  Theorem 2. Suppose that \\(\\sum^\\infty A_m\\) converges,  \\[ G_n= \\sum^\\infty_{m =n} A_m= O(\\rho_n) \\qquad \\text{and} \\qquad \\sum^\\infty |G_{m+1} A_m |< \\infty. \\]  Let \\(H_n= \\sum^\\infty_{m=n} G_{m+1} A_m= O(\\sigma_n)\\), and define \\(\\Phi_n= \\max (\\rho_n, \\sigma_n)\\).    Then \\(P= \\prod^\\infty_{m=1} (I+A_m)\\) converges invertibly, and \\(P_n= P+ O(\\Phi_{n+1})\\).    Theorem 3. Let \\(\\{B_m \\}^\\infty_{m=1}\\) be a sequence of \\(k\\times k\\) matrices and \\(\\{b_m\\}^\\infty_{m=1}\\) a sequence of non-negative numbers such that  \\[ \\biggl|\\sum^n_{j=1} B_j\\biggr|\\leq b_n, \\quad n \\geq 1, \\qquad \\text{and} \\qquad \\limsup_{m\\to \\infty} |B_m |< \\infty. \\]  Let \\(\\{C_m \\}^\\infty_{m=1}\\) be a sequence of \\(k\\times k\\) matrices such that \\(\\lim_{n\\to \\infty} b_m |C_m|=0\\) and \\( \\sum^\\infty b_m |C_m- C_{m+1} |< \\infty\\). Define \\(\\nu_n= b_{n-1} |C_n|+ \\sum^\\infty_{m=n} b_m |C_m- C_{m+1} |\\), where \\(b_0 =0\\). Suppose that \\(\\sum^\\infty \\nu_{m+1} |C_m|<\\infty\\). Then the infinite products  \\[ P= \\prod^\\infty_{m=1} (I+ B_m C_m) \\qquad \\text{and} \\qquad \\widehat {P}= \\prod^\\infty_{m=1} (I+ C_m B_m) \\]  converge invertibly, and  \\[ \\prod^n_{m=1} (I+ B_m C_m)= P+ O(\\Phi_{n+1})\\qquad \\text{and} \\qquad \\prod^n_{m=1} (I+ C_m B_m)= \\widehat {P}+ O (\\Phi_{n+1}), \\]  where  \\[ \\Phi_n= \\max \\Biggl( \\nu_n, \\sum^\\infty_{m=n} \\nu_{m+1} |C_m|\\Biggr). \\]  Theorem 1 indicates the connection between invertible convergence of an infinite product of square matrices and the asymptotic properties of solutions of a linear system of difference equations. Theorem 2 is an extension of a result of \\textit{A. Trgo} [Monodromy matrix for linear difference operators with almost constant coefficients, J. Math. Anal. Appl. 194, No. 3, 697-719 (1995)]. Theorem 3 is a new result.    In this paper a standard definition of convergence of an infinite product of scalars is extended to the infinite product of square matrices.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905896$83CA384D-815F-459B-9E01-F98877B0D5E6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"42061a9207d0ba233d325984c728d7c5544f86f3","datavalue":{"value":{"entity-type":"item","numeric-id":455410,"id":"Q455410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905896$11F8F8B2-174D-4763-832C-D58E2D33F9BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cbddad66af6ba3385f37585ee30c275884446062","datavalue":{"value":"40A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905896$7145668B-B2C4-4527-96E8-CEEF26094205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25f922681f42c942d6ee32154d152600266c40ca","datavalue":{"value":"39A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905896$A40D0B4D-E6EC-4D8D-B6CB-1B72B4C03CDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f502b962101963307d6f6e38f1c0d75ebbcadd4","datavalue":{"value":"836496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905896$02A5D43D-9B93-4CB5-B03C-7FA39267E15D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63f75d418c6568ad1ebad624da84f2b623fcfbff","datavalue":{"value":"matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905896$009FB4BF-25D1-4F4F-968E-846529183DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d70bf65baffe856e5fe3396c646a112c81e9582","datavalue":{"value":"infinite product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905896$20009C90-00C8-4352-8ED0-651643C931E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cecb70334d895c8e5a143c6e64b0f2a656c4095","datavalue":{"value":"difference equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905896$027EAC05-25DC-46B3-993C-58F389863780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c276bff7623737c1f18e2e3ab998195d8a6b50d","datavalue":{"value":"invertible convergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905896$DB241FFB-10B0-43EE-85DB-EEC462D2C7E0","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905896$FB90D8C3-EA20-4224-A2E3-4883D9491BD9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"815482acab4c87154047320aa710cb71116b4c6b","datavalue":{"value":{"entity-type":"item","numeric-id":1910847,"id":"Q1910847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905896$876569F1-D5E2-45A2-BC23-2CC8F880C6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3421637e6f291a9ace63e3a050232dde0052411b","datavalue":{"value":{"entity-type":"item","numeric-id":3729325,"id":"Q3729325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905896$BDCD1288-0219-466F-993B-03D4EF37AB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7ae2bafa8d408c05b0cb4137c5fd6649a4e9e9","datavalue":{"value":{"entity-type":"item","numeric-id":5825911,"id":"Q5825911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905896$06937757-40BE-4822-A0B1-11704F8AD368","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"293935db3834ff8b5d542ae1771b7c6cb66baa38","datavalue":{"value":{"entity-type":"item","numeric-id":85551,"id":"Q85551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905896$377E22F1-9BB4-4A01-9181-96CAC7B8C670","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9b5eb967267452029c85d7eb48e2d03b1bddaf","datavalue":{"value":{"entity-type":"item","numeric-id":1300813,"id":"Q1300813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f268e07e812a64d926b15129a3355eb76b0ebec8","datavalue":{"value":{"amount":"+0.94538033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1905896$CDE35469-FAF3-464A-9A5F-16BDB7DC991C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59e3ff3530c6bb3da16d26a4bb5c633b72a326e5","datavalue":{"value":{"entity-type":"item","numeric-id":642714,"id":"Q642714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d68e8251bb894caee44b99be33fa2cd9ceb8ff6","datavalue":{"value":{"amount":"+0.93858427","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1905896$57FB3AAC-8D42-4557-BFFD-F56D67550994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cccae47c8eb5d3e46023548d1ad1ef8a15485801","datavalue":{"value":{"entity-type":"item","numeric-id":1075405,"id":"Q1075405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48d885686379c945890ac76e8995924238fc9f95","datavalue":{"value":{"amount":"+0.91974306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1905896$A7079BDE-9529-4437-B5BF-012B447EAFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37012d61478295bf36ffd09f6a7405605b39d1d4","datavalue":{"value":{"entity-type":"item","numeric-id":4510691,"id":"Q4510691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bc649e3d40740050b1be1114c0c7c709a327fdb","datavalue":{"value":{"amount":"+0.91286945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1905896$4C163637-6D0F-435F-8C24-17C9CBDCEAAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b5e75137f78accb36d95af5f04a0dc10a9e4a6","datavalue":{"value":{"entity-type":"item","numeric-id":4650956,"id":"Q4650956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45b9d4fc5f11853ccbe6698dae61af560c5f51b3","datavalue":{"value":{"amount":"+0.9100169","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1905896$FD7D52C3-B4C3-4B16-ACBD-9BDAC4B203BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"908835f820ea6e9a47a929127b3fbbf3032aec30","datavalue":{"value":{"entity-type":"item","numeric-id":1920166,"id":"Q1920166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71017d6dc9afe660bc6754165621e54de5870a8f","datavalue":{"value":{"amount":"+0.9052801","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1905896$4B525F4D-4F1F-499B-96AC-B2690EE9E99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7be062ba8f7bae3ccb357ec924f70bb93dc3105","datavalue":{"value":{"entity-type":"item","numeric-id":3127452,"id":"Q3127452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eda5694115ba7a87c8ad6ce38922c774ce032768","datavalue":{"value":{"amount":"+0.90351707","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1905896$98137EEE-55B3-4E6E-90C7-AF9A5C822678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33a2284bbbe3163db4d2e9903ab8e4b969475bd1","datavalue":{"value":{"entity-type":"item","numeric-id":4781876,"id":"Q4781876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34a614d2c5b9c60770dea48eb5cfa153552874e3","datavalue":{"value":{"amount":"+0.90272886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1905896$D8958C5B-0182-4A2A-889F-8373FE34DAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23faf8189f94a89d39088478cfffb3531de0eb42","datavalue":{"value":{"entity-type":"item","numeric-id":1727306,"id":"Q1727306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbbee8d70dd564e807c5633e53c0fd833de24284","datavalue":{"value":{"amount":"+0.90160173","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1905896$855F3DD5-6347-4422-9E1F-6DE698B8724B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"066ed04702e10b8ff3384b2dcf51ca5a2c72571e","datavalue":{"value":{"entity-type":"item","numeric-id":1908948,"id":"Q1908948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9995e4f0c66cfeaf975591cf9352898785c2ef1d","datavalue":{"value":{"amount":"+0.90143555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1905896$0C629215-0679-4232-BD04-9B48421BEAB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Invertibly convergent infinite products of matrices, with applications to difference equations","badges":[]}}}}}