{"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}
引用次数: 0
Abstract
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.