当前位置: 首页 > backend >正文

【高等数学】第七章 微分方程——第六节 高阶线性微分方程

上一节【高等数学】第七章 微分方程——第五节 可降阶的高阶微分方程
总目录【高等数学】 目录

文章目录

  • 1. 线性微分方程解的结构
  • 2. 常数变易法

  • 方程d2ydx2+P(x)dydx+Q(x)y=f(x)\dfrac{\mathrm{d}^2 y}{\mathrm{d}x^2} + P(x)\dfrac{\mathrm{d}y}{\mathrm{d}x} + Q(x)y = f(x)dx2d2y+P(x)dxdy+Q(x)y=f(x)叫做二阶微分方程。当f(x)≡0f(x)\equiv 0f(x)0,方程是齐次的;当f(x)≢0f(x)\not\equiv 0f(x)0,方程是非齐次

1. 线性微分方程解的结构

  • 二阶齐次线性微分方程解的性质y′′+P(x)y′+Q(x)y=0y'' + P(x)y' + Q(x)y = 0y′′+P(x)y+Q(x)y=0
    • 线性叠加性
      如果函数y1(x)y_1(x)y1(x)y2(x)y_2(x)y2(x)是二阶齐次线性微分方程的两个解
      那么y=C1y1(x)+C2y2(x)y = C_1y_1(x) + C_2y_2(x)y=C1y1(x)+C2y2(x)也是该方程的解,其中C1,C2C_1,C_2C1,C2是任意常数

      这个性质说明二阶齐次线性微分方程解空间是线性空间

    • 通解结构
      如果y1(x)y_1(x)y1(x)y2(x)y_2(x)y2(x)是二阶齐次线性微分方程的两个线性无关的特解
      那么y=C1y1(x)+C2y2(x)y = C_1y_1(x) + C_2y_2(x)y=C1y1(x)+C2y2(x)就是该方程的通解,其中C1,C2C_1,C_2C1,C2是任意常数

      二阶齐次线性微分方程的解需要两个初值条件才能确定,因此解空间是二维的

  • nnn阶齐次线性微分方程的通解结构
    如果y1(x),y2(x),⋯,yn(x)y_1(x),y_2(x),\cdots,y_n(x)y1(x),y2(x),,yn(x)nnn阶齐次线性方程y(n)+a1(x)y(n−1)+⋯+an−1(x)y′+an(x)y=0y^{(n)} + a_1(x)y^{(n - 1)} + \cdots + a_{n - 1}(x)y' + a_n(x)y = 0y(n)+a1(x)y(n1)++an1(x)y+an(x)y=0nnn个线性无关的解
    那么,此方程的通解为
    y=C1y1(x)+C2y2(x)+⋯+Cnyn(x)y = C_1y_1(x) + C_2y_2(x) + \cdots + C_ny_n(x)y=C1y1(x)+C2y2(x)++Cnyn(x)其中C1,C2,⋯,CnC_1,C_2,\cdots,C_nC1,C2,,Cn为任意常数.

    nnn阶齐次线性微分方程的解需要nnn个初值条件才能确定,因此解空间是nnn维的

  • 二阶非齐次线性微分方程的通解结构(可以推广到nnn阶)
    y∗(x)y^*(x)y(x) 是二阶非齐次线性方程
    y′′+P(x)y′+Q(x)y=f(x)y'' + P(x)y' + Q(x)y = f(x)y′′+P(x)y+Q(x)y=f(x)
    的一个特解
    Y(x)Y(x)Y(x) 是与二阶非齐次线性方程对应的齐次方程的通解,
    y=Y(x)+y∗(x)y = Y(x) + y^*(x)y=Y(x)+y(x)
    是二阶非齐次线性微分方程的通解

    二阶非齐次线性微分方程的解需要两个初值条件才能确定,因此解空间是二维的

  • 线性微分方程的叠加原理(可以推广到nnn阶)
    设非齐次线性方程的右端f(x)f(x)f(x)是两个函数之和,即
    y′′+P(x)y′+Q(x)y=f1(x)+f2(x)y'' + P(x)y' + Q(x)y = f_1(x) + f_2(x)y′′+P(x)y+Q(x)y=f1(x)+f2(x)
    y1∗(x)y_1^*(x)y1(x)y2∗(x)y_2^*(x)y2(x)分别是方程
    y′′+P(x)y′+Q(x)y=f1(x)y'' + P(x)y' + Q(x)y = f_1(x)y′′+P(x)y+Q(x)y=f1(x)

    y′′+P(x)y′+Q(x)y=f2(x)y'' + P(x)y' + Q(x)y = f_2(x)y′′+P(x)y+Q(x)y=f2(x)
    的特解
    y1∗(x)+y2∗(x)y_1^*(x) + y_2^*(x)y1(x)+y2(x)就是原方程的特解

