Sturn-Liouville equation subtraction

  • Context: MHB 
  • Thread starter Thread starter ognik
  • Start date Start date
Click For Summary

Discussion Overview

The discussion revolves around the manipulation of the Sturm-Liouville (S-L) equation, particularly focusing on the subtraction of two S-L equations with distinct eigenfunctions and eigenvalues. Participants explore the implications of multiplication order in various contexts, including real and complex eigenfunctions, and the nature of inner products.

Discussion Character

  • Technical explanation
  • Conceptual clarification
  • Debate/contested

Main Points Raised

  • One participant describes a common approach of subtracting two S-L equations after multiplying each by the other's eigenfunction, questioning the implications of multiplication order.
  • Another participant clarifies that the multiplication involved is real number multiplication, which is commutative and associative, allowing for the swapping of terms without issue.
  • Further inquiries are made regarding whether the order matters in operator/matrix eigenfunction products and inner products, with some participants suggesting that it does matter in certain contexts.
  • Complex multiplication is noted to be commutative, but the order does matter in inner products when dealing with complex functions.

Areas of Agreement / Disagreement

Participants generally agree on the commutative nature of multiplication in the context of real numbers and complex multiplication, but there is some disagreement regarding the implications of order in inner products and operator/matrix products, indicating that the discussion remains unresolved.

Contextual Notes

Participants mention that the order of multiplication may not be defined the same way in all contexts, particularly in inner products involving complex-valued functions, highlighting the need for careful consideration of definitions and contexts.

ognik
Messages
626
Reaction score
2
So in my reading I have come across a few proofs that take two S-L eqtns like $ (p(x)u'(x))' + \lambda_u w(x)u(x)=0 $ , with distinct eigenvectors u & v and distinct eigenvalues $ \lambda_u , \lambda_v $. They multiply each eqtn by the other eigenvector and subtract, all good - seems a common approach. ie:

$ (p(x)u'(x))' + \lambda_u w(x)u(x)=0 $
- $ (p(x)v'(x))' + \lambda_v w(x)v(x)=0 $
$ = [p(vu'-uv')]' + (\lambda_u - \lambda_v)wuv=0 $

But the order when multiplying doesn't seem to matter? Ex. wvu = wuv? But u, v are vectors, so I shouldn't be able to swap their order?
 
Physics news on Phys.org
They're technically eigenfunctions, and the multiplication happening there is good ol' real number multiplication. It's commutative and associative, so no issue swapping things around.
 
confirming further ...
so only with an operator/matrix eigenfunction product, does the order matter?
Does it matter in an inner product?
 
ognik said:
confirming further ...
so only with an operator/matrix eigenfunction product, does the order matter?

Definitely matters here, because sometimes the multiplication isn't defined one way, but it is the other way.

Does it matter in an inner product?

Only if it's complex-valued. If it's real-valued, then $\langle x|y\rangle=\langle y|x\rangle$. If it's complex-valued, then $\langle x|y\rangle=\overline{\langle y|x\rangle}$ (complex conjugate).
 
Awesome, last one:
What if the eigenfunctions were complex, then does the order matter? This is probably the heart of the original question ...
 
Well, complex multiplication is commutative:
$$(a+bi)(c+di)=ac-bd+(ad+bc)i=(c+di)(a+bi).$$
So, the multiplication in your first post is commutative (and associative, by the way). However, the order does matter in an inner product, if you have complex functions.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
Replies
5
Views
2K
  • · Replies 45 ·
2
Replies
45
Views
9K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 13 ·
Replies
13
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K