Expansion of Analytic Functions in Series of Floquet Solutions of First Order Differential Systems

In this paper we study boundary eigenvalue problems for first order systems of ordinary differential equations of the form [zy'left( z right) = left( {lambda A_1 left( z right) + A_0 left( z right)} right)yleft( z right),,,yleft( {ze^{2pi i} } right) = e^{2pi iv} yleft( z right)] for z ? S^log, where S is a ring region around zero, S^log denotes the Riemann surface of the logarithm over S, the coefficient matrix functions A₁(z) and A₀(z) are holomorphic on S, and v is a complex number. The eigenfunctions of this eigenvalue problem are the Floquet solutions of the differential system with v as characteristic exponent. For an open subset S₀ of S, the notion of A₁-convexity of the pair (S₀, S) is introduced. For A₁-convex pairs (S₀, S) it is shown that the expansion into eigenfunctions and associated functions of holomorphic functions on S^log, satisfying the monodromy condition y(ze^2πi) = e^2πivy(z), converges regularly on S^log₀ and is unique. If S is a pointed neighbourhood of 0 and A₁(z) is holomorphic in SU{0}, it is shown that there is a pointed neighbourhood S₀ of 0 such that (S₀, S) is A₁-convex. It follows from the results of this paper that many expansions of analytic functions in terms of special functions can be considered as eigenfunction expansions of this kind.