What has changed since the Copenhagen interpretation?

In summary, the paper casts doubt on the fact that Copenhagen-like interpretations can be considered to give an objective view of experiments, but rather are perspectival.
  • #211
martinbn said:
It can in a weak sense.
So suppose that we have a weak non-differentiable solution of the Schrodinger equation. Is your point that the Bohmian trajectories are not defined then? Or perhaps they could still be defined in some weak sense?

Suppose that the Bohmian trajectories are not defined for such solutions. What does it mean physically? For an analogy, consider the Hamilton-Jacobi (HJ) equation of classical mechanics. The solution S(x,t) of the HJ equation defines classical particle trajectories, in very much the same was as the solution of the Schrodinger equation defines Bohmian trajectories. But now someone may object that HJ equation has weak non-differentiable solutions for which classical particle trajectories are not defined. What does it mean physically? Does it mean that classical particle trajectories do not exist? Or that such non-differentiable solutions are just not physical? For me, it seems obvious that the second answer is the right one. And by analogy, it seems reasonable to extrapolate the same answer to QM and Bohmian trajectories as well.
 
  • Like
Likes bhobba and atyy
Physics news on Phys.org
  • #212
I don't know what the situations is in these two cases, but you are missing another possibility. That the model is not fundamental, in the sense that it is only an approximation, and a better more accurate one may describe nature (in two words it may be that BM is no good). In fact that seems the only possibility if physically meaningful initial/boundary conditions lead to weak solutions, which are not regular. You cannot just say those function/distributions are not physical. If they are not physical then the theory is simply inadequate (it predicts unphysical things). I don't know if that is possible in the case of Schrodinger, HJ, BM. On the other hand I don't see what is so unphysical about a continuous function, which is not differentiable. In any case I was just surprised that you (a physicists) holds such a strong view which functions are relevant to physics.
 
  • Like
Likes Auto-Didact
  • #213
I don't understand. How is this
atyy said:
http://blog.jessriedel.com/2017/07/...cs-part-7-quantum-chaos-and-linear-evolution/
a response to this
Auto-Didact said:
If physics can not allow non-differentiable things, then all of nonlinear dynamics (chaos, turbulence, catastrophe, Feigenbaum universality, etc) directly goes out of the window. To me, because of experimental facts, this position is clearly untenable.
 
  • #214
atyy said:
I will read this later and get back to you.
Demystifier said:
So suppose that we have a weak non-differentiable solution of the Schrodinger equation. Is your point that the Bohmian trajectories are not defined then? Or perhaps they could still be defined in some weak sense?
My point is exactly the opposite: being 'well defined' mathematically at a certain point in history - such as the very concept of differentiability discovered a few centuries ago by the analysts - need not be a proper criteria for judging whether or not a phenomenon exists in nature; what is considered 'not well defined' today might turn out to be 'well defined' tomorrow depending on what mathematicians will discover in the theory of mathematics.

In other words, being well defined or not is at best a pragmatic rule of thumb which can tell a physicist about what mathematicians have discovered about the tools which physicists use, not an error-free scientific methodology to talk about the properties of nature or decide what is 'good physics' or 'bad physics'. As @martinbn points out, it simply means that what you believe to be fundamental (differentiability and the thereby resulting fundamental physics principles) simply might actually be an approximation.

To make clear how subjective differentiability is as a criterion of 'good physics', why not go for smoothness? Or analyticity? Or holomorphicity? The fact that physicists go for analyticity is a sociological effect: all the 'fundamental theories' studied so far haven't seemed to require more than analyticity; because of this the aesthetic sense in the physicist community became attuned to this mathematical property for physical tools and models.

To me, such a standpoint as 'physics needs to be differentiable' is clearly, purely pragmatic - even semi-fallacious - reasoning, because it has turned out in the past more than once that such mathematical criteria often end up getting amended once new mathematical facts are discovered, i.e. such as in the case when distribution theory was discovered and the Dirac delta suddenly became a proper mathematical object.
 
  • #215
