# Is this sequence of polynomials well-known?

While working on a problem in p-adic Hodge theory, and needing to write down a solution to a certain equation involving p-adic power series, I stumbled across a certain sequence of polynomials. Define $h_j(X)$ for $j \ge 0$ by $h_0(X) = 1$ and $$h_{j}(X) = \frac{X + 1}{j}\left(- X \frac{\mathrm{d}}{\mathrm{d}\ X} + j\right)h_{j-1}(X)$$ for $j \ge 1$.

I was interested in these because $h_j(X)$ is the unique polynomial of degree $j$ such that $$\left(\frac{t}{e^t - 1}\right)^{j+1} \cdot h_j(e^t - 1) = 1 + O(t^{j+1}),$$ and in fact it follows from the recurrence that $$\left(\frac{t}{e^t - 1}\right)^{j+1} \cdot h_j(e^t - 1) = 1 + (-1)^j \sum_{n \ge j+1} \binom{n-1}{j} \frac{B_n t^n}{n!}$$ where $B_n$ are the usual Bernoulli numbers.

Now, I can't believe that these polynomials $h_j$ aren't some terribly classical well-studied thing, but they don't match any of the standard sequences of polynomials I could find on the web. Does anyone recognise these?

-
Is there a polynomial sequence search web thingy? I'm thinking like OEIS or ISC (inverse symbolic calculator)? –  ohai Nov 9 '10 at 14:56
One can try putting the sequence of coefficients into the OEIS (maybe in this case normalize the coefficients so that things will be integral). –  JBL Nov 9 '10 at 15:28
Not sure whether this is helpful: (for example using a guessing package) it's easy to see that the generating function satisfies the very nice ADE $f'(z)=f(z)^2+Xf(z)$, with explicit solution $\frac{X e^{Xz}}{1+X-e^{Xz}}$ –  Martin Rubey Nov 9 '10 at 16:13

The first several are:

$$0! \cdot h_0(x) = 1$$ $$1! \cdot h_1(x) = x+1$$ $$2! \cdot h_2(x) = x^2+3 x+2$$ $$3! \cdot h_3(x) = x^3+7 x^2+12 x+6$$ $$4! \cdot h_4(x) = x^4+15 x^3+50 x^2+60 x+24$$

Feeding the sequence $2,3,1,6,12,7,1,24,60$ into the OEIS gives the following page, which contains generating functions, relations, and citations to occurrences of this sequence of polynomials in the literature.

-
You beat me :-) I just wanted to comment that the generating function above is a simple transformation of the generating function for Eulerian polynomials... –  Martin Rubey Nov 9 '10 at 16:42
Out of interest, what made you think that that sequence would yield something? And why not e.g. 1,1,1,1,3,2,1,7,12,6,1,15? –  gowers Jun 11 '11 at 7:55
Actually, I've just looked it up (though your second link takes me to the same page as the first) and I see that the answer is that even "unnatural" sequences such as those obtained by reading a triangle along its rows are included in OEIS, and that subsequences are recognised too. That makes it a more useful resource than I had realized. –  gowers Jun 11 '11 at 7:58
Sometimes a given sequence "naturally" starts with a different index, so leaving off the first few terms increases the likelihood of finding the right sequence in the encyclopedia. –  Kevin O'Bryant Jun 12 '11 at 1:38
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.8610751628875732, "perplexity": 448.1467468892206}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 5, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2015-22/segments/1432207932182.13/warc/CC-MAIN-20150521113212-00119-ip-10-180-206-219.ec2.internal.warc.gz"}