Questions tagged [legendre-functions]

This tag is for questions relating to Legendre Functions (or Legendre Polynomials), solutions of Legendre's differential equation (generalized or not) with non-integer parameters.

The second order differential equation given as $$(1 − x^2)y'' − 2xy' + α(α + 1)y = 0\qquad \text{with}~~~~n > 0~, ~~~|x| < 1$$ is known as Legendre’s equation. The solutions of this equation are called Legendre Functions of degree $~n~$.

The Legendre Functions are often referred to as Legendre Polynomials $~P_n(x)~$.

Since Legendre's differential equation is a second order ordinary differential equation, two sets of functions are needed to form the general solution. Legendre Polynomials/Functions of the second kind $~Q_n(x)~$ are then introduced.

Legendre Polynomials/Functions of the first kind $$P_n(x)=\dfrac 1{2^n~n!}~\dfrac{d^n}{dx^n}(x^2-1)^n~.$$ Legendre Polynomials/Functions of the second kind $$Q_n(x)=\dfrac 1{2}~P_n(x)~\ln\dfrac{1+x}{1-x}~.$$

Applications: Legendre functions are important in mathematics as well as physics. Legendre polynomials show up in spherical harmonics, which are eigen function of the Laplace operator over the sphere. This decomposition is actually used in meteorological spectral models, for example the Global Forecast System and Integrated Forecast System. Legendre functions are also widely used in determination of wave functions of electrons in the orbits of an atom and in the determination of potential functions in the spherical symmetric geometry etc. Also nuclear reactor physics, Legendre polynomials have an extraordinary importance.

References:

https://en.wikipedia.org/wiki/Legendre_polynomials

http://mathworld.wolfram.com/LegendrePolynomial.html

70 questions
18
votes
0 answers

How to calculate the integral of a product of a spherical Hankel function with associated Legendre polynomials

By experimenting in Mathematica, I have found the following expression for the integral: $$ \int_{b-a}^{b+a}\sigma…
6
votes
1 answer

Intuition behind Legendre convex function

I came across the definition of Legendre functions and Legendre transformations in my studies (in the sense of convex analysis) and I started searching about it. I found a definition in Rockefellar's 1996 "Convex analysis" book. So let$\Psi$ be a…
5
votes
0 answers

Integral involving Legendre Functions

Consider the associated Legendre's ODE given by $$ (x^2-1)y''+2xy'+\Bigg(\frac{1}{4}-m^2-\frac{1}{x^2-1}\Bigg)y=0 $$ the solutions of which are $$ y=C_1P_{m-1/2}^1(x)+C_2Q_{m-1/2}^1(x) $$ which are the associated Legendre functions of the first and…
5
votes
1 answer

How to deduce this Fourier cosine transform of the product of modified Bessel function

I want to know how to deduce $$ \int_0^\infty K_\nu(ax)I_\nu(bx)\cos cxdx=\frac{1}{2\sqrt{ab}}Q_{\nu-\frac12}(\frac{a^2+b^2+c^2}{2ab}) $$ My attempt: I have evaluated $$ \int_0^\infty…
5
votes
2 answers

Integral of a product of Legendre polynomials

