N-SOLITON SOLUTIONS, AUTO-BÄCKLUND TRANSFORMATIONS AND LAX PAIR FOR A NONISOSPECTRAL AND VARIABLE-COEFFICIENT KORTEWEG-DE VRIES EQUATION VIA SYMBOLIC COMPUTATION

In this paper, a nonisospectral and variable-coefficient Korteweg-de Vries equation is investigated based on the ideas of the variable-coefficient balancing-act method and Hirota method. Via symbolic computation, we obtain the analytic N-soliton solutions, variable-coefficient bilinear form, auto-Bäcklund transformations (in both the bilinear form and Lax pair form), Lax pair and nonlinear superposition formula for such an equation in explicit …