Noncommutative Reduction of Nonlinear Schrödinger Equation on Lie Groups

Abstract

We propose a new approach that allows one to reduce nonlinear equations on Lie groups to equations with a fewer number of independent variables for finding particular solutions of the nonlinear equations. The main idea is to apply the method of noncommutative integration to the linear part of a nonlinear equation, which allows one to find bases in the space of solutions of linear partial differential equations with a set of noncommuting symmetry operators. The approach is implemented for the generalized nonlinear Schrödinger equation on a Lie group in curved space with local cubic nonlinearity. General formalism is illustrated by the example of the noncommutative reduction of the nonstationary nonlinear Schrödinger equation on the motion group $E\left(2\right)$ of the two-dimensional plane ${\mathbb{R}}^2$. In this particular case, we come to the usual ($1+1$)-dimensional nonlinear Schrödinger equation with the soliton solution. Another example provides the noncommutative reduction of the stationary multidimensional nonlinear Schrödinger equation on the four-dimensional exponential solvable group.

1. Introduction

The Lie group theory provides powerful methods for studying linear and nonlinear differential equations in mathematical physics. Generally, for the equation with a symmetry group, one can efficiently find and classify group invariant solutions and conservation laws, and generate new solutions from those already found (see, for example, the well-known books of Ovsyannikov, Ibragimov, Olver [1,2,3], and many others).

Remarkable potentialities for finding explicit solutions are opened up when an equation can be represented directly in terms of the coordinates of a Lie group. For example, equations on a curved space with a simply transitive motion group can be represented as equations on a Lie group manifold. We call such an equation the equation on the Lie group. Some aspects of the integrability of nonlinear equations on Lie groups are the subject of the present work.

Here, we propose a new approach based on the Lie group theory that allows one to reduce a nonlinear equation presented in terms of a Lie group to an equation with a fewer number of independent variables using the noncommutative ansatz of the work [4], which is determined by the linear part of the nonlinear equation. The noncommutative integration method (NIM) has been proposed for linear partial differential equations (PDEs) in Ref. [4]. Following this method, one can find a basis for the solution space of the linear equation admitting a set of noncommuting symmetry operators related to the Lie group of the invariance of the equation. Then, the noncommutative reduction of a nonlinear equation on a Lie group yields families of particular solutions containing the parameters (“quantum numbers”) of the basis of solutions to the corresponding linear equation. We describe the proposed noncommutative reduction for the nonlinear Schrödinger equation (NLSE) in curved space with local cubic nonlinearity and the simply transitive motion group written in terms of the Lie group. The general formalism is illustrated by the examples of the noncommutative reduction of the multidimensional NLSE on the Lie group $E\left(2\right)$ of the two-dimensional plane ${\mathbb{R}}^2$, and on the four-dimensional exponential solvable group. A family of particular solutions of the NLSE on the Lie group obtained within the framework of our approch contains the parameters of solutions of the corresponding linear Schrödinger equation.

The nonlinear Schrödinger equation is one of the fundamental equations in nonlinear theoretical physics and mathematics. It arises in a number of nonlinear models of various physical phenomena and in a wide range of applications. As an example, we recall the theory of optical pulse propagation in nonlinear media [5,6]. In the theory of Bose–Einstein condensates, the NLSE is referred to as the Gross–Pitaevskii equation (GPE) [7,8,9]. The ($1+1$) dimensional NLSE is integrable within the framework of the soliton theory (see, e.g., Ref. [10] and references therein).

The approach proposed here expands the possibilities of constructing exact solutions of field equations in curved spaces in addition to the method of separation of variables, which is widely used in general relativity (see, e.g., recent papers [11,12] and references therein) and cosmology [13,14,15,16].

We also emphasize that here we consider the noncommutative reduction of nonlinear equations with local nonlinearity in contrast to the papers [4,17,18] where NIM was applied to equations with a nonlocal nonlinearity of convolution type.

The paper is structured as follows. In Section 2, we present the required concepts and definitions from the theory of Lie groups, and introduce notations and the problem setup. In Section 3, we describe a special representation of the Lie algebra, which is constructed using the orbit method. Then, we apply an ansatz for the noncommutative reduction of the nonlinear Schrödinger equation on the Lie group. Section 4 illustrates a general approach using the example of the noncommutative reduction of the nonstationary nonlinear Schrödinger Equation (8) on the motion group $E\left(2\right)$ of the two-dimensional plane ${\mathbb{R}}^2$. In this particular case, we come to the usual $(1+1)$-dimensional NLSE with the soliton solution. In Section 5, the noncommutative reduction of the stationary multidimensional NLSE is studied in the case of the four-dimensional exponential solvable group. In Section 6, our concluding remarks are given.

2. Notations and the Problem Setup

In this section, we briefly review the required concepts and definitions from Lie group theory and introduce the technical notations.

Let G be an n-dimensional Lie group, its Lie algebra $\mathfrak{g}$ be the tangent space at the group unity $e\in G$, and $\left\{e_a\right\}$ be a fixed basis in the linear space $\mathfrak{g}$ ($a,b,c=1,\cdots ,n$). The Lie group G acts on itself as the left, $L_{\tilde{g}}\left(g\right)=\phi (\tilde{g},g)-$, and the right, $R_{\tilde{g}}\left(g\right)=\phi (g,\tilde{g})-$, is a translation, where $\phi (g,\tilde{g})$ is a composition function, and $g,\tilde{g}\in G$. The differentials of the left and right translations determine the left-invariant, ${\xi }_X\left(g\right)={\left(L_g\right)}_{*}X$, the right-invariant, ${\eta }_X\left(g\right)=-{\left(R_g\right)}_{*}X$, and vector fields on the Lie group G ($X\in \mathfrak{g}$). Additionally, we have

$$[{\xi }_X,{\xi }_Y]={\xi }_{[X,Y]},[{\eta }_X,{\eta }_Y]={\eta }_{[X,Y]},[{\xi }_X,{\eta }_Y]=0,X,Y\in \mathfrak{g},$$

(1)

where $[X,Y]$ is the commutator of $X,Y\in \mathfrak{g}$.

Let $\left\{e^b\right\}$ be the dual basis to $\left\{e_a\right\}$ in the Lie algebra $\mathfrak{g}$, $⟨e^b,e_a⟩={\delta }_a^b$, and the brackets $⟨·,·⟩$ denote the natural pairing of a 1-form and a vector. Then, the left-invariant, ${\omega }^X\left(g\right)={\left(L_g\right)}^{*}X$, the right-invariant, ${\sigma }^X\left(g\right)=-{\left(R_g\right)}^{*}X$, and the Maurer–Cartan 1-forms satisfy the equations

$$d{\omega }^a=-\frac{1}{2}{C}_{bc}^a{\omega }^b\wedge {\omega }^c,d{\sigma }^a=-\frac{1}{2}{C}_{bc}^a{\sigma }^b\wedge {\sigma }^c,C_{bc}^a={[e_b,e_c]}^a.$$

(2)

The implicit summation over repeated indices is assumed.