I would like to show that $$ \int_{-1}^{1}P_{n}^{1}(x)P_{n'}^{0}(x)\frac{x}{\sqrt{1-x^{2}}}\,\mathrm dx = \begin{cases} -\frac{2n}{2n+1},&n=n'>0\\ -2,&n>n'\text{ and } n-n' \text{ even}\\ 0,&\text{otherwise.} \end{cases} $$ where $P_{n}^{m}(x)$ are…
5
votes
1 answer

Showing a summation identity for $1$, possibly tied to Legendre polynomials

The Problem: Consider the sign function on $(-1,0)\cup(0,1)$ defined by $$ \sigma(x) := \left. \text{sgn}(x) \right|_{(-1,0)\cup(0,1)} = \begin{cases} 1 & x \in (0,1) \\ -1 & x \in (-1,0) \end{cases}$$ The problem is to show that $$\int_{-1}^1…
4
votes
2 answers

Stuck on nasty integral regarding associated Legendre polynomials and spherical Bessel functions.

I'm preparing notes for an undergrad physics course I'm going to be teaching soon. Unfortunately, this sort of stuff was taught to me only in a very handwavy sort of way ("you take these physical principles and these equations and then skip over a…
Rain
  • 134
4
votes
0 answers

Series of Legendre Polynomials and Harmonic numbers. $\sum_{n=1}^{\infty} P_n (z) \frac{H(n)}{n+k}$

I would like to compute sums of the type \begin{equation} \sum_{n=1}^{\infty} P_n (z) \frac{H(n)}{n+k} \end{equation} where $P_n(z)$ are Legendre polynomials, $H(n)$ are harmonic numbers and $k = 0, 1, 2, 3...$, a positive integer. I've tried using…
4
votes
0 answers

An upper bound of the first eigenvalue of Laplacian on a Riemannian manifold.

I'm reading the Cheng's thesis ""Eigenvalue Comparison Theorems and Its Geometric Applications," and the author obtains an estimate of eigenvalues of the Laplacian based upon his theorem: If $M$ is $n$-dimensional compact Riemannian manifold with…
3
votes
0 answers

How can I prove that $3(\sum_{i=1}^{n}{\lfloor \frac{i^2}{n} \rfloor}) - n^2 \geq 2\ $ for all $n\geq 2?$

The OEIS sequence A175908 represents a sequence derived from this formula: Using the Legendre $\operatorname{L}$-Function, I was able to prove that for primes $n$ of the form $4k + 1$, the value becomes $2$, and for primes of the form $4k + 3$,…
3
votes
1 answer

Proof of Bonnet's Recursion Formula for Legendre Functions of the Second Kind?

I'm doing some self-study on Legendre's Equation. I have seen and understand the proof of Bonnet's Recursion Formula for the Legendre Polynomials, $P_n(x)$. $$(n+1)P_{n+1}(x) = (1+2n)xP_n(x) - nP_{n-1}(x)$$ Additionally, I have read that this…
3
votes
0 answers

Should Hobson, pg183, be corrected, in particular, should an occurrence of $(t^2−1)^n(t−\mu)^{-n-m-1}$ be replaced by $(t^2−1)^{n+1}(t−\mu)^{-n-m-2}$?

The material in this question concerns substitution of a Schlaefli type integral into a differential equation. My answer to the question Showing Schlaefli integral satisfies Legendre equation should inform the interested reader. Hobson$^1$, pg 183,…
3
votes
1 answer

Help showing the classical Legendre equation has limit circle boundary points.

I am following this paper by Krall and Zettl. I am trying to use the results of Sturm-Louiville (SL) theory to study eigen functions of the classical Legendre equation: $$ \tag1 \frac{d}{dx}\left((1-x^2)\frac{du}{dx}\right)=\lambda u $$ This SL…
3
votes
1 answer

How to calculate the integral of a Legendre polynomial

I would like to show that $$ \int_{0}^{1}P_{l}(1-2u^{2})e^{2i\alpha u}du=i\alpha j_{l}(\alpha)h_{l}(\alpha) $$ where $P_{l}(x)$ are the Legendre polynomials, $\alpha$ is a positive constant and $j_{l}$ and $h_{l}$ are the spherical Bessel and Hankel…
2
votes
0 answers

Uniform Convergence of Legendre Generating Function Identity

I have the following identity (Bateman vol. 3, 19.10.2): \begin{align} \left(1-2tx+t^2\right)^{-\frac{\ell+1}{2}}P_\ell^{(m)}\left(\frac{x-t}{\sqrt{1-2tx+t^2}}\right)=\sum_{k=0}^\infty\binom{\ell-m+k}{k}P_{\ell+k}^{(m)}(x)t^k, \end{align} where…
1
2 3 4 5