On boundary values for the Laguerre operator in indefinite inner product spaces

It is shown that, when α < ?1, the Laguerre operator ly = xy′' + (1 + α ? x)y′ requires more than one boundary condition at x = 0 in order to be self-adjoint. The more negative α, the more boundary conditions required.     

Triple Homomorphisms of Perfect Lie Algebras

Let L, L′ be Lie algebras over a commutative ring R. A R-linear mapping f: L → L′ is called a triple homomorphism from L to L′ if f([x, [y, z]]) = [f(x), [f(y), f(z)]] for all x, y, z ∈ L. It is clear that homomorphisms, anti-homomorphisms, and sums of homomorphisms and anti-homomorphisms are all triple homomorphisms. We proved that, under certain assumptions, these are all triple homomorphisms.     

A method of constructing integrable linear equations and its application to Hill's equation

Starting with a given equation of the form $$\ddot x + [\lambda + \varepsilon f(t)] x = 0$$ , where λ > 0 and ? ? l is a small parameter [heref(t) may be periodic, and so Hill's equation is included], we construct an equation of the form y + [λ + ?f (t) + ?² _g (t)]y = 0, integrable by quadratures, close in a certain sense to the original equation. For x₀ = y₀ and x ₀ ^′ = y ₀ ^′ , an upper bound is obtained for ¦y—x¦ on an interval of length Δt.     

An Excursion into Nonlinear Ramsey Theory

Formulas for two-color Rado numbers have been established for many families of linear equations. However, there are no explicit formulas for two-color Rado numbers for any nonlinear equations. In this paper, we will establish formulas for the two-color Rado numbers for three families of equations: x + y ⁿ = z, x + y ² + c = z, and x +  y ² = az , where c and a are positive integers.     

An Engel condition with skew derivations

Let R be a prime ring and set [x, y]₁ = [x, y] = xy ? yx for ${x,y\in R}$ and inductively [x, y] _k = [[x, y] _k-1, y] for k > 1. We apply the theory of generalized polynomial identities with automorphisms and skew derivations to obtain the following result: If δ is a nonzero σ-derivation of R and L is a noncommutative Lie ideal of R so that [δ(x), x] _k  = 0 for all ${x \in L}$ , where k is a fixed positive integer, then charR = 2 and ${R\subseteq M_{2}(F)}$ for some field F. This result generalizes the case of derivations by Lanski and also the case of automorphisms by Mayne.     

Hyers–Ulam Stability of General Jensen-Type Mappings in Banach Algebras

Using the fixed point method, we prove the Hyers–Ulam stability of homomorphisms in complex Banach algebras and complex Banach Lie algebras and also of derivations on complex Banach algebras and complex Banach Lie algebras for the general Jensen-type functional equation f(α x + β y) + f(α x ? β y) = 2α f(x) for any \({\alpha, \beta \in \mathbb{R}}\) with \({\alpha, \beta \neq 0}\) . Furthermore, we prove the hyperstability of homomorphisms in complex Banach algebras for the above functional equation with α = β = 1.     

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.     

Analysis of a singular functional differential equation that arises from stochastic modeling of population growth

The singular functional differential equation x(1 ? x)A(x)y′(x) + by(h(x)) ? by(x) = ?bg(x), x in (0, 1), is studied for initial data y = 0 on x ? a, y continuous on (a, 1) and y(1?) bounded. The singularity at x = 0+ is removable for a certain class of delayed arguments, h(x). The final end point at x = 1? is the most important singularity because it results in a genuine singular boundary value problem. A formal solution is constructed and is shown to be unique and bounded when g(x) is bounded. A singular decomposition transforms the problem into two nonsingular initial value problems. Singular FDEs of this type arise in the study of the persistence of populations undergoing large random fluctuations when modeled by compound Poisson processes superimposed on logistic-type growth.     

Backward stochastic differential equations and applications to optimal control

We study the existence and uniqueness of the following kind of backward stochastic differential equation, $$x(t) + \int_t^T {f(x(s),y(s),s)ds + \int_t^T {y(s)dW(s) = X,} }$$ under local Lipschitz condition, where (Ω, ?,P, W(·), ?_t) is a standard Wiener process, for any given (x, y),f(x, y, ·) is an ?_t-adapted process, andX is ?_t-measurable. The problem is to look for an adapted pair (x(·),y(·)) that solves the above equation. A generalized matrix Riccati equation of that type is also investigated. A new form of stochastic maximum principle is obtained.     

The existence,uniqueness, and instability of spherically symmetric solutions of a system of reaction—Diffusion equations

The system $\text{?x}\text{?t}\text{= Δx + F(x,y),}\text{?y}\text{?t}\text{= G(x,y)}$ is investigated, where x and y are scalar functions of time (t ? 0), and n space variables $\text{(ξ}{}_1\text{,…, ξ}{}_{\mathrm{n}}\text{), Δx ≡ ∑}{}_{\mathrm{i\; =\; 1}}{}^{\mathrm{n}}\text{?}{}^2\text{x}\text{?ξ}{}_{\mathrm{i}}{}^2$, and F and G are nonlinear functions. Under certain hypotheses on F and G it is proved that there exists a unique spherically symmetric solution $\text{(x(r),y(r)),}\text{where}\text{r = (ξ}{}_1{}^2\text{+ … + ξ}{}_{\mathrm{n}}{}^2\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}$, which is bounded for r ? 0 and satisfies x(0) >x₀, y(0) > y₀, x′(0) = 0, y′(0) = 0, and x′ < 0, y′ > 0, ?r > 0. Thus, (x(r), y(r)) represents a time independent equilibrium solution of the system. Further, the linearization of the system restricted to spherically symmetric solutions, around (x(r), y(r)), has a unique positive eigenvalue. This is in contrast to the case n = 1 (i.e., one space dimension) in which zero is an eigenvalue. The uniqueness of the positive eigenvalue is used in the proof that the spherically symmetric solution described is unique.     

Second order linear O.D.E. and Riccati equations

We prove that approximate solutions of the Riccati equation ?′ + ?² = a(x) yield asymptotic solutions y = e^∝x?(s)ds of the second order linear equation y″ = a(x)y. We show that the iterative scheme ?₀ = a, ?_{n + 1}² = a ? ?_n′ leads to asymptotic solutions of the cited linear equation in many interesting cases.     

On an optimization problem of Bellman

This paper considers a problem proposed by Bellman in 1970: given a continuous kernel K(x, y) defined on I × I, find a pair of continuous functions f and g such that f(x) + g(y) ? K(x, y) on I × I and ∝_I (f + g) is minimum. The notion of basic decomposition of K is defined, and it is shown that whenever K(x, y) or K(x, a + b ? y), I = [a, b], admits a basic decomposition, Bellman's problem has a unique differentiable solution, provided K is differentiable. Explicit formulas for such solutions are given. More generally, there are kernels which admit basic decompositions on subintervals which can be “pasted together” to define a unique piecewise differentiable solution.     

Projective bichains

An algebra with two binary operations · and +  that are commutative, associative, and idempotent is called a bisemilattice. A bisemilattice that satisfies Birkhoff’s equation x · (x + y) =  x + (x · y) is a Birkhoff system. Each bisemilattice determines, and is determined by, two semilattices, one for the operation +  and one for the operation ·. A bisemilattice for which each of these semilattices is a chain is called a bichain. In this note, we characterize the finite bichains that are weakly projective in the variety of Birkhoff systems as those that do not contain a certain three-element bichain. As subdirectly irreducible weak projectives are splitting, this provides some insight into the fine structure of the lattice of subvarieties of Birkhoff systems.     

On Olaleru’s open problem on Gregus fixed point theorem

Let (X, d) be a complete metric space and ${TX \longrightarrow X }$ be a mapping with the property d(Tx, Ty) ≤ ad(x, y) + bd(x, Tx) + cd(y, Ty) + ed(y, Tx) + fd(x, Ty) for all ${x, y \in X}$ , where 0 < a < 1, b, c, e, f ≥ 0, a + b + c + e + f = 1 and b + c > 0. We show that if e + f > 0 then T has a unique fixed point and also if e + f ≥ 0 and X is a closed convex subset of a complete metrizable topological vector space (Y, d), then T has a unique fixed point. These results extend the corresponding results which recently obtained in this field. Finally by using our main results we give an answer to the Olaleru’s open problem.     

Sphere coverings and identifying codes

In any connected, undirected graph G = (V, E), the distance d(x, y) between two vertices x and y of G is the minimum number of edges in a path linking x to y in G. A sphere in G is a set of the form S _r (x) = {y ∈ V : d(x, y) = r}, where x is a vertex and r is a nonnegative integer called the radius of the sphere. We first address in this paper the following question: What is the minimum number of spheres with fixed radius r ≥ 0 required to cover all the vertices of a finite, connected, undirected graph G? We then turn our attention to the Hamming Hypercube of dimension n, and we show that the minimum number of spheres with any radii required to cover this graph is either n or n + 1, depending on the parity of n. We also relate the two above problems to other questions in combinatorics, in particular to identifying codes.     

Commuting Traces of Biadditive Maps on Invertible Elements

Let R be a simple unital ring. Under a mild technical restriction on R, we will characterize biadditive mappings G: R² → R satisfying G(u, u)u = uG(u, u), and G(1, r) = G(r, 1) = r for all unit u ∈ R and r ∈ R, respectively. As an application, we describe bijective linear maps θ: R → R satisfying θ(xyx^?1y^?1) = θ(x)θ(y)θ(x)^?1θ(y)^?1 for all invertible x, y ∈ R. This solves an open problem of Herstein on multiplicative commutators. More precisely, we will show that θ is an isomorphism. Furthermore, we shall see the existence of a unital simple ring R′ without nontrivial idempotents, that admits a bijective linear map f: R′ → R′, preserving multiplicative commutators, that is not an isomorphism.     

Regions of absolute stability of explicit Runge-Kutta-Nyström methods for y″ = f(x, y, y′)

We examine regions of absolute stability of s-stage explicit Runge-Kutta-Nyström (R-K-N) methods of order s for s = 2, 3, 4 for y″ = f(x, y, y′) by applying these methods to the test equation: y″ + 2αy′ + β²y = O, α, β ? 0, α + β > 0. We also examine the regions of absolute stability of Runge-Kutta (R-K) methods for first order differential equations of respective orders. Interestingly, it turns out that regions of absolute stability of R-K methods and R-K-N methods of respective orders for which the asymptotic relative error does not deteriorate are identical. Our present investigations are in continuation of the recent results of Chawla and Sharma [1].     

High-order one-step P-stable methods for the numerical integration of periodic initial value problems

Using Lobatto nodes, one-step methods of order six and eight have been obtained for the second-order differential equation y″ = f(x, y), y(x₀) = y₀, y′(x₀) = y′₀. The methods are shown to be P-stable. If

, then at each integration step a system of dimension 3s, 4s, respectively, has to be solved. The numerical results, for two problems, obtained by using these methods are given in the end.