Nonstandard Null Lagrangians and gauge Functions for Newtonian Law of Inertia

New null Lagrangians and gauge functions are derived and they are called nonstandard because their forms are different than those previously found. The invariance of the action is used to make the Lagrangians and gauge functions exact. The first exact nonstandard null Lagrangian and its gauge function for the law of inertia are obtained, and their physical implications are discussed.


Introduction
Most classical and quantum theories of modern physics are formulated using the standard Lagrangians and Lagrangian formalism [1]. There are also nonstandard Lagrangians, whose applications to physics are considered in [2], and null Lagrangians, whose relevance to ordinary differential equations (ODEs) has already been studied [3]. The main objective of this paper is to derive a new set of nonstandard null Lagrangians and their gauge functions, make them exact, and apply them to the law of inertia.
In the calculus of variations, the action A[x(t)], where x(t) is a dynamical variable (or classical object's trajectory) that depends on time t, is defined as an integral over a local real function called a Lagrangian [4], which, for a second-order ODE, is denoted as L(ẋ, x, t), where the time derivativeẋ represents the particle's velocity in dynamics. The Hamilton principle [1,4] requires that A[x] be stationary (to have either a minimum or maximum or saddle point), which is mathematically expressed as δA = 0, where δ is the functional (Fréchet) derivative of A[x(t)] with respect to x. The necessary condition that L(ẋ, x, t) satisfies the Hamilton principle isÊL[L(ẋ, x, t)] = 0, whereÊL is the Euler-Lagrange operator [4].
A general second-order ODE with constant coefficients is of the formDx(t) = 0, whereD = d 2 /dt 2 + bd/dt + c is a linear operator and b and c are constants. LetD o be the operator with b = c = 0, andD c be the operator with b = 0. Then, forD o x(t) = 0, its Lagrangian depends only onẋ 2 . However, forD c x(t) = 0, its Lagrangian depends on bothẋ 2 , the kinetic energy-like term, and x 2 , the potential energy-like term, as originally shown by Lagrange [5]. Moreover, ifDx(t) = 0, its Lagrangian becomes the

Standard Null Lagrangians
For the considered ODEs of the formDx(t) = 0, its standard Lagrangian is given by This Lagrangian was first derived by Caldirola [6] and Kanai [7], and it reduces to that given originally by Lagrange [5], if b = 0. One of the well-known null Lagrangians [4] is where c 1 is an arbitrary constant. In this Lagrangian, the power of the dependent variables is the same as in the standard Lagrangian given by Equation (1); however, the dependent variable and its derivative are mixed.
Recently [35], L sn1 (ẋ, x) was generalized to where c 2 , c 3 , and c 4 are arbitrary constants, and L sn2 becomes L sn1 if c 2 = c 3 = c 4 = 0. This Lagrangian was constructed based on the principle that the power of the terms with the dependent or independent variable, or their combination, does not exceed the power of the terms in the original standard Lagrangian given by Equation (1). Since the gauge function Φ sn2 (x, t) is given [35] by Following [36], the derived Φ sn2 (x, t) is generalized by replacing its constant coefficients by arbitrary functions that depend only on the independent variable. Then, the standard GF, Φ sn3 (x, t), can be written as: Since Φ sn3 (x, t) is a function of the variables x and t, and its total derivative results in the following general standard null Lagrangian where f 1 (t), f 2 (t), f 3 (t), and f 4 (t) are arbitrary but at least twice differentiable functions of the independent variable [37]. Additional constraints on these functions are presented in Section 4, where invariance of the action is considered. The generalization of the gauge function given by Equation (6), is one natural way to obtain a new NL, but there is also another way, namely, by replacing the constant coefficients in L sn2 (ẋ, x, t) (see Equation (3)) by the functions f 1 (t), f 2 (t), f 3 (t), and f 4 (t). The result is: ApplyingÊL{L s,test (ẋ, x, t)} = 0, it is found that L sn4 (ẋ, x, t) is a NL if, and only if, the following conditioṅ on the functions f 1 (t), f 2 (t), and f 3 (t) is imposed.
There are several different solutions to Equation (9); the simplest one is f 1 (t) = c 1 , f 2 (t) = c 2 , and f 3 (t) = c 3 , which reduces L sn4 (ẋ, x, t) to L sn2 (ẋ, x, t) without any generalization, but with an additional requirement that f 4 (t) = c 4 . More interesting cases are: In all three cases, three new standard NLs are obtained.
Since the functions f 1 (t), f 2 (t), and f 3 (t) in L sn4 (ẋ, x, t) are limited by the auxiliary condition, given by Equation (9), and since L sn3 (ẋ, x, t) does not require any restrictions on these functions, the standard NL, given by Equation (7), is more general than L sn4 (ẋ, x, t); thus, the standard general NL becomes L sgn (ẋ, x, t) = L sn3 (ẋ, x, t).
The following Corollary summarizes (without a formal proof) the results obtained in this Section.
Corollary: The Lagrangian L sgn (ẋ, x, t) is the general null Lagrangian among all null Lagrangians that can be constructed based on the principle that the power of the dependent variable cannot exceed the power of this variable in the SL, given by Equation (1).

Nonstandard Null Lagrangians
Any Lagrangian different from L s (ẋ, x) is a nonstandard Lagrangian. Among different known nonstandard Lagrangians, the most commonly used [15,16,17,18,19] is: where g 1 (t), g 2 (t), and g 3 (t) are arbitrary and differentiable functions to be determined. Since there are no nonstandard NLs in the literature, the objective of this paper is to find them. The procedure is based on the two following conditions. First, for a null Lagrangian to be called nonstandard, it must be of different form than the standard NLs, given by Equations (3) and (7), and its form must be similar to that of Equation (10). The latter means that it must containẋ, x, and arbitrary functions of t, or constants. The second condition is similar to that used to construct L sn2 (ẋ, x, t), L sn3 [ẋ, x, t] and L sn4 (ẋ, x, t), namely, the power of the dependent variable and its derivative must not exceed their order in the nonstandard Lagrangian given by Equation (10). The obtained nonstandard null Lagrangians are presented in Propositions 1 and 2, and in the Corollaries that follow them.
Corollary: Let L nsn1 [ẋ, x] be the nonstandard null Lagrangian given by: Corollary: Another nonstandard null Lagrangian that can be constructed however, the Lagrangian and gauge function do not obey the first condition; thus, they will not be further considered.
Generalization of L nsn1 (ẋ, x) is now presented in Proposition 2. Proposition: Let h 1 (t), h 2 (t), and h 4 (t) be at least twice differentiable functions and L nsn1 (ẋ, x) be the nonstandard null Lagrangian given by Equation (12), with the corresponding nonstandard gauge function given by Equation (13). A more general nonstandard null Lagrangian is obtained if, and only if, the constants in Φ nsn1 (x) are replaced by the functions h 1 (t), h 2 (t), and h 4 (t).
Proof: Replacing the constant coefficients a 1 , a 2 , and a 4 in L nsn1 (ẋ, x) by the functions h 1 (t), h 2 (t), and h 4 (t), respectively, the resulting Lagrangian is: .
UsingÊL{L ns,test2 (ẋ, x, t)} = 0, it is found that L ns,test2 (ẋ, x, t) is the nonstandard NL only when h 1 (t) = a 1 , h 2 (t) = a 2 and h 4 (t) = a 4 , which reduces L ns,test2 (ẋ, x, t) to L nsn1 (ẋ, x, t) and shows that no generalization of L nsn1 (ẋ, x, t) can be accomplished this way. Now, replacing the constant coefficients in Φ nsn1 (x) by the functions h 1 (t), h 2 (t) and h 4 (t) generalizes the gauge function to Since the total derivative of any differentiable scalar function that depends on x and t is a null Lagrangian, the following nonstandard NL is obtained: As expected,ÊL{L nsgn (ẋ, x, t)} = 0; thus, L nsgn (ẋ, x, t) is the general nonstandard null Lagrangian when compared to Equation (12). This concludes the proof.
The derived L nsgn (ẋ, x, t) and Φ nsgn (ẋ, x, t) represent new families of nonstandard general NLs and their GFs. These NLs and GFs were derived based on the condition that the power of the dependent variable in the nonstandard general NLs is either the same as, or lower than, that displayed in the original NSL given by Equation (10).

Action Invariance and Conditions for Exactness
Since the functions in the standard and nonstandard general null Lagrangians are arbitrary, they require either mathematical or physical constraints, or both. Among possible mathematical constraints is invariance of the action, which is used to introduce exact gauge functions [36], and symmetries of Lagrangians and the resulting dynamical equations [38,39,40,41,42]. Moreover, by using Galilean invariance [35], the additional physical constraints are imposed on the GFs [36]. Here, only the invariance of the action is applied to the obtained standard and nonstandard general NLs and GFs; symmetries of Lagrangians are also briefly discussed.
In the calculus of variations, the action is defined as: where t o and t e denote initial and final times, L is a Lagrangian that can be either any SL or any NSL, L null is any null Lagrangian and Φ null is its gauge function. Since both Φ null (t e ) and Φ null (t o ) are constants, they do not affect the Hamilton principle that requires δA[x] = 0. However, the requirement that ∆Φ null = Φ null (t e ) − Φ null (t o ) = const adds this constant to the value of the action. In other words, the value of the action is affected by the gauge function. Using invariance of the action, the following definitions are introduced. Definition: A null Lagrangian, whose ∆Φ null = 0, is called the exact null Lagrangian (ENL).
Definition: A gauge function with ∆Φ null = 0 is called the exact gauge function (EGF).
The condition ∆Φ null = 0 is satisfied when either Φ null (t e ) − Φ null (t o ) = 0, or Φ null (t e ) = 0 and Φ null (t o ) = 0; let the latter be valid. Then, the exact null Lagrangians are those whose exact gauge functions make the action invariant.
Invariance of the action may now be used to establish constraints on the arbitrary functions in the standard NL, L sgn (ẋ, x, t) (see Equation (7)), and its gauge function, Φ sgn (x, t) (see (6)), and make them exact. Taking Φ sgn (t e ) = 0 and Φ sgn (t o ) = 0, the following conditions are obtained: and with x e = x(t e ) and Applying the same procedure to L nsgn (ẋ, x, t), (see Equation (16)), and to the resulting general gauge function Φ nsgn (ẋ, x, t), (see Equation (15)), the conditions on the arbitrary functions are: and Since ln[h 2 (t e )x + h 4 (t e )] = 0 and ln[h 2 (t e )x + h 4 (t e )] = 0, both conditions set up stringent limits on the function h 1 (t), whose end values must be: h 1 (t e ) = 0 and h 1 (t o ) = 0; however, the procedure does not impose any constraint either on h 2 (t) or on h 4 (t).
Further constraints on all arbitrary functions that appear in the standard and non-standard, general, exact null Lagrangians (ENLs) can be imposed by considering symmetries of these Lagrangians and the resulting dynamical equations. In general, Lagrangians posses less symmetry than the equations they generate [38]. Among different symmetries, Noether and non-Noether symmetries are identified [39,40,41,42]. The presence of NLs does not affect the Noether symmetries [38,41]; however, it may effect the non-Noether symmetries [42]. All these symmetries impose new constraints on the functions.

Applications to Newtonian Law of Inertia
Let (x, y, z) be a Cartesian coordinate system, and let t be time in all inertial frames; then the one-dimensional motion of a body in one inertial frame is given byD o x(t) = 0, which represents the law of inertia. Let t o = 0 and t e = 1 be the end conditions, and let x(0) = x o = 1, x(1) = x e = 2 andẋ(0) = u o be the initial conditions. Then, the solution toD o x(t) = 0 is x = u o t + 1.
The standard Lagrangian for this equation of motion is given by Equation (1), with the coefficients b = c = 0, and no arbitrary function to be determined. However, the standard general NL and the corresponding GF are given by Equations (7) and (6), respectively. To make the NL and GF exact, the following conditions (see Equations (18) and (19)) must be imposed on the arbitrary functions: and These conditions guarantee that L sgn (ẋ, x, t) and Φ sgn (x, t) are the standard general ENL and the standard general EGF, respectively.
The nonstandard Lagrangian for the law of inertia is presented by the following Proposition.
Proposition: Let g 1 (t), g 2 (t), and g 3 (t) be arbitrary but differentiable functions, and letD o x(t) = 0 be the equation of motion for the law of inertia. Then, the nonstandard Lagrangian for this equation of motion is: where a o , v o , C 1 , and C 2 are constants. Proof: Following [18], the functions must satisfy Eliminating g 2 (t) from Equations (25) and (26), and defining u(t) =ġ 1 (t)/g 1 (t), one obtains:u which is a special form of the Riccati equation. Following [22], the solution to Equation (28) is: with v(t) representing a solution tov(t) = 0, which is the auxiliary condition [21,22]. The initial conditions v(t = 0) = v o andv(t = 0) = a o are different from those used forD o x(t) = 0. Then, the solution becomes v(t) = a o t + v o , and the functions g 1 (t), g 2 (t) and g 3 (t) become where C 1 is an integration constant. Having obtained g 1 (t), g 2 (t) becomes Finally, g 3 (t) can be found by eliminating g 1 (t) and g 2 (t) from Equation (26). The solution is where C 2 is an integration constant. Substituting g 1 (t), g 2 (t), and g 3 (t) into Equation (10), forD o x(t) = 0, the following final form of the NSL is obtained which is the same as that given by Equation (24). This concludes the proof. The derived NSL depends on two constants, a o and v o , which are given by the initial conditions forv(t) = 0, and two arbitrary constants, C 1 and C 2 , which may be determined by the initial conditions forD o x = 0. It is easy to verify that L ns (ẋ, x, t) givesD o x(t) = 0 when substituted into the E-L equation. This is the first example of the nonstandard Lagrangian for the Newtonian law of inertia.
The nonstandard general null Lagrangian L nsgn (ẋ, x, t), and its gauge function, Φ nsgn (x, t), are given by Equations (16) and (15), respectively. To make this NL and its GF exact, the following conditions must be obeyed (see Equations 20 and 21)): and Since ln[h 2 (1) + h 4 (1)] = 0 and ln[h 2 (0) + h 4 (0)] = 0, the end values of the function h 1 (t) must be: h 1 (1) = 0 and h 1 (0) = 0, but the end values of either h 2 (t) or h 4 (t) are not limited by the conditions for exactness. Further constraints on the functions h 1 (t), h 2 (t), and h 4 (t) may be imposed by considering symmetries and Lie groups [26] of the derived nonstandard general ENL (see Section 4). With these constraints, the first nonstandard EGF for the law of inertia is obtained.
The derived nonstandard null Lagrangians are of different forms when compared to the standard null Lagrangians obtained in Section 3; therefore, it is suggested that the NLs be divided into two separate sets. In previous work [35,36], it was shown that standard null Lagrangians and their gauge functions can be used to restore Galilean invariance of Lagrangians in classical mechanics, and to introduce classical forces. The main physical implication of the results obtained in this paper is that similar restoration of invariance of Lagrangians and definition of forces can also be carried out by using the derived general nonstandard NLs, and that the resulting forces will be of different forms from those previously determined [36]. The fact that not all general standard NLs contribute to the forces was shown by [37]; only NLs of special forms can be used to define forces [36,37]. In general, most NLs have no influence on these forces. It remains to be determined whether the derived general nonstandard null Lagrangian and its gauge function define forces, and whether they can be used to convert the first law of dynamics into the second law; however, such studies are beyond the scope of this paper.
The presented methods of finding general standard and nonstandard ENLs and their EGFs can be extended to all second-order ODEs of the formDx(t) = 0, which includes the equations of motion of undamped and damped oscillators, and other dynamical systems. In previous work [43], the general standard ENLs and EGFs were derived for the Bateman oscillators; however, the nonstandard ENLs and EGFs are yet to be obtained. The presented methods may also be generalized to partial differential equations of quantum mechanics, such as the Schrödinger equation.

