For many recurrence relations, spotting a pattern in the first few terms allows us to conjecture a possible closed form formula solution for the general term which can be verified by induction. I have no problem with that.
Often, however, solving first order recurrence relations with non-linear coefficients proves to be more difficult; eg when no simple pattern is immediately evident. In these cases, eg if we wanted a closed form formula for $t_n$, a good method is to use a substitution of the form $t_n=f(n)u_n+g(n)$ and solve the simpler relation in terms of $u_n$ and then substitute the solution for $u_n$ back into $t_n$ which is what we are aiming for.
The following recurrence relations can be solved by different substitution, as I write explicitly below: $$t_{n+1}=2t_n+1,~t_0=0~~\text{solved with}~t_n=u_n+k$$ $$t_{n+1}=2t_n+n,~t_1=2~~\text{solved with}~t_n=u_n+an+b$$ $$t_{n+1}=2t_n+2^n,~t_1=1~~\text{solved with}~t_n=a\times2^nu_n$$ $$t_{n+1}=(n+2)t_n+n!,~t_1=1~~\text{solved with}~t_n=a\times n!\times u_n$$ and in each case a choice of $a$, $b$ or $k$ is made to obtain an easy recurrence relation in terms of $u_n$ to work with.
My question is, assuming the recurrence relation in question can be solved by substitution, is there a general method that immediately tells us which sort of substitution to use, like when $f(n)=1$ or when $g(n)=0$ or any other choice for that matter? For example, how would I know to use the substitution $t_n=a\times n!\times u_n$ as in the final example?
Thank you for your help.