Analytic solution at a maximal integer Fuchsian exponent ($F^{\prime }+(R/z+B(z))F=0$)

Suppose the matrix $B$ is holomorphic at zero and $0$ is an eigenvalue of $R$. Let $m$ be the largest nonnegative integer for which $-m$ is an eigenvalue of $R$. Seek $F=z^m{\sum }_{n\ge 0}{h}_n{z}^n$, with $h_0\in \ker (mI+R)$ nonzero. The Frobenius method gives $((m+n)I+R)h_n=-{\sum }_{j=0}^{n-1}{B}_j{h}_{n-1-j}$ for $n\ge 1$, where scalar terms multiply the identity. Every left-hand matrix is invertible by the choice of $m$. Its inverse is $O(1/n)$, so a scalar convergent majorant proves convergence of the series. This yields a nonzero analytic solution; it is necessarily nonconstant when $m>0$, but can be constant when $m=0$. For the displayed sign convention, indicial exponents are eigenvalues of $-R$.