This would be analogous to how the derivative of an exponantial is directly proportional to the exponential function itself, but in this case Iâ€™m looking for it to be inversely proportional. Does such a function exist at all, and if so what is it?

- Thread starter romank
- Start date

This would be analogous to how the derivative of an exponantial is directly proportional to the exponential function itself, but in this case Iâ€™m looking for it to be inversely proportional. Does such a function exist at all, and if so what is it?

That is not the most general solution.$y'y=k$ leads to $\frac{y^2}{2}=kx$.

I had an idea that you could proceed analogously to the way you solve $f' = f$. Assume $f$ is complex analytic, apply the theorem on term-by-term differentiation of a power series, and set the coefficients of $f$ and $f'$ equal. The result gives the well-known power series for $e^x$ [with initial condition $f(0) = 1$].

Of course you can't just take a term-by-term multiplicative inverse, so that idea doesn't work directly.

However it turns out there's a formula for the multiplicative inverse of a power series, but it's a little involved. I found two nice writeups: https://math.stackexchange.com/questions/710252/multiplicative-inverse-of-a-power-series and http://www.math.caltech.edu/~2016-17/1term/ma006a/notes/22. Power series.pdf. It's a special case of FaÃ di Bruno's formula and it involves Bell numbers. Today I learned, right? There's an awesome amount of "elementary" math that nobody knows, let alone the higher abstract stuff.

If someone is so inclined, they could set the coefficients equal and work out the general form of a complex analytic function that satisfies $f' = \frac{1}{f}$.

When I was looking this up I found a lot of literature for the same question about the*functional* inverse rather than the multiplicative inverse. There's a formula for that too.

Of course you can't just take a term-by-term multiplicative inverse, so that idea doesn't work directly.

However it turns out there's a formula for the multiplicative inverse of a power series, but it's a little involved. I found two nice writeups: https://math.stackexchange.com/questions/710252/multiplicative-inverse-of-a-power-series and http://www.math.caltech.edu/~2016-17/1term/ma006a/notes/22. Power series.pdf. It's a special case of FaÃ di Bruno's formula and it involves Bell numbers. Today I learned, right? There's an awesome amount of "elementary" math that nobody knows, let alone the higher abstract stuff.

If someone is so inclined, they could set the coefficients equal and work out the general form of a complex analytic function that satisfies $f' = \frac{1}{f}$.

When I was looking this up I found a lot of literature for the same question about the

Last edited:

$$y^2 = c_1x + c_2 \quad (c_1x + c_2 > 0)$$That is not the most general solution.$y'y=k$ leads to $\frac{y^2}{2}=kx$.

I wouldn't say nobody knows this. Its actually extremely common to do this when solving differential equations. The technique (often called automatic differentiation) is even simpler than the formulas you found for the inverse due to the fact that they did not use the derivative information at all.I had an idea that you could proceed analogously to the way you solve $f' = f$. Assume $f$ is complex analytic, apply the theorem on term-by-term differentiation of a power series, and set the coefficients of $f$ and $f'$ equal. The result gives the well-known power series for $e^x$ [with initial condition $f(0) = 1$].

Of course you can't just take a term-by-term multiplicative inverse, so that idea doesn't work directly.

However it turns out there's a formula for the multiplicative inverse of a power series, but it's a little involved. I found two nice writeups: https://math.stackexchange.com/questions/710252/multiplicative-inverse-of-a-power-series and http://www.math.caltech.edu/~2016-17/1term/ma006a/notes/22. Power series.pdf. It's a special case of FaÃ di Bruno's formula and it involves Bell numbers. Today I learned, right? There's an awesome amount of "elementary" math that nobody knows, let alone the higher abstract stuff.

If someone is so inclined, they could set the coefficients equal and work out the general form of a complex analytic function that satisfies $f' = \frac{1}{f}$.

When I was looking this up I found a lot of literature for the same question about thefunctionalinverse rather than the multiplicative inverse. There's a formula for that too.

Starting from x' = 1/x, where x is assumed to be analytic, define a new variable y = 1/x. Take its derivative by the chain rule so you get

\[y' = \frac{-x'}{x^2} = -y^3 \]

Thus, you are left to solve the 2-dimensional polynomial differential equation: $x' = f(x)$ where $x \in \mathbb{R}^2$ and $f(x) = (x_2, - x_2^3)$.

This specific example shows up for instance, when solving the restricted n-body problem. It works even more generally than this for sin/cos, and therefore periodic functions which can be expressed in Fourier series.

In general, it is used to convert an existing $N$-th dimensional vector field to a polynomial vector field in higher dimensions and it works whenever the non-polynomial part of the vector field satisfies an algebraic differential equation.

Last edited: