Ask Your Question

integrating formal Laurent series

asked 2013-09-18 19:39:16 +0200

updated 2013-09-19 18:24:55 +0200

I would like to compute some integrals of products of Laurent series, with the goal of getting an explicit expression for the n-th coefficient of the result. It gets pretty messy so I was hoping that sage could keep track of the details for me. Here are the things I don't know how to do:

1) Define a Laurent series by giving an expression for its n-th coefficient.

2) Formally multiply and integrate Laurent series, producing an explicit expression for the n-th coefficient of the result.

Is this possible? I apologize if some or all of this is explained elsewhere.

EDIT: An example of what I want to do would be to define a power series such as sum(n * x^n,n,0,infinity) and then integrate it and/or multiply it by another power series, resulting in yet another power series whose coefficients I can read off. The O(x^n) notation is not very useful to me since I would like to have an expression for an arbitrary coefficient of that resulting series in terms of n.

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted

answered 2013-09-18 21:38:36 +0200

Luca gravatar image

It is not clear to me what you mean by "giving an expression for the n-th coefficient". Is this what you are looking for?

sage: R.<z> = FractionField(QQ[['z']])
sage: R
Laurent Series Ring in z over Rational Field
sage: (z^-2 + z^3 + 5*z^8 + O(z^10)).integral()
-z^-1 + 1/4*z^4 + 5/9*z^9 + O(z^11)
edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2013-09-18 19:39:16 +0200

Seen: 588 times

Last updated: Sep 18 '13