Math 2.0

Difference and functional equations Definition

Carleman matrix

Builds on Formal power seriesMatrixMatrix multiplication

Definition

Let KK be a field and let f(x)=∑k≥0fkxkf(x) = \sum_{k \ge 0} f_k x^k be a formal power series over KK. For integers j,k≥0j, k \ge 0, let M[f]jkM[f]_{jk} be the coefficient of xkx^k in the power f(x)jf(x)^j, with f(x)0=1f(x)^0 = 1. The Carleman matrix of ff is the infinite matrix M[f]=(M[f]jk)j,k≥0M[f] = (M[f]_{jk})_{j, k \ge 0}. So f(x)j=∑k≥0M[f]jk xkfor every j≥0.f(x)^j = \sum_{k \ge 0} M[f]_{jk} \, x^k \quad \text{for every } j \ge 0.

Remarks

Example: for f(x)=axf(x) = ax with a∈Ka \in K, one has f(x)j=ajxjf(x)^j = a^j x^j, so M[f]M[f] is diagonal with entries 1,a,a2,…1, a, a^2, \ldots. For f(x)=xf(x) = x it is the identity matrix.

Non-example: the diagonal matrix with entries 1,2,3,…1, 2, 3, \ldots is not a Carleman matrix. Its row 11 would force f(x)=2xf(x) = 2x, and then row 22 would have to list the coefficients of 4x24x^2, not of 3x23x^2.

If g(0)=0g(0) = 0, then M[f∘g]=M[f] M[g]M[f \circ g] = M[f] \, M[g], a product of infinite matrices in which each entry is a finite sum. Check: f(g(x))j=∑kM[f]jk g(x)k=∑kM[f]jk∑lM[g]klxlf(g(x))^j = \sum_k M[f]_{jk} \, g(x)^k = \sum_k M[f]_{jk} \sum_l M[g]_{kl} x^l, and M[g]kl=0M[g]_{kl} = 0 for k>lk > l because g(x)kg(x)^k starts at xkx^k. In particular, if f(0)=0f(0) = 0, then M[fn]=M[f]nM[f^n] = M[f]^n for the iterates of ff, and M[f]M[f] is upper triangular with diagonal entries f1jf_1^j. The transpose of M[f]M[f] is the Bell matrix of ff, which reverses the order of products.

Reading path

To understand this page from the ground up, read these 4 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. Formal power series concept
  2. Matrix concept
  3. Matrix multiplication concept
  4. Carleman matrix definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Jabotinsky_matrix
About this page
TagH70CF6YBY1
URIm2://H70CF6YBY1
Kinddefinition
WritingW0 stub
MSC39B12, 13F25, 15B99
DefinesCarleman matrix
UsesFormal power series, Matrix, Matrix multiplication

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.