Me temo que para $n=1$ y $n=2$ no corresponde con las condiciones iniciales. Pero efectivamente, una posible solución sería $a_n=3^{n+1}$. Otra podría ser que $a_i=3^{F(i+1)}$ donde $F(i+1)$ son los números de Fibonacci: $F(1)=1$, $F(2)=2$ y $F(i+1)=F(i-1)+F(i)$, esta se puede interpretar también como $a_{i+1}$ es el producto de $a_{i-1}$ por $a_i$ con $a_0=3$ y $a_1=9$.