Green's Equivalences on Semigroups of Transformations Preserving Order and an Equivalence Relation

Let ${\cal T}_X$ be the full transformation semigroup on the set $X$, \[ T_{E}(X)=\{f\in {\cal T}_X\colon \ \forall(a,b)\in E,(f(a),f(b))\in E\} \] be the subsemigroup of ${\cal T}_X$ determined by an equivalence $E$ on $X$. In this paper the set $X$ under consideration is a totally ordered set with $mn$ points where $m\geq 2$ and $n\geq 3$. The equivalence $E$ has $m$ classes each of which contains $n$ consecutive points. The set of all order preserving transformations in $T_{E}(X)$ forms a subsemigroup of $T_E(X)$ denoted by \[ {\cal O}_{E}(X)=\{f\in T_{E}(X)\colon \ \forall\, x, y\in X, \ x\leq y \mbox{ implies } f(x)\leq f(y)\}. \] The nature of regular elements in ${\cal O}_{E}(X)$ is described and the Green's equivalences on ${\cal O}_{E}(X)$ are characterized completely.     

Regularity and Green’s relations for finite E-order-preserving transformations semigroups

Let (X,≤) be a totally ordered set, T _X the full transformation semigroup on X and E an arbitrary equivalence on X. We consider a subsemigroup of T _X defined by

保持两个等价关系的变换半群的Green关系

Let Tx be the full transformation semigroup on a set X. For a non-trivial equivalence F on X, let
TF（X） = {f ∈ Tx ： arbieary （x, y） ∈ F, （f（x）,f（y）） ∈ F}.
Then TF（X） is a subsemigroup of Tx. Let E be another equivalence on X and TFE（X） = TF（X） ∩ TE（X）. In this paper, under the assumption that the two equivalences F and E are comparable and E lohtain in F, we describe the regular elements and characterize Green＇s relations for the semigroup TFE（X）.     

一类变换半群的正则元和Green关系

设T_X为X上的全变换半群,E为X上的等价关系,令T_E(X)={f∈T_X:■(x,y)∈E,(f(x),f(y))∈E},则T_E(X)是T_X的子半群,如果X是一个全序集,E是X上的一个凸等价关系,设OP_E(X)为T_E(X)中所有保向映射作成的半群。对于有限全序集X上一类特殊的凸等价关系E,本文刻画了半群OP_E(X)的正则元的特征,并且描述了这个半群上的Green关系。     

The minimum principle for affine functions and isomorphisms of continuous affine function spaces

Let X be a compact convex set and let ext X stand for the set of extreme points of X. We show that if $$f:X\rightarrow {\mathbb {R}}$$ is an affine function with the point of continuity property such that $$f\le 0$$ on $${\text {ext}}\,X$$, then $$f\le 0$$ on X. As a corollary of this minimum principle, we obtain a generalization of a theorem by C.H. Chu and H.B. Cohen by proving the following result. Let X, Y be compact convex sets such that every extreme point of X and Y is a weak peak point and let $$T:\mathfrak {A}^c(X)\rightarrow \mathfrak {A}^c(Y)$$ be an isomorphism such that $$\left\| T\right\| \cdot \left\| T^{-1}\right\| <2$$. Then $${\text {ext}}\,X$$ is homeomorphic to $${\text {ext}}\,Y$$.     

On extensions of the generalized quadratic functions from “large” subsets of semigroups

Let $$(G,+)$$ be a commutative semigroup, $$\tau $$ be an endomorphism of G and involution, D be a nonempty subset of G, and $$(H,+)$$ be an abelian group, uniquely divisible by 2. Motivated by the extension problem of J. Aczél and the stability problem of S.M. Ulam, we show that if the set D is “sufficiently large”, then each function $$g{:} D\rightarrow H$$ such that $$g(x+y)+g(x+\tau (y))=2g(x)+2g(y)$$ for $$x,y\in D$$ with $$x+y,x+\tau (y)\in D$$ can be extended to a unique solution $$f{:} G\rightarrow H$$ of the functional equation $$f(x+y)+f(x+\tau (y))=2f(x)+2f(y)$$.     

A note on Green’s relations in the semigroups <Emphasis Type="Italic">T</Emphasis>(<Emphasis Type="Italic">X</Emphasis>,<Emphasis Type="Italic">ρ</Emphasis>)

Let X be a set and the full transformation semigroup on X. Let ρ be an equivalence relation on X and

Sufficient conditions for local equivalence of mappings

Let $$f,g:({\mathbb {R}}^n,0)\rightarrow ({\mathbb {R}}^m,0)$$ be $$C^{r+1}$$ mappings and let $$Z=\{x\in \mathbf {\mathbb {R}}^n:\nu (df (x))=0\}$$ , $$0\in Z$$ , $$m\le n$$ . We will show that if there exist a neighbourhood U of $$0\in {\mathbb {R}}^n$$ and constants $$C,C'>0$$ and $$k>1$$ such that for $$x\in U$$ $$\begin{aligned}&\nu (df(x))\ge C{\text {dist}}(x,Z)^{k-1}, \\&\left| \partial ^{s} (f_i-g_i)(x) \right| \le C'\nu (df(x))^{r+k-|s|}, \end{aligned}$$ for any $$i\in \{1,\dots , m\}$$ and for any $$s \in \mathbf {\mathbb {N}}^n_0$$ such that $$|s|\le r$$ , then there exists a $$C^r$$ diffeomorphism $$\varphi :({\mathbb {R}}^n,0)\rightarrow ({\mathbb {R}}^n,0)$$ such that $$f=g\circ \varphi $$ in a neighbourhood of $$0\in {\mathbb {R}}^n$$ . By $$\nu (df)$$ we denote the Rabier function.     

A Levi–Civita functional equation on semigroups

Aequationes mathematicae - Let S be a semigroup. We describe the solutions $$f,g:S \rightarrow \mathbb {C}$$ of the functional equation $$\begin{aligned} f(xy) = f(x)g(y) + g(x)f(y) - g(x)g(y), \...     

A characterization of nonlinear Hölder seminorm preserving bijections

For a compact metric space (X, d) and \(\alpha \in (0,1)\), let \(\mathrm{Lip}^\alpha (X)\) be the linear space of all complex-valued functions f on X satisfying

Open image in new window

and \(\mathrm{lip}^\alpha (X)\) be the subspace of \(\mathrm{Lip}^\alpha (X)\) consisting of functions f with \(\lim \frac{f(x)-f(y)}{d^\alpha (x,y)} =0\) as \(d(x,y) \rightarrow 0\). In this paper, we give a characterization of a bijective map \(T:\mathrm{lip}^\alpha (X)\longrightarrow \mathrm{lip}^\alpha (Y)\), not necessarily linear, which is an isometry with respect to the Hölder seminorm \(L(\cdot )\). It is shown that there exist \(K_0>0\), a surjective map \(\Psi : Y \longrightarrow X\) with \(d^\alpha (y,z)= K_0 \, d^\alpha (\Psi (y),\Psi (z))\) for all \(y,z\in Y\), and a function \(\Lambda : \mathrm{lip}^\alpha (X) \longrightarrow {\mathbb {C}}\) (which is linear or real-linear if T is so) such that either

$$\begin{aligned} Tf(y)= T0(y)+\overline{\tau } K_0\, f(\Psi (y))+\Lambda (f)\quad (f\in \mathrm{lip}^\alpha (X), y\in Y) \end{aligned}$$

or

$$\begin{aligned} Tf(y)= T0(y)+\overline{\tau } K_0 \,\overline{f(\Psi (y))}+ \Lambda (f)\quad (f\in \mathrm{lip}^\alpha (X), y\in Y), \end{aligned}$$

where \(\tau =e^{i\theta }\) for some \(\theta \in [0,\pi )\).

     

Maps preserving a certain product of operators

Let $$\mathcal {A}$$ be a standard operator algebra on a Banach space $$\mathcal {X}$$ with $$ \dim \mathcal {X}\ge 3$$. In this paper, we determine the form of the bijective maps $$\phi :\mathcal {A}\longrightarrow \mathcal {A}$$ satisfying $$\begin{aligned} \phi \left( \frac{1}{2}(AB^2+B^2A)\right) = \frac{1}{2}[\phi (A)\phi (B)^{2}+\phi (B)^{2}\phi (A)], \end{aligned}$$for every $$A,B \in \mathcal {A}$$.     

On the stability of the generalized Cauchy–Jensen set-valued functional equations

In this paper, we prove the Hyers–Ulam–Rassias stability of the generalized Cauchy–Jensen set-valued functional equation defined by

$$\begin{aligned} \alpha f\left( \frac{x+y}{\alpha } + z\right) = f(x) \oplus f(y)\oplus \alpha f(z) \end{aligned}$$

for all \(x,y,z \in X\) and \(\alpha \ge 2\) on a Banach space by using the fixed point alternative theorem.

     

Regularity and Green's Relations for Semigroups of Transformations Preserving Orientation and an Equivalence

Let be the full transformation semigroup on a set X. For a non-trivial equivalence E on X, let

Optimal decay rates of solutions to dissipative nonlinear evolution equations with ellipticity

We derive the optimal decay rates of solution to the Cauchy problem for a set of nonlinear evolution equations with ellipticity and dissipative effects

Error function inequalities

We present various inequalities for the error function. One of our theorems states: Let α?≥?1. For all x,y?>?0 we have $$ \delta_{\alpha} < \frac{ \mbox{erf} \left( x+ \mbox{erf}(y)^{\alpha}\right) +\mbox{erf}\left( y+ \mbox{erf}(x)^{\alpha}\right) } {\mbox{erf}\left( \mbox{erf}(x)+\mbox{erf}(y)\right) } < \Delta_{\alpha} $$ with the best possible bounds $$ \delta_{\alpha}= \left\{ \begin{array}{ll} 1+\sqrt{\pi}/2, & \ \ \textrm{{if} $\alpha=1$,}\\ \sqrt{\pi}/2, & \ \ \textrm{{if} $\alpha>1$,}\\ \end{array}\right. \quad{\mbox{and} \,\,\,\,\, \Delta_{\alpha}=1+\frac{1}{\mbox{erf}(1)}.} $$      

A criterion of vanishing of the spectral density based on homoclinic sums

Let (X, d) be a compact metric space, let T: X→X be a homeomorphism satisfying a certain suitable hyperbolicity assumption, and let μ be a Gibbs measure on X relative to T. Let λ be a complex number |λ|=1, and let f:X → ? be a Hölder continuous function. It is proved that $\sum\limits_{k \in \mathbb{Z}} {\lambda ^{ - k} } \left( {\int\limits_X {f(T^k x)\bar f(x)\mu (dx) - \left| {\int\limits_X {f(x)\mu (dx)} } \right|^2 } } \right) = 0$ if and only if ∑λ^?k(f(T^ky) ? f(T^kx)) = 0 for all x, y ε X such that $d(T^k x,T^k y)\xrightarrow[{|k| \to \infty }]{}0$ . Bibliography: 11 titles.     

Optimal Extensions for pth Power Factorable Operators

Mediterranean Journal of Mathematics - Let $${X(\mu)}$$ be a function space related to a measure space $${(\Omega,\Sigma,\mu)}$$ with $${\chi_\Omega\in X(\mu)}$$ and let $${T\colon X(\mu)\to E}$$...     

Optimal decay rates of solutions to dissipative nonlinear evolution equations with ellipticity

We derive the optimal decay rates of solution to the Cauchy problem for a set of nonlinear evolution equations with ellipticity and dissipative effects

Impulsive fractional boundary value problem with <Emphasis Type="Italic">p</Emphasis>-Laplace operator

In the present paper, we deal with the existence and multiplicity of solutions for the following impulsive fractional boundary value problem

$$\begin{aligned} {_{t}}D_{T}^{\alpha }\left( \left| {_{0}}D_{t}^{\alpha }u(t)\right| ^{p-2}{_{0}}D_{t}^{\alpha }u(t)\right) + a(t)|u(t)|^{p-2}u(t)= & {} f(t,u(t)),\;\;t\ne t_j,\;\;\hbox {a.e.}\;\;t\in [0,T],\\ \Delta \left( {_{t}}I_{T}^{1-\alpha }\left( \left| {_{0}}D_{t}^{\alpha }u(t_j)\right| ^{p-2}{_{0}}D_{t}^{\alpha }u(t_j)\right) \right)= & {} I_j(u(t_j))\;\;j=1,2,\ldots ,n,\\ u(0)= & {} u(T) = 0. \end{aligned}$$

where \(\alpha \in (1/p, 1]\), \(1<p<\infty \), \(0 = t_0<t_1< t_2< \cdots< t_n < t_{n+1} = T\), \(f:[0,T]\times \mathbb {R} \rightarrow \mathbb {R}\) and \(I_j : \mathbb {R} \rightarrow \mathbb {R}\), \(j = 1, \ldots , n\), are continuous functions, \(a\in C[0,T]\) and

$$\begin{aligned} \Delta \left( {_{t}}I_{T}^{1-\alpha }\left( \left| {_{0}}D_{t}^{\alpha }u(t_j)\right| ^{p-2}{_{0}}D_{t}^{\alpha }u(t_j)\right) \right)= & {} {_{t}}I_{T}^{1-\alpha }\left( \left| {_{0}}D_{t}^{\alpha }u\left( t_j^+\right) \right| ^{p-2}{_{0}}D_{t}^{\alpha }u\left( t_j^+\right) \right) \\&- {_{t}}I_{T}^{1-\alpha }\left( \left| {_{0}}D_{t}^{\alpha }u(t_j^-)\right| ^{p-2}{_{0}}D_{t}^{\alpha }u\left( t_j^-\right) \right) ,\\ {_{t}}I_{T}^{1-\alpha }\left( \left| {_{0}}D_{t}^{\alpha }u\left( t_j^+\right) \right| ^{p-2}{_{0}}D_{t}^{\alpha }u\left( t_j^+\right) \right)= & {} \lim _{t \rightarrow t_j^+} {_{t}}I_{T}^{1-\alpha }\left( \left| {_{0}}D_{t}^{\alpha }u(t)\right| ^{p-2}{_{0}}D_{t}^{\alpha }u(t)\right) ,\\ {_{t}}I_{T}^{1-\alpha }\left( \left| {_{0}}D_{t}^{\alpha }u(t_j^-)\right| ^{p-2}{_{0}}D_{t}^{\alpha }u(t_j^-)\right)= & {} \lim _{t\rightarrow t_j^-}{_{t}}I_{T}^{1-\alpha }\left( \left| {_{0}}D_{t}^{\alpha }u(t)\right| ^{p-2}{_{0}}D_{t}^{\alpha }u(t)\right) . \end{aligned}$$

By using variational methods and critical point theory, we give some criteria to guarantee that the above-mentioned impulsive problems have at least one weak solution and a sequences of weak solutions.