A familly of orthogonal polynomials is a sequence of polynomials in one variable, one in each degree, such that any two of them are orthogonal with respect to some fixed scalar product on the space of polynomials. They are closely related to continued fractions and useful in harmonic analysis. There ...

learn more… | top users | synonyms

3
votes
0answers
158 views

A generalization of Macdonald functions?

I am interested in finding a set of functions $f(z_1,\cdots ,z_k;q,\,t)$, conjecturally polynomials, which depend on two parameters $(q,t)$ and an integer $k$, and are orthogonal under the following ...
4
votes
2answers
350 views

On $a^4+nb^4 = c^4+nd^4$ and Chebyshev polynomials

In a 1995 paper, Choudhry gave a table of solutions to the quartic Diophantine equation, $a^4+nb^4 = c^4+nd^4\tag{1}$ for $n\leq101$. Seiji Tomita recently extended this to $n<1000$ and solved ...
5
votes
1answer
369 views

Lower bound of integral involving Laguerre polynomials

I want to lower bound the expected value of the square root of a randomly chosen eigenvalue of a Wishart matrix. To get the bound I want I need a lower bound on $$T_n = \int_0^\infty\sqrt{x}e^{-x}...
2
votes
0answers
137 views

Jack symmetric functions and their inner products

I have some questions regarding Jack polynomials. I use the notation of of I.G. Macdonald's book "Symmetric Functions and Hall polynomials". Let $\Lambda$ be the ring of symmetric functions over $\...
4
votes
1answer
737 views

Why are all these families of polynomials finally log-concave?

