Let $𝒳$ be a Banach space of dimension $n>1$ and $𝔄\subset ℬ\left(𝒳\right)$ be a standard operator algebra. In the present paper it is shown that if a mapping $d:𝔄\to 𝔄$ (not necessarily linear) satisfies $$d\left(\right[[U,V],W\left]\right)=\left[\right[d\left(U\right),V],W]+\left[\right[U,d\left(V\right)],W]+\left[\right[U,V],d(W\left)\right]$$ for all $U,V,W\in 𝔄$, then $d=\psi +\tau$, where $\psi$ is an additive derivation of $𝔄$ and $\tau :𝔄\to 𝔽I$ vanishes at second commutator $\left[\right[U,V],W]$ for all $U,V,W\in 𝔄$. Moreover, if $d$ is linear and satisfies the above relation, then there exists an operator $S\in 𝔄$ and a linear mapping $\tau$ from $𝔄$ into $𝔽I$ satisfying $\tau \left(\right[[U,V],W\left]\right)=0$ for all $U,V,W\in 𝔄$, such that $d\left(U\right)=SU-US+\tau \left(U\right)$ for all $U\in 𝔄$.

Let $𝔄=\left(\begin{array}{cc}𝒜& ℳ\\ & ℬ\end{array}\right)$ be the triangular algebra consisting of unital algebras $𝒜$ and $ℬ$ over a commutative ring $R$ with identity $1$ and $ℳ$ be a unital $(𝒜,ℬ)$-bimodule. An additive subgroup $𝔏$ of $𝔄$ is said to be a Lie ideal of $𝔄$ if $[𝔏,𝔄]\subseteq 𝔏$. A non-central square closed Lie ideal $𝔏$ of $𝔄$ is known as an admissible Lie ideal. The main result of the present paper states that under certain restrictions on $𝔄$, every generalized Jordan triple higher derivation of $𝔏$ into $𝔄$ is a generalized higher derivation of $𝔏$ into $𝔄$. ...

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\ge 1$ a fixed positive integer. Let $\alpha$ be an automorphism of the ring $R$. An additive map $D:R\to R$ is called an $\alpha$-derivation (or a skew derivation) on $R$ if $D\left(xy\right)=D\left(x\right)y+\alpha \left(x\right)D\left(y\right)$ for all $x,y\in R$. An additive mapping $F:R\to R$ is called a generalized $\alpha$-derivation (or a generalized skew derivation) on $R$ if there exists a skew derivation $D$ on $R$ such that $F\left(xy\right)=F\left(x\right)y+\alpha \left(x\right)D\left(y\right)$ for all $x,y\in R$. We prove...

Let $ℛ$ be a commutative ring, $𝒢$ be a generalized matrix algebra over $ℛ$ with weakly loyal bimodule and $𝒵\left(𝒢\right)$ be the center of $𝒢$. Suppose that $𝔮:𝒢\times 𝒢\to 𝒢$ is an $ℛ$-bilinear mapping and that ${𝔗}_{𝔮}:𝒢\to 𝒢$ is a trace of $𝔮$. The aim of this article is to describe the form of ${𝔗}_{𝔮}$ satisfying the centralizing condition $[{𝔗}_{𝔮}\left(x\right),x]\in 𝒵\left(𝒢\right)$ (and commuting condition $[{𝔗}_{𝔮}\left(x\right),x]=0$) for all $x\in 𝒢$. More precisely, we will revisit the question of when the centralizing trace (and commuting trace) ${𝔗}_{𝔮}$ has the so-called proper form from a new perspective. Using the aforementioned...

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

Let $R$ be a prime ring with center $Z\left(R\right)$ and $I$ a nonzero right ideal of $R$. Suppose that $R$ admits a generalized reverse derivation $(F,d)$ such that $d\left(Z\right(R\left)\right)\ne 0$. In the present paper, we shall prove that if one of the following conditions holds: (i) $F\left(xy\right)\pm xy\in Z\left(R\right)$, (ii) $F\left(\right[x,y\left]\right)\pm \left[F\right(x),y]\in Z\left(R\right)$, (iii) $F\left(\right[x,y\left]\right)\pm \left[F\right(x),F(y\left)\right]\in Z\left(R\right)$, (iv) $F(x\circ y)\pm F\left(x\right)\circ F\left(y\right)\in Z\left(R\right)$, (v) $\left[F\right(x),y]\pm [x,F(y\left)\right]\in Z\left(R\right)$, (vi) $F\left(x\right)\circ y\pm x\circ F\left(y\right)\in Z\left(R\right)$ for all $x,y\in I$, then $R$ is commutative.

We consider problem (P) of Kirchhoff-Carrier type with nonlinear terms containing a finite number of unknown values $u({\eta }_1,t),\cdots ,u({\eta }_q,t)$ with $0\le {\eta }_1<{\eta }_2<\cdots <{\eta }_q<1.$ By applying the linearization method together with the Faedo-Galerkin method and the weak compact method, we first prove the existence and uniqueness of a local weak solution of problem (P). Next, we consider a specific case $\left({\mathrm{P}}_q\right)$ of (P) in which the nonlinear term contains the sum $S_q\left[u^2\right]\left(t\right)=q^{-1}{\sum }_{i=1}^q{u}^2(\frac{(i-1)}{q},t)$. Under suitable conditions, we prove that the solution of $\left({\mathrm{P}}_q\right)$ converges to the solution...

We show that any ${\Sigma }_s$-product of at most $𝔠$-many $L\Sigma (\le \omega )$-spaces has the $L\Sigma (\le \omega )$-property. This result generalizes some known results about $L\Sigma (\le \omega )$-spaces. On the other hand, we prove that every ${\Sigma }_s$-product of monotonically monolithic spaces is monotonically monolithic, and in a similar form, we show that every ${\Sigma }_s$-product of Collins-Roscoe spaces has the Collins-Roscoe property. These results generalize some known results about the Collins-Roscoe spaces and answer some questions due to Tkachuk [Lifting the Collins-Roscoe...

Let $R$ be a noncommutative prime ring of characteristic different from 2, with its two-sided Martindale quotient ring $Q$, $C$ the extended centroid of $R$ and $a\in R$. Suppose that $\delta$ is a nonzero $\sigma$-derivation of $R$ such that $a{[\delta \left(x^n\right),x^n]}_k=0$ for all $x\in R$, where $\sigma$ is an automorphism of $R$, $n$ and $k$ are fixed positive integers. Then $a=0$.