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.
24
questions
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)\...
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 ...
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 ...
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 ...
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$ ...
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 ...
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 ...
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 ...
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 ...
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 ...
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,...
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).$$
...
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_\...
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 ...
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!} \...
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}) := \,
\...
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, ...
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+...
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_\...
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?
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 ...
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, ...
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 ...
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 ...