(ϕ, φ)-derivations on semiprime rings and Banach algebras

Let ℛ be a semiprime ring with unity e and ϕ, φ be automorphisms of ℛ. In this paper it is shown that if ℛ satisfies 2 𝒟 ( x n ) = 𝒟 ( x n - 1 ) φ ( x ) + ϕ ( x n - 1 ) 𝒟 ( x ) + 𝒟 ( x ) φ ( x n - 1 ) + ϕ ( x ) 𝒟 ( x n - 1 ) 2\mathcal{D}\left( {{x^n}} \right) = \mathcal{D}\left( {{x^{n - 1}}} \right)\phi \left( x \right) + \varphi \left( {{x^{n - 1}}} \right)\mathcal{D}\left( x \right) + \mathcal{D}\left( x \right)\phi \left( {{x^{n - 1}}} \right) + \varphi \left( x \right)\mathcal{D}\left( {{x^{n - 1}}} \right) for all x ∈ ℛ and some fixed integer n ≥ 2, then 𝒟 is an (ϕ, φ)-derivation. Moreover, this result makes it possible to prove that if ℛ admits an additive mappings 𝒟, Gscr; : ℛ → ℛ satisfying the relations 2 𝒟 ( x n ) = 𝒟 ( x n - 1 ) φ ( x ) + ϕ ( x n - 1 ) 𝒢 ( x ) + 𝒢 ( x ) φ ( x n - 1 ) + ϕ ( x ) 𝒢 ( x n - 1 ) , 2\mathcal{D}\left( {{x^n}} \right) = \mathcal{D}\left( {{x^{n - 1}}} \right)\phi \left( x \right) + \varphi \left( {{x^{n - 1}}} \right)\mathcal{G}\left( x \right) + \mathcal{G}\left( x \right)\phi \left( {{x^{n - 1}}} \right) + \varphi \left( x \right)\mathcal{G}\left( {{x^{n - 1}}} \right), 2 𝒢 ( x n ) = 𝒢 ( x n - 1 ) φ ( x ) + ϕ ( x n - 1 ) D ( x ) + 𝒟 ( x ) φ ( x n - 1 ) + ϕ ( x ) 𝒟 ( x n - 1 ) , 2\mathcal{G}\left( {{x^n}} \right) = \mathcal{G}\left( {{x^{n - 1}}} \right)\phi \left( x \right) + \varphi \left( {{x^{n - 1}}} \right)\mathcal{D}\left( x \right) + \mathcal{D}\left( x \right)\phi \left( {{x^{n - 1}}} \right) + \varphi \left( x \right)\mathcal{D}\left( {{x^{n - 1}}} \right), for all x ∈ ℛ and some fixed integer n ≥ 2, then 𝒟 and 𝒢 are (ϕ, φ)- derivations under some torsion restriction. Finally, we apply these purely ring theoretic results to semi-simple Banach algebras.