This started when I was examining certain families of unimodal polynomials, i.e. $\sum_{k=0}^n a_kx^k$ where $a_0\le a_1\le\cdots \le a_k\ge\cdots \ge a_n$. (Notation: in the following, the $a_k$ ...
1
vote
0answers
147 views

Polynomials satisfying a three-term recurrence

Let ${p_n}(x) = x{p_{n - 1}}(x) - {a_{n - 2}}{p_{n - 2}}(x)$ for some numbers ${a_n}$ with initial values ${p_{ - 1}}(x) = 0$ and ${p_0}(x) = 1.$ By Favard’s theorem about orthogonal polynomials ...
2
votes
0answers
99 views

Perturbation analysis for three term recurrences

Jacobi polynomials, denoted by $J^{(\alpha,\beta)}_n$, on $[-1,1]$ satisfy a three term recurrence $$ J_{n+1}^{(\alpha,\beta)}(x) = (A_n+B_nx)J^{(\alpha,\beta)}_n + C_nJ_{n-1}^{(\alpha,\beta)}(x), \...
1
vote
1answer
360 views

Proof of generalized Cauchy formula

I would like to know if there is a proof for the identity used in the superconformal index of 4d ${\cal N}=2$ gauge theory. In the paper by Rastelli el al, it was discovered that Eq. (10) is equal to ...
2
votes
0answers
103 views

Lower asymptotic bounds for the derivative of Laguerre polynomials

Let $ L_{d}^{(1)}(x)$ denote the generalized Laguerre polynomial of degree $d$ and order $\alpha=1$. Clearly, since all the roots $r_1,\dots,r_d$ of $L_{d}^{(1)}$ are simple, there exists a strictly ...
4
votes
1answer
723 views

Pochhammer symbol of a differential, and hypergeometric polynomials

I have a minor result which I'm sure has come up somewhere before but I can't seem to find it. Consider a confluent hypergeometric function of the form $$\newcommand{\ff}{{}_1F_1} \ff(b+k;b;z)\...
2
votes
1answer
766 views

Three term recurrence relation.

For given $n,\ell\in\mathbb N_0$, I am interested in studying the following recursion relation for some $\mu\in\mathbb R$: $$\sqrt{-1} \tfrac{j(\ell-j+1)(n-j+1)(n+j+1)}{2(2j-1)(2j+1)} a_{j-1} - \...
3
votes
1answer
428 views

asymptotic behaviour of a sum

I'd like to know the asymptotic behaviour as $N\to\infty$ of the following sum $$ Z_N(x) := 2^{-N/2} \sum_{k=0}^{N/2} \frac{N!}{k! (N-2k)!} (N-1)^{-k} (\sqrt{2} x)^{N-2k} $$ in order to compute $p(x)...
2
votes
0answers
156 views

Growth of the recurrence coefficients of orthogonal polynomials

Consider the sequence of measures $$d\mu_N(x)=e^{-NV(x)}dx$$ on the real axis, where $V$ is continuous and satisfies the growth assumption $$\lim_{|x|\rightarrow\infty}(V(x)-2\log|x|)=+\infty.$$ ...
2
votes
0answers
339 views

About a Christoffel-Darboux-type sum

Hi! I've been using the Christoffel-Darboux identity for the Hermite polynomials, $$\sum_{k=0}^n\frac{H_k(x)H_k(y)}{2^k k!}=\frac{1}{2^n n!}\frac{H_{n+1}(x)H_n(y)-H_n(x)H_{n+1}(y)}{x-y},$$ for some ...
14
votes
1answer
582 views

Can you name these orthogonal polynomials?

I have a collection of orthogonal polynomials in infinitely commuting variables $x_1, x_2, x_3, \ldots$. I think they must be well known (perhaps Schur or Hermite polynomials or some variant thereof),...
1
vote
0answers
160 views

Delta function representation as an integral of Pfaffians over SO(2m)

Define $\mathcal S$ as the set of all $2^m$ skew-symmetric $2m \times 2m$ matrices with the form $\oplus_{j=1}^m\begin{pmatrix} 0&\pm 1 \\ \mp 1&0\end{pmatrix}$. Let $S_i, S_j \in \mathcal{S}$...
2
votes
0answers
142 views

Orthogonality of Pfaffian polynomials in $SO(2m)$

I've been struggling here to invert some integral equation involving Pfaffians, and it would be very nice if you could shed some light on the problem. Let's go to it. Let $V=\{-1,1\}^{m}$ and $S = \...
3
votes
1answer
510 views

When can a family of polynomials get a weight function to be made orthogonal?

Let $\lbrace P_n(z)\rbrace_{n\in\mathbb N_0}$ be a family of polynomials defined by a generating function $g(t,z)=\sum\limits_{n=0}^\infty P_n(z)t^n$ or by a contour integral $P_n(z)=\frac1{2\pi i}\...
8
votes
2answers
1k views

Multi-dimensional moment problem

Let $\mu$ be a measure on $\def\r{\mathbb{R}}\r^n$, $1\le n \le \infty$. Given a (finite) multi-index $\bar{i} = (i_1, i_2, \ldots)$, one can define the moment $$ m_{\bar i} = \int x_i^{i_1} x_2^{i_2}...
0
votes
1answer
395 views

Upper bounds on generalized Laguerre polynomials

I evaluated an integral and obtained an expression with a Laguerre polynomial. I'd like something more explicit and useable. Are there any known simple (e.g. exponential) upper bounds on the ...
3
votes
0answers
874 views

Integral involving Laguerre polynomial

In an engineering application, I've been trying to calculate the following integral involving Laguerre polynomials: $\int_{-\infty}^\infty dx L_n(x^2+\beta^2) e^{-x^2/2+i x \alpha}$, where $n=0,1,2,...
5
votes
1answer
1k views

Two-variable generating functions for Laguerre polynomials

Where can I find generating functions for orthogonal polynomials in two variables? Lebedev's book (Special Functions and their Applications, Dover, 1972) gives a closed form for $$ \sum_{n=0}^\infty \...
4
votes
4answers
1k views

Orthogonal polynomials/functions on the interval [0,1] but with same weight as Gegenbauer polynomials

I am looking for an othogonal basis of functions over the interval $[0,1]$ with weight function $(1-x^2)^{\alpha-1/2}$. Gegenbauer polynomials are frustratingly close to what I need, but they are ...
5
votes
1answer
489 views

Numerically finding a Mercer expansion for a given covariance kernel

Let $c(r)$ be a nice, continuous function with compact support. For example, $c(r) = \tfrac 1 5 (1-r)^{11} \big( 5 + 55r + 239 r^2 + 429 r^3 \big)$ for $r \in [0,1]$, and $c(r) = 0$ otherwise. On ...
5
votes
1answer
730 views

Integral identity for Legendre polynomials

How does one prove the following integral identity, where $P_n(x)$ is the $n$th Legendre polynomial? $$ \int_0^1 P_n(2t^2-1) dt = \frac{(-1)^n}{2n+1} $$ Notes & Background A variant of this ...
1
vote
3answers
2k views

Inverting a power series? … Cornish Fisher

Hello In the derivation of the cornish fisher expansion, the following equation is obtained: $$ \sum_{n=2}^{\infty} b_n H_{n-1}(x_\alpha) = \sum_{j=1}^{\infty}\frac{(x_\alpha - z_\alpha)^j}{j!}H_{j-...
4
votes
2answers
454 views

Polynomials from a Recurrence Relation

Hi guys, I have recently started looking at polynomials $q_n$ generated by initial choices $q_0=1$, $q_1=x$ with, for $n\geq 0$, some recurrence formula $$q_{n+2}=xq_{n+1}+c_n q_n$$ where $c_n$ is ...
14
votes
2answers
996 views

Minimal polynomial with a given maximum in the unit interval

Find the lowest degree polynomial that satisfies the following constraints: i) $F(0)=0$ ii) $F(1)=0$ iii)The maximum of $F$ on the interval $(0,1)$ occurs at point $c$ iv) $F(x)$ is positive ...
7
votes
2answers
1k views

