The period function of a delay differential equation and an application

We consider the delay differential equation [(x)\dot](t) = - mx(t) + f(x(t - t))\dot x(t) = - \mu x(t) + f(x(t - \tau )), where μ, τ are positive parameters and f is a strictly monotone, nonlinear C ¹-function satisfying f(0) = 0 and some convexity properties. It is well known that for prescribed oscillation frequencies (characterized by the values of a discrete Lyapunov functional) there exists τ* > 0 such that for every τ > τ* there is a unique periodic solution. The period function is the minimal period of the unique periodic solution as a function of τ > τ*. First we show that it is a monotone nondecreasing Lipschitz continuous function of τ with Lipschitz constant 2. As an application of our theorem we give a new proof of some recent results of Yi, Chen and Wu [14] about uniqueness and existence of periodic solutions of a system of delay differential equations.     

STABILITY AND ALMOST PERIODIC SOLUTIONS OF NEUTRAL FUNCTIONAL DIFFERENTIAL EQUATIONS WITH INFINITE DELAY

Itiswellknownthattheexistenceofalmostperiodicsolutionsiscloselyrelatedtothestabilityofsolutions.Forfunctionaldifferentialequationswithinfinitedelay,Y.Hin.[5'6]studiedtheproblemsontheexistenceofalmostperiodicsolutionsandthestability.However,therearefewpapersll2]dealingwithneutralfunctionaldifferentialequationswithinfinitedelay.Inthepresentpaper,forneutralfunctionaldifferentialequationswithinfinitedelay,weprovetheinherencetheoremfortheuniformlystableoperatorD(t),definethestabilitywithrespecttot…     

Existence and Structure of Optimal Solutions of Infinite-Dimensional Control Problems

In this work we analyze the structure of optimal solutions for a class of infinite-dimensional control systems. We are concerned with the existence of an overtaking optimal trajectory over an infinite horizon. The existence result that we obtain extends the result of Carlson, Haurie, and Jabrane to a situation where the trajectories are not necessarily bounded. Also, we show that an optimal trajectory defined on an interval [0,τ] is contained in a small neighborhood of the optimal steady-state in the weak topology for all t ∈ [0,τ] \backslash E , where E \subset [0,τ] is a measurable set such that the Lebesgue measure of E does not exceed a constant which depends only on the neighborhood of the optimal steady-state and does not depend on τ . Accepted 26 July 2000. Online publication 13 November 2000.     

Existence and global attractivity of a positive periodic solution of a class of delay differential equation

The existence and the global attractivity of a positive periodic solution of the delay differential equationy(t)=y(t) F[t, y](t-τ ₁ (t)),⋯,y(t−τ _n (t))] are studied by using some techniques of the Mawhin coincidence degree theory and the constructing suitable Liapunov functionals. When these results are applied to some special delay bio-mathematics models, some new results are obtained, and many known results are improved. Project partially supported by the National Natural Science Foundation of China (Grant No. 10572057) and the Applied Basic Research Foundation of Yunnan Province.     

一阶时滞微分方程解的零点分布

Abstract. The paper gives two estimates of the distance between adjacent zeros of solutions     

Subsequences of normal sequences

