3
$\begingroup$

I know addition and multiplication are well defined operations on formal power series. Now say you have two formal power series $F(x),G(x)\in R[[x]]$, with $R\supset\mathbb{Q}$ is the coefficient ring.

Is there a way to define $F(x)^{G(x)}$? Is there a standard well defined definition for this operation that hopefully satisfies the usual exponent laws? Thanks.

  • 1
    It interesting to note that ${\left( {1 + x + \frac{{{x^2}}}{{2!}} + \frac{{{x^3}}}{{3!}} + \cdots } \right)^x} = 1 + x^2 + \frac{{{{\left( {{x^2}} \right)}^2}}}{{2!}} + \frac{{{{\left( {{x^2}} \right)}^3}}}{{3!}} + \cdots $ i.e $(e^x)^x = e^{x^2}$2012-02-18

2 Answers 2

2

Composition of formal power series can be done via the power-series version of Faà di Bruno's formula. In that way one can find the series for $\log_e F(x)$. Then one can say $ F(x)^{G(x)} = e^{G(x)\log_e F(x)}. $ Multiplication of formal power series is a well-known operation. Exponentiation can be done via the exponential formula.

  • 4
    Provided $F(x)$ has a nonzero constant term.2012-02-14
0

There is no general , universally accepted answer to this problem .If the exponent is a function of some variable , you cannot be restricted to the Real Number World . You have to get into the Complex Number World. f(x)=f(x)*1 =f(x)*exp(i*2*n*pi) f(x)^g(x) = [f(x)^g(x)] *[exp(i*2*n*pi*g(x))]

  • 1
    What does this have to do with power series?2012-11-28