ON THE TITCHMARSH-WEYL THEORY OF ORDINARY SYMMETRIC ODD-ORDER DIFFERENTIAL EXPRESSIONS AND A DIRECT CONVERGENCE THEOREM

Abstract

In this paper the odd-order differential equation M[y] λ wy on the interval (O,∞), associated with the symmetric differential expression M of (2k-1)st order (k ≥ 2) with w a positive weight function and λ a complex number, is shown to possess k-Titchmarsh-Weyl solutions for every non-real λ in the underlying Hilbert space L² _w(O, ∞) having identical representation for every non-real λ. In terms of these solutions the Green's function associated with the singular boundary value problem is shown to possess identical representation for all non-real λ which has been further made use of in the third-order case to establish a direct convergence eigenfunction expansion theorem. The symmetric spectral matrix appearing in the expansion theorem has been characterized in terms of the Titchmarsh-Weyl m-coefficients.     

Lyapunov inequality for linear Hamiltonian systems on time scales

The principal aim of this paper is to state and prove some Lyapunov inequalities for linear Hamiltonian system on an arbitrary time scale , so that the well-known case of differential linear Hamiltonian systems and the recently developed case of discrete Hamiltonian systems are unified. Applying these inequalities, a disconjugacy criterion for Hamiltonian systems on time scales is obtained.     

Non–limit-circle and limit-point criteria for symplectic and linear Hamiltonian systems

Several necessary and/or sufficient conditions for the existence of a non–square-integrable solution of symplectic dynamic systems with general linear dependence on the spectral parameter on time scales are established and a sufficient condition for the limit-point case is derived. Almost all presented results are new even in the continuous and discrete cases, that is, for the linear Hamiltonian differential systems and for the discrete symplectic systems, respectively.     

Characterization of domains of self-adjoint ordinary differential operators

The GKN (Glazman, Krein, Naimark) Theorem characterizes all self-adjoint realizations of linear symmetric (formally self-adjoint) ordinary differential equations in terms of maximal domain functions. These functions depend on the coefficients and this dependence is implicit and complicated. In the regular case an explicit characterization in terms of two-point boundary conditions can be given. In the singular case when the deficiency index d is maximal the GKN characterization can be made more explicit by replacing the maximal domain functions by a solution basis for any real or complex value of the spectral parameter λ. In the much more difficult intermediate cases, not all solutions contribute to the singular self-adjoint conditions. In 1986 Sun found a representation of the self-adjoint singular conditions in terms of certain solutions for nonreal values of λ. In this paper we give a representation in terms of certain solutions for real λ. This leads to a classification of solutions as limit-point (LP) or limit-circle (LC) in analogy with the celebrated Weyl classification in the second-order case. The LC solutions contribute to the singular boundary conditions, the LP solutions do not. The advantage of using real λ is not only because it is, in general, easier to find explicit solutions but, more importantly, it yields information about the spectrum.     

Dynamics of a class of ODEs more general than almost periodic

A temporally global solution, if it exists, of a nonautonomous ordinary differential equation need not be periodic, almost periodic or almost automorphic when the forcing term is periodic, almost periodic or almost automorphic, respectively. An alternative class of functions extending periodic and almost periodic functions which has the property that a bounded temporally global solution solution of a nonautonomous ordinary differential equation belongs to this class when the forcing term does is introduced here. Specifically, the class of functions consists of uniformly continuous functions, defined on the real line and taking values in a Banach space, which have pre-compact ranges. Besides periodic and almost periodic functions, this class also includes many nonrecurrent functions. Assuming a hyperbolic structure for the unperturbed linear equation and certain properties for the linear and nonlinear parts, the existence of a special bounded entire solution, as well the existence of stable and unstable manifolds of this solution are established. Moreover, it is shown that this solution and these manifolds inherit the temporal behaviour of the vector field equation. In the stable case it is shown that this special solution is the pullback attractor of the system. A class of infinite dimensional examples involving a linear operator consisting of a time independent part which generates a C₀-semigroup plus a small time dependent part is presented and applied to systems of coupled heat and beam equations.     

Differential equations on variable time scales

We introduce a class of differential equations on variable   time scales with a transition condition between two consecutive parts of the scale. Conditions for existence and uniqueness of solutions are obtained. Periodicity, boundedness and stability of solutions are considered. The method of investigation is by means of two successive reductions: B$B$-equivalence of the system [E. Akalín, M.U. Akhmet, The principles of B-smooth discontinuous flows, Computers and Mathematics with Applications 49 (2005) 981–995; M.U. Akhmet, Perturbations and Hopf bifurcation of the planar discontinuous dynamical system, Nonlinear Analysis 60 (2005) 163–178; M.U. Akhmet, N.A. Perestyuk, The comparison method for differential equations with impulse action, Differential Equations 26 (9) (1990) 1079–1086] on a variable time scale to a system on a time scale, a reduction to an impulsive differential equation [M.U. Akhmet, Perturbations and Hopf bifurcation of the planar discontinuous dynamical system, Nonlinear Analysis 60 (2005) 163–178; M.U. Akhmet, M. Turan, The differential equations on time scales through impulsive differential equations, Nonlinear Analysis 65 (2006) 2043–2060]. Appropriate examples are constructed to illustrate the theory.     

