Hamming distance for conjugates

Let x,y be strings of equal length. The Hamming distanceh(x,y) between x and y is the number of positions in which x and y differ. If x is a cyclic shift of y, we say x and y are conjugates. We consider f(x,y), the Hamming distance between the conjugates xy and yx. Over a binary alphabet f(x,y) is always even, and must satisfy a further technical condition. By contrast, over an alphabet of size 3 or greater, f(x,y) can take any value between 0 and |x|+|y|, except 1; furthermore, we can always assume that the smaller string has only one type of letter.     

Local and global existence of solutions for the Cauchy problem of a generalized Boussinesq equation

We consider the local and global existence of solutions for a generalized Boussinesq equation utt−uxx+uxxxx+(uk+1)_xx=0, k>4, with initial data in some homogenous Besov-type space.     

An inverse problem for computing a leading coefficient in the Sturm-Liouville operator by using the boundary data

We consider an inverse problem for identifying a leading coefficient α(x) in −(α(x)y′(x))′ + q(x)y(x) = H(x), which is known as an inverse coefficient problem for the Sturm-Liouville operator. We transform y(x) to u(x, t) =  (1 + t)y(x) and derive a parabolic type PDE in a fictitious time domain of t. Then we develop a Lie-group adaptive method (LGAM) to find the coefficient function α(x). When α(x) is a continuous function of x, we can identify it very well, by giving boundary data of y, y′ and α. The efficiency of LGAM is confirmed by comparing the numerical results with exact solutions. Although the data used in the identification are limited, we can provide a rather accurate solution of α(x).     

On the precise growth, covering, and distortion theorems for normalized biholomorphic mappings

In this paper, we consider a normalized biholomorphic mapping f(x) defined on the unit ball in a complex Banach space, where the origin 0 is a zero of order k+1 of f(x)−x. The precise growth and covering theorem for f(x) is obtained when f(x) is a starlike mapping or a starlike mapping of order α. Especially, the precise growth and covering theorem for f(x) is also established when f(x) is a quasi-convex mapping. Moreover, the precise distortion theorem for f(x) is given when f(x) is a convex mapping. Our result includes many known results.     

A three-point Taylor algorithm for three-point boundary value problems

We consider second-order linear differential equations φ(x)y^″+f(x)y^′+g(x)y=h(x) in the interval (−1,1) with Dirichlet, Neumann or mixed Dirichlet-Neumann boundary conditions given at three points of the interval: the two extreme points x=±1 and an interior point x=s∈(−1,1). We consider φ(x), f(x), g(x) and h(x) analytic in a Cassini disk with foci at x=±1 and x=s containing the interval [−1,1]. The three-point Taylor expansion of the solution y(x) at the extreme points ±1 and at x=s is used to give a criterion for the existence and uniqueness of the solution of the boundary value problem. This method is constructive and provides the three-point Taylor approximation of the solution when it exists. We give several examples to illustrate the application of this technique.     

Common best proximity points: global minimal solutions

Let us suppose that A and B are nonempty subsets of a metric space. Let S:A?B and T:A?B be nonself-mappings. Considering the fact S and T are nonself-mappings, it is feasible that the equations Sx=x and Tx=x have no common solution, designated as a common fixed point of the mappings S and T. Eventually, when the equations have no common solution, one contemplates to figure out an element x that is in close proximity to Sx and Tx in the sense that d(x,Sx) and d(x,Tx) are minimum. In fact, common best proximity point theorems scrutinize the existence of such optimal approximate solutions, known as common best proximity points, to the equations Sx=x and Tx=x in the event that the equations have no common solution. Further, one can perceive that the real-valued functions x?d(x,Sx) and x?d(x,Tx) estimate the magnitude of the error involved for any common approximate solution of the equations Sx=x and Tx=x. In light of the fact that the distance between x and Sx, and the distance between x and Tx are at least the distance between A and B for all x in A, a common best proximity point theorem ascertains global minimum of both functions x?d(x,Sx) and x?d(x,Tx) by limiting a common approximate solution of the equations Sx=x and Tx=x to fulfil the requirement that d(x,Sx)=d(A,B) and d(x,Tx)=d(A,B). This article discusses a common best proximity point theorem for a pair of nonself-mappings, one of which dominates the other proximally, thereby yielding common optimal approximate solutions of some fixed point equations when there is no common solution.     

