Let R be a ring and U be a Lie ideal of R. Suppose that σ, τ are endomorphisms of R. A family D = {d n } n ∈ N of additive mappings d n :R → R is said to be a (σ,τ)- higher derivation of U into R if d 0 = I R , the identity map on R and [Formula: see text] holds for all a, b ∈ U and for each n ∈ N. A family F = {f n } n ∈ N of additive mappings f n :R → R is said to be a generalized (σ,τ)- high...

soil water retention curve is one of the crucial input parameters in any modeling study on water flow and solute transport in soils. direct measurement of soil water retention curve is time-consuming and costly. alternatively, pedotransfer functions (ptfs) may be used to indirectly estimate the soil water retention curve from easily measured soil properties. many equations for the soil water re...

let $mathcal{a}$ be a $c^*$-algebra and $z(mathcal{a})$ the‎ ‎center of $mathcal{a}$‎. ‎a sequence ${l_{n}}_{n=0}^{infty}$ of‎ ‎linear mappings on $mathcal{a}$ with $l_{0}=i$‎, ‎where $i$ is the‎ ‎identity mapping‎ ‎on $mathcal{a}$‎, ‎is called a lie higher derivation if‎ ‎$l_{n}[x,y]=sum_{i+j=n} [l_{i}x,l_{j}y]$ for all $x,y in  ‎mathcal{a}$ and all $ngeqslant0$‎. ‎we show that‎ ‎${l_{n}}_{n...

Abstract. Let R be a 2-torsion free ring with identity. In this paper, first we prove that any Jordan left derivation (hence, any left derivation) on the full matrix ringMn(R) (n 2) is identically zero, and any generalized left derivation on this ring is a right centralizer. Next, we show that if R is also a prime ring and n 1, then any Jordan left derivation on the ring Tn(R) of all n×n uppe...

Let τ be a hereditary torsion theory on ModR and suppose that Qτ : ModR → ModR is the localization functor. It is shown that for all R-modules M, every higher derivation defined on M can be extended uniquely to a higher derivation defined on Qτ(M) if and only if τ is a higher differential torsion theory. It is also shown that if τ is a TTF theory and Cτ : M →M is the colocalization functor, the...

the aim of this paper is to show that under some mild conditions a functional equation of multiplicative (; )-derivation is superstable on standard operator algebras. furthermore, we prove that this generalized derivation can be a continuous and an inner (; )- derivation.

Model checking of recursion schemes, known as higher-order model checking, has actively been studied recently and is becoming a basis for verification of higher-order programs. Some practical model checking algorithms have been developed based on the reduction from model checking to intersection type inference, but they are not completely satisfactory. We propose a novel approach to developing ...

We extend an existing first-order typing system for strictness analysis to the fully higher-order case, covering both the derivation system and the inference algorithm. The resulting strictness typing system has expressive capabilities far beyond that of traditional strictness analysis systems. This extension is developed with the explicit aim of formally proving soundness of higher-order stric...