We take as the basis the right-invariant vector fields ${\eta }_a\left(g\right)={\eta }_{e_a}\left(g\right)$, and the dual right-invariant 1-forms ${\sigma }^a\left(g\right)={\sigma }^{e^a}\left(g\right)$ as the moving frame on G, and introduce the right-invariant metric

$$d{s}^2=g_{\mu \nu }\left(g\right)d{g}^{\mu }d{g}^{\nu },\mu ,\nu =1,\cdots ,n,$$

(3)

where $g^{\mu }$ are local coordinates on G. The metric tensor $g_{\mu \nu }\left(g\right)$ of the right-invariant metric (3) is expanded over a moving frame with a constant symmetric matrix $G_{ab}$:

$$g_{\mu \nu }\left(g\right)=G_{ab}{\sigma }_{\mu }^a\left(g\right){\sigma }_{\nu }^b\left(g\right),g^{\mu \nu }\left(g\right)=G^{ab}{\eta }_a^{\mu }\left(g\right){\eta }_b^{\nu }\left(g\right),G^{ac}{G}_{cb}={\delta }_b^a.$$

(4)

The Christoffel symbols of the symmetric connection consistent with the metric $d{s}^2$ on the Lie group G are defined in terms of the metric tensor (4) as

$${\Gamma }_{\nu \mu }^{\rho }\left(g\right)=\frac{1}{2}{g}^{\rho \tau }\left(g\right)\left({\partial }_{\nu }{g}_{\tau \mu }\left(g\right)+{\partial }_{\mu }{g}_{\mu \tau }\left(g\right)-{\partial }_{\tau }{g}_{\nu \mu }\left(g\right)\right),{\partial }_{\nu }\equiv \frac{\partial }{\partial g^{\nu }}.$$

(5)

Substituting (4) in (5) and taking into account the Maurer–Cartan Equation (2), we get (see Ref. [19]):

$$\begin{array}{cc}\hfill {\Gamma }_{\nu \mu }^{\rho }\left(g\right)& ={\Gamma }_{bd}^a{\sigma }_{\nu }^b\left(g\right){\sigma }_{\mu }^d\left(g\right){\eta }_a^{\rho }\left(g\right)+{\eta }_a^{\rho }\left(g\right)\frac{\partial {\sigma }_{\nu }^a\left(g\right)}{\partial g^{\mu }},\hfill \\ \hfill {\Gamma }_{bd}^a\left(g\right)& =-\frac{1}{2}{C}_{bd}^a-\frac{1}{2}{G}^{ac}\left(G_{eb}{C}_{dc}^e+G_{ed}{C}_{bc}^e\right).\hfill \end{array}$$

To simplify the presentation, we consider unimodular Lie groups when the left Haar measure $d{\mu }_L\left(g\right)$ coincides with the right Haar measure on the Lie group G: $d{\mu }_R\left(g\right)=d{\mu }_L\left(g\right)=d\mu \left(g\right)$.

Now, we can consider differential equations on Lie groups. The Schrödinger equation on a unimodular Lie group G with the metric (3) for the wave function $\psi =\psi (t,g)$ has the form

$$i\hslash \frac{\partial \psi }{\partial t}=-\frac{{\hslash }^2}{2m}{\Delta }_G\psi ,$$

(6)

where ℏ is the Planck constant, $m(>0)$ is the mass of the particle, and t is the time. The Laplace operator ${\Delta }_G$ on the Lie group G is a quadratic polynomial in the right-invariant vector fields:

$$-{\hslash }^2{\Delta }_G=H\left(-i\hslash \eta \right),H\left(f\right)=G^{ab}{f}_a{f}_b.$$

(7)

The operator $\Delta$ is a symmetric operator with respect to the Riemannian measure

$$d\mu \left(g\right)=\sqrt{\det g_{\mu \nu }}dg=\sqrt{\mathbf{G}}d\mu \left(g\right),\mathbf{G}=det\left(G_{ab}\right).$$

A linear differential operator $X\left(g\right)=X(g,{\partial }_g)$ commuting with the operator $H\left(\eta \right)$ on some space of functions,

$$\left[X\right(g),H(\eta \left)\right]=0,$$

leaves invariant the set of solutions to the equation and it is the symmetry operator of Equation (6). From Equation (1), one can easily see that the linear Equation (6) admits a set of left-invariant vector fields ${\xi }_a$ as symmetry operators. It can be shown that the Laplace operator on an n-dimensional manifold admitting a set of n linearly independent symmetry operators of the first order can always be represented locally in the form (7) up to a constant factor for some Lie groups G with a right-invariant metric [20].

In this paper, we consider the following nonlinear Schrödinger Equation (6) on the Lie group G:

$$i\hslash \frac{\partial \psi }{\partial t}=-\frac{{\hslash }^2}{2m}{\Delta }_G\psi +U\left(g,\psi \right)\psi .$$

(8)

Note that the nonlinearity $U(g,\psi )$ does not admit ${\xi }_a$ as symmetry operators of Equation (8). When $G={\mathbb{R}}^3$, we have $U(g,\psi )={\left|\psi \right|}^2$ and (8) is the well-known nonlinear Schrödinger equation (see, e.g., refs. [7,8,9,10], and references therein).

We will show that the NIM is effective for solving Equation (8) under some restrictions on the Lie group G.

3. Noncommutative Reduction of the Nonlinear Schrödinger Equation

The approach for the noncommutative reduction of Equation (8) is based on a special representation of the Lie algebra $\mathfrak{g}$ constructed in terms of the orbit method. We also need a suitable direct and inverse Fourier transform on the Lie group G.

First, we recall some necessary definitions from the orbit method that will be used hereinafter.

The degenerate Poisson–Lie bracket,

$$\left\{\varphi ,\psi \right\}\left(f\right)=⟨f,\left[d\varphi \left(f\right),d\psi \left(f\right)\right]⟩=C_{ab}^c{f}_c\frac{\partial \varphi \left(f\right)}{\partial f_a}\frac{\partial \psi \left(f\right)}{\partial f_b},\varphi ,\psi \in C^{\infty }\left({\mathfrak{g}}^{*}\right),$$

(9)

endows the space ${\mathfrak{g}}^{*}$ with a Poisson structure [21]. Here, $f_a$ are the coordinates of a linear functional $f=f_a{e}^a\in {\mathfrak{g}}^{*}$ relative to the dual basis $\left\{e^a\right\}$. The number $\mathrm{ind}\mathfrak{g}$ of functionally independent Casimir functions $K_{\mu }\left(f\right)$ with respect to the bracket (9) is called the index of the Lie algebra $\mathfrak{g}$, $\mu =1,\cdots ,\mathrm{ind}\mathfrak{g}.$

A coadjoint representation ${\mathrm{Ad}}^{*}$: $G\times {\mathfrak{g}}^{*}\to {\mathfrak{g}}^{*}$ splits ${\mathfrak{g}}^{*}$ into coadjoint orbits (K-orbits). The restriction of the bracket (9) to an orbit is nondegenerate and coincides with the Poisson bracket generated by the Kirillov symplectic form ${\omega }_{\lambda }$ [21]. Orbits of maximum dimension $\dim {\mathcal{O}}^{\left(0\right)}=\dim \mathfrak{g}-\mathrm{ind}\mathfrak{g}$ are called nondegenerate [21,22].