Periodic solutions of semilinear equations of evolution of compact type

The existence of solutions in a weak sense of x′ + (A + B(t, x))x = f(t, x), x(0) = x(T) is established under the conditions that A generates a semigroup of compact type on a Hilbert space H; B(t,x) is a bounded linear operator and f(t, x) a function with values in H; for each square integrable ?(t) the problem with B(t, ?(t)) and f(t, ?(t)) in place of B(t, x) and f(t, x) has a unique solution; and B and f satisfy certain boundedness and continuity conditions.     

Generalized Jordan algebras

We study commutative algebras which are generalizations of Jordan algebras. The associator is defined as usual by (x, y, z) = (x y)z − x(y z). The Jordan identity is (x², y, x) = 0. In the three generalizations given below, t, β, and γare scalars. ((x x)y)x + t((x x)x)y = 0, ((x x)x)(y x) − (((x x)x)y)x = 0, β((x x)y)x + γ((x x)x)y − (β + γ)((y x)x)x = 0. We show that with the exception of a few values of the parameters, the first implies both the second and the third. The first is equivalent to the combination of ((x x)x)x = 0 and the third. We give examples to show that our results are in some reasonable sense, the best possible.     

Two linear equations in formal power series

The equations [gradφ(x)]^TF(x)=h(x) and F(ψ(x))–ψ(x) are considered. They arise in the stability theory of differential and difference equations. The scalar function h(x) is a given, and the function ψ(x) an unknown, formal power series in the n indeterminates x=(x₁,…,x_n)^T, and h(0)=ψ=0; the elements of the n×n matrix F(x) are also formal power series in x, F(0)=0. It is shown that the solvability of both equations depends on the eigenvalues of the Jacobian F_x(0).     

Periodic behavior of a nonlinear third order vibrating system

A theorem is proved to show that the third order differential equation x^‴+f(t,x,x^′,x^″)=0 has nontrivial solutions characterized by x^′(0)=x^′(τ)=0 when x,x^′,x^″ and f(t,x,x^′,x^″) are bounded. A second condition is introduced to prove the existence of periodic solution for this equation. It is shown that the equation has a τ-periodic solution if f(t,x,x^′,x^″) is an even function with respect to x^′. The existence and periodicity conditions would be applied to third order systems such as viscoelastic mechanical vibration isolator system. The concepts of Green’s function and the Schauder’s fixed-point theorem have been used for proving the third-order-existence theorem.     

Asymptotic behavior of solutions of linear ordinary differential equations

We present some conditions which ensure that the solution Y(x) of the ordinary differential equation Y′(x) = A(x) Y(x), Y(x₀) = I, where x₀ ? x < ∞ and A(x), Y(x) are n × n complex matrix-valued functions with A(x) continuous, has a nonsingular limit as x → ∞.     

On the low regularity of the Benney-Lin equation

We consider the low regularity of the Benney-Lin equation ut+uux+uxxx+β(uxx+uxxxx)+ηuxxxxx=0. We established the global well posedness for the initial value problem of Benney-Lin equation in the Sobolev spaces Hs(R) for 0?s>−2, improving the well-posedness result of Biagioni and Linares [H.A. Biaginoi, F. Linares, On the Benney-Lin and Kawahara equation, J. Math. Anal. Appl. 211 (1997) 131-152]. For s<−2 we also prove some ill-posedness issues.     

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.     

Uppers to zero in R[x] and almost principal ideals

Let R be an integral domain with quotient field K and f(x) a polynomial of positive degree in K[x]. In this paper we develop a method for studying almost principal uppers to zero ideals. More precisely, we prove that uppers to zero divisorial ideals of the form I = f(x)K[x] ∩ R[x] are almost principal in the following two cases:

