scholarly journals Finding First Integrals Using Normal Forms Modulo Differential Regular Chains

Author(s):  
François Boulier ◽  
François Lemaire
2008 ◽  
Vol 245 (5) ◽  
pp. 1167-1184 ◽  
Author(s):  
Jian Chen ◽  
Yingfei Yi ◽  
Xiang Zhang

1994 ◽  
Vol 05 (04) ◽  
pp. 447-489 ◽  
Author(s):  
A. HAYAKAWA ◽  
G. ISHIKAWA ◽  
S. IZUMIYA ◽  
K. YAMAGUCHI

In this paper we give local normal forms of generic implicit first order ordinary differential equations with independent first integrals. The classification problem in this case is reduced to classifying a certain class of divergent diagrams of map-germs; integral diagrams. The main tools are Legendre singularity theory and differential analysis. We also discuss the relation between previous works and the results obtained in this paper.


2010 ◽  
Vol 32 (2) ◽  
pp. 107-120
Author(s):  
Pham Chi Vinh ◽  
Trinh Thi Thanh Hue ◽  
Dinh Van Quang ◽  
Nguyen Thi Khanh Linh ◽  
Nguyen Thi Nam

The method of first integrals (MFI) based on the equation of motion for the displacement vector, or  based on the one for the traction vector was introduced  recently in order to find explicit secular equations of Rayleigh waves whose characteristic equations (i.e the equations determining the attenuation factor) are fully quartic or are of higher order (then the classical approach is not applicable). In this paper it is shown that, not only to Rayleigh waves,  the MFI can be applicable also to other waves by running it on the equations for mixed vectors. In particular: (i) By applying the MFI  to the equations for the displacement-traction vector we get the explicit dispersion equations of Stoneley waves in twinned crystals (ii)  Running the MFI on the equations for the traction-electric induction vector and the traction-electrical potential vector provides the explicit dispersion equations of SH-waves in piezoelastic materials. The obtained dispersion equations are identical with the ones previously derived using the method of polarization vector, but the procedure of driving them is more simple.


Author(s):  
N.I. Gdansky ◽  
◽  
A.A. Denisov ◽  

The article explores the satisfiability of conjunctive normal forms used in modeling systems.The problems of CNF preprocessing are considered.The analysis of particular methods for reducing this formulas, which have polynomial input complexity is given.


Vestnik MEI ◽  
2019 ◽  
Vol 6 ◽  
pp. 131-137
Author(s):  
Abdukhafiz A. Bobodzhanova ◽  
◽  
Valeriy F. Safonov ◽  

Sign in / Sign up

Export Citation Format

Share Document