Let ${\mathcal{O}}_{\lambda }$ be a nondegenerate K-orbit passing through the covector $\lambda \in {\mathfrak{g}}^{*}$. Using Kirillov’s orbit method [22], we construct a unitary irreducible representation of the Lie group G with respect to a given orbit. This representation can be constructed if for the functional $\lambda$ there exists a subalgebra $\mathfrak{h}\subset {\mathfrak{g}}^{\mathbb{C}}$ in the complex extension ${\mathfrak{g}}^{\mathbb{C}}$ of the Lie algebra $\mathfrak{g}$ satisfying the conditions:

$$⟨\lambda ,[\mathfrak{h},\mathfrak{h}]⟩=0,\dim \mathfrak{h}=\dim \mathfrak{g}-\frac{1}{2}\dim {\mathcal{O}}_{\lambda }.$$

(10)

The subalgebra $\mathfrak{h}$ is called the polarization of the functional $\lambda$. Equation (10) assumes that the functionals from ${\mathfrak{g}}^{*}$ can be prolonged to ${\mathfrak{g}}^{\mathbb{C}}$ by linearity. In this paper, to simplify the presentation, we restrict ourselves to the case when $\mathfrak{h}$ is the real polarization.

Next, we introduce a special coordinate system on the Lie group G compatible with nondegenerate K-orbits of G. Let H be a closed subgroup in a Lie group G, and $\mathfrak{h}$ be the Lie algebra of H. The Lie group acts on the right homogeneous space $Q\simeq G/H:q^{\prime }=qg$ and defines a principal bundle with the base Q, fibers H, and the canonical projection $\pi :G\to Q$. Choose a basis $\left\{e_{\overline{\alpha }}\right\}$ in the subalgebra $\mathfrak{h}$ and a basis $\left\{e_{\overline{a}}^{\prime }\right\}$ in the complementary subspace $\mathfrak{m}={\mathfrak{h}}^{\perp }$. In some trivializing neighborhood $V_0$ of the unit of the Lie group G, we introduce the local coordinates of the second kind

$$\begin{array}{cc}\hfill g(q,h)& =\left(e^{h^{dim\mathfrak{h}}{e}_{\overline{dim\mathfrak{h}}}}{e}^{h^{dim\mathfrak{h}-1}{e}_{\overline{dim\mathfrak{h}-1}}}\cdots e^{h^1{e}_{\overline{1}}}\right)\left(e^{q^{dimQ}{e}_{\overline{dimQ}}^{\prime }}{e}^{q^{dimQ-1}{e}_{\overline{dimQ-1}}^{\prime }}\cdots e^{q^1{e}_{\overline{1}}^{\prime }}\right).\hfill \end{array}$$

We fix a section $s:Q\to G$ of the principal bundle of G by the equality

$$\begin{array}{ccc}\hfill g(q,h)& =& hs\left(q\right).\hfill \end{array}$$

The left-invariant vector fields on G in local coordinates $(q,h)$ have the form

$$\begin{array}{cc}\hfill {\xi }_X(q,h)& =\xi {}_X^{\overline{a}}\left(q\right){\partial }_{q^{\overline{a}}}+{\xi }_X^{\overline{\alpha }}(q,h){\partial }_{h^{\overline{\alpha }}},\hfill \end{array}$$

where ${\alpha }_X\left(q\right)={\xi }_X^{\overline{a}}\left(q\right){\partial }_{q^{\overline{a}}}$ are the generators of the group action on the homogeneous space Q.

According to the orbit method [21], we introduce a unitary one-dimensional irreducible representation of the Lie group G, which in a neighborhood of $V_0$ is given by

$$U^{\lambda }\left(e^X\right)=exp\left(\frac{i}{\hslash }⟨\lambda ,X⟩\right),X\in \mathfrak{h}.$$

(11)

The representation of the Lie group G corresponding to the orbit ${\mathcal{O}}_{\lambda }$ is induced by the one-dimensional representation

$$\begin{array}{cc}\hfill & \left(T_g^{\lambda }\psi \right)\left(q\right)={\Delta }_H^{-1/2}\left(h(q,g)\right)U^{\lambda }\left(h(q,g)\right)\psi \left(qg\right)=U^{\lambda +i\hslash \beta }\left(h(q,g)\right)\psi \left(qg\right),\hfill \\ \hfill & {\beta }_{\overline{\alpha }}=-\frac{1}{2}\mathrm{Tr}\left({\left.{\mathrm{ad}}_{\overline{\alpha }}\right|}_{\mathfrak{h}}\right),\hfill \end{array}$$

(12)

where ${\Delta }_H\left(g\right)=\det {\mathrm{Ad}}_h$ is the module of the subgroup H, $h\in H;e_H$ is the unit element in the Lie group H. The function $h(q,g)$ in (12) is a factor of the homogeneous space Q:

$$s\left(q\right)g=h(q,g)s\left(qg\right),h(q,e)=1.$$

Let $L_2(Q,\mathfrak{h},\lambda )$ denote the space of functions defined on Q where the representation (12) acts. Restriction of the left-invariant vector fields ${\xi }_X\left(g\right)$ on the homogeneous space Q, which reads

$$\begin{array}{cc}\hfill & {\ell }_X(q,{\partial }_q,\lambda )={\left.\left({\left[U^{\lambda +i\hslash \beta }\left(h\right)\right]}^{-1}{\xi }_X\left(g\right)U^{\lambda +i\hslash \beta }\left(h\right)\right)\right|}_{h=e_H},\hfill \\ \hfill & [{\ell }_X(q,{\partial }_q,\lambda ),{\ell }_Y(q,{\partial }_q,\lambda )]={\ell }_{[X,Y]}(q,{\partial }_q,\lambda ),X,Y\in \mathfrak{g}.\hfill \end{array}$$

(13)

The representation (12) is unitary with respect to the scalar product in the space of functions $L_2(Q,\mathfrak{h},\lambda )$:

$$({\psi }_1,{\psi }_2)={\int }_Q\overline{{\psi }_1\left(q\right)}{\psi }_2\left(q\right)d\mu \left(q\right),d\mu \left(q\right)=\rho \left(q\right)d{q}^1\cdots d{q}^l.$$

(14)

The function $\rho \left(q\right)$ is determined from the condition that the operators $-i{\ell }_X(q,{\partial }_q,\lambda )$ are Hermitian with respect to the given scalar product (14).

The irreducible representation of the Lie algebra $\mathfrak{g}$ by linear operators of the first order (13) depending on $dim\mathrm{Q}=\dim {\mathcal{O}}_{\lambda }/2=(dim\mathfrak{g}-\mathrm{ind}\mathfrak{g})/2$ variables is called the $\lambda$-representation of the Lie algebra $\mathfrak{g}$. It was introduced in Ref. [4].

The explicit form of the $\lambda$-representation operators is determined by left-invariant vector fields in the trivialization domain $V_0$ of the principal bundle G:

$${\ell }_X(q,{\partial }_q,\lambda )={\xi }_X^{\overline{a}}\left(q\right){\partial }_{q^{\overline{a}}}+\frac{i}{\hslash }{\xi }_X^{\overline{\alpha }}(q,e_H)\left({\lambda }_{\overline{\alpha }}+i\hslash {\beta }_{\overline{\alpha }}\right).$$

Let us introduce the direct and inverse generalized Fourier transform, which is the essential point of the noncommutative integration method. The representation operators (12) can be rewritten in the integral form as

$$\begin{array}{cc}& \left(T_g^{\lambda }\psi \right)\left(q\right)={\int }_Q\psi \left(q^{\prime }\right){\mathcal{D}}_{q{q}^{\prime }}^{\lambda }\left(g\right)d\mu \left(q\right),\\ & {\mathcal{D}}_{q{q}^{\prime }}^{\lambda }\left(g\right)={\Delta }_H^{-1/2}\left(h(q,g)\right)U^{\lambda }\left(h(q,g)\right)\delta (qg,q^{\prime }),\end{array}$$

where $\delta (q,q^{\prime })$ is a generalized delta function with respect to the measure $d\mu \left(q\right)$. The generalized kernels ${\mathcal{D}}_{q{q}^{\prime }}^{\lambda }\left(g\right)$ of this representation have the properties

$$\begin{array}{c}{\mathcal{D}}_{q{q}^{\prime }}^{\lambda }\left(g_1{g}_2\right)={\int }_Q{\mathcal{D}}_{q{q}^{\prime \prime }}^{\lambda }\left(g_1\right){\mathcal{D}}_{q^{\prime \prime }{q}^{\prime }}^{\lambda }\left(g_2\right)d\mu \left(q^{\prime \prime }\right),g_1,g_2\in G,\\ {\mathcal{D}}_{q{q}^{\prime }}^{\lambda }\left(g\right)=\overline{{\mathcal{D}}_{q^{\prime }q}^{\lambda }\left(g^{-1}\right)},{\mathcal{D}}_{q{q}^{\prime }}^{\lambda }\left(e\right)=\delta (q,q^{\prime }),\end{array}$$

and satisfy the system of equations

$$\begin{array}{c}\left({\eta }_X\left(g\right)+{\ell }_X(q,{\partial }_q,\lambda )\right){\mathcal{D}}_{q{q}^{\prime }}^{\lambda }\left(g\right)=0,\left({\xi }_X\left(g\right)+\overline{{\ell }_X(q^{\prime },{\partial }_{q^{\prime }},\lambda )}\right){\mathcal{D}}_{q{q}^{\prime }}^{\lambda }\left(g\right)=0.\end{array}$$

(15)

Note that the functions ${\mathcal{D}}_{q{q}^{\prime }}^{\lambda }\left(g\right)$ are defined globally on the whole Lie group G if the K-orbit ${\mathcal{O}}_{\lambda }$ is integer in the sense of Kirillov’s definition [22].

The set of generalized functions ${\mathcal{D}}_{q{q}^{\prime }}^{\lambda }\left(g\right)$ satisfying the system of Equation (15) has the properties of completeness and orthogonality for a certain choice of the measure $d\mu \left(\lambda \right)$ in parameter space J:

$$\begin{array}{c}{\int }_G\overline{{\mathcal{D}}_{\tilde{q}{\tilde{q}}^{\prime }}^{\tilde{\lambda }}\left(g\right)}{\mathcal{D}}_{q{q}^{\prime }}^{\lambda }\left(g\right)d\mu \left(g\right)=\delta (q,\tilde{q})\delta ({\tilde{q}}^{\prime },q^{\prime })\delta (\tilde{\lambda },\lambda ),\end{array}$$

(16)

$$\begin{array}{c}{\int }_{Q\times Q\times J}\overline{{\mathcal{D}}_{q{q}^{\prime }}^{\lambda }\left(\tilde{g}\right)}{\mathcal{D}}_{q{q}^{\prime }}^{\lambda }\left(g\right)d\mu \left(q\right)d\mu \left(\lambda \right)=\delta (\tilde{g},g),\end{array}$$

(17)

where $\delta \left(g\right)$ is the generalized Dirac delta function with respect to the right Haar measure $d\mu \left(g\right)$ on the Lie group G.

Consider the function space $L(G,d\mu (g\left)\right)$ of functions of the form

$$\psi \left(g\right)={\int }_Q\psi (q,q^{\prime },\lambda ){\mathcal{D}}_{q{q}^{\prime }}^{\lambda }\left(g^{-1}\right)d\mu \left(q^{\prime }\right)d\mu \left(q\right)d\mu \left(\lambda \right),$$

(18)

where the function $\psi (q,q^{\prime },\lambda )$ with respect to the variables q and $q^{\prime }$ belongs to the space $L_2(Q,\mathfrak{h},\lambda )$. From (16) and (17), we can write the inverse transform as

$$\psi (q,q^{\prime },\lambda )={\int }_G{\psi }^{\lambda }\left(g\right)\overline{{\mathcal{D}}_{q{q}^{\prime }}^{\lambda }\left(g^{-1}\right)}d\mu \left(g\right).$$

(19)

It follows from (18) and (19) that the action of the operators ${\xi }_X\left(g\right)$ and ${\eta }_X\left(g\right)$ on the function ${\psi }^{\lambda }(g$) from $L_2(G,\lambda ,d\mu \left(g\right))$ corresponds to the action of the operators $\overline{{\ell }_X^{†}(q,{\partial }_q,\lambda )}$ and ${\ell }_X(q^{\prime },{\partial }_{q^{\prime }},\lambda )$ on the function $\psi (q,q^{\prime },\lambda )$:

$$\begin{array}{cc}\hfill & {\xi }_X\left(g\right){\psi }^{\lambda }\left(g\right)⟺\overline{{\ell }_X^{†}(q,{\partial }_q,\lambda )}\psi (q,q^{\prime },\lambda ),\hfill \\ \hfill & {\eta }_X\left(g\right){\psi }^{\lambda }\left(g\right)⟺{\ell }_X(q^{\prime },{\partial }_{q^{\prime }},\lambda )\psi (q,q^{\prime },\lambda ).\hfill \end{array}$$

(20)

The functions (18) are eigenfunctions for the Casimir operators $K_{\mu }^{\left(s\right)}(i\hslash \xi )=K_{\mu }^{\left(s\right)}(-i\hslash \eta )$:

$$\begin{array}{cc}\hfill & K_{\mu }^{\left(s\right)}(i\hslash \xi ){\psi }^{\lambda }\left(g\right)⟺{\kappa }_{\mu }^{\left(s\right)}\left(\lambda \right)\psi (q,q^{\prime },\lambda ),\hfill \\ \hfill & K_{\mu }^{\left(s\right)}(-i\hslash \ell (q^{\prime },{\partial }_{q^{\prime }},\lambda ))={\kappa }_{\mu }^{\left(s\right)}\left(\lambda \right),\overline{{\kappa }_{\mu }^{\left(s\right)}\left(\lambda \right)}={\kappa }_{\mu }^{\left(s\right)}\left(\lambda \right),\underset{\hslash \to 0}{lim}{\kappa }_{\mu }^{\left(s\right)}\left(\lambda \right)={\omega }_{\mu }^{\left(s\right)}\left(\lambda \right).\hfill \end{array}$$

