3
$\begingroup$

(I've asked this in MSE but nobody had an idea since dec 14...)


(Roughly related, but generalizing, of this earlier MSE question)


Background: The first part of the following(the column-wise-focus) is also described in Eri Jabotinski's 1953-treatize Representation of functions by matrices (at jstor)

Consider the matrix of Stirling numbers 2nd kind, factorially rescaled in columns and rows; let's call it $S$. I show here only the top left edge; but it is actually meant as of infinite size:

$\qquad $ (picture)

It is well known (see for instance Abramowitz&Stegun) that the generating function for the $c$'th column is $f_c(x)=(\exp(x)-1)^c $ , and for instance the leftmost column (index $c=0$) is related to $f_0(x)=(\exp(x)-1)^0 = 1 $ and the second column (index $c=1$ is related to the well known function $f_1(x)=\exp(x)-1$. So this matrix is also an example for (and in the form of) the (transposed) "Carleman"-matrices, and in this question I'm interested in a general property of such Carleman-matrices.

If I extend now that matrix by columns, for which the generating functions are accordingly $f_{-1}(x)=(\exp(x)-1)^{-1} $,$f_{-2}(x)=(\exp(x)-1)^{-2} $ and so on then I have not only to left-prepend new columns but also I must extend the matrix with prepended rows as well. The central segement of this now two-way infinite-indexed matrix, let's call it $S^*$ looks like this

$ \qquad $ picture

Well, I'm having that the gf columnwise are $f_c(x)=(\exp(x)-1)^c$ with the column-index now from $-\infty$ to $ \infty$ . Matrices in this two-way-infinite form have been discussed by Eri Jabotinsky but I've not seen a discussion by him of my question so far.


Now let's change our view to focus the rows instead.

I have found by pattern analyzing, that the rowwise generating functions (in this practical example) are $$g_r(t) = t/(1+t)/\log(1+t)^{r+1} $$ where I have now to replace $t =1/x$ to match the column-index for the exponents at $x$, so actually it is $$ h_r(x)= 1/(1+x)/\log(1+1/x)^{r+1} $$ The index $r=c=0$ is at the single $1$ in the center of the image, and $r=1$ indicates the row below, which reads, form right to left, $g_1(t)=1 -1/2t+5/12t^2-3/8t^3 ...$ and is also $h_1(x)=1 -1/2/x+5/12/x^2-3/8/x^3 ...$

I've also checked the similarly extended starred version of the matrix of Stirling numbers 1st kind, whose entries column-wise are generated by the functions $f_c(x)=\log(1+x)^c $.
Here for the row-wise generating functions I've guessed $$g_r(t)= t \exp(t) / (\exp(t)-1)^{r+1} $$ and $$h_r(x) = g_r(1/x) $$ (Correct me if my guess is wrong here)
The relation of the guessed generating functions of the rows and of the columns is somehow striking, and even might come out simple and possibly trivial. So my question:

Q: Is there any simple/memorizable rule for the relations of generating functions of the transposed Carleman matrices in comparable / general cases?
(Possibly this applies only to triangular Carlemanmatrices, but I don't know that)


[update] A reference to a discussion of this might be sufficient; I think I've seen something like this several years ago but could not remember, where...

$\endgroup$
1
$\begingroup$

Assume that $f_c(x) = x^c q_c(x)$, where $q_c(0)\ne 0$. Then the generating function for the row $r$ in the left matrix is $$g_r(t)=\sum_{c=0}^{\infty} [x^{r+c}]\ q_{-c}(x)\cdot t^c,$$ where the operator $[x^d]$ extracts the coefficient of $x^d$ from the series.

Example 1. For $f_c(x)=(\exp(x)-1)^c$, we have $q_c(x) = \left( \frac{\exp(x)-1}{x} \right)^c$ with $q_c(0)=1$. So we need to find $$g_r(t)=\sum_{c=0}^{\infty} [x^{r+c}]\ \left( \frac{\exp(x)-1}{x} \right)^{-c}\cdot t^c,$$ which is done by Lagrange inversion (Lagrange–Bürmann formula).

To do so, denote $n=r+c$, $\Phi(x) = \frac{x}{\exp(x)-1}$, and $\Psi(x)=\left( \frac{\exp(x)-1}{x} \right)^r$. Then $$g_r(t)=\frac{1}{t^r}\sum_{n=0}^\infty [x^n]\ \Psi(x)\cdot \Phi(x)^n\cdot t^n.$$ By Lagrange inversion, we solve $w=t\cdot \Phi(w)$ to get $w=\log(1+t)$ and derive $$g_r(t) = \frac{1}{t^r}\cdot \Psi(w)\cdot \frac{\partial w}{\partial t}\cdot \frac{t}{w} = \frac{t}{(1+t)\cdot \log(1+t)^{r+1}}$$ as expected.

Example 2. For $f_c(x)=\log(1+x)^c$, we have $q_c(x) = \left( \frac{\log(1+x)}{x} \right)^c$ with $q_c(0)=1$. So we need to find $$g_r(t)=\sum_{c=0}^{\infty} [x^{r+c}]\ \left( \frac{\log(1+x)}{x} \right)^{-c}\cdot t^c,$$ which is again done by Lagrange inversion.

To do so, denote $n=r+c$, $\Phi(x) = \frac{x}{\log(1+x)}$, and $\Psi(x)=\left( \frac{\log(1+x)}{x} \right)^r$. Then $$g_r(t)=\frac{1}{t^r}\sum_{n=0}^\infty [x^n]\ \Psi(x)\cdot \Phi(x)^n\cdot t^n.$$ By Lagrange inversion, we solve $w=t\cdot \Phi(w)$ to get $w=\exp(t)-1$ and derive $$g_r(t) = \frac{1}{t^r}\cdot \Psi(w)\cdot \frac{\partial w}{\partial t}\cdot \frac{t}{w} = \frac{t\cdot \exp(t)}{(\exp(t)-1)^{r+1}}$$ as expected.

Example 3 (generalizing Examples 1 and 2).

Let $p(x)=x+O(x^2)$ and $f_c(x)=p(x)^c$ and thus $q_c(x)=\left(\frac{p(x)}{x}\right)^c$, $\Phi(x)=\frac{x}{p(x)}$, and $\Psi(x)=\left(\frac{p(x)}{x}\right)^r$.

By Lagrange inversion, we solve $w=t\cdot \Phi(w)$ to get $w=p^{-1}(t)$ and derive $$g_r(t) = \frac{1}{t^r}\cdot \Psi(w)\cdot \frac{\partial w}{\partial t}\cdot \frac{t}{w} = \frac{1}{t^r} \cdot \left(\frac{t}{p^{-1}(t)}\right)^r\cdot \frac{1}{p'(p^{-1}(t))}\cdot \frac{t}{p^{-1}(t)}=\frac{t}{p'(p^{-1}(t))\cdot p^{-1}(t)^{r+1}}.$$ E.g., in Example 1, we have $p(x)=\exp(x)-1$ and thus $p'(x)=\exp(x)$ and $p^{-1}(t)=\log(1+t)$. Plugging in the above formula, we get $$g_r(t) = \frac{t}{(1+t)\cdot \log(1+t)^{r+1}}$$ as expected.

$\endgroup$
  • $\begingroup$ I'll have to read that very accurate, thank you very much! One more focused question for generality: is it likely, that with the Carlemanmatrix for some function $f(x)$ the inverse function $f^{-1}(t)$ is always involved in the generating function for the transposed Carlemanmatrix? (say, simply for $f(x)=x-1/2x^2$ or the like) $\endgroup$ – Gottfried Helms Jun 10 '15 at 13:18
  • $\begingroup$ @GottfriedHelms: This is true as soon as $f(x)=x+O(x^2)$, and follows from the need to solve $w=t\cdot \frac{w}{f(w)}$ in the course of Lagrange inversion. $\endgroup$ – Max Alekseyev Jun 10 '15 at 13:25
  • $\begingroup$ @GottfriedHelms: I have added Example 3, which addresses the general case of $f_c(x) = p(x)^c$ with $p(x)=x+O(x^2)$. $\endgroup$ – Max Alekseyev Jun 10 '15 at 15:20
  • $\begingroup$ Ah, very good. This is in the spirit in which I hoped to find a general expression. In the earlier question math.stackexchange.com/questions/569751 I've described my pattern-detection solution for the iterated $f(x) = \exp(\exp(x)-1)-1$ and was surprised to find such typical products in the denominator in the gf's of the transpose. So I expected in some way derivatives occuring in the solution. And it is not too complicated - very good! Thank you very much. $\endgroup$ – Gottfried Helms Jun 10 '15 at 15:39

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.