To make my point even stronger, my main day job is as a physician in intensive care medicine: there are tonnes of medical entities which have resisted technical exact description due to their overwhelming complexity; frankly speaking, they can be considered neither mathematically, nor scientifically well-defined, yet it is an unquestionable experimental fact that these entities do exist.

Can I therefore, based upon physics knowledge, conclude that these things simply don't exist? Clearly not, it is instead the knowledge in contemporary physics which is inadequate to explain some medical entities at this point in time. (NB: having always been a theorist at heart, I actually did exactly think that the opposite was true i.e. that many medical entities did not actually exist; this is until I had to actually start doing rounds in practice and so was forced to learn to think in a completely different manner than I do in mathematics, physics or in science more generally).

This just shows that being well defined is not a scientific problem, but an aesthetic criteria: nice to have, but given some phenomenon, even if you don't have a way to define it properly yet, you still have to somehow make do; this of course, applies to all scientific discoveries before they were discovered. To paraphrase Feynman, nature exists in the exact way that she does whether we are capable of discovering or describing her or her properties or not.
 
  • #216
Demystifier said:
But now someone may object that HJ equation has weak non-differentiable solutions for which classical particle trajectories are not defined. What does it mean physically? Does it mean that classical particle trajectories do not exist? Or that such non-differentiable solutions are just not physical? For me, it seems obvious that the second answer is the right one.
The problem is that most partial differential equations, and in particular generic Schroedinger equations or the Navier-Stokes equations, have only a weakly differentiable solutions at times $t>0$ even when the initial condition at time $t=0$ is very smooth. There are good reasons why mathematicians work with weeak differentiability...
 
  • Like
Likes bhobba and Auto-Didact
  • #217
How sure are you about Navier Stokes?
 
  • Like
Likes Auto-Didact
  • #218
atyy said:
This entire piece isn't directed at my point; chaos literally can not occur or be explained mathematically by linear mathematics, which is why I don't believe that the concept often called 'quantum chaos' can have any mathematical existence at all, let alone physical existence; if chaos actually arises in QM at all, it is due to currently badly understood aspects of QM, buried in the formalism by simplification, and therefore will constitute a clue that orthodox QM based on unitarity is mathematically incomplete.

It is in this same way that I believe that hydrodynamics, a continuum theory, can in principle not ever be explained by quantum theory, a form of linear(ized) mathematics; in other words, 'quantum hydrodynamics' if it is meant to be quantized hydrodynamics is mathematical nonsense, either a non-starter or some kind of application of (experimental) physics bringing the two fields together.

Here is where things get confusing, there is actually a field of research called 'quantum hydrodynamics'; this however is a field in mathematical physics which has nothing whatsoever to do with quantizing hydrodynamics; perhaps the name is a misnomer and it should be called 'hydrodynamic quantum mechanics' instead, but I digress.

What researchers in this field try to do is study the mathematical objects in quantum theory i.e. the Schrödinger equation (SE), Dirac equation, Klein-Gordon equation etc as mathematical entities, i.e. PDEs, and then try to generalize these equations to equations from hydrodynamics, i.e. Euler (type) equations and Navier-Stokes (type) equations, but then properly respecting the tantalizing presence of ##i## in the SE.

