-
Efficient tensor-based approach to solving linear systems involving Kronecker sum of matrices
Authors:
Ahmad Y. Al-Dweik,
Abdallah Sayyed-Ahmad
Abstract:
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 o…
▽ More
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.
△ Less
Submitted 13 April, 2025; v1 submitted 5 October, 2024;
originally announced October 2024.
-
Algorithms for Simultaneous Block Triangularization and Block Diagonalization of Sets of Matrices
Authors:
Ahmad Y. Al-Dweik,
Ryad Ghanam,
Gerard Thompson,
M. T. Mustafa
Abstract:
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…
▽ More
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.
△ Less
Submitted 5 June, 2022; v1 submitted 4 April, 2021;
originally announced April 2021.
-
A novel procedure for constructing invariant subspaces of a set of matrices
Authors:
Ahmad Y. Al-Dweik,
Ryad Ghanam,
Gerard Thompson,
Hassan Azad
Abstract:
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…
▽ More
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.
△ Less
Submitted 9 March, 2021;
originally announced March 2021.
-
A Novel Method to Generate Key-Dependent S-Boxes with Identical Algebraic Properties
Authors:
Ahmad Y. Al-Dweik,
Iqtadar Hussain,
Moutaz S. Saleh,
M. T. Mustafa
Abstract:
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 s…
▽ More
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.
△ Less
Submitted 3 May, 2021; v1 submitted 24 August, 2019;
originally announced August 2019.
-
Invariant characterization of scalar third-order ODEs that admit the maximal contact symmetry Lie algebra
Authors:
Ahmad Y. Al-Dweik,
F. M. Mahomed,
M. T. Mustafa
Abstract:
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…
▽ More
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.
△ Less
Submitted 13 February, 2019;
originally announced February 2019.
-
Linearization of third-order ordinary differential equations u'''=f(x,u,u',u'') via point transformations
Authors:
Ahmad Y. Al-Dweik,
M. T. Mustafa,
F. M. Mahomed,
R. S. Alassar
Abstract:
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 symm…
▽ More
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.
△ Less
Submitted 17 March, 2018;
originally announced March 2018.
-
Invariant characterization of scalar third-order ODEs that admit the maximal point symmetry Lie algebra
Authors:
Ahmad Y. Al-Dweik,
M. T. Mustafa,
F. M. Mahomed
Abstract:
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…
▽ More
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.
△ Less
Submitted 6 December, 2017;
originally announced December 2017.
-
Invariant characterization of third-order ODEs $u'''=f(x,u,u',u'')$ that admit a five-dimensional point symmetry Lie algebra
Authors:
Ahmad Y. Al-Dweik,
M. T. Mustafa,
F. M. Mahomed
Abstract:
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 invari…
▽ More
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.
△ Less
Submitted 22 November, 2017;
originally announced November 2017.
-
Symmetry group classification and optimal reduction of a class of damped Timoshenko beam system with a nonlinear rotational moment
Authors:
S. M. Al-Omari,
F. D. Zaman,
A. Y. Al-Dweik,
Ryad A Ghanam
Abstract:
We consider a nonlinear Timoshenko system of partial differential equations (PDEs) with a frictional damping term in rotation angle. The nonlinearity is due to the arbitrary dependence on the rotation moment. A Lie symmetry group classification of the arbitrary function of rotation moment is presented. An optimal system of one-dimensional subalgebras of the nonlinear damped Timoshenko system is de…
▽ More
We consider a nonlinear Timoshenko system of partial differential equations (PDEs) with a frictional damping term in rotation angle. The nonlinearity is due to the arbitrary dependence on the rotation moment. A Lie symmetry group classification of the arbitrary function of rotation moment is presented. An optimal system of one-dimensional subalgebras of the nonlinear damped Timoshenko system is derived for all the non-linear cases. All possible invariant variables of the optimal systems for the three non-linear cases are presented. The corresponding reduced systems of ordinary differential equations (ODEs) are also provided.
△ Less
Submitted 20 December, 2016;
originally announced December 2016.
-
A point symmetry based method for transforming ODEs with three-dimensional symmetry algebras to their canonical forms
Authors:
H. Azad,
Ahmad Y. Al-Dweik,
F. M. Mahomed,
M. T. Mustafa
Abstract:
We provide an algorithmic approach to the construction of point transformations for scalar ordinary differential equations that admit three-dimensional symmetry algebras which lead to their respective canonical forms.
We provide an algorithmic approach to the construction of point transformations for scalar ordinary differential equations that admit three-dimensional symmetry algebras which lead to their respective canonical forms.
△ Less
Submitted 8 November, 2015;
originally announced November 2015.
-
On invariants of second-order ordinary differential equations $y''=f(x,y,y')$ via point transformations
Authors:
Ahmad Y. Al-Dweik
Abstract:
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 differentia…
▽ More
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.
△ Less
Submitted 25 November, 2014; v1 submitted 24 November, 2014;
originally announced November 2014.
-
Invariants of third-order ordinary differential equations $y'''=f(x,y,y',y'')$ via fiber preserving transformations
Authors:
Ahmad Y. Al-Dweik,
M. T. Mustafa,
H. Azad,
F. M. Mahomed
Abstract:
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…
▽ More
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.
△ Less
Submitted 3 October, 2014;
originally announced October 2014.
-
$λ$-symmetry criteria for linearization of second order ODEs via point transformations
Authors:
Ahmad Y. Al-Dweik,
M. T. Mustafa,
Raed A. Mara'beh,
F. M. Mahomed
Abstract:
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 i…
▽ More
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.
△ Less
Submitted 13 March, 2013;
originally announced March 2013.
-
On the Linearization of Second-Order Ordinary Differential Equations to the Laguerre Form via Generalized Sundman Transformations
Authors:
M. Tahir Mustafa,
Ahmad Y. Al-Dweik,
Raed A. Mara'beh
Abstract:
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 Ro…
▽ More
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.
△ Less
Submitted 31 May, 2013; v1 submitted 13 February, 2013;
originally announced February 2013.
