{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q709291","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q709291","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q709291","kernelVersion":"v1","immutable":true,"modified":"2025-07-07T17:43:33Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q709291","name":"De Branges-Rovnyak spaces and Dirichlet spaces","headline":"De Branges-Rovnyak spaces and Dirichlet spaces","description":"scientific article; zbMATH DE number 5801194","url":"https://portal.mardi4nfdi.de/entity/Q709291","datePublished":"2010-10-18","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q709290"},{"@id":"https://portal.mardi4nfdi.de/entity/Q291759"},{"@id":"https://portal.mardi4nfdi.de/entity/Q329467"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q165791"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1016/J.JFA.2010.07.004","url":"https://doi.org/10.1016/J.JFA.2010.07.004"},"sameAs":["https://doi.org/10.1016/J.JFA.2010.07.004"],"comment":"For a function \\(b\\) in the unit ball of \\(H^{\\infty}=H^{\\infty}(\\mathbb{D})\\), the de Branges-Rovnyak space \\(\\mathcal{H}(b)\\), as a linear space, is the image of the Hardy space \\(H^2\\) under the operator \\((I-T_{b}T_{\\bar{b}})^{1/2}\\), where \\(T_b\\) and \\(T_{\\bar{b}}\\) are Toeplitz operators on \\(H^2\\) with symbols \\(b\\) and \\(\\bar{b}\\), respectively. The inner product on \\(\\mathcal{H}(b)\\) is defined in such a way that the map \\((I-T_{b}T_{\\bar{b}})^{1/2}\\) is an isometry from \\(H^2\\) onto \\(\\mathcal{H}(b)\\). For a finite positive Borel measure \\(\\mu\\) on the unit circle \\(\\mathbb{T}\\), let \\(P\\mu\\) denote the Poisson integral of \\(\\mu\\). The Dirichlet space \\(\\mathcal{D}(\\mu)\\) consists of all functions \\(f\\in H^2\\) such that \\[ D_{\\mu}(f) = \\frac{1}{\\pi}\\,\\int_\\mathbb{D}|f'(z)|^2P\\mu(z)\\,dA(z)<\\infty, \\] where \\(dA\\) is the area measure on the plane. The norm on \\(\\mathcal{D}(\\mu)\\) is given by \\(\\|f\\|^2_{\\mu}=\\|f\\|^2_{2}+D_{\\mu}(f)\\). For any \\(\\lambda\\in\\mathbb{T}\\), the local Dirichlet space \\(\\mathcal{D}_{\\lambda}\\) is defined to be \\(\\mathcal{D}(\\delta_{\\lambda})\\), where \\(\\delta_{\\lambda}\\) is the unit point mass at \\(\\lambda\\). It was shown by \\textit{D.\\,Sarason} [Proc.\\ Am.\\ Math.\\ Soc.\\ 125, No.\\,7, 2133--2139 (1997; Zbl 0870.46019)] that \\(\\mathcal{D}_{\\lambda}=\\mathcal{H}(b_{\\lambda})\\) with equal norm for an appropriate \\(b_{\\lambda}\\). One of the results in the paper under review concerns the question: under what conditions on the function \\(b\\) and the measure \\(\\mu\\) does \\(\\mathcal{D}(\\mu)=\\mathcal{H}(b)\\) with equality of norms? The authors answer this question completely by showing that \\(\\mu\\) must be a positive multiple of the point mass \\(\\delta_{\\lambda}\\) and \\(b\\) must be of an appropriate form. The proof makes use of certain inner product formulas in \\(\\mathcal{H}(b)\\) due to Sarason. For a function \\(f\\) on the unit disk and \\(0