I will clarify this by example: mathematically, the SE is a linear PDE, namely a (complex) diffusion equation of the form (with ##k## a constant and ##i## omitted for simplicity): $$\partial_t u = k \nabla^2 u$$All such diffusion equations are 'internal parts' of a nonlinear PDE, namely the (incompressible, one dimensional) Navier-Stokes (type) equations with the form: $$\partial_t u + (u \cdot \nabla)u = k \nabla^2 u - \nabla l + m$$ As is immediately clear from inspection, the earlier linear PDE is literally part of this nonlinear PDE; this means it can be obtained through linearization, simplification and a careful choosing of constants.

I'm not sure if other physicists realize this, but this means that a linear PDE can always be generalized i.e. non-linearized into such a non-linear PDE; this non-linearization process tends to be non-unique i.e. there are multiple ways to end up with a nonlinear PDE and the road ahead is not exactly clear; incidentally, this is also exactly why it is so immensely difficult to solve nonlinear (P)DEs, explaining why practitioners of mathematics often like to avoid them.

In any case, there is no guarantee that such a generalized nonlinear PDE might even exist mathematically, let alone in terms of physics; however, experience teaches us otherwise: when you automatically get more out of a derivation than what you put in, then this is a clue you might be onto something. A good strategy is to try to generalize your equation towards a known PDE, such as Korteweg-de Vries, Born-Infeld or even the Einstein field equations; the field of research called 'quantum hydrodynamics' tries to do precisely this with the Navier-Stokes equation.
 
  • #219
A. Neumaier said:
The problem is that most partial differential equations, and in particular generic Schroedinger equations or the Navier-Stokes equations, have only a weakly differentiable solutions at times $t>0$ even when the initial condition at time $t=0$ is very smooth. There are good reasons why mathematicians work with weeak differentiability...
How about the Hamilton-Jacobi equation?
 
  • #220
Demystifier said:
How about the Hamilton-Jacobi equation?
Not absolutely certain, but I believe so.
 
  • #221
martinbn said:
Not absolutely certain, but I believe so.
Believe what?
 
  • #222
That it has weak solutions to regular initial data.
 
  • #223
martinbn said:
That it has weak solutions to regular initial data.
So what are the physical consequences of this on the existence of classical particle trajectories?
 
  • #224
martinbn said:
How sure are you about Navier Stokes?
Almost sure. Navier-Stokes equations generate turbulent flow, which is unlikely to have a smooth description. To be 100% sure someone would need to solve one of the Clay Millennium problems.
 
  • Like
Likes bhobba
  • #225
Demystifier said:
How about the Hamilton-Jacobi equation?
Except in the completely integrable case, these probably have only weak solutions, too. Breakdown of smoothness is probably due to the caustics already visible in the WKB approximations. In tractable cases (e.g., Burgers equation) these lead to discontinuous shock waves.
 
  • Like
Likes Auto-Didact and bhobba
  • #226
A. Neumaier said:
Almost sure. Navier-Stokes equations generate turbulent flow, which is unlikely to have a smooth description. To be 100% sure someone would need to solve one of the Clay Millennium problems.
Exactly, and the answer might turn out to be that there are global regular solutions.
 
  • #227
A. Neumaier said:
Except in the completely integrable case, these probably have only weak solutions, too. Breakdown of smoothness is probably due to the caustics already visible in the WKB approximations. In tractable cases (e.g., Burgers equation) these lead to discontinuous shock waves.
So can you answer my question in #223?
 
  • #228
martinbn said:
Exactly, and the answer might turn out to be that there are global regular solutions.
might, but very unlikely. Also it could depend on the initial conditions - small initial conditions may well behave differently from large ones.
 
  • Like
Likes Auto-Didact and bhobba
  • #229
Demystifier said:
So what are the physical consequences of this on the existence of classical particle trajectories?
I am not sure what bothers you here. If you have a weak solution that is say an ##L^2## function, then it has derivatives in the weak sense, which can be also ##L^2##. The fact that it may not have pointwsie derivatives, shouldn't change the physical meaning.
 
  • Like
Likes Auto-Didact
  • #230
Demystifier said:
So what are the physical consequences of this on the existence of classical particle trajectories?
In classical mechanics, we have ordinary differential equations with locally Lipschitz continuous right hand sides, and existence of smooth point particle trajectories is no problem unless particles collide exactly, which happens with probability zero. Problems with smoothness usually appear in field theories. From the mathematical point of view, the Schroedinger equation is a field theory. It would be up to you to check whether Bohmian trajectories inherit from the Schroedinger equation their nonsmoothness.
 
  • Like
Likes Auto-Didact, dextercioby and bhobba
  • #231
A. Neumaier said:
existence of smooth point particle trajectories is no problem unless particles collide exactly, which happens with probability zero.
Is this point related to "runaway" solutions which were problematic in Farnes' model with positive/negative mass collisions as described here?
 
  • #232
Auto-Didact said:
Is this point related to "runaway" solutions which were problematic in Farnes' model with positive/negative mass collisions as described here?
I assumed pure gravitational interactions with of course positive masses. There motion is smooth until a collision occurs. Negative masses are unphysical.
 
  • #233
A. Neumaier said:
I assumed pure gravitational interactions with of course positive masses. There motion is smooth until a collision occurs. Negative masses are unphysical.
Of course they aren't physical, but that's not what I'm asking. I mean, from a purely mathematical standpoint as an aspect of PDE theory, is the non-smoothness of point particle trajectories due to exact collisions in the HJ equations equivalent to the "runaway" solution problem in Farnes' model?
 
  • #234
Auto-Didact said:
Of course they aren't physical, but that's not what I'm asking. I mean, from a purely mathematical standpoint as an aspect of PDE theory, is the non-smoothness of point particle trajectories due to exact collisions in the HJ equations equivalent to the "runaway" solution problem in Farnes' model?
We are talking about ODEs not PDEs.

From a mathematical point of view, as long as the right hand side is Lipschitz continuous (i.e., no collision), the solution can be shown to be continuous differentiable until it reaches either the boundary or infinity. Thus the solution exists either for all times, or there is a collision, or there must be a finite time for escape to infinity.
 
  • Like
Likes Auto-Didact
  • #235
A. Neumaier said:
We are talking about ODEs not PDEs.
Ah yes, of course. Forgive my sloppiness, I tend to just regard ODEs as special cases of PDEs without giving any proper formal mathematical justification.
 
  • #236
Auto-Didact said:
Ah yes, of course. Forgive my sloppiness, I tend to just regard ODEs as special cases of PDEs without giving any proper formal mathematical justification.
They behave very differently in practice, hence it is rarely appropriate to treat ODEs as special PDEs. One rather does the opposite, and treats time-dependent PDEs as ODEs in appropriate Banach spaces!
 
  • Like
Likes bhobba
  • #237
A. Neumaier said:
They behave very differently in practice, hence it is rarely appropriate to treat ODEs as special PDEs. One rather does the opposite, and treats time-dependent PDEs as ODEs in appropriate Banach spaces!
Yes, I know. My 'classification' isn't based on how to solve equations, but instead more of an attempt to more easily taxonomize DEs as mathematical entities based purely on the visual form of the equation.

Edit: this has a lot to do with my biased view of always viewing DEs as dynamical systems (and sometimes geometrically) and applying qualitative methods like drawing phase diagrams, etc.; in my research I usually only tackle nonlinear dynamical systems.

Now that I recall, this was in fact also the way that I was first introduced to HJ theory, namely by drawing vector fields, analyzing orbits in phase space and classifying their stability, before learning Hamiltonian/Lagrangian mechanics and QM.
 
Last edited:
  • #238
Auto-Didact said:
Y
Edit: this has a lot to do with my biased view of always viewing DEs as dynamical systems (and sometimes geometrically) and applying qualitative methods like drawing phase diagrams, etc.; in my research I usually only tackle nonlinear dynamical systems.
But this would mean that you view everything as an ODE, not as a PDE!?
 
  • Like
Likes Auto-Didact
  • #239
A. Neumaier said:
But this would mean that you view everything as an ODE, not as a PDE!?
I'm not sure, I suspect I have internalized it so much that I don't consciously make the distinctions anymore; in practice, the situation almost never arises that I actually need to manually solve a DE anymore: instead I just feed it into Mathematica, occasionally only needing to rewrite things a bit using Fourier or Laplace transforms before Mathematica is able to spit out an answer.

I think the rise of computer algebra systems, such as Mathematica, have in a sense made me somewhat lazy/sloppy and simultaneously increased productivity enormously. As a result, I (as well as others) just tend to forego formal labeling altogether and just refer to all differential equations and difference equations (iterative maps) collectively as dynamical system.
 
  • Like
Likes Demystifier
  • #240
A. Neumaier said:
But this would mean that you view everything as an ODE, not as a PDE!?
I like to view a PDE as an uncountably infinite set of coupled ODE's. :biggrin:
 
  • Like
Likes Auto-Didact
  • #241
I suspect an analogy can be made with the following:
if the problem is a broken bone, depending mainly on the size of the fractured bone, the frequency of this kind of fracture and the simplicity of the surgery, it is either carried out by a traumatologist (a surgeon) or a orthopaedist (a bone specialist); the orthopaedist classifies fractures carefully (using mechanics and geometry) and reasons logically towards a plan of attack, while the average traumatologist just repairs routinely using the tools at hand: if the problem is too difficult, he will refer it to the orthopaedist.

Replace 'fracture' with '(difficult) equation', 'traumatologist' with 'physicist/engineer/etc' and 'orthopaedist' with 'mathematician'. In fact the only reason I suspect I think ODEs can be seen as special cases of PDEs is because both the textbook said so and my mathematician friend, who I tend to consult when specialist care is really required for some problem, also says so.
 
  • Like
Likes Demystifier
  • #242
Auto-Didact said:
As a result, I (as well as others) just tend to forego formal labeling altogether and just refer to all differential equations and difference equations (iterative maps) collectively as dynamical system.
But this can be quite misleading. There is nothing dynamical in an elliptic pde.
Auto-Didact said:
because both the textbook said so and my mathematician friend, who I tend to consult when specialist care is really required for some problem, also says so.
I would have strong reservations towards such a textbook or mathematician.
 
  • Like
Likes bhobba and Auto-Didact
  • #243
Auto-Didact said:
I suspect an analogy can be made with the following:
if the problem is a broken bone, depending mainly on the size of the fractured bone, the frequency of this kind of fracture and the simplicity of the surgery, it is either carried out by a traumatologist (a surgeon) or a orthopaedist (a bone specialist); the orthopaedist classifies fractures carefully (using mechanics and geometry) and reasons logically towards a plan of attack, while the average traumatologist just repairs routinely using the tools at hand: if the problem is too difficult, he will refer it to the orthopaedist.

Replace 'fracture' with '(difficult) equation', 'traumatologist' with 'physicist/engineer/etc' and 'orthopaedist' with 'mathematician'. In fact the only reason I suspect I think ODEs can be seen as special cases of PDEs is because both the textbook said so and my mathematician friend, who I tend to consult when specialist care is really required for some problem, also says so.
I thought it was me who likes to use funny metaphors. :biggrin:
By the way, do you like Dr. House, who also likes funny metaphors?
 
  • Like
Likes Auto-Didact
  • #244
A. Neumaier said:
But this can be quite misleading. There is nothing dynamical in an elliptic pde.
You are correct of course, but as I'm sure you are aware old habits die hard. In my defense, static in physics or science often is just a case of dynamic equilibrium, just like zero velocity also is a perfectly reasonable velocity.
A. Neumaier said:
I would have strong reservations towards such a textbook or mathematician.
The textbook was pretty good though (Kreyszig), but I know what having beef with a textbook (Ballentine) means. In any case, that's why you are the mathematician and I am not.
Demystifier said:
I thought it was me who likes to use funny metaphors. :biggrin:
By the way, do you like Dr. House, who also likes funny metaphors?
Yeah for sure, learned a lot like personally avoid the patient at all costs, it's never lupus and everybody lies :oldeyes:

Incidentally, I have also, like him, on a number of occasions consider(ed) to leave medicine and go study dark matter :redface:
 
  • Like
Likes Demystifier
  • #245
Auto-Didact said:
In my defense, static in physics or science often is just a case of dynamic equilibrium, just like zero velocity also is a perfectly reasonable velocity.
Thus you view algebraic equations as a particular case of ordinary differential equations?
 
  • Like
Likes Auto-Didact

Similar threads

Replies
28
Views
3K
Replies
13
Views
2K
Replies
121
Views
10K
Replies
17
Views
3K
Replies
21
Views
3K
Replies
16
Views
3K
Replies
1
Views
5K
Back
Top