{"entities":{"Q2761874":{"pageid":2772613,"ns":120,"title":"Item:Q2761874","lastrevid":83145728,"modified":"2026-05-07T06:18:01Z","type":"item","id":"Q2761874","labels":{"en":{"language":"en","value":"Oscillating properties in the integration of \\(x^\\lambda\\)-functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1686432"}},"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":"Q2761874$CE4FEBB6-B2FE-4140-8E1C-4D1D24CCFA2E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9d97169dcccf453a453be2ca56fff849955cf64","datavalue":{"value":"1044.32002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2761874$653E6419-719C-4F17-93F1-9A52B5D5CB6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54ae040be07ecd9e68d39802afd432ba5df39640","datavalue":{"value":"10.1016/S0764-4442(01)02094-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2761874$0F3BD7CF-9A1A-4E1B-BAE8-DB8E557539BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ab48ce8bd68fd412b417d860a86de775debee45","datavalue":{"value":{"entity-type":"item","numeric-id":1395358,"id":"Q1395358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2761874$3E96020C-D610-47DB-9A1A-8355199463DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb92cd744b9c5daef58ab264b06c3218ee5be195","datavalue":{"value":{"time":"+2003-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2761874$B1FB424C-EFB0-4AB2-A176-EBB0DB2051A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a101227a4f478aca34c828624731a8dd1439d84","datavalue":{"value":"32B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2761874$4D3C2C92-73BA-4F7E-87E7-4598BED7C42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"622398cd60febf1da6a618693240f6ff2097cf89","datavalue":{"value":"14P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2761874$67D0D587-B4A6-4B59-8A08-BFB4261560F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"294feafeca5dc54cd8641d4acaa047f18e5cf105","datavalue":{"value":"1686432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2761874$6554669C-B101-4944-9E45-B5BD58C979C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3a61682d3f3453405049d99061cb4d336a816bf","datavalue":{"value":"integration in \\(o\\)-minimal structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2761874$48442152-6E23-4EC7-813A-D5385A428FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"904f75c6cfef467258b8a2725e07f78e93f791f1","datavalue":{"value":"global subanalytic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2761874$1CE7B2E6-F995-497A-9E1D-1F4ADD1088C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1a757bb2f580dffdbcd48b366bd8b18fb7e5751","datavalue":{"value":"\\(x^\\lambda\\)-functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2761874$A869C0F1-D1EC-4156-81B7-9FE6A5B7C52C","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":"Q2761874$33BC6803-A69A-4176-BEB4-A4664D0325B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"edbe713015496acf5ae7ba56593c0f61fc54f3ac","datavalue":{"value":{"text":"Oscillating properties in the integration of \\(x^\\lambda\\)-functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2761874$3C56C965-0DB3-45B2-A7D8-BBEC88218E6C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784dddcb21c0c16cef72e3635cdb449a46407e47","datavalue":{"value":{"entity-type":"item","numeric-id":6483305,"id":"Q6483305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2761874$38B3000F-7E1D-4D9C-B450-58DADAC07415","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4c56d7b8e6654d20f97daf3c4734574bfe3858ce","datavalue":{"value":"J. M. Lion and J. P. Rolin studied the integrals of global subanalytic functions on global subanalytic sets and proved that such integrals belong to the class of logarithmico-exponential (LE) functions.NEWLINENEWLINE ``Global'' means working in the projective space and replaces advantageously ``relatively compact'' of \u0141ojasiewicz and his group. Gabrielov showed that global subanalytic functions form an \\(o\\)-minimal structure.NEWLINENEWLINE The author deals with a larger \\(o\\)-minimal structure of \\(x^\\lambda\\)-functions, introduced by Miller and Tougeron. These are finite compositions of global subanalytic functions and power maps (the latter prolongated by 0 where necessary).NEWLINENEWLINE A power map writes \\(\\Gamma (x_1,\\dots, x_p)=(x_1^{\\gamma_1},\\dots,x_p^{\\gamma_p})\\). Thus \\(\\gamma=(\\gamma_1, \\dots, \\gamma_p)\\) is a parameter. A function \\(h_k\\circ\\Gamma_k\\circ\\cdots\\circ h_1\\circ \\Gamma_1\\), with \\(h_i\\) global subanalytic and \\(\\Gamma_i\\) power maps will be denoted \\(f_\\gamma\\), where \\(\\gamma=(\\gamma_1,\\dots,\\gamma_p)\\) all the powers that appear in \\(\\Gamma_i\\), \\(i=1,\\dots,k\\).NEWLINENEWLINE With this notation, the author proves Theorem 1. If \\(f_\\gamma:\\mathbb{R}^{n+1}\\to \\mathbb{R}\\) is an \\(x^\\lambda\\)-function with \\(\\gamma \\in\\mathbb{R}^N\\), then there exists a subset \\(D_\\gamma\\subset\\mathbb{R}^N\\) of full Lebesgue measure such that for all \\(\\gamma\\in D_\\gamma\\) and all continuous \\(x^\\lambda\\)-functions \\(\\varphi<\\psi\\) defined on \\(\\mathbb{R}^n\\) the integral NEWLINE\\[NEWLINEF_\\gamma (x)= \\int^{\\psi(x)}_{\\varphi(x)} f_\\gamma(x,y)dy\\text{ is again an } x^\\lambda\\text{-function on }\\mathbb{R}^n.NEWLINE\\]NEWLINE We have thus the good non-oscillation properties of the integrals of almost all \\(x^\\lambda\\)-functions, but certainly not all (an idea of a simple counterexample is given).NEWLINENEWLINE Only an idea of the proof is given, as this is a short note of CRAS. The proof is based on Lion-Rolin preparation theorem for \\(x^\\lambda\\)-functions, which permits to integrate them formally and see that an \\(x^\\lambda\\)-function results from this integration only if some diophantine equations on \\(\\gamma_i\\) are verified. It remains to see that the set of good \\(\\gamma\\) is of full measure. To show that, metric properties of real algebraic sets (from Comt\u00e9-Yomdin) are used.NEWLINENEWLINE It would be most interesting to see the proof published and answer the question when the set \\(D_f\\) is described in an explicit way.NEWLINENEWLINE Theorem 2 shows that for almost all parameters the number of connected components of the level sets of integrals \\(F\\) is uniformly bounded.NEWLINENEWLINE This is a natural consequence of non-oscillation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2761874$9E341A48-CF3B-4E4D-9960-D66338DF258F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22d6cd82351380eb22dbc1bfae53127e5f623715","datavalue":{"value":{"entity-type":"item","numeric-id":1643995,"id":"Q1643995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1caa50f63230cb8a7d6a965e6f4bd2199b03aba0","datavalue":{"value":{"amount":"+0.8100447654724121","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":"Q2761874$C514ABA0-CF6C-4929-86CB-60A8FADFE9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45ccfe76f54e5a7ee6bdbee981c7c1d3289deba3","datavalue":{"value":{"entity-type":"item","numeric-id":1395359,"id":"Q1395359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5b000f3940144a1a24f570be91c055b34847422","datavalue":{"value":{"amount":"+0.7761197686195374","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":"Q2761874$241027AE-0B79-4369-8A3D-F01A0822ABE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7763a06d6ba6b496b6022eb8e14d7c40d8707a5","datavalue":{"value":{"entity-type":"item","numeric-id":627324,"id":"Q627324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33e6736062ba63ffebb0e57077b43d0f8f754acf","datavalue":{"value":{"amount":"+0.7646424770355225","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":"Q2761874$82E8702B-4E16-46C8-92EC-C9EC165400F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d21a2eb28d8f5a76aef26837b7a66bdb5bb76a33","datavalue":{"value":{"entity-type":"item","numeric-id":1593035,"id":"Q1593035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c395fcb877c41c74c8208ef9d01e33606653489b","datavalue":{"value":{"amount":"+0.7498054504394531","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":"Q2761874$BB33B2A7-A2C2-40A5-A038-D2FE560B2AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"794d3fd7b55856440653d37243f29f11a7dfa9e5","datavalue":{"value":{"entity-type":"item","numeric-id":1266236,"id":"Q1266236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"539efd47c580d22869e0e060dd93bfdbd671a987","datavalue":{"value":{"amount":"+0.7238712906837463","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":"Q2761874$EA57D44A-5A7D-4EC5-9506-4B931C449515","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Oscillating properties in the integration of \\(x^\\lambda\\)-functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Oscillating_properties_in_the_integration_of_%5C(x%5E%5Clambda%5C)-functions"}}}}}