{"title":"Lipschitz代数中具有值的连续可微映射的Banach代数上的满射等距","authors":"Daisuke Hirota","doi":"10.1007/s44146-023-00066-x","DOIUrl":null,"url":null,"abstract":"<div><p>Let <span>\\({\\text {Lip}}(I)\\)</span> be the Banach algebra of all Lipschitz functions on the closed unit interval <i>I</i> with the norm <span>\\(\\Vert f\\Vert _L=\\Vert f\\Vert _\\infty +L(f)\\)</span> for <span>\\(f\\in {\\text {Lip}}(I)\\)</span>, where <i>L</i>(<i>f</i>) is the Lipschitz constant of <i>f</i>. We denote by <span>\\(C^{1}(I, {\\text {Lip}}(I))\\)</span> the Banach algebra of all continuously differentiable functions <i>F</i> from <i>I</i> to <span>\\({\\text {Lip}}(I)\\)</span> equipped with the norm <span>\\(\\Vert F\\Vert _{\\Sigma }=\\sup _{s\\in I}\\Vert F(s)\\Vert _L+\\sup _{t\\in I}\\Vert D(F)(t)\\Vert _L\\)</span> for <span>\\(F\\in C^{1}(I, {\\text {Lip}}(I))\\)</span>. In this paper, we prove that if <i>T</i> is a surjective, not necessarily linear, isometry on <span>\\(C^{1}(I, {\\text {Lip}}(I))\\)</span>, then <span>\\(T-T(0)\\)</span> is a weighted composition operator or its complex conjugation. Among other things, any surjective complex linear isometry on <span>\\(C^{1}(I, {\\text {Lip}}(I))\\)</span> is of the following form: <span>\\(c_{1}F(\\tau _1(s),\\tau _2(x))\\)</span>, where <span>\\(c_{1}\\)</span> is a complex number of modulus 1, and <span>\\(\\tau _1\\)</span> and <span>\\(\\tau _2\\)</span> are isometries of <i>I</i> onto itself.</p></div>","PeriodicalId":46939,"journal":{"name":"ACTA SCIENTIARUM MATHEMATICARUM","volume":"89 1-2","pages":"227 - 256"},"PeriodicalIF":0.5000,"publicationDate":"2023-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s44146-023-00066-x.pdf","citationCount":"0","resultStr":"{\"title\":\"Surjective isometries on the Banach algebra of continuously differentiable maps with values in Lipschitz algebra\",\"authors\":\"Daisuke Hirota\",\"doi\":\"10.1007/s44146-023-00066-x\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>Let <span>\\\\({\\\\text {Lip}}(I)\\\\)</span> be the Banach algebra of all Lipschitz functions on the closed unit interval <i>I</i> with the norm <span>\\\\(\\\\Vert f\\\\Vert _L=\\\\Vert f\\\\Vert _\\\\infty +L(f)\\\\)</span> for <span>\\\\(f\\\\in {\\\\text {Lip}}(I)\\\\)</span>, where <i>L</i>(<i>f</i>) is the Lipschitz constant of <i>f</i>. We denote by <span>\\\\(C^{1}(I, {\\\\text {Lip}}(I))\\\\)</span> the Banach algebra of all continuously differentiable functions <i>F</i> from <i>I</i> to <span>\\\\({\\\\text {Lip}}(I)\\\\)</span> equipped with the norm <span>\\\\(\\\\Vert F\\\\Vert _{\\\\Sigma }=\\\\sup _{s\\\\in I}\\\\Vert F(s)\\\\Vert _L+\\\\sup _{t\\\\in I}\\\\Vert D(F)(t)\\\\Vert _L\\\\)</span> for <span>\\\\(F\\\\in C^{1}(I, {\\\\text {Lip}}(I))\\\\)</span>. In this paper, we prove that if <i>T</i> is a surjective, not necessarily linear, isometry on <span>\\\\(C^{1}(I, {\\\\text {Lip}}(I))\\\\)</span>, then <span>\\\\(T-T(0)\\\\)</span> is a weighted composition operator or its complex conjugation. Among other things, any surjective complex linear isometry on <span>\\\\(C^{1}(I, {\\\\text {Lip}}(I))\\\\)</span> is of the following form: <span>\\\\(c_{1}F(\\\\tau _1(s),\\\\tau _2(x))\\\\)</span>, where <span>\\\\(c_{1}\\\\)</span> is a complex number of modulus 1, and <span>\\\\(\\\\tau _1\\\\)</span> and <span>\\\\(\\\\tau _2\\\\)</span> are isometries of <i>I</i> onto itself.</p></div>\",\"PeriodicalId\":46939,\"journal\":{\"name\":\"ACTA SCIENTIARUM MATHEMATICARUM\",\"volume\":\"89 1-2\",\"pages\":\"227 - 256\"},\"PeriodicalIF\":0.5000,\"publicationDate\":\"2023-03-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://link.springer.com/content/pdf/10.1007/s44146-023-00066-x.pdf\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"ACTA SCIENTIARUM MATHEMATICARUM\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s44146-023-00066-x\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACTA SCIENTIARUM MATHEMATICARUM","FirstCategoryId":"1085","ListUrlMain":"https://link.springer.com/article/10.1007/s44146-023-00066-x","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}
Surjective isometries on the Banach algebra of continuously differentiable maps with values in Lipschitz algebra
Let \({\text {Lip}}(I)\) be the Banach algebra of all Lipschitz functions on the closed unit interval I with the norm \(\Vert f\Vert _L=\Vert f\Vert _\infty +L(f)\) for \(f\in {\text {Lip}}(I)\), where L(f) is the Lipschitz constant of f. We denote by \(C^{1}(I, {\text {Lip}}(I))\) the Banach algebra of all continuously differentiable functions F from I to \({\text {Lip}}(I)\) equipped with the norm \(\Vert F\Vert _{\Sigma }=\sup _{s\in I}\Vert F(s)\Vert _L+\sup _{t\in I}\Vert D(F)(t)\Vert _L\) for \(F\in C^{1}(I, {\text {Lip}}(I))\). In this paper, we prove that if T is a surjective, not necessarily linear, isometry on \(C^{1}(I, {\text {Lip}}(I))\), then \(T-T(0)\) is a weighted composition operator or its complex conjugation. Among other things, any surjective complex linear isometry on \(C^{1}(I, {\text {Lip}}(I))\) is of the following form: \(c_{1}F(\tau _1(s),\tau _2(x))\), where \(c_{1}\) is a complex number of modulus 1, and \(\tau _1\) and \(\tau _2\) are isometries of I onto itself.