Nonoscillation of second-order nonhomogeneous differential equations

In this paper, sufficient conditions are obtained for nonoscillation of all solutions of $\text{(r(t)y′)′ ? p(t)y = ?(t)}$ and all bounded solutions of $\text{(r(t)y′)′ ? p(t)y}{}^{\mathrm{\gamma }}\text{= ?(t)}$, where r, p and ? are real-valued continuous functions on [0, ∞) such that $\text{r(t) > 0}\text{and}\text{p(t)}\text{and}\text{?(t)}$ are allowed to change sign and γ > 0 is a quotient of odd integers.     

On differential operators with Bohr-Neugebauer type property

Let B be a bounded linear operator of a Banach space X into itself. If the differential operator $\text{(}\text{d}\text{dt}\text{) ? B}$ has a property more general than Bohr-Neugebauer property for Bochner almost-periodic functions, then any Stepanov-bounded solution of the differential equation $\text{(}\text{d}\text{dt}\text{) u(t) ? Bu(t) = g(t)}$ is also almost-periodic, with g(t) being continuous and Stepanov almost-periodic.     

Sublinear perturbations of the differential equation y(n) = 0 and of the analogous difference equation

According to a result of A. Ghizzetti, for any solution y(t) of the differential equation where $\text{y}{}^{\mathrm{(n)}}\text{(t)+}\text{∑}\text{i=0}\text{n?1}\text{g}{}_{\mathrm{i}}\text{(t) y}{}^{\mathrm{i}}\text{(t)=0}\text{(t ? 1)}$, $\text{∝}{}_1{}^{\mathrm{\infty }}\text{¦g}{}_{\mathrm{i}}\text{(x)¦x}{}^{\mathrm{n?I?1}}\text{dx < ∞}$ (0 ?i ? n ?1, either y(t) = 0 for t ? 1 or there is an integer r with 0 ? r ? n ? 1 such that $\text{lim}\text{t → ∞}\text{y(t)}\text{t}{}^{\mathrm{r}}$ exists and ≠0. Related results are obtained for difference and differential inequalities. A special case of the former has interesting applications in the study of orthogonal polynomials.     

Functions and derivations of C1-algebras

It is shown that there is a closed symmetric derivation δ of a C¹-algebra with dense domain $\text{D}$(δ), an element A = A¹ ?$\text{D}$(δ), and a C¹-function $\text{f}$ such that $\text{f}$(A)?$\text{D}$(δ). Some estimates are derived for $\text{∥ δ(¦ A ¦)∥}\text{and}\text{∥ δ(A}{}_{\mathrm{+}}{}^{\mathrm{\alpha }}\text{)∥}$, where 0 < α < 1. It is shown that there exists a family of one-one self-adjoint operators S(t) in $\text{L}$(H) which depends linearly on t, while $\text{¦ S(t)¦}$ is not differentiable. It is also shown that there exists $\text{L}$(H) which is not C¹-self-adjoint even though it satisfies $\text{∥}\text{exp}\text{(itT)∥ ? C(1 + ¦ t ¦)}$ for all t ? $\text{R}$     

Oscillation theorems for second-order functional differential equations

This paper presents some comparison theorems on the oscillatory behavior of solutions of second-order functional differential equations. Here we state one of the main results in a simplified form: Let q, τ₁, τ₂ be nonnegative continuous functions on (0, ∞) such that τ₁ ? τ₂ is a bounded function on [1, ∞) and t ? τ₁(t) → ∞ if t → ∞. Then $\text{y}\text{?}\text{(t) + q(t) y(t ? τ}{}_1\text{(t)) = 0}$ is oscillatory if and only if $\text{y}\text{?}\text{(t) + q(t) y(t ? τ}{}_2\text{(t)) = 0}$ is oscillatory.     

A generalization of the Kruskal-Katona theorem

Let k_n ? k_n?1 ? … ? k₁ be positive integers and let ($\text{i}\text{j}$) denote the coefficient of xⁱ in $\text{Π}\text{r=1}\text{j}\text{(1 + x + x}{}^2\text{+ … + x}{}^{\mathrm{kr}}\text{)}$. For given integers l, m, where 1 ? l ? k_n + k_n?1 + … + k₁ and $\text{1 ? m ? (}\text{n}\text{n}\text{)}$, it is shown that there exist unique integers m(l), m(l ? 1),…, m(t), satisfying certain conditions, for which $\text{m = (}\text{m(l)}\text{l}\text{+ (}\text{m(l?1)}\text{l?1}\text{) + … + (}\text{m(t)}\text{t}\text{)}$. Moreover, any m l-subsets of a multiset with k_i elements of type i, i = 1, 2,…, n, will contain at least $\text{(}\text{m(l)}\text{l?1}\text{) + (}\text{m(l?1)}\text{l?2}\text{) + … + (}\text{m(t)}\text{t?1}$ different (l ? 1)-subsets. This result has been anticipated by Greene and Kleitman, but the formulation there is not completely correct. If k₁ = 1, the numbers ($\text{j}\text{i}$) are binomial coefficients and the result is the Kruskal-Katona theorem.     

An abstract nonlinear Volterra integrodifferential equation

We study the nonlinear Volterra equation $\text{u′(t) + Bu(t) + ∫}{}_0{}^{\mathrm{t}}\text{a(t ? s) Au(s) ds ? F(t) (0 < t < ∞) (′ =}\text{d}\text{dt}\text{), u(0) = u}{}_0$, (¹) as well as the corresponding problem with infinite delay $\text{u′(t) + Bu(t) + ∫}{}_{\mathrm{?\infty }}{}^{\mathrm{t}}\text{a(t ? s) Au(s) ds ? ?(t) (0 < t < ∞), u(t) = h(t) (?∞ < t ? 0)}$. (⁷) Under various assumptions on the nonlinear operators A, B and on the given functions a, F, f, h existence theorems are obtained for (¹) and (⁷, followed by results concerning boundedness and asymptotic behaviour of solutions on (0 ? < ∞); two applications of the theory to problems of nonlinear heat flow with “infinite memory” are also discussed.     

On a neutral functional differential equation in a fading memory space

The linear autonomous, neutral system of functional differential equations $\text{d}\text{dt}\text{(μ 1 x(t) + ?(t)) = v 1 s(t) + g(t) (t ? o)}$, (1) x(t) = ?(t) (t ? 0), in a fading memory space is studied. Here μ and ν are matrix-valued measures supported on [0, ∞), finite with respect to a weight function, and $\text{?, g,}\text{and}\text{?}$ are Cⁿ-valued, continuous or locaily integrable functions, bounded with respect to a fading memory norm. Conditions which imply that solutions of (1) can be decomposed into a stable part and an unstable part are given. These conditions are of frequency domain type. The usual assumption that the singular part of μ vanishes is not needed. The results can be used to decompose the semigroup generated by (1) into a stable part and an unstable part.     

Some existence and regularity results for abstract non-autonomous parabolic equations

We study existence, uniqueness and regularity of the strict, classical and strong solutions $\text{u? C(¦0, T ¦,E)}$ of the non-autonomous evolution equation $\text{u′(t) ? A(t)u(t)=?(t)}$, with the initial datum u(0) = x, in a Banach space E, under the classical Kato-Tanabe assumptions. The domains of the operators A(t) are not needed to be dense in E. We prove necessary and sufficient conditions for existence and Hölder regularity of the solution and its derivative.     

Nonlinear Volterra equations on a Hilbert space

We consider equations of the form, u(t) = ? ∝₀^tA(t ? τ)g(u(τ)) dτ + ?(t) (I) on a Hubert space $\text{H}$. A(t) is a family of bounded, linear operators on $\text{H}$ while g is a transformation on $\text{D}$_g ?$\text{H}$ which can be nonlinear and unbounded. We give conditions on A and g which yield stability and asymptotic stability of solutions of (I). It is shown, in particular, that linear combinations with positive coefficients of the operators e^Mt and ?e^Mtsin Mt where M is a bounded, negative self-adjoint operator on $\text{H}$ satisfy these conditions. This is shown to yield stability results for differential equations of the form, $\text{Q (}\text{d}\text{dt}\text{) u = ? P (}\text{d}\text{dt}\text{) g(u(t)) + χ(t)}$, on $\text{H}$.     

On some covering designs

Let n ? k ? t be positive integers, and let Ω be a set of n elements. Let C(n, k, t) denote the number of k-tuples of Ω in a minimal system of k-tuples such that every t-tuple is contained in at least one k-tuple of the system. C(n, k, t) has been determined in all cases for which $\text{C(n, k, t) ?}\text{3(t + 1)}\text{2}$ [W. H. Mills, Ars Combinatoria8 (1979), 199–315]. C(n, k, t) is determined in the case $\text{3(t + 1)}\text{2}\text{< C(n, k, t) ?}\text{3(t + 2)}\text{2}$.     

Existence and boundedness of solutions of abstract nonlinear integrodifferential equations of nonconvolution type

Existence and boundedness theorems are given for solutions of nonlinear integrodifferential equations of type $\text{d}\text{dt}\text{u(t) + Bu(t) + ∝}{}_0{}^{\mathrm{t}}\text{a(t, s) Au(s) ds ? f(t) (t > 0)}$, (1.1) u(0) = u₀, Here A and B are nonlinear, possibly multivalued, operators on a Banach space W and a Hilbert space H, where W ? H. The function f (0, ∞) → H and the kernel a(t, s): $\text{R}$ × $\text{R}$ → $\text{R}$ are known functions. The results of this paper extend the results of Crandall, Londen, and Nohel [4] for equation (1.1). They assumed the kernel to be of the type a(t, s) = a(t ? s). We relax this assumption and obtain similar results. Examples of kernels satisfying the conditions we require are given in section 4.     

Subnormal weighted translation semigroups

A weighted translation semigroup {S_t} on L²($\text{R}$₊) is defined by $\text{(S}{}_{\mathrm{t}}\text{f)(x) =}\text{(φ(x)}\text{φ(x ? t)}\text{)f(x ? t)}$ for x ? t and 0 otherwise, where φ is a continuous nonzero scalar-valued function on $\text{R}$₊. It is shown that {S_t} is subnormal if and only if φ² is the product of an exponential function and the Laplace-Stieltjes transform of an increasing function of total variation one. A necessary and sufficient condition for similarity of weighted translation semigroups is developed.     

A lower bound for v in a t − (v,k, λ) design

In this paper it is shown that if v ? k + 1 then $\text{v ? t ? 1 + (k ? t + 1)(k ? t + 2)}\text{λ}$, where v, k, λ and t are the characteristic parameters of a t ? (v, k, λ) design. We compare this bound with the known lower bounds on v.     

Problèmes de Neumann non linéaires sur les variétés riemanniennes

Nonlinear Neumann problems on riemannian manifolds. Let ($\text{M}\text{, g}$) be a C^∞ compact riemannian manifold of dimension n ? 2 whose boundary B is an (n ? 1)-dimensional submanifold and let $\text{M =}\text{M}\text{?B}$ be the interior of $\text{M}$. Study of Neumann problems of the form: $\text{Δφ +?(φ, x) = 0}\text{in}\text{M, (}\text{dφ}\text{dn}\text{) + g(φ, y) = 0}\text{on}\text{B}$, where, for every $\text{(t, x, y) ? R × M × B, ¦?(t, x)¦}\text{and}\text{¦g(t, y)¦}$ are bounded by $\text{C(1 + ¦t¦}{}^{\mathrm{a}}\text{)}\text{or}\text{C}\text{exp}\text{(¦t¦}{}^{\mathrm{a}}\text{)}$. Application to the determination of a conformal metric for which the scalar curvature of M and the mean curvature of B take prescribed values.     

Graphical t-wise balanced designs

A pair (X, $\text{B}$) will be a t-wise balanced design (tBD) of type t?(v, K, λ) if $\text{B}\text{= (B}{}_{\mathrm{i}}\text{: i ? I)}$ is a family of subsets of X, called blocks, such that: (i) $\text{|X| = v ?}\text{N}$, where $\text{N}$ is the set of positive integers; (ii) $\text{1?t?|B}{}_{\mathrm{i}}\text{|?K?}\text{N}$, for every i ? I; and (iii) if T ? X, |T| = t, then there are λ ? $\text{N}$ indices i ? I where T ? B_i. Throughout this paper we make three restrictions on our tBD's: (1) there are no repeated blocks, i.e. $\text{B}$ will be a set of subsets of X; (2) t ? K or there are no blocks of size t; and (3) $\text{P}{}_{\mathrm{k}}\text{(X)?}\text{B}$ or $\text{B}$ does not contain all k-subsets of X for any t<k?v. Note then that X ? $\text{B}$. Also, if we give the parameters of a specific tBD, then we will choose a minimal K.We focus on the $\text{t?((}\text{p}\text{2}\text{), K, λ)}$ designs with the symmetric group S_p as automorphism group, i.e. X will be the set of $\text{v = (}\text{p}\text{2}\text{)}$ labelled edges of the undirected complete graph K_p and if B ? $\text{B}$ then all subgraphs of K_p isomorphic to B are also in $\text{B}$. Call such tBD's ‘graphical tBD's’. We determine all graphical tBD's with λ = 1 or 2 which will include one with parameters 4?(15,{5,7},1).     

Periodic solutions of a quasilinear parabolic differential equation

This paper treats the quasilinear, parabolic boundary value problem $\text{u}{}_{\mathrm{xx}}\text{? u}{}_{\mathrm{t}}\text{= ??(x, t, u)}$u(0, t) = ?₁(t); u(l, t) = ?₂(t) on an infinite strip $\text{{(x, t) ¦ 0 < x < l, ?∞ < t < ∞}}$ with the functions $\text{?(x, t, u), ?}{}_1\text{(t), ?}{}_2\text{(t)}$ being periodic in t. The major theorem of the paper gives sufficient conditions on $\text{?(x, t, u)}$ for this problem to have a periodic solution u(x, t) which may be constructed by successive approximations with an integral operator. Some corollaries to this theorem offer more explicit conditions on $\text{?(x, t, u)}$ and indicate a method for determining the initial estimate at which the iteration may begin.     

On forced nonlinear oscillations

The existence of a 1-periodic solution of the generalized Liénard equation x″ + g(x)x′ + f(t, x) = e(t), where g(x) is continuous, e(t) is continuous, periodic of period 1 and with mean value 0 and f is continuous, periodic of period 1 in t, is proved under one of the following conditions: (i) there exists M ? 0 such that $\text{f(t, x)x ? 0}\text{for}\text{¦x¦? M}$ and

$\text{lim sup}\text{|x|?+∞}\text{|f(t,x)|}\text{| x |}\text{<}\text{4π}{}^2\text{2π + 1}$

(ii) there exists M ? 0 such that $\text{f(t, x)x ? 0}\text{for}\text{¦x¦? M}$. Earlier results of A. C. Lazer, J. Mawhin and R. Reissig are obtained as particular cases.     

Periodic solutions of nonlinear delay equations

Existence and uniqueness of 2π-periodic solutions of $\text{d}{}^{\mathrm{j}}\text{x(t)}\text{dt}{}^{\mathrm{j}}\text{+}\text{grad}\text{G(x(t ? τ)) = e(t, x(t), x(t ? τ)) (j = 1, 2)}$, where x(t) is in $\text{R}$ⁿ and e(t, u, v) is a given vector function, 2π-periodic in t, are shown under conditions on the spectrum of the Hessian of G. The equation is studied using a fixed point theorem in the space L²(0, 2π). One feature of this approach is that no relationship between the delay and the period is necessary.     

Rapid oscillation,nonextendability, and the existence of periodic solutions to second order nonlinear ordinary differential equations

Consider the second order scalar ordinary differential equation $\text{x″(t) + ?(t, x(t)) = 0 (′ =}\text{d}\text{dt}\text{)}$, where $\text{?(t, x)}$ is ω-periodic in t and $\text{?(t, 0) = 0}$ for all t. The usual existence results for periodic solutions employing degree theory or other fixed point arguments are generally unhelpful in this case, since the periodic solution that they predict may well be the trivial solution.Jacobowitz has recently succeeded in applying the Poincaré-Birkhoff “twist” theorem to demonstrate that this equation has infinitely many (nontrivial) periodic solutions when ? satisfies a suitable “strong nonlinearity” condition with respect to x. Essential to his method of proof, however, is the condition $\text{x?(t, x) > 0}\text{for all}\text{t (x = ≠ 0)}$. In this note we show how this hypothesis may be relaxed, by modifying a technique used by the author when considering the problem of the global existence of solutions which occurs with the removal of the sign condition.