Is it possible to find a explicit formula here ?
This is the reduction formula of$$\int_{0}^{\frac{\pi}{4}} (\cos x)^n dx$$.
If the limits are from $0$ to $\frac{\pi}{2}$ then the nice walli's formula can be obtained,however i have no idea regarding solving this kind of recurrences. Any help will be appreciated.
We can find an explicit formula for $y_n$ when $n$ is even. Here's how. Define $$D_n=y_{2n}$$ Hence we have $$D_n=\frac1{2n\cdot (\sqrt2)^{2n}}+\frac{2n-1}{2n}D_{n-1}$$ $$D_n=\frac1{2^{n+1}n}+\frac{2n-1}{2n}D_{n-1}$$ And we have the base case $D_0=\int_0^{\pi/4}dx=\pi/4$.
Then we note that, given the general recurrence $$f_n=\alpha_n+\beta_nf_{n-1}$$ Where $\alpha, \beta$ are explicit functions of $n$ and the base case $f_0$ is known. We have $$f_n=f_0\prod_{i=1}^{n}\beta_i+\sum_{k=0}^{n-1}\alpha_{n-k}\prod_{j=1}^{k}\beta_{n-j+1}$$ Which is an explicit function of $n$. Choosing $\alpha_n=\frac1{2^{n+1}n}$ and $\beta_n=\frac{2n-1}{2n}$ We have $$D_n=\frac\pi4\prod_{i=1}^{n}\frac{2i-1}{2i}+\sum_{k=0}^{n-1}\frac{2^{k-n-1}}{n-k}\prod_{j=1}^{k}\frac{2n-2j+1}{2n-2j+2}$$ $$D_n=\frac\pi{4^{n+1}}{2n\choose n}+\frac1{2^{n+1}}\sum_{k=0}^{n-1}\frac{1}{n-k}\prod_{j=1}^{k}\frac{2n-2j+1}{n-j+1}$$ I do not know how to simplify the final product anymore though. Note that this formula for $D_n$ works for integer $n\geq0$ because $\sum_{k=0}^{-1}:=0$ and $\prod_{j=1}^{0}:=1$
I hope this helped :)