Identities with Generalized Derivations in Prime Rings

In this paper we investigate identities with two generalized derivations in prime rings. We prove, for example, the following result. Let R be a prime ring of characteristic different from two and let F ₁, F ₂ : R → R be generalized derivations satisfying the relation F ₁(x)F ₂(x) + F ₂(x)F ₁(x) = 0 for all ${x \in R}$ . In this case either F ₁ = 0 or F ₂ = 0.     

On the functional equation f(x+g(y))-f(y+g(y))=f(x)-f(y) on groups

We solve the equation

IDENTITIES WITH GENERALIZED DERIVATIONS

Let R be a prime ring with extended centroid C. By a generalized derivation of R we mean an additive map g: R → R such that (xy) ^g = x^gy + xy ^δ for all x ∈ R, where δ is a derivation of R. In this paper we prove a version of Kharchenko's theorem for generalized derivations and present some results concerning certain identities with generalized derivations.     

Strong commutativity preserving generalized derivations on right ideals

We characterize a prime ring R which admits a generalized derivation g and a map f : ρ → R such that [ f (x), g(y)]?=?[x, y] for all ${x,y\in \rho}$ , where ρ is a nonzero right ideal of R. With this, several known results can be either deduced or generalized.     

Commutativity of rings with derivations

I. N. Herstein [10] proved that a prime ring of characteristic not two with a nonzero derivation d satisfying d(x)d(y) = d(y)d(x) for all x, y must be commutative, and H. E. Bell and M. N. Daif [8] showed that a prime ring of arbitrary characteristic with nonzero derivation d satisfying d(xy) = d(yx) for all x, y in some nonzero ideal must also be commutative. For semiprime rings, we show that an inner derivation satisfying the condition of Bell and Daif on a nonzero ideal must be zero on that ideal, and for rings with identity, we generalize all three results to conditions on derivations of powers and powers of derivations. For example, let R be a prime ring with identity and nonzero derivation d, and let m and n be positive integers such that, when charR is finite, m ∨ n < charR. If d(x ^m y ⁿ ) = d(y ⁿ x ^m ) for all x, y ∈ R, then R is commutative. If, in addition, charR≠ 2 and the identity is in the image of an ideal I under d, then d(x) ^m d(y) ⁿ = d(y) ⁿ d(x) ^m for all x, y ∈ I also implies that R is commutative.     

Cocentralizing and vanishing derivations on multilinear polynomials in prime rings

Let R be a prime ring of characteristic different from 2 and extended centroid C and let f(x1,..., x _n ) be a multilinear polynomial over C not central-valued on R, while δ is a nonzero derivation of R. Suppose that d and g are derivations of R such that

$\delta (d(f(r_1 , \ldots ,r_n ))f(r_1 , \ldots ,r_n ) - f(r_1 , \ldots ,r_n )g(f(r_1 , \ldots ,r_n ))) = 0$

for all r1,..., r _n ∈ R. Then d and g are both inner derivations on R and one of the following holds: (1) d = g = 0; (2) d = ?g and f(x ₁,..., x _n )² is central-valued on R.

     

Annihilating and power-commuting generalized skew derivations on lie ideals in prime rings

Let R be a prime ring of characteristic different from 2 and 3, Q_r its right Martindale quotient ring, C its extended centroid, L a non-central Lie ideal of R and n ≥ 1 a fixed positive integer. Let α be an automorphism of the ring R. An additive map D: R → R is called an α-derivation (or a skew derivation) on R if D(xy) = D(x)y + α(x)D(y) for all x, y ∈ R. An additive mapping F: R → R is called a generalized α-derivation (or a generalized skew derivation) on R if there exists a skew derivation D on R such that F(xy) = F(x)y + α(x)D(y) for all x, y ∈ R.     

Strong commutativity preserving generalized derivations on Lie ideals

We apply elementary matrix computations and the theory of differential identities to prove the following: let R be a prime ring with extended centroid C and L a noncommutative Lie ideal of R. Suppose that f?:?L?→?R is a map and g is a generalized derivation of R such that [f(x),?g(y)]?=?[x,?y] for all x,?y?∈?L. Then there exist a nonzero α?∈?C and a map μ?:?L?→?C such that g(x)?=?αx for all x?∈?R and f(x)?=?α^?1 x?+?μ(x) for all x?∈?L, except when R???M ₂(F), the 2?×?2 matrix ring over a field F.     

The McCoy Condition on Skew Polynomial Rings

Based on a theorem of McCoy on commutative rings, Nielsen called a ring R right McCoy if, for any nonzero polynomials f(x), g(x) over R, f(x)g(x) = 0 implies f(x)r = 0 for some 0 ≠ r ? R. In this note, we consider a skew version of these rings, called σ-skew McCoy rings, with respect to a ring endomorphism σ. When σ is the identity endomorphism, this coincides with the notion of a right McCoy ring. Basic properties of σ-skew McCoy rings are observed, and some of the known results on right McCoy rings are obtained as corollaries.     

On Skew Derivations in Semiprime Rings

We investigate the commutativity in a (semi-)prime ring R which admits skew derivations δ ₁, δ ₂ satisfying [δ ₁(x), δ ₂(y)]?=?[x, y] for all x, y in a nonzero right ideal of R. This result is a natural generalization of Bell and Daif’s theorem on strong commutativity preserving derivations and a recent result by Ali and Huang.     

On some composite functional inequalities

The aim of the paper is to deal with the following composite functional inequalities

Strong commutativity-preserving generalized derivations on semiprime rings

Let R be a ring with a subset S. A mapping of R into itself is called strong commutativitypreserving （scp） on S, if [f（x）, f（y）] = [x, y] for all x, y ∈ S. The main purpose of this paper is to describe the structure of the generalized derivations which are scp on some ideals and right ideals of a prime ring, respectively. The semiprime case is also considered.     

Continuous on rays solutions of an equation of the Go?a?b-Schinzel type

Let X be a real linear space. We characterize continuous on rays solutions f,g:X→R of the equation f(x+g(x)y)=f(x)f(y). Our result refers to papers of J. Chudziak (2006) [14] and J. Brzd?k (2003) [11].     

Solutions of some functional equation bounded on nonzero Christensen measurable sets

Let n be a positive integer. We characterize solutions f: X → ? of the equation f (x + f(x) ⁿ y = f(x)f(y) mapping a real separable F-space X into ?, which are bounded on nonzero Christensen measurable sets.     

Density of slowly oscillating solutions of ẋ(t) = −f(x(t − 1))

We study the scalar, nonlinear Volterra integrodifferential equation (1), x′(t) + ∫_[0,t]g(x(t ? s)) dμ(s) = f(t) (t ? 0). We let g be continuous, μ positive definite, and f integrable over (0, ∞). The standard assumption on g which yields boundedness of the solutions of (1) prevents g(x) from growing faster than an exponential as x → ∞. Here we present a weaker condition on g, which does not restrict the growth rate of g(x) as x → ∞, but which still implies that the solutions of (1) are bounded. In particular, when g is nondecreasing and either nonnegative or odd, we get bounds which are independent of g.     

Cocentralizing derivations and nilpotent values on Lie ideals

Let R be a prime ring with char R ≠ 2, L a non-central Lie ideal of R, d, g non-zero derivations of R, n ≥ 1 a fixed integer. We prove that if (d(x)x − xg(x)) ⁿ = 0 for all x ∈ L, then either d = g = 0 or R satisfies the standard identity s ₄ and d, g are inner derivations, induced respectively by the elements a and b such that a + b ∈ Z(R).     

A Generalized Cubic Functional Equation

In this paper, we determine the general solution of the functional equation f1 （2x ＋ y） ＋ f2（2x - y） = f3（x ＋ y） ＋ f4（x - y） ＋ f5（x） without assuming any regularity condition on the unknown functions f1,f2,f3, f4, f5 ： R→R. The general solution of this equation is obtained by finding the general solution of the functional equations f（2x ＋ y） ＋ f（2x - y） = g（x ＋ y） ＋ g（x - y） ＋ h（x） and f（2x ＋ y） - f（2x - y） = g（x ＋ y） - g（x - y）. The method used for solving these functional equations is elementary but exploits an important result due to Hosszfi. The solution of this functional equation can also be determined in certain type of groups using two important results due to Szekelyhidi.     

On the asymptotic behavior of the solutions of a class of second order nonlinear differential equations

In this paper, we investigate properties of the solutions of a class of second-order nonlinear differential equation such as [p(t)f(x(t))x′(t)]′ + q(t)g(x′(t))e(x(t)) = r(t)c(x(t)). We prove the theorems of monotonicity, nonoscillation and continuation of the solutions of the equation, the sufficient and necessary conditions that the solutions of the equation are bounded, and the asymptotic behavior of the solutions of the equation when t → ∞ on condition that the solutions are bounded. Also we provide the asymptotic relationship between the solutions of this equation and those of the following second-order linear differential equation: [p(t)u′(t)]′ = r(t)u(t)     

Oscillation theorems for second-order nonlinear differential equations with damped term

Several oscillation criteria are given for the second-order damped nonlinear differential equation (a(t)[y′(t)]^σ′i +p(t)[y′(t)]^σ +q(t)f(y(t)) = 0, where σ > 0 is any quotient of odd integers, a ϵ C(R, (0, ∞)), p(t) and q(t) are allowed to change sign on [t_o, ∞), and f ϵ Cl (R, R) such that xf (x) > 0 for x≠0. Our results improve and extend some known oscillation criteria. Examples are inserted to illustrate our results.