Existence and uniqueness theorems for fourth-order singular boundary value problems

By constructing a special cone and using cone compression and expansion fixed point theorem, the existence and uniqueness are established for the following singular fourth-order boundary value problems:

where f(t,x,y) may be singular at t=0,1; x=0 and y=0.     

Dynamic behavior for a system of neutral functional differential equations

Consider the system of neutral functional differential equations

where r>0, F, . It is shown that if F is nondecreasing on , and some additional assumptions hold, then the ω limit set of every bounded solution of such a system with some initial conditions is composed of 2r-periodic solutions. Our results are new and complement some corresponding ones already known.     

Stability and boundedness in difference systems with finite delay

In this paper, stability and boundedness theorems for delay difference systems with the condition

δV(n,x(n))≤-W₂(|x(n)|)+σ

are given, where Δ is the backward difference operator. Some known results are generalized.     

Approximate fixed point sequence for a finite family of asymptotically pseudocontractive mappings

Let E be a real Banach space and K be a nonempty, closed, convex, and bounded subset of E. Let T_i:K→K, i=1,2,…,N, be N uniformly L-Lipschitzian, uniformly asymptotically regular with sequences {ε_n}, and asymptotically pseudocontractive mappings with sequences , where {ε_n} and , i=1,2,…,N, satisfy certain mild conditions. Let a sequence {x_n} be generated from x₁K by

for all integers n1, where T_n=T_n(modN), {u_n} be a sequence in K, and {λ_n}, {θ_n} and {μ_n} are three real sequences in [0,1] satisfying appropriate conditions; then x_n−T_lx_n→0 as n→∞ for each l{1,2,…,N}.     

A unified presentation of some classes of meromorphically multivalent functions

The authors introduce and investigate various properties of a general class

U_k[p,a,β,A,B]

p, k ε N {1, 2, 3,…,}; 0 α < p; β 0

;

−1 A < B 1; 0 < B 1)

,which unifies and extends several (known or new) subclasses of meromorphically multivalent functions. The properties and characteristics of this general class, which are presented here, include growth and distortion theorems; they also involve Hadamard products (or convolution) of functions belonging to the class U_k[p,α,β,A,B].     

Global stability for separable nonlinear delay differential equations

Consider the following separable nonlinear delay differential equation

, where we assume that, there is a strictly monotone increasing function f(x) on (−∞, +∞) such that

In this paper, to the above separable nonlinear delay differential equation, we establish conditions of global asymptotic stability for the zero solution. In particular, for a special wide class of f(x) which contains a case of f(x) = e^x−1, we give more explicit conditions. Applying these, we offer conditions of global asymptotic stability for solutions of nonautonomous logistic equations with delays.     

Dynamics of the difference equation

We study the invariant interval, the character of semicycles, the global stability, and the boundedness of the difference equation

where the initial conditions x_−k,…,x₋₁,x₀ are nonnegative, and p,q>0.     

Miniversal deformations of linear systems under the full group action

We consider the equivalence relation in the space of time-invariant linear dynamical systems of the form

under the full group action of state feedback/output injection transformations. As in the case of the reduction of a matrix to its Jordan canonical form, the reduction of a quadruple (A,B,C,D) defining a system as above to its canonical reduced form is an unstable operation. Following V.I. Arnold’s techniques, the starting point for the study of local perturbations is to obtain a miniversal deformation of a differentiable family of quadruples. In this paper, a “real” miniversal deformation and some applications are shown.     

Feedback affinization of nonlinear control systems

In this paper conditions for the nonlinear control system

to have a nonlinear feedback control

u=(x,v), vΩ′R^m′, m′m, 0Ω′

such that the nonlinear system takes a form of an affine system

are presented. All results require algebraic operations and differentiation of functions only.     

A further result on the oscillation of delay difference equations

In this paper, we are concerned with the delay difference equations of the form

(*)

y_n+1 − y_n + p_ny_n−k = 0, N = 0, 1, 2, …,

(*)where p_n ≥ 0 and k is a positive integer. We prove by using a new technique that

guarantees that all solutions of equation (*) oscillate, which improves many previous well-known results. In particular, our theorems also fit the case where Σⁿ⁻¹_i=n−kp_i ≤ k^k+1/(k + 1)^k+1. In addition, we present a nonoscillation sufficient condition for equation (*).     

Explicit Substitutions à la de Bruijn: the local and global way

Kamareddine and Nederpelt[9], resp. Kamareddine and Ríos [11] gave two calculi of explicit of substitutions highly influenced by de Bruijn's notation of the λ-calculus. These calculi added to the explosive pool of work on explicit substitution in the past 15 years. As far as we know, calculi of explicit substitutions: a) are unable to handle local substitutions, and b) have answered (positively or negatively) the question of the termination of the underlying calculus of substitutions. The exception to a) is the calculus of [9] where substitution is handled both locally and globally. However, the calculus of [9] does not satisfy properties like confluence and termination. The exception to b) is the λs_e-calculus of [11] for which termination of the s_e-calculus, the underlying calculus of substitutions, remains unsolved. This paper has two aims:

(i) To provide a calculus à la de Bruijn which deals with local substitution and whose underlying calculus of substitutions is terminating and confluent.

(ii) To pose the problem of the termination of the substitution calculus of [11] in the hope that it can generate interest as a termination problem which at least for curiosity, needs to be settled. The answer here can go either way. On the one hand, although the λσ-calculus [1] does not preserve termination, the σ-calculus itself terminates. On the other hand, could the non-preservation of termination in the λs_e-calculus imply the non-termination of the s_e-calculus?

Generalized dilations and the stabilization of uncertain systems via measurement feedback

We study the problem of semiglobally stabilizing uncertain nonlinear system

Full-size image

, with (A,B) in Brunowski form. We prove that if p₁(z,u,t)u and p₂(z,u,t)u are of order greater than 1 and 0, respectively, with “generalized” dilation δ_l(z,u)=(l¹⁻ⁿz₁,…,l⁻¹z_n−1,z_n,lu) and uniformly with respect to t, where z_i is the ith component of z, then we can achieve semiglobal stabilization via arbitrarily bounded linear measurement feedback.     

The asymptotic self-similar behavior for the quasilinear heat equation with nonlinear boundary condition

In this paper the quasilinear heat equation with the nonlinear boundary condition is studied. The blow-up rate and existence of a self-similar solution are obtained. It is proved that the rescaled function

v(y,t)=(T−t)^{1/(2p+α−2)}u((T−t)^{(p−1)/(2p+α−2)}y,t),