BvU said:
You'll have a hard time finding solutions for the Schroedinger equation in this funny case !
I don't see why that would be difficult in many cases.
Calculating the number of energy states using momentum space
First, solve the Schrodinger equation for a box of Lx, Ly2 ; and record the constants for wavelength 'k' in x, and y; eg: record k for the lowest state of n in each direction.
So long as the differences in length, Lx - Lx2, Ly-Ly2, are multiples of the recorded wavelength ( for each respective axis ) Then I think the same wavelength must correctly solve the extended box in each axis.
The reason is simple, sine wave solutions for standing waves are zero at the walls; and happen to be zero at points where the walls "might" have existed if the box was reduced to dimensions Lx by Ly2.
Therefore, I'm sure any infinite well/rigid box can be extended by an integer multiple of wavelengths at points where the sine-waves are naturally zero, without making solution to the Schrodinger equation impossible.
The notation of 'n', can be confounded by the different lengths of the box ... but the ability to solve the Schrodinger equation is not made impossible because traditional notation can be confounded.
vanhees71 said:
To the contrary! In this container (i.e., the one with rigid boundary conditions) the position is well defined as a self-adjoint operator, but momentum is not. There are thus also no momentum eigenstates.
Vanshees, I pointed out in another thread that your proof appears to depend on over-specifiying the number of boundary conditions to compute the domain of a function. I suspect your complaint is probably a mathematical fiction caused by over-specifying the boundary conditions ??
When we only require that the value at the wall be the same as the opposing wall, psi(+a,y)=psi(-a,y) we have already given enough boundary conditions to determine that the momentum is a self adjoint operator for the specified axis. The boundary condition can be repeated for each axis, showing each one to be independently self-adjoint. That is to say, when we only *require* that the wave function be periodic, and not that it is also zero; we get a bigger domain than if we try to restrict the wave function to having a specific value at a periodic boundary. When we solve the *general* case for *any* value at the periodic boundary (the wall is one such boundary), the proof will come out with psi being self adjoint. But the proof will fail if we try to specify a particular value at the wall (even if we *know* what it should be.)
Again, By analogy --- > we *know* that in any test of Young's double slit experiment ... that if we try to specify mathematically that the particle must have a "probably" of *zero* to be found in one of the slits, we would destroy the solution to the interference pattern that is the well known result of the experiment. eg: You can put in mathematical boundary conditions that you are *sure* are true (when tested), that will destroy the ability of the Schrodinger equation to produce results consistent with experiment.
My understanding of the idea of self-adjointness, is essentially to prove the imaginary part of psi is canceled out when computing expectation values.
Operators work on psi by multiplication after differentiation; and self adjointness is required for the final product(s) to sum up to a purely real expectation value.
If only a single point's product (somewhere on psi) is computed, the idea of self adjointness is demonstrated when given real constants a,b that the complex product on the left side of this next equation is always real:
eg: ( a - ib )^{1/2}* ( a + ib )^{1/2}= ( a^2 + b^2 )^{1/2}
I've chosen to represent psi as the square root of a complex number, because in some sense psi is the momentum of the particle; and it's square is the kinetic energy in classical physics. p^2 / 2m = T
For self adjointness of functions, I am not required that the result of the multiplication be purely real at every point; but only that the *sum* (or integral) of the results cancel out the imaginary portion. However, the condition of self adjointness is trivially met when b=0, everywhere.
Since I can give a time invariant solution to Schrodinger's that has a psi that is purely *real* (b=0), in the case of an infinite well box; Where exactly does your claim of failure to be self adjoint come from?
If I naively compute the momentum operator on an infinite well and get an integral of a product that has a purely real result when evaluated; Why should I believe that self-adjointness is not true? eg: As opposed to believing you've over-specified a problem, and thereby made it insoluble by a mathematical proof that is perhaps flawed in cases having more boundary condition than there are unknowns that *must* be solved for?
To solve for N unknowns, in linear equations; I only need N independent equations. If I put in N+1 equations, depending on the textbook ... the proofs for an algorithm solving a linear set of equations may or may not be valid. We need to know the chain of reasoning used in the proofs whenever working with more equations than we have unknowns to solve for, in order to know the proof is valid.