Intereting Posts

What is the definition of an “almost complete” order?
Find all of the solutions of $z^4=2i$
probability almost surely and expectation
Numerical value of $\int_0^1 \int_0^1 \frac{\arcsin\left(\sqrt{1-s}\sqrt{y}\right)}{\sqrt{1-y} \cdot (sy-y+1)}\,ds\,dy $
Inertia group modulo $Q^2$
Which side has winning strategy in Go?
Symbol/notation/strategy for figuring out an unknown inequality?
Square roots — positive and negative
Limit of CES function as $p$ goes to $- \infty$
Compute the following sum $ \sum_{i=0}^{n} \binom{n}{i}(i+1)^{i-1}(n – i + 1) ^ {n – i – 1}$?
Why this two surfaces have one end?
Fourier Transform of Derivative
Proof of linear independence of $e^{at}$
Find the value of $\displaystyle\sqrt{3} \cdot \cot (20^{\circ}) – 4 \cdot \cos (20^{\circ}) $
Finding mode in Binomial distribution

Suppose I have a function $x:\mathbb{R} \to \mathbb{R}$ and consider:

$$g(t) = e^{x(t)}$$

When I start differentiating with respect to $t$ I obtain:

\begin{align}

g’&=e^xx’\\

g”&=e^x((x’)^2+x”)\\

g”’&=e^x((x’)^3+3x’x”+x”’)\\

&…

\end{align}

My question is whether there is a reasonable expression for higher derivatives of $g$ as a function of $x$. I’m pretty sure this kind of a thing has its own name, but I cannot find anything… Thank you in advance!

- Closed-form of $\int_0^1 \frac{\operatorname{Li}_2\left( x \right)}{\sqrt{1-x^2}} \,dx $
- How to calculate $\int_0^\pi \ln(1+\sin x)\mathrm dx$
- Find the closed form of $\sum_{n=1}^{\infty} \frac{H_{ n}}{2^nn^4}$
- Infinite Series $\sum\limits_{n=1}^{\infty}\frac{1}{4^n\cos^2\frac{x}{2^n}}$
- A closed form of $\sum_{n=1}^{\infty}(-1)^{n}\ln \!\left(1+\frac1{2n}\right) \!\ln\!\left(1+\frac1{2n+1}\right)$?
- Closed-form of $\int_0^1 \frac{\ln^2(x)}{\sqrt{x(a-bx)}}\,dx$

- Conjectured closed form of $G^{2~2}_{3~3}\left(1\middle|\begin{array}c1,1;b+1\\b,b;0\end{array}\right)$
- Conjecture ${\large\int}_0^\infty\leftdx=\frac{\zeta(3)}{8\pi^2}$
- A converse proposition to the Mean Value Theorem
- Integral $S_\ell(r) = \int_0^{\pi}\int_{\phi}^{\pi}\frac{(1+ r \cos \psi)^{\ell+1}}{(1+ r \cos \phi)^\ell} \rm d\psi \ \rm d\phi $
- How to calculate the series?
- Why the $\nabla f(x)$ in the direction orthogonal to $f(x)$?
- How can I find a curve based on its tangent lines?
- Infinite Series $\sum\limits_{n=1}^\infty\frac{H_{2n+1}}{n^2}$
- Lie derivative of a covector field
- Swapping limits: $\lim_{h\to 0}\lim_{n\to \infty}\frac {(1+1/n)^{hn}-1}{h}=\lim_{n\to\infty}\lim_{h\to 0}\frac {(1+1/n)^{hn}-1}{h}$

Another expression besides Faa di Brunos formula is stated as identity (3.56) in H.W. Gould’s *Tables of Combinatorial Identities, Vol. I* and called:

Hoppe Form of Generalized Chain RuleLet $D_t$ represent differentiation with respect to $t$ and $x=x(t)$. Hence $D^n_t g(x)$ is the $n$-th derivative of $g$ with respect to $t$. The following holds true

