Related papers: Li(e)nearity
We prove a fractional Noether's theorem for fractional Lagrangian systems invariant under a symmetry group both in the continuous and discrete cases. This provides an explicit conservation law (first integral) given by a closed formula…
We present a polymorphic linear lambda-calculus as a proof language for second-order intuitionistic linear logic. The calculus includes addition and scalar multiplication, enabling the proof of a linearity result at the syntactic level.
The connection between symmetries and linearizations of discrete-time dynamical systems is being inverstigated. It is shown, that existence of semigroup structures related to the vector field and having linear representations enables…
The relation between symmetries and local conservation laws, known as Noether's theorem, plays an important role in modern theoretical physics. As a discrete analog of the differentiable physical system, a good numerical scheme should admit…
In this paper, within the framework of the consistent approach recently introduced for approximate Lie symmetries of differential equations, we consider approximate Noether symmetries of variational problems involving small terms. Then, we…
The existence of a Lagrangian description for the second-order Riccati equation is analyzed and the results are applied to the study of two different nonlinear systems both related with the generalized Riccati equation. The Lagrangians are…
It is investigated how two (standard or generalized) $\lambda-$symmetries of a given second-order ordinary differential equation can be used to solve the equation by quadratures. The method is based on the construction of two commuting…
A generalization of the already studied transformations of the linear differential equation into a system of the first order equations is given. The proposed transformation gives possibility to get new forms of the N-dimensional system of…
The different natures of approximate symmetries and their corresponding first integrals/invariants are delineated in the contexts of both Lie symmetries of ordinary differential equations and Noether symmetries of the Action Integral.…
We study a nonlinear system of partial differential equations which describe rotating shallow water with an arbitrary constant polytropic index $\gamma $ for the fluid. In our analysis we apply the theory of symmetries for differential…
The geometric linearization of nonlinear differential equation is a robust method for the construction of analytic solutions. The method is related to the existence of Lie symmetries which can be used to determine point transformations such…
We classify the Lie point symmetries for the 2+1 nonlinear generalized Kadomtsev-Petviashvili equation by determine all the possible f(u) functional forms where the latter depends. For each case the one-dimensional optimal system is…
The invariance theorems obtained in analytical mechanics and derived from Noether's theorems can be adapted to fluid mechanics. For this purpose, it is useful to give a functional representation of the fluid motion and to interpret the…
We prove two general theorems which determine the Lie and the Noether point symmetries for the equations of motion of a dynamical system which moves in a general Riemannian space under the action of a time dependent potential…
For a nonlinear ordinary differential equation solved with respect to the highest order derivative and rational in the other derivatives and in the independent variable, we devise two algorithms to check if the equation can be reduced to a…
We present a linearity theorem for a proof language of intuitionistic multiplicative additive linear logic, incorporating addition and scalar multiplication. The proofs in this language are linear in the algebraic sense. This work is part…
A characterization of the symmetry algebra of the $n$th order ordinary differential equations (ODEs) with maximal symmetry and all third order linearizable ODEs is given. This is used to show that such an algebra $\mathfrak{g}$ determines…
Twisted symmetries, widely studied in the last decade, proved to be as effective as standard ones in the analysis and reduction of nonlinear equations. We explain this effectiveness in terms of a Lie-Frobenius reduction; this requires to…
A four dimensional non-trivial extension of the Poincar\'e algebra different from supersymmetry is explicitly studied. Representation theory is investigated and an invariant Lagrangian is exhibited. Some discussion on the Noether theorem is…
Noether and Lie symmetry analyses based on point transformations that depend on time and spatial coordinates will be reviewed for a general class of time-dependent Hamiltonian systems. The resulting symmetries are expressed in the form of…