Power Series and Analytic Functions

From Department of Mathematics at UTSA
Revision as of 16:43, 28 October 2021 by Lila (talk | contribs) (Created page with "==Power Series== http://mathonline.wikidot.com/power-series == Operations on power series == === Addition and subtraction === When two functions ''f'' and ''g'' are decompos...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Power Series

http://mathonline.wikidot.com/power-series

Operations on power series

Addition and subtraction

When two functions f and g are decomposed into power series around the same center c, the power series of the sum or difference of the functions can be obtained by termwise addition and subtraction. That is, if

and

then

It is not true that if two power series and have the same radius of convergence, then also has this radius of convergence. If and , then both series have the same radius of convergence of 1, but the series has a radius of convergence of 3.

Multiplication and division

With the same definitions for and , the power series of the product and quotient of the functions can be obtained as follows:

The sequence is known as the convolution of the sequences and Template:Nowrap

For division, if one defines the sequence by

then

and one can solve recursively for the terms by comparing coefficients.

Solving the corresponding equations yields the formulae based on determinants of certain matrices of the coefficients of and

Differentiation and integration

Once a function is given as a power series as above, it is differentiable on the interior of the domain of convergence. It can be differentiated and integrated quite easily, by treating every term separately:

Both of these series have the same radius of convergence as the original one.


Analytic Functions

Template:Main A function f defined on some open subset U of R or C is called analytic if it is locally given by a convergent power series. This means that every aU has an open neighborhood VU, such that there exists a power series with center a that converges to f(x) for every xV.

Every power series with a positive radius of convergence is analytic on the interior of its region of convergence. All holomorphic functions are complex-analytic. Sums and products of analytic functions are analytic, as are quotients as long as the denominator is non-zero.

If a function is analytic, then it is infinitely differentiable, but in the real case the converse is not generally true. For an analytic function, the coefficients an can be computed as

where denotes the nth derivative of f at c, and . This means that every analytic function is locally represented by its Taylor series.

The global form of an analytic function is completely determined by its local behavior in the following sense: if f and g are two analytic functions defined on the same connected open set U, and if there exists an element cU such that fTemplate:I sup(c) = gTemplate:I sup(c) for all n ≥ 0, then f(x) = g(x) for all xU.

If a power series with radius of convergence r is given, one can consider analytic continuations of the series, i.e. analytic functions f which are defined on larger sets than { x : |xc| < r } and agree with the given power series on this set. The number r is maximal in the following sense: there always exists a complex number x with |xc| = r such that no analytic continuation of the series can be defined at x.

The power series expansion of the inverse function of an analytic function can be determined using the Lagrange inversion theorem.

Behavior near the boundary

The sum of a power series with a positive radius of convergence is an analytic function at every point in the interior of the disc of convergence. However, different behavior can occur at points on the boundary of that disc. For example:

  1. Divergence while the sum extends to an analytic function: has radius of convergence equal to and diverges at every point of . Nevertheless, the sum in is , which is analytic at every point of the plane except for .
  2. Convergent at some points divergent at others: has radius of convergence . It converges for , while it diverges for
  3. Absolute convergence at every point of the boundary: has radius of convergence , while it converges absolutely, and uniformly, at every point of due to Weierstrass M-test applied with the hyper-harmonic convergent series .
  4. Convergent on the closure of the disc of convergence but not continuous sum: Sierpiński gave an example[1] of a power series with radius of convergence , convergent at all points with , but the sum is an unbounded function and, in particular, discontinuous. A sufficient condition for one-sided continuity at a boundary point is given by Abel's theorem.
    1. Template:Cite journal