algebra911.com

Legendre Polynomials

Q: What's the difference between a regular polynomial and a Legendre polynomial?

A regular polynomial can have any coefficients, like $5x^2 - x + 10$. Legendre polynomials are a specific set of polynomials where the coefficients are precisely defined by a formula to ensure they have special properties, like being orthogonal on the interval $[-1, 1]$.

Q: Why is the interval always [-1, 1] for their special properties?

The interval $[-1, 1]$ is fundamental to the definition of Legendre polynomials. They are defined as solutions to a specific equation that 'works' over this range. While you can scale them to other intervals, their natural and simplest properties, like orthogonality, are expressed on $[-1, 1]$.

Q: Is P_4(x) always a 4th-degree polynomial?

Yes, exactly. The index $n$ in $P_n(x)$ always corresponds to the degree of the polynomial. This means $P_n(x)$ will always have an $x^n$ term as its highest power and will not have any powers higher than $n$.

Download as PDF

Ever heard of polynomials that are 'perpendicular' to each other? Welcome to the world of Legendre Polynomials! They are a special sequence of functions that help solve complex problems in physics and engineering, and understanding them starts with simple algebra you already know.

Legendre Polynomials — an original Algebra911 reference diagram defining legendre polynomials with its key formula and a worked example. — A Beginner's Guide to Legendre Polynomials

What Are Legendre Polynomials?

Legendre Polynomials are a special sequence of polynomials, denoted as $P_{n} (x)$ , that have unique properties making them extremely useful for solving problems in science and engineering. You're already familiar with regular polynomials like $x^{2} + 3 x - 5$ . Legendre polynomials look similar, but they are part of a specific, ordered set, where each one is defined by its degree $n$ , which must be a non-negative integer ( $0, 1, 2, 3, . . .$ ).

Each polynomial in the sequence is named after its degree. The first few are:

$P_{0} (x) = 1$ (a constant function)
$P_{1} (x) = x$ (a simple linear function)
$P_{2} (x) = \frac{1}{2} (3 x^{2} - 1)$ (a quadratic function)
$P_{3} (x) = \frac{1}{2} (5 x^{3} - 3 x)$ (a cubic function)

At first glance, the coefficients (the numbers in front of the variables) might seem random, but there is a precise formula that generates every single one. These polynomials are famous because they are the solutions to an important equation in physics called Legendre's differential equation. While you don't need to understand that advanced equation now, you can learn how to generate and use these powerful mathematical tools with just your algebra and pre-calculus skills.

How Do You Find Legendre Polynomials? The Rodrigues' Formula Recipe

So where do these specific polynomials come from? There's a fantastic 'recipe' for cooking up any Legendre polynomial you want. It's called Rodrigues' Formula, and it's the key to unlocking the entire sequence.

P_{n} (x) = \frac{1}{2^{n} n!} \frac{d^{n}}{d x^{n}} (x^{2} - 1)^{n}

This formula might look intimidating, but let's break it down into simple parts:

$n$ : This is the degree of the polynomial you want to find. If you want $P_{2} (x)$ , you set $n = 2$ .
$n!$ : This is 'n factorial', which means you multiply $n$ by every whole number smaller than it, down to 1. For example, $3! = 3 \times 2 \times 1 = 6$ .
$\frac{1}{2^{n} n!}$ : This is just a constant number that scales the polynomial correctly. You calculate this first and set it aside.
$(x^{2} - 1)^{n}$ : This is the core polynomial part. You take the expression $x^{2} - 1$ and raise it to the power of $n$ .
$\frac{d^{n}}{d x^{n}}$ : This is the most complex part. It means 'take the derivative with respect to $x$ , $n$ times'. If you haven't learned calculus yet, don't worry! For polynomials, there's a simple rule called the Power Rule. The derivative of $x^{k}$ is $k x^{k - 1}$ . You just bring the exponent down as a multiplier and subtract one from the exponent. The derivative of a constant is $0$ . You just apply this rule over and over, $n$ times.

Let's find $P_{2} (x)$ using this recipe to see it in action.

Example 1

Find the Legendre Polynomial $P_{2} (x)$ using Rodrigues' Formula.

Step 1: Identify n and calculate the constant.
For $P_{2} (x)$ , we have $n = 2$ . The constant part is $\frac{1}{2^{n} n!}$ .
$\frac{1}{2^{2} 2!} = \frac{1}{4 \times (2 \times 1)} = \frac{1}{4 \times 2} = \frac{1}{8}$

Step 2: Work on the polynomial part.
We need to find $(x^{2} - 1)^{n}$ , which is $(x^{2} - 1)^{2}$ .
$(x^{2} - 1)^{2} = (x^{2} - 1) (x^{2} - 1) = x^{4} - 2 x^{2} + 1$

