Proving No Eigenvalues Exist for an Operator on a Continuous Function Space

Click For Summary

Homework Help Overview

The discussion revolves around the existence of eigenvalues for a specific operator acting on a continuous function space. The original poster presents a mathematical argument involving the operator and its relationship with eigenvalues, questioning how to demonstrate that no eigenvalues exist.

Discussion Character

  • Conceptual clarification, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • Participants explore the implications of the equation derived from the operator's action, questioning the conditions under which eigenvalues can exist. There is a focus on the continuity of functions and the behavior of the operator across the interval [0,1].

Discussion Status

Several participants have contributed insights regarding the implications of the derived conditions, with some suggesting that the argument is straightforward while others express confusion about the necessity of separate parts of the homework assignment. The discussion reflects a mix of interpretations and clarifications regarding the nature of the operator and its eigenvalues.

Contextual Notes

There is mention of homework parts that address specific aspects of eigenvalues, including a separate task focused on showing that zero is not an eigenvalue. Participants are considering the implications of continuity and injectivity of the operator in their reasoning.

member 428835
Homework Statement
Show no eigenvalues exist for the operator ##Af(x) = xf(x)## where ##A:C[0,1]\to C[0,1]##.
Relevant Equations
Nothing comes to mind.
Eigenvalues ##\lambda## for some operator ##A## satisfy ##A f(x) = \lambda f(x)##. Then

$$
Af(x) = \lambda f(x) \implies\\
xf(x) = \lambda f(x)\implies\\
(\lambda-x)f(x) = 0.$$

How do I then show that no eigenvalues exist? Seems obvious one doesn't exists since ##\lambda-x \neq 0## for all ##x\in [0,1]##.
 
Physics news on Phys.org
Well the argument is subtle.

Since ##x## ranges over every point in ##[0,1]## and the supposed eigenvalue is some constant you cannot have ##\lambda=x##, since the function ##x## is not constant.
And obviously ##f(x)\ne 0 ##, otherwise it wouldn't be an eigenvalues' problem.
 
You are in fact almost there. The condition
##(\lambda-x)f(x) =0## implies that we have ##f(x) = 0## for all ##x\neq \lambda##. By continuity however ##f=0##. Thus, no eigenvector exists, as any possible eigenvalue leads to the trivial solution.
 
Last edited by a moderator:
  • Like
Likes   Reactions: member 428835
Math_QED said:
You are in fact almost there. The condition
##(\lambda-x)f(x) =0## implies that we have ##f(x) = 0## for all ##x\neq \lambda##. By continuity however ##f=0##. Thus, no eigenvector exists, as any possible eigenvalue leads to the trivial solution.
This just seems so simple. See, the HW was assigned in three parts, where part b) asked to show 0 is not an eigenvalue and part c) asked to prove no eigenvalues exist. But if this is part c), then why bother doing b)? Have I missed anything about ##\lambda = 0##? It seems this logic holds for all ##\lambda##.
 
joshmccraney said:
This just seems so simple. See, the HW was assigned in three parts, where part b) asked to show 0 is not an eigenvalue and part c) asked to prove no eigenvalues exist. But if this is part c), then why bother doing b)? Have I missed anything about ##\lambda = 0##? It seems this logic holds for all ##\lambda##.

It also works for ##\lambda = 0##. Then your equation leads to ##xf(x) = 0 \forall x## and for ##x \neq 0## we then have ##f(x) = 0##. By continuity again also ##f(0) = 0##, so ##f=0## everywhere.

So, to answer your question concretely, I don't think doing part (b) separately is necessary.

Note that eigenvalue ##\lambda = 0## can only happen when ##A## is non-injective. This map is injective however (continuity is key again here). Maybe that's what (b) wants you to write?
 
  • Like
Likes   Reactions: member 428835

Similar threads

  • · Replies 2 ·
Replies
2
Views
1K
Replies
6
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
2
Views
1K
  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 24 ·
Replies
24
Views
4K