More on Ordinary Differential Equations Which Yield Periodic Solutions of Delay Differential Equations

We construct a Poincaré operator for the system where λ is a real parameter, x ³, x = (x₁, x₂, x₃), [formula], and ƒ is an odd C² function such that ƒ′(0) = 1, xƒ(x) > 0, for x ≠ 0. We also consider the case where ƒ is C¹. We will express F in linearized form, that is, F(x) = Ax + G(x), where A is the linearized part of F around zero and G(x) = o(|x|) near zero. Fixed points of the Poincaré operator correspond to periodic solutions of the functional differential equation

Full-size image

where T is the period of x.     

A connection between a generalized Pascal matrix and the hypergeometric function

The n × n generalized Pascal matrix P(t) whose elements are related to the hypergeometric function ₂F₁(a, b; c; x) is presented and the Cholesky decomposition of P(t) is obtained. As a result, it is shown that

Full-size image

is the solution of the Gauss's hypergeometric differential equation,

x(1 − x)y″ + [1 + (a + b − 1)x]y′ − ABY = 0

. where a and b are any nonnegative integers. Moreover, a recurrence relation for generating the elements of P(t) is given.     

Periodic solutions of sublinear Liénard differential equations

In this paper, we study the existence of periodic solutions of the second order differential equations x^″+f(x)x^′+g(x)=e(t). Using continuation lemma, we obtain the existence of periodic solutions provided that F(x) () is sublinear when x tends to positive infinity and g(x) satisfies a new condition

where M, d are two positive constants.     

Lower bounds for the merit factors of trigonometric polynomials from Littlewood classes

With the notation ,

we prove the following result.Theorem 1. Assume that p is a trigonometric polynomial of degree at most n with real coefficients that satisfies

||p||_L2(K)An^1/2 and ||p′||_L2(K)Bn^3/2.

Then

M₄(p)−M₂(p)M₂(p)

with

We also prove that

and

M₂(p)−M₁(p)10⁻³¹M₂(p)

for every , where denotes the collection of all trigonometric polynomials of the form

     

A general Choquet–Deny theorem for nilpotent groups

Let G be a locally compact second countable nilpotent group. Let μ be a probability measure on the Borel sets of G. We prove that any bounded continuous function h on G solution of the convolution equation

verifies h(gx)=h(g) for all (g,x)G×suppμ.     

On weighted Lebesgue function type sums

Let I be a finite or infinite interval and dμ a measure on I. Assume that the weight function w(x)>0, w^′(x) exists, and the function w^′(x)/w(x) is non-increasing on I. Denote by ℓ_k's the fundamental polynomials of Lagrange interpolation on a set of nodes x₁<x₂<<x_n in I. The weighted Lebesgue function type sum for 1≤i<j≤n and s≥1 is defined by

In this paper the exact lower bounds of S_n(x) on a “big set” of I and are obtained. Some applications are also given.     

Quadrature rules using first derivatives for oscillatory integrands

We consider the integral of a function and its approximation by a quadrature rule of the form

i.e., by a rule which uses the values of both y and its derivative at nodes of the quadrature rule. We examine the cases when the integrand is either a smooth function or an ω dependent function of the form y(x)=f₁(x) sin(ωx)+f₂(x) cos(ωx) with smoothly varying f₁ and f₂. In the latter case, the weights w_k and α_k are ω dependent. We establish some general properties of the weights and present some numerical illustrations.     

Nonradial large solutions of sublinear elliptic problems

Let p be a nonnegative locally bounded function on , N3, and 0<γ<1. Assuming that the oscillation sup_|x|=rp(x)−inf_|x|=rp(x) tends to zero as r→∞ at a specified rate, it is shown that the equation Δu=p(x)u^γ admits a positive solution in satisfying lim_|x|→∞u(x)=∞ if and only if

     

Construction Techniques for Highly Accurate Quasi-Interpolation Operators

Under mild additional assumptions this paper constructs quasi-interpolants in the form

Full-size image

