Searcharxiv⌕ Search

arXiv subjects

Ahmad Y. Al-Dweik

Publications and source records attributed to Ahmad Y. Al-Dweik.

17 recordsLinked to original sources

Invariant characterization of scalar third-order ODEs that admit the maximal contact symmetry Lie algebra

The Cartan equivalence method is utilized to deduce an invariant characterization of the scalar third-order ordinary differential equation $u'''=f(x,u,u',u'')$ which admits the maximal ten-dimensional contact symmetry Lie algebra. The method provides auxiliary functions which can be used to efficiently determine the contact transformation that does the reduction to the simplest linear equation $\bar{u}'''=0$. Furthermore, ample examples are given to illustrate our method.

math.CA↗

Linearization Problem for a System of Two Second-Order ODEs via Cartan's Method: Branch I

Cartan's method classifies the class of linearizable system of two second-order ODEs into many branches. This paper investigates Branch I of the classification, characterized by a rank-one generalized Wilczynski invariant matrix and the vanishing of two relative invariants $K_1$ and $L_1$. It is demonstrated that any linearizable system belonging to this branch admits an eight-dimensional Lie point symmetry algebra. The canonical form for this class is provided and the invariant characterizations based on the obtained rank-zero invariant coframe and the corresponding constant structure equations are established. Also, a systematic procedure for constructing the linearizing point transformation is derived. The theoretical results are illustrated by several examples.

math.GM↗

Linearization Problem for Third-Order ODEs with Four- and Five-Dimensional Lie Symmetry Algebras under Contact Transformations

Using Cartan equivalence method, invariant coframes are constructed for two branches of rank one and zero, which characterize linearizable third-order ODEs under contact transformations with four- and five-dimensional Lie symmetry algebras, respectively. A procedure for deriving the corresponding contact transformations is also presented, along with illustrative examples.

math.GM↗

Equivalence Problem for Non-Linearizable Fourth-Order ODEs with Five-Dimensional Lie Symmetry subalgebra via Inductive Cartan Equivalence Method

Four coframes of invariant 1-forms are explicitly constructed using the Inductive Cartan equivalence method with rank zero corresponding to four distinct branches. These coframes are employed to characterize non-linearizable fourth-order ODEs under point transformation with a five-point symmetry Lie subalgebra. Moreover, we propose a procedure for obtaining the point transformation by using the derived invariant coframes, demonstrated through examples.

math.GM↗

Equivalence Problem for Non-Linearizable Third-Order ODEs with Four-Dimensional Lie Symmetry Subalgebras under Point Transformations

Cartan's equivalence method is applied to explicitly construct invariant coframes for four branches, which are used to characterize all non-linearizable third-order ODEs with a four-dimensional Lie symmetry subalgebra under point transformations. Additionally, we present a method for constructing the point transformations based on the derived invariant coframes. Examples are provided to illustrate our approach.

math.GM↗

Efficient tensor-based approach to solving linear systems involving Kronecker sum of matrices

A novel tensor-based formula for solving the linear systems involving Kronecker sum is proposed. Such systems are directly related to the matrix and tensor forms of Sylvester equation. The new tensor-based formula demonstrates the well-known fact that a Sylvester tensor equation has a unique solution if the sum of spectra of the matrices does not contain zero. We have showcased the effectiveness of the method by efficiently solving the 2D and 3D discretized Poisson equations, as well as the 2D steady-state convection-diffusion equation, on a rectangular domain with Dirichlet boundary conditions. The results suggest that this approach is well-suited for high-dimensional problems.

math.GM↗

Algorithms for Simultaneous Block Triangularization and Block Diagonalization of Sets of Matrices

In a recent paper, a new method was proposed to find the common invariant subspaces of a set of matrices. This paper invstigates the more general problem of putting a set of matrices into block triangular or block-diagonal form simultaneously. Based on common invariant subspaces, two algorithms for simultaneous block triangularization and block diagonalization of sets of matrices are presented. As an alternate approach for simultaneous block diagonalization of sets of matrices by an invertible matrix, a new algorithm is developed based on the generalized eigen vectors of a commuting matrix. Moreover, a new characterization for the simultaneous block diagonalization by an invertible matrix is provided. The algorithms are applied to concrete examples using the symbolic manipulation system Maple.

math.GM↗

A Novel Method to Generate Key-Dependent S-Boxes with Identical Algebraic Properties

The s-box plays the vital role of creating confusion between the ciphertext and secret key in any cryptosystem, and is the only nonlinear component in many block ciphers. Dynamic s-boxes, as compared to static, improve entropy of the system, hence leading to better resistance against linear and differential attacks. It was shown in [2] that while incorporating dynamic s-boxes in cryptosystems is sufficiently secure, they do not keep non-linearity invariant. This work provides an algorithmic scheme to generate key-dependent dynamic $n\times n$ clone s-boxes having the same algebraic properties namely bijection, nonlinearity, the strict avalanche criterion (SAC), the output bits independence criterion (BIC) as of the initial seed s-box. The method is based on group action of symmetric group $S_n$ and a subgroup $S_{2^n}$ respectively on columns and rows of Boolean functions ($GF(2^n)\to GF(2)$) of s-box. Invariance of the bijection, nonlinearity, SAC, and BIC for the generated clone copies is proved. As illustration, examples are provided for $n=8$ and $n=4$ along with comparison of the algebraic properties of the clone and initial seed s-box. The proposed method is an extension of [3,4,5,6] which involved group action of $S_8$ only on columns of Boolean functions ($GF(2^8)\to GF(2)$ ) of s-box. For $n=4$, we have used an initial $4\times 4$ s-box constructed by Carlisle Adams and Stafford Tavares [7] to generated $(4!)^2$ clone copies. For $n=8$, it can be seen [3,4,5,6] that the number of clone copies that can be constructed by permuting the columns is $8!$. For each column permutation, the proposed method enables to generate $8!$ clone copies by permuting the rows.

