Math 2.0

Several complex variables and analytic spaces Definition

Power series in several variables

Builds on Several complex variablesMulti-index notationAbsolute convergence

Definition

Let n≥1n \ge 1 and let ℕn\N^n be the set of multi-indices α=(α1,…,αn)\alpha = (\alpha_1, \dots, \alpha_n) with αj≥0\alpha_j \ge 0 integers. For w∈ℂnw \in \C^n, write wα=w1α1⋯wnαnw^\alpha = w_1^{\alpha_1} \cdots w_n^{\alpha_n}, with wj0=1w_j^0 = 1. Let a∈ℂna \in \C^n and let (cα)α∈ℕn(c_\alpha)_{\alpha \in \N^n} be complex numbers. The power series with centre aa and coefficients cαc_\alpha is the formal sum ∑α∈ℕncα(z−a)α.\sum_{\alpha \in \N^n} c_\alpha (z - a)^\alpha. It converges at z∈ℂnz \in \C^n if ∑α∈ℕn∣cα∣∣(z−a)α∣<∞\sum_{\alpha \in \N^n} \abs{c_\alpha} \abs{(z - a)^\alpha} < \infty. Its sum at such a point is the sum of the family (cα(z−a)α)α(c_\alpha (z - a)^\alpha)_\alpha, which does not depend on the order of the terms.

Remarks

Convergence here is absolute convergence, since the index set ℕn\N^n has no preferred order when n≥2n \ge 2. Example: for n=2n = 2, a=0a = 0 and cα=1c_\alpha = 1 for all α\alpha, at z=(1/2,1/3)z = (1/2, 1/3) the sum of absolute values is ∑j2−j∑k3−k=2⋅32=3<∞\sum_j 2^{-j} \sum_k 3^{-k} = 2 \cdot \tfrac32 = 3 < \infty, so the series converges, with sum 33. Non-example: the same series at z=(1/2,1)z = (1/2, 1) has the terms 2−j2^{-j} with kk arbitrary, so the sum of absolute values is infinite and the series does not converge there. Grouping by total degree ∣α∣=α1+⋯+αn\abs{\alpha} = \alpha_1 + \cdots + \alpha_n writes the series as ∑m≥0Pm(z−a)\sum_{m \ge 0} P_m(z - a), with PmP_m a homogeneous polynomial of degree mm. For n=1n = 1 this is the ordinary power series, and in that case absolute convergence holds at every point inside the disc of convergence.

Reading path

To understand this page from the ground up, read these 10 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Absolute convergence concept
  2. Euclidean space object
  3. Function concept
  4. Several complex variables concept
  5. Function of several variables concept
  6. Limit of a function of several variables concept
  7. Partial derivative definition
  8. Higher partial derivatives definition
  9. Multi-index notation concept
  10. Power series in several variables definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Power_series
About this page
TagZBNQEJ09QE
URIm2://ZBNQEJ09QE
Kinddefinition
WritingW0 stub
MSC32A05
DefinesPower series in several variables
UsesSeveral complex variables, Multi-index notation, Absolute convergence

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.