As a result of the generalized Fourier transform (18), the left and right fields are converted to $\lambda$-representations, and the Casimir operators become constants.

This fact is core to the method of noncommutative integration of linear differential equations on Lie groups. The method allows one to reduce the original linear differential equation

$$-{\hslash }^2{\Delta }_G\psi (g;q,\lambda )={\Lambda }^2\psi (g;q,\lambda ),\Lambda =\mathrm{const}$$

(21)

with the number of independent variables g equal to $dim\mathfrak{g}$ to the equation

$$H(-i\hslash \ell (q^{\prime },{\partial }_{q^{\prime }},\lambda ))\psi (q^{\prime };q,\lambda )={\Lambda }^2\psi (q^{\prime };q,\lambda )$$

with a fewer number of independent variables $q^{\prime }$ that is equal to $(dim\mathfrak{g}-\mathrm{ind}\mathfrak{g})/2$ using the ansatz

$$\begin{array}{cc}\hfill {\psi }^{\lambda }(g;q,\lambda )& =U^{\lambda +i\hslash \beta }\left(h(q,g^{-1})\right)\psi (q{g}^{-1};q,\lambda )\hfill \end{array}$$

(22)

parameterized by q and $\lambda$. In view of (17), the set of functions (22) parameterized by q, $\lambda$ and $\Lambda$ forms a complete set of solutions to the Equation (21).

Then, we apply the ansatz of the form (22) to the noncommutative reduction of the nonlinear Schrödinger Equation (8). Let us look for a solution of (8) in the form

$${\psi }^{\lambda }(t,g;q)=U^{\lambda +i\hslash \beta }\left(h(q,g^{-1})\right)\psi (t,q{g}^{-1};q,\lambda ).$$

In view of the relations (20), the linear part of the Equation (8) can be written as

$$\begin{array}{cc}\hfill & \left(i\hslash \frac{\partial }{\partial t}+\frac{{\hslash }^2}{2m}{\Delta }_G\right){\psi }^{\lambda }(t,g;q)=\hfill \\ \hfill & U^{\lambda +i\hslash \beta }\left(h(q,g^{-1})\right)\times \hfill \\ \hfill & \times \frac{1}{2m}{\left.\left[i\hslash \frac{\partial }{\partial t}+H(-i\hslash \ell (q^{\prime },{\partial }_{q^{\prime }},\lambda ))\right]\psi (t,q^{\prime };q,\lambda )\right|}_{q^{\prime }=q{g}^{-1}},\hfill \end{array}$$

and ${\left|{\psi }^{\lambda }(t,g;q)\right|}^2$ reads

$$\begin{array}{cc}\hfill {\left|{\psi }^{\lambda }(t,g;q)\right|}^2& ={\left|U^{\lambda +i\hslash \beta }h(q,g^{-1})\right|}^2{\left|\psi (t,q{g}^{-1};q,\lambda )\right|}^2=\hfill \\ \hfill & =e^{-2h(q,g){\beta }_{\overline{\alpha }}}{\left|U^{\lambda }h(q,g^{-1})\right|}^2{\left|\psi (t,q{g}^{-1};q,\lambda )\right|}^2.\hfill \end{array}$$

For the real polarization $\mathfrak{h}$, in view of the Formula (11), $|U^{\lambda }\left(h(q,g^{-1})\right)|=1$. Then, we have

$${\left|{\psi }^{\lambda }(t,g;q)\right|}^2=e^{-2h(q,g){\beta }_{\overline{\alpha }}}{\left|\psi (t,q{g}^{-1};q,\lambda )\right|}^2.$$

We only consider the Lie groups G for which

$$e^{-2h(q,g){\beta }_{\overline{\alpha }}}={\kappa }^2\left(q\right).$$

(23)

The condition (23) is satisfied if the covector $\beta$ is zero. Thus, under the condition (23), we obtain the reduced nonlinear Schrödinger equation

$$\begin{array}{cc}\hfill & \left[i\hslash \frac{\partial }{\partial t}+\frac{1}{2m}H(-i\hslash \ell (q^{\prime },{\partial }_{q^{\prime }},\lambda ))\right]\psi (t,q^{\prime };q,\lambda )+\hfill \\ \hfill & +U\left({\kappa }^2\left(q\right){\left|\psi (t,q^{\prime };q,\lambda )\right|}^2\right)\psi (t,q^{\prime };q,\lambda )=0\hfill \end{array}$$

with the fewer number of independent variables $q^{\prime }$.

4. The Three-Dimensional Group $\mathit{E}\left(\mathbf{2}\right)$

Here, we consider an example of noncommutative reduction of the nonlinear Schrödinger Equation (8) on the motion group $E\left(2\right)$ of the two-dimensional plane ${\mathbb{R}}^2$. The three-dimensional Lie algebra $\mathfrak{e}\left(2\right)$ of $E\left(2\right)$ is determined by the commutation relations $[e_1,e_3]=-e_2$, $[e_2,e_3]=e_1$ relative to the fixed basis $\{e_1,e_2,e_3\}$.

The left-invariant and the right-invariant vector fields on a $E\left(2\right)$ have the form

$$\begin{array}{cc}\hfill & {\xi }_1={\partial }_x,{\xi }_2={\partial }_y,{\xi }_3=y{\partial }_x-x{\partial }_y+{\partial }_{\alpha },\hfill \\ \hfill & {\eta }_1=-cos\alpha {\partial }_x+sin\alpha {\partial }_y,\hfill \\ \hfill & {\eta }_2=-sin\alpha {\partial }_x-cos\alpha {\partial }_y,{\eta }_3=-{\partial }_{\alpha }\hfill \end{array}$$

with respect to the canonical coordinates $(x,y,\alpha )$ of the second kind:

$$g=(x,y,\alpha )=e^{\alpha e_3}{e}^{y{e}_2}{e}^{x{e}_1},(x,y)\in {\mathbb{R}}^2,\alpha \in [0,2\pi ).$$

The invariant measure on the group coincides with the Lebesgue measure $d\mu \left(g\right)=dxdyd\alpha$. The composition law of the group is

$$\begin{array}{cc}\hfill & g_1{g}_2=\left(x_2+x_{1}cos{\alpha }_2+y_{1}sin{\alpha }_2,y_2-x_{1}sin{\alpha }_2+y_{1}cos{\alpha }_2,{\alpha }_1+{\alpha }_2\right),\hfill \\ \hfill & g_1=(x_1,y_1,{\alpha }_1),g_2=(x_2,y_2,{\alpha }_2).\hfill \end{array}$$

Each nondegenerate orbit is determined by the Casimir function $K\left(f\right)=f_1^2+f_2^2$ on the dual space ${\mathfrak{e}}^{*}\left(2\right)\simeq {\mathbb{R}}^3$ and passes through the covector $\lambda \left(j\right)=(j,0,0)$, $j>0$, i.e.,

$$\begin{array}{cc}\hfill & {\mathcal{O}}_j=\{f\in {\mathbb{R}}^3\mid K\left(f\right)=j^2,\neg (f_1=f_2=0)\},\hfill \\ \hfill & dim{\mathcal{O}}_j=2.\hfill \end{array}$$

