Proving Rnl(r) Has (n-l-1) Zeros - Interesting Proof

  • Context: Graduate 
  • Thread starter Thread starter Ed Quanta
  • Start date Start date
  • Tags Tags
    Interesting Proof
Click For Summary

Discussion Overview

The discussion revolves around proving that the function Rnl(r) has (n-l-1) zeros, excluding the zeros at r=0 and r=infinity. Participants explore various approaches to this proof, including inductive reasoning and the properties of Laguerre Polynomials.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant expresses difficulty in proving that Rnl(r) has (n-l-1) zeros, noting the complexity of the equations involved.
  • Another participant suggests that the proof could be straightforward and provides a link to a general formula for Rnl(r), implying that the proof may not be as complex as initially thought.
  • A different participant reiterates the question about proving the number of zeros and emphasizes the importance of focusing on the Laguerre Polynomials and the fundamental theorem of algebra regarding polynomial roots.
  • One participant points out that Rnl(r) can be expressed as a polynomial of degree n-l-1, which guarantees n-l-1 complex roots, but notes that additional work is needed to show these roots are distinct.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the complexity of the proof or the methods to be used. There are differing opinions on the interest level of the proof and the clarity of the approach needed to demonstrate the number of zeros.

Contextual Notes

Some participants mention the need to consider the coefficients of the polynomial and the implications of the fundamental theorem of algebra, indicating that there may be unresolved steps in the proof process.

Ed Quanta
Messages
296
Reaction score
0
How can it be proved that Rnl(r) has (n-l-1) zeros (not counting those at r-0 and r= infinity?

I tried doing this inductively but found it hard to get anywhere since the equations for Rnl(r) aren't too pretty. For instance, Rnl(r)=Anlunl

where Anl= sqrt((n-l-1)!/(2n((n+l)!)^3)

this last equation seems to bear a similarity with what I am supposed to prove but I am having trouble with this. Help anyone?
 
Physics news on Phys.org
I'm sorry for not sharing your enthusiasm,but i don't find that proof to be interesting... :-p
Yu can find the general formula for [itex]R_{nl}(r)[/itex] here

I think you can build the proof really easily.

Good luck! :smile:

Daniel.
 
Ed Quanta said:
How can it be proved that Rnl(r) has (n-l-1) zeros (not counting those at r-0 and r= infinity?

I tried doing this inductively but found it hard to get anywhere since the equations for Rnl(r) aren't too pretty. For instance, Rnl(r)=Anlunl

where Anl= sqrt((n-l-1)!/(2n((n+l)!)^3)

this last equation seems to bear a similarity with what I am supposed to prove but I am having trouble with this. Help anyone?

I don't think you need to worry about [tex]A_{nl}[/tex] in your proof, since that is just a constant for a given n and l, and not dependent on r. I think what you want to look at is the Laguerre Polynomials, (specifically their order), and remember what the fundamental theorem of algebra says about how many zeros a polynomial will have, and somehow come up with an argument that those zeros will be real.
 
The link Daniel provided states that
[tex]R_{n\ell}(r) = r^\ell \exp\left(\frac{zr}{na}\right) \sum_{j=0}^{n-\ell-1} b_jr^j.[/tex]
The sum is simply the definition of a polynomial of degree [tex]n-\ell-1[/tex], which the fundamental theorem of algebra guarantees will have exactly [tex]n-\ell-1[/tex] complex roots (not necessarily distinct). The coefficients in front of the sum provide the zeros at [tex]r=0[/tex] and [tex]z\to-\infty[/tex], and the others are provided by the polynomial.

If you need to show that there are [tex]n-\ell-1[/tex] distinct zeros then there will obviously be something more to the proof (I would guess it involves looking at the definition of the [tex]b_j[/tex]), but this might be a good starting point at least...
 
Last edited:
dextercioby said:
I'm sorry for not sharing your enthusiasm,but i don't find that proof to be interesting... :-p

Ha ha, I just didn't know what to title it. Thanks for help.
 

Similar threads

  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
3
Views
2K
  • · Replies 24 ·
Replies
24
Views
5K