Asymptotic behavior of unbounded solutions of linear Volterra integral equations

The asymptotic behavior as t → ∞ of solutions of ∝₀^tu(t ? s) dA(s) = f(t) is studied when f(t) satisfies a “o” estimate as $\text{t ” ∞}$, and A belongs to a weighted space and its Laplace-Stieltjes transform has finitely many zeros in its closed half-plane of convergence. Results for systems of integral equations as well as for integrodifferential systems are also given.     

On a nonconvolution Volterra resolvent

Under fairly weak assumptions, the solutions of the system of Volterra equations x(t) = ∝₀^ta(t, s) x(s) ds + f(t), t > 0, can be written in the form x(t) = f(t) + ∝₀^tr(t, s) f(s) ds, t > 0, where r is the resolvent of a, i.e., the solution of the equation r(t, s) = a(t, s) + ∝₀^ta(t, v) r(v, s)dv, 0 < s < t. Conditions on a are given which imply that the resolvent operator f ∝₀^tr(t, s) f(s) ds maps a weighted L¹ space continuously into another weighted L¹ space, and a weighted L^∞ space into another weighted L^∞ space. Our main theorem is used to study the asymptotic behavior of two differential delay equations.     

Representation and approximation of solutions to semilinear Volterra equations with delay

In this paper we use a theorem of Crandall and Pazy to provide the product integral representation of the nonlinear evolution operator associated with solutions to the semilinear Volterra equation: x(?)(t) = W(t, τ) ?(0) + ∝_τ^tW(t, s)F(s, x_s(?)) ds.Here the kernel W(t, s) is a linear evolution operator on a Banach space X; I is an interval of the form [?r, 0] or (?∞, 0] and F is a nonlinear mapping of R × C(I, X) into X. The abstract theory is applied to examples of partial functional differential equations.     

Asymptotic stability of a class of integro-differential equations

We examine the asymptotic stability of the zero solution of the first-order linear equation x′(t) = Ax(t) + ∝₀^tB(t ? s) x(s) ds, where B(t) is integrable and does not change sign on [0, ∞). The results are applied to an examination of the stability of equilibrium of some nonlinear population models.     

Multiple positive solutions for boundary value problems of second order delay differential equations with one-dimensional p-Laplacian

We consider the boundary value problems: (?p(x^′′(t)))+q(t)f(t,x(t),x(t−1),x^′(t))=0, ?p(s)=|s|^p−2s, p>1, t∈(0,1), subject to some boundary conditions. By using a generalization of the Leggett-Williams fixed-point theorem due to Avery and Peterson, we provide sufficient conditions for the existence of at least three positive solutions to the above problems.     

Splines with maximal zero sets

Consider a spline s(x) of degree n with L knots of specified multiplicities R₁, …, R_L, which satisfies r sign consistent mixed boundary conditions in addition to s⁽ⁿ⁾(a) = 1. Such a spline has at most n + 1 ?r + ∑_{j = 1}^LR_j zeros in (a, b) which fulfill an interlacing condition with the knots if s(x) ? = 0 everywhere. Conversely, given a set of n ?r + ∑_{j = 1}^LR_j zeros then for any choice η₁ < ··· < η_L of the knot locations which fulfills the interlacing condition with the zeros, the unique spline s(x) possessing these knots and zeros and satisfying the boundary conditions is such that s⁽ⁿ⁾(x) vanishes nowhere and changes sign at η_j if and only if R_j is odd. Moreover there exists a choice of the knot locations, not necessarily unique, which makes $\text{¦s}{}^{\mathrm{(n)}}\text{(x)¦ ≡ 1}$. In particular, this establishes the existence of monosplines and perfect splines with knots of given multiplicities, satisfying the mixed boundary conditions and possessing a prescribed maximal zero set. An application is given to double-precision quadrature formulas with mixed boundary terms and a certain polynomial extremal problem connected with it.     

Existence and uniqueness of periodic solutions for a kind of first order neutral functional differential equations

In this paper, we use the coincidence degree theory to establish new results on the existence and uniqueness of T-periodic solutions for the first order neutral functional differential equation of the form

(x(t)+Bx(t−δ)^)′=g₁(t,x(t))+g₂(t,x(t−τ))+p(t).     

Stable manifolds for semi-linear evolution equations and admissibility of function spaces on a half-line

Consider an evolution family U=(U(t,s))_t?s?0 on a half-line R₊ and a semi-linear integral equation . We prove the existence of stable manifolds of solutions to this equation in the case that (U(t,s))_t?s?0 has an exponential dichotomy and the nonlinear forcing term f(t,x) satisfies the non-uniform Lipschitz conditions: ‖f(t,x₁)−f(t,x₂)‖?φ(t)‖x₁−x₂‖ for φ being a real and positive function which belongs to admissible function spaces which contain wide classes of function spaces like function spaces of Lp type, the Lorentz spaces Lp,q and many other function spaces occurring in interpolation theory.     

Semi-stable Markov processes in rn

A Markov process in Rⁿ{x_t} with transition function P_t is called semi-stable of order α>0 if for every a>0, P_t(x, E) = P_at(a^ax, a^aE). Let ?_t(ω)=∫^t₀|x_s(ω)|^-1/α ds, T(t) be its inverse and {y_t}={x_T(t)}.Theorem 1: {Y_t} is a multiplicative invariant process; i.e., it has transition function q_t satisfying q_t(x,E)=q_t(ax,aE) for all a > 0.Theorem 2: If {x_t} is Feller, right continuous and uniformly stochastic continuous on a neighborhood of the origin, then {y_t} is Feller.     

Numerical solutions with a priori error bounds for coupled self-adjoint time dependent partial differential systems

This paper is concerned with the construction of accurate continuous numerical solutions for partial self-adjoint differential systems of the type (P(t) u_t)_t = Q(t)u_xx, u(0, t) = u(d, t) = 0, u(x, 0) = f(x), u_t(x, 0) = g(x), 0 ≤ x ≤ d, t >- 0, where P(t), Q(t) are positive definite oR^r×r-valued functions such that P′(t) and Q′(t) are simultaneously semidefinite (positive or negative) for all t ≥ 0. First, an exact theoretical series solution of the problem is obtained using a separation of variables technique. After appropriate truncation strategy and the numerical solution of certain matrix differential initial value problems the following question is addressed. Given T > 0 and an admissible error ϵ > 0 how to construct a continuous numerical solution whose error with respect to the exact series solution is smaller than ϵ, uniformly in D(T) = {(x, t); 0 ≤ x ≤ d, 0 ≤ t ≤ T}. Uniqueness of solutions is also studied.     

On the distribution of zeros of solutions of first order delay differential equations

This paper contains new estimates for the distance between adjacent zeros of solutions of the first order delay differential equation

x^′(t)+p(t)x(t−τ)=0     

Three positive solutions to a discrete focal boundary value problem

We are concerned with the discrete focal boundary value problem Δ³x(t − k) = f(x(t)), x(a) = Δx(t₂) = Δ²x(b + 1) = 0. Under various assumptions on f and the integers a, t₂, and b we prove the existence of three positive solutions of this boundary value problem. To prove our results we use fixed point theorems concerning cones in a Banach space.     

Scattering length and perturbations of −Δ by positive potentials

This paper extends a result of Fujita [On the blowing up of solutions to the Cauchy problem for u_t = Δu + u^{1 + a}, J. Faculty Science, U. of Tokyo 13 (1966), 109–124] to show that solutions u = u(t, x) for t > 0 and x?R² to the equation u_t = Δu + u² with u(0, x) = a(x) must grow at a rate faster than exp(∥x∥²) at some finite time t, as long as a(x) is nonnegative and not almost everywhere zero.     

Invariant manifolds of admissible classes for semi-linear evolution equations

