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.     

Extrema of functions of eigenvalues

We consider the question of finding an extreme value for some function of the eigenvalues of the differential equation y″ + λφ(x) y = 0,y(0) = y(1) = 0, as φ(x) varies over a region in a function space. A characterization of the φ(x) at which the function of the eigenvalues achieves its extremum is derived.     

Analysis of a singular functional differential equation that arises from stochastic modeling of population growth

The singular functional differential equation x(1 ? x)A(x)y′(x) + by(h(x)) ? by(x) = ?bg(x), x in (0, 1), is studied for initial data y = 0 on x ? a, y continuous on (a, 1) and y(1?) bounded. The singularity at x = 0+ is removable for a certain class of delayed arguments, h(x). The final end point at x = 1? is the most important singularity because it results in a genuine singular boundary value problem. A formal solution is constructed and is shown to be unique and bounded when g(x) is bounded. A singular decomposition transforms the problem into two nonsingular initial value problems. Singular FDEs of this type arise in the study of the persistence of populations undergoing large random fluctuations when modeled by compound Poisson processes superimposed on logistic-type growth.     

Constructive existence and uniqueness for two-point boundary-value problems with a linear gradient term

Constructive existence and uniqueness theorems are established for nonlinear two-point boundary-value problems governed by the equation y″=f(x, y)+p(x)y′, 0?x?1. The existence and uniqueness is established for functions y(x) that satisfy a certain constraint, i.e., that sfncy(x)sfnc is bounded by a known function or that 0?y(x)?M for some M. Applications to scientific problems in the literature are given.     

Sixth-order superstable two-step methods for second-order initial-value problems

For the numerical integration of general second-order initial-value problems y″ = f(x, y, y′), y(x₀) = y₀, y′(x₀) = y′₀, we report a family of two-step sixth-order methods which are superstable for the test equation y″ + 2αy′ + β²y = 0, α, β ⩾ 0, α + β\s>0, in the sense of Chawla [1].     

Spectral concentration and perturbed discrete spectra

We examine spectral concentration for a class of Sturm-Liouville problems on [0, ∞), a typical example being y″(x) + (λ − x + cx²)y(x) = 0. The discrete spectrum for c = 0 leads to spectral concentration in the continuous spectrum for c > 0, and we use a new formula for the spectral function to make a detailed computational investigation of the way in which spectral concentration occurs. In particular, we find that, as c decreases, spectral concentration arises first from the lowest unperturbed eigenvalue and then in turn from these eigenvalues in increasing order of size.     

Generalized functional equation and its applications in information theory

The functional equationf(x,y)+g(x)h(y)F(u/1?x,ν/1?y)=f(u,ν)+g(u)h(ν)F(x/1?u,y/1?ν) ... (1) forx, y, u, ν ∈ [0, 1) andx+u,y+ν ∈ [0,1) whereg andh satisfy the functional equationφ (x+y?xy)=φ(x)φ(y)... (2) has been solved for some non-constant solution of (2) in [0, 1] withφ (0)=1,φ(1)=0 and the solution is used in characterising some measures of information.     

A deficient spline function approximation to systems of first-order differential equations: part 2

The problem of stability was discussed in part 1 of this paper (Appl. Math. Modelling 1983, 7, 380). This part looks at the convergence of the spline approximation of deficiency 3 to systems of first-order differential equations. Convergence is shown for m = 4 and 5. In addition, global error bounds of the form: ∥S⁽ⁱ⁾(x) ? y⁽ⁱ⁾(x)∥∞ = 0(h^m+1?i), i = 0(1)m are presented, together with a computational example which illustrates the convergence of the proposed method.     

On linear integral operators with nonnegative kernels

Let K be an eventually compact linear integral operator on $\text{L}{}^{\mathrm{p}}\text{(Ω, μ), 1 ? p < ∞}$, with nonnegative kernel k(x, y), where the underlying measure μ is totally σ-finite on the domain set Ω when p = 1. In considering the equation λf = Kf + g for given nonnegative $\text{g ? L}{}^{\mathrm{p}}\text{(Ω, μ), λ > 0}$, P. Nelson, Jr. provided necessary and sufficient conditions, in terms of the support of g, such that a nonnegative solution $\text{f ? L}{}^{\mathrm{p}}\text{(Ω, μ)}$ was attained. Such conditions led to generalizing some of the graph-theoretic ideas associated with the normal form of a nonnegative reducible matrix. The purpose of this paper is to show that the analysis by Nelson can be enlarged to provide a more complete generalization of the normal form of a nonnegative matrix which can be used to characterize the distinguished eigenvalues of K and K¹, and to describe sets of support for the eigenfunctions and generalized eigenfunctions of both K and K¹ belonging to the spectral radius of K.     