The $\lambda$-representation operators corresponding to the real polarization $\mathfrak{h}=\{e_1,e_2\}$ have the form

$${\ell }_1=i\frac{j}{\hslash }cosq,{\ell }_2=-i\frac{j}{\hslash }sinq,{\ell }_3={\partial }_q,q\in [0;2\pi ).$$

The operators $-i\hslash {\ell }_a$ are symmetric with respect to the measure $d\mu \left(q\right)=dq$, and all nondegenerate orbits are integer. Solving the system of Equation (15), we find the functions ${\mathcal{D}}_{q{q}^{\prime }}^{\lambda }\left(g^{-1}\right)$, and the completeness and orthogonality conditions for them yield the following measure $d\mu \left(\lambda \right)$:

$$\begin{array}{cc}\hfill & {\mathcal{D}}_{q{q}^{\prime }}^{\lambda }\left(g^{-1}\right)=exp\left[\frac{i{j}_1}{\hslash }\left(ysinq-xcosq\right)\right]\delta \left(q^{\prime }-q+\alpha \right),\hfill \\ \hfill & d\mu \left(\lambda \right)=\frac{1}{{\left(2\pi \right)}^2}jdj.\hfill \end{array}$$

Let us introduce the right-invariant metric given by the matrix $\left(G^{ab}\right)=\mathrm{diag}({\delta }_1,{\delta }_2,{\delta }_3)$. In local coordinates, this metric can be written as

$$\begin{array}{cc}\hfill d{s}^2& =\left({\delta }_1^{-1}{cos}^2\alpha +{\delta }_2^{-1}{sin}^2\alpha \right)d{x}^2+\hfill \\ \hfill & +\left({\delta }_1^{-1}{sin}^2\alpha +{\delta }_2^{-1}{cos}^2\alpha \right)d{y}^2+{\delta }_3^{-1}d{\alpha }^2.\hfill \end{array}$$

(24)

The metric (24) has the nonzero scalar curvature $R={\delta }_3{({\delta }_1-{\delta }_2)}^2/\left(2{\delta }_1{\delta }_2\right),$ and the corresponding Laplace operator reads

$$\begin{array}{cc}\hfill {\Delta }_{E\left(2\right)}& =\left({\delta }_1{cos}^2\alpha +{\delta }_2{sin}^2\alpha \right){\partial }_{xx}^2+\hfill \\ \hfill & \left({\delta }_1{sin}^2\alpha +{\delta }_2{cos}^2\alpha \right){\partial }_{yy}^2+({\delta }_2-{\delta }_1)sin2\alpha {\partial }_{xy}^2+{\delta }_3{\partial }_{\alpha \alpha }^2.\hfill \end{array}$$

For the nonlinear Schrödinger equation with the Laplace operator ${\Delta }_{E\left(2\right)}$ and potential $V=V\left(\alpha \right)$,

$$i\hslash \frac{\partial \psi }{\partial t}=\left(-\frac{{\hslash }^2}{2m}{\Delta }_{E\left(2\right)}+V\left(\alpha \right)-\epsilon {\left|\psi \right|}^2\right)\psi ,$$

(25)

$$\psi (t,g;q,j)=exp\left[\frac{ij}{\hslash }\left(ysinq-xcosq\right)\right]\psi (t,q-\alpha ).$$

Then, for the function $\psi (t,q^{\prime })$, Equation (25) yields the following reduced equation:

$$\begin{array}{cc}\hfill & i\hslash \frac{\partial \psi (t,q^{\prime })}{\partial t}+\frac{{\hslash }^2}{2m}{\delta }_3\frac{{\partial }^2\psi (t,q^{\prime })}{\partial q^{\prime 2}}-\hfill \\ \hfill & -\left[\frac{{\hslash }^{2}j}{2m}\left({\delta }_1{cos}^2{q}^{\prime }+{\delta }_2{sin}^2{q}^{\prime }\right)+V(q-q^{\prime })-\epsilon {\left|\psi (t,q^{\prime })\right|}^2\right]\psi (t,q^{\prime })=0.\hfill \end{array}$$

(26)

It can be seen that in the particular case $V\left(\alpha \right)=0$, ${\delta }_1={\delta }_2$, ${\delta }_3=1$, Equation (26) takes the form of the usual nonlinear Schrödinger equation and has the soliton solution

$$\begin{array}{cc}\hfill & \psi (t,q^{\prime })=\frac{\hslash a}{\sqrt{\epsilon m}}{cosh}^{-1}\left[\left(q^{\prime }-vt\right)\right]exp\left[\frac{im}{\hslash }\left(q^{\prime }-\frac{v}{2}\right)v-\frac{i\hslash }{2m}\left(a^2-{\delta }_1{n}^{\prime 2}\right)\right],\hfill \\ \hfill & j=\hslash n^{\prime },\epsilon >0.\hfill \end{array}$$

The solution to the original Equation (25) has the form

$$\begin{array}{cc}\hfill \psi (t,g;q,n^{\prime })& =\frac{\hslash a}{\sqrt{\epsilon m}}{cosh}^{-1}\left[\left(q-\alpha -vt\right)\right]\times \hfill \\ \hfill & \times exp\left[i\left(ysinq-xcosq\right)n^{\prime }+\frac{im}{\hslash }\left(q-\alpha -\frac{v}{2}\right)v-\frac{i\hslash }{2m}\left(a^2-{\delta }_1{n}^{\prime 2}\right)\right].\hfill \end{array}$$

Concluding this section, we note that the nonlinear Equation (8) on the Lie groups includes as a particular case the well-known classical ($1+1$)-dimensional nonlinear Schrödinger equation integrable by the Inverse Scattering Transform method (e.g., Ref. [10]), and the noncommutative reduction method proposed in this paper yields the one-soliton solution. This case follows from the more general Equation (25) with a potential $V\left(\alpha \right)$, which can be regarded as an example of the Gross–Pitaevskii equation [7].

5. The Four-Dimensional Solvable Exponential Group

Consider a four-dimensional solvable exponential group G. The Lie algebra $\mathfrak{g}$ of G, with respect to a fixed basis $\{e_1,e_2,e_3,e_4\}$, is defined by the commutation relations $[e_2,e_3]=e_1$, $[e_2,e_4]=e_2$, $[e_3,e_4]=-e_3$. The algebra index equals 2 and there are two Casimir functions

$$K_1\left(f\right)=f_1,K_2\left(f\right)=f_1{f}_4-f_3{f}_2,f\in {\mathfrak{g}}^{*}\simeq {\mathbb{R}}^4.$$

In canonical coordinates of the second kind

$$g(x_1,x_2,x_3,x_4)=e^{x_4{e}_4}{e}^{x_3{e}_3}{e}^{x_2{e}_2}{e}^{x_1{e}_1},x_1\in [0,2\pi ),(x_2,x_3,x_4)\in {\mathbb{R}}^3,$$

the left-invariant and the right-invariant vector fields are given by

