{"entities":{"Q1594934":{"pageid":1605674,"ns":120,"title":"Item:Q1594934","lastrevid":70923555,"modified":"2026-04-13T18:15:54Z","type":"item","id":"Q1594934","labels":{"en":{"language":"en","value":"A dynamical systems approach to Birkhoff's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1558726"}},"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":"Q1594934$E4268650-2C95-45A6-83E6-79CF1B21DF10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3c482aabb0cb83e745008c37d4cabaececc31e5","datavalue":{"value":{"text":"A dynamical systems approach to Birkhoff's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1594934$E013DC0D-F5A3-4C54-96F7-0DB82CBDC949","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5aaea04cd1dabde736bbf632e356c08820d833f3","datavalue":{"value":"0968.37014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1594934$6B8261BC-2EF8-4DDB-9BE6-87DC016C5013","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f147e7d57d9df65a6bebfd7fd95c9c3382ff28a7","datavalue":{"value":{"entity-type":"item","numeric-id":320309,"id":"Q320309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1594934$040C4ACD-8EDD-46C3-9474-D1466319D5C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"190f08128b991df2a0ad2bbf0d84e95f751f56d1","datavalue":{"value":{"entity-type":"item","numeric-id":246266,"id":"Q246266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1594934$C49AAC1D-B00D-44D6-8B75-C33DAE116232","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a1efb1f993854194f4cbdee327065a1c612d2c9","datavalue":{"value":{"time":"+2001-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1594934$B9CF5CB2-1718-4EF2-90B4-13B4B0F349C6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"12f8e0b1c301fb9a914c87103ccf4ff5ad4db9be","datavalue":{"value":"Consider a monotone twist mapping of the cylinder. This means a diffeomorphism \\(\\phi\\) of the cylinder which is isotopic to the identity and area-preserving and satisfies  \\[ \\biggl|{\\partial \\phi_1 \\over \\partial y}\\biggr|\\geq \\delta >0. \\]  Here \\(\\phi =(\\phi_1 ,\\phi_2)\\) depends on the angular variable \\(x\\) and the vertical variable \\(y\\).   An invariant curve \\(\\Gamma\\) is a Jordan curve in the cylinder which is homotopically nontrivial and satisfies \\(\\phi (\\Gamma)=\\Gamma\\). A classical result by Birkhoff says that every invariant curve must be a graph of the type \\(y=\\varphi (x)\\) with \\(\\varphi\\) continuous (later one proves that \\(\\varphi\\) is even Lipschitz-continuous). Birkhoff's proof is very intuitive but difficult to formalize. Several authors have given complete proofs using Birkhoff's ideas. In this paper the author presents a different proof. He proceeds by contradiction and assumes that an invariant curve is not a graph. Then he proves that there is a Jordan domain \\(\\Omega_0\\) whose boundary is composed by an arc of \\(\\Gamma\\) and a vertical segment. The procedure can be iterated to produce a sequence of domains \\(\\Omega_n\\) of this type and such that the measure \\(|\\Omega_n |\\) tends to infinity. This is the searched contradiction.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1594934$EB319117-A87B-4C6E-A1D8-82A89F67F674","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"37e7abf38064706cc8bb83945e90bedac8d97a44","datavalue":{"value":{"entity-type":"item","numeric-id":174672,"id":"Q174672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1594934$655EEFAF-C9E8-49DD-9997-14C8A5F53DEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9acca810775a882d4c4007e17e5c1a1ad49e4172","datavalue":{"value":"37E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1594934$EB8312F3-19AA-4C32-9988-BFBD6EE21589","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce2e03ed2b4153577bf9132e148a3cef432d54fc","datavalue":{"value":"1558726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1594934$5E5EF4B7-2AFA-4BAD-859D-8B70C65ABEC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ee5ba8067ef21560c634eb1af4d42138d2b3936","datavalue":{"value":"twist","type":"string"},"datatype":"string"},"type":"statement","id":"Q1594934$63929B4E-C61D-46C0-B447-6FDE2002EDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1afded46e9382495eb885c7313346672937fad7d","datavalue":{"value":"invariant curve","type":"string"},"datatype":"string"},"type":"statement","id":"Q1594934$7897AE42-2CE8-4AD3-BB62-97DF7E4E4306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8814375da3b46977fbf3074d39f5f7fad06da322","datavalue":{"value":"billiard","type":"string"},"datatype":"string"},"type":"statement","id":"Q1594934$B27C01EA-06AC-4B90-9113-C3E3C8607AFB","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":"Q1594934$3A0666B7-5A6E-4014-9266-5F85F4ED3E38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"873092aabf5fbbbd20a0852f01009cea27699529","datavalue":{"value":{"entity-type":"item","numeric-id":1589765,"id":"Q1589765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10df974f027e4f559c8146384b31a7eb834961ff","datavalue":{"value":{"amount":"+0.8024346232414246","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":"Q1594934$9627716B-F1F3-48AF-B1A6-B882229451DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"025257aae568628f00e0a270b9f0ba41d6b2c366","datavalue":{"value":{"entity-type":"item","numeric-id":2778794,"id":"Q2778794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c7c1901baf4217a29fbd4be618492fc742b69a5","datavalue":{"value":{"amount":"+0.8009963631629944","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":"Q1594934$7343C0B3-B65C-4345-90AC-83BB587890D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4579a5950885bd79c94386c30cfa47d9fdd6e222","datavalue":{"value":{"entity-type":"item","numeric-id":1026656,"id":"Q1026656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4966542fa9eb5eb6bf3ecb62470d9791bb61c40d","datavalue":{"value":{"amount":"+0.7803043127059937","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":"Q1594934$A546A02B-5AD4-4DA8-9EB6-EBEEC445DA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a99051b96d0006d0ea15e39b3f7c0261244258b3","datavalue":{"value":{"entity-type":"item","numeric-id":4025990,"id":"Q4025990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c362d7abe46870827378ffd2c205c35a92bf1212","datavalue":{"value":{"amount":"+0.7700573801994324","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":"Q1594934$5C97021D-43DE-47B5-ABDD-9DD69549FBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb13f5e9625d94ffc2eb2dd40c52f15bab1f115","datavalue":{"value":{"entity-type":"item","numeric-id":1116514,"id":"Q1116514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"792dfbce42432cd07c23893e08348ba060d82a02","datavalue":{"value":{"amount":"+0.7696208357810974","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":"Q1594934$56E01C57-14DE-409C-A73C-D2C0184B1056","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A dynamical systems approach to Birkhoff's theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_dynamical_systems_approach_to_Birkhoff%27s_theorem"}}}}}