with approximation order ℓ−1, where_h(x) is a linear combination of translatesψ(x−jh) of a functionψinC^ℓ( ). Thus the order of convergence of such operators can be pushed up to a limit that only depends on the smoothness of the functionψ. This approach can be generalized to the multivariate setting by using discrete convolutions with tensor products of odd-degreeB-splines.     

Local convergence of some iterative methods for generalized equations

We study generalized equations of the following form:

(render)

0f(x)+g(x)+F(x),

where f is Fréchet differentiable in a neighborhood of a solution x^* of (*) and g is Fréchet differentiable at x^* and where F is a set-valued map acting in Banach spaces. We prove the existence of a sequence (x_k) satisfying

which is super-linearly convergent to a solution of (*). We also present other versions of this iterative procedure that have superlinear and quadratic convergence, respectively.     

Curves of positive solutions of boundary value problems on time-scales

Let TR be a time-scale, with a=infT, b=supT. We consider the nonlinear boundary value problem

(2)

(4)

u(a)=u(b)=0,

where λR₊:=[0,∞), and satisfies the conditions

We prove a strong maximum principle for the linear operator defined by the left-hand side of (1), and use this to show that for every solution (λ,u) of (1)–(2), u is positive on T a,b . In addition, we show that there exists λ_max>0 (possibly λ_max=∞), such that, if 0λ<λ_max then (1)–(2) has a unique solution u(λ), while if λλ_max then (1)–(2) has no solution. The value of λ_max is characterised as the principal eigenvalue of an associated weighted eigenvalue problem (in this regard, we prove a general existence result for such eigenvalues for problems with general, nonnegative weights).     

Target pattern solutions to reaction-diffusion equations in the presence of impurities

We consider reaction-diffusion equations of the special type

Full-size image

having compact support in x. Assumptions about the relevant space scales and size of the catalytic effect exactly parallel those of Hagan (Advances in Appl. Math., 2 (1981), 400–416). The results are also parallel: For x of dimension one or two, if Ω(x) ≥ 0, Ω 0, then a unique target pattern solution which stays locally close to the homogeneous limit cycle solution. If x has dimension three, there is such a solution provided that Ω(x) is sufficiently large. Thus this paper shows that the phenomena uncovered formally by Hagan for a much larger class of kinetic equations can be rigorously substantiated for λ — ω systems.     

Bounds on margin distributions in learning problems

Let be a probability space and let P_n be the empirical measure based on i.i.d. sample (X₁,…,X_n) from P. Let be a class of measurable real valued functions on For define F_f(t):=P{ft} and F_n,f(t):=P_n{ft}. Given γ(0,1], define _n,γ(δ):=1/(n^1−γ/2δ^γ). We show that if the L₂(P_n)-entropy of the class grows as ^−α for some α(0,2), then, for all and all δ(0,Δ_n), Δ_n=O(n^1/2),

and

where and c(σ)↓1 as σ↓0 (the above inequalities hold for any fixed σ(0,1] with a high probability). Also, define

Then for all

uniformly in and with probability 1 (for the above ratio is bounded away from 0 and from ∞). The results are motivated by recent developments in machine learning, where they are used to bound the generalization error of learning algorithms. We also prove some more general results of similar nature, show the sharpness of the conditions and discuss the applications in learning theory.     

Persistence, contractivity and global stability in logistic equations with piecewise constant delays

We establish sufficient conditions for the persistence and the contractivity of solutions and the global asymptotic stability for the positive equilibrium N^*=1/(a+∑_i=0^mb_i) of the following differential equation with piecewise constant arguments:

where r(t) is a nonnegative continuous function on [0,+∞), r(t)0, ∑_i=0^mb_i>0, b_i0, i=0,1,2,…,m, and a+∑_i=0^mb_i>0. These new conditions depend on a,b₀ and ∑_i=1^mb_i, and hence these are other type conditions than those given by So and Yu (Hokkaido Math. J. 24 (1995) 269–286) and others. In particular, in the case m=0 and r(t)≡r>0, we offer necessary and sufficient conditions for the persistence and contractivity of solutions. We also investigate the following differential equation with nonlinear delay terms:

