On the second-order approximate symmetry classification and optimal systems of subalgebras for a forced Korteweg–de Vries equation

We investigate a forced Korteweg–de Vries (fKdV) equation, $u_{\text{,}t}+{\mathit{cu}}_{\text{,}x}+\alpha {\mathit{uu}}_{\text{,}x}+\beta u_{\text{,}\mathit{xxx}}=\beta F(t)$, which arises in the modelling of tsunami generation by submarine landslides. Approximate symmetries are found for the fKdV equation using the method as proposed by Fushchich and Shtelen [6]. Symmetries are found to second order in the perturbation parameter using the MAPLE symmetry package ASP [11], an add-on to the symmetry package DESOLVII [18]. ASP also allows particular forms of the arbitrary function $F(t)$ to be found which extend the symmetry algebra and hence a full approximate symmetry classification of the fKdV equation is obtained. Optimal systems of one-dimensional subalgebras are also determined. Corresponding approximate invariant solutions to the fKdV equation are then constructed for particular $F(t)$ using DESOLVII routines.     

A note on the unique continuation property for Zakharov–Kuznetsov equation

We prove that if a sufficiently smooth solution to the initial value problem associated with the Zakharov–Kuznetsov equation$u_t+(u_{\mathit{xx}}+u_{\mathit{yy}}{)}_x+{\mathit{uu}}_x=0,(x,y)\in {\mathbb{R}}^2,t\in \mathbb{R}$is supported compactly in a nontrivial time interval then it vanishes identically.     

Triangular C1-bialgebra defined as the direct sum of matrix algebras

Let $M_{*}(\mathbf{C})$ denote the ${\mathrm{C}}^1$-algebra defined as the direct sum of all matrix algebras $\{M_n(\mathbf{C}):n?1\}$. It is known that $M_{*}(\mathbf{C})$ has a non-cocommutative comultiplication ${\mathrm{\Delta }}_{\phi }$. From a certain set of transformations of integers, we construct a universal R-matrix R of the ${\mathrm{C}}^1$-bialgebra $(M_{*}(\mathbf{C})\text{,}{\mathrm{\Delta }}_{\phi })$ such that the quasi-cocommutative ${\mathrm{C}}^1$-bialgebra $(M_{*}(\mathbf{C})\text{,}{\mathrm{\Delta }}_{\phi }\text{,}R)$ is triangular. Furthermore, it is shown that certain linear Diophantine equations are corresponded to the Yang–Baxter equations of R.     

On the trivectors of a 6-dimensional symplectic vector space. II

Let V be a 6-dimensional vector space over a field $\mathbb{F}$, let f be a nondegenerate alternating bilinear form on V and let $\mathit{Sp}(V\text{,}f)?{\mathit{Sp}}_6(\mathbb{F})$ denote the symplectic group associated with $(V\text{,}f)$. The group $\mathit{GL}(V)$ has a natural action on the third exterior power ${?}^{3}V$ of V and this action defines five families of nonzero trivectors of V. Four of these families are orbits for any choice of the field $\mathbb{F}$. The orbits of the fifth family are in one-to-one correspondence with the quadratic extensions of $\mathbb{F}$ that are contained in a fixed algebraic closure $\overline{\mathbb{F}}$ of $\mathbb{F}$. In this paper, we divide the orbits corresponding to the separable quadratic extensions into suborbits for the action of $\mathit{Sp}(V\text{,}f)?\mathit{GL}(V)$ on ${?}^{3}V$.     

Matrix completion problems over integral domains: The case with a diagonal of prescribed blocks

Let $\mathfrak{R}$ be an arbitrary integral domain, let $\wedge =\{{\lambda }_1\text{,}\dots \text{,}{\lambda }_n\}$ be a multiset of elements of $\mathfrak{R}$, let $\sigma$ be a permutation of $\{1\text{,}\dots \text{,}k\}$ let $n_1\text{,}\dots \text{,}{n}_k$ be positive integers such that $n_1+?+n_k=n$, and for $r=1\text{,}\dots \text{,}k$ let $A_r\in {\mathfrak{R}}^{n_r\times n_{\sigma (r)}}$. We are interested in the problem of finding a block matrix $Q={\left[Q_{\mathit{rs}}\right]}_{r\text{,}s=1}^k\in {\mathfrak{R}}^{n\times n}$ with spectrum $\mathrm{\Lambda }$ and such that $Q_{r\sigma (r)}=A_r$ for $r=1\text{,}\dots \text{,}k$. Cravo and Silva completely characterized the existence of such a matrix when $\mathfrak{R}$ is a field. In this work we construct a solution matrix $Q$ that solves the problem when $\mathfrak{R}$ is an integral domain with two exceptions: (i) $k=2$; (ii) $k\ge 3$, $\sigma (r)=r$ and $n_r>n/2$ for some $r$.What makes this work quite unique in this area is that we consider the problem over the more general algebraic structure of integral domains, which includes the important case of integers. Furthermore, we provide an explicit and easy to implement finite step algorithm that constructs an specific solution matrix (we point out that Cravo and Silva’s proof is not constructive).