Asymptotic forms of solutions of certain linear ordinary differential equations

We analyze the asymptotic behavior as x → ∞ of the product integral Π_x0^xe^A(s)ds, where A(s) is a perturbation of a diagonal matrix function by an integrable function on [x₀,∞). Our results give information concerning the asymptotic behavior of solutions of certain linear ordinary differential equations, e.g., the second order equation y″ = a(x)y.     

Fractal oscillations of self-adjoint and damped linear differential equations of second-order

For a prescribed real number s ∈ [1, 2), we give some sufficient conditions on the coefficients p(x) and q(x) such that every solution y = y(x), y ∈ C²((0, T]) of the linear differential equation (p(x)y′)′ + q(x)y = 0 on (0, T], is bounded and fractal oscillatory near x = 0 with the fractal dimension equal to s. This means that y oscillates near x = 0 and the fractal (box-counting) dimension of the graph Γ(y) of y is equal to s as well as the s dimensional upper Minkowski content (generalized length) of Γ(y) is finite and strictly positive. It verifies that y admits similar kind of the fractal geometric asymptotic behaviour near x = 0 like the chirp function y_ch(x) = a(x)S(φ(x)), which often occurs in the time-frequency analysis and its various applications. Furthermore, this kind of oscillations is established for the Bessel, chirp and other types of damped linear differential equations given in the form y″ + (μ/x)y′ + g(x)y = 0, x ∈ (0, T]. In order to prove the main results, we state a new criterion for fractal oscillations near x = 0 of real continuous functions which essentially improves related one presented in [1].     

Second order linear O.D.E. and Riccati equations

We prove that approximate solutions of the Riccati equation ?′ + ?² = a(x) yield asymptotic solutions y = e^∝x?(s)ds of the second order linear equation y″ = a(x)y. We show that the iterative scheme ?₀ = a, ?_{n + 1}² = a ? ?_n′ leads to asymptotic solutions of the cited linear equation in many interesting cases.     

Asymptotic properties of matrix differential operators

For given matrices A(s) and B(s) whose entries are polynomials in s, the validity of the following implication is investigated: ?_ylim_{t → ∞}A(D) y(t) = 0 ? lim_{t → ∞}B(D) y(t) = 0. Here D denotes the differentiation operator and y stands for a sufficiently smooth vector valued function. Necessary and sufficient conditions on A(s) and B(s) for this implication to be true are given. A similar result is obtained in connection with an implication of the form ?_yA(D) y(t) = 0, lim_{t → ∞}B(D) y(t) = 0, C(D) y(t) is bounded ? lim_{t → ∞}E(D) y(t) = 0.     

Asymptotic estimates of sums involving the Moebius function

Let p(n) denote the smallest prime factor of an integer n>1 and let p(1)=∞. We study the asymptotic behavior of the sum M(x,y)=Σ_{1≤n≤x,p(n)>y}μ(n) and use this to estimate the size of A(x)=max_|f|≤1|Σ_2≤n<xμ(n)f(p(n))|, where μ(n) is the Moebius function. Applications of bounds for A(x), M(x,y) and similar quantities are discussed.     

Properties of Cesàro means of double Fourier series

The pointwise behavior of partial sums and Cesàro means of trigonometric series were studied in many papers. This paper deals with the behavior of rectangular Cesàro means at a point (x ₀, y ₀) for functions f(x, y) bounded in the square [?π; π]² and satisfying the condition |f(x ₀ + s, y ₀ + t) ? f(x ₀, y ₀)| ≤ ρ $ \left( {\sqrt {s^2 + t^2 } } \right) $ ^α , for some α ∈ (0, 1) and all s and t.     

A generalization of the Bernoulli model occurring in order statistics. I.

