^Let ii be a simply connected domain in C1 with the area measure dA . Let Pa be the orthogonal projection from L?(Q.,dA) onto the closed subspace of antiholomorphic functions in L2(Í2, dA). The Friedrichs operator Tçi associated to Í2 is the operator from the Bergman space L*(Q.) into L2(fi, dA) defined by Tnf = Paf. In this note, some smoothness conditions on the boundary of Í2 are given such ...

in this work, we describe an adjunction between the comma category of set-based monads under the v -powerset monad and the category of associative lax extensions of set-based monads to the category of v -relations. in the process, we give a general construction of the kleisli extension of a monad to the category of v-relations.

We investigate a peculiar intuitionistic modal logic, called Propositional Lax Logic (PLL), which has promising applications to the formal veri cation of computer hardware. The logic has emerged from an attempt to express correctness `up to' behavioural constraints | a central notion in hardware veri cation | as a logical modality. As a modal logic it is special since it features a single modal...

Problems of existence of the singular spectrum on the continuous spectrum emerges in some mathematical aspects of quantum scattering theory and quantum solid physics. In the latter field, this phenomenon results from physical effects such as the Anderson transitions in dielectrics. In the study of this problem, selfadjoint Friedrichs model operators play an important part and constitute quite a...

Explicit naming of the domain of an unbounded operator is often suppressed, instead writing T1 ⊂ T2 when T2 is an extension of T1, in the sense that the domain of T2 contains that of T1, and the restriction of T2 to the domain of T1 agrees with T1. An operator T ′, D′ is a sub-adjoint to an operator T,D when 〈Tv,w〉 = 〈v, T ′w〉 (for v ∈ D, w ∈ D′) For D dense, for given D′ there is at most one T...