In this paper, we characterize a set of indices τ={τ(0)<τ(1)<…} such that forany normal sequence (α(0), α(1),…) of a certain type, the subsequence (α(τ(0)), α(τ(1)),…) is a normal sequence of the same type. Assume that_n→∞. Then, we prove that τ has this property if and only if the 0–1 sequence (θ _τ (0), whereθ _τ (i)=1 or 0 according asi∈{τ(j);j=0, 1,…} or not, iscompletely deterministic in the sense of B. Weiss.     

On sojourn times in <Emphasis Type="Italic">M</Emphasis>/<Emphasis Type="Italic">GI</Emphasis> systems under state-dependent processor sharing

We consider a system with Poisson arrivals and i.i.d. service times. The requests are served according to the state-dependent processor-sharing discipline, where each request receives a service capacity which depends on the actual number of requests in the system. The linear systems of PDEs describing the residual and attained sojourn times coincide for this system, which provides time reversibility including sojourn times for this system, and their minimal non-negative solution gives the LST of the sojourn time V(τ) of a request with required service time τ. For the case that the service time distribution is exponential in a neighborhood of zero, we derive a linear system of ODEs, whose minimal non-negative solution gives the LST of V(τ), and which yields linear systems of ODEs for the moments of V(τ) in the considered neighborhood of zero. Numerical results are presented for the variance of V(τ). In the case of an M/GI/2-PS system, the LST of V(τ) is given in terms of the solution of a convolution equation in the considered neighborhood of zero. For service times bounded from below, surprisingly simple expressions for the LST and variance of V(τ) in this neighborhood of zero are derived, which yield in particular the LST and variance of V(τ) in M/D/2-PS.     

Qualitative investigation of a singular Cauchy problem for a functional differential equation

We consider the singular Cauchy problem

Delay-dependent stability of high order Runge–Kutta methods

This paper is concerned with the study of the delay-dependent stability of Runge–Kutta methods for delay differential equations. First, a new sufficient and necessary condition is given for the asymptotic stability of analytical solution. Then, based on this condition, we establish a relationship between τ(0)-stability and the boundary locus of the stability region of numerical methods for ordinary differential equations. Consequently, a class of high order Runge–Kutta methods are proved to be τ(0)-stable. In particular, the τ(0)-stability of the Radau IIA methods is proved.     

Transversals of 2-intervals,a topological approach

Fix two distinct parallel linese andf. A 2-interval is the union of an interval one and an interval onf. We study thetransversal number τ (ℋ) of families of 2-intervals ℋ. This is the cardinality of the smallest set which intersects every 2-interval in ℋ. A Gyárfás and J. Lehel [6] proved that τ(ℋ)=O(υ(ℋ)²) where ν(ℋ) is the maximum number of disjoint 2-intervals in ℋ. In the present paper we prove the tight bond τ(ℋ)≤2v(ℋ). Our result has applications in the estimation of the transversal number of other types of set systems. The method we use is topological. We associate a simplicial complexK with our system of 2-intervals and prove that a given subcomplex is contractible inK unless the required transversal exists. Then we construct a cocycle of (another subcomplex of)K to prove that the subcomplex is not contractible inK. We hope that this approach will be applicable to a wider variety of combinatorial optimization problems. Supported by the NSF grant No. CCR-92-00788 and the (Hungarian) National Scientific Research Fund (OTKA) grant No. T4271. The author was visiting the Computation and Automation Institute of the Hungarian Academy of Sciences while part of this research was done.     

Some conjectures on the zeros of approximates to the Riemann ≡-function and incomplete gamma functions

Riemann conjectured that all the zeros of the Riemann ≡-function are real, which is now known as the Riemann Hypothesis (RH). In this article we introduce the study of the zeros of the truncated sums ≡ _N (z) in Riemann’s uniformly convergent infinite series expansion of ≡(z) involving incomplete gamma functions. We conjecture that when the zeros of ≡ _N (z) in the first quadrant of the complex plane are listed by increasing real part, their imaginary parts are monotone nondecreasing. We show how this conjecture implies the RH, and discuss some computational evidence for this and other related conjectures.     

On some properties of solutions of second-order linear functional differential equations

The properties of solutions of the equationu″(t) =p ₁(t)u(τ₁(t)) +p ₂(t)u′(τ₂(t)) are investigated wherep _i :a, + ∞[→R (i=1,2) are locally summable functions τ₁ :a, + ∞[→R is a measurable function, and τ₂ :a, + ∞[→R is a nondecreasing locally absolutely continuous function. Moreover, τ _i (t) ≥t (i = 1,2),p ₁(t)≥0,p ₂ ² (t) ≤ (4 - ɛ)τ ₂ ^′ (t)p ₁(t), ɛ =const > 0 and . In particular, it is proved that solutions whose derivatives are square integrable on [α,+∞] form a one-dimensional linear space and for any such solution to vanish at infinity it is necessary and sufficient that .     

Derivations on the Algebra of τ-Compact Operators Affiliated with a Type I von Neumann Algebra

Let M be a type I von Neumann algebra with the center Z, and a faithful normal semi-finite trace τ. Consider the algebra L(M, τ) of all τ-measurable operators with respect to M and let S ₀(M, τ) be the subalgebra of τ-compact operators in L(M, τ). We prove that any Z-linear derivation of S ₀(M, τ) is spatial and generated by an element from L(M, τ).      

Dominated convergence in measure on semifinite von Neumann algebras and arithmetic averages of measurable operators

Consider a von Neumann algebra M with a faithful normal semifinite trace τ. We prove that each order bounded sequence of τ-compact operators includes a subsequence whose arithmetic averages converge in τ. We also prove a noncommutative analog of Pratt’s lemma for L ₁(M, τ). The results are new even for the algebra M = B(H) of bounded linear operators with the canonical trace τ = tr on a Hilbert space H. We apply the main result to L _p (M, τ) with 0 < p ≤ 1 and present some examples that show the necessity of passing to the arithmetic averages as well as the necessity of τ-compactness of the dominant.     

Oscillation of differential equations in Banach spaces

Summary In this paper some properties of solutions of the differential equation Y″(t)++P(t) Y(t)=0 in Banach spaces are investigated. In particular, conditions are given for some solutions of such equations to possess an infinite number of zeros as t → ∞ while another condition ensures some solutions possess only a finite number of zeros, Some examples and a theorem show the concept of an oscillatory solution of a differential equation in a Banach space involves pathologies not found in the case of finite dimensional spaces. Upon specialization of the Banach spaces involved the results reduce to known theorems. Entrata in Redazione il 13 maggio 1969.     

Hopf Bifurcations and Oscillatory Instabilities of Spike Solutions for the One-Dimensional Gierer-Meinhardt Model

Summary. In the limit of small activator diffusivity ɛ , the stability of symmetric k -spike equilibrium solutions to the Gierer-Meinhardt reaction-diffusion system in a one-dimensional spatial domain is studied for various ranges of the reaction-time constant τ≥ 0 and the diffusivity D>0 of the inhibitor field dynamics. A nonlocal eigenvalue problem is derived that determines the stability on an O(1) time-scale of these k -spike equilibrium patterns. The spectrum of this eigenvalue problem is studied in detail using a combination of rigorous, asymptotic, and numerical methods. For k=1 , and for various exponent sets of the nonlinear terms, we show that for each D>0 , a one-spike solution is stable only when 0≤ τ<τ ₀ (D) . As τ increases past τ ₀ (D) , a pair of complex conjugate eigenvalues enters the unstable right half-plane, triggering an oscillatory instability in the amplitudes of the spikes. A large-scale oscillatory motion for the amplitudes of the spikes that occurs when τ is well beyond τ ₀ (D) is computed numerically and explained qualitatively. For k≥ 2 , we show that a k -spike solution is unstable for any τ≥ 0 when D>D _k , where D _k >0 is the well-known stability threshold of a multispike solution when τ=0 . For D>D _k and τ≥ 0 , there are eigenvalues of the linearization that lie on the (unstable) positive real axis of the complex eigenvalue plane. The resulting instability is of competition type whereby spikes are annihilated in finite time. For 0<D<D _k , we show that a k -spike solution is stable with respect to the O(1) eigenvalues only when 0≤ τ<τ ₀ (D;k) . When τ increases past τ ₀ (D;k)>0 , a synchronous oscillatory instability in the amplitudes of the spikes is initiated. For certain exponent sets and for k≥ 2 , we show that τ ₀ (D;k) is a decreasing function of D with τ ₀ (D;k) → τ _0k >0 as D→ D _k ^- .     

Singular solutions of some nonlinear parabolic equations

We consider the existence and uniqueness of singular solutions for equations of the formu ₁=div(|Du|^p−2 Du)-φu), with initial datau(x, 0)=0 forx⇑0. The function ϕ is a nondecreasing real function such that ϕ(0)=0 andp>2. Under a growth condition on ϕ(u) asu→∞, (H1), we prove that for everyc>0 there exists a singular solution such thatu(x, t)→cδ(x) ast→0. This solution is unique and is called a fundamental solution. Under additional conditions, (H2) and (H3), we show the existence of very singular solutions, i.e. singular solutions such that ∫_|x|≤r u(x,t)dx→∞ ast→0. Finally, for functions ϕ which behave like a power for largeu we prove that the very singular solution is unique. This is our main result. In the case ϕ(u)=u ^q, 1≤q, there are fundamental solutions forq<p*=p-1+(p/N) and very singular solutions forp-1<q<p*. These ranges are optimal. Dedicated to Professor Shmuel Agmon     

Hypergraph families with bounded edge cover or transversal number

The transversal number, packing number, covering number and strong stability number of hypergraphs are denoted by τ, ν, ϱ and α, respectively. A hypergraph family t is called τ-bound (ϱ-bound) if there exists a “binding function”f(x) such that τ(H)≦f(v(H)) (ϱ(H)≦f(α(H))) for allH ∈ t. Methods are presented to show that various hypergraph families are τ-bound and/or ϱ-bound. The results can be applied to families of geometrical nature like subforests of trees, boxes, boxes of polyominoes or to families defined by hypergraph theoretic terms like the family where every subhypergraph has the Helly-property.     

Quadrature based collocation methods for integral equations of the first kind

Problem of solving integral equations of the first kind, ò_a^b k(s, t) x(t) dt = y(s), s ? [a, b]\int_a^b k(s, t) x(t)\, dt = y(s),\, s\in [a, b] arises in many of the inverse problems that appears in applications. The above problem is a prototype of an ill-posed problem. Thus, for obtaining stable approximate solutions based on noisy data, one has to rely on regularization methods. In practice, the noisy data may be based on a finite number of observations of y, say y(τ ₁), y(τ ₂), ..., y(τ _n ) for some τ ₁, ..., τ _n in [a, b]. In this paper, we consider approximations based on a collocation method when the nodes τ ₁, ..., τ _n are associated with a convergent quadrature rule. We shall also consider further regularization of the procedure and show that the derived error estimates are of the same order as in the case of Tikhonov regularization when there is no approximation of the integral operator is involved.