Questions tagged [orthogonal-polynomials]

Questions pertaining to certain sets of polynomials that satisfy an orthogonality criterion with respect to some specified inner product.

Filter by
Sorted by
Tagged with
1 vote
1 answer
37 views

Show that $K(u)=\sum_{k=0}^r P_k(0) P_k(u) \mathbf{1}_{\{|u| \leq 1\}}$ is a kernel of order $r$

I have a question concerning the construction of kernels wit orthogonal polynomials. The instructor defined the orthogonal polynomials as $$P_0(x)=\frac{1}{\sqrt{2}}, P_m(x)=\sqrt{\frac{2 m+1}{2}} \...
  • 163
5 votes
0 answers
174 views

A stereographic projection for the Chebyshev polynomials

This question may be too vague for the MSE crowd, if so, please feel free to ask clarifying questions or just remove. The Chebyshev polynomials are a family of orthogonal polynomials typically defined ...
1 vote
0 answers
50 views

Generating function of orthogonal polynomial basis

I'm studying the bases made up by orthogonal polynomial such as: Hermite, Legendre, Laguerre, Chebyshev. On my book there is a theoretical introduction that gives the difinition of generating function ...
  • 189
5 votes
1 answer
142 views

Given a polynomial, can we construct an orthogonal sequence?

Suppose we are given a polynomial $p(x)$ of degree $k$ which has all of its (distinct) roots in $[-1, 1]$. Is there is any way, generally, to choose a non-negative weight function $w(x)$ such that $\...
1 vote
1 answer
76 views

Three-term recurrences in Orthogonal polynomials

