Lebesgue type decompositions for nonnegative forms (Q1044525): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Normalize DOI.
 
(3 intermediate revisions by 3 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.jfa.2009.09.014 / rank
Normal rank
 
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.jfa.2009.09.014 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2079431842 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Shorted Operators / rank
 
Normal rank
Property / cites work
 
Property / cites work: Series and parallel addition of matrices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Shorted Operators. II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4104874 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3218656 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Radon-Nikodym Theorem for Finite Rings of Operators / rank
 
Normal rank
Property / cites work
 
Property / cites work: A potential-theoretic approach to parallel addition / rank
 
Normal rank
Property / cites work
 
Property / cites work: On operator ranges / rank
 
Normal rank
Property / cites work
 
Property / cites work: Absolute continuity for operator valued completely positive maps on C∗-algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: The basic propositions on defect numbers, root numbers and indices of linear operators / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3560684 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A canonical decomposition for linear operators and linear relations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decomposition of quotients of bounded operators with respect to closability and Lebesgue-type decomposition of positive operators / rank
 
Normal rank
Property / cites work
 
Property / cites work: Unbounded operators: Perturbations and commutativity problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3699471 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lebesgue Decomposition of States on a Von Neumann Algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Singular perturbations with an infinite constant coupling / rank
 
Normal rank
Property / cites work
 
Property / cites work: On characteristic properties of singular operators / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3910976 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Characterization of operations derived from network connections / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3322696 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On a singular part of an unbounded operator / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4034377 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Functional calculus for sesquilinear forms and the purification map / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3909512 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4877587 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The theory of linear relations and spaces with an indefinite metric / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lower semicontinuhy of positive quadratic forms / rank
 
Normal rank
Property / cites work
 
Property / cites work: A canonical decomposition for quadratic forms with applications to monotone convergence theorems / rank
 
Normal rank
Property / cites work
 
Property / cites work: An asymmetric Putnam–Fuglede theorem for unbounded operators / rank
 
Normal rank
Property / cites work
 
Property / cites work: Boundedness of the shift operator related to positive definite forms: An application to moment problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decompositions of operator-valued functions in Hilbert spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4112987 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.JFA.2009.09.014 / rank
 
Normal rank

Latest revision as of 15:01, 10 December 2024

scientific article
Language Label Description Also known as
English
Lebesgue type decompositions for nonnegative forms
scientific article

    Statements

    Lebesgue type decompositions for nonnegative forms (English)
    0 references
    0 references
    0 references
    0 references
    18 December 2009
    0 references
    If \(\lambda\) and \(\mu\) are finite positive measures on a \(\sigma\)-algebra over a set \(X\), then the Lebesgue decomposition \(\lambda= \lambda_r+ \lambda_s\) is well-known, where \(\lambda_r\) is absolutely continuous and \(\lambda_s\) is singular with respect to \(\mu\). This induces a decomposition of the nonnegative sesquilinear form (for short only ``form'') \({\mathfrak t}(\varphi,\psi):= \int_X \varphi\bar{\psi}\,d\lambda\) defined on the linear span of all characteristic functions of measurable sets: By means of the forms \({\mathfrak t}_{\text{reg}} (\varphi,\psi):= \int_X \varphi \bar{\psi}\,d\lambda_r\) and \({\mathfrak t}_{\text{sing}} (\varphi,\psi):= \int_X \varphi \bar{\psi}\,d\lambda_s\), we obtain \({\mathfrak t}= {\mathfrak t}_{\text{reg}}+ {\mathfrak t}_{\text{sing}}\). Here, (i) \({\mathfrak t}_{\text{reg}}\) is closable and (ii) \({\mathfrak t}_{\text{sing}}\) is singular with respect to the form \({\mathfrak w} (\varphi,\psi):= \int_X \varphi\bar{\psi}\,d\mu\). Property (i) means \({\mathfrak t}_{\text{reg}} (\varphi_n- \varphi_m, \varphi_n- \varphi_m) \to 0\), \({\mathfrak w}(\varphi_n, \varphi_n)\to 0\Rightarrow {\mathfrak t}_{\text{reg}} (\varphi_n, \varphi_n)\to 0\) and property (ii) means for each \(\varphi\) the existence of \(\varphi_n\) with \({\mathfrak w} (\varphi_n, \varphi_n)\to 0\) and \({\mathfrak t}_{\text{sing}} (\varphi_n- \varphi, \varphi_n- \varphi)\to 0\). The present paper shows that there is a general principle behind this: Such a Lebesgue type decomposition is always possible for two forms \({\mathfrak t}\) and \({\mathfrak w}\) on a complex linear space \({\mathfrak V}\). A number of equivalent conditions for properties (i) and (ii) are given. In particular, a form is closable with respect to \({\mathfrak w}\) if and only if it is almost dominated by \({\mathfrak w}\). The essential tool for the characterization of properties (i) and (ii) is the introduction of a new form \({\mathfrak t}: {\mathfrak w}\) called the parallel sum. It turns out that among all Lebesgue type decompositions for \({\mathfrak t}\) and \({\mathfrak w}\) there is exactly one, the so-called Lebesgue decomposition, such that \({\mathfrak t}_{\text{reg}}\) is the maximum of all forms majorized by \({\mathfrak t}\) which are almost dominated by \({\mathfrak w}\). A necessary and sufficient condition is formulated such that there is no other Lebesgue type decomposition except the Lebesgue decomposition. Moreover, this theory is applied to positive definite kernels. From the theory for forms, moreover, the Lebesgue decomposition for bounded nonnegative operators in a Hilbert space is also obtained. This was already presented by \textit{T.\,Ando} [Acta Sci.\ Math.\ 38, 253--260 (1976; Zbl 0337.47011)] and, together with a problem posed by \textit{B.\,Simon} [J.~Funct.\ Anal.\ 28, 377--385 (1978; Zbl 0413.47029)], appears to have inspired the present work.
    0 references
    nonnegative sesquilinear forms
    0 references
    parallel sum
    0 references
    almost dominated part
    0 references
    singular part
    0 references
    Lebesgue type decomposition
    0 references
    Lebesgue decomposition
    0 references
    pairs of nonnegative finite measures
    0 references
    pairs of nonnegative bounded operators
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers