Varieties of Birkhoff Systems Part II

This is the second part of a two-part paper on Birkhoff systems. A Birkhoff system is an algebra that has two binary operations ? and + , with each being commutative, associative, and idempotent, and together satisfying x?(x + y) = x+(x?y). The first part of this paper described the lattice of subvarieties of Birkhoff systems. This second part continues the investigation of subvarieties of Birkhoff systems. The 4-element subdirectly irreducible Birkhoff systems are described, and the varieties they generate are placed in the lattice of subvarieties. The poset of varieties generated by finite splitting bichains is described. Finally, a structure theorem is given for one of the five covers of the variety of distributive Birkhoff systems, the only cover that previously had no structure theorem. This structure theorem is used to complete results from the first part of this paper describing the lower part of the lattice of subvarieties of Birkhoff systems.     

Varieties of Birkhoff Systems Part I

A Birkhoff system is an algebra that has two binary operations ? and + , with each being commutative, associative, and idempotent, and together satisfying x?(x + y) = x+(x?y). Examples of Birkhoff systems include lattices, and quasilattices, with the latter being the regularization of the variety of lattices. A number of papers have explored the bottom part of the lattice of subvarieties of Birkhoff systems, in particular the role of meet and join distributive Birkhoff systems. Our purpose in this note is to further explore the lattice of subvarieties of Birkhoff systems. A primary tool is consideration of splittings and finite bichains, Birkhoff systems whose join and meet reducts are both chains. We produce an infinite family of subvarieties of Birkhoff systems generated by finite splitting bichains, and describe the poset of these subvarieties. Consideration of these splitting varieties also allows us to considerably extend knowledge of the lower part of the lattice of subvarieties of Birkhoff systems     

Normed Topological Pseudovector Groups

A normed topological pseudovector group (NTPVG for short) is a valued topological group (V,?+?,||·||) (not necessarily Abelian) endowed with a continuous scalar multiplication \({\mathbb R}_+ \times V \ni (t,x) \mapsto t \cdot x \in V\) such that 0 ·x?=?e (e denotes the neutral element of V), 1 ·x?=?x, (st) ·x?=?s ·(t ·x), t ·(x?+?y)?=?(t ·x)?+?(t ·y) and ||t ·x||?=?t ||x|| for each t, \(s \in {\mathbb R}_+\) and x, y?∈?V. It is shown that every valued topological group can be isometrically and group-homomorphically embedded in a NTPVG as a closed subset by means of a functor. Locally compact NTPV groups are fully classified. It is shown that the (unbounded) Urysohn universal metric space can be endowed with a structure of a NTPV group of exponent 2.     

Conditional equations for quadratic functions

We consider quadratic functions f that satisfy the additional equation y² f(x) =  x² f(y) for the pairs \({ (x,y) \in \mathbb{R}^2}\) that fulfill the condition P(x, y) =  0 for some fixed polynomial P of two variables. If P(x, y) =  ax +  by +  c with \({ a , b , c \in \mathbb{R}}\) and \({(a^2 + b^2)c \neq 0}\) or P(x,y) =  x ⁿ ? y with a natural number \({n \geq 2}\), we prove that f(x) =  f(1) x² for all \({x \in \mathbb{R}}\). Some related problems, admitting quadratic functions generated by derivations, are considered as well.     

On the Stability of a k-Cubic Functional Equation in Intuitionistic Fuzzy n-Normed Spaces

In this paper, we investigate some stability results concerning the k-cubic functional equation f(kx + y) + f(kx?y) = kf(x + y) + kf(x?y) + 2k(k²?1)f(x) in the intuitionistic fuzzy n-normed spaces.     

Hankel Determinants of the Generalized Factorials

Denote 〈x|d〉 _n = x(x + d)(x + 2d) · · · (x + (n - 1)d) for n = 1, 2, · · ·, and 〈x|d〉₀ = 1, where 〈x|d〉 _n is called the generalized factorial of x with increment d. In this paper, we present the evaluation of Hankel determinants of sequence of generalized factorials. The main tool used for the evaluation is the method based on exponential Riordan arrays. Furthermore, we provide Hankel determinant evaluations of the Eulerian polynomials and exponential polynomials.     

Hyperquasipolynomials for the Theta-Function

Let g be a linear combination with quasipolynomial coefficients of shifts of the Jacobi theta function and its derivatives in the argument. All entire functions f: ? → ? satisfying f(x+y)g(x?y) = α₁(x)β₁(y)+· · ·+α_r(x)β_r(y) for some r ∈ ? and α_j, β_j: ? → ? are described.     

The asymptotic formula in Waring’s problem for one square and seventeen fifth powers

Let R _k,s(n) denote the number of solutions of the equation \({n= x^2 + y_1^k + y_2^k + \cdots + y_s^k}\) in natural numbers x, y ₁, . . . , y _s . By a straightforward application of the circle method, an asymptotic formula for R _k,s(n) is obtained when k ≥ 3 and s ≥ 2^k–1 + 2. When k ≥ 6, work of Heath-Brown and Boklan is applied to establish the asymptotic formula under the milder constraint s ≥ 7 · 2^k–4 + 3. Although the principal conclusions provided by Heath-Brown and Boklan are not available for smaller values of k, some of the underlying ideas are still applicable for k = 5, and the main objective of this article is to establish an asymptotic formula for R _5,17(n) by this strategy.     

Output stabilization for a class of uncertain systems

The system

$$\frac{{dx}}{{dt}} = A\left( \cdot \right)x + B\left( \cdot \right)u,{\kern 1pt} \frac{{dy}}{{dt}} = A\left( \cdot \right)y + B\left( \cdot \right)u + D\left( {C*y - v} \right)$$

where v = C*x is an output, u = S*y is a control, A(·) ∈ R ^{n × n} , B(·) ∈ R ^{n × (n–p)}, C ∈ R ^{n × (n–p)}, and D ∈ R ^{n × (n–p)}, is considered. The elements α_ij(·) and β_ij(·) of the matrices A(·) and B(·) are arbitrary functionals satisfying the conditions

$$\mathop {\sup }\limits_{\left( \cdot \right)} |{\alpha _{ij}}\left( \cdot \right)| < \infty \left( {i,j \in 1,n} \right),\mathop {\sup }\limits_{\left( \cdot \right)} |{\beta _{ij}}\left( \cdot \right)| < \infty \left( {i \in 1,n,j \in 1,n - p} \right).$$

It is assumed that A(·) ∈ Z ₁ ∪ Z ₃ and A*(·) ∈ Z ₁ ∪ Z ₃, where Z ₁ is the class of matrices in which the first p elements of the kth superdiagonal are sign-definite and the elements above them are sufficiently small. The class Z ₃ differs from Z _t1 in that the elements between this superdiagonal and the (k + 1)th row are sufficiently small. If k > p, then the elements of the p × p square in the upper left corner of the matrix are sufficiently small as well. By using special quadratic Lyapunov functions, a matrix D for which y(t)–x(t) → 0 exponentially as t → ∞ is first found, and then a matrix S for which the vectors x(t) and y(t) have the same property is constructed.

     

Linked pairs of additive functions

In 1990, Benz asked whether a real additive mapping satisfying \(xf(y)=yf(x)\) for all points (x, y) on the unit circle must be linear. In 2005, Boros and Erdei showed that it must be so. Here we generalize the problem to a pair of additive functions f, g related by the functional equation \(xf(y)=yg(x)\) for all points (x, y) on a specified curve. We find that for many (but not all) types of curves this forces f and g to be equal and linear.     

On Certain Identity Related to Herstein Theorem on Jordan Derivations

Let R be a 6-torsion-free prime ring and let \({D : R \rightarrow R}\) be an additive mapping satisfying the relation 2D(x ⁴) = D(x ³)x + x ³ D(x) + D(x)x ³ + xD(x ³) for all \({x \in R}\) . The purpose of this paper is to show that D is a derivation. This result is related to a classical result of Herstein, which states that any Jordan derivation on a 2-torsion-free prime ring is a derivation.     

Diophantine inequality involving binary forms

Let d ? 3 be an integer, and set r = 2^d?1 + 1 for 3 ? d ? 4, \(\tfrac{{17}}{{32}} \cdot 2^d + 1\) for 5 ? d ? 6, r = d²+d+1 for 7 ? d ? 8, and r = d²+d+2 for d ? 9, respectively. Suppose that Φ _i (x, y) ∈ ?[x, y] (1 ? i ? r) are homogeneous and nondegenerate binary forms of degree d. Suppose further that λ₁, λ₂,..., λ _r are nonzero real numbers with λ₁/λ₂ irrational, and λ₁Φ₁(x₁, y₁) + λ₂Φ₂(x₂, y₂) + · · · + λ _r Φ _r (x _r , y _r ) is indefinite. Then for any given real η and σ with 0 < σ < 2^2?d, it is proved that the inequality

$$\left| {\sum\limits_{i = 1}^r {{\lambda _i}\Phi {}_i\left( {{x_i},{y_i}} \right) + \eta } } \right| < {\left( {\mathop {\max \left\{ {\left| {{x_i}} \right|,\left| {{y_i}} \right|} \right\}}\limits_{1 \leqslant i \leqslant r} } \right)^{ - \sigma }}$$

has infinitely many solutions in integers x₁, x₂,..., x _r , y₁, y₂,..., y _r . This result constitutes an improvement upon that of B. Q. Xue.

     

Best proximity points: global optimal approximate solutions

Let A and B be non-empty subsets of a metric space. As a non-self mapping \({T:A\longrightarrow B}\) does not necessarily have a fixed point, it is of considerable interest to find an element x in A that is as close to Tx in B as possible. In other words, if the fixed point equation Tx = x has no exact solution, then it is contemplated to find an approximate solution x in A such that the error d(x, Tx) is minimum, where d is the distance function. Indeed, best proximity point theorems investigate the existence of such optimal approximate solutions, called best proximity points, to the fixed point equation Tx = x when there is no exact solution. As the distance between any element x in A and its image Tx in B is at least the distance between the sets A and B, a best proximity pair theorem achieves global minimum of d(x, Tx) by stipulating an approximate solution x of the fixed point equation Tx = x to satisfy the condition that d(x, Tx) = d(A, B). The purpose of this article is to establish best proximity point theorems for contractive non-self mappings, yielding global optimal approximate solutions of certain fixed point equations. Besides establishing the existence of best proximity points, iterative algorithms are also furnished to determine such optimal approximate solutions.     

Multi-peak positive solutions for nonlinear Schrödinger equations with critical frequency

We study the nonlinear Schrödinger equations: \(-\epsilon^{2}\Delta u + V(x)u=u^p,\quad u > 0\quad \mbox{in } {\bf R}^{N},\quad u\in H^{1} ({\bf R}^{N}).\) where p > 1 is a subcritical exponent and V(x) is nonnegative potential function which has “critical frequency” \(\inf_{x\in{\bf R}^{N}} V(x)=0\). We also assume that V(x) satisfies \(0 < \liminf_{|x|\to\infty}V(x)\le \sup_{x\in{\bf R}^{N}}V(x) < \infty\) and V(x) has k local or global minima. In critical frequency cases, Byeon-Wang [5,6] showed the existence of single-peak solutions which concentrating around global minimum of V(x). Their limiting profiles—which depend on the local behavior of the potential V(x)—are quite different features from non-critical frequency case. We show the existence of multi-peak positive solutions joining single-peak solutions which concentrate around prescribed local or global minima of V(x). Moreover, under additional conditions on the behavior of V(x), we state the limiting profiles of peaks of solutions u _ε(x) as follows: rescaled function \(w_\epsilon(y)=\left(\frac{g(\epsilon)}{\epsilon}\right)^{\frac{2}{p-1}} u_\epsilon(g(\epsilon)y+x_\epsilon)\) converges to a least energy solution of ?Δw + V ₀(y) w = w ^p , w > 0 in Ω₀, \(w\in H^{1}_0(\Omega_0)\). Here g(ε), V ₀(x) and Ω₀ depend on the local behaviors of V(x).     

Short cubic exponential sums over primes

For y ≥ x ^4/5 L ^8B+151 (where L = log(xq) and B is an absolute constant), a nontrivial estimate is obtained for short cubic exponential sums over primes of the form S ₃(α; x, y) = ∑ _x?y<n≤x Λ(n)e(αn ³), where α = a/q + θ/q ², (a, q) = 1, L ^32(B+20) < q ≤ y ⁵ x ^?2 L ^?32(B+20), |θ| ≤ 1, Λ is the von Mangoldt function, and e(t) = e ^2πit.     

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.     

Positive Solutions of a Third-Order Boundary Value Problem with Full Nonlinearity

This paper is concerned with the existence of positive solutions of the third-order boundary value problem with full nonlinearity

$$\begin{aligned} \left\{ \begin{array}{lll} u'''(t)&{}=f(t,u(t),u'(t),u''(t)),\quad t\in [0,1],\\ u(0)&{}=u'(1)=u''(1)=0, \end{array}\right. \end{aligned}$$

where \(f:[0,1]\times \mathbb {R}^+\times \mathbb {R}^+\times \mathbb {R}^-\rightarrow \mathbb {R}^+\) is continuous. Under some inequality conditions on f as |(x, y, z)| small or large enough, the existence results of positive solution are obtained. These inequality conditions allow that f(t, x, y, z) may be superlinear, sublinear or asymptotically linear on x, y and z as \(|(x,y,z)|\rightarrow 0\) and \(|(x,y,z)|\rightarrow \infty \). For the superlinear case as \(|(x,y,z)|\rightarrow \infty \), a Nagumo-type growth condition is presented to restrict the growth of f on y and z. Our discussion is based on the fixed point index theory in cones.

     

On the additive complexity of GCD and LCM matrices

In the paper, the additive complexity of matrices formed by positive integer powers of greatest common divisors and least common multiples of the indices of the rows and columns is considered. It is proved that the complexity of the n × n matrix formed by the numbers GCD^r(i, k) over the basis {x + y} is asymptotically equal to rn log²n as n→∞, and the complexity of the n × n matrix formed by the numbers LCM^r(i, k) over the basis {x + y,?x} is asymptotically equal to 2rn log₂n as n→∞.     

Generalized (Jordan) left derivations on rings associated with an element of rings

In this paper, we introduce a new notion of generalized (Jordan) left derivation on rings as follows: let R be a ring, an additive mapping F : R → R is called a generalized (resp. Jordan) left derivation if there exists an element w ∈ R such that F(xy) = xF(y) + yF(x) + yxw (resp. F(x ²) = 2xF(x) + x ² w) for all x, y ∈ R. Then, some related properties and results on generalized (Jordan) left derivation of square closed Lie ideals are obtained.     

Drift perturbation of subordinate Brownian motions with Gaussian component

Let d ≥ 1 and Z be a subordinate Brownian motion on R~d with infinitesimal generator ? + ψ(?),where ψ is the Laplace exponent of a one-dimensional non-decreasing L′evy process(called subordinator). We establish the existence and uniqueness of fundamental solution(also called heat kernel) pb(t, x, y) for non-local operator L~b= ? + ψ(?) + b ?, where Rb is an Rd-valued function in Kato class K_(d,1). We show that p~b(t, x, y)is jointly continuous and derive its sharp two-sided estimates. The kernel pb(t, x, y) determines a conservative Feller process X. We further show that the law of X is the unique solution of the martingale problem for(L~b, C_c~∞(R~d)) and X is a weak solution of Xt = X0+ Zt + integral from n=0 to t(b(Xs)ds, t ≥ 0).Moreover, we prove that the above stochastic differential equation has a unique weak solution.