{"entities":{"Q1593663":{"pageid":1604403,"ns":120,"title":"Item:Q1593663","lastrevid":72280356,"modified":"2026-04-14T03:50:45Z","type":"item","id":"Q1593663","labels":{"en":{"language":"en","value":"Complementarity forms of theorems of Lyapunov and Stein, and related results"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1556777"}},"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":"Q1593663$A2146C83-A459-4B0A-B4CD-563A19A08F2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2faca0226c23dfba62aa2f719a65ca70d8b7abbe","datavalue":{"value":{"text":"Complementarity forms of theorems of Lyapunov and Stein, and related results","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1593663$371CCC30-9F11-4D79-B92B-23B16C754EA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5007c0fc26e90757ff1940160d81d95c935ab226","datavalue":{"value":"0965.15019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1593663$CA0E2EFF-AFEB-44A0-888C-36D17D97DAA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49cb5caf41ff0c6f304d8ff5558492c58245a2b4","datavalue":{"value":"10.1016/S0024-3795(00)00208-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1593663$88A5F7B9-9EFA-4B6B-A9FA-D1984A5C5669","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7c20fcb13f8e018b44edf7b9facf536bc4d8912","datavalue":{"value":{"entity-type":"item","numeric-id":248045,"id":"Q248045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1593663$9E68B543-4F81-4BCB-9E33-F294013A29CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54d9a329c8852c6ea246665295154b4db080c8e4","datavalue":{"value":{"entity-type":"item","numeric-id":6482534,"id":"Q6482534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1593663$78BA7395-3799-4F40-B774-11419FAAC752","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8de031de05325b44570d0c47c3ec8813873d565c","datavalue":{"value":{"entity-type":"item","numeric-id":92813,"id":"Q92813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1593663$146E6362-9F38-4A06-922C-8410473A175A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"21322b4cee4b692416038f019edfba12057d18cd","datavalue":{"value":{"time":"+2001-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1593663$05D465E7-250A-44A6-9746-DF143EB7C984","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"675cc4312c92b1bdd0500f99bd276cdd9ec08209","datavalue":{"value":"A theorem due to Lyapunov says that if \\(A\\) is a complex square matrix and if \\(K\\) is positive definite, then \\(A\\) is positive stable (i.e. all its eigenvalues lie in the open right half-plane) if and only if there exists a Hermitian positive definite matrix \\(X\\) such that \\(XA+A^*X=K\\). The paper gives a complementarity form of this theorem: \\(A\\) is positive stable if and only if for each Hermitian matrix \\(Q\\) there exists a Hermitian positive semidefinite matrix \\(X\\) such that \\(AX+XA^*+Q\\) is positive semidefinite and \\(X[AX+XA^*+Q]=0\\).    It is shown in the paper that positive stability of \\(A\\) is equivalent to the so-called \\(P_1\\)-property of the linear transformation \\(L_A(X):=AX+XA^*\\): \\(X\\) Hermitian, \\(XL_A(X)+L_A(X)X\\) negative semidefinite implies \\(X=0\\). (A similar property, called \\(P\\)-property, is known to hold for real matrices \\(A\\).)    Recall Stein's theorem: Let \\(A\\) be a complex square matrix and \\(K\\) a Hermitian positive definite one. Then all eigenvalues of \\(A\\) lie in the open unit disk if and only if there exists a Hermitian positive definite matrix \\(X\\) such that \\(X-AXA^*=K\\). The paper gives the complementarity form of this theorem: \\(A\\) has all its eigenvalues in the open unit disk if and only if for each Hermitian matrix \\(Q\\) there exists a Hermitian positive semidefinite matrix \\(X\\) such that \\(X-AXA^*+Q\\) is positive semidefinite and \\(X[X-AXA^*+Q]=0\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1593663$16B5280C-62E0-46C8-AC50-C287B116B99C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c21603f2a2de72aea22ccf7830ccc0f1291fe832","datavalue":{"value":"15A42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1593663$9D6102D2-7E27-4D95-BB36-AE9BEA7EE9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b06ff2ef9e04b42ff2c5c43e297cd9d734a55887","datavalue":{"value":"15A24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1593663$08A54A82-2987-432C-A43B-49CDDB06EBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"78bd61792d92729e04574cd38c2ab8f5ce258568","datavalue":{"value":"90C33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1593663$9590A187-FBCC-4406-AF95-96CC1BAFBD46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f77ba4c7e2373b2dd47fcc4c2fd13b51dc368deb","datavalue":{"value":"1556777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1593663$820F5C99-C8FD-40C0-A32C-A5CDE1D166D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"310ae2bd384a9c81e863bc974a3fd10fe84f9ab4","datavalue":{"value":"Lyapunov theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1593663$C06C5911-F880-498C-B7FC-EDF1DFB5D659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0894afbf10cb108e04bb64220151a7bc5e3fbc6","datavalue":{"value":"Stein theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1593663$B115016A-506A-488A-8E45-756834292A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcc87a58bb70e121722b10a27173b725bd1ecf9c","datavalue":{"value":"matrix equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1593663$FF17D21E-2896-4641-B542-F4B7733BD7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5b484952cab122b8bc1d0b2f1a483a8e8745ebf","datavalue":{"value":"complementarity form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1593663$3AD7217D-9500-413A-973D-4861AB616D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99a920c57680a8b4d789117fe2ec0d8ab8d41364","datavalue":{"value":"regions including all eigenvalues","type":"string"},"datatype":"string"},"type":"statement","id":"Q1593663$BE05B357-5DFA-4D4D-80D4-404262950F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e42c64c46694f07cc6096d923932e881d1376e4c","datavalue":{"value":"positive stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1593663$253BAE9B-53E6-40C9-8193-A8D7087D9A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09bbf9bc2063beb16badfe39518d36126b117ce8","datavalue":{"value":"Hermitian positive definite matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q1593663$3BD648C2-A11E-4D3F-9182-AEBF39EC9E90","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8028ab158861a7e5377187d60091685be4e11bbf","datavalue":{"value":{"entity-type":"item","numeric-id":281947,"id":"Q281947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1593663$BE9FF5D2-8DE3-40F6-894E-1DF6E00EF28B","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":"Q1593663$3CC92DC4-CAD5-44FD-B78B-1E6835D7D727","rank":"normal"}],"P223":[{"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":"Q1593663$7ACD191D-0E93-47A3-BB64-4AD8C6F4EC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14dfcc44180e410b3262b7ccaf567bcced1afc2a","datavalue":{"value":{"entity-type":"item","numeric-id":4326384,"id":"Q4326384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1593663$53DBBB58-BB14-4270-A95E-FA08645DE78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b572d239e177501853fe3af4ccdea38d598390","datavalue":{"value":{"entity-type":"item","numeric-id":4003375,"id":"Q4003375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1593663$2F7DB7D5-9EAB-46AF-8D70-13B42AFE0063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c790a28a23b5ecff99b272336c89700604ca255","datavalue":{"value":{"entity-type":"item","numeric-id":3254327,"id":"Q3254327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1593663$824C32C1-C152-408C-AAC5-51066CBFE427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9906f12f522b8f0e94ffbfb729631337209e75a","datavalue":{"value":{"entity-type":"item","numeric-id":2524839,"id":"Q2524839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1593663$5B36E449-9B1A-467C-9B55-AFA6DCD9C7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c4f4a81eaee7daa741d3ba0c027992db9a28a43","datavalue":{"value":{"entity-type":"item","numeric-id":4291166,"id":"Q4291166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1593663$F87885F0-1FBF-444F-AA0D-0D77E1EA8AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb161bbe4bd6fa5a5fb32bd207b0019b401e67d1","datavalue":{"value":{"entity-type":"item","numeric-id":811414,"id":"Q811414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1593663$60F3D812-59C1-419B-83E9-A3BBF5DD6555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3f076d6c347421c94147e0bddcaa6a59d55251","datavalue":{"value":{"entity-type":"item","numeric-id":3697157,"id":"Q3697157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1593663$4BBAAD3C-81D3-485A-B08B-1CD90975BA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb72e52c6f716abd508f3f168a29cdf8fe34db3f","datavalue":{"value":{"entity-type":"item","numeric-id":4040931,"id":"Q4040931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1593663$4A75C6F7-7CAB-4A67-A6C7-48D78584DC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857b9eaebe9d453366ec2c1d8ab73dafeef9093c","datavalue":{"value":{"entity-type":"item","numeric-id":5905605,"id":"Q5905605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1593663$B59EB1BB-6D27-485B-9A1C-D52B89820A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabb232d823c5fd7ce32144f902d63284465d8dc","datavalue":{"value":{"entity-type":"item","numeric-id":1218147,"id":"Q1218147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1593663$D57C75F5-2643-4534-9DD6-241699A35B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe1357631ca7acb09bc3df21cd07ca5e33b448f4","datavalue":{"value":{"entity-type":"item","numeric-id":3124038,"id":"Q3124038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1593663$F3945BCA-D529-4452-9013-6ECC1DCA6DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8511fa607b521e99aaa5422b3f490ae65282ac5a","datavalue":{"value":{"entity-type":"item","numeric-id":4143788,"id":"Q4143788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1593663$DBCEC904-245B-4FE4-B474-6D768EC80115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56107150f10fa7c9058e4014759708590e89eab4","datavalue":{"value":{"entity-type":"item","numeric-id":3843633,"id":"Q3843633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1593663$D6B46D2F-E443-45A2-97EA-8D23EA388ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec4d684d8e8678fa88f038f22e20fb1019344d3b","datavalue":{"value":{"entity-type":"item","numeric-id":2527836,"id":"Q2527836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1593663$C0AA7EBD-DFD9-4A79-98CF-1EA2ADC02518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81b8620ce3305c2426a2b659bc6cfd4aad7255be","datavalue":{"value":{"entity-type":"item","numeric-id":4363045,"id":"Q4363045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1593663$E6F6D30A-DE6B-44E5-924B-A1CDDD7CFC14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e98b72160bce448b828ac3f68dec6ea6d1510970","datavalue":{"value":{"entity-type":"item","numeric-id":1757968,"id":"Q1757968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"974f04ee4ba09e10688010cb213d85db4db47ecd","datavalue":{"value":{"amount":"+0.8531675934791565","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":"Q1593663$97EADF9A-1AA7-468A-AB14-0E32E24410A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c43aa83b517eb680b2e7668a3986138a1f765f","datavalue":{"value":{"entity-type":"item","numeric-id":819145,"id":"Q819145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fda30624b508d4ee2d951a4049ad6503aa1c6c70","datavalue":{"value":{"amount":"+0.7828352451324463","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":"Q1593663$D9D99385-B441-4C5D-9848-E97A691C2B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc76da92b38d6ae37d5b6331603db5acb7a4dd33","datavalue":{"value":{"entity-type":"item","numeric-id":1430371,"id":"Q1430371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a58f14e7937950e27cd219cdcc535c37387cafb6","datavalue":{"value":{"amount":"+0.7784807682037354","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":"Q1593663$894C2022-B211-4C80-B63F-29041ED488A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dc257d8e1018c01c8b8efbcdec38e8c29cc271d","datavalue":{"value":{"entity-type":"item","numeric-id":996286,"id":"Q996286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2415316f2640df6ea684ea80fa467763203ca42a","datavalue":{"value":{"amount":"+0.7784733772277832","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":"Q1593663$80E102FB-4453-4AAB-99DE-6B1088B7F72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e24b7b1dbe6b01ea482ba046bb393930eeaa9936","datavalue":{"value":{"entity-type":"item","numeric-id":3166858,"id":"Q3166858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1975cb8a40c26f93c2ef40ffc43494e855e93477","datavalue":{"value":{"amount":"+0.771220326423645","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":"Q1593663$20660B02-A7C4-4D85-8F97-B4316A203DAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complementarity forms of theorems of Lyapunov and Stein, and related results","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complementarity_forms_of_theorems_of_Lyapunov_and_Stein,_and_related_results"}}}}}