In my research I have come across a divergent asymptotic series $\sum_{n =0}^\infty a_n f_n(x)$ that formally solves a certain fairly simple nonlinear second-order ODE but does not seem to correspond to any standard special functions.
Here is my question: Given such an asymptotic series, what are the standard methods for proving that a function exists that has that asymptotic expansion around infinity and solves the relevant ODE?
This seems like it should be a classical topic (and is presumably related to Borel resummation etc), so I was surprised I could not really find anything online. Perhaps I'm missing the relevant key words?
I have avoided writing the specific ODE and divergent series since I would mostly like to learn about the general techniques!