hi I am reading one lecture note about Orthogonal polynomials (https://www.math.hkbu.edu.hk/ICM/LecturesAndSeminars/08OctMaterials/1/Slide2.pdf) and there's one step in the proof in "Three-term ...
  • 53
0 votes
0 answers
32 views

Gegenbauer Polynomial Result

I am currently trying to familiarize myself with the Gegenbauer polynomials $\left(C_n^{\nu}(x)\right)$ and was reading [L Caffarelli, A. Friedman, Partial Regularity of the zero-set of solutions of ...
1 vote
0 answers
30 views

How can one construct polynomial bases for positional estimation?

In the field of signal processing a popular problem is to try and estimate how something has moved as compared to a previous point in time. In attacking this problem a long standing popular approach ...
0 votes
1 answer
49 views

An improper integral involving a Gaussian and Hermite polynomials.

Let $ x \ge b \ge 0$ and let $\mu_0 \le 1/2$. Then let $j \in {\mathbb R}$. Consider the following integral: \begin{equation} {\mathcal J}^{(x,b,\mu_0)}_j := \frac{2^{\frac{j}{2}-1}}{\sqrt{\pi}} \cdot ...
  • 9,860
2 votes
0 answers
23 views

How to integrate products of Legendre functions over the interval [0,1]

The associated Legendre polynomials are known to be orthogonal in the sense that $$ \int_{-1}^{1}P_{k}^{m}(x)P_{l}^{m}(x)dx=\frac{2(l+m)!}{(2l+1)(l-m)!}\delta_{k,l} $$ This is intricately linked to ...
  • 393
2 votes
0 answers
60 views

Why do cosines appear in the whitespace of plots of sines and/or cosines with regularly spaced frequencies?

If you plot many sines with regularly spaced frequencies over top one another, you will see cosines in the white space of the graph. Please see the image here. The graph is also particularly dark near ...
  • 29
0 votes
1 answer
59 views

Inner product of 4 Legendre Polynomials

Is there a closed form for the quadruple inner product of Legendre Polynomials such as: \begin{align} \int_{-1}^{1}P_k(x)P_l(x)P_m(x)P_n(x)dx \end{align} I am aware of solutions for the triple inner ...
  • 23
0 votes
0 answers
40 views

Looking for a function satisfying certain decay and smoothness properties

I am looking for a function $f : \mathbb{R} \to \mathbb{R}$ satisfying a few requirements. $f(x) > 0$ for $x \in \mathbb{R}$. $f(-x) = f(x)$ for $x \in \mathbb{R}$. $f(x)$ is bounded as $x \to 0$. ...
  • 413
0 votes
0 answers
14 views

Laguerre polynomials and ill-defined Jacobi operators

I've been getting familiar with the theory of orthogonal polynomials, and one of the fundamental theorems that I'm working with states that a sequence of orthonormal polynomials $p_{n}(x)$ satisfies a ...
  • 193
0 votes
0 answers
18 views

Reference for generalization of the cosine function in 2 space for spectral method such that the basis is orthogonal?

So for a 1-d spatial, and 1-d time PDE, I represent the solution as $U_N= \sum_{n=0}^N c_n(t) \phi_n(x)$, where $\phi_n(x) = \frac{1}{\sqrt{\pi}}\cos(nx)$ and $x\in [-\pi,\pi]$ I was curious if anyone ...
  • 631
0 votes
0 answers
25 views

Orthogonal polynomials for a given weight function

I am seeking orthogonal polynomials which are orthogonal with respect to the weight $x^k$ for a given integer $k$, $$ \int_a^b x^k \phi_m(x) \phi_n(x) dx = \delta_{nm} $$ for some given $0 < a < ...
  • 996
0 votes
1 answer
30 views

approximating data using orthogonal polynomials

Recently, during numerical analysis lecture, I've learned about finding best approximation of element $f$ from normed linear space $E$, defined by $$\inf_{g\in \textbf{G}} \lVert f-g\rVert$$ where $G$ ...
  • 316
2 votes
1 answer
50 views

Is there an easy way to find orthogonal polynomials w.r.t. $w(x)=-\ln(x)$ on $(0, 1)$?

I've been evaluating them recurcively using $$\varphi_{n}=x^n - \sum_{k=0}^{n-1} \frac{\langle x^{k}, \varphi_{k} \rangle_{w}}{\langle \varphi_{k}, \varphi_{k} \rangle_{w}}\cdot\varphi_{k}$$ Where $\...
0 votes
1 answer
50 views

Can we use zonal spherical harmonics to define the Gegenbauer polynomials?

For a fixed dimension $n$ and degree $k$, let $H$ be the space of all real homogeneous harmonic polynomials of degree $k$ in $n$ variables. We equip $H$ with the inner product $\langle f,g\rangle = \...
  • 1,900
0 votes
0 answers
32 views

"Easy" uniform bound for hermites functions.

The hermites functions are defined as $\psi_n(x) = (-1)^n(2^n n! \sqrt{n})^{-1/2} e^{x^2/2} \frac{d}{dx^n} e^{-x^2}$. They satisfies many properties (see https://en.wikipedia.org/wiki/...
  • 2,018
0 votes
1 answer
57 views

Could someone help prove some properties of Legendre Polynomials?

I have already proved other properties of the Legendre polynomials, like: $$P_n(-x) = (-1)^n \, P_n(x)$$ $$P_{2n+1}(0) = 0$$ $$P_n(\pm1)= (\pm1)^n$$ But I can't get this one: $$P_{2n}(0) = \frac{(-1)^...
2 votes
1 answer
97 views

How to prove Legendre Polynomials' recurrence relation without using explicit formula?

Assume there is an inner product on linear space $V = \{ \text{polynormials}\}$: $$\langle f, g\rangle = \int_{-1}^1 w(t) f(t)g(t) dt$$ with $w(t) \ge 0$ and not identically zero. Then we can ...
0 votes
0 answers
30 views

Orthogonality of Chebyshev (Legendre) polynomials

I used the recurrence relation to construct Chebyshev polynomials $$ T_0(x)=1 $$ $$ T_1(x)=x $$ $$ T_{n+1}(x)=2x T_n(x) - T_{n-1}(x) $$ for $x\in[-1,1]$ I found that $$ T_0(x) \cdot T_1(x) =0$$ $$ T_0(...
  • 1,481
7 votes
1 answer
159 views

inner products on polynomials

So, I was studying about orthogonal polynomials and saw general examples of inner products on $\mathbb{R}[x]$, mostly of the forms $$\langle f,g\rangle=\int f(x)g(x)q(x)dx,$$ for some kind of density $...
3 votes
1 answer
87 views

Sequence of largest roots of Hermite polynomials

Let's denote with $\{x_n\}_{n\in N}$ the sequence of the largest root of the (statistical) Hermite polynomial $h_n$. Much is known about upper and lower bounds of the $x_n$, see for example here. ...
  • 151
0 votes
0 answers
18 views

Obtain a Sequence of Orthogonal Polynomials from their orthogonality relation.

I have been asked to show explicitly a Sequence of Orthogonal Polynomials that satisfy the following orthogonality relation \begin{equation} \displaystyle\int_{-\infty}^{\infty} H_m(x)H_n(x)e^{-x^...
3 votes
1 answer
70 views

Reference(book or article) for an explicit formula of Legendre polynomials

The following explicit formula is stated for Legendre polynomials on Wikipedia. \begin{equation} P_n(x)=\sum_{k=0}^n {n\choose k}{n+k \choose k} \left(\dfrac{x-1}{2}\right)^2 \end{equation} Do you ...
  • 45
0 votes
0 answers
32 views

Coefficients of orthogonal functions of the form sech * polynomial?

I took the SVD of part of a large set of data. Despite noise in the basis functions above ~20, the basis functions appeared to follow a pattern & looked interesting. So, I found a sequence of ...
1 vote
1 answer
90 views

Uniqueness of the nodes for Gauss-Legendre quadrature

Gauss-Legendre quadrature approximates $\int_{~1}^{1}f(x)dx$ by $\sum_{i=1}^nw_if(x_i)$. Wikipedia says that This choice of quadrature weights $w_i$ and quadrature nodes $x_i$ is the unique choice ...
user avatar
0 votes
0 answers
40 views

orthonormal bases for the space of functions from $C^n \rightarrow C^m$?

For a single dimension, Legendre Polynomials and sets of sines and cosines find lots of applications. I've seen some of these extended to the space of functions $C^n \rightarrow C$. Can these (e.g. ...
  • 407
0 votes
1 answer
42 views

Is the Taylor series a generalized Fourier series?

Let $V$ be the vector space of functions that are smooth $0$: they have derivatives of all orders. Every $f\in V$ can be (locally) expanded into a Taylor series, as $$f(x)=f(0)+f'(0)x+\frac{f''(0)}{2}...
0 votes
0 answers
63 views

Integrals of products of Legendre polynomials

Define $$ \tilde{P}_{n}^{m}(\tau)=(1-\tau^2)\frac{d}{d\tau}P_{n}^{m}(\tau) $$ where $m$ and $n$ are integers such that $|m|\leq n$ and $P_{n}^{m}(\tau)$ are the associated Legendre polynomials. How do ...
  • 393
0 votes
0 answers
52 views

Recursion Relation for Coefficients of Orthogonal Polynomials

Given a measure on some manifold $d\mu(x)$, a set of orthogonal polynomials can be constructed through a Gram-Schmidt Orthogonalization Procedure $$ P_n(x) = x^n - \sum_{k=0}^{n-1}\frac{\langle x^n, ...
0 votes
0 answers
22 views

how to solve Poisson equation of inhomogeneous boundary condition by Galerkin method?

I'm working on solving 2D Poisson equation with source term f on irregular domain. Assuming I have a function u(x,y) which satisfy the inhomogeneous boundary condition, and I choose my Orthogonal ...
0 votes
1 answer
52 views

Why orthogonal polynomial is orthogonal to all polynomials less degree?

Page 31 of https://www.math.ntnu.no/emner/TMA4215/2008h/lecture9.pdf defines a set of orthogonal polynomials $$ \phi_k(x) = x \phi_{k-1}(x) - \sum_{j=0}^{k-1} \alpha_j \phi_j(x), $$ starting from $\...
  • 5
1 vote
0 answers
28 views

Applications of Jack polynomials

I developed a Julia package for the computation of Jack polynomials. The zonal polynomials are particular cases ($\alpha=2$) of Jack polynomials (up to a renormalization), and they have some ...
1 vote
0 answers
45 views

An example of a two-variate orthogonal polynomials

Let $m> n\geq 2$ be two coprime integers. Define $$S:= \left\{\left(\frac{j}{m}, \frac{nj}{m}- \left\lfloor \frac{nj}{m} \right\rfloor\right), j =0,1,..., m-1\right\}\cup\{(1,1)\} \subset [0,1]\...
  • 579
1 vote
1 answer
55 views

Which polynomials/Fourier series satisfy this property?

I'm interested in finding polynomials $P$ for which there exists another polynomial $Q$ such that $\forall \theta$: $$\| P(e^{i\theta}) \|^2 + \| Q(e^{i\theta})\|^2 = P(e^{i\theta})P^*(e^{i\theta}) + ...
  • 312
46 votes
3 answers
660 views

A continuous function on $[0,1]$ orthogonal to each monomial of the form $x^{n^2}$

Let us consider the continuous functions over $[0,1]$ fulfilling $$ \int_{0}^{1} f(x) x^n\,dx = 0 $$ for $n=0$ and for every $n\in E\subseteq\mathbb{N}^+$. The Müntz–Szász theorem gives that $$ \sum_{...
0 votes
0 answers
29 views

Probabilistic Hermite Polynomials weight function and interval of integration

With the weight function $w(x)=\exp^{-\frac{x^2}{2}}$ and the interval of integration $[-\infty, \infty]$ one can obtain Probabilistic Hermite polynomials: $H_0(x)=1$, $H_1(x)=x$,$H_2(x)=x^2-1$, $H_3(...
  • 1
0 votes
0 answers
32 views

Expected value of dot product of orthogonal polynomials

I want to show that we can check if two orthogonal polynomials are orthogonal through computing the expected value of their dot product, but I'm not sure where to begin. What I need is: $$ E[φ_{i}(X) ·...
  • 1
3 votes
0 answers
85 views

Recurrence relations for even orthogonal polynomials

I have been playing around with the theory of orthogonal polynomials, and it occurred to me that we might be able to build a family of orthogonal polynomials from even powers of a variable $x$. For ...
  • 193
1 vote
0 answers
39 views

Simple Identity for Derivative of Laguerre Polynomial

I'm working with Laguerre polynomials for numerically solving a differential equation, and I've stumbled upon an identity that I feel should be documented somewhere (e.g., https://en.wikipedia.org/...
  • 787
1 vote
2 answers
93 views

Gaussian Quadrature with Hermite Polynomials

I want to find a quadrature approximation of $\int f(x)e^{-\frac{x^2}{2}}$dx. Using the Hermite Polynomials 1, x, $x^2-1$, $x^3-3x$, $x^4 - 6x^2 + 3$. that is exact for polynomials up to order 7. Now ...
1 vote
1 answer
55 views

orthogonal polynomials and determinant of jacobi matrix

In the book 'Orthogonal Polynomials of Several Variables' by Charles F. Dunkl and Yuan Xu page 11 is the picture below. I assume the matrix in the picture is related to Corollary 1.3.10 For the case ...
0 votes
0 answers
55 views

Calculation of the integral of the Legendre polynomial of the second kind

Please tell me the possible options for calculating the integral of the form $\int\limits_{-\infty}^a\frac{Q_n(x)}{(x+b)^{n+2}}dx$, where $a\in[-2,-\infty)$; $b\in(-a,-\infty)$; $Q_n(x)$ - Legendre ...
1 vote
1 answer
108 views

interlacing properties of zeros of orthogonal polynomials

Im working on the interlacing properties of zeros of orthogonal polynomials $p_n(x)$ - proved by Gabor Szegö (Orthogonal Polynomials - Theorem 3.3.2 ) The Theorem says: Let $x_1 < … <x_n$ be the ...
0 votes
0 answers
14 views

Are there radial basis functions $\phi_n(x)$ which can be factored as $f_n(x) x^{\alpha}$ for $0<\alpha<1$ and $n>0$?

I am looking for a set of radial basis functions $\phi_n(x)$ on $\mathbb{R}^+=[0;\infty[$ which satisfy some othogonality condition $$ \int x \phi_n(x) \phi_{n'}^*(x) dx =\delta_{nn'}$$ and "...
0 votes
0 answers
33 views

Show that for any monic polynomial of degree $n$, the inner product $\langle q,q \rangle \geq \langle p_n,p_n\rangle$

Let $\{ p_n \}$ be a family of monic orthogonal polynomials associated with a inner product $\langle f,g\rangle = \int_a^b w(x)f(x)\overline{g(x)}dx$. Show that for any monic polynomial of defree $n$, ...
  • 503
0 votes
1 answer
213 views

Prove that the Legendre polynomial recurrence relationship satisfies the defining differential equation

I am trying to show that from this recurrent relationship $$ (n+1)P_{n+1}(x) = (2n+1)xP_n(x) - nP_{n-1}(x) $$ that the Legendre polynomial $P_n(x)$ satisfies the differential equation $$ (1-x^2)P'' - ...
  • 503
1 vote
0 answers
83 views

Generating Hermite polynomial with coefficient recurrance relation algorithm

I am writing a math paper for my numerical analysis class about orthogonal Hermite polynomials. I want to implement the algorithm for generating the "probabilist's Hermite polynomials": $$ \...

1
2 3 4 5
14