Non-recursive expression for coefficients of the derivative of the logarithm of a power series

Question

Let $f :(-1,1) \to \mathbb{R};\ \ f(x)=\sum_{n=0}^\infty a_n x^n$ be an analytical function expressible as a power series.

Also, let

$$g : (-1,1) \to \mathbb{R}; \ \ g(x)=\frac{d}{dx} \log{f(x)} = \frac{\sum_{n=1}^\infty n a_n x^{n-1}}{\sum_{n=0}^\infty a_n x^n} =\sum_{n=0}^\infty d_n x^n$$

Assume that $\log f(x)$ is defined for all $\lvert x\rvert<1$. Is it possible to obtain a non-recursive expression for the coefficients $d_n$?

I came across some other answers related to quotients of power series (like this one or this other one), but they all rely on recursive expressions. I wonder whether there is a closed form for expressing those coefficients.

Answer 1

You start with Faà de Bruno formula (iterated chain rule): We have for $I, J$ open subsets of $\mathbb R$, $f: I\rightarrow J$, $g: J\rightarrow \mathbb R$, smooth functions, $k\in \mathbb N^{*}$, $$ \frac{(g\circ f)^{(k)}}{k!}=\sum_{1\le r\le k}\frac{g^{(r)}\circ f}{r!} \sum_{\substack{(k_{1},\dots, k_{r})\in {(\mathbb N^{*})}^{r}\\k_1+\dots+k_r=k}}\prod_{1\le j\le r}\frac{f^{(k_{j})}}{k_{j}!}. \tag{$\ast$}$$ It is enough to take $g=\log$, note that for $r\ge 1$, $g^{(r)}(y)=(-1)^{r-1}(r-1)!y^{-r}$, so that you get (assuming $f(0)\not=0$ or something giving sense to the composition) $$ d_k=\sum_{1\le r\le k} (-1)^{r-1}\frac1rf(0)^{-r} \sum_{\substack{(k_{1},\dots, k_{r})\in {(\mathbb N^{*})}^{r}\\k_1+\dots+k_r=k}}\prod_{1\le j\le r}a_{k_j}. $$