{"entities":{"Q444681":{"pageid":446448,"ns":120,"title":"Item:Q444681","lastrevid":61914975,"modified":"2026-04-11T02:32:01Z","type":"item","id":"Q444681","labels":{"en":{"language":"en","value":"A simple counterexample related to the Lie-Trotter product formula"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6066653"}},"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":"Q444681$29BA7109-EFFA-4ECC-BBAB-FE3E58C5F889","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a456074f641fcd5fbe5688242a7f74a87ee09e03","datavalue":{"value":{"text":"A simple counterexample related to the Lie-Trotter product formula","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q444681$8C577D0A-89E9-45AD-B93F-475ACED7AB57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6e527ebf7caa6a87cb6739830147ed84ec7ebf8","datavalue":{"value":"1256.47026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444681$D200E0AF-0D2B-4BA6-A642-DD72E36FD42F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab30da660ceea7cb32f6c69e797954823d7a956b","datavalue":{"value":{"entity-type":"item","numeric-id":444680,"id":"Q444680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444681$2D5F451D-CEF9-4857-8C2C-71CFBBB9E61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3aa06d0bb75054da8e05b4dc959c511ced151c32","datavalue":{"value":{"entity-type":"item","numeric-id":245879,"id":"Q245879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444681$19B0D900-FF37-4830-96DC-5A8E4D606480","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444681$49E7F0A6-EC1C-49DD-B6EC-AD01A7550FA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d101fdedee8fe26942f59fda6716c1df8d9aaf9","datavalue":{"value":{"time":"+2012-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q444681$12CFD971-49C5-40F5-A0A9-9573DB74DE6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8eda92fa6188ac8afd053307f382b50a1bb02594","datavalue":{"value":"https://arxiv.org/abs/1103.4997","type":"string"},"datatype":"url"},"type":"statement","id":"Q444681$0CFB7775-A66F-4D35-B7EC-2C034175E443","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b5f617b9930d23ee1f0883b46bb3859fa23a853a","datavalue":{"value":"The ``addition formula''  \\[  e^{A + B} = \\lim_{n \\to \\infty} \\Big( e^{A /n} e^{B/n}\\Big)^n  \\]  for matrix exponentials is due to Sophus Lie. Its generalization to semigroups  \\[  U(t)u = \\lim_{n \\to \\infty} \\Big( S \\Big( {t \\over n} \\Big) T \\Big( {t \\over n} \\Big) \\Big)^n u \\eqno(1)  \\]  was given by \\textit{H. F. Trotter} [Proc. Am. Math. Soc. 10, 545--551 (1959; Zbl 0099.10401)]; here, \\(A\\) (resp., \\(B)\\) is the infinitesimal generator of the strongly continuous semigroup \\(S(t)\\) (resp., \\(T(t))\\) and \\(U(t)\\) is the semigroup generated by \\(\\overline{A + B}\\). In the language of differential equations in Banach spaces, formula (1) is the basis of the splitting method of assembling the solution \\(u'(t) = (A + B)u(t)\\) from the solutions of \\(u'(t) = Au(t)\\) and \\(u'(t) = Bu(t).\\)  The validity of Trotter's formula (1) requires additional assumptions. In a slightly generalized version, it is assumed that  \\[  \\Big \\| \\Big(S\\Big( {t \\over n} \\Big) T \\Big( {t \\over n} \\Big) \\Big)^n \\Big \\| \\leq Me^{\\omega t} \\quad (t \\geq 0, \\;n = 1, 2, \\dots) \\eqno(2)  \\]  and that \\(\\overline{A + B}\\) is an infinitesimal generator; in another version, this last requirement follows from other hypotheses.  The question arises: does the sole assumption that \\(\\overline{A + B}\\) is a semigroup generator guarantee (1)? The answer is known to be ``no'' through a counterexample of \\textit{F. K\u00fchnemund} and \\textit{M. Wacker} [Semigroup Forum 60, No.~3, 478--485 (2000; Zbl 0976.47021)]. The authors provide a simpler counterexample using operator matrices; the limit in (1) is zero, while \\(U(t)u \\neq 0\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q444681$BE39FC06-2427-4977-A11B-C2F0F2579F77","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"71b174392024ff471fe883ab87527d44b0b1d9af","datavalue":{"value":{"entity-type":"item","numeric-id":590499,"id":"Q590499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444681$5ED39897-FB54-437D-845D-38E5FE687413","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5de759d72115c272099fac8ad1899bb78f2f1e","datavalue":{"value":"47D06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444681$BBA6B40A-E7E6-4843-A4D3-29BB52C54E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19916a4b7396326f5206d6c0412dfa372255eebb","datavalue":{"value":"34G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444681$9790439F-481A-4544-9050-5743F25D4092","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bdda1e8423c53583bf5491f3ce813fc46ef3be5","datavalue":{"value":"6066653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444681$BDCE90F7-176F-4EE0-BE83-4B434C683D5D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"614f9da6bc957616d5daf5e6ca66131ba63bc682","datavalue":{"value":"Lie-Trotter product formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q444681$74A6CA40-07B4-46D2-AA30-25DC66299997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a4ebbb981ca5671ab49ad3ac402372dee3172f8","datavalue":{"value":"linear strongly continuous semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q444681$4F6B1FA5-259D-40BC-AF3B-62F84D980A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cd3291cb4b39ae1b5d4b32d5320dabac3f34ef6","datavalue":{"value":"sum of infinitesimal generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q444681$CCB667FA-4B7D-4508-926B-0F57B66D26E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49f827de26b0d41806a282dec983b90c72bbd919","datavalue":{"value":"splitting method","type":"string"},"datatype":"string"},"type":"statement","id":"Q444681$4861EA04-7FE7-4F42-ABE9-7AD7159E072D","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":"Q444681$AB8FFD45-43A7-4A67-A49E-555A060841D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aad5bbf0c958a3125200befba3cacfc266e8efec","datavalue":{"value":"W2049703842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444681$6C356178-9125-4D19-92C3-2887CC6943C9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b07e18519cba06ce77793c2a6512f4d3755c358d","datavalue":{"value":"Q124814357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444681$C06260D8-47B0-4D0B-B22D-D03465AD08CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1688b4af9dfa32701e0635cf4a11f85f5b1189c3","datavalue":{"value":{"entity-type":"item","numeric-id":4490854,"id":"Q4490854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444681$07D0AAF4-3C8B-4C60-A9A6-8BABAAF2B862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"274692447fb3333d6e6b1d3630ae83d6512e61b5","datavalue":{"value":{"entity-type":"item","numeric-id":1882657,"id":"Q1882657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444681$56B0EE8C-8CE5-4DA8-BC64-A23AD092DE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84a86f1cd3a4f7c139f6f8091370eb58c647c4f","datavalue":{"value":{"entity-type":"item","numeric-id":1001652,"id":"Q1001652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444681$E4AFE7D8-B20F-420F-AB61-E32E26D118F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d0fbb5cf0f718b095e9657fc2818727dfe91b6","datavalue":{"value":{"entity-type":"item","numeric-id":4269120,"id":"Q4269120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444681$ED66CE92-C6BA-4648-9B51-77C18B066E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8af9b1842335023654beb13c9298c51a453bf5c2","datavalue":{"value":{"entity-type":"item","numeric-id":1976437,"id":"Q1976437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444681$B5A960BA-6C95-4241-8E50-B0352676F7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cae6f65fbf5d83568b1da654c232e9322245eb38","datavalue":{"value":{"entity-type":"item","numeric-id":2750852,"id":"Q2750852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444681$0B93648D-CB3B-4EC1-A63A-862CAFFD836B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cec74bcc87e0cbb1a267e2f7c1b08464873407f","datavalue":{"value":{"entity-type":"item","numeric-id":789702,"id":"Q789702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444681$493A8B70-584B-4367-BD03-C1B76ABA5BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1685cf228a09015374f789010c9294d66987501","datavalue":{"value":{"entity-type":"item","numeric-id":3279552,"id":"Q3279552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444681$A316076E-0658-49A6-9EA8-D374901D04A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42390b9fa1b8d7487dfb94afb3d50c9925e3c300","datavalue":{"value":"10.1007/S00233-011-9326-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444681$4B844BA1-EA7E-48B8-818C-9E695297FD93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6266a6520b735a89c0e8e51e2414fa18404e9156","datavalue":{"value":{"entity-type":"item","numeric-id":3343185,"id":"Q3343185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ede4d5e84a045aba0df38016291532d757b0134","datavalue":{"value":{"amount":"+0.6898775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q444681$06D68D50-E939-4771-9849-851EC6DEB651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d659169fd56193f3b8b17fc399a28487b1e1a081","datavalue":{"value":{"entity-type":"item","numeric-id":3367819,"id":"Q3367819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bffef52e68f88c6b54db64ad65f6bc324425daa0","datavalue":{"value":{"amount":"+0.68670386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q444681$3A670FFA-164B-4C85-9D8F-3564C4C5D2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e896de54f9ee1c0954d43a7ccdd7b8ed958857d4","datavalue":{"value":{"entity-type":"item","numeric-id":331150,"id":"Q331150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfdbbb55446bf7e8c510e9a454e17426a057b48a","datavalue":{"value":{"amount":"+0.6807319","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q444681$8651BAA0-E4FA-4FBF-A298-E7A9902FA8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69dcdeac5e286bcc59fb093fe409cc356c4d01d","datavalue":{"value":{"entity-type":"item","numeric-id":3825612,"id":"Q3825612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8a472611941daed2167d13c41050f80eef2eda6","datavalue":{"value":{"amount":"+0.67842215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q444681$D9FB97F4-CB4C-433F-B0DD-3C800BD02E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4c044c69645c4114ae5bfe18a406ea4b47e19f5","datavalue":{"value":{"entity-type":"item","numeric-id":1434101,"id":"Q1434101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"325f9ee7573196803b43c16118e99499c7d615b4","datavalue":{"value":{"amount":"+0.6611349","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q444681$91B52B42-12E6-4EC1-AA38-AF5981C5BFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7a477182f9f7919a78eed6674bf596be49165d2","datavalue":{"value":{"entity-type":"item","numeric-id":5937208,"id":"Q5937208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5cf1c93d553afdbe988bc50ef740e15e9b507d9","datavalue":{"value":{"amount":"+0.65406674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q444681$BE77C7C6-9E5D-4FCC-9115-711E99E7A0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2335963ed4d0838262e91e9dcf71c89c163bdc3","datavalue":{"value":{"entity-type":"item","numeric-id":2743187,"id":"Q2743187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5464f666d6bfd092e9f9e4ab166c34c76e382481","datavalue":{"value":{"amount":"+0.65124893","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q444681$F25F98D3-B6C9-414D-8DF5-16E03569F069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e65c2a1afeb5fd28b754c284add7bafa4214782","datavalue":{"value":{"entity-type":"item","numeric-id":3140176,"id":"Q3140176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"411c42eef8f90fae28e7a1a1894635bb99f55c72","datavalue":{"value":{"amount":"+0.65008855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q444681$46C971E7-9897-41A2-AC13-FD16FE966649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1446ad075f3f82769602c97bcce44fcbc2edf1d","datavalue":{"value":{"entity-type":"item","numeric-id":4786299,"id":"Q4786299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c300d7e401c5945cdbb5e69851e4b87dbbe52f2","datavalue":{"value":{"amount":"+0.64888024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q444681$4C858EC9-4FC4-419E-ADC3-C0A30CEC95CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26b8c35c6360d41782120c8b73044a314bab8826","datavalue":{"value":{"entity-type":"item","numeric-id":1976437,"id":"Q1976437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c15c7a6cf147fe0728665b27a3f33d8bb3bdc56","datavalue":{"value":{"amount":"+0.6486759","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q444681$55A93362-4936-444E-9EF8-0E6BB48D83E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simple counterexample related to the Lie-Trotter product formula","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_simple_counterexample_related_to_the_Lie-Trotter_product_formula"}}}}}