常微分方程与边值问题

概述： 本课介绍“数学建模”过程，将下落物体、种群动态等物理现象转化为微分方程。学生将学习使用“方向场”作为分析这些模型定性特征的强大工具。

学习成果：

• 根据物理定律建立微分方程，特别是物体在大气中下落时的牛顿第二定律。
• 构造并解读方向场，以可视化一阶微分方程解的行为。
• 识别并分析平衡解与终端速度，以确定系统的定性行为。

概述： 本课涵盖一阶微分方程的基本理论、求解技巧及其实际应用。掌握积分因子法、变量分离法等解析方法，同时学习欧拉法等数值近似技术。

学习成果：

• 按阶数分类微分方程，并判断其线性或非线性性质。
• 使用积分因子、变量分离法，以及恰当方程或伯努利方程的方法求解一阶微分方程。
• 将一阶常微分方程应用于建模实际现象，如混合问题、放射性碳测年及冷却定律。

概述： 本课讲解二阶线性微分方程的理论与应用，重点研究齐次与非齐次形式。探讨常系数方程在不同根类型下的解法，并将其应用于机械与电气系统。

学习成果：

• 求解具有常系数的二阶线性齐次方程，并利用朗斯基行列式验证解的基本集合。
• 应用待定系数法与参数变易法求解非齐次方程的特解。
• 建模与分析物理系统（振动与电路），识别共振、拍频以及瞬态/稳态行为等现象。

概述： 本课将线性微分方程的理论从二阶推广至 n 阶。建立基本的存在性与唯一性定理，并提供求解具有常系数或变系数的高阶方程的系统方法。

学习成果：

• 确定 n 阶线性初值问题解的存在性与唯一性区间。
• 利用朗斯基行列式验证函数的线性无关性，并找出解的基本集合。
• 通过识别特征多项式的实根、重根及复根，构建常系数齐次方程的通解。

概述： 本课探讨当解无法用初等函数表示时，使用幂级数求解二阶线性微分方程的方法。学生将区分奇点类型，并运用富克斯方法。

学习成果：

• 识别与分类奇点：区分普通点、正则奇点与非正则奇点。
• 推导级数解：应用幂级数展开与富克斯方法，求得通解并确定其收敛半径。
• 分析特殊函数：定义并求解经典方程（艾里、埃尔米特、勒让德、贝塞尔），识别其多项式或超越函数解。

概述： 本课探讨拉普拉斯变换作为一种强大的积分变换，可将带初始条件的线性微分方程转化为代数方程。处理复杂的激励函数，包括分段连续函数和脉冲输入。

学习成果：

• 定义拉普拉斯变换，并根据分段连续性和指数阶条件判断其存在性。
• 通过变换至 s 域并应用逆变换，求解二阶线性初值问题（IVPs）。
• 使用海维赛德（单位阶跃）函数与平移定理，表示并变换不连续的激励函数。

概述： 本课探讨一阶线性微分方程组的理论与应用。利用线性代数工具，如特征值与矩阵指数，求解复杂系统情形。

学习成果：

• 将任意 n 阶线性微分方程转化为 n 个一阶方程的系统。
• 使用特征值与特征向量求解常系数齐次线性系统，包括重根情况。
• 构造基本矩阵，利用矩阵指数 \exp(\mathbf{A}t) 与对角化方法求解系统。

概述： 本课介绍求解常微分方程的基本数值技术，涵盖单步方法到多步预测-校正方法。强调近似精度与数值稳定性之间的平衡。

学习成果：

• 实施并比较欧拉（显式）方法与后向欧拉（隐式）方法。
• 量化并区分局部截断误差、全局截断误差与舍入误差。
• 应用多步方法（阿达姆斯-巴什福斯/莫尔顿）与预测-校正循环，提高精度阶数。

概述： 本课通过相平面技术探索非线性自治系统的定性分析。从线性系统的分类过渡到对洛伦兹系统中极限环与混沌等复杂行为的分析。

学习成果：

• 根据特征值与相图，对线性与非线性系统的奇点进行分类。
• 使用雅可比矩阵对自治非线性系统进行线性化，以判断局部稳定性。
• 应用李雅普诺夫第二方法与庞加莱-本迪克松定理，证明稳定性或周期解的存在性。

概述： 本课介绍求解描述热传导、波传播及稳态温度分布的线性偏微分方程的技术。利用傅里叶级数与分离变量法，将偏微分方程转化为常微分方程。

学习成果：

• 求解两点边值问题，并识别唯一解、无穷多解或无解的条件。
• 使用欧拉-傅里叶公式将周期函数展开为傅里叶级数，并识别偶函数与奇函数的性质。
• 应用分离变量法求解热传导方程、波动方程与拉普拉斯方程。

概述： 本课探讨斯特姆-刘维尔（S-L）问题的理论框架。涵盖自伴算子的性质、特征函数的正交性，以及格林函数在非齐次问题中的应用。

学习成果：

• 定义并识别正则与奇异的斯特姆-刘维尔边值问题。
• 利用拉格朗日恒等式证明算子的自伴性与特征函数的正交性。
• 通过特征函数展开与格林函数求解非齐次边值问题。