Spread polynomials

Norman Wildberger's "rational trigonometry" has been viewed by some mathematicians as a clever new take on an ancient topic. Wildberger's "spread polynomials" $S_n$ are characterized by the identity $...
10
votes
3answers
626 views

MacWilliams Identity for Asymptotic Weight Spectrum of a Code

Introduction Let $C$ be a code of block length $n$ having $A_i^C$ words of Hamming weight $i$, for $i\in [n]$, where $[n]:=\{0,\ldots,n\}$. Then, the sequence $\{ A_i^C \}_{i \in [n]} $ is called the ...
3
votes
1answer
668 views

Where does the Chebyshev polynomial notation come from?

The $k$th Chebyshev polynomial is denoted by $T_k$ where $T_k(x) = \cos(k\cos^{-1}(x))$ I was wondering where this notation came from. It has been suggested that it comes from Tschebyscheff (the ...
7
votes
4answers
4k views

Visualizing Orthogonal Polynomials

Recently I was introduced to the concept of Orthogonal Polynomials through the poly() function in the R programming language. These were introduced to me in the concept of polynomial transformations ...
13
votes
0answers
725 views

representation theoretic interpretation of Jack polynomials

Monomial symmetric polynomials on $n$ variables $x_1, \ldots x_n$ form a natural basis of the space $\mathcal{S}_n$ of symmetric polynomials on $n$ variables and are defined by additive symmetrization ...
4
votes
3answers
2k views

Finding a recursion for a sum of Legendre polynomials

The polynomial $a_n(x):=P_n(x)-\frac{n-1}{n}P_{n-2}(x)$ where $P_n(x)$ is a Legendre polynomial came up while I was investigating methods for estimating the error in Gaussian quadrature. I am ...
0
votes
1answer
472 views

modular arithmetic of Hermite polynomials

I wonder if there is anything known (formula, asymptotics, etc) of computing the remainder $R_{k,m} \equiv H_{k} ~ \mod H_m$ for $k > m$, where $H_m$ denotes the $m$th Hermite polynomial (...
3
votes
1answer
755 views

Closed form for an orthogonal polynomial integral?

The following integral came up in one of my applications: $\int_{-1}^1P_n(x)T_j(x)T_k(x)\mathrm{d}x$ where $P_n(x)$ is a Legendre polynomial, $T_k(x)$ is a Chebyshev polynomial, and $j$, $k$, and $n$...
1
vote
4answers
1k views

Functions orthogonal to x^n

I would like to ask if there are any set of functions $u_n(x)$ which is orthogonal to $x^n$? i.e.: $\int_0^1 x^n u_m(x) dx = \delta_{n,m}$ Edit: For clarification, this question asked for all non-...
4
votes
3answers
1k views

Convergence of orthogonal polynomial expansions

"Everyone" knows that for a general $f\in L^2[0,1]$, the Fourier series of $f$ converges to $f$ in the $L^2$ norm but not necessarily in most other senses one might be interested in; but if $f$ is ...
26
votes
4answers
2k views

How does this relationship between the Catalan numbers and SU(2) generalize?

This is a question, or really more like a cloud of questions, I wanted to ask awhile ago based on this SBS post and this post I wrote inspired by it, except that Math Overflow didn't exist then. As ...