{"entities":{"Q6574111":{"pageid":14185266,"ns":120,"title":"Item:Q6574111","lastrevid":99837731,"modified":"2026-06-05T20:49:11Z","type":"item","id":"Q6574111","labels":{"en":{"language":"en","value":"Polynomial values with integer coefficients for the generating functions of Fibonacci polynomials"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7882656"}},"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":"Q6574111$D08DB91E-0333-4CB7-97AE-D747E5C9B6C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16d9b5a0e570283cb8944b8b741b503a6a5890ea","datavalue":{"value":"1548.11045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6574111$720C3EB7-824C-4750-ADAB-3FCBA3BF83F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a392fd370853a2cb7111c1a933edd84003f1f831","datavalue":{"value":{"entity-type":"item","numeric-id":614487,"id":"Q614487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6574111$9A3D83F5-08E0-4ECB-9671-25B8065C04FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"191219d2b68716e371ff5891fd5160440f921e16","datavalue":{"value":{"entity-type":"item","numeric-id":6492234,"id":"Q6492234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6574111$5DB95AE5-0BCF-41A1-A086-F79EDB603217","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38e2d7fad723ba8eab01170feeffeaccd39e07ce","datavalue":{"value":{"time":"+2024-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6574111$3347607C-2C41-4F92-A2D6-FD6215AC5ED7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"34bee89436a3285f31e4affe07b6ad01573e3b61","datavalue":{"value":"Let \\( a \\) and \\( b \\) be positive integers. Define a polynomial sequence \\( \\{F_i(x)\\}_{i\\in \\mathbb{N}} \\) given by the recurrence relation: \\( F_0(x)=0 \\), \\( F_1(x)=1 \\), and \\( F_{i+2}(x)=axF_{i+1}(x)+bF_i(x) \\) for all \\( i\\ge 0 \\). The generating function of such a polynomial sequence is given by:\\N\\begin{align*}\\Nf(x,t)=\\sum_{i=0}^{\\infty}F_i(x)t^{i}=\\frac{t}{1-axt-bt^2}.\\N\\end{align*}\\NFurthermore, define a companion polynomial sequence \\( \\{L_i(x)\\}_{i\\in \\mathbb{N}} \\) given by the recurrence relation: \\( L_0(x)=2 \\), \\( L_1(x)=ax \\), and \\( L_{i+2}(x)=axL_{i+1}(x)+bL_i(x) \\) for all \\( i\\ge 0 \\). The generating function of such a polynomial sequence is given by:\\N\\begin{align*}\\Nl(x,t)=\\sum_{i=0}^{\\infty}L_i(x)t^{i}=\\frac{2-axt}{1-axt-bt^2}.\\N\\end{align*}\\NIn the paper under review, the author proves the following theorems, which are the main results in the paper. \\N\\NTheorem 1. Suppose that \\( b \\) divides \\( a \\), and let \\( q(x)\\in \\mathbb{Q}(x) \\) be a rational function over \\( \\mathbb{Q} \\). For the generating function \\( f(x,t) \\), \\( f(x,q(x))\\in \\mathbb{Z}[x] \\) if and only if\\N\\begin{align*}\\Nq(x)\\in \\left\\{\\frac{F_i(x)}{F_{i+1}(x)}\\right\\}_{i\\in \\mathbb{N}} \\quad \\text{or}\\quad q(x)\\in \\left\\{-\\frac{F_{i+1}(x)}{bF_{i}(x)}\\right\\}_{i\\in \\mathbb{N}^+}.\\N\\end{align*}\\NTheorem 2. Suppose that \\( b \\) divides \\( a \\), and let \\( q(x)\\in \\mathbb{Q}(x) \\) be a rational function over \\( \\mathbb{Q} \\). For the generating function \\( l(x,t) \\), \\( l(x,q(x))\\in \\mathbb{Z}[x] \\) if and only if\\N\\begin{align*}\\Nq(x)\\in \\left\\{\\frac{F_i(x)}{F_{i+1}(x)},\\frac{L_i(x)}{L_{i+1}(x)},-\\frac{L_{i+1}(x)}{bL_{i}(x)}\\right\\}_{i\\in \\mathbb{N}} \\quad \\text{or}\\quad q(x)\\in \\left\\{-\\frac{F_{i+1}(x)}{bF_{i}(x)}\\right\\}_{i\\in \\mathbb{N}^+}.\\N\\end{align*}\\NAs an application of Theorem 1 and Theorem 2, for a square-free \\( d\\in \\mathbb{N} \\), the author verifies the results are of the same form as the above for the generating function of the sequence satisfying the recurrence relation \\( F_{i+2}(\\sqrt{d})=a\\sqrt{d}F_{i+1}(\\sqrt{d})+bF_i(\\sqrt{d}) \\) with the initial values \\( (F_0(\\sqrt{d}), F_(\\sqrt{d}))=(0,1) \\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6574111$6216D267-2BBF-4116-A8B6-A59DDCFB139F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ee5e298adf9a53adbac4e3dca9aba2691ed1f643","datavalue":{"value":{"entity-type":"item","numeric-id":681633,"id":"Q681633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6574111$71FCE8C1-2C60-4BE7-85DE-443B987E689C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccc5a5c9dd2865ab4417f7cabfcec0ef477e1206","datavalue":{"value":"11B39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6574111$16F0EFF3-5861-4016-9419-E1CC62E9D3FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2eb93c492c96ff4f4f56c8ab2d78b9422fd5c2df","datavalue":{"value":"7882656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6574111$864867DE-D65C-4B0E-8E5B-52EAB4CC9F9B","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":"Q6574111$272C8546-8FCC-4CA0-9F0F-612633E5BE10","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7366f86a9f27db4fc93fefcf17fb2cf4b603d786","datavalue":{"value":{"entity-type":"item","numeric-id":4555753,"id":"Q4555753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6574111$6E852337-5717-4EB2-9004-1C5742B6ECD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2755955bfe03628e6aeb5cfee2b738364ee4ab6d","datavalue":{"value":{"entity-type":"item","numeric-id":4581491,"id":"Q4581491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6574111$2F1D162C-9AE4-4911-99EB-E288F7842ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82bc6c572d7f7a855ed6d78efcfccf9e603705b6","datavalue":{"value":{"entity-type":"item","numeric-id":4581652,"id":"Q4581652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6574111$0DA005F5-034C-4487-9A19-60770D87045A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8383d0774ee170f6e22702acc72aa078b0eeee29","datavalue":{"value":{"entity-type":"item","numeric-id":4555753,"id":"Q4555753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13af688e521c0a7870df334cb7f592e3a052b4dd","datavalue":{"value":{"amount":"+0.8318932056427002","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":"Q6574111$09F21E51-44E0-41DD-BE6E-814B912F6AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5618b6e6d64533434b259669ee5156a25e48b42a","datavalue":{"value":{"entity-type":"item","numeric-id":6496963,"id":"Q6496963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56d5d4443db4a488f5a47075e9f7934c444bc79a","datavalue":{"value":{"amount":"+0.7903628945350647","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":"Q6574111$1B19DAAD-8906-4D7E-8109-16544A50024F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ef7e3477ed35161ed2212ace8dba28e439ab7a8","datavalue":{"value":{"entity-type":"item","numeric-id":6126716,"id":"Q6126716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"650c078ea5c61ed83370e8b0d35d3e06c53e3b2c","datavalue":{"value":{"amount":"+0.7858818173408508","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":"Q6574111$4AF59784-ED65-4F90-8A93-0051F139BF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e949b6e621c942e7b59a8a98b79377fc903c099e","datavalue":{"value":{"entity-type":"item","numeric-id":4581652,"id":"Q4581652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"721b8c61938ef7c9517e410c22b8797645e866cd","datavalue":{"value":{"amount":"+0.7315803170204163","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":"Q6574111$CC43058E-FE86-42A1-9110-5F3CC3BA5331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c7ef9911ee169c133df09476961e4a767d73e0a","datavalue":{"value":{"entity-type":"item","numeric-id":4581491,"id":"Q4581491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6f4761d33571461e492884f2e767a886532774f","datavalue":{"value":{"amount":"+0.7175677418708801","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":"Q6574111$F94669B8-6082-4CD2-A043-7A2859D227DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polynomial values with integer coefficients for the generating functions of Fibonacci polynomials","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Polynomial_values_with_integer_coefficients_for_the_generating_functions_of_Fibonacci_polynomials"}}}}}