• Journal of the Korean Mathematical Society
• /
• v.40 no.3
• /
• pp.517-561
• /
• 2003

We establish a link between the study of completely integrable systems of partial differential equations and the study of generic submanifolds in $\mathbb{C}$. Using the recent developments of Cauchy-Riemann geometry we provide the set of symmetries of such a system with a Lie group structure. Finally we determine the precise upper bound of the dimension of this Lie group for some specific systems of partial differential equations.

• Journal of applied mathematics & informatics
• /
• v.31 no.1_2
• /
• pp.229-239
• /
• 2013

This paper studies the generalized fifth-order KdV equation with variable coefficients using Lie symmetry methods.Lie group classification with respect to the time dependent coefficients is performed. Then we get the similarity reductions using the symmetry and give some exact solutions.

• Journal of the Korean Mathematical Society
• /
• v.57 no.2
• /
• pp.523-537
• /
• 2020

In this work we consider the Sol₃ Lie group, equipped with the left-invariant metric, Lorentzian or Riemannian. We determine Killing vector fields and affine vectors fields. Also we obtain a full classification of Ricci, curvature and matter collineations.

• Bulletin of the Korean Mathematical Society
• /
• v.26 no.1
• /
• pp.47-52
• /
• 1989

Methods of Riemannian geometry has played an important role in the study of compact transformation groups. Every effective action of a compact Lie group on a differential manifold leaves a Riemannian metric invariant and the study of such actions reduces to the one involving the group of isometries of a Riemannian metric on the manifold which is, a priori, a Lie group under the compact open topology. Once an action of a compact Lie group is given an invariant metric is easily constructed by the averaging method and the Lie group is naturally imbedded in the group of isometries as a Lie subgroup. But usually this invariant metric has more symmetries than those given by the original action. Therefore the first question one may ask is when one can find a Riemannian metric so that the given action coincides with the action of the full group of isometries. This seems to be a difficult question to answer which depends very much on the orbit structure and the group itself. In this paper we give a sufficient condition that a subgroup action of a compact Lie group has an invariant metric which is not invariant under the full action of the group and figure out some aspects of the action and the orbit structure regarding the invariant Riemannian metric. In fact, according to our results, this is possible if there is a larger transformation group, containing the oringnal action and either having larger orbit somewhere or having exactly the same orbit structure but with an orbit on which a Riemannian metric is ivariant under the orginal action of the group and not under that of the larger one. Recently R. Saerens and W. Zame showed that every compact Lie group can be realized as the full group of isometries of Riemannian metric. [SZ] This answers a question closely related to ours but the situation turns out to be quite different in the two problems.

• Journal of applied mathematics & informatics
• /
• v.29 no.3_4
• /
• pp.563-572
• /
• 2011

In this paper, the Lie symmetry analysis is performed on the three mixed second-order PDEs, which arise in fluid dynamics, nonlinear wave theory and plasma physics, etc. The symmetries and similarity reductions of the equations are obtained, and the exact solutions to the equations are investigated by the dynamical system and power series methods. Then, the exact solutions to the general types of PDEs are considered through a variable transformation. At last, the symmetry and integration method is employed for reducing the nonlinear ODEs.

• Journal of the Korean Mathematical Society
• /
• v.44 no.5
• /
• pp.1121-1137
• /
• 2007

There are 7 types of 4-dimensional solvable Lie groups of the form ${\mathbb{R}^3}\;{\times}_{\varphi}\;{\mathbb{R}}$ which are unimodular and of type (R). They will have left. invariant Riemannian metrics with maximal symmetries. Among them, three nilpotent groups $({\mathbb{R}^4},\;Nil^3\;{\times}\;{\mathbb{R}\;and\;Nil^4)$ are well known to have lattices. All the compact forms modeled on the remaining four solvable groups $Sol^3\;{\times}\;{\mathbb{R}},\;Sol_0^4,\;Sol_0^'4\;and\;Sol_{\lambda}^4$ are characterized: (1) $Sol^3\;{\times}\;{\mathbb{R}}$ has lattices. For each lattice, there are infra-solvmanifolds with holonomy groups 1, ${\mathbb{Z}}_2\;or\;{\mathbb{Z}}_4$. (2) Only some of $Sol_{\lambda}^4$, called $Sol_{m,n}^4$, have lattices with no non-trivial infra-solvmanifolds. (3) $Sol_0^{'4}$ does not have a lattice nor a compact form. (4) $Sol_0^4$ does not have a lattice, but has infinitely many compact forms. Thus the first Bieberbach theorem fails on $Sol_0^4$. This is the lowest dimensional such example. None of these compact forms has non-trivial infra-solvmanifolds.