$$\begin{array}{c}{\xi }_1={\partial }_{x_1},{\xi }_2={\partial }_{x_3},{\xi }_3=x_2{\partial }_{x_1}+{\partial }_{x_3},{\xi }_4=x_2{\partial }_{x_2}-x_3{\partial }_{x_3},\\ {\eta }_1={\partial }_{x_1},{\eta }_2=-e^{x_4}\left(x_3{\partial }_{x_1}+{\partial }_{x_2}\right){\eta }_3=-e^{-x_4}{\partial }_{x_3},{\eta }_4=-{\partial }_{x_4}.\end{array}$$

The invariant measure on the group coincides with the Lebesgue measure and is of the form $d\mu \left(g\right)=d{x}_{1}d{x}_{2}d{x}_{3}d{x}_4$. The subgroup $G_1=\{exp\left(e_1{x}_1\right)\}$ of the Lie group G can be either compact $(x_1\in [0;2\pi ))$ or noncompact $(x_1\in {\mathbb{R}}^1)$. Let us choose the right-invariant metric on the group as follows:

$$\begin{array}{cc}\hfill & d{s}^2={\delta }_1^{-1}d{x}_{1}d{x}_4+\left({\delta }_2^{-1}d{x}_3-{\delta }_1^{-1}{x}_{3}d{x}_4\right)d{x}_2,\hfill \\ \hfill & \left(g^{ab}\right)=2\mathrm{antidiag}\left({\delta }_1,{\delta }_2,{\delta }_2,{\delta }_1\right),\hfill \\ \hfill & {\delta }_2\ne -{\delta }_1,{\delta }_1,{\delta }_2=\mathrm{const}.\hfill \end{array}$$

(27)

The metric (27) is not flat because there is a nonzero component of the Ricci tensor $R_{\mu \nu }\left(g\right):R_{44}\left(g\right)={({\delta }_2/{\delta }_1)}^2/2$. The Laplace operator of the metric (27) reads

$${\Delta }_G=4{\delta }_1{\partial }_{x_1{x}_4}^2+2{\delta }_2\left(2{\partial }_{x_2{x}_3}^2+2x_3{\partial }_{x_1{x}_3}^2+{\partial }_{x_1}\right).$$

In this section, we will consider a stationary nonlinear Schrödinger equation of the form

$$-\frac{{\hslash }^2}{2m}{\Delta }_G\psi \left(g\right)+\epsilon e^{x_4}{\left|\psi \left(g\right)\right|}^2\psi \left(g\right)=E\psi \left(g\right),E>0.$$

(28)

There is a complete set of commuting symmetry operators $\{-i\hslash {\xi }_1,-i\hslash {\xi }_2,K_2(-i\hslash \xi )\}$ that allows one to perform a complete separation of variables in the linear Equation (28) with $\epsilon =0$:

$${\psi }_{p_1{p}_2{j}_2}\left(g\right)=e^{\frac{i}{\hslash }\left(p_1{x}_1+p_2{x}_2\right)}\left(\frac{\hslash }{p_2+p_1{x}_3}\right){}^{\frac{1}{2}+\frac{i{j}_2}{\hslash p_1}}{\phi }_{p_1{p}_2{j}_2}\left(x_4+ln\frac{p_2+p_1{x}_3}{\hslash }\right),$$

(29)

$$\begin{array}{cc}\hfill & -i\hslash {\xi }_1{\psi }_{p_1{p}_2{j}_2}\left(g\right)=p_1{\psi }_{p_1{p}_2{j}_2}\left(g\right),\hfill \\ \hfill & -i\hslash {\xi }_2{\psi }_{p_1{p}_2{j}_2}\left(g\right)=p_2{\psi }_{p_1{p}_2{j}_2}\left(g\right),\hfill \\ \hfill & K_2(-i\hslash \xi ){\psi }_{p_1{p}_2{j}_2}\left(g\right)=j_2{\psi }_{p_1{p}_2{j}_2}\left(g\right).\hfill \end{array}$$

Substituting the ansatz (29) into the Equation (28) with $\epsilon =0$, we get the ordinary differential equation

$$2({\delta }_1+{\delta }_2)p_1\frac{d{\phi }_{p_1{p}_2{j}_2}\left(z\right)}{dz}-\frac{i}{\hslash }\left(2{\delta }_2{j}_2+mE\right){\phi }_{p_1{p}_2{j}_2}\left(z\right)=0.$$

Nevertheless, it is not possible to reduce the nonlinear Equation (28) (when $\epsilon \ne 0$) because

$$e^{x_4}{\left|{\psi }_{p_1{p}_2{j}_2}\left(g\right)\right|}^2{\psi }_{p_1{p}_2{j}_2}\left(g\right)=\frac{e^z}{{\left(p_2+p_1{x}_3\right)}^2}{\left|{\phi }_{p_1{p}_2{j}_2}\left(z\right)\right|}^2{\phi }_{p_1{p}_2{j}_2}\left(z\right)$$

and the expression $e^z/{\left(p_2+p_1{x}_3\right)}^2$ depends on the variable $x_3$.

Let us now carry out the noncommutative reduction. Each nondegenerate K-orbit passes through the parameterized covector $\lambda \left(j\right)=(j_1,0,0,j_2),j=(j_1,j_2)\in {\mathbb{R}}^2$:

$$\begin{array}{cc}\hfill & {\mathcal{O}}_j=\{f\in {\mathbb{R}}^4\mid K\left(f\right)=j_1,K\left(f\right)=j_1{j}_2,\neg (f_1=f_2=f=0)\},\hfill \\ \hfill & dim{\mathcal{O}}_j=2.\hfill \end{array}$$

The $\lambda$-representation operators corresponding to nondegenerate K-orbits and real polarization $\mathfrak{h}=\{e_1,e_3,e_4\}$ have the form

$$\begin{array}{cc}\hfill & {\ell }_1=i\frac{j_1}{\hslash },{\ell }_2={\partial }_q,{\ell }_3=i\frac{j_1}{\hslash }q,{\ell }_4=q{\partial }_q+\frac{i}{\hslash }\left(j_2-i\hslash \frac{1}{2}\right),\hfill \\ \hfill & K_1(-i\hslash \ell )=j_1,K_2(-i\hslash \ell )=j_1{j}_2,\hfill \end{array}$$

where the covector $\beta =(0,0,0,-1/2)$. The operators $-i\hslash {\ell }_a$ are symmetric with respect to the measure $d\mu \left(q\right)=dq,q\in Q\simeq {\mathbb{R}}^1$.

Solving the system of Equation (15), we obtain the functions ${\mathcal{D}}_{q{q}^{\prime }}^{\lambda }\left(g^{-1}\right)$, and the completeness and orthogonality conditions for them yield the following measure $d\mu \left(\lambda \right)$:

$$\begin{array}{cc}\hfill & {\mathcal{D}}_{q{q}^{\prime }}^{\lambda }\left(g^{-1}\right)=exp\left(-\frac{1}{2}{x}_4-\frac{i{j}_1}{\hslash }\left(x_3\left(q-x_2\right)+x_1\right)-\frac{i{j}_2}{\hslash }{x}_4\right)\delta \left(q^{\prime }+e^{-x_4}\left(x_2-q\right)\right),\hfill \\ \hfill & d\mu \left(\lambda \right)=\frac{1}{{\left(2\pi \right)}^3}{j}_{1}d{j}_{1}d{j}_2.\hfill \end{array}$$