On the number of zeros of Abelian integrals for a polynomial Hamiltonian irregular at infinity

Up to now, most of the results on the tangential Hilbert 16th problem have been concerned with the Hamiltonian regular at infinity, i.e., its principal homogeneous part is a product of the pairwise different linear forms. In this paper, we study a polynomial Hamiltonian which is not regular at infinity. It is shown that the space of Abelian integral for this Hamiltonian is finitely generated as a R[h] module by several basic integrals which satisfy the Picard-Fuchs system of linear differential equations. Applying the bound meandering principle, an upper bound for the number of complex isolated zeros of Abelian integrals is obtained on a positive distance from critical locus. This result is a partial solution of tangential Hilbert 16th problem for this Hamiltonian. As a consequence, we get an upper bound of the number of limit cycles produced by the period annulus of the non-Hamiltonian integrable quadratic systems whose almost all orbits are algebraic curves of degree k+n, under polynomial perturbation of arbitrary degree.     

Exact slow-fast decomposition of the singularly perturbed matrix differential Riccati equation

In this paper the Hamiltonian matrix formulation of the Riccati equation is used to derive the reduced-order pure-slow and pure-fast matrix differential Riccati equations of singularly perturbed systems. These pure-slow and pure-fast matrix differential Riccati equations are obtained by decoupling the singularly perturbed matrix differential Riccati equation of dimension n₁+n₂ into the pure-slow regular matrix differential Riccati equation of dimension n₁ and the pure-fast stiff matrix differential Riccati equation of dimension n₂. A formula is derived that produces the solution of the original singularly perturbed matrix differential Riccati equation in terms of solutions of the pure-slow and pure-fast reduced-order matrix differential Riccati equations and solutions of two reduced-order initial value problems. In addition to its theoretical importance, the main result of this paper can also be used to implement optimal filtering and control schemes for singularly perturbed linear time-invariant systems independently in pure-slow and pure-fast time scales.     

Reid Roundabout Theorem for Symplectic Dynamic Systems on Time Scales

The principal aim of this paper is to state and prove the so-called Reid roundabout theorem for the symplectic dynamic system (S) z ^Δ = \cal S _t z on an arbitrary time scale \Bbb T , so that the well known case of differential linear Hamiltonian systems ( \Bbb T = \Bbb R ) and the recently developed case of discrete symplectic systems ( \Bbb T = \Bbb Z ) are unified. We list conditions which are equivalent to the positivity of the quadratic functional associated with (S), e.g. disconjugacy (in terms of no focal points of a conjoined basis) of (S), no generalized zeros for vector solutions of (S), and the existence of a solution to the corresponding Riccati matrix equation. A certain normality assumption is employed. The result requires treatment of the quadratic functionals both with general and separated boundary conditions. Accepted 28 August 2000. Online publication 26 February 2001.     

Halanay type inequalities on time scales with applications

This paper aims to introduce Halanay type inequalities on time scales. By means of these inequalities we derive new global stability conditions for nonlinear dynamic equations on time scales. Giving several examples we show that besides generalization and extension to q-difference case, our results also provide improvements for the existing theory regarding differential and difference inequalities, which are the most important particular cases of dynamic inequalities on time scales.     

The differential equations on time scales through impulsive differential equations

In this paper we investigate differential equations on certain time scales with transition conditions (DETC) on the basis of reduction to the impulsive differential equations (IDE). DETC are in some sense more general than dynamic equations on time scales [M. Bohner, A. Peterson, Dynamic equations on time scales, in: An Introduction With Applications, Birkhäuser Boston, Inc., Boston, MA, 2001, p. x+358; V. Laksmikantham, S. Sivasundaram, B. Kaymakcalan, Dynamical Systems on Measure Chains, in: Math. and its Appl., vol. 370, Kluwer Academic, Dordrecht, 1996]. The basic properties of linear systems, the existence and stability of periodic solutions, and almost periodic solutions are considered. Appropriate examples are given to illustrate the theory.     

A unified Floquet theory for discrete, continuous, and hybrid periodic linear systems

In this paper, we study periodic linear systems on periodic time scales which include not only discrete and continuous dynamical systems but also systems with a mixture of discrete and continuous parts (e.g. hybrid dynamical systems). We develop a comprehensive Floquet theory including Lyapunov transformations and their various stability preserving properties, a unified Floquet theorem which establishes a canonical Floquet decomposition on time scales in terms of the generalized exponential function, and use these results to study homogeneous as well as nonhomogeneous periodic problems. Furthermore, we explore the connection between Floquet multipliers and Floquet exponents via monodromy operators in this general setting and establish a spectral mapping theorem on time scales. Finally, we show this unified Floquet theory has the desirable property that stability characteristics of the original system can be determined via placement of an associated (but time varying) system?s poles in the complex plane. We include several examples to show the utility of this theory.     

