plazprestige said:
If there exists some normalized wavefunction ψ\psi that is not a solution to the Schrödinger equation (1D), what does this mean?
A somewhat less abstract answer:
The word "normalized" is very important here. The normalization condition (in 1D, for example) is \int_{-\infty}^{\infty}{|\psi|^2 dx}=1Functions that fulfill this condition are called square integrable, or L^2, and the set of all such functions forms a vector space (this vector space has particular properties, for which it gets a special designation as a "Hilbert space," but that's not terribly important for us right now). A vector space is a lot like ordinary 3D space, except it can have an arbitrary number of dimensions (even infinite), and whereas each point in 3D space represents a position, each point in the L^2 vector space represents a function (how about we call it \psi?).
One important property of vector spaces, which might be familiar to you from linear algebra, is that every vector space is spanned by a basis. Every point in 3D can be represented as a vector of the form x \mathbf{\hat{i}} +y \mathbf{\hat{j}}+z \mathbf{\hat{k}}, so we can say that \mathbf{\hat{i}}, \mathbf{\hat{j}}, and \mathbf{\hat{k}} form a basis which spans 3D space. In exactly the same way, we can choose a basis set \phi_i, i \in \mathbb{N} that spans L^2 space, such that an arbitrary square integrable function \psi can be represented as a vector of the form \psi =\sum_i{a_i \phi_i}The above framework is important because the Schrodinger equation is linear in each of its variables. This means that any linear combination of solutions is also itself a solution to the Schrodinger equation. So if you have a set of eigenfunctions \phi_i that solve the Schrodinger equation for an arbitrary potential V(x), then any function \psi =\sum_i{a_i \phi_i}also solves the Schrodinger equation for that potential. It also just so happens that any set of eigenfunctions which solve the Schrodinger equation also span the relevant vector space.
So to sum up, if you have a normalized wavefunction, it
must be a solution to the Schrodinger equation,
with arbitrary potential. It likely won't be an eigensolution, but it will definitely be a linear combination of them.
[Technical note: I'm not a mathematician, so I don't know if these statements are true
everywhere, or merely
almost everywhere (everywhere except a set of measure zero). I expect the latter is true, but I don't know enough about measure theory to speak to it.]