2. 常数变易法

  • 思想(可以推广到高阶)
    将齐次线性微分方程通解中的任意常数换成未知函数,求对应的非齐次线性微分方程的通解
  • 以二阶非齐次线性微分方程为例
    已知二阶齐次线性微分方程的通解为Y(x)=C1y1(x)+C2y2(x)Y(x)=C_1y_1(x)+C_2y_2(x)Y(x)=C1y1(x)+C2y2(x)
    C1=v1(x),C2=v2(x)C_1=v_1(x),C_2=v_2(x)C1=v1(x),C2=v2(x),得y=v1y1+v2y2y=v_1y_1+v_2y_2y=v1y1+v2y2
    y′=y1v1′+y2v2′+y1′v1+y2′v2y' = y_1v_1' + y_2v_2' + y_1'v_1 + y_2'v_2y=y1v1+y2v2+y1v1+y2v2
    由于v1,v2v_1,v_2v1,v2只需使得y=v1y1+v2y2y=v_1y_1+v_2y_2y=v1y1+v2y2满足二阶非齐次线性微分方程,所以可规定v1,v2v_1,v_2v1,v2再满足y1v1′+y2v2′=0y_1v_1' + y_2v_2'=0y1v1+y2v2=0
    从而y′=y1′v1+y2′v2y'=y_1'v_1 + y_2'v_2y=y1v1+y2v2
    y′′=y1′v1′+y2′v2′+y1′′v1+y2′′v2y'' = y_1'v_1' + y_2'v_2' + y_1''v_1 + y_2''v_2y′′=y1v1+y2v2+y1′′v1+y2′′v2
    y,y′,y′′y,y',y''y,y,y′′代入二阶非齐次线性微分方程得
    y1′v1′+y2′v2′+(y1′′+Py1′+Qy1)v1+(y2′′+Py2′+Qy2)v2=fy_1'v_1' + y_2'v_2' + (y_1'' + Py_1' + Qy_1)v_1 + (y_2'' + Py_2' + Qy_2)v_2 = fy1v1+y2v2+(y1′′+Py1+Qy1)v1+(y2′′+Py2+Qy2)v2=f
    由于y1,y2y_1,y_2y1,y2是对应的二阶齐次线性微分方程的解,因此
    y1′v1′+y2′v2′=fy_1'v_1' + y_2'v_2' =fy1v1+y2v2=f
    联立方程{y1v1′+y2v2′=0y1′v1′+y2′v2′=f\begin{cases}y_1v_1' + y_2v_2'=0\\y_1'v_1' + y_2'v_2' =f\end{cases}{y1v1+y2v2=0y1v1+y2v2=f
    如果系数行列式W=∣y1y2y1′y2′∣=y1y2′−y1′y2≠0W = \begin{vmatrix} y_1 & y_2 \\ y_1' & y_2' \end{vmatrix} = y_1y_2' - y_1'y_2 \neq 0W=y1y1y2y2=y1y2y1y2=0
    可求得v1′=−y2fW,v2′=y1fW.v_1' = -\dfrac{y_2f}{W}, \quad v_2' = \dfrac{y_1f}{W}.v1=Wy2f,v2=Wy1f.
    对上两式积分(假定f(x)f(x)f(x)连续),得
    v1=C1+∫(−y2fW)dx,v2=C2+∫y1fWdx.v_1 = C_1 + \int \left( -\dfrac{y_2f}{W} \right) \mathrm{d}x, \quad v_2 = C_2 + \int \dfrac{y_1f}{W} \mathrm{d}x.v1=C1+(Wy2f)dx,v2=C2+Wy1fdx.
    于是得二阶非齐次线性微分方程的通解为
    y=C1y1+C2y2−y1∫y2fWdx+y2∫y1fWdx.y = C_1y_1 + C_2y_2 - y_1\int \dfrac{y_2f}{W} \mathrm{d}x + y_2\int \dfrac{y_1f}{W} \mathrm{d}x.y=C1y1+C2y2y1Wy2fdx+y2Wy1fdx.

下一节【高等数学】第七章 微分方程——第七节 常系数齐次线性微分方程
总目录【高等数学】 目录

http://www.xdnf.cn/news/16786.html

相关文章:

  • 无图形界面的CentOS 7网络如何配置
  • 【Flutter】双路视频播放方案
  • 第k小整数(快排)
  • 遥控器信号捕获
  • Trice移植(Start with Trice)
  • CS231n2017-Lecture9经典CNN架构笔记
  • Java学习-运算符
  • Git 进阶使用
  • 算法篇----位运算
  • 【Mysql】字段隐式转换对where条件和join关联条件的影响
  • Oracle EBS 缺少adcfgclone.pl文件
  • 链接脚本中. = ALIGN(4);的作用?
  • 北斗变形监测在地质灾害监测中的应用
  • 浅谈低代码平台涉及的一些技术选型
  • AI Agent 视角:可执行程序的二进制格式,是一场「结构化语言」与「智能解析」的双向奔赴
  • UE5多人MOBA+GAS 番外篇:同时造成多种类型伤害,以各种属性值的百分比来应用伤害(版本二)
  • 流式编程的中间操作
  • linux编译基础知识-编译时路径和运行时路径
  • 在Idea中,配置maven
  • Galaxea机器人由星海图人工智能科技有限公司研发的高性能仿人形机器人
  • 【C语言】预处理详解
  • 高防服务器租用:保障数据安全
  • Nginx跨域问题与 MIME 类型错误深度排错指南:解决 MIME type of “application/octet-stream“ 报错
  • PyTorch分布式训练深度指南
  • 26数据结构-顺序表
  • 【数据结构与算法】21.合并两个有序链表(LeetCode)
  • 如何将消息转移到新 iPhone
  • 深入剖析Spring IOC容器——原理、源码与实践全解析
  • Linux---编辑器vim
  • 嵌入式学习笔记-MCU阶段-DAY10ESP8266模块