Consider an evolution family U=(U(t,s))_t?s?0 on a half-line R₊ and a semi-linear integral equation . We prove the existence of invariant manifolds of this equation. These manifolds are constituted by trajectories of the solutions belonging to admissible function spaces which contain wide classes of function spaces like function spaces of Lp type, the Lorentz spaces Lp,q and many other function spaces occurring in interpolation theory. The existence of such manifolds is obtained in the case that (U(t,s))_t?s?0 has an exponential dichotomy and the nonlinear forcing term f(t,x) satisfies the non-uniform Lipschitz conditions: ‖f(t,x₁)−f(t,x₂)‖?φ(t)‖x₁−x₂‖ for φ being a real and positive function which belongs to certain classes of admissible function spaces.     

On Osgood theorem in Banach spaces

Let X be a real Banach space, ω : [0, +∞) → ? be an increasing continuous function such that ω(0) = 0 and ω(t + s) ≤ ω(t) + ω(s) for all t, s ∈ [0, +∞). According to the infinite dimensional analog of the Osgood theorem if ∫¹₀ (ω(t))^?1 dt = ∞, then for any (t₀, x₀) ∈ ?×X and any continuous map f : ?×X → X such that ∥f(t, x) – f(t, y)∥ ≤ ω(∥x – y∥) for all t ∈ ?, x, y ∈ X, the Cauchy problem (t) = f(t, x(t)), x(t₀) = x₀ has a unique solution in a neighborhood of t₀. We prove that if X has a complemented subspace with an unconditional Schauder basis and ∫¹₀ (ω(t))^?1 dt < ∞ then there exists a continuous map f : ? × X → X such that ∥f(t, x) – f(t, y)∥ ≤ ω(∥x – y∥) for all (t, x, y) ∈ ? × X × X and the Cauchy problem (t) = f(t, x(t)), x(t₀) = x₀ has no solutions in any interval of the real line.     

The functional differential equation x′(t) = x(x(t))

A classification of the solutions of the functional differential equation x′(t) = x(x(t)) is given and it is proved that every solution either vanishes identically or is strictly monotonie. For monotonically increasing solutions existence and uniqueness of the solution x are proved with the condition x(t₀) = x₀ where (t₀, x₀) is any given pair of reals in some specified subset of $\text{R}$². Every monotonically increasing solution is thus obtained. It is analytic and depends analytically on t₀ and x₀. Only for t₀ = x₀ = 1 is the question of analyticity still open.     

On positive solutions of perturbed nonlinear differential equations

Some results are given concerning positive solutions of equations of the form x⁽ⁿ⁾ + P(t) G(x) = Q(t, x).Let class I (II) consist of all n-times differentiable functions x(t), such that x(t)>0 and x^{(n ? 1)}(t) ? 0 (x^{(n ? 1)}(t) ? 0) for all large t. Two theorems are given guaranteeing the nonexistence of solutions in class I and II, respectively, and three theorems ensure the convergence to zero of positive solutions. A recent result of Hammett concerning the second-order case is extended to the general case.     

On moment-discretization and least-squares solutions of linear integral equations of the first kind

Let K(s, t) be a continuous function on [0, 1] × [0, 1], and let $\text{K}$ be the linear integral operator induced by the kernel K(s, t) on the space $\text{L}$₂[0, 1]. This note is concerned with moment-discretization of the problem of minimizing 6K_x?y6 in the $\text{L}$₂-norm, where y is a given continuous function. This is contrasted with the problem of least-squares solutions of the moment-discretized equation: ∝₀¹K(s_i, t) x(t) dt = y(s_i), i = 1, 2,h., n. A simple commutativity result between the operations of “moment-discretization” and “least-squares” is established. This suggests a procedure for approximating $\text{K2y}$ (where $\text{K}$² is the generalized inverse of $\text{K}$), without recourse to the normal equation $\text{K1Kx = K1y}$, that may be used in conjunction with simple numerical quadrature formulas plus collocation, or related numerical and regularization methods for least-squares solutions of linear integral equations of the first kind.