{"entities":{"Q1121344":{"pageid":1132093,"ns":120,"title":"Item:Q1121344","lastrevid":66802599,"modified":"2026-04-12T12:57:55Z","type":"item","id":"Q1121344","labels":{"en":{"language":"en","value":"Explicit solution of Sylvester and Lyapunov equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4103263"}},"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":"Q1121344$175B9624-05FA-491F-ACC3-E4C6F074F50E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a94bd78afafea25d3827b720f6b79e906786af67","datavalue":{"value":{"text":"Explicit solution of Sylvester and Lyapunov equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1121344$CAD57C48-8C73-4B3C-A460-B3099C79678F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9563d4aad99233275c9c1e2bbe1a5d91eded60c","datavalue":{"value":"0674.15006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121344$FEF8F9CC-DB92-4C42-864C-7B0E635B54F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24388a7d6f572798c70cd2bbc3737951236e19c8","datavalue":{"value":"10.1016/0378-4754(89)90163-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121344$EEB7104E-06BB-4AA0-B9EA-EF8958BA3A27","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"682ffaaa57a9a6c995eda9fd368658e7f15570cb","datavalue":{"value":{"entity-type":"item","numeric-id":86161,"id":"Q86161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121344$DBDFD20D-6F1A-4A51-B135-4DB814136028","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1121344$7A5DA0FE-3EE9-41EA-979B-11715FBB450B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"98a0dacabee1a94610d0a758eba7ac2ba51bbb4c","datavalue":{"value":"Consider a Sylvester matrix equation (1) \\(AX+XB=C\\) or a discrete Sylvester equation (2) \\(X+LXB=C\\) where \\(A\\),\\(B\\),\\(C\\),\\(L\\) are constant \\((p\\times p) \\), \\(q\\times q)\\), \\((p\\times q)\\), \\((p\\times p)\\) dimensional matrices and \\(X\\) is the \\((p\\times q)\\) unknown matrix. This paper shows that the exact solution of (1) or (2) can be calculated by the inversion of a \\((\\min(p,q)\\times \\min(p,q))\\) matrix. For a \\((j\\times k)\\) matrix \\(M=(M_1,\\ldots,M_ k)\\), \\(\\text{vec}(M)\\) is defined as  \\[ \\text{vec}(M)=\\left[\\begin{matrix} M_1 \\\\ \\vdots \\\\ M_ k \\end{matrix} \\right]. \\]  Let \\(M\\times N\\) denote the Kronecker product of the matrices \\(M\\) and \\(N\\). The following theorems are the main results of this paper:    Theorem 4: If \\(A\\) and \\(-B\\) have distinct eigenvalues, the solution of (1) is giv en by:  \\[  \\text{vec}(X) = -\\left[\\sum^{q-1}_{i=0} B_ i\\otimes(-A)^ i\\right] \\left[I_ q\\otimes\\left((-A)^ q + \\sum^{q-1}_{i=0} b_ i(-A)^ i\\right) ^{-1}\\right] \\text{vec}(C)  \\]  where the \\(b_ i\\) are the coefficients of the characteristic polynomial of \\(B\\) and: \\(B_{q-1}=I_ 1\\), \\(i\\in \\{0,\\ldots,q-2\\}\\), \\(B_ i=B^ T B_{i+1} + b_{i+1} I_ q\\).   Theorem 6: If the eigenvalues of \\(B\\) are distinct of the inverse of the eigenvalues of \\(L\\), the solution of the discrete Sylvester equation (2) is given by:  \\[  \\text{vec}(X) = -\\left[\\sum^{q-1}_{i=0} (-1)^ i (B_ i\\otimes L^{q-1-i})\\right] \\left[I_ q\\otimes \\left\\{(-I_ p)^ q + \\sum^{q-1}_{i=0} b_ i L^{q-i } (-I_ p)^ i\\right\\}^{-1}\\right] \\text{vec}(C)  \\]  where the \\(b_ i\\) and \\(B_ i\\) are defined in the same manner as in Theorem 4. A numerical example is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121344$95DBA9AE-E93A-4F84-8CFC-6188D0FA0158","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b06ff2ef9e04b42ff2c5c43e297cd9d734a55887","datavalue":{"value":"15A24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121344$73A1090D-0B7E-44E9-8B14-31E080C251A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40ec5c66f16518a0b01d460a716aa1c8d0002630","datavalue":{"value":"4103263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121344$BCF9D41E-0ADB-4F5E-B56C-E0BBB21CBD7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27aaea2001b6d1d61f4f1db7ec43bd3757128329","datavalue":{"value":"Lyapunov equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121344$3C6DC355-9641-4BFE-A970-5EAFFEBE7EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d3c64686f779b069b88b398030d3f40c49bd40b","datavalue":{"value":"Sylvester matrix equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121344$79EB909A-070C-4744-BF20-9EAB64B482C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c89b56b2beab19b6516714270e4ab43421428fd","datavalue":{"value":"Kronecker product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121344$67C90118-265D-4A3C-B638-C951F48052FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37318345779707692012b8c7959755f9c69b2691","datavalue":{"value":"numerical example","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121344$45910911-8ED2-4EEC-ADB8-1E4B6BE547AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba6813ee0d040f80db42f89bd0b5a442ae9e473a","datavalue":{"value":{"entity-type":"item","numeric-id":290868,"id":"Q290868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121344$53BC9DA7-A4B6-46E1-959B-827CC3FFBB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cc825ce0997eaeb5817477482dc6daf9f9da3e7","datavalue":{"value":{"entity-type":"item","numeric-id":217442,"id":"Q217442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121344$461CA031-48E2-4010-851C-A96A22F862ED","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":"Q1121344$EA8F1BE1-91BB-4C56-8E7D-DBA41469DD76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9be036e63b56156e3934e1c207afd795539764d7","datavalue":{"value":"https://doi.org/10.1016/0378-4754(89)90163-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1121344$7433D94F-0412-49FA-8656-A3D96AE51541","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5911ec6196f7600112e97837d6d857d98c8b3eef","datavalue":{"value":"W2069184781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121344$C04B8C1A-B640-46A5-A61C-B1E186C92AE8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b44a1096b1c613d304e3451495b284048f45b42","datavalue":{"value":{"entity-type":"item","numeric-id":5665474,"id":"Q5665474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121344$1DB95DB7-B349-4F86-829D-DC3993E1F805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d8660c7965e33a6de65d2c68226244841c8e6c9","datavalue":{"value":{"entity-type":"item","numeric-id":5358750,"id":"Q5358750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121344$8A48E825-0889-4946-B5CC-8E4153132440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d6d2a71c2c3c6237bd1cc5b983a948f5e90186b","datavalue":{"value":{"entity-type":"item","numeric-id":5737099,"id":"Q5737099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121344$928DFE14-6165-495B-8112-2F05D200344D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a0656c601ccf1e8fa1e7dc96daa55de5cb14bde","datavalue":{"value":{"entity-type":"item","numeric-id":4182617,"id":"Q4182617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121344$DAE761BF-561D-42A9-B502-B11043FC9E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e7ae4e7858e998529f467b3b3dfe61d30384633","datavalue":{"value":{"entity-type":"item","numeric-id":4750793,"id":"Q4750793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121344$5B27399B-1833-4E03-B96D-1D49BE14F704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4526bf1658a412f604b8773b7efd175ed3942f8c","datavalue":{"value":{"entity-type":"item","numeric-id":3854537,"id":"Q3854537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121344$EEE072EE-0E1F-4FF3-8E0B-C48026F55755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae14e746b5c954ce39249d35c99db84e2a3feedb","datavalue":{"value":{"entity-type":"item","numeric-id":5577212,"id":"Q5577212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121344$738F6514-A0F8-43B5-B6D0-F9628E56396D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6479be4f8251c7d8a1ff35f47972d0d363631545","datavalue":{"value":{"entity-type":"item","numeric-id":3789699,"id":"Q3789699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121344$DDBA7953-2696-4EA1-8E94-A668BD84FA60","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d85fc2455a90545102b077dab5b99b725f62d722","datavalue":{"value":{"entity-type":"item","numeric-id":1745740,"id":"Q1745740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3cdcce76f22ab7a546d9fbc69d6d29bf3a969b8","datavalue":{"value":{"amount":"+0.8605517745018005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1121344$68F40F0B-1398-4913-B7C6-B3364E96B08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc72f06905fafe6ed8215f3a66bb1672c9cdcd18","datavalue":{"value":{"entity-type":"item","numeric-id":3317242,"id":"Q3317242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acfe91ccb1ff0064366e58e339727448ee540bc0","datavalue":{"value":{"amount":"+0.8480937480926514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1121344$9847E7A7-0653-4E01-81AE-111F4946D594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d976aa5197021c514d020457a50fc6633d82b495","datavalue":{"value":{"entity-type":"item","numeric-id":4371800,"id":"Q4371800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45c9bfa874e0890bf90ae0168b6a51e678b7499c","datavalue":{"value":{"amount":"+0.8402358293533325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1121344$8D75C084-CA82-4D11-9AFD-47B1F72BC23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1969142b7a9a961603489a3b720bc8d3260a2414","datavalue":{"value":{"entity-type":"item","numeric-id":3415118,"id":"Q3415118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45c9bfa874e0890bf90ae0168b6a51e678b7499c","datavalue":{"value":{"amount":"+0.8402358293533325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1121344$6E91EAE5-A391-4579-8510-98CCA29A5A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab54b2b91e02957753216a67d9b765086a4ba8f","datavalue":{"value":{"entity-type":"item","numeric-id":3984093,"id":"Q3984093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"897a718bc3de7112c5f5427624f7ce7ee9aff5dd","datavalue":{"value":{"amount":"+0.8360286951065063","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1121344$2D5643E3-AD13-4248-AD5B-8F17D0E3DD4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Explicit solution of Sylvester and Lyapunov equations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Explicit_solution_of_Sylvester_and_Lyapunov_equations"}}}}}