1. Introduction
The present paper proposes a possible theoretical frame to define and implement the Lagrange equation. Various theoretical models are reported in the literature to formulate Lagrangians with modified local Lorentz transformations [1] , or with potentials formulated directly from the relativistic metric [2] or with geometrical meaning [3] . Considering for simplicity but without loss of generality a one-dimensional frame, the standard Lagrange equation is defined by
; (1.1)
as it is known
,
. (1.2)
These equations are deterministic, as the notations
signify infinitesimal ranges of the respective generalized dynamical variables: in fact, besides the mere mathematical features of the definitions (1.1) and (1.2), via L the local coordinates x and t are defined as a function of which
and
are calculated. This implies in turn the physical meaning of all these dynamical variables.
Just this conclusion, clearly unphysical because it violates the Heisenberg principle, emphasizes the crucial reason of the difficulty of unifying relativity and quantum physics [4] . In fact, the relativity is basically classical physics crucially enriched by four fundamental concepts [5] : 4-dimensional geometry of non-Euclidean space time, equivalence principle, finite and invariant light speed in vacuum, covariance principle. However, the mathematical tool to implement and quantify these ideas, the space time metrics, is deterministic: the tensor calculus describes the space time as a classical entity whose local geometry, flat or curved by the presence of mass, is exactly knowable as a function of coordinates, momenta and energy. The conceptual difficulty of merging the quantum non-locality and non-reality on the one side with the relativistic determinism on the other side is evident. As long as the specific physical problems do not involve quantum constraints, e.g. the perihelion precession of planets or the light beam bending, everything works well: it’s worth the same idea that the macroscopic stability of a building is successfully calculable without caring about the Schrödinger equation and its conceptual basis. In fact, however, the E.P.R. paradox [6] that should demonstrate the incompleteness of the quantum mechanics, has instead evidenced just the incompleteness of the general relativity: the concept of entanglement able to explain interactions at superluminal distances demonstrated that quantum ideas are required to save the validity of one of the foundations of relativity, i.e. the finite limit value of light speed.
Moreover, it is shown in [7] [8] that the metric of the special relativity allows calculating the Lorentz transformation properties of the three classical components of the angular momentum; it is crucial the fact that this further conflict of the relativistic mathematical frame with the requirements of quantum physics is not due to the lucid reasoning exposed in the quoted textbooks, but to the unjustified application of the relativistic metrics outside the appropriate frame of classical physics.
Now consider in this respect finite coordinate and momentum component ranges
and
requiring that any coordinate
and any corresponding momentum
in the respective ranges should be equivalently and indistinguishably considered in calculating the allowed states of a physical system; in turn it means accrediting physical meaning to the whole ranges of values, and not to the random local dynamical variables they enclose. The agnosticism of the quantum uncertainty removes the link between an arbitrary x in its allowed range and the corresponding
and
in its allowed range.
All of this means excluding
for
, because this limit would admit the physical meaning of local conjugate dynamical variables. These considerations hold of course for (1.1) and (1.2). Appears thus appropriate the idea of a “quantum Lagrangian” inherently incorporating itself the requirements of the physical context it implements, in particular the features of a non-local and non-real quantum frame. In other words, it appears sensible to modify the starting point (1.1) in order that the probabilistic character of the quantum world becomes since the beginning compliant with the appropriate formulation of its descriptive tool.
Previous papers [4] have evidenced that introducing the concept of quantum uncertainty helps not only to solve quantum problems but also to find relativistic results in a straightforward and simple way.
All of this suggests that (1.1) and (1.2), despite their huge classical importance, are actually improvable to overcome the conceptual gap between classical physics, relativity and quantum world.
The Lagrangian is the basic foundation of the standard model [9] ; clearly, the idea of formulating quantum problems simply implementing a form of (1.2) and (1.1) modified since the beginning according to the quantum uncertainty appears reasonable and rational. The present paper aims to highlight how to demonstrate the physical validity of these introductory premises and implement a non-deterministic Lagrangian to solve quantum and relativistic problems.
2. Preliminary Considerations
Redraft now (1.1) according to the uncertainty equation
(2.1)
writing instead
,
,
(2.2)
and then waiving the limits
. Several papers have shown that (2.1) are direct corollary of the operative definition of space time [10]
(2.3)
and allow merging relativity and quantum physics; here the crucial point is to replace the deterministic metrics with the non-local and non-real character of (2.1) [4] . Seemingly (2.2) is a replica of (1.2) simply with different notation. Instead, replacing
with
introduces a huge conceptual gap between (2.2) and (1.1): the former symbol implies local values of any function
at x and
, the latter waives in fact the coordinates being both x and
arbitrary and unknown along with
itself.
Are here remined only a few remarks on (2.1) to justify some algebraic steps introduced below; further details about this agnostic theoretical background and its implications for quantum systems are reported in [11] [12] . Here it is worth remarking that: 1) the ranges of dynamical variables concerned in (2.1) are arbitrary and unknown, 2) the concept of derivative is replaced by that of mere ratio of ranges, 3) any approach based on (2.1) necessarily assumes a space time conceptual frame and 4) actually (2.1) is not linked to a specific reference system where are defined all ranges. The last item is so crucial to deserve being shortly sketched here for completeness. Regard the range sizes as multiple of the respective Planck units, e.g. let be
and
; then
[4] : the starred symbols are arbitrary real numbers, n of (2.1) is arbitrary integer with the meaning of number of allowed quantum states. An analogous result holds for
, as it is immediate to verify, so (2.1) reads with obvious meaning of symbols
. (2.4)
This means that formulating any physical problem after having replaced systematically the local dynamical variables via the corresponding uncertainty ranges, the resulting equations bypass by definition the necessity of specifying the reference system. The relevance of this statement in relativity is self-evident, likewise the quantization introduced by n. In effect, let
and
be defined in different inertial reference system in relative constant motion. As n and
symbolize sequences of integers, and not a specific number, it appears that the primed and unprimed products of conjugate variables are actually indistinguishable; in both reference systems, the products in (2.1) yield sequences of numbers,
and
, arbitrary and unknowable by definition. So just the quantization justifies why different reference systems become in fact indistinguishable. Even the concept of derivative takes in the present model the mere meaning of ratio of uncertainty ranges; previous papers have addressed this subtle point [4] , which is further explained in the following as it is essential to emphasize the validity of this statement. Here it is worth considering that the classical concept of local velocity
implies that both differentials
and
must tend concurrently to zero to define v somewhere in the space time. According to (2.1), instead, v is definable via two separate and independent uncertainty ranges
and
about which nothing is known: in fact the classical requirement of their concurrent tending to any value, e.g. both to zero, would imply introducing deterministic information and thus would violate their total agnosticism compelled by the quantum uncertainty. For this reason
is mere ratio of two independent ranges, which does not exclude that both range sizes can be arbitrarily small although anyway finite. So the usual differential
reads
in the present model, which holds at the first order approximation for
in principle finite and fulfilling (2.1).
Consider now that (2.1) implies
i.e.
, (2.5)
being
acceleration by dimensional reasons; also
,(2.6)
where
is the change of range size
during a given time lapse
at which are defined both
and
. Note that
is the change rate of
, whereas
is the velocity component of the particle concerned by
and
; the fact that in (2.6)
, is due to the total delocalization of m in
whatever the size of this latter might be. So the change
of
requires changing
of m by
for the particle to fit entirely the new confinement range; as the rate at which moves the confined particle is
, it follows that
as well. This has to do with the finite velocity with which propagates any perturbation/interaction throughout the space time described by (2.1). It follows from the second (2.5)
(2.7)
being m a constant mass and
acceleration. Moreover, it is also true that (2.1) implies
; (2.8)
i.e. according to (2.5) just this property of all variable delocalization range is equivalent in general to the rising of a force field
within
, whose particular physical meaning does not need being specified. In other words, the fact that the force is mere consequence of the stretching/shrinking of the space time delocalization range is nothing else but the generalization of the Einstein concept of space time curvature responsible of and appearing as the gravity: here however, owing to the form of (2.1), the concept of force is relatable according to (2.8) to any physical reason that implies modification rate, not necessarily just curvature, of the space time uncertainty ranges. The Einstein intuition is found here as a corollary of the quantum uncertainty along with the equivalence principle [4] . So, (2.7) yields
(2.9)
that in turn reads with the help of (2.6)
,
,
. (2.10)
On the one hand (2.8) reads
,
; (2.11)
on the other hand, it is reasonable to expect that
is related to the change of kinetic energy of m, i.e.
according to (2.5) and (2.10). So
. Hence
,
. (2.12)
This result merges (2.10) and (2.11) and is therefore the sought Lagrange equation compliant with the non-deterministic definition (2.12) of L; moreover
, (2.13)
which is just the expected result in agreement with (2.10).
In summary the Lagrange Equations (2.12) are related to (2.1); is significant that
is no longer a local value, as stated in the introduction, since now
. The fact that the uncertainty ranges can be unknowably infinitely large or infinitely small does not prevent approaching the same result of the classical approach via deterministic derivatives; yet these latter are mere extrapolation of a more general approach fulfilling the Heisenberg principle.
Three quantum and relativistic final remarks deserve attention, already concerned in [4] and sketched here.
-Note first why the uncertainty implies itself as a corollary the quantum indistinguishability of identical particles: (2.1) does not concern explicitly the particle but its phase space. The properties of the latter determine that of the former, not vice versa. So once having assessed motivation and usefulness of neglecting the local dynamical variables, systematically replaced by their corresponding ranges in describing any fundamental physical law like the Lagrangian, the attempt to distinguish two identical quantum particles about which nothing is known becomes intuitively unphysical.
-Also note why (2.1) imply the existence of an upper limit of velocity in the space time. Write the first (2.5) as
; so any finite
should yield
for
and thus
too. But this is a contradiction, because it would imply a local value
corresponding to the matching value of
; clearly the single value
cannot correspond to the range of values
about which no specific hypothesis is admissible without appropriate information about
and
. Is instead admissible
, with
and
arbitrary along with
arbitrary as well. So, the finite c prevents the determinism of a single
.
-In the previous equations
has been expressed as
in (2.9) and, whatever
might be, via
in (2.8) owing to (2.1). Note now that
, having taken
for simplicity: is it possible to merge these results? Write identically
(2.14)
being
an energy by dimensional reasons; so one finds
(2.15)
that in general is compliant with the form
. (2.16)
This is the well-known relativistic form of momentum obtained without special hypotheses. Of course this result is sensible because of the existence of a finite velocity c required according to the previous point.
-The scalar
, although concerned here as
for brevity, corresponds actually to any number of physical dimensions possible in the space time here symbolized generically by the subscript x: thus all considerations about (2.1) are by definition compatible with theories requiring extra dimensions [13] . The fact that
could be for example a radial distance or the component of any range size
or any extra dimension range
, agrees with the actual idea of truly generalized dynamical variables characterizing the Lagrange Equation (2.2).
It is worth emphasizing eventually that the present approach is not relativistic, likewise the previous ones e.g. [4] , but typically quantum: it does not implement the metric, but the Equation (2.1) as a conceptual basis.
This statement makes sense reminding the purposes that historically motivated the birth of quantum and relativistic theories: simplifying this statement as much as possible, the former aimed to explain why the electron does not fall into the nucleus, the latter to find a covariant physics. Whether or not (2.1) surrogate the premises of relativity, it is a subtle point already checked in previous papers and still in progress; even this model attempts to verify the chance of obtaining contextually relativistic results in a mere quantum frame. This expectation, legitimated by the previous four points 1) to 4) emphasizing the intrinsic features of (2.1), is in fact confirmed by the next results.
3. Generalization of the Equation (2.12)
To simplify the notations, the components
and
of
and
will be shortened simply as v and p in the following.
The Lagrange Equation (2.12) has been obtained via (2.1) only, yet with the help of some classical simplifications, i.e. to regard m independent of v and to assume explicitly
and
. In fact these assumptions are also introduced in the standard derivations of the classical Lagrangian for a conservative field: i.e. in the current literature
is local generalized coordinate,
is local generalized velocity. In effect, it is confirmed below that the previous definitions of generalized coordinate ranges and velocities still hold in the present model without requiring specific hypotheses; with such agnostic premises any consequent model results intuitively as general as possible. In principle, nothing hinders to think
; for example consider that actually in relativity the rest mass is a constant by definition whereas the dynamic mass depends on v, as
,
,
. (3.1)
Even this result has been obtained in the frame of a physical model based on (2.1) [4] .
This section aims thus to generalize significantly via (2.1) the meaning of the result (2.12) itself with the help of the definition (2.5) of generalized velocity. Define then
,
, (3.2)
being k an arbitrary exponent. It is necessary to calculate in agreement with (2.6) the ratios
,
(3.3)
and demonstrate that
,
. (3.4)
Calculate foremost
: (3.5)
the first (3.3) yields directly
, (3.6)
whereas the second (3.3) yields implementing v of (3.2) and (2.16)
,
. (3.7)
In turn, since in general for any function f holds
, (3.7) reads with the help of (3.5)
,
.(3.8)
Merge now (3.6) and (3.8). By subtracting side by side
,
(3.9)
the result is
(3.10)
because of course
. Hence
(3.11)
because the right hand side reads, according to the second (3.7),
,
. (3.12)
The result is thus, whatever f and the exponent k of (3.5) might be,
. (3.13)
Since (3.2) involves
only, with v defined by the uncertainty ranges
and
only, one infers through (2.4) that L holds regardless of the reference system where is defined v.
It is possible to think at this point that the physical worth of the definition (2.2) of L effectively rests on the generality of (3.2). To demonstrate in fact this conclusion, let us start from a known result [7] : let the Lagrangian of a free neutral particle be
,
, (3.14)
being
an appropriate constant energy in agreement with (2.15), and check how this function fits (3.4) in the conceptual frame so far introduced. In effect the previous definitions (3.2) and (3.5) imply
,
,
,
, (3.15)
so that the given value of k yields now in particular
; (3.16)
then trivial calculations yield
, (3.17)
being
. (3.18)
Let the constant
be for example
, according to (2.16), or any possible generalization of it depending on the specific physical problem. If so, since Y is momentum owing to (3.12), then (3.16) reads
,
:
these equations are well known outcomes of special relativity. Examine now two corollaries of (3.16).
-On the one hand (3.16) reads
, so that (3.7) yields
;
thus, likewise to (3.8), (3.11) and (3.12),
(3.19)
that of course is again the Lagrange equation. In turn it also follows
;
this result is interesting because it has an entropic form. The energy ratio
equals
if the ratio
has probabilistic meaning for the number of allowed quantum states pertinent to the given value of the ratio, for example putting
. This last result holds regardless of specific f and k, as it depends on the resulting generalized momentum Y only; so the arbitrary constant
allows regarding
and write
summing over all states of the system. Then
yields
:
i.e. the generalized Lagrangian is compatible with the Helmholtz free energy, with
in particular, or with the Gibbs free energy putting
.
-On the other hand
of (3.19) fits (2.1), noting that L is anyway an energy whereas Y is anyway a momentum; therefore
is nothing else but (2.1). Thus just (3.19) also yields, owing to (3.18),
,
,
,
: (3.20)
i.e., if at the right hand side of the first equation the product
space and time ranges is independent of v, then
is the Lorentz contraction of the proper space range size
where one confined particle is at rest, whereas
is the time dilation of the proper time range size
of the particle at rest. Eventually, as it also appears that
, (3.21)
one infers that
must be invariant in different reference systems in reciprocal motion; indeed, even the primed quantities are also referable to the same proper length and time.
A further remark about the force
; it is sensible to expect that this force is someway deducible from the definition of Y; indeed, since by definition
, (3.14) and (3.16) yield
,
.
In effect also this result is well known; it is concerned in [7] in particular for
and does not need further comments here; it is worth emphasizing that after having integrated the right hand side as a function of the left hand side
, the further integral over time of the velocity
tends to c at increasing
.
This last relativistic result is once more crucial to confirm the validity of the approach so far followed.
4. Discussion
In principle, the uncertainty ranges can be understood thinking to the confidence intervals unavoidably inherent any measurement process. Reasonably these intervals, and not the random outcomes of the single measurements, are reliable starting points to infer physical information; this simple analogy and the fact that the standard wave formalism is also obtainable as a byproduct of (2.1) [4] , are enough to realize why the chance to infer contextually both quantum and relativistic results is greatly simplified implementing the concept of uncertainty in its most agnostic form. Equation (2.1) have been tested in various quantum problems [11] [12] .
An example is so short to deserve being mentioned explicitly here. Infer the unique component
of quantum angular momentum merely knowing its classical definition
: write
, which reads
with
and
. So (2.1) imply
with
or
depending on whether
or not.
The values of
agree with the fact that here the quantum numbers of wave mechanics take the physical meaning of numbers of allowed quantum states of the angular momentum component, if any. This is the only possible result; changing
to find a further component
would trivially meaning repeating the same, unique information.
The chance of obtaining contextually a wide variety of quantum and relativistic results, already asserted in [4] , is confirmed here through the consistency of (2.2) with that concept of Lagrangian and helps understanding why (2.1) inferred from (2.3) have actual physical meaning, rather than the deterministic local values of the dynamical variables falling in these intervals.
It is instructive to verify now the results obtainable introducing in the conceptual frame so far outlined a different Lagrangian function
defined now by
instead of the well known one of (3.14). Repeating the steps (3.15) to (3.18), the previous definitions (3.2), (3.5) and (3.7) imply now
,
,
, (4.1)
being again
an appropriate constant energy; so (3.16) becomes
. (4.2)
Then on the one hand
, (4.3)
whereas on the other hand, by calculating
similarly to (3.7) and (3.8), (4.2) yields now
(4.4)
whence, comparing (4.3) and (4.4), one infers recalling (2.6)
. (4.5)
There is new information in (4.4) with respect to (3.14) of the free neutral particle, as it results rewriting the first equality as
;
the last term can be rewritten as follows
,
,
.
Then owing to (4.5) and to the Helmholtz decomposition theorem of vector calculus, which states that a 3D field rapidly decaying is equivalent to the sum of an irrotational and a solenoidal field, the right hand side can be also rewritten for sake of generality as
,
, (4.6)
being
an appropriate scalar function fulfilling the second condition: inserting the first (4.6) in (4.5) is still fulfilled (3.26) thanks to the second condition in agreement with (3.29). It indicates that the new choice (4.1) of the Lagrangian function is compatible with the new
, i.e.
. As the Lagrange equations are linear in L it is possible to write
. (4.7)
This result is well known to be the Lagrangian of a charged particle in an electromagnetic field [7] .
Eventually note that the Lagrange equation can be inferred uniquely via quantum considerations. Equation (2.1) imply inherently
,
;
this result confirms (3.19) and yields in turn
i.e.
.
Hence, owing to (2.6) and (2.5),
,
being m a constant mass, whence via (2.6)
,
,
. (4.8)
This generalized
can be reasonably handled with (3.2) and implementing even
, despite so far only the chance
has been concerned explicitly to demonstrate the connection of the present approach with the known Lagrangian of special relativity.
The usefulness of the present model also appears considering that the mere Newtonian potential, having the form
, admits actually a much more general formulation [4] .
So new perspectives appear plausible even in the extended case of non-Newtonian potentials
; for example, in the most general case where the particle is not free, e.g. because it interacts with several different fields, the functional dependence of
on v would imply
or a sum
corresponding to the superposition of several quantum k-states. Of course momentum and force of each
, pertinent to the form of the respective
, are still given by (3.5) and (3.7). Work is in progress on this point.
5. Conclusions
The model defines a Lagrange function directly relatable to classical, thermodynamic, relativistic and quantum results.
The chance of generalizing further the few cases highlighted in present paper is possible to appear, and in principle simple, by regarding appropriately (4.7): the sum of two terms possibly suggests a more general series expansion of L as a function of higher powers of Lorentz factors
.
If so, then some open questions arise concerning in particular the Lagrangian of the standard model: what kind of phenomena could describe these higher order terms of
with different f and k? Are the terms of this conceivable series expansion
related to the Feynman diagrams of the respective situations? Do these terms require new hypotheses to introduce the mass, or the mass is introducible via dimensional considerations only as in (4.8)?
Activity is in progress to clarify the actual physical implications of the generalization (2.2).