Positive solutions of p-type retarded functional differential equations

For systems of retarded functional differential equations with unbounded delay and with finite memory sufficient and necessary conditions of existence of positive solutions on an interval of the form [_t0,∞)$[t_0,\infty )$ are derived. A general criterion is given together with corresponding applications (including a linear case, too). Examples are inserted to illustrate the results.     

The qualitative analysis of a class of planar Filippov systems

We use the theory of differential inclusions, Filippov transformations and some appropriate Poincaré maps to discuss the special case of two-dimensional discontinuous piecewise linear differential systems with two zones. This analysis applies to uniqueness and non-uniqueness for the initial value problem, stability of stationary points, sliding motion solutions, number of closed trajectories, existence of heteroclinic trajectories connecting two saddle points forming a heteroclinic cycle and existence of the homoclinic trajectory     

General existence principles for Stieltjes differential equations with applications to mathematical biology

Stieltjes differential equations, which contain equations with impulses and equations on time scales as particular cases, simply consist on replacing usual derivatives by derivatives with respect to a nondecreasing function. In this paper we prove new existence results for functional and discontinuous Stieltjes differential equations and we show that such general results have real world applications. Specifically, we show that Stieltjes differential equations are specially suitable to study populations which exhibit dormant states and/or very short (impulsive) periods of reproduction. In particular, we construct two mathematical models for the evolution of a silkworm population. Our first model can be explicitly solved, as it consists on a linear Stieltjes equation. Our second model, more realistic, is nonlinear, discontinuous and functional, and we deduce the existence of solutions by means of a result proven in this paper.     

Torsionfree covers and covers by submodules of flat modules 1

Throughout this paper D denotes a division ring and V a left vector space over D. The finitary general linear group FGL(V) or FA Aut_DV over V is the subgroup of Aut_DV of D-automorphisms g of V such that [V,g] = V(g-l) has finite (left) dimension over D. By a finitary skew linear group we mean any subgroup G of FGL(V) for any D and V. Such a G is irreducible if V is irreducible as D-G (bi)module and is primitive if whenever V = ⊕_{ω ? Ω}V_omega as D-module, where for all g?G and ω?Ω, V_ωg = V_ω for some ω?Ω, we have |Ω| = 1. In [4] we showed that a primitive irreducible finitary skew linear group is finite dimensional if it is hyper locally nilpotent (that is radical in the sense of Kuros) and sometimes if it is locally soluble. Here we complete the locally soluble case and, in fact, we can be a little more general.     

Radially symmetric systems with a singularity and asymptotically linear growth

We prove the existence of infinitely many periodic solutions for radially symmetric systems with a singularity of repulsive type. The nonlinearity is assumed to have a linear growth at infinity, being controlled by two constants which have a precise interpretation in terms of the Dancer-Fu?ik spectrum. Our result generalizes an existence theorem by Del Pino et al. (1992) [4], obtained in the case of a scalar second order differential equation.     

On asymptotic equivalence of linear and quasilinear difference equations

The asymptotic equivalence of systems of difference equations of linear and quasilinear type is investigated. The first result on the asymptotic equivalence of linear systems is a discrete analog of an improved version of the Levinson's well-known theorem on asymptotic equivalence of linear differential equations, while the second one providing conditions for asymptotic equivalence of linear and quasilinear systems is related to that of Yakubovich in differential equations case.     

Unbounded branches of periodic solutions

We consider quasilinear ordinary differential equations of higher order that depend on a scalar parameter λ and consist of a stationary leading linear part at infinity and a periodic saturated nonlinearity with period independent of λ. We assume that the linear part becomes resonance at some λ = λ₀. If the leading nonlinear terms (positively homogeneous of zero order) are nondegenerate in a certain sense, then they determine the existence and the number of unbounded branches of periodic solutions for λ close to λ₀. We completely investigate the case of “double degeneration,” in which both the linear and the leading nonlinear terms are degenerate and the terms decaying at infinity play the key role. To take them into account, we develop a new method for the computation of exact asymptotics of the projections of bounded functional nonlinearities onto the two-dimensional resonance subspace.     

Time scale symplectic systems without normality

We present a theory of the definiteness (nonnegativity and positivity) of a quadratic functional F over a bounded time scale. The results are given in terms of a time scale symplectic system (S), which is a time scale linear system that generalizes and unifies the linear Hamiltonian differential system and discrete symplectic system. The novelty of this paper resides in removing the assumption of normality in the characterization of the positivity of F, and in establishing equivalent conditions for the nonnegativity of F without any normality assumption. To reach this goal, a new notion of generalized focal points for conjoined bases (X,U) of (S) is introduced, results on the piecewise-constant kernel of X(t) are obtained, and various Picone-type identities are derived under the piecewise-constant kernel condition. The results of this paper generalize and unify recent ones in each of the discrete and continuous time setting, and constitute a keystone for further development in this theory.