Let X=(x₁, ..., x_n) and Y=(y₁, ..., y_m) be independent samples from populations G_x and G_y, x⁽¹⁾ ,... x⁽ⁿ⁾ be ordered statistics constructed from the sample X. A model of trials associated with the occurrence of dependent events A_k={y_k (x⁽ⁱ⁾}, x^(j), i < j, k=1, 2, ..., m, where x⁽ⁱ⁾, x^(j) are order statistics, is considered. This model is a generalization of the Bernoulli model. Distribution of frequencies of occurrences of events A_k and the limit theorems which describe asymptotic properties of these frequencies are investigated.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 42, No. 4, pp. 518–528, April, 1990.     

Nonexistence of Isochronous Centers in Planar Polynomial Hamiltonian Systems of Degree Four

In this paper we study centers of planar polynomial Hamiltonian systems and we are interested in the isochronous ones. We prove that every center of a polynomial Hamiltonian system of degree four (that is, with its homogeneous part of degree four not identically zero) is nonisochronous. The proof uses the geometric properties of the period annulus and it requires the study of the Hamiltonian systems associated to a Hamiltonian function of the form H(x, y)=A(x)+B(x) y+C(x) y²+D(x) y³.     

An abstract Volterra integral equation in a reflexive Banach space

This paper discusses the existence, uniqueness, and asymptotic behavior of solutions to the equation u(t) + ∝₀^ta(t ? s) Au(s) ds = f(t), where A is a maximal monotone operator mapping the reflexive Banach space V into its dual V′.     

Theorems on asymptotics for singular Sturm-Liouville operators with various boundary conditions

We consider the Sturm-Liouville operator L(y) = ?d ² y/dx ² + q(x)y in the space L ₂[0, π], where the potential q(x) is a complex-valued distribution of the first order of singularity; i.e., q(x) = u′(x), u ∈ L ²[0, π]. (Here the derivative is understood in the sense of distributions.) We obtain asymptotic formulas for the eigenvalues and eigenfunctions of the operator in the case of the Neumann-Dirichlet conditions [y ^[1](0) = 0, y(π) = 0] and Neumann conditions [y ^[1](0) = 0, y ^[1](π) = 0] and refine similar formulas for all types of boundary conditions. The leading and second terms of asymptotics are found in closed form.     

Some generalizations of the first Fredholm theorem to multivalued A-proper mappings with applications to nonlinear elliptic equations

Let X and Y be real normed spaces with an admissible scheme Γ = {E_n, V_n; F_n, W_n} and T: X → 2^YA-proper with respect to Γ such that dist(y, A(x)) < kc(∥ x ∥) for all y in T(x) with ∥ x ∥ ? R for some R > 0 and k > 0, where c: R⁺ → R⁺ is a given function and A: X → 2^Y a suitable possibly not A-proper mapping. Under the assumption that either T or A is odd or that (u, Kx) ? 0 for all u in T(x) with $\text{∥ x ∥ ? r > 0}\text{and some}\text{K: X → Y}{}^1$, we obtain (in a constructive way) various generalizations of the first Fredholm theorem. The unique approximation-solvability results for the equation T(x) = f with T such that T(x) ? T(y) ?A(x ? y) for x, y in X or T is Fréchet differentiable are also established. The abstract results for A-proper mappings are then applied to the (constructive) solvability of some boundary value problems for quasilinear elliptic equations. Some of our results include the results of Lasota, Lasota-Opial, Hess, Ne?as, Petryshyn, and Babu?ka.     

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.     

A Dini type test on the pointwise convergence of double Fourier integrals

We give sufficient conditions for the convergence of the double Fourier integral of a complex-valued function f ∈ L ¹(?²) with bounded support at a given point (x ₀,y ₀) ∈ ?². It turns out that this convergence essentially depends on the convergence of the single Fourier integrals of the marginal functions f(x,y ₀), x ∈ ?, and f(x ₀,y), y ∈ ?, at the points x:= x ₀ and y:= y ₀, respectively. Our theorem applies to functions in the multiplicative Zygmund classes of functions in two variables.     

The asymptotic distribution of lattice points in hyperbolic space

Suppose x and y are two points in the upper half-plane H⁺, and suppose Γ is a discontinuous group of conformal automorphisms of H⁺ having compact fundamental domain S. Denote by N_T(x, y) the number of points of the form γy (γ?Γ) in the closed disc of hyperbolic radius T centered about x, and set $\text{Q}{}_{\mathrm{T}}\text{(x, y) = N}{}_{\mathrm{T}}\text{(x, y) ?}\text{V(T)}\text{A}\text{,}\text{where}\text{V(T)}$ is the hyperbolic area of the disc, and A is the hyperbolic area of S. The asymptotic behavior of the quantity ?_LxL(Q_T(x,y))² is estimated in terms of small eigenvalues of the Laplacian on functions automorphic under Γ.     

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.     

A new inequality for symmetric functions

Let x_i ≥ 0, y_i ≥ 0 for i = 1,…, n; and let a_j(x) be the elementary symmetric function of n variables given by a_j(x) = ∑_{1 ≤ ii < … <ij ≤ n}x_ii … x_ij. Define the partical ordering x <y if a_j(x) ≤ a_j(y), j = 1,… n. We show that $\text{x}\text{\$}\text{?}\text{y ? x}{}^{\mathrm{\alpha }}\text{\$}\text{?}\text{y}{}^{\mathrm{\alpha }}\text{, 0}\text{\$}\text{?}\text{α ≤ 1}$, where {x^α}_i = x^α_i. We also give a necessary and sufficient condition on a function f(t) such that x <y ? f(x) <f(y). Both results depend crucially on the following: If x <y there exists a piecewise differentiable path z(t), with z_i(t) ≥ 0, such that z(0) = x, z(1) = y, and z(s) <z(t) if 0 ≤ s ≤ t ≤ 1.     

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.     

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.