Math 2.0

Functions of a complex variable Definition

Faber polynomials

Builds on Compact setRiemann sphereConformal mapRiemann mapping theoremLaurent seriesLogarithmic capacity

Definition

Let K⊆ℂK \subseteq \C be a compact set with more than one point such that ℂ^∖K\widehat{\C} \setminus K is simply connected, where ℂ^=ℂ∪{∞}\widehat{\C} = \C \cup \set{\infty} is the Riemann sphere. Let Φ\Phi be the conformal map of ℂ^∖K\widehat{\C} \setminus K onto {w:∣w∣>1}∪{∞}\set{w : \abs{w} > 1} \cup \set{\infty} with Φ(∞)=∞\Phi(\infty) = \infty and Φ(z)=zc+d0+d1z+d2z2+⋯near ∞,\Phi(z) = \frac{z}{c} + d_0 + \frac{d_1}{z} + \frac{d_2}{z^2} + \cdots \quad \text{near } \infty, with c>0c > 0. For n≥0n \ge 0, the nn-th Faber polynomial FnF_n of KK is the polynomial part of the Laurent series of Φ(z)n\Phi(z)^n at ∞\infty. That is, FnF_n is the unique polynomial such that Φ(z)n−Fn(z)→0\Phi(z)^n - F_n(z) \to 0 as z→∞z \to \infty.

Remarks

The map Φ\Phi exists and is unique by the Riemann mapping theorem, since ℂ^∖K\widehat{\C} \setminus K is simply connected and has more than one boundary point. The constant cc is the logarithmic capacity of KK. The polynomial FnF_n has degree nn and leading coefficient c−nc^{-n}. Example: for the disc ∣z−a∣≤r\abs{z - a} \le r, Φ(z)=(z−a)/r\Phi(z) = (z - a)/r and Fn(z)=((z−a)/r)nF_n(z) = ((z - a)/r)^n. Example: for K=[−1,1]K = [-1, 1], Φ(z)=z+z2−1\Phi(z) = z + \sqrt{z^2 - 1}, and Φn+Φ−n=2Tn\Phi^n + \Phi^{-n} = 2 T_n with TnT_n the Chebyshev polynomial; since Φ−n→0\Phi^{-n} \to 0 at ∞\infty, Fn=2TnF_n = 2 T_n for n≥1n \ge 1. Non-example: the union of two disjoint closed discs does not qualify, because its complement in ℂ^\widehat{\C} is not simply connected, so there is no map Φ\Phi. With Ψ=Φ−1\Psi = \Phi^{-1}, the Faber polynomials have the generating function Ψ′(w)/(Ψ(w)−z)=∑n≥0Fn(z)w−n−1\Psi'(w)/(\Psi(w) - z) = \sum_{n \ge 0} F_n(z) w^{-n-1} for ∣w∣\abs{w} large.

Reading path

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

  1. Complex numbers object
  2. Complex plane concept
  3. Element definition
  4. Logarithmic capacity concept
  5. Proposition concept
  6. Real numbers object
  7. Set bounded above definition
  8. Power series in the complex plane definition
  9. Real and imaginary parts definition
  10. Riemann sphere definition
  11. Conformal map definition
  12. Set definition
  13. Conjunction definition
  14. Disjunction definition
  15. Implication definition
  16. Predicate definition
  17. Supremum definition
  18. Laurent series definition
  19. Intersection definition
  20. Empty set object
  21. Family of sets definition
  22. Ordered pair definition
  23. Union definition
  24. Completeness axiom statement
  25. Existential quantifier definition
  26. Universal quantifier definition
  27. Cartesian product definition
  28. Union of a family of sets definition
  29. Subset definition
  30. Existence of square roots of nonnegative reals statement
  31. Uniqueness quantifier definition
  32. Binary relation definition
  33. Topological space definition
  34. Square root definition
  35. Modulus of a complex number definition
  36. Subspace topology definition
  37. Function definition
  38. Complex differentiability definition
  39. Metric space definition
  40. Holomorphic function definition
  41. Open ball definition
  42. Metric topology definition
  43. Riemann mapping theorem statement
  44. Open set definition
  45. Open cover definition
  46. Compact space definition
  47. Compact set definition
  48. Faber polynomials definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Faber_polynomials
About this page
TagZGH48BG36Z
URIm2://ZGH48BG36Z
Kinddefinition
WritingW0 stub
MSC30E10, 30C10, 41A10
DefinesFaber polynomials
UsesCompact set, Riemann sphere, Conformal map, Riemann mapping theorem, Laurent series, Logarithmic capacity
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • 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.