Conclusions
This paper presents methods to construct null Lagrangians. Using these methods, two different sets of null Lagrangians were obtained and classified as standard and nonstandard. The corresponding sets of gauge functions were also derived. The presented general standard null Lagrangians are known, but the general nonstandard null Lagrangians obtained in this paper are new. Since there are differences in the forms and properties of the two sets of null Lagrangians, it is suggested that these Lagrangians be divided into two classes that correspond to these sets.
The invariance of the action is used to introduce the exactness of both general standard and nonstandard gauge functions. Having obtained the exact gauge functions, they are used to derive the exact null Lagrangians. All null Lagrangians and gauge functions, derived in this paper are exact, which gives constraints on the end values of the arbitrary functions these Lagrangians and gauge functions depend on. Further constraints can be imposed by symmetries of the exact null Lagrangians and the corresponding exact gauge functions, as well as their underlying Lie groups [26].
The obtained results are applied to the ordinary differential equation (ODE) that represents the law of inertia for which the general exact nonstandard null Lagrangian and the corresponding general exact gauge function are derived. It is suggested that the derived Lagrangian and gauge function be used to restore Galilean invariance of the standard Lagrangian for this law, and to introduce forces as carried out in the previous work for the general standard null Lagrangians [35,36,37]. Since there are significant differences between the general standard and nonstandard null Lagrangians, the resulting forces must also be different, which may allow establishing a general procedure of defining forces in classical mechanics independently from Newton's law of dynamics.
Finally, it must be pointed out that the same method can be used to obtain the general exact nonstandard null Lagrangians and their gauge functions for any ODE given byDx(t) = 0, and that it can be extended to homogeneous and inhomogeneous partial differential equations, and applied to physical problems described by these equations.