• J, the ideal generated by the leading coefficients of I, satisfies J ^?1 = R.
• I ^?1 as the R[x]-submodule of K(x) is of finite type.

Furthermore we prove that for I = f(x)K[x] ∩ R[x] we have:

• I ^?1 ∩ K[x] = (I: K(x) I).
• If there exists p/q ∈ I ^?1 ? K[x], then (q, f) ≠ 1 in K[x]. If in addition q is irreducible and I is almost principal, then I′ = q(x)K[x] ∩ R[x] is an almost principal upper to zero.

Finally we show that a Schreier domain R is a greatest common divisor domain if and only if every upper to zero in R[x] contains a primitive polynomial.     

On an eigenvalue problem involving the one-dimensional p-Laplacian

We apply general results on operator equations in ordered spaces and properties of the principal eigenvalues for weighted semi-linear equations to prove the existence of a global continua of positive solutions and eigenvalue intervals to the problem (?(x′))′+λf(t,x,x′)=0 in (0,1), x(0)=x(1)=0, where ?(x)=|x|^p−2x, p>1, λ>0.     

Recurrence and Transience Criteria for Two Cases of Stable-Like Markov Chains

We give recurrence and transience criteria for two cases of time-homogeneous Markov chains on the real line with transition kernel p(x,dy)=f _x (y?x)?dy, where f _x (y) are probability densities of symmetric distributions and, for large |y|, have a power-law decay with exponent α(x)+1, with α(x)∈(0,2). If f _x (y) is the density of a symmetric α-stable distribution for negative x and the density of a symmetric β-stable distribution for non-negative x, where α,β∈(0,2), then the chain is recurrent if and only if α+β≥2. If the function x?f _x is periodic and if the set {x:α(x)=α ₀:=inf _x∈? α(x)} has positive Lebesgue measure, then, under a uniformity condition on the densities f _x (y) and some mild technical conditions, the chain is recurrent if and only if α ₀≥1.     

On the number of divisors of x2 + x + A

Let A be a positive or negative rational integer such that integers in the field of √1 ? 4A have unique prime factorization. An elementary criterion will be obtained for x² + x + A to be a prime number, where x is a positive integer. The criterion implies that for positive A the polynomial x² + x + A is prime for x = 0, 1,…, A ? 2.     

On a generalization of Minkowski's convex body theorem

Given a lattice $\text{Λ ? R}{}^{\mathrm{n}}$ and a bounded function g(x), x ∈ Rⁿ, vanishing outside of a bounded set, the functions ?(x)$\text{g}\text{?}\text{(x)?}$max_u∈Λg(u +x), ?(x)?Σ_{u∈Λ g(u +x)}, and ?₊(x)?Σ_u∈Λ max_{v∈Λ min {g(v + x); g(u + v + x)}} are defined and periodic mod Λ on Rⁿ. In the paper we prove that ?(x) + ?₊(x) ? 2?(x) ≥ ?(x) + h?₊(x) ? 2?(x) holds for all x ∈ Rⁿ, where h(x) is any “truncation” of g by a constant c ≥ 0, i.e., any function of the form h(x)?g(x) if g(x) ≤ c and h(x)?c if g(x) > c. This inequality easily implies some known estimations in the geometry of numbers due to Rado [1] and Cassels [2]. Moreover, some sharper and more general results are also derived from it. In the paper another inequality of a similar type is also proved.     

Strong commutativity preserving maps in prime rings with involution

Let A be a prime ring of characteristic not 2, with center Z(A) and with involution *. Let S be the set of symmetric elements of A. Suppose that f:S→A is an additive map such that [f(x),f(y)]=[x,y] for all x,y∈S. Then unless A is an order in a 4-dimensional central simple algebra, there exists an additive map μ:S→Z(A) such that f(x)=x+μ(x) for all x∈S or f(x)=-x+μ(x) for all x∈S.