Step 3: Take the derivative n times.
We need to take the derivative of $x^{4} - 2 x^{2} + 1$ two times (since $n = 2$ ).
First derivative:
$\frac{d}{d x} (x^{4} - 2 x^{2} + 1) = 4 x^{3} - 2 (2 x^{1}) + 0 = 4 x^{3} - 4 x$
Second derivative:
$\frac{d}{d x} (4 x^{3} - 4 x) = 4 (3 x^{2}) - 4 (1 x^{0}) = 12 x^{2} - 4$

Step 4: Combine the constant and the final polynomial.
Now we multiply our result from Step 1 and Step 3.
$P_{2} (x) = \frac{1}{8} (12 x^{2} - 4)$
We can simplify this by distributing the $\frac{1}{8}$ :
$P_{2} (x) = \frac{12}{8} x^{2} - \frac{4}{8} = \frac{3}{2} x^{2} - \frac{1}{2}$
This can also be written as $P_{2} (x) = \frac{1}{2} (3 x^{2} - 1)$ , which matches the known formula!

Worked Example: How to Calculate P₃(x)

Practice makes perfect. Let's follow the same steps to calculate the next polynomial in the sequence, $P_{3} (x)$ . This will involve a bit more algebra, but the process is identical.

Example 2

Find the Legendre Polynomial $P_{3} (x)$ using Rodrigues' Formula.

Step 1: Identify n and calculate the constant.
For $P_{3} (x)$ , we have $n = 3$ . The constant is $\frac{1}{2^{n} n!}$ .
$\frac{1}{2^{3} 3!} = \frac{1}{8 \times (3 \times 2 \times 1)} = \frac{1}{8 \times 6} = \frac{1}{48}$

Step 2: Work on the polynomial part.
We need to find $(x^{2} - 1)^{n}$ , which is $(x^{2} - 1)^{3}$ .
$(x^{2} - 1)^{3} = (x^{2} - 1) (x^{2} - 1) (x^{2} - 1)$
First, $(x^{2} - 1)^{2} = x^{4} - 2 x^{2} + 1$ . Now multiply by $(x^{2} - 1)$ again:
$(x^{4} - 2 x^{2} + 1) (x^{2} - 1) = x^{2} (x^{4} - 2 x^{2} + 1) - 1 (x^{4} - 2 x^{2} + 1)$
$= (x^{6} - 2 x^{4} + x^{2}) - (x^{4} - 2 x^{2} + 1)$
$= x^{6} - 3 x^{4} + 3 x^{2} - 1$

Step 3: Take the derivative n times.
We need to take the derivative of $x^{6} - 3 x^{4} + 3 x^{2} - 1$ three times (since $n = 3$ ).
First derivative:
$\frac{d}{d x} (x^{6} - 3 x^{4} + 3 x^{2} - 1) = 6 x^{5} - 12 x^{3} + 6 x$
Second derivative:
$\frac{d}{d x} (6 x^{5} - 12 x^{3} + 6 x) = 30 x^{4} - 36 x^{2} + 6$
Third derivative:
$\frac{d}{d x} (30 x^{4} - 36 x^{2} + 6) = 120 x^{3} - 72 x$

Step 4: Combine the constant and the final polynomial.
Multiply the results from Step 1 and Step 3.
$P_{3} (x) = \frac{1}{48} (120 x^{3} - 72 x)$
Distribute the $\frac{1}{48}$ :
$P_{3} (x) = \frac{120}{48} x^{3} - \frac{72}{48} x$
Now, simplify the fractions. Both 120 and 72 are divisible by 24. $120 / 24 = 5$ and $72 / 24 = 3$ . Also, $48 / 24 = 2$ .
$P_{3} (x) = \frac{5}{2} x^{3} - \frac{3}{2} x$
This is commonly written as $P_{3} (x) = \frac{1}{2} (5 x^{3} - 3 x)$ . We did it!

What Makes Legendre Polynomials Special? The Idea of Orthogonality

The main reason Legendre polynomials are so important isn't their formula, but a property called orthogonality. In geometry, 'orthogonal' is a fancy word for perpendicular. Two lines are orthogonal if they meet at a right angle ( $90^{\circ}$ ). Functions can be orthogonal too, but it's a bit more abstract.

Two Legendre polynomials $P_{m} (x)$ and $P_{n} (x)$ are orthogonal if their degrees $m$ and $n$ are different. This property is defined over a specific interval on the x-axis: from $- 1$ to $1$ . Mathematically, it looks like this:

