一类常微分方程的精确解.docxVIP

一类常微分方程的精确解 1 对称守守律关系的再设计 其中：x=（x）。 定义1 Lie-B?cklund或者广义算子有如下定义 其中: 得到.这里, W 定义2欧拉算子定义为 其中, 是x 定义3对于 (1) 所有的解满足守恒向量T= (T 定义4在 (2) 中给出的一个Lie-B?cklund算子是和守恒律T相关的, 如果它满足下列条件 则 (7) 式被称作对称守恒律关系 定理5假设X是 (1) 式的任意Lie-B?cklund生成子, T 得到 (1) 式的守恒向量的一部分, 因此 定理6假设D 是标准欧拉算子并可以从 (5) 式中计算得出.根据u的不同衍生形式对 (19) 式进行拓展然后拆分就可以得到下列的乘子的超定系统: 系统 (20) 式的解可以表示为 其中:C 从 (21) 式和 (22) 式中, 我们可以得到两个守恒向量: 接下来, 我们要给予Lie对称和守恒律应用双约化理论来找到约化和精确解.令T 方程 (24) 式是用于找到守恒向量相关的对称. 3 基于广义双约化理论的二元对称 本文利用Lie群方法对 (2+1) 维BBM方程进行了研究.因该方程中无法直接构造出L函数, 故采用乘子方法得到两组对称.并在每一种情况下, 利用广义双约化理论对方程进行化简, 最后求出方程的精确解.此方法可适用于更高阶的偏微分方程 最近几十年, 守恒律与Noether点对称的关系 Naz等人 其中: 定理7假设D 其中: 2 生成lie对称 (2+1) 维BBM方程 其中:a, b, c, d是任意常数.首先我们生成 (14) 式的Lie对称. Lie对称的生成子 由 生成.其中, X 把 (17) 式带入 (15) 式, 得到 因此, Lie对称为: (14) 式的守恒律将由乘子方法得到.乘子的判断方程为 2.1 算法的约化形式 守恒向量T X 这个对称可以用来得到约化守恒形式, 当 成立时, 生成子X有规范形式 根据变量 (t, x, y) 和 (r, s, q) 的约化守恒形式可以表示为 其中A 将守恒向量 (22) 式带入方程 (27) 式和 (28) 式中得到 其约化形式为 守恒向量 (30) 式有下面两个对称: 因为 所以 得到.生成子Y的标准形式是 在这种情况下, 约化守恒形式公式 (10) 写出 其中: 把方程 (29) 式带入守恒向量 (35) 式和 (36) 式得到: 公式 (37) 关于变量n的表示为 约化形式是 由 (39) 式可知, D 当C 情形1当r=γd, a=α, b=β, k=0时, (42) 式变为 用Maple解出精确解为 情形2当-βγ 用Maple解出精确解为 2.2 约化类形式的使用 守恒向量T 这个对称可以用来得到约化守恒形式.当 成立时, 生成子X有规范形式 根据变了 (t, x, y) 和 (r, s, q) 的约化守恒形式可以表示为 其中A 将守恒向量 (22) 式带入方程 (50) 式和 (51) 式中得到 其约化形式为 守恒向量 (53) 式有下面两个对称: 因为 所以 得到.生成子Y的标准形式是 在这种情况下, 约化守恒形式公式 (10) 写出 其中: 把方程 (52) 带入守恒向量 (58) 和 (59) 得到 公式 (37) 关于变量n的表示为′ 约化形式是 由 () 式可知, D 接下来我们用Sine-Cosine方法 其中:ν, κ≠0;ω是需要求出来的参数. 把 (65) 式中的ω代入到 (66) 式中并令k=0得到 (68) 式代数系统的解可以得到 (65) 式的解, 以上就是BBM方程 (14) 式的精确解.