{"entities":{"Q752338":{"pageid":754187,"ns":120,"title":"Item:Q752338","lastrevid":64144890,"modified":"2026-04-11T17:56:38Z","type":"item","id":"Q752338","labels":{"en":{"language":"en","value":"Sharp conditions for existence of nontrivial invariant cones of nonnegative initial values of difference equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4177752"}},"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":"Q752338$1682A8D8-79C4-4D7D-9D25-7F2B8BB36057","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f161df6ff96f07c87351ddf7de09f3bb5c064f30","datavalue":{"value":{"text":"Sharp conditions for existence of nontrivial invariant cones of nonnegative initial values of difference equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q752338$57909470-CAF0-44E5-B024-1D2AD786F017","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5f5ead3ea7dd1a60bc63f888fbcd46ef4729333","datavalue":{"value":"0715.39001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752338$CD8864B6-4C1E-41D8-BA7E-2413CADD2C71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"285992cc8a744813e85b05e0b18ba830ca20ecf6","datavalue":{"value":"10.1016/0096-3003(90)90014-T","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752338$CF1A458E-D3C7-4F04-9ADA-3BED6DD340E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"add6fb6b993c46c88f8cbd1c0026e2e785c9381d","datavalue":{"value":{"entity-type":"item","numeric-id":70476,"id":"Q70476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752338$BBC00470-E4BE-4812-88C4-1C2D0E238B58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q752338$DD0DF777-6BCC-46DD-B4F6-6B2C93007050","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"16c306a7e7c94996c60a597825e24eee7c2218b4","datavalue":{"value":"Consider the linear homogeneous difference equation of the form (1) \\(\\Delta x(n)+\\sum^{0}_{j=-k}a(j)x(n+j)=0\\) for \\(n\\geq 0\\), where \\(\\Delta x(n)=x(n+1)-x(n),\\) \\(k\\geq 0\\) is an integer, and a(j), -k\\(\\leq j\\leq 0\\), are real numbers, with associated initial conditions (2) \\(x(j)=\\phi (j),\\) \\(j=-k,-k+1,...,0\\), \\(\\phi\\) (j) real. Clearly the initial value problem (1)-(2) has a unique solution \\(\\{x(n)\\}^{\\infty}_{n=k}\\). Denote by \\(\\phi\\) the sequence of initial values \\(\\{\\phi (-k),\\phi (-k+1),...,\\phi (0)\\}\\), and by \\(x_ n(\\phi)\\) the sequence \\(\\{x(n-k),x(n- k+1),...,x(n)\\}\\). Let S be the set of all sequences \\(\\alpha =\\{\\alpha (j)\\}^ 0_{j=-k}\\) with real elements and \\(S_+\\) the subset of S with \\(\\alpha\\) (j)\\(\\in [0,\\infty).\\)    Definitions: (i) The set \\(M\\subset S\\) is called (positively) invariant with respect to equation (1) if, for all \\(\\phi\\in M\\), the sequence \\(x_ n(\\phi)\\subset M\\) for all positive integers n. (ii) The set \\(M_+\\subset S_+\\) is called the maximal invariant set with respect to equation (1) in \\(S_+\\) if, for all invariant sets \\(M\\subset S_+\\), \\(M\\subseteq M_+\\). (iii) The maximal invariant set \\(M_+\\) in \\(S_+\\) is called nontrivial if there exists \\(\\phi \\in M_+\\) such that \\(\\phi\\neq \\{0,0,...,0\\}\\). The principal result is the following:    Theorem. Suppose that a(-k)\\(\\neq 0\\). Then the following statements are equivalent: (a) the maximal invariant set \\(M_+\\) with respect to equation (1) is nontrivial; (b) the characteristic equation \\(\\lambda +\\sum^{0}_{j=-k}a(j)\\lambda^ j=0\\) has a positive root.","type":"string"},"datatype":"string"},"type":"statement","id":"Q752338$C732C2EF-BDB0-44BB-80C4-7F4377E1F8B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25f922681f42c942d6ee32154d152600266c40ca","datavalue":{"value":"39A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752338$43A95703-1847-497F-A51F-C466DB4158FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a5817dafdd01f7ce17b2e17bc3bdad24c850f81","datavalue":{"value":"4177752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752338$141ED3F8-38C3-4425-ADFC-48CBF09ECFD0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fe926c520ce830cfc6f4a090bf21c5946e2706f","datavalue":{"value":"nontrivial invariant cones","type":"string"},"datatype":"string"},"type":"statement","id":"Q752338$E29437DC-63B1-423D-B7F3-6B22340A9F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd4f9251b168147a3a1f87dc82316b6f1068aed8","datavalue":{"value":"linear homogeneous difference equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q752338$2215E589-9B31-4C32-8BD8-F335AC3F275B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1614925f4d0521f31d4386491fb786a66c53edec","datavalue":{"value":"initial value problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q752338$A7F585B4-2B5E-4F51-9693-4D7822417EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"307dbaa927df553b96a16d46d965bbff3d854250","datavalue":{"value":"maximal invariant set","type":"string"},"datatype":"string"},"type":"statement","id":"Q752338$21062216-AADF-4C29-ADBB-DD0302DE1854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66f27936fb38060f1cdf342f54d04d367ca52917","datavalue":{"value":"characteristic equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q752338$1B909FC9-CBB3-4E43-8E15-51CAB6E53ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af37fc08d0f6787bf29b9917a19a42f3c9832143","datavalue":{"value":"positive root","type":"string"},"datatype":"string"},"type":"statement","id":"Q752338$D39EE4DD-89D6-4FD1-87E9-A0B079B0D145","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78121a91ae66f1a25fa929aa2fd81bbd915d388e","datavalue":{"value":{"entity-type":"item","numeric-id":185534,"id":"Q185534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752338$4ACCF8B2-8074-416B-AEAA-3E39999305E8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d268d31c2924eec47c1eed88e4fc85c636097a64","datavalue":{"value":{"entity-type":"item","numeric-id":201719,"id":"Q201719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752338$9E4C83F9-E73C-4E8D-BE50-845388E5EE35","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":"Q752338$D779B5C5-6325-4CC0-96C0-D1A1EDA75701","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79713e1adca8cfabdaeb321bdea3413e0b376e7c","datavalue":{"value":{"entity-type":"item","numeric-id":3767700,"id":"Q3767700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752338$974C5AEC-54CA-4A8D-BA74-91CC51DB839E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d0eb0c26301892f383f19d6affe6e5d46fdb4ec","datavalue":{"value":{"entity-type":"item","numeric-id":1113026,"id":"Q1113026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752338$C25D03A2-9E62-4B7C-BE02-111C2EF921FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9553dbb29dddd0ff8716de5cafc1a6ec2d3fa74f","datavalue":{"value":{"entity-type":"item","numeric-id":5724095,"id":"Q5724095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752338$0F3ABE67-30FF-44CA-8D30-9104CED034AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf619940ea81d9295ea79cceaf318df59b11ebf1","datavalue":{"value":{"entity-type":"item","numeric-id":4039971,"id":"Q4039971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752338$DED03CDB-60A0-4709-910A-6D9D84090B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57490e3d9c023fe8f691493878494cdec7fef374","datavalue":{"value":{"entity-type":"item","numeric-id":3361338,"id":"Q3361338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752338$0E3018BE-D3C6-4D53-B63D-6645A6738EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba8d383d450d05cfa53afe71613cb404575ed3ed","datavalue":{"value":{"entity-type":"item","numeric-id":5719651,"id":"Q5719651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752338$98A5F731-6282-48C3-A865-8C4F5B45F052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1c8ec175f2a0a88816004ac06a44a23125de10c","datavalue":{"value":{"entity-type":"item","numeric-id":3755919,"id":"Q3755919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752338$37728E9A-6DAF-41B9-8D40-F61FE00D0476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd2b38fc94212f99039bfcd1207e14ab851f18e2","datavalue":{"value":{"entity-type":"item","numeric-id":3496571,"id":"Q3496571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752338$5F8D4652-32CA-4359-995A-B96DC235B7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8370ea103abe33139c0fcd176488a2f2df3b9de4","datavalue":{"value":{"entity-type":"item","numeric-id":1085110,"id":"Q1085110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752338$EDAD5F3D-2647-43DF-AA85-33A0E8D85993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc2bb2505dc03e22cb9310904809f4457cb533c","datavalue":{"value":{"entity-type":"item","numeric-id":1228019,"id":"Q1228019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752338$889D95B9-196C-43E2-81CA-20B45460C6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c11529d1d525c12ee911f6a3c904682f2eb22c97","datavalue":{"value":{"entity-type":"item","numeric-id":1088050,"id":"Q1088050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752338$A7BBFFF2-170D-45CF-8257-75A9B28BC349","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8136f84e300d28ac5b592789157bd964f51ed98a","datavalue":{"value":"https://doi.org/10.1016/0096-3003(90)90014-t","type":"string"},"datatype":"url"},"type":"statement","id":"Q752338$AA0C4CFC-74DB-4278-A2BB-406118020AC2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7215a2600d6106ee92965b0a64aa358994b3afa9","datavalue":{"value":"W2050569347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752338$81C05704-BCFC-4BAB-A4F4-489B872C2913","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe5c7f9ed117cd538f6410a9da1cd97c89a029ca","datavalue":{"value":{"entity-type":"item","numeric-id":3810995,"id":"Q3810995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"602b8780a8ce4acda6b8b7ecb89da45e42a03072","datavalue":{"value":{"amount":"+0.8259967565536499","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":"Q752338$A34AD1B1-F7AA-4484-95D6-E10B41A2E87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46f092a0de75c976e32a1f2d6f6c35196633eeae","datavalue":{"value":{"entity-type":"item","numeric-id":4381484,"id":"Q4381484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"956730b1fd1947d0d5b2aa96ae211cdd942d2f3f","datavalue":{"value":{"amount":"+0.800014078617096","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":"Q752338$37426E96-9B52-4303-984F-5F358B956244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6a62ce144c56c75fb7be6a6fcfd2449d6c90315","datavalue":{"value":{"entity-type":"item","numeric-id":3356798,"id":"Q3356798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"956730b1fd1947d0d5b2aa96ae211cdd942d2f3f","datavalue":{"value":{"amount":"+0.800014078617096","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":"Q752338$22E9DC92-3F51-44AE-B290-E26A854EDF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e5e734d1fda7ea71d8d4da37aa376744b6f77c7","datavalue":{"value":{"entity-type":"item","numeric-id":5939797,"id":"Q5939797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"308a1f55338e96b55996d990eb4922f511f386b2","datavalue":{"value":{"amount":"+0.7976332902908325","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":"Q752338$C67CAD20-9AA1-492F-9538-A6543CDC6626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44b20b799c60d5e68a077d2f48a640e7f8bbf908","datavalue":{"value":{"entity-type":"item","numeric-id":4528009,"id":"Q4528009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"308a1f55338e96b55996d990eb4922f511f386b2","datavalue":{"value":{"amount":"+0.7976332902908325","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":"Q752338$D7C6F849-8963-48B7-A413-C481CD1B4FC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sharp conditions for existence of nontrivial invariant cones of nonnegative initial values of difference equations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sharp_conditions_for_existence_of_nontrivial_invariant_cones_of_nonnegative_initial_values_of_difference_equations"}}}}}