Results 11 to 20 of about 26,719 (309)
On functional calculus estimates [PDF]
, 2015 This thesis presents various results within the field of operator theory that are formulated in estimates for functional calculi. Functional calculus is the general concept of defining operators of the form $f(A)$, where f is a function and $A$ is an operator, typically on a Banach space. Norm estimates for $f(A)$ emerge in applications naturally, e.g.,
Schwenninger, F.L.; id_orcid +1 more
openaire +3 more sources
A Validated Real Function Calculus [PDF]
Mathematics in Computer Science, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Collins, Pieter +2 more
openaire +3 more sources
Entropy, 2023 We studied the dynamical behaviors of degenerate stochastic differential equations (SDEs). We selected an auxiliary Fisher information functional as the Lyapunov functional.
Qi Feng, Wuchen Li
doaj +1 more source
Simulation in the call-by-need lambda-calculus with letrec [PDF]
, 2010 This paper shows the equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in the deterministic call-by-need lambda calculus with letrec.
Sabel, David +2 more
core +1 more source
A SURJECTIVITY PROBLEM FOR MATRICES AND NULL CONTROLLABILITY FOR DIFFERENCE AND DIFFERENTIAL MATRIX EQUATIONS [PDF]
Surveys in Mathematics and its Applications, 2020 Let P be a complex polynomial. We prove that the associated polynomial matrix-valued function \tildeP is surjective if for each λ ∈ ℂ the polynomial P-λ has at least a simple zero. The null controllability for difference and differential matrix equations
Donal O'Regan, Constantin Buşe
doaj
Logical Methods in Computer Science, 2020 The main scientific heritage of Corrado B\"ohm consists of ideas about computing, concerning concrete algorithms, as well as models of computability. The following will be presented. 1. A compiler that can compile itself. 2.
Henk P. Barendregt
doaj +1 more source
Factorizations in preduals associated to ρ-contractions
Annals of the West University of Timisoara: Mathematics and Computer Science, 2015 We establish directly factorization results for classes of ρ-contractions, corresponding to those obtained for certain classes of contractions. As an example of result which is not an immediate consequence of the fact that any ρ-contraction is similar to
Chevreau Bernard, Crăciunescu Aurelian
doaj +1 more source
Homomorphisms and functional calculus in algebras of entire functions on Banach spaces
Karpatsʹkì Matematičnì Publìkacìï, 2015 In the paper the homomorphisms of algebras of entire functions on Banach spaces to a commutative Banach algebra are studied. In particular, it is proposed a method of constructing of homomorphisms vanishing on homogeneous polynomials of degree less or ...
H.M. Pryimak
doaj +1 more source
The Omega Rule is $\mathbf{\Pi_{1}^{1}}$-Complete in the $\lambda\beta$-Calculus [PDF]
Logical Methods in Computer Science, 2009 In a functional calculus, the so called \Omega-rule states that if two terms P and Q applied to any closed term N return the same value (i.e. PN = QN), then they are equal (i.e. P = Q holds).
Benedetto Intrigila, Richard Statman
doaj +1 more source
Extensions of the multicentric functional calculus
, 2021 In operator theory, one of the central concepts is the spectrum of an operator and if one knows how to separate the spectrum into components, then the multicentric calculus is a useful tool, introduced by Olavi Nevanlinna in 2011.
Andrei, Diana
core +1 more source