Lie Triple Derivable Mappings on Rings

Let ? be a ring containing a nontrivial idempotent. In this article, under a mild condition on ?, we prove that if δ is a Lie triple derivable mapping from ? into ?, then there exists a Z _{A, B} (depending on A and B) in its centre 𝒵(?) such that δ(A + B) = δ(A) + δ(B) + Z _{A, B} . In particular, let ? be a prime ring of characteristic not 2 containing a nontrivial idempotent. It is shown that, under some mild conditions on ?, if δ is a Lie triple derivable mapping from ? into ?, then δ = D + τ, where D is an additive derivation from ? into its central closure T and τ is a mapping from ? into its extended centroid 𝒞 such that τ(A + B) = τ(A) + τ(B) + Z _{A, B} and τ([[A, B], C]) = 0 for all A, B, C ∈ ?.     

The Extension of Möbius Groups

Let G be a non-elementary subgroup of SL(2,Г _n ) containing hyperbolic elements. We show that G is the extension of a subgroup of SL(2,C) if and only if that G is conjugate in SL(2,Г _n ) to a group G' with the following properties: (1) There are g ₀, h ? G', where g ₀ and h are hyperbolic, such that fix(g ₀) = {0,∞}, fix(h)∩fix(g ₀) =  and fix(h) ∩ C ≠ ; (2) tr(g) ? C for each g ? G'. As an application, we show that if G contains only hyperbolic elements and uniformly parabolic elements, then G is the extension of a subgroup of SL(2,C), which also yields the discreteness of G.     

Characterization of Lie Derivations on Prime Rings

Let ? be a unital prime ring with characteristic not 2 and containing a nontrivial idempotent P. It is shown that, under some mild conditions, an additive map L on ? satisfies L([A, B]) = [L(A), B] + [A, L(B)] whenever AB = 0 (resp., AB = P) if and only if it has the form L(A) = ?(A) + h(A) for all A ∈ ?, where ? is an additive derivation on ? and h is an additive map into its center.     

A result about determinantal divisors

Let Rbe a principal ideal ringR_n the ring of n× nmatrices over R, and d_k (A) the kth determinantal divisor of Afor 1 ? k? n, where Ais any element of R_n , It is shown that if A,BεR_n , det(A) det(B:) ≠ 0, then d_k (AB) ≡ 0 mod d_k (A) d_k (B). If in addition (det(A), det(B)) = 1, then it is also shown that d_k (AB) = d_k (A) d_k (B). This provides a new proof of the multiplicativity of the Smith normal form for matrices with relatively prime determinants.     

Generalized Vector Quasivariational Inclusion Problems with Moving Cones

This paper deals with the generalized vector quasivariational inclusion Problem (P₁) (resp. Problem (P₂)) of finding a point (z ₀,x ₀) of a set E×K such that (z ₀,x ₀)∈B(z ₀,x ₀)×A(z ₀,x ₀) and, for all η∈A(z ₀,x ₀),

The conformal plate buckling equation

The linear equation Δ²u = 1 for the infinitesimal buckling under uniform unit load of a thin elastic plate over ?² has the particularly interesting nonlinear generalization Δ_g²u = 1, where Δ_g = e^?2u Δ is the Laplace‐Beltrami operator for the metric g = e^2ug₀, with g₀ the standard Euclidean metric on ?². This conformal elliptic PDE of fourth order is equivalent to the nonlinear system of elliptic PDEs of second order Δu(x)+K_g(x) exp(2u(x)) = 0 and Δ K_g(x) + exp(2u(x)) = 0, with x ∈ ?², describing a conformally flat surface with a Gauss curvature function K_g that is generated self‐consistently through the metric's conformal factor. We study this conformal plate buckling equation under the hypotheses of finite integral curvature ∫ K_g exp(2u)dx = κ, finite area ∫ exp(2u)dx = α, and the mild compactness condition K₊ ∈ L¹(B₁(y)), uniformly w.r.t. y ∈ ?². We show that asymptotically for |x|→∞ all solutions behave like u(x) = ?(κ/2π)ln |x| + C + o(1) and K(x) = ?(α/2π) ln|x| + C + o(1), with κ ∈ (2π, 4π) and . We also show that for each κ ∈ (2π, 4π) there exists a K^* and a radially symmetric solution pair u, K, satisfying K(u) = κ and maxK = K^*, which is unique modulo translation of the origin, and scaling of x coupled with a translation of u. © 2001 John Wiley & Sons, Inc.     

Lower-semicontinuity result for the two-scale convergence

Let (m, n) ∈ ℕ², Ω an open bounded domain in ℝ^m , Y = [0, 1]^m ; u^ε in (L²(Ω))ⁿ which is two-scale converges to some u in (L²(Ω × Y))ⁿ . Let φ: Ω × ℝ^m × ℝⁿ → ℝ such that: φ(x, ·, ·) is continuous a.e. x ∈ Ω φ(·, y, z) is measurable for all (y, z) in ℝ^m × ℝⁿ , φ(x, ·, z) is 1-periodic in y, φ(x, y, ·) is convex in z. Assume that there exist a constant C₁ > 0 and a function C₂ ∈ L²(Ω) such that

     

On uniformly continuous Nemytskij operators generated by set-valued functions

Let I = [0, 1], let Y be a real normed linear space, C a convex cone in Y and Z a real Banach space. Denote by clb(Z) the set of all nonempty, convex, closed and bounded subsets of Z. If a superposition operator N generated by a set-valued function F : I × C → clb(Z) maps the set H _α (I, C) of all Hölder functions ${\varphi : I \to C}Let I = [0, 1], let Y be a real normed linear space, C a convex cone in Y and Z a real Banach space. Denote by clb(Z) the set of all nonempty, convex, closed and bounded subsets of Z. If a superposition operator N generated by a set-valued function F : I × C → clb(Z) maps the set H _α (I, C) of all H?lder functions j: I ? C{\varphi : I \to C} into the set H _β (I, clb(Z)) of all H?lder set-valued functions f: I ? clb(Z){\phi : I \to clb(Z)} and is uniformly continuous, then

F(x,y)=A(x,y) \text+* B(x),       x ? I, y ? CF(x,y)=A(x,y) \stackrel{*}{\text{+}} B(x),\qquad x \in I, y \in C      9. Hyers–Ulam–Rassias stability of a generalized Apollonius–Jensen type additive mapping and isomorphisms between C *‐algebras      Choonkil Park 《Mathematische Nachrichten》2008,281(3):402-411 Let X, Y be Banach modules over a C *‐algebra. We prove the Hyers–Ulam–Rassias stability of the following functional equation in Banach modules over a unital C *‐algebra: It is shown that a mapping f: X → Y satisfies the above functional equation and f (0) = 0 if and only if the mapping f: X → Y is Cauchy additive. As an application, we show that every almost linear bijection h: A → B of a unital C *‐algebra A onto a unital C *‐algebra B is a C *‐algebra isomorphism when h (2d uy) = h (2d u) h (y) for all unitaries u ∈ A, all y ∈ A, and all d ∈ Z . (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)      10. On Osgood theorem in Banach spaces      Stanislav Shkarin 《Mathematische Nachrichten》2003,257(1):87-98 Let X be a real Banach space, ω : [0, +∞) → ? be an increasing continuous function such that ω(0) = 0 and ω(t + s) ≤ ω(t) + ω(s) for all t, s ∈ [0, +∞). According to the infinite dimensional analog of the Osgood theorem if ∫10 (ω(t))?1 dt = ∞, then for any (t0, x0) ∈ ?×X and any continuous map f : ?×X → X such that ∥f(t, x) – f(t, y)∥ ≤ ω(∥x – y∥) for all t ∈ ?, x, y ∈ X, the Cauchy problem (t) = f(t, x(t)), x(t0) = x0 has a unique solution in a neighborhood of t0. We prove that if X has a complemented subspace with an unconditional Schauder basis and ∫10 (ω(t))?1 dt < ∞ then there exists a continuous map f : ? × X → X such that ∥f(t, x) – f(t, y)∥ ≤ ω(∥x – y∥) for all (t, x, y) ∈ ? × X × X and the Cauchy problem (t) = f(t, x(t)), x(t0) = x0 has no solutions in any interval of the real line.      11. Constructive Axiomatization of Plane Hyperbolic Geometry      Victor Pambuccian 《Mathematical Logic Quarterly》2001,47(4):475-488 We provide a universal axiom system for plane hyperbolic geometry in a firstorder language with two sorts of individual variables, ‘points’ (upper‐case) and ‘lines’ (lowercase), containing three individual constants, A0, A1, A2, standing for three non‐collinear points, two binary operation symbols, φ and ι, with φ(A, B) = l to be interpreted as ‘𝓁 is the line joining A and B’ (provided that A ≠ B, an arbitrary line, otherwise), and ι(g, h) = P to be interpreted as 𝓁P is the point of intersection of g and h (provided that g and h are distinct and have a point of intersection, an arbitrary point, otherwise), and two binary operation symbols, π1(P, 𝓁) and —2(P, 𝓁), with πi(P, 𝓁) = g (for i = 1, 2) to be interpreted as ‘g is one of the two limiting paralle lines from P to 𝓁 (provided that P is not on 𝓁, an arbitrary line, otherwise).      12. Linear operators preserving unitarily invariant norms of matrices      Chi-Kwong Li  Nam-Kiu Tsing 《Linear and Multilinear Algebra》2013,61(1-2):119-132 Let F m × n be the set of all m × n matrices over the field F = C or R Denote by Un (F) the group of all n × n unitary or orthogonal matrices according as F = C or F-R. A norm N() on F m ×n, is unitarily invariant if N(UAV) = N(A): for all A ∈ F m×n U ∈ U m (F). and V ∈ Un (F). We characterize those linear operators T F m × n → F m × n which satisfy N (T(A)) = N(A)for all A ∈ F m × n for a given unitarily invariant norm N(). It is shown that the problem is equivalent to characterizing those operators which preserve certain subsets in F m × n To develop the theory we prove some results concerning unitary operators on F m × n which are of independent interest.      13. Unboundedness of solutions of a class of planar Hamiltonian systems      Xiaojing Yang  Kueiming Lo 《Mathematische Nachrichten》2007,280(11):1317-1331 In this paper, the unboundedness of solutions for the following planar Hamilton system Ju ′ = ?H (u) + h (t) is discussed, where the function H (u) ∈ C2(R2, R) is positive for u ≠ 0 and is positively (q, p)‐quasihomogeneous of quasi‐degree pq, where p > 1 and + = 1, h: S1 → R2 with h ∈ L∞(0, 2π) is 2π ‐periodic and J is the standard symplectic matrix. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)      14. Definability and nondefinability results for certain o‐minimal structures      Hassan Sfouli 《Mathematical Logic Quarterly》2010,56(5):503-507 The main goal of this note is to study for certain o‐minimal structures the following propriety: for each definable C∞ function g0: [0, 1] → ? there is a definable C∞ function g: [–ε, 1] → ?, for some ε > 0, such that g (x) = g0(x) for all x ∈ [0, 1] (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)      15. A note on d’Alembert’s functional equation on a restricted domain      Anna Bahyrycz  Janusz Brzdȩk 《Aequationes Mathematicae》2014,88(1-2):169-173       16. On the relative character correspondences      Chenggong Hao  Ping Jin   《Journal of Algebra》2008,320(12):4092-4101 Let π(G,A):IrrA(G)→Irr(CG(A)) be the Glauberman–Isaacs correspondence, where G and A are finite groups with coprime orders and A acts on G by automorphisms. Let B be a subgroup of A. In this setting, we give some new conditions for the fixed-point subgroups CG(A) and CG(B) such that χπ(G,A) is an irreducible constituent of the restriction of χπ(G,B) to CG(A) for all χIrrA(G).      17. On the Dot Product Graph of a Commutative Ring      Ayman Badawi 《代数通讯》2015,43(1):43-50 Let A be a commutative ring with nonzero identity, 1 ≤ n < ∞ be an integer, and R = A × A × … ×A (n times). The total dot product graph of R is the (undirected) graph TD(R) with vertices R* = R?{(0, 0,…, 0)}, and two distinct vertices x and y are adjacent if and only if x·y = 0 ∈ A (where x·y denote the normal dot product of x and y). Let Z(R) denote the set of all zero-divisors of R. Then the zero-divisor dot product graph of R is the induced subgraph ZD(R) of TD(R) with vertices Z(R)* = Z(R)?{(0, 0,…, 0)}. It follows that each edge (path) of the classical zero-divisor graph Γ(R) is an edge (path) of ZD(R). We observe that if n = 1, then TD(R) is a disconnected graph and ZD(R) is identical to the well-known zero-divisor graph of R in the sense of Beck–Anderson–Livingston, and hence it is connected. In this paper, we study both graphs TD(R) and ZD(R). For a commutative ring A and n ≥ 3, we show that TD(R) (ZD(R)) is connected with diameter two (at most three) and with girth three. Among other things, for n ≥ 2, we show that ZD(R) is identical to the zero-divisor graph of R if and only if either n = 2 and A is an integral domain or R is ring-isomorphic to ?2 × ?2 × ?2.      18. Obstructions to the uniform stability of a <Emphasis Type="Italic">C</Emphasis><Subscript>0</Subscript>-semigroup      K. V. Storozhuk 《Siberian Mathematical Journal》2010,51(2):330-337 Let T t : X → X be a C 0-semigroup with generator A. We prove that if the abscissa of uniform boundedness of the resolvent s 0(A) is greater than zero then for each nondecreasing function h(s): ?+ → R + there are x′ ∈ X′ and x ∈ X satisfying ∫ 0 ∞ h(|〈x′, T x x〉|)dt = ∞. If i? ∩ Sp(A) ≠ Ø then such x may be taken in D(A ∞).      19. ON THE PRODUCT OF DIAGONAL CONJUGACY CLASSES*      《代数通讯》2013,41(2):769-779 Let A, B ∈ GL(n, F) be diagonal non-scalar n × n matrices over any field F. It will be discussed under which conditions the product of conjugacy classes of A and B contains all cyclic matrices C with det C = det A det B. A sufficient condition depending on the number of pairwise different eigenvalues of A and B will be formulated.       20. Every set is “symmetric” for some function      Andrzej Nowik  Marcin Szyszkowski 《Mathematica Slovaca》2013,63(4):897-901 Let 〈h n 〉 denote a sequence of positive real numbers. We show that for every set A ? ? there exists a function f: ? → ω such that A = {x ∈ ?: (∈〈h n 〉)[h n ↘ 0 & (? n ∈ ?)(f(x ? h n ) = f(x + h n ) = f(x))]}. This solves a problem of K. Ciesielski, K. Muthuvel and A. Nowik.

Hyers–Ulam–Rassias stability of a generalized Apollonius–Jensen type additive mapping and isomorphisms between C *‐algebras

Let X, Y be Banach modules over a C *‐algebra. We prove the Hyers–Ulam–Rassias stability of the following functional equation in Banach modules over a unital C *‐algebra: It is shown that a mapping f: X → Y satisfies the above functional equation and f (0) = 0 if and only if the mapping f: X → Y is Cauchy additive. As an application, we show that every almost linear bijection h: A → B of a unital C *‐algebra A onto a unital C *‐algebra B is a C *‐algebra isomorphism when h (2^d uy) = h (2^d u) h (y) for all unitaries u ∈ A, all y ∈ A, and all d ∈ Z . (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On Osgood theorem in Banach spaces

Let X be a real Banach space, ω : [0, +∞) → ? be an increasing continuous function such that ω(0) = 0 and ω(t + s) ≤ ω(t) + ω(s) for all t, s ∈ [0, +∞). According to the infinite dimensional analog of the Osgood theorem if ∫¹₀ (ω(t))^?1 dt = ∞, then for any (t₀, x₀) ∈ ?×X and any continuous map f : ?×X → X such that ∥f(t, x) – f(t, y)∥ ≤ ω(∥x – y∥) for all t ∈ ?, x, y ∈ X, the Cauchy problem (t) = f(t, x(t)), x(t₀) = x₀ has a unique solution in a neighborhood of t₀. We prove that if X has a complemented subspace with an unconditional Schauder basis and ∫¹₀ (ω(t))^?1 dt < ∞ then there exists a continuous map f : ? × X → X such that ∥f(t, x) – f(t, y)∥ ≤ ω(∥x – y∥) for all (t, x, y) ∈ ? × X × X and the Cauchy problem (t) = f(t, x(t)), x(t₀) = x₀ has no solutions in any interval of the real line.     

Constructive Axiomatization of Plane Hyperbolic Geometry

We provide a universal axiom system for plane hyperbolic geometry in a firstorder language with two sorts of individual variables, ‘points’ (upper‐case) and ‘lines’ (lowercase), containing three individual constants, A₀, A₁, A₂, standing for three non‐collinear points, two binary operation symbols, φ and ι, with φ(A, B) = l to be interpreted as ‘𝓁 is the line joining A and B’ (provided that A ≠ B, an arbitrary line, otherwise), and ι(g, h) = P to be interpreted as 𝓁P is the point of intersection of g and h (provided that g and h are distinct and have a point of intersection, an arbitrary point, otherwise), and two binary operation symbols, π₁(P, 𝓁) and —₂(P, 𝓁), with π_i(P, 𝓁) = g (for i = 1, 2) to be interpreted as ‘g is one of the two limiting paralle lines from P to 𝓁 (provided that P is not on 𝓁, an arbitrary line, otherwise).     

Linear operators preserving unitarily invariant norms of matrices

Let F _{m × n} be the set of all m × n matrices over the field F = C or R Denote by U_n (F) the group of all n × n unitary or orthogonal matrices according as F = C or F-R. A norm N() on F m ×n, is unitarily invariant if N(UAV) = N(A): for all A ∈ F _m×n U ∈ U _m (F). and V ∈ U_n (F). We characterize those linear operators T F _{m × n} → F _{m × n} which satisfy N (T(A)) = N(A)for all A ∈ F _{m × n}

for a given unitarily invariant norm N(). It is shown that the problem is equivalent to characterizing those operators which preserve certain subsets in F _{m × n} To develop the theory we prove some results concerning unitary operators on F _{m × n} which are of independent interest.     

Unboundedness of solutions of a class of planar Hamiltonian systems

In this paper, the unboundedness of solutions for the following planar Hamilton system Ju ′ = ?H (u) + h (t) is discussed, where the function H (u) ∈ C²(R², R) is positive for u ≠ 0 and is positively (q, p)‐quasihomogeneous of quasi‐degree pq, where p > 1 and + = 1, h: S¹ → R² with h ∈ L^∞(0, 2π) is 2π ‐periodic and J is the standard symplectic matrix. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Definability and nondefinability results for certain o‐minimal structures

The main goal of this note is to study for certain o‐minimal structures the following propriety: for each definable C^∞ function g₀: [0, 1] → ? there is a definable C^∞ function g: [–ε, 1] → ?, for some ε > 0, such that g (x) = g₀(x) for all x ∈ [0, 1] (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On the relative character correspondences

Let π(G,A):Irr_A(G)→Irr(C_G(A)) be the Glauberman–Isaacs correspondence, where G and A are finite groups with coprime orders and A acts on G by automorphisms. Let B be a subgroup of A. In this setting, we give some new conditions for the fixed-point subgroups C_G(A) and C_G(B) such that χπ(G,A) is an irreducible constituent of the restriction of χπ(G,B) to C_G(A) for all χIrr_A(G).     

On the Dot Product Graph of a Commutative Ring

Let A be a commutative ring with nonzero identity, 1 ≤ n < ∞ be an integer, and R = A × A × … ×A (n times). The total dot product graph of R is the (undirected) graph TD(R) with vertices R* = R?{(0, 0,…, 0)}, and two distinct vertices x and y are adjacent if and only if x·y = 0 ∈ A (where x·y denote the normal dot product of x and y). Let Z(R) denote the set of all zero-divisors of R. Then the zero-divisor dot product graph of R is the induced subgraph ZD(R) of TD(R) with vertices Z(R)* = Z(R)?{(0, 0,…, 0)}. It follows that each edge (path) of the classical zero-divisor graph Γ(R) is an edge (path) of ZD(R). We observe that if n = 1, then TD(R) is a disconnected graph and ZD(R) is identical to the well-known zero-divisor graph of R in the sense of Beck–Anderson–Livingston, and hence it is connected. In this paper, we study both graphs TD(R) and ZD(R). For a commutative ring A and n ≥ 3, we show that TD(R) (ZD(R)) is connected with diameter two (at most three) and with girth three. Among other things, for n ≥ 2, we show that ZD(R) is identical to the zero-divisor graph of R if and only if either n = 2 and A is an integral domain or R is ring-isomorphic to ?₂ × ?₂ × ?₂.     

Obstructions to the uniform stability of a <Emphasis Type="Italic">C</Emphasis><Subscript>0</Subscript>-semigroup

Let T _t : X → X be a C ₀-semigroup with generator A. We prove that if the abscissa of uniform boundedness of the resolvent s ₀(A) is greater than zero then for each nondecreasing function h(s): ?₊ → R ₊ there are x′ ∈ X′ and x ∈ X satisfying ∫ ₀ ^∞ h(|〈x′, T _x x〉|)dt = ∞. If i? ∩ Sp(A) ≠ Ø then such x may be taken in D(A ^∞).     

ON THE PRODUCT OF DIAGONAL CONJUGACY CLASSES*

Let A, B ∈ GL(n, F) be diagonal non-scalar n × n matrices over any field F. It will be discussed under which conditions the product of conjugacy classes of A and B contains all cyclic matrices C with det C = det A det B. A sufficient condition depending on the number of pairwise different eigenvalues of A and B will be formulated.

     

Every set is “symmetric” for some function

Let 〈h _n 〉 denote a sequence of positive real numbers. We show that for every set A ? ? there exists a function f: ? → ω such that A = {x ∈ ?: (∈〈h _n 〉)[h _n ↘ 0 & (? _n ∈ ?)(f(x ? h _n ) = f(x + h _n ) = f(x))]}. This solves a problem of K. Ciesielski, K. Muthuvel and A. Nowik.