cs.CR↗

A novel procedure for constructing invariant subspaces of a set of matrices

A problem that is frequently encountered in a variety of mathematical contexts, is to find the common invariant subspaces of a single, or set of matrices. A new method is proposed that gives a definitive answer to this problem. The key idea consists of finding common eigenvectors for exterior powers of the matrices concerned. A convenient formulation of the Plücker relations is then used to ensure that these eigenvectors actually correspond to subspaces or provide the initial constraints for eigenvectors involving parameters. A procedure for computing the divisors of totally decomposable vector is also provided. Several examples are given for which the calculations are too tedious to do by hand and are performed by coding the conditions found into Maple.

math.GM↗

Linearization of third-order ordinary differential equations u'''=f(x,u,u',u'') via point transformations

The linearization problem by use of the Cartan equivalence method for scalar third-order ODEs via point transformations was solved partially in [1,2]. In order to solve this problem completely, the Cartan equivalence method is applied to provide an invariant characterization of the linearizable third-order ordinary differential equation u'''=f(x,u,u',u'') which admits a four-dimensional point symmetry Lie algebra. The invariant characterization is given in terms of the function f in a compact form. A simple procedure to construct the equivalent canonical form by use of an obtained invariant is also presented. The method provides auxiliary functions which can be utilized to efficiently determine the point transformation that does the reduction to the equivalent canonical form. Furthermore, illustrations to the main theorem and applications are given.

math.CA↗

Invariant characterization of scalar third-order ODEs that admit the maximal point symmetry Lie algebra

The Cartan equivalence method is utilized to deduce an invariant characterization of the scalar third-order ordinary differential equation $u'"=f(x,u,u',u")$ which admits the maximal seven-dimensional point symmetry Lie algebra. The method provides auxiliary functions which can be used to efficiently obtain the point transformation that does the reduction to the simplest linear equation $\bar{u}'"=0$. Moreover, examples are given to illustrate the method.

math.CA↗

Invariant characterization of third-order ODEs $u'''=f(x,u,u',u'')$ that admit a five-dimensional point symmetry Lie algebra

The Cartan equivalence method is applied to provide an invariant characterization of the third-order ordinary differential equation $u'''=f(x,u,u',u'')$ which admits a five-dimensional point symmetry Lie algebra. The invariant characterization is given in terms of the function $f$ in a compact form. A simple procedure to construct the equivalent canonical form by use of an obtained constant invariant is also presented. We also show how one obtains the point transformation that does the reduction to linear form. Moreover, some applications are provided.

math.CA↗

On invariants of second-order ordinary differential equations $y''=f(x,y,y')$ via point transformations

Bagderina \cite{Bagderina2013} solved the equivalence problem for a family of scalar second-order ordinary differential equations (ODEs), with cubic nonlinearity in the first-order derivative, via point transformations. However, the question is open for the general class $y''=f(x,y,y')$ which is not cubic in the first-order derivative. We utilize Lie's infinitesimal method to study the differential invariants of this general class under an arbitrary point equivalence transformations. All fifth order differential invariants and the invariant differentiation operators are determined. As an application, invariant description of all the canonical forms in the complex plane for second-order ODEs $y''=f(x,y,y')$ where both of the two Tressé relative invariants are non-zero is provided.

math.CA↗

Invariants of third-order ordinary differential equations $y'''=f(x,y,y',y'')$ via fiber preserving transformations

Bagderina \cite{Bagderina2008} solved the equivalence problem for scalar third-order ordinary differential equations (ODEs), quadratic in the second-order derivative, via point transformations. However, the question is open for the general class $y'''=f(x,y,y',y'')$ which is not quadratic in the second-order derivative. We utilize Lie's infinitesimal method to study the differential invariants of this general class under pseudo-group of fiber preserving equivalence transformations $\bar{x}=ϕ(x), \bar{y}=ψ(x,y)$. As a result, all third-order differential invariants of this group and the invariant differentiation operators are determined. This leads to simple necessary explicit conditions for a third-order ODE to be equivalent to the respective canonical form under the considered group of transformations. Applications motivated by the literature are presented.

math.CA↗

On the Linearization of Second-Order Ordinary Differential Equations to the Laguerre Form via Generalized Sundman Transformations

The linearization problem for nonlinear second-order ODEs to the Laguerre form by means of generalized Sundman transformations (S-transformations) is considered, which has been investigated by Duarte et al. earlier. A characterization of these S-linearizable equations in terms of first integral and procedure for construction of linearizing S-transformations has been given recently by Muriel and Romero. Here we give a new characterization of S-linearizable equations in terms of the coefficients of ODE and one auxiliary function. This new criterion is used to obtain the general solutions for the first integral explicitly, providing a direct alternative procedure for constructing the first integrals and Sundman transformations. The effectiveness of this approach is demonstrated by applying it to find the general solution for geodesics on surfaces of revolution of constant curvature in a unified manner.

math.CA↗

$λ$-symmetry criteria for linearization of second order ODEs via point transformations

An alternative proof of Lie's approach for linearization of scalar second order ODEs is derived using the relationship between $λ$-symmetries and first integrals. This relation further leads to a new $λ$-symmetry linearization criteria for second order ODEs which provides a new approach for constructing the linearization transformations with lower complexity. The effectiveness of the approach is illustrated by obtaining the local linearization transformations for the linearizable nonlinear ODEs of the form $y''+F_1(x,y)y'+F(x,y)=0$. Examples of linearizing nonlinear ODEs which are quadratic or cubic in the first derivative are also presented.

math.CA↗