\int_{- 1}^{1} P_{m} (x) P_{n} (x) d x = 0 whenever m \neq n

Let's unpack that. The $\int_{- 1}^{1}$ symbol represents an integral, which is a tool from calculus for finding the total area under a curve. This formula says that if you take any two different Legendre polynomials, multiply them together, and then calculate the total signed area under the resulting curve between $x = - 1$ and $x = 1$ , the answer will always be exactly zero. The areas above the x-axis perfectly cancel out the areas below it.

Why is this useful? This property allows scientists and engineers to break down very complex functions or signals into a sum of simpler Legendre polynomials. It's like having a special set of building blocks (the $P_{n} (x)$ ) that can be used to construct almost any other function. This process, called a Legendre series, is crucial for solving problems involving gravity, electricity, heat flow, and more.

Visualizing the Polynomials: A Look at Their Graphs and Properties

Graphing the first few Legendre polynomials reveals some interesting patterns. They all pass through the point $(1, 1)$ , and they become increasingly 'wiggly' as the degree $n$ increases. All of their roots (the points where they cross the x-axis) are real numbers and always lie strictly between $- 1$ and $1$ .

$P_{0} (x) = 1$ is a simple horizontal line.
$P_{1} (x) = x$ is a straight line passing through the origin.
$P_{2} (x) = \frac{1}{2} (3 x^{2} - 1)$ is an upward-opening parabola.
$P_{3} (x) = \frac{1}{2} (5 x^{3} - 3 x)$ is a cubic curve with a classic 'S' shape.

Another key feature is their symmetry. Polynomials with an even degree ( $P_{0}, P_{2}, P_{4}, . . .$ ) are even functions, meaning their graphs are symmetric with respect to the y-axis. Polynomials with an odd degree ( $P_{1}, P_{3}, P_{5}, . . .$ ) are odd functions, meaning their graphs have rotational symmetry about the origin.

Here is a table summarizing these properties:

Polynomial	Formula	Degree (n)	Value at x=1	Symmetry
$P_{0} (x)$	$1$	0	1	Even
$P_{1} (x)$	$x$	1	1	Odd
$P_{2} (x)$	$\frac{1}{2} (3 x^{2} - 1)$	2	1	Even
$P_{3} (x)$	$\frac{1}{2} (5 x^{3} - 3 x)$	3	1	Odd
$P_{4} (x)$	$\frac{1}{8} (35 x^{4} - 30 x^{2} + 3)$	4	1	Even

Example 3

Verify the property that $P_{n} (1) = 1$ for the case of $P_{3} (x)$ .

Step 1: Write down the formula for $P_{3} (x)$ .
From our previous work, we know:
$P_{3} (x) = \frac{1}{2} (5 x^{3} - 3 x)$

Step 2: Substitute $x = 1$ into the formula.
We replace every $x$ with the number $1$ .
$P_{3} (1) = \frac{1}{2} (5 (1)^{3} - 3 (1))$

Step 3: Evaluate the expression.
First, calculate the powers of 1. Since $1^{3} = 1$ , this is simple.
$P_{3} (1) = \frac{1}{2} (5 (1) - 3 (1))$
$P_{3} (1) = \frac{1}{2} (5 - 3)$
$P_{3} (1) = \frac{1}{2} (2)$
$P_{3} (1) = 1$

The property holds true! This is a great way to check your work after using Rodrigues' formula. If you don't get 1 when you plug in $x = 1$ , you likely made a calculation error somewhere.

Key formulas for legendre polynomials by Algebra911.

Where Are These Used in the Real World?

Legendre polynomials might seem like an abstract math topic, but they are essential tools in many fields of science and technology. Their unique orthogonality property makes them perfect for modeling and approximating real-world phenomena.

Here are a few examples:

Physics and Astronomy: When calculating the gravitational field of a planet like Earth, which isn't a perfect sphere, physicists use Legendre polynomials to describe the complex shape of the field. They are also fundamental in quantum mechanics for describing the wave functions of atoms, and in electromagnetism for calculating the electric potential around charged objects.
Engineering: In thermal engineering, Legendre polynomials help solve problems related to heat conduction in different shapes, like spheres and cylinders. They can describe how temperature is distributed throughout an object when it's heated or cooled.
Computer Graphics and Data Science: In computer modeling, complex surfaces can be approximated by a series of Legendre polynomials. This allows for efficient storage and rendering of smooth, organic shapes. In data analysis, they can be used to fit a curve to a set of data points, a process known as polynomial regression.

Essentially, anywhere a problem involves spheres or spherical coordinates and needs to be broken down into simpler parts, Legendre polynomials are likely to be involved. They are a bridge between pure mathematics and practical application.