Then, the noncommutative ansatz has the form

$$\begin{array}{cc}\hfill \psi (g;q,j_1,j_2)& =e^{-x_4/2}exp\left(-\frac{i{j}_1}{\hslash }\left(x_3\left(q-x_2\right)+x_1\right)-\frac{i{j}_2}{\hslash }{x}_4\right)\times \hfill \\ \hfill & \times \psi \left(e^{-x_4}\left(q-x_2\right)\right).\hfill \end{array}$$

(30)

Substituting (30) into (25), we obtain the ordinary differential equation

$$\begin{array}{cc}\hfill & -\frac{n_1{\hslash }^2}{m}\left[i({\delta }_1+{\delta }_2)\left(2q^{\prime }\frac{d}{d{q}^{\prime }}+1\right)-2\hslash {\delta }_2{n}_2\right]\psi \left(q^{\prime }\right)+\hfill \\ \hfill & +\epsilon {\left|\psi \left(q^{\prime }\right)\right|}^2\psi \left(q^{\prime }\right)=E\psi \left(q^{\prime }\right).\hfill \end{array}$$

(31)

In the linear case $\epsilon =0$, we have a solution

$$\psi \left(q^{\prime }\right)=\frac{1}{\sqrt{q^{\prime }}}exp\left(i\frac{mE/\left(2{\hslash }^2\right)-{\delta }_1{n}_1{\mathit{n}}_2}{\left({\delta }_1+{\delta }_2\right){\mathit{n}}_1}ln{q}^{\prime }\right),\epsilon =0.$$

We seek a solution of the Equation (31) in the form

$$\psi \left(q^{\prime }\right)=f\left(q^{\prime }\right)exp\left(i\Phi \left(q^{\prime }\right)\right),$$

(32)

where $f\left(q^{\prime }\right)$ and $\Phi \left(q^{\prime }\right)$ are real functions. Substituting (32) in (31), we get the ODE system:

$$\begin{array}{cc}\hfill & 2\frac{{\hslash }^2}{m}\left({\delta }_1+{\delta }_2\right){\mathit{j}}_1{q}^{\prime }{f}^{\prime }\left(q^{\prime }\right)+\epsilon f{\left(q^{\prime }\right)}^{3}cot\varphi \left(q^{\prime }\right)+\hfill \\ \hfill & \left[2\frac{{\hslash }^2}{m}\left({\delta }_1+{\delta }_2\right){\mathit{j}}_1\left(2q^{\prime }{\varphi }^{\prime }\left(q^{\prime }\right)cot\varphi \left(q^{\prime }\right)+1\right)-Ecot\varphi \left(q^{\prime }\right)\right]f\left(q^{\prime }\right)=0,\hfill \\ \hfill & 2q^{\prime }{f}^{\prime }\left(q^{\prime }\right)+f\left(q^{\prime }\right)=0.\hfill \end{array}$$

The solution of this system yields

$$\psi \left(q^{\prime }\right)=\sqrt{\frac{{\hslash }^2}{\epsilon m}\frac{2\left({\delta }_1+{\delta }_2\right)n_1}{q^{\prime }}}exp\left\{i\left[\frac{c_1}{q^{\prime }}+\frac{mE/\left(2n_1{\hslash }^2\right)-{\delta }_1{\mathit{n}}_2}{{\delta }_1+{\delta }_2}\right]ln{q}^{\prime }+\frac{ln{c}_1}{2}\right\}.$$

(33)

Substituting (33) into the expression (30), we obtain a set of particular solutions $\psi \left(g\right)$ of the nonlinear equation (25) that are parameterized by $\{q^{\prime },n_1,n_2\}$ and $c_1$. For this set of solutions, the following equality holds:

$${\left|\psi \left(g\right)\right|}^2=\frac{2{\hslash }^2}{\epsilon m}\left({\delta }_1+{\delta }_2\right)\left|\frac{{\mathit{n}}_1{c}_1}{q-x_2}\right|.$$

(34)

Thus, the noncommutative reduction of the Equations (25)–(31) made it possible to find a family of particular solutions of the original Equation (25). The solutions obtained tend to infinity on the plane $x_2=q$ and tend to zero as $x_2\to \pm \infty$ that can be seen from (34).

6. Conclusions

In this article, we considered an approach in which the noncommutative integration method developed in Ref. [4] for finding bases for solution spaces of linear PDEs with symmetries can be applied to constructing families of particular solutions of nonlinear equations on Lie groups by reducing the nonlinear equation to an equation with a fewer number of independent variables. In terms of this approach, we study the generalized nonlinear Schrödinger equation in curved space with local cubic nonlinearity on a Lie group.

The application of the noncommutative integration method to nonlinear equations on Lie groups (under certain restrictions), allows finding families of particular solutions parameterized by the eigenvalues of the noncommutative set of symmetry operators for the linear part of the nonlinear equation under consideration. The nonlinear term in the original nonlinear equation does not admit those symmetry operators that its linear part admits. On the other hand, the noncommutative ansatz is determined only by the algebra of symmetry operators of the linear part of the nonlinear equation. The special form of the ansatz (22), because of its algebraic properties, allows us in a number of cases to carry out a noncommutative reduction of the original nonlinear equation.

The parameters q and $\lambda$ in the noncommutative ansatz (22) acquire a physical meaning when comparing the solution of a nonlinear equation with the solution of its linear counterpart, as was considered in Ref. [23].

In some cases, it is possible to carry out the noncommutative reduction to a nonlinear equation with an external potential. In the case of the NLSE with a potential, we arrive at the Gross–Pitaevskii equation, which is the model mean field equation in BEC theory [7,8,9]. This case is demonstrated by the example of the NLSE with the external potential (25) on the three-dimensional Lie group $E\left(2\right)$ in Section 4. With the special choice of the right-invariant metric on the group $E\left(2\right)$, we obtained the classical ($1+1$)-dimensional NLSE as a result of noncommutative reduction. This made it possible to obtain a soliton-type solution for the NLSE on the group $E\left(2\right)$.

We also note that in this paper we consider the NLSE with local nonlinearity in contrast to papers [24,25], where the noncommutative reduction was applied to nonlinear equations with a nonlocal term of the convolution type. In those papers, the original nonlocal nonlinear equation was reduced to a nonlocal nonlinear equation with a fewer number of independent variables using the generalized Fourier transform.

The broad implication of the present research is that the noncommutative reduction of the NLSE considered in this paper expands the possibilities of the exact integration of nonlinear equations on Lie groups and, importantly, in multidimensional cases. The proposed approach is more limited by the symmetries of the equation than by its specific form. Therefore, our proposed version of noncommutative reduction can be applied to other equations, among which the nonlinear relativistic equations are of particular interest, for example, the nonlinear Dirac, sine–Gordon, and reaction–diffusion-type equations. In addition, the problem of the search of nonlinear equations admitting a noncommutative reduction naturally arises.