\begin{align*}

D_t^n g(x)=\sum_{k=0}^nD_x^kg(x)\frac{(-1)^k}{k!}\sum_{j=0}^k(-1)^j\binom{k}{j}x^{k-j}D_t^nx^j

\end{align*}

In the special case

\begin{align*}

g(x(t))=e^{x(t)}

\end{align*}

we have $$D_x^kg(x)=D_x^k e^x=e^x$$ and obtain

\begin{align*}

D_t^ne^x=e^x\sum_{k=0}^n\frac{(-1)^k}{k!}\sum_{j=0}^k(-1)^j\binom{k}{j}x^{k-j}D_t^nx^j\tag{1}

\end{align*}

Let’s look at a small example in order to see formula (1) in action

**Example: $n=2$**

\begin{align*}

D_t^2e^x&=e^x\sum_{k=0}^2\frac{(-1)^k}{k!}\sum_{j=0}^k(-1)^j\binom{k}{j}x^{k-j}D_t^2x^j\\

&=e^x\left(\frac{(-1)^1}{1!}\left(-\binom{1}{1}x^0D_t^2x\right)

+\frac{(-1)^2}{2!}\left(-\binom{2}{1}xD_t^2x+\binom{2}{2}x^0D_t^2x^2\right)\right)\\

&=e^x\left(D_t^2x+\frac{1}{2}\left(-2xD_t^2x+D_t^2x^2\right)\right)\\

&=e^x\left(x^{\prime\prime}+\frac{1}{2}\left(-2xx^{\prime\prime}+D_t\left(2xx^{\prime}\right)\right)\right)\\

&=e^x\left(x^{\prime\prime}+\frac{1}{2}\left(-2xx^{\prime\prime}+2\left(x^{\prime}\right)^2+2xx^{\prime\prime}\right)\right)\\

&=e^x\left(x^{\prime\prime}+\left(x^{\prime}\right)^2\right)

\end{align*}

in accordance with OPs expression.

You can condense your findings as follows:

Write $x^{(k)}(t)=:y_k$ $(k\geq1)$. Then there is a sequence $(P_n)_{n\geq0}$ of polynomials $$P_n:=P_n(y_1,y_2,\ldots, y_{n-1})$$ such that

$${d^n\over dt^n}\bigl(e^{x(t)}\bigr)=e^{x(t)}\>P_n(y_1,\ldots, y_{n-1})\ .$$

It is easily checked that the $P_n$ satisfy the recursion

$$P_0=1,\qquad P_{n+1}(y_1,\ldots ,y_n)=y_1P_n(y_1,\ldots y_{n-1})+\sum_{k=1}^{n-1}P_{n.k}(y_1,\ldots y_{n-1})\>y_{k+1}\ ,$$

where $P_{n.k}$ denotes the partial derivative of $P_n$ with respect to the $k$th variable.

I think is this what you are looking for

http://www.wolframalpha.com/input/?i=d%5En%2Fdt%5En(e%5E(x(t)))

- Is there a computer program that does diagram chases?
- How to round 0.4999… ? Is it 0 or 1?
- Question on finite Vector Spaces, injective, surjective and if $V$ is not finite
- Prove that: the center of any group is characteristic subgroup .
- Subgroups of a direct product
- Product of sets and supremum
- homotopic maps from the sphere to the sphere
- Prove that $0 \leq ab + ac + bc – abc \leq 2.$
- sequence lemma, relaxing some hypothesis of a theorem
- Proving that $\phi_a(z) = (z-a)/(1-\overline{a}z)$ maps $B(0,1)$ onto itself.
- A type of integer numbers set
- Calculating probability of 'at least one event occurring'
- The set of rationals has the same cardinality as the set of integers
- Probability questions of watch problem
- How to evaluate the series $1+\frac34+\frac{3\cdot5}{4\cdot8}+\frac{3\cdot5\cdot7}{4\cdot8\cdot12}+\cdots$