Results 21 to 30 of about 203,888 (281)
A useful algebra for functional calculus [PDF]
Mathematica Bohemica, 2019 We show that some unital complex commutative LF-algebra of ${\mathcal{C}}^{(\infty)}$ $\mathbb{N}$-tempered functions on $\mathbb{R}^+$ (M. Hemdaoui, 2017) equipped with its natural convex vector bornology is useful for functional calculus.
Mohammed Hemdaoui
doaj +1 more source
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
A transference principle for general groups and functional calculus on UMD spaces [PDF]
, 2008 We prove a transference principle for general (i.e., not necessarily bounded) strongly continuous groups on Banach spaces. If the Banach space has the UMD property, the transference principle leads to estimates for the functional calculus of the group ...
Haase, Markus
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
Pusz–Woronowicz’s functional calculus revisited [PDF]
Acta Scientiarum Mathematicarum, 2021 This note is a complement to Pusz--Woronowicz's works on functional calculus for two positive forms from the viewpoint of operator theory. Based on an elementary, self-contained and purely Hilbert space operator explanation of their functional calculus, we show that any operator connection type operations (including any operator perspectives) are ...
Hatano, Kanae, Ueda, Yoshimichi
openaire +2 more sources
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
Extensions to the Estimation Calculus [PDF]
, 1999 Walther’s estimation calculus was designed to prove the termination of functional programs, and can also be used to solve the similar problem of proving the well-foundedness of induction rules.
Bundy, Alan, Gow, Jeremy, Green, Ian
core +5 more sources
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