Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

For analytic $f$, how can I represent the expression $f(z)\cdot\exp\left({s\,\log(z)}\right)$, i.e. $f(z)\cdot z^s$ in the form

$$\sum_{n}^\infty\left(\sum_{k}^\infty a_k s^k\right)z^n,$$

at least as a formal power series, where the index runs over the number needed?

I got to $$f(z)\cdot\exp\left({s\,\mathrm{log}(z)}\right)$$ $$=\left(\sum_{m}^\infty\frac{1}{m!}f^{(m)}(0)\,z^m\right) \left(\sum_{j=0}^\infty \frac{1}{j!} \left(s\,\log{(z)}\right)^j\right)$$ $$=\sum_{m}^\infty\sum_{j=0}^\infty \frac{1}{m!\,j!}f^{(m)}(0)\,s^j\cdot z^m\, \log{(z)}^j,$$

and I know

$$\log(z)=\sum_{l=1}^\infty (-1)^{l+1}\frac{1}{l}(z-1)^{l}.$$

I'm motivated by wanting to understand the Mellin transform (and the Laplace transform, for that matter) and here I approach this by looking at what it does to series components of a function

$$f(z)=\sum c_n z^n\mapsto \mathcal M(f)=\sum c_n^\mathcal{M} z^n$$

share|cite|improve this question
Is $x$ a typo ? – Claude Leibovici Feb 25 '14 at 8:29
@ClaudeLeibovici: Yes, thx. – NikolajK Feb 25 '14 at 8:46

Unless $s$ is an integer and non-negative, your function has a singularity at 0, and no such series is possible.

share|cite|improve this answer
The particular case $f(z) = 1$ asks us to expand $z^s$ as a power series centered at $z=0$. – GEdgar Feb 25 '14 at 18:10
@GEdgar, that is the point: Unless $s$ is a non-negative integer, $z^s$ has no power series expansion around $z = 0$. – vonbrand Feb 25 '14 at 18:12

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.