Introduction to Laurent series around a chosen center
This Laurent series calculator is meant for the local question that comes up in complex analysis: what does a function look like when you zoom in on a chosen center a? Near that point, a function may behave like an ordinary power series, or it may reveal negative powers of that signal a pole or another isolated singularity. The positive powers describe the regular part of the expansion, while the negative powers collect the principal part and expose the residue that matters in contour calculations.
That is why the page is useful both as a learning aid and as a quick numerical check. If you are studying the definition, the calculator turns the algebra into coefficients you can inspect one by one. If you already know the theory, it helps you test whether a center should produce a pure Taylor series, a simple pole, a higher-order pole, or a more complicated local pattern. Enter the function with x as the variable, choose the expansion point, and decide how many negative and nonnegative powers you want to inspect.
Keep one practical detail in mind: the coefficients are estimated by sampling the function on a small complex circle around the chosen center, so the output is numerical evidence rather than a symbolic proof. Very small values are often just roundoff or contour-sampling noise, especially when the true coefficient should vanish. The center a is entered as a real number in this interface, but the sampled points around it are complex, which is enough for the Laurent contour calculation used here.
What is a Laurent series?
A Laurent series is the local expansion you use in complex analysis when the center may be singular instead of fully regular. While a Taylor series only has non-negative powers
(regular power series), a Laurent series can include terms like , which describe behavior near poles and other singularities.
Formally, a function has a Laurent expansion about of the form
Formula: f(z) = ∑ n = − ∞ c^n (z−a)^n,
where the coefficients are complex numbers. The part with negative powers,
, is called the principal part. The non-negative powers
form the regular part (similar to a Taylor series).
Laurent series are especially useful because they describe the local behavior of a complex function near an isolated singularity. In particular, the coefficient is the
residue of at , which is why contour integrals and the residue theorem lean so heavily on this expansion.
Coefficient formula for Laurent coefficients
For a function that is analytic on and inside a circle centered at (except possibly at itself), the Laurent coefficients come from the Cauchy integral formula:
Here the integral is taken around a small circle that stays away from other singularities of , which is exactly the kind of local neighborhood the calculator tries to approximate numerically.
How this Laurent series calculator estimates coefficients
This Laurent series calculator estimates the coefficients numerically from the contour formula above. Instead of solving the integral symbolically, it samples the function on a small circle around the expansion point and averages those samples to approximate each coefficient.
After the contour is parameterized, each coefficient is the average of the sampled values weighted by the appropriate power of . The implementation keeps the radius small so the calculation stays local, and it retries with smaller circles if the first one lands too close to a singularity. That is why the output is most trustworthy when the center is inside a clean analytic neighborhood: negative coefficients should be near zero at a regular point, while a pole at the center shows up immediately in the principal part.
For each coefficient , the algorithm:
- Chooses a small radius around the expansion point .
- Samples points on the circle
with equally spaced angles .
- Evaluates using complex arithmetic with the real variable
x substituted by .
- Forms a discrete approximation to the contour average that defines .
For rational functions with isolated poles, this numerical contour method usually recovers the dominant coefficients well, especially the principal part and the residue. The residue is often the most stable coefficient to inspect first because it is singled out by the term.
How to use this Laurent series calculator
To use the Laurent series tool, think of the inputs as a description of the local complex neighborhood around the center you want to study. There are no physical units; the order fields only determine how far the displayed expansion reaches into the principal part and the regular part.
- f(x): Enter your function using
x as the variable, in syntax compatible with the calculator. For example:
1/(x-1)
(x+1)/(x*(x-2))
exp(1/x) (numerically more delicate)
- Expansion point a: Choose the real center of expansion. For a Laurent expansion around , use
0. For an expansion around , use 1, and so on. In this page interface, a is entered as a real number.
- Negative order: This is how far into the principal part you want to go. For example, a negative order of
2 means the calculator will include terms down to .
- Positive order: This is how many non-negative powers to include, starting with .
After you click the compute button, the page estimates every coefficient from the requested negative order through the requested positive order and then lists them so you can reconstruct
as
Formula: f(z) ≈ ∑ n = n_min n_max c_n(z − a) n.
Interpreting Laurent series coefficients
Once the coefficients appear, read them as a local map of the function around a rather than as standalone numbers. Negative coefficients tell you whether the center is singular, the coefficient of is the residue, and the nonnegative coefficients describe the analytic part that remains after the singular behavior has been separated out.
- Principal part (negative powers) describes the singular behavior near . If the largest negative power is finite (say ), then is a pole of order .
- Residue is the coefficient . This value can be used directly in the residue theorem to evaluate contour integrals enclosing .
- Regular part (non-negative powers) behaves like a Taylor series around and captures how the function varies smoothly once the singularity is factored out.
A good quick habit is to compare the size of the negative coefficients with the size of the regular ones. If the negative coefficients are essentially zero, the center is behaving like an ordinary analytic point on the small contour used here. If the negative coefficients are prominent, the center is singular and the principal part is carrying real structural information rather than mere numerical noise.
Worked example: Laurent expansion of 1/(z-1) about a = 0
Example: 1/(z-1) expanded about a = 0
The first example shows how the calculator behaves when the chosen center is not the pole itself. Here the singularity sits at , but the expansion point is , so the local series around zero is actually a Taylor series with no negative powers.
Formula: f(z) = 1 / (z − 1), a = 0.
For , we can rewrite
Formula: 1 / (z − 1) = − 1 / (1 − z) = − ∑ n = 0 ∞ z^n.
In Laurent-series form about , this is a purely regular expansion:
Formula: f(z) = - 1 - z - z^2 - z^3 - …
If you set in the calculator:
- f(x):
1/(x-1)
- a:
0
- Negative order:
0
- Positive order:
3
you should obtain coefficients close to . There is no principal part here; the function is analytic at , and its Laurent series reduces to a Taylor series.
Example: (z+1)/(z(z-2)) expanded about a = 1
The second example keeps the same rational-function theme but moves the center away from both poles. The function has simple poles at and , yet the expansion point is . On a small enough contour around that center, the calculator should therefore behave mostly like a Taylor expansion, with negative coefficients close to zero.
Formula: f(z) = (z + 1) / (z(z - 2)), a = 1.
This function has simple poles at and . Around , however, the function is locally analytic on any sufficiently small circle. That means the small-contour calculation performed by this page should behave mostly like a Taylor expansion there, with negative-power coefficients close to zero. Running the calculator with the values below is still helpful, but mainly as a way to see how nearby poles influence the radius of convergence rather than as a principal-part example:
- f(x):
(x+1)/(x*(x-2))
- a:
1
- Negative order:
1
- Positive order:
3
Important note: because this calculator samples a small contour around a = 1, the coefficient of should be near zero rather than large. If you want a genuine principal part for this same rational function in the current interface, move the center to a = 0 or a = 2, where the poles actually sit.
Pole-centered check: the same function around a = 0
Moving the center onto the pole changes the picture immediately. At a = 0 the Laurent series should begin with a negative-power term, and the residue is -0.5, which is the coefficient of in the partial-fraction form. That is exactly what the theory predicts: the local expansion starts with a principal-part term proportional to , and then continues with ordinary powers of . This is a useful check because it shows the calculator distinguish between a regular center and a singular center using the same underlying function.
Comparison: Laurent vs. Taylor series
| Feature |
Taylor series |
Laurent series |
| Allowed powers |
Non‑negative powers |
Both negative and non‑negative powers |
| Singularities at the center |
Not allowed; requires analytic at |
Allows isolated singularities at (poles, essential singularities) |
| Principal part |
Absent |
Present if there are negative powers; encodes singular behavior |
| Residue (coefficient of ) |
Zero by definition |
May be nonzero and is used in the residue theorem |
| Typical use cases |
Local approximations for analytic functions, series solutions |
Studying singularities, computing contour integrals, analytic continuation |
Limitations and assumptions for numerical Laurent expansions
This Laurent series calculator is designed for local numerical checks, especially with rational functions or other expressions that behave well on a small contour around the center. The numerical method assumes:
- The function is analytic on a small circle around , except possibly at itself.
- No other singularities lie extremely close to the integration circle; otherwise, the coefficients may be distorted.
- The chosen orders are modest in size so that numerical errors do not dominate.
When using more complicated functions such as those with branch cuts, essential singularities, or many nearby poles, expect the numerical coefficients to be approximations only. For sensitive problems, it helps to compare the output with symbolic algebra or to try a smaller contour and a different center if the first estimate looks unstable.
Finally, keep in mind that the series is local: it describes only within the annulus where the Laurent series converges. Outside that region, the truncated series used by the calculator may give poor approximations even if the algebra looks similar.
One last interpretation tip: if you are using the page for coursework, treat the numerical result as a diagnostic tool rather than the final answer you submit. It is excellent for spotting the order of a pole, estimating a residue, or checking the first few regular coefficients. Once the pattern is clear, you can then carry out the symbolic argument with much more confidence and much less algebraic guesswork.