Characterization of projective graphs

We denote the distance between vertices x and y of a graph by d(x, y), and p_ij(x, y) = ∥ {z : d(x, z) = i, d(y, z) = j} ∥. The (s, q, d)-projective graph is the graph having the s-dimensional subspaces of a d-dimensional vector space over GF(q) as vertex set, and two vertices x, y adjacent iff $\text{dim}\text{(x ? y) = s ? 1}$. These graphs are regular graphs. Also, there exist integers λ and μ > 4 so that μ is a perfect square, p₁₁(x, y) = λ whenever d(x, y) = 1, and p₁₁(x, y) = μ whenever d(x, y) = 2. The (s, q, d)-projective graphs where $\text{2d}\text{3}\text{≤ s < d ? 2}$ and $\text{(s, q, d) ≠ (}\text{2d}\text{3}\text{, 2, d)}$, are characterized by the above conditions together with the property that there exists an integer r satisfying certain inequalities.     

Nonparametric estimation of mixed partial derivatives of a multivariate density

On the basis of a random sample of size n on an m-dimensional random vector X, this note proposes a class of estimators f_n^(p) of f^(p), where f is a density of X w.r.t. a σ-finite measure dominated by the Lebesgue measure on R^m, p = (p₁,…,p_m), p_j ≥ 0, fixed integers, and for x = (x₁,…,x_m) in R^m, f^(p)(x) = ?^p₁+…+p_m f(x)/(?^p₁x₁ … ?^p_mx_m). Asymptotic unbiasedness as well as both almost sure and mean square consistencies of f_n^(p) are examined. Further, a necessary and sufficient condition for uniform asymptotic unbisedness or for uniform mean square consistency of f_n^(p) is given. Finally, applications of estimators of this note to certain statistical problems are pointed out.     

Growth estimates for solutions to initial-boundary value problems in viscoelasticity

For the abstract Volterra integro-differential equation u_tt ? Nu + ∝_?∞^t K(t ? τ) u(τ) dτ = 0 in Hilbert space, with prescribed past history u(τ) = U(τ), ? ∞ < τ < 0, and associated initial data u(0) = f, u_t(0) = g, we establish conditions on K(t), ? ∞ < t < + ∞ which yield various growth estimates for solutions u(t), belonging to a certain uniformly bounded class, as well as lower bounds for the rate of decay of solutions. Our results are interpreted in terms of solutions to a class of initial-boundary value problems in isothermal linear viscoelasticity.     

Exact number of local extreme points of curvature function of solutions of second-order linear differential equations

We study local properties of the curvature ?? _y (x) of every nontrivial solution y=y(x) of the second-order linear differential equation?(P): (p(x)y??)??+q(x)y=0, x??(a,b)=I, where p(x) and q(x) are smooth enough functions. It especially includes the Euler, Bessel and other important types of second-order linear differential equations. Some sufficient conditions on the coefficients p(x) and q(x) are given such that the curvature ?? _y (x) of every nontrivial solution y of (P) has exactly one extreme point between each two its consecutive simple zeros. The problem of three local extreme points of ?? _y (x) is also considered but only as an open problem. It seems it is the first paper dealing with this kind of problems. Finally in Appendix, we pay attention to an application of the main results to a study of non-regular points (the cusps) of the ??-parallels of graph ??(y) of?y (the offset curves of???(y)).     

Weak solution of (r, (x, u(x)) u′(x))′ = (Fu)′(x) with r(0, u(0))u′(0) = ku(0), r(L, u(L))u′ (L) = hu(L) and k, h are suitable elements of [0, ∞]

