{"entities":{"Q4435543":{"pageid":6465142,"ns":120,"title":"Item:Q4435543","lastrevid":109236476,"modified":"2026-11-11T20:32:37Z","type":"item","id":"Q4435543","labels":{"en":{"language":"en","value":"A phase transition phenomenon between the isometric and isomorphic extension problems for H\u00f6lder functions between<i>L<sub>p</sub></i>spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2003658"}},"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":"Q4435543$DE5B72FB-485C-4B92-83F3-04444448F831","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb140b39cc6fe0405018b37ccb573e994f66db7a","datavalue":{"value":{"text":"A phase transition phenomenon between the isometric and isomorphic extension problems for H\u00f6lder functions between<i>L<sub>p</sub></i>spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4435543$F773A160-FC42-4E64-B402-A84C49AD625D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ddf396095cf0fc33c404688b1ce32574d8c4fbd","datavalue":{"value":"1059.46059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4435543$57DAC98F-4987-47DA-8540-1009DF88C676","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f4bbbf797a18b528936479979ed70c08580754a","datavalue":{"value":"10.1112/S0025579300014480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4435543$1E42385A-3108-4B43-96A7-2293BCF48B5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e15064a955e2b0fc1477893d6cd3b38b1f1b89dc","datavalue":{"value":{"entity-type":"item","numeric-id":185634,"id":"Q185634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4435543$F026F628-E9AC-4EA0-9AC3-F42483779F94","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"339026d43fac997dddeec93b4b99c7491af92082","datavalue":{"value":{"entity-type":"item","numeric-id":2810726,"id":"Q2810726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4435543$8B1F3F32-9A80-4776-B1D6-107EDB3667FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1ec944198aab891a67df1853982c2a62bcd8045","datavalue":{"value":{"time":"+2003-11-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":"Q4435543$31D8AD07-78AD-4498-A7C7-C2E40CCD0EE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2bb0a9b5cc34aac48ce30600862f79854c409cf1","datavalue":{"value":"46T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4435543$B7065AC7-C82D-4E73-934B-FC49A4F12FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1843e81409f3792b00d3182ce7ba4ed15ff9fdc","datavalue":{"value":"46B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4435543$BC045026-8A9C-455F-88C9-D3492B1682BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d594712b08c5b078d82458af9336fcf91cce9154","datavalue":{"value":"54C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4435543$37DFE61E-A3EC-417C-A36B-B5F1DA1BD00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"486e712aa0e58a7d88cad0afe626adea8bd0f027","datavalue":{"value":"54E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4435543$4FE947DA-4959-4267-A0E9-A870A87289F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ada81ae8bf5873810ebfd085d8910ff6415e0ae","datavalue":{"value":"2003658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4435543$56C0C274-25E6-47F3-AB7B-C8BF45F9F110","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8d761bcf32439983e6470d9e2af5f52e0547601","datavalue":{"value":"extension of a map","type":"string"},"datatype":"string"},"type":"statement","id":"Q4435543$A41702B5-E90B-45DB-A3F5-F7AA6A61D715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84e2ebc9be429f737cc45a07bca9099b477c7325","datavalue":{"value":"H\u00f6lder map","type":"string"},"datatype":"string"},"type":"statement","id":"Q4435543$F0E94A6E-5244-496E-A9DC-41657A49FAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a669fffeb180971662fbf52bb7751b8562d0639f","datavalue":{"value":"Lipschitz map","type":"string"},"datatype":"string"},"type":"statement","id":"Q4435543$A5A89C4D-2CB9-4146-86AB-61699045135F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2aecebac37bd6ac9c35fea5edc324bde5b2fb04","datavalue":{"value":"\\(L_p\\) space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4435543$8293D4CC-7B37-4BBC-AE77-56BAF024E7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a8972ed08bac6095e6c84d50f7cbbb0fdee09a8","datavalue":{"value":"Markov type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4435543$762B6813-2FA9-49FD-9CC2-AF176D3E6ED6","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":"Q4435543$D81A9D99-85A2-4727-9DAF-D09E9A7458C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dbad5957252b577af581393e4d5e385b4da29d1","datavalue":{"value":{"entity-type":"item","numeric-id":4228088,"id":"Q4228088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4435543$E9E9C3ED-B513-4FA5-A2E1-E1E639E95F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d972eafcd54f7c7180f39b12b2ef2c769bc12e85","datavalue":{"value":{"entity-type":"item","numeric-id":1200020,"id":"Q1200020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4435543$4E6EFBA8-F587-44BC-910F-C4FE5C978C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe6de0e03b6f04b5fcf8b4fe9f7d754d9a60c923","datavalue":{"value":{"entity-type":"item","numeric-id":4938152,"id":"Q4938152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4435543$E0B11BE3-D886-4318-ADE3-65DFD2B78EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e370efd923bcb3906aaa04a4e20a82014e6ab29","datavalue":{"value":{"entity-type":"item","numeric-id":2539309,"id":"Q2539309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4435543$E02605FC-65BD-4F70-89D8-A0A041836858","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7942ed3b31045dd4d4c061be8b03130569de6add","datavalue":{"value":{"entity-type":"item","numeric-id":2382242,"id":"Q2382242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c0a31286ba22940f8a71e45e9d053f0c8cd2b18","datavalue":{"value":{"amount":"+0.8458555936813354","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":"Q4435543$F48EFBA6-F7CF-4197-AF98-96D1785B34D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b082a308e201292786a1ed81376dcb410b721b3","datavalue":{"value":{"entity-type":"item","numeric-id":3326256,"id":"Q3326256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e0650c0dd28f95cc2e9f81f79b0bdc4ffcdb642","datavalue":{"value":{"amount":"+0.8180156946182251","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":"Q4435543$CA64809A-52D0-4D24-A4E5-F785D12B216B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90254e4305fd1ee4d3722f193ccc2b0b1e0c0bef","datavalue":{"value":{"entity-type":"item","numeric-id":2357002,"id":"Q2357002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38b28f043c7d5b7c5d458012c404eb7d5ac9ef08","datavalue":{"value":{"amount":"+0.8133831024169922","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":"Q4435543$78E061EF-0C05-4D1E-BEB9-CEE8F62D7434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5fa88f63041005f49a0a41ecbf68f2b2b87ea46","datavalue":{"value":{"entity-type":"item","numeric-id":3622645,"id":"Q3622645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c47f9a3904089873e44a3c7853fc2d29f79780e","datavalue":{"value":{"amount":"+0.801496684551239","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":"Q4435543$864DDF60-D1D2-483E-A3A1-8BCDFC1FDB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44958cb56ad8985dd4b1c569aee158a5fc9e59cb","datavalue":{"value":{"entity-type":"item","numeric-id":2492894,"id":"Q2492894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ddff907fa9a05c9ed7149d5fcea162bb6f0eebd","datavalue":{"value":{"amount":"+0.7993372678756714","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":"Q4435543$4C60B8AD-62F4-4225-B206-4D166999A60B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"96c4823d6243102cc00691daf2dfee98bc0bd30c","datavalue":{"value":"The author studies the possibility to extend H\u00f6lder maps \\(f: D\\subseteq L_p\\to L_q\\) from subsets \\(D\\) of \\(L_p\\) to H\u00f6lder maps \\(\\widetilde f: L_p\\to L_q\\), for \\(1<p,q\\leq 2\\). Let \\(X\\) and \\(Y\\) be two metric spaces, and let \\(f: D\\subseteq X\\to Y\\) be an \\(\\alpha\\)-H\u00f6lder map with constant \\(K\\). An \\(\\alpha\\)-H\u00f6lder function \\(\\widetilde f: X\\to Y\\) is an isometric (resp. \\(C\\)-isomorphic) extension of \\(f\\) if \\(f\\) is the restriction of \\(\\widetilde f\\) to \\(D\\) and the \\(\\alpha\\)-H\u00f6lder constant of \\(\\widetilde f\\) is \\(K\\) (resp., is \\(\\leq CK\\)). \\({\\mathcal B}(X,Y)\\) is the set of all \\(\\alpha>0\\) such that there is a constant \\(C>0\\) such that, for every \\(D\\subseteq X\\), every \\(\\alpha\\)-H\u00f6lder map \\(f: D\\to Y\\) has a \\(C\\)-isomorphic extension; \\({\\mathcal A}(X,Y)\\) is the subset of \\({\\mathcal B}(X,Y)\\) for which one can take the constant \\(C=1\\) (i.e., all the \\(f\\)'s have an isometric extension). The main result is that, for \\(1<p,q\\leq 2\\), one has, where \\(q^\\ast=q/(q-1)\\): (1)~\\({\\mathcal A}(L_p,L_q)=\\,]0,p/q^\\ast]\\); (2)~\\({\\mathcal B}(L_p,L_q)=\\,]0,p/2]\\); (3)~for any \\(p/2<\\alpha\\leq 1\\), there is an \\(\\alpha\\)-H\u00f6lder function from a subset of the unit ball of \\(L_p\\) to \\(L_q\\) which has no isomorphic extension to the unit ball of \\(L_p\\). For \\(1<q<2\\), one has \\(p/2>p/q^\\ast\\): this is the phase transition phenomenon. This phenomenon does not appear for \\(1<p\\leq 2\\leq q<\\infty\\): for these values, the author proves that \\({\\mathcal A}(L_p,L_q)={\\mathcal B}(L_p,L_q)=\\,]0, p/q]\\). Part 1 of the main result can actually be found in [\\textit{J. H. Wells} and \\textit{L. R. Williams}, Embeddings and extensions in analysis (1975; Zbl 0324.46034); see also \\textit{L. Williams}, \\textit{J. H. Wells} and \\textit{T. L. Hayden}, Stud. Math. 39, 29--38 (1971; Zbl 0215.19902)], but the author gives a simplified proof. To prove that \\({\\mathcal A}(L_p,L_q)\\subseteq \\,]0, p/q^\\ast]\\), he uses the map \\(f: \\{e_1,\\ldots,e_n\\}\\to L_q(\\{-1,1\\}^n)\\) defined by \\(f(e_j)=r_j\\), where \\((e_1,\\dots, e_n)\\) is the canonical basis of \\(\\ell_p^n\\) and \\(r_1,\\dots,r_n\\) the Rademacher function, and then uses a probabilistic estimate on the \\(r_j\\)'s (Lemma 2). To prove that \\(]0, p/q^\\ast]\\subseteq {\\mathcal A}(L_p,L_q)\\), the author uses again several probabilistic inequalities to obtain an intersection property for balls, which allows him to extend the function by induction (Zorn's lemma). To prove Part 2, the author begins to show the surprisingly nontrivial fact that \\(\\alpha\\in {\\mathcal B}(X,Y)\\) and \\(\\beta\\leq \\alpha\\) imply that \\(\\beta\\in {\\mathcal B}(X,Y)\\) for every metric space \\(X\\) and every dual Banach space \\(Y\\) (the author says at the end of his paper that \\textit{Yu. Brudnyi} and \\textit{P. Shvartsman} [Geom. Funct. Anal. 12, No. 1, 73--79 (2002; Zbl 1011.46037)], have removed the dual assumption on \\(Y\\)). The proof uses then the notion of Markov type of metric spaces \\(X\\), introduced by \\textit{K. Ball} [Geom. Funct. Anal. 2, No. 2, 137--172 (1992; Zbl 0788.46050)] (this notion is defined by using Markov chains in \\(X\\)). Using results of Ball's quoted paper, he shows that every Lipschitz function \\(f: D\\to L_q\\) from a subset \\(D\\) of a metric space \\(X\\) with Markov type \\(2\\) into \\(L_q\\), \\(1<q\\leq 2\\) can be extended to all of \\(X\\), with a control on the Lipschitz constant, and he gives a direct proof that, for \\(1<p<2\\), \\(L_p\\) has Markov type \\(\\alpha\\) with constant \\(1\\), for \\(0<\\alpha\\leq p\\). Subsequent work of the author on the subject can be found in \\textit{A. Naor}, \\textit{Yu. Peres}, \\textit{O. Schramm} and \\textit{S. Sheffield} [Markov chains in smooth Banach spaces and Gromov hyperbolic metric spaces, see \\texttt{http://arXiv.org/abs/math.FA/0410422]}. They show, in particular, that for \\(1<q<2<p<\\infty\\), any Lipschitz map from a subset of \\(L_p\\) to \\(L_q\\) has a Lipschitz extension to \\(L_p\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q4435543$E4C1202D-DD60-4ABC-955A-FF84EA1D446E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4435543","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4435543"}}}}}