Eigenfunction expansions in L 2 spaces for boundary value problems on time-scales

Let T ⊂ R be a bounded time-scale, with a = inf T , b = sup T . We consider the weighted, linear, eigenvalue problem − ( p u Δ ) Δ ( t ) + q ( t ) u σ ( t ) = λ w ( t ) u σ ( t ) , t ∈ T κ 2 , c 00 u ( a ) + c 01 u Δ ( a ) = 0 , c 10 u ( ρ ( b ) ) + c 11 u Δ ( ρ ( b ) ) = 0 , for suitable functions...

Full description

Saved in:
Bibliographic Details
Published in:Journal of mathematical analysis and applications Vol. 335; no. 2; pp. 1038 - 1051
Main Authors: Davidson, Fordyce A., Rynne, Bryan P.
Format: Journal Article
Language:English
Published: Elsevier Inc 15.11.2007
Subjects:
ISSN:0022-247X, 1096-0813
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Let T ⊂ R be a bounded time-scale, with a = inf T , b = sup T . We consider the weighted, linear, eigenvalue problem − ( p u Δ ) Δ ( t ) + q ( t ) u σ ( t ) = λ w ( t ) u σ ( t ) , t ∈ T κ 2 , c 00 u ( a ) + c 01 u Δ ( a ) = 0 , c 10 u ( ρ ( b ) ) + c 11 u Δ ( ρ ( b ) ) = 0 , for suitable functions p, q and w and λ ∈ R . Problems of this type on time-scales have normally been considered in a setting involving Banach spaces of continuous functions on T . In this paper we formulate the problem in Sobolev-type spaces of functions with generalized L 2 -type derivatives. This approach allows us to use the functional analytic theory of Hilbert spaces rather than Banach spaces. Moreover, it allows us to use more general coefficient functions p, q, and weight function w, than usual, viz., p ∈ H 1 ( T κ ) and q , w ∈ L 2 ( T κ ) compared with the usual hypotheses that p ∈ C rd 1 ( T κ ) , q , w ∈ C rd 0 ( T κ 2 ) . Further to these conditions, we assume that p ⩾ c > 0 on T κ , C ⩾ w ⩾ c > 0 on T κ 2 , for some constants C > c > 0 . These conditions are similar to the usual assumptions imposed on Sturm–Liouville, ordinary differential equation problems. We obtain a min–max characterization of the eigenvalues of the above problem, and various eigenfunction expansions for functions in suitable function spaces. These results extend certain aspects of the standard theory of self-adjoint operators with compact resolvent to the above problem, even though the linear operator associated with the left-hand side of the problem is not in fact self-adjoint on general time-scales.
ISSN:0022-247X
1096-0813
DOI:10.1016/j.jmaa.2007.01.100