Identities and periodic oscillations of divide-and-conquer recurrences splitting at half

We study divide-and-conquer recurrences of the form$f\left(n\right)=\alpha f(\lfloor \frac{n}{2}\rfloor )+\beta f(\lceil \frac{n}{2}\rceil )+g\left(n\right)(n⩾2),$ with $g\left(n\right)$ and $f\left(1\right)$ given, where $\alpha ,\beta ⩾0$ with $\alpha +\beta >0$; such recurrences appear often in the analysis of computer algorithms, numeration systems, combinatorial sequences, and related areas. We show under an optimum (iff) condition on $g\left(n\right)$ that the solution f always satisfies a simple identity$f\left(n\right)=n^{{\log }_2(\alpha +\beta )}P({\log }_{2}n)-Q\left(n\right),$ where P is a periodic function and $Q\left(n\right)$ is of a smaller order than the dominant term. This form is thus not only an identity but also an asymptotic expansion. Explicit forms for the continuity of the periodic function P are provided, together with a few other smoothness properties. We show how our results can be easily applied to many dozens of concrete examples collected from the literature, and how they can be extended in various directions. Our method of proof is surprisingly simple and elementary, but leads to the strongest types of results for all examples to which our theory applies.