arXiv subjects
Publications and source records attributed to H. Azad.
A catalogue of the Lie Amaldi Classification, together with their structures, is given using CLAUDE. It is explained in the paper why this structural description is correct and what guidelines were given to CLAUDE that made this possible. This catalogue will not be published elsewhere.
We complete the Lie symmetry classification of scalar nth order, $n \geq 4$, ordinary differential equations by means of the symmetry Lie algebras they admit. It is known that there are three types of such equations depending upon the symmetry algebra they possess, viz. first-order equations which admit infinite dimensional Lie algebra of point symmetries, second-order equations possessing the maximum eight point symmetries and higher-order, $n \geq 3$, admitting the maximum $n + 4$ dimensional symmetry algebra. We show that nth order equations for $n \geq 4$ do not admit maximally an $n + 3$ dimensional Lie algebra except for $n = 5$ which can admit $sl(3, R)$ algebra. Also, they can possess an $n + 2$ dimensional Lie algebra that gives rise to a nonlinear equation that is not linearizable via a point transformation. It is shown that for $n \geq 5$ there is only one such class of equations.
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.
A constructive version of the Frobenius integrability theorem -- that can be programmed effectively -- is given. This is used in computing invariants of groups of low ranks and recover examples from a recent paper of Boyko, Patera and Popoyvich \cite{BPP}.
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}=\phi(x), \bar{y}=\psi(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.
Algebraic and analytic aspects of self-adjoint operators of order four or more with polynomial coefficients are investigated. As a consequence, a systematic way of constructing such operators is given. The procedure is applied to obtain many examples up to order 8; similar examples can be constructed for all even order operators. In particular, a complete classification of all order 4 operators is given.
The efficacy of using complex numbers for understanding geometric questions related to polar equations and general cycloids is demonstrated.
The existence of closed orbits of real algebraic groups on certain real algebraic spaces is established. As an application it is shown that if $G$ is a real reductive group with Iwasawa decomposition $G=KAN$, then all unipotent subgroups of $G$ are conjugate to a subgroup of $N$.
Linear differential equations of arbitrary order with polynomial coefficients are considered. Specifically, necessary and sufficient conditions for the existence of polynomial solutions of a given degree are obtained for these equations. An algorithm to determine these conditions and to construct the polynomial solutions is given. The effectiveness of this algorithmic approach is illustrated by applying it to several differential equations that arise in mathematical physics.
A proof of the Jordan canonical form, suitable for a first course in linear algebra, is given. The proof includes the uniqueness of the number and sizes of the Jordan blocks.
We show that any differential operator of the form $L(y)=\sum_{k=0}^{k=N} a_{k}(x) y^{(k)}$, where $a_k$ is a real polynomial of degree $\leq k$, has all real eigenvalues in the space of polynomials of degree at most n, for all n. The eigenvalues are given by the coefficient of $x^n$ in $L(x^{n})$. If these eigenvalues are distinct, then there is a unique monic polynomial of degree n which is an eigenfunction of the operator L- for every non-negative integer n. As an application we recover Bochner's classification of second order ODEs with polynomial coefficients and polynomial solutions, as well as a family of non-classical polynomials.
We revisit basics of classical Sturm-Liouville theory and, as an application, recover Bochner's classification of second order ODEs with polynomial coefficients and polynomial solutions by a new argument. We also outline how a wider class of equations with polynomial solutions can be obtained by allowing the weight to become infinite at isolated points:the Jacobi equation, in general, is of this type. For higher order equations, we also give the basic analysis required for determining the weight functions and constraints on the coefficients which make the differential operator defined by the equation self adjoint for even orders and anti self adjoint in odd orders. We also give explicit examples of such equations.
Lie symmetry method is applied to find analytic solutions of initial-boundary-value problems of transient conduction in semi-infinite solid with constant surface temperature or constant heat flux condition. The solutions are obtained in a manner highlighting the systematic procedure of extending the symmetry method for a PDE to investigate BVPs of the PDE. A comparative analysis of numerical and closed form solutions is carried out for a physical problem of heat conduction in a semi-infinite solid bar made of AISI 304 stainless steel.