Related papers: On a Generalized Lam\'e-Navier system in $\mathbb{…
There are few approaches to the solution of a system of nonlinear differential equations in partial derivatives, for example $\cite{NK87} - \cite{EK98}$. In our paper we propose an approach that was used to solve the Navier-Stokes equations…
We formulate and study a generalized virial theorem for contact Hamiltonian systems. Such systems describe mechanical systems in the presence of simple dissipative forces such as Rayleigh friction, or the vertical motion of a particle…
Motivated by recent work in this area we expand on a generalization of port-Hamiltonian systems that is obtained by replacing the Hamiltonian function representing energy storage by a general Lagrangian subspace. This leads to a new class…
This paper addresses some fundamental issues in nonconvex analysis. By using pure complementary energy principle proposed by the author, a class of fully nonlinear partial diforerential equations in nonlinear elasticity is able to converted…
An algebraic algorithm is developed for computation of invariants ('generalized Casimir operators') of general Lie algebras over the real or complex number field. Its main tools are the Cartan's method of moving frames and the knowledge of…
We introduce linear Dirac and generalized complex structures on Cartan geometries and give criteria for Dirac subalgebras of $\frkg\ltimes\frkg^*$ representing Dirac structures on a Cartan geometry. We prove that there is a bijection…
The Li\'enard equation is used in various applications. Therefore, constructing general analytical solutions of this equation is an important problem. Here we study connections between the Li\'enard equation and some equations from the…
Based on a system-reservoir model and an appropriate choice of nonlinear coupling, we have explored the microscopic quantum generalization of classical Li\'{e}nard systems. Making use of oscillator coherent states and canonical thermal…
Given a fluid equation with reduced Lagrangian $l$ which is a functional of velocity $\MM{u}$ and advected density $D$ given in Eulerian coordinates, we give a general method for semidiscretising the equations to give a canonical…
We describe a type system for the linear-algebraic $\lambda$-calculus. The type system accounts for the linear-algebraic aspects of this extension of $\lambda$-calculus: it is able to statically describe the linear combinations of terms…
A full Lie analysis of a system of third-order difference equations is performed. Explicit solutions, expressed in terms of the initial values, are derived. Furthermore, we give sufficient conditions for existence of 2-periodic and…
The characterization of systems of differential equations admitting a superposition function allowing us to write the general solution in terms of any fundamental set of particular solutions is discussed. These systems are shown to be…
We develop a new concept of quantum mechanics which is based on a generalized space-time and on an action vector space similar to it. Both spaces are provided by algebraic properties. This allows to calculate the Dirac matrixes and to…
This paper is dedicated to the differential Galois theory in the complex analytic context for Lie-Vessiot systems. Those are the natural generaliza- tion of linear systems, and the more general class of differential equations adimitting…
The present paper introduces the analysis of the eigenvalue problem for the elasticity equations when the so called Navier-Lam\'e system is considered. Such a system introduces the displacement, rotation and pressure of some linear and…
We consider the Calder\'on problem in the case of partial Dirichlet-to-Neumann map for the system of elliptic equations in a bounded two dimensional domain. The main result of the manuscript is as follows: If two systems of elliptic…
This paper focuses on investigating the learning operators for identifying weak solutions to the Navier-Stokes equations. Our objective is to establish a connection between the initial data as input and the weak solution as output. To…
We study the theory of systems with constraints from the point of view of the formal theory of partial differential equations. For finite-dimensional systems we show that the Dirac algorithm completes the equations of motion to an…
Recent developments in the construction of generalized Dirac duals have revealed, within the structure of the Clifford algebra $\mathbb{C}\otimes\mathcal{C}\ell_{1,3},$ the existence of distinct algebraic formulations of spinors duals with…
This paper explores formalizing Geometric (or Clifford) algebras into the Lean 3 theorem prover, building upon the substantial body of work that is the Lean mathematics library, mathlib. As we use Lean source code to demonstrate many of our…