where r(t) is a nonnegative continuous function on [0,+∞), r(t)0, 1−ax−g(x,x,…,x)=0 has a unique solution x^*>0 and g(x₀,x₁,…,x_m)C¹[(0,+∞)×(0,+∞)××(0,+∞)].     

Positive solutions for Robin problem involving the -Laplacian

Consider Robin problem involving the p(x)-Laplacian on a smooth bounded domain Ω as follows

Applying the sub-supersolution method and the variational method, under appropriate assumptions on f, we prove that there exists λ_*>0 such that the problem has at least two positive solutions if λ(0,λ_*), has at least one positive solution if λ=λ_*<+∞ and has no positive solution if λ>λ_*. To prove the results, we prove a norm on W^1,p(x)(Ω) without the part of ||_L^p(x)(Ω) which is equivalent to usual one and establish a special strong comparison principle for Robin problem.     

Anti-periodic solutions for a class of nonlinear th-order differential equations with delays

In this paper, we use the Leray–Schauder degree theory to establish new results on the existence and uniqueness of anti-periodic solutions for a class of nonlinear nth-order differential equations with delays of the form

x⁽ⁿ⁾(t)+f(t,x⁽ⁿ⁻¹⁾(t))+g(t,x(t−τ(t)))=e(t).

     

Permanence and global stability in a Lotka-Volterra predator-prey system with delays

Consider the permanence and global asymptotic stability of models governed by the following Lotka-Volterra-type system:

, with initial conditions

x_i(t) = φ_i(t) ≥ o, t ≤ t₀, and φ_i(t₀) > 0. 1 ≤ i ≤n

. We define x₀(t) = x_n+1(t)≡0 and suppose that φ_i(t), 1 ≤ i ≤ n, are bounded continuous functions on [t₀, + ∞) and γ_i, α_i, c_i > 0,γ_i,j ≥ 0, for all relevant i,j.Extending a technique of Saito, Hara and Ma[1] for n = 2 to the above system for n ≥ 2, we offer sufficient conditions for permanence and global asymptotic stability of the solutions which improve the well-known result of Gopalsamy.     

Tension spline collocation methods for singularly perturbed Volterra integro-differential and Volterra integral equations

We consider the numerical discretization of singularly perturbed Volterra integro-differential equations (VIDE)

(*)

and Volterra integral equations (VIE)

(**)

by tension spline collocation methods in certain tension spline spaces, where is a small parameter satisfying 0<1, and q₁, q₂, g and K are functions sufficiently smooth on their domains to ensure that Eqs. (*) and (**) posses a unique solution.We give an analysis of the global convergence properties of a new tension spline collocation solution for 0<1 for singularly perturbed VIDE and VIE; thus, extending the existing theory for =1 to the singularly perturbed case.     

Dissecting the Stanley partition function

Let p(n) denote the number of unrestricted partitions of n. For i=0, 2, let p_i(n) denote the number of partitions π of n such that . Here denotes the number of odd parts of the partition π and π^′ is the conjugate of π. Stanley [Amer. Math. Monthly 109 (2002) 760; Adv. Appl. Math., to appear] derived an infinite product representation for the generating function of p₀(n)-p₂(n). Recently, Swisher [The Andrews–Stanley partition function and p(n), preprint, submitted for publication] employed the circle method to show that

(i)

and that for sufficiently large n

(ii)

In this paper we study the even/odd dissection of the Stanley product, and show how to use it to prove (i) and (ii) with no restriction on n. Moreover, we establish the following new result:

Two proofs of this surprising inequality are given. The first one uses the Göllnitz–Gordon partition theorem. The second one is an immediate corollary of a new partition inequality, which we prove in a combinatorial manner. Our methods are elementary. We use only Jacobi's triple product identity and some naive upper bound estimates.     

Remark on a double-inequality for the Riemann zeta function

Let ζ be the Riemann zeta function and δ(x)=1/(2^x-1). For all x>0 we have

(1-δ(x))ζ(x)+αδ(x)<ζ(x+1)<(1-δ(x))ζ(x)+βδ(x),