Common Mistakes to Avoid

When first working with Legendre polynomials, a few common pitfalls can trip you up. Being aware of them can help you avoid errors in your calculations.

Forgetting the Constant: The $\frac{1}{2^{n} n!}$ part of Rodrigues' formula is easy to forget, but it's crucial for making the polynomials 'normalized' so that $P_{n} (1) = 1$ . Always calculate it first.
Binomial Expansion Errors: When calculating $(x^{2} - 1)^{n}$ for larger $n$ , it's easy to make a mistake. Write out your steps carefully or use the Binomial Theorem if you know it.
Derivative Mistakes: Taking the derivative many times can be tedious. A small error in one step will throw off the entire final answer. Go one step at a time and double-check your application of the power rule.
Mixing up $n$ and $x$ : Remember that $n$ is the fixed degree for the polynomial you are calculating, while $x$ is the variable. Don't mix them up during differentiation.
Misunderstanding Orthogonality: The orthogonality property only works on the specific interval from $- 1$ to $1$ . It does not apply over other intervals, like $0$ to $1$ .

Quick Reference Guide

Here is a quick summary of the most important formulas and facts about Legendre Polynomials.

Rodrigues' Formula
The master formula to generate any $P_{n} (x)$ .

P_{n} (x) = \frac{1}{2^{n} n!} \frac{d^{n}}{d x^{n}} (x^{2} - 1)^{n}

The First Five Legendre Polynomials

$P_{0} (x) = 1$
$P_{1} (x) = x$
$P_{2} (x) = \frac{1}{2} (3 x^{2} - 1)$
$P_{3} (x) = \frac{1}{2} (5 x^{3} - 3 x)$
$P_{4} (x) = \frac{1}{8} (35 x^{4} - 30 x^{2} + 3)$

Key Properties

Orthogonality: $\int_{- 1}^{1} P_{m} (x) P_{n} (x) d x = 0$ for $m \neq n$ .
Value at x=1: $P_{n} (1) = 1$ for all $n$ .
Value at x=-1: $P_{n} (- 1) = (- 1)^{n}$ . (It's $1$ for even $n$ and $- 1$ for odd $n$ ).
Symmetry: $P_{n} (x)$ is an even function if $n$ is even, and an odd function if $n$ is odd.

Frequently Asked Questions

What's the difference between a regular polynomial and a Legendre polynomial?

A regular polynomial can have any coefficients, like $5 x^{2} - x + 10$ . Legendre polynomials are a specific set of polynomials where the coefficients are precisely defined by a formula to ensure they have special properties, like being orthogonal on the interval $[- 1, 1]$ .

Do I need to know calculus to find Legendre polynomials?

Rodrigues' formula uses derivatives, which is a calculus concept. However, for polynomials, the process is just a simple rule (the power rule) applied repeatedly. You can learn and apply this rule without needing a full calculus course.

Why is the interval always [-1, 1] for their special properties?

The interval $[- 1, 1]$ is fundamental to the definition of Legendre polynomials. They are defined as solutions to a specific equation that 'works' over this range. While you can scale them to other intervals, their natural and simplest properties, like orthogonality, are expressed on $[- 1, 1]$ .

What does the 'P' and the subscript 'n' in P_n(x) mean?

The 'P' stands for 'Polynomial', and it's used by convention for Legendre polynomials. The subscript 'n' is called the index or order, and it simply tells you the degree of the polynomial in the sequence. For example, $P_{5} (x)$ is the 5th-degree Legendre polynomial.

Are there other types of special polynomials like these?

Yes, many! Mathematicians have discovered other sets of orthogonal polynomials that are useful for different problems. Some famous examples include Hermite polynomials (used in quantum mechanics), Laguerre polynomials (for the hydrogen atom), and Chebyshev polynomials (used in approximation theory).

Where will I see Legendre polynomials in future studies?

If you continue studying physics, engineering, or applied mathematics in college, you will almost certainly encounter them. They appear in courses on electricity and magnetism, quantum mechanics, differential equations, and numerical analysis.

Is P_4(x) always a 4th-degree polynomial?

Yes, exactly. The index $n$ in $P_{n} (x)$ always corresponds to the degree of the polynomial. This means $P_{n} (x)$ will always have an $x^{n}$ term as its highest power and will not have any powers higher than $n$ .

Can I use a computer or calculator to find them?

Absolutely. Computer algebra systems like WolframAlpha, Mathematica, or Python libraries like SciPy can calculate Legendre polynomials instantly. While it's important to learn the process by hand first, these tools are great for checking your work or finding higher-order polynomials quickly.