We consider weak solutions to the nonlinear boundary value problem (r, (x, u(x)) u′(x))′ = (Fu)′(x) with r(0, u(0)) u′(0) = ku(0), r(L, u(L)) u′(L) = hu(L) and k, h are suitable elements of [0, ∞]. In addition to studying some new boundary conditions, we also relax the constraints on r(x, u) and (Fu)(x). r(x, u) > 0 may have a countable set of jump discontinuities in u and r(x, u)^?1?L_q((0, L) × (0, p)). F is an operator from a suitable set of functions to a subset of L_p(0, L) which have nonnegative values. F includes, among others, examples of the form (Fu)(x) = (1 ? H(x ? x₀)) u(x₀), (Fu)(x) = ∫_x^Lf(y, u(y)) dy where f(y, u) may have a countable set of jump discontinuities in u or F may be chosen so that (Fu)′(x) = ? g(x, u(x)) u′(x) ? q(x) u(x) ? f(x, u(x)) where q is a distributional derivative of an L₂(0, L) function.     

Oscillation of partial difference equations with continuous variables

In this paper, we consider the partial difference equation with continuous variables of the form P₁z(x + a, y + b) + p₂z (x + a, y) + p₃z (x, y + b) − p₄z (x, y) + P (x, y) z (x − τ, y − σ) = 0, where P ϵ C(R⁺ × R⁺, R⁺ − {0}), a, b, τ, σ are real numbers and p_i (i = 1, 2, 3, 4) are nonnegative constants. Some sufficient conditions for all solutions of this equation to be oscillatory are obtained.     

Rank procedures for some two-population multivariate extended classification problems

Given independent samples from three multivariate populations with cumulative distribution functions F⁽¹⁾(x), F⁽²⁾(x), and F⁽⁰⁾(x) = θF⁽¹⁾(x) + (1 ? θ)F⁽²⁾(x), where 0 ≤ θ ≤ 1 is unknown, the three-action problem involving decision as to whether the value of θ is high, low, or intermediate, is considered. A class of consistent procedures based on the relative spacing of three sample averages of linearly compounded rank scores is formulated. The asymptotic operating characteristics of the procedures when F⁽¹⁾ and F⁽²⁾ come close together are studied and the best choice of the compounding coefficients in terms of these considered. The consequence of using estimates of the best coefficients on the asymptotic operating characteristics is also examined.     

Analytic-numerical solutions with a priori error bounds for a class of strongly coupled mixed partial differential systems

This paper deals with the construction of analytic-numerical solutions with a priori error bounds for systems of the type u_t = Au_xx, u(0,t) + u_x(0,t) = 0, Bu(1,t) + Cu_x(1,t) = 0, 0 < x < 1, t > 0, u(x,0) = f(x). Here A, B, C are matrices for which no diagonalizable hypothesis is assumed. First an exact series solution is obtained after solving appropriate vector Sturm-Liouville-type problems. Given an admissible error ε and a bounded subdomain D, after appropriate truncation an approximate solution constructed in terms of data and approximate eigenvalues is given so that the error is less than the prefixed accuracy ε, uniformly in D.     

The dilation factor of the Peano-Hilbert curve

It is proved that the maximum value of the ratio |p(x) ? p(y)|²/|x ? y| for the Peano-Hilbert curve p: [0, 1] = I → I ² is equal to 6.     

On the eigenvalues and eigenfunctions of some integral operators

Some properties of the eigenvalues of the integral operator K_gt defined as K_τf(x) = ∫₀^τK(x ? y) f (y) dy were studied by Vittal Rao (J. Math. Anal. Appl.53 (1976), 554–566), with some assumptions on the kernel K(x). In this paper the eigenfunctions of the operator K_τ are shown to be continuous functions of τ under certain circumstances. Also, the results of Vittal Rao and the continuity of eigenfunctions are shown to hold for a larger class of kernels.     

A nonlinear three-point boundary value problem

We consider the differential equation ?(py′)′ + qy + λay + μby + f(x, y, y′) = 0, x? (α, γ) subject to the boundary conditions cos(α₁) y(α) ? sin(α₁) y′(α) = 0cos(β₁) y(β) ? sin(β₁) y′(β) = 0 β? (α, γ)cos(γ₁) y(γ) ? sin(γ₁) y′(γ) = 0. The functions p, g, a, b, and f are well-behaved functions of x; f is smooth and of “higher order” in y and y′; the scalars λ and μ are eigenparameters. With mild restrictions on a and b it is known that the linearized problem, f ≡ 0, has eigensolutions, ($\text{λ}{}^1\text{, μ}{}^1\text{, ψ}{}^1$). In this paper we use an Implicit Function Theorem argument to establish the existence of a local branch of solutions, bifurcating from ($\text{λ}{}^1\text{, μ}{}^1\text{, 0}$), to the above nonlinear two-parameter eigenvalue problem.