Questions tagged [orthogonal-polynomials]

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 are many different families of orthogonal polynomials, among which one can cite Hermite polynomials, Laguerre polynomials, and Jacobi polynomials.

Filter by
Sorted by
Tagged with
7 votes
1 answer
2k 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)\...
Emilio Pisanty's user avatar
12 votes
1 answer
813 views

How are Sheffer polynomials related to Lie theory?

Sheffer polynomials $\{P_n(x)\}$ have generating function $P(x,t) = \sum_{n=0}^{\infty}P_n(x)t^n=A(t)e^{xu(t)}$. This form reminds me of the Lie group–Lie algebra correspondence. Is there any ...
Andrius Kulikauskas's user avatar
35 votes
4 answers
3k 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 ...
Qiaochu Yuan's user avatar
8 votes
3 answers
3k 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 ...
Mark Meckes's user avatar
  • 11.2k
7 votes
1 answer
1k 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$ ...
Wolfgang's user avatar
  • 13.2k
2 votes
1 answer
373 views

Sturm Liouville problems for non-classical orthogonal polynomials

It is known that for the classical orthogonal-polynomials there exist a set of Sturm Liouville problems. E.g. , the Hermite polynomial of order $n$ is a solution of $$y''(x) -xy'(x)+ny(x)=0 \, .$$ My ...
Amir Sagiv's user avatar
  • 3,544
65 votes
2 answers
5k views

To prove irrationality, why integrate?

I have been reading David Angell's lovely book, Irrationality and Transcendence in Number Theory, which has given me some fresh insights even with some of the easier proofs. But the book reminds me of ...
Timothy Chow's user avatar
  • 78.1k
35 votes
1 answer
3k views

Proving the irrationality of $\pi e$ and $\pi / e$

Rather than relying on the consequences of Schanuel's conjecture, I set about using the same ideas Apery had used to construct integer arguments converging fast enough to show $\zeta(3)$ is irrational ...
Brian's user avatar
  • 1,459
20 votes
1 answer
2k views

A conjectured formula for Apéry numbers

A conjecture by the late Romanian mathematician Alexandru Lupas. Posted in sci.math in 2005, but no proof was found. Physicist Alan Sokal just reminded me of it, saying it was related to something he ...
Gerald Edgar's user avatar
  • 40.2k
19 votes
2 answers
1k views

Is there an explicit expression for Chebyshev polynomials modulo $x^r-1$?

This is an immediate successor of Chebyshev polynomials of the first kind and primality testing and does not have any other motivation - although original motivation seems to be huge since a positive ...
მამუკა ჯიბლაძე's user avatar
14 votes
2 answers
1k views

Computing Gauss Legendre quadrature for large $N$

I've been scanning across the web, and haven't found a good method to compute the Gauss Legendre abscissas and weights $\{ x_j, w^j \} _{j=1}^N$ for large $N\in\mathbb{N}$. My question is how to do it,...
Amir Sagiv's user avatar
  • 3,544
14 votes
1 answer
463 views

Polynomials for which $f''$ divides $f$

Let $n \geq 2$ and let $a < b$ be real numbers. Then it is easy to see that there is a unique up to scale polynomial $f(x)$ of degree $n$ such that $$f(x) = \frac{(x-a)(x-b)}{n(n-1)} f''(x).$$ ...
David E Speyer's user avatar
10 votes
1 answer
599 views

Littlewood-Richardson coefficients for Jack symmetric functions

Let $\Lambda$ be the algebra of symmetric functions over $\mathbb{Q}(\alpha)$. We define a scalar product $\langle \cdot,\cdot\rangle_\alpha$ on $\Lambda$ by setting $\langle p_\mu,p_\nu\rangle_\...
Maciek D's user avatar
  • 158
6 votes
2 answers
756 views

Symmetric matrix formula for Gauss-Legendre quadrature

While searching the web, I came across the following algorithm for the Gauss-Legendre quadrature. I wasn't able to find a reference or a proof of my own as to why it works. I'll present it, and the ...
Amir Sagiv's user avatar
  • 3,544
6 votes
1 answer
438 views

Rational generating function and recursion

Let $\lambda$ denote a hook of size $d$ and $c(\Box)$ the content of $ \Box \in \lambda $. Let $ \text{Hooks}(d) $ be the set of hooks with $d$ boxes. Define \begin{align} B(d)&= \frac{1}{d!} \...
GGT's user avatar
  • 685
5 votes
0 answers
278 views

Infinite tridiagonal matrices and a special class of totally positive sequences

Let $\Bbb{y} = \big(y_1, y_2, y_3, \dots \big)$ be an infinite sequence of positive real numbers such that following $\Bbb{N} \times \Bbb{N}$ tridiagonal matrix \begin{equation} T(\Bbb{y}) := \, \...
Jeanne Scott's user avatar
  • 1,847
4 votes
1 answer
791 views

Reference for the exponential decay of Legendre coefficients

In Short: I look for a reference to the proof that the spectral coefficients in the Legendre (or Jacobi) expansion are of exponential decay rate. Longer: If $p_n$ is the $n$-th Legendre polynomial, ...
Amir Sagiv's user avatar
  • 3,544
4 votes
1 answer
982 views

Accurate bounds for derivatives of Legendre polynomials

Let $P_n(x)$ denote the $n$th Legendre polynomial. What bounds can one give for $d_{n,m}(x) = |\frac{d^m}{dt^m}P_n(t)|_{t=x}$ assuming that $|x| \le 1$? Clearly $$d_{n,m}(x) \le d_{n,m}(1) = \frac{(m+...
Fredrik Johansson's user avatar
3 votes
2 answers
217 views

Question about the Bessel operator

For $\nu>-1$ denote by $\{\lambda_{k,\nu}\}_{k\in\mathbb{N}}$ the succesive positive zeros of the Bessel function of the first kind $J_{\nu}$. The Bessel operator is given by \begin{equation*} L_\...
Tony419's user avatar
  • 401
3 votes
1 answer
2k views

What are the best known bounds on the Hermite polynomials?

The best I could find on the net is this paper, http://arxiv.org/pdf/math/0401310.pdf Has this been improved?
gradstudent's user avatar
  • 2,136
2 votes
1 answer
698 views

Integral involving associated Laguerre polynomial and Bessel function

In a quantum mechanics problem I encountered the following integral \begin{equation*} \int_0^\infty t^{\nu+1}J_\nu(\beta t)L_{\mu-\nu}^{2\nu}(t)e^{-t/2}dt\,, \end{equation*} where $L$ denotes the ...
Tom26's user avatar
  • 23
2 votes
1 answer
104 views

Relation between the local maxima and the local minima for approximating the generalized Laguerre polynomial

I have already asked my question in the link below: Minima approximation for Laguerre polynomials I have suggested to anyone to give me the approximations of the minima for the Laguerre polynomial, ...
Assinisa Hamidata's user avatar
1 vote
1 answer
464 views

Integration on sphere $\mathbb{S}^{d-1}$ for $d$ large -- Change of variables

I'm trying to integrate a function over two vectors which lie on the surface of the unit sphere in D dimensions. The function depends only on the difference between the two vectors, and their dot ...
user avatar
1 vote
0 answers
71 views

Geometric series involving the Laguerre polynomials

Let put $\alpha=5$ and $x=3$. Consider the following set given by $$M=\lbrace \; n \in N, \; \; 0 < |L_{n}^{5}(3)| < 1 \; \rbrace$$ Where $L_{n}^{\alpha}(x)$ is the generalized Laguerre ...
Assinisa Hamidata's user avatar