{"entities":{"Q1400908":{"pageid":1411648,"ns":120,"title":"Item:Q1400908","lastrevid":67354542,"modified":"2026-04-12T17:03:44Z","type":"item","id":"Q1400908","labels":{"en":{"language":"en","value":"Birkhoff normal form for some nonlinear PDEs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1964918"}},"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":"Q1400908$44A448CB-576E-4254-BFAE-63DCC33D885E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a41a229377642755c0826426140351921fbfc3a","datavalue":{"value":{"text":"Birkhoff normal form for some nonlinear PDEs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1400908$77F700A8-3812-4885-97CA-F9CFD9100FC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bf77713cd9c79122b4726b2ac5dc64722263bd7","datavalue":{"value":"1032.37051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400908$614924F5-D4B0-43F6-8DBF-CA4EF25A102A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5491f409bf87aae78f4f1ac9775f4bdfddfadc7","datavalue":{"value":{"entity-type":"item","numeric-id":187108,"id":"Q187108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400908$38A9214C-68A6-4C73-9C11-363CA2C2442A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"74062a62bcb16497befde51af6dcf546af6addde","datavalue":{"value":{"entity-type":"item","numeric-id":192672,"id":"Q192672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400908$04688BEF-093D-437E-AC09-2BC404170F25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c559667253af6b857a12c847a2fbcea5328ae19","datavalue":{"value":{"time":"+2003-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1400908$32F94CF9-EC74-46EC-9E42-19372D0AFC6F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cb806126487fcc5694f07aeea3a2c4e8d11c1434","datavalue":{"value":"Infinite-dimensional Hamiltonian systems are considered, with Hamiltonian given by \\(H=h_0+f\\). Here \\(h_0(p, q)=\\sum_j\\omega_j (p_j^2+q_j^2)/2\\), and \\(f\\) is of order at least three in \\((p, q)\\). Under certain assumptions on the frequencies (described in more detail below) it is shown that there is a canonical transformation \\({\\mathcal T}\\) defined in a neighborhood of the origin \\((p, q)=(0, 0)\\) such that \\(H\\circ {\\mathcal T}=h_0+Z+R\\), where \\(Z\\) is in Birkhoff normal form and \\(R\\) is a remainder term of an arbitrary high order that can be prescribed.    The proof uses an inductive argument which goes roughly as follows: If a transformation \\({\\mathcal T}^{(k)}\\) is already known that puts \\(H\\) into the form \\(H\\circ {\\mathcal T}^{(k)}=h_0+Z^{(k)}+R^{(k)}\\), then basically speaking the remainder term \\(R^{(k)}\\) is split as \\(R^{(k)}=R^{(k)}_{\\text{low}, \\leq 2}+R^{(k)}_{\\text{low}, \\geq 3} +R^{(k)}_{\\text{high}}\\). Here \\(R^{(k)}_{\\text{high}}\\) is of sufficiently high order in \\((p, q)\\), \\(R^{(k)}_{\\text{low}, \\leq 2}\\) contains the lower order terms that are of order \\(\\leq 2\\) in \\((p_j, q_j)\\) with \\(|j|\\geq N+1\\) (\\(N\\) fixed), whereas \\(R^{(k)}_{\\text{low}, \\geq 3}\\) denotes the lower order terms that are of order \\(\\geq 3\\) in \\((p_j, q_j)\\) with \\(|j|\\geq N+1\\).    This spatial and frequency cutoff at order \\(N\\) allows to prove that the contribution of \\(R^{(k)}_{\\text{low}, \\geq 3}\\) to the flow is `negligible' if all parameters (including \\(N\\)) are combined in an appropriate way. The term \\(R^{(k)}_{\\text{low}, \\leq 2}\\) can be put into normal form by introducing a suitable transformation \\({\\mathcal T}_k\\) via a vector field \\(\\chi_k\\) for whose definition small denominators occur in a natural way. It turns out that then, defining \\({\\mathcal T}^{(k+1)} ={\\mathcal T}^{(k)}\\circ {\\mathcal T}_k\\), the Hamiltonian can be transformed as \\(H\\circ {\\mathcal T}^{(k+1)}=h_0+Z^{(k+1)}+R^{(k+1)}\\) which is at least one order better than \\(H\\circ {\\mathcal T}^{(k)}\\).    For the frequencies \\(\\omega_j\\) it is assumed that they are `strongly non-vanishing', which requires that for every \\(r\\in {\\mathbb N}\\) with \\(r\\geq 3\\) there exist \\(\\gamma\\) and \\(\\alpha\\) such that, if \\(N\\in {\\mathbb N}\\) is large enough, \\(|i_1|\\leq |i_2|\\leq\\ldots\\leq |i_r|\\leq N<|j|\\leq |k|\\), and \\(\\omega_{i_1}\\pm\\ldots\\pm\\omega_{i_r}\\pm\\omega_j\\pm\\omega_k\\neq 0\\), then \\(|\\omega_{i_1}\\pm\\ldots\\pm\\omega_{i_r}\\pm\\omega_j\\pm\\omega_k|\\geq\\gamma N^{-\\alpha}\\) for all combinations of plus and minus signs. Note that the indices \\(j\\) and \\(k\\) correspond to \\(p_l\\) and/or \\(q_m\\) that might occur in the series expansion of \\(R^{(k)}_{\\text{low}, \\leq 2}\\) from above; by definition, there are at most two such indices \\(j, k\\).    The paper also contains an application of the abstract result to the wave equation \\(u_{tt}-u_{xx}+(m+V(x))u+h(x, u)=0\\) on \\([0, \\pi]\\) with Dirichlet boundary conditions and analytic \\(h\\) of order at least three. It is then shown that in every interval \\([m_1, m_2]\\) the set of masses such that the resulting frequencies are strongly non-vanishing is of full measure.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400908$ABA5B0C1-A873-4419-9811-D657026990EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"df0f9aa4592a45adacbc6c472722ef09d486a347","datavalue":{"value":"37K55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400908$6C9632DD-DFCA-4BC1-9BEF-3B1AB53849FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd660b5ca958f42263c5a3283070036c97cd246b","datavalue":{"value":"35L70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400908$14AF8B83-5C83-4A75-B963-7538815962B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd885dcb030e77159f4924283e9e5878c849fada","datavalue":{"value":"35Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400908$11FBE59D-5E90-4F70-A9ED-3AB0390999A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b3cf3fcd61626748eb15b050680b74b9d95245c","datavalue":{"value":"70H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400908$5D02590C-F380-42D0-88EF-EA219DD45F6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"065a34119e4ace98218c22a6b1516db87186cf5c","datavalue":{"value":"1964918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400908$EAD475A2-3709-48CE-B99F-4048791D3B7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3e3e14e85e43fa9b2ea17014d7b3fa6be6d3ca6","datavalue":{"value":"Birkhoff normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400908$938498B9-CB29-4B8D-98AA-3C85978FBEBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b420bdf0e6eec7371e4125e30c17fe7b1211c18b","datavalue":{"value":"small denominators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400908$3030A257-229F-4B2E-88C0-111027423F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52cd298a7878dd7273b67af818bc928f9bc2c3b4","datavalue":{"value":"nonlinear wave equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400908$D5E048A7-8A1C-4B19-B66C-FCAA0D7F280C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1ca416a4f32a5ebb514841c06408c038c8e3d1d2","datavalue":{"value":{"entity-type":"item","numeric-id":587388,"id":"Q587388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400908$C01D05BB-F652-466F-8F72-1443D4CE7F4E","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":"Q1400908$FA58A67B-5E59-4A2E-A8A2-08D5A08E3EDC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36409b6352badf2ec8a4445c644c3611adb04a4a","datavalue":{"value":"https://doi.org/10.1007/s00220-002-0774-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1400908$8333D48A-0887-4CB8-8C4A-31080F30C4F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6941fcf5f35a73cea90d8305e46f637f47dea5e","datavalue":{"value":"W1977120242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400908$2D822CF6-A9C1-4432-A1D5-384673260352","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26d793a9f5adbe8296daae7dd88394aa5dc24c24","datavalue":{"value":"10.1007/S00220-002-0774-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400908$32436893-5B4D-41ED-BFED-00C0E4DD494B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38e5ba844405d4d961cc0e972865c859b8d9d8d1","datavalue":{"value":{"entity-type":"item","numeric-id":860113,"id":"Q860113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5df0f193d913b1207a67908ce788ac572d476575","datavalue":{"value":{"amount":"+0.8584707379341125","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":"Q1400908$7A1C3A3F-E265-4169-AD93-0B426FD58C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"953010cd1a43184399f495b587127c1bee6a84aa","datavalue":{"value":{"entity-type":"item","numeric-id":3424666,"id":"Q3424666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e6dc966519811fe68ba75a46883f861a2ba6ca3","datavalue":{"value":{"amount":"+0.8447672724723816","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":"Q1400908$190FCF1F-715C-40A2-998A-2F00CE130178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eefb2229af9adbb83a5317b4d1dc8d6309febb2","datavalue":{"value":{"entity-type":"item","numeric-id":5301220,"id":"Q5301220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1730537e02886c9dc70e03876ec1014fc3f880d","datavalue":{"value":{"amount":"+0.8431820869445801","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":"Q1400908$5F0FA27A-E359-497F-89CE-6BD9CC24EBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1528a70d559492168a439d5327e3e8c12892cdca","datavalue":{"value":{"entity-type":"item","numeric-id":5450514,"id":"Q5450514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5500442075042147d7f6d26fcef635628bb3dbc3","datavalue":{"value":{"amount":"+0.8305459022521973","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":"Q1400908$863F869C-9532-4AC3-8CC9-6F68DCEC8AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d00f0a32840e05aa3b61e35a46de716516b46620","datavalue":{"value":{"entity-type":"item","numeric-id":1262592,"id":"Q1262592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9908dd2c09cadf5e8ca26078ae84d4f9492c2f0f","datavalue":{"value":{"amount":"+0.7913797497749329","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":"Q1400908$F2D6A17C-0AE1-4593-B8A9-358790BC8983","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Birkhoff normal form for some nonlinear PDEs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Birkhoff_normal_form_for_some_nonlinear_PDEs"}}}}}