The measure algebras of the title are those which are also hypergroups with some regularity conditions, Examples include the convolutions associated with Jacobi polynomial series and Fourier Bessel series, It is shown here that there is a one-to-one correspondence between these hypergroups and a class of Sturm-Liouville problems which have the characters of the hypergroup as eigenfunctions, The...

In this article we establish an oscillation theorem for second order Sturm-Liouville difference equations with general nonlinear dependence on the spectral parameter l. This nonlinear dependence on l is allowed both in the leading coefficient and in the potential. We extend the traditional notions of eigenvalues and eigenfunctions to this more general setting. Our main result generalizes the re...

We develop an analog of classical oscillation theory for Sturm– Liouville operators which, rather than measuring the spectrum of one single operator, measures the difference between the spectra of two different operators. This is done by replacing zeros of solutions of one operator by weighted zeros of Wronskians of solutions of two different operators. In particular, we show that a Sturm-type ...

It is well known that the two spectra {λn} and {μn} uniquely determine the potential function q (r) in a Sturm-Liouville equation defined on the unit interval having the singularity type ( ) 2 1 2 r r + +   (where  is a integer) at the point zero. In this work, we give the solution of the inverse problem on two partially noncoincide spectra for the Sturm-Liouville equation with the peculiari...

We consider the structure of the solution set of a nonlinear SturmLiouville boundary value problem defined on a general time scale. Using global bifurcation theory we show that unbounded continua of non-trivial solutions bifurcate from the trivial solution at the eigenvalues of the linearization, and we show that certain nodal properties of the solutions are preserved along these continua. Thes...

Sturm oscillation theorem for second order differential equations was generalized to systems and higher order equations with positive leading coefficient by several authors. What we propose here is a Sturm theorem for indefinite systems with Dirichlet boundary conditions of the form p2m du dx + p2m−2(x) du dx + · · ·+ p1(x) du dx + p0(x)u = 0, where pi is a smooth path of matrices on the comple...

We will use the variational approach to (0.1) as described in [2] and we will stick to the notations of that paper. Given the complex n-dimensional Hermitian space (C, 〈·, ·〉), for any m ∈ N let H m := H(J,C) be the Sobolev space of all H-maps from J := [0, 1] into C. A derivative dependent Hermitian form is the form Ω(x)[u] = Pm i,j=0〈D u(x), ωi,j(x)D u(x)〉, where, each ωi,j is a smooth path o...

We consider Euler equations with stratified background state that is valid for internal water waves. The solution of the initial-boundary problem for Boussinesq approximation in the waveguide mode is presented in terms of the stream function. The orthogonal eigenfunctions describe a vertical shape of the internal wave modes and satisfy a Sturm-Liouville problem. The horizontal profile is define...

In formal scattering theory, Green functions are obtained as solutions of a distributional equation. In this paper, we use the Sturm-Liouville theory to compute Green functions within a rigorous mathematical theory. We shall show that both the Sturm-Liouville theory and the formal treatment yield the same Green functions. We shall also show how the analyticity of the Green functions as function...

We present an extension of constraint logic programming, where the admissible constraints are arbitrary first-order formulas over some domain. Constraint solving is realized by effective quantifier elimination. The current realization in our CLP(RL) system provides as possible domains R, C, and Qp for primes p. In R and C we admit arbitrary degrees in our constraints. In Qp we restrict to linea...