分类 高等数学 下的文章

一、全微分方程定义与性质我们将一阶方程改写为对称的形式：$$ M(x, y)\mathrm{d}x + N(x, y)\mathrm{d}y = 0 $$如果上式的左边恰好是某一个二元函数 $u(x, y)$ 的全微分，即：$$ M(x, y)\mathrm{d}x + N(x, y)\mathrm{d}y = \mathrm{d}u(x, y) $$则称之为全微分方程，$u(x, y)$ 称为它的一个原函数。设 $y = y(x)$ 是全微分方程的一个解，且 $y(x_0) = y_0$。则：$$ M(x, y(x)) \mathrm{d}x + N(…

一般，在一个（组）方程中，如果未知量是一个（组）函数，而且该方程中含有此未知函数的导数，则称这种方程为微分方程（组），如果在微分方程里，出现的未知函数是单个自变量的函数，我们称这一类微分方程为常微分方程。下面通过几篇文章，推导各种常微分方程的求解方法。一、可分离变量方程我们首先讨论已解出导数的一阶微分方程的一种特殊形式$$ \frac{\mathrm{d}y}{\mathrm{d}x}=\varphi(x)\psi(y) $$的方程，其特点是，方程右边是一个$x$的函数与一个$y$的函数的乘积，我们称这类方程为可分离变量的微分方程。设$\varphi(x…

极坐标变换的雅可比行列式推导过程是理解多变量积分中变量替换的核心。以下是详细推导，结合几何直观与代数计算，验证其正确性。一、极坐标变换的定义将笛卡尔坐标 $(x, y)$ 转换为极坐标 $(r, \theta)$：$$ x = r \cos \theta, \quad y = r \sin \theta $$其中：$ r \geq 0 $ 是到原点的距离，$ \theta \in [0, 2\pi) $ 是与 $x$-轴的夹角。二、雅可比矩阵的构造雅可比矩阵由 $x$ 和 $y$ 对 $r$ 和 $\theta$ 的一阶偏导数构成：$$ J = \beg…

一、雅可比矩阵的定义与推导雅可比矩阵（Jacobian Matrix）是描述向量值函数一阶偏导数的矩阵。对于一个函数 $ \mathbf{f}: \mathbb{R}^n \to \mathbb{R}^m $，其雅可比矩阵 $ J_{\mathbf{F}} $ 是一个 $ m \times n $ 的矩阵，元素为各输出分量对输入变量的偏导数：$$ J_{\mathbf{f}}(\mathbf{x}) = \begin{bmatrix} \frac{\partial f_1}{\partial x_1} & \cdots & \frac{\…

一、极限存在证明 $f(x,y)$ 在 $(a,b)$ 处的极限存在，需要证明存在常数 $L$，满足$$ \lim_{(x,y)\to (a,b)} f(x,y) = L, $$即利用 $\epsilon$-$\delta$ 定义证明$$ \forall \epsilon > 0,\, \exists \delta > 0,\quad \text{使得当 } \sqrt{(x-a)^2+(y-b)^2}<\delta \text{ 时，有 } |f(x,y)-L|<\epsilon. $$常用方法包括夹逼定理、改用极坐标或沿各方向…

在讨论二维函数极限问题时，“重极限”和“累次极限”是两个常见的概念。一、重极限（双变量极限）设 $f(x,y)$ 是定义在某区域内的函数，我们说$$ \lim_{(x,y) \to (x_0,y_0)} f(x,y) = L $$的含义是：对于任意给定的 $\varepsilon>0$，存在 $\delta>0$ 使得当$$ 0<\sqrt{(x-x_0)^2+(y-y_0)^2}<\delta $$时，有$$ \bigl|f(x,y)-L\bigr|<\varepsilon. $$这种定义要求无论 $(x,y)$ 如何趋近…

在二维欧几里得空间中，我们常常用邻域来描述一个点周围的“微小区域”。对于一个点 $(x_0, y_0) \in \mathbb{R}^2$，两种常见的邻域是圆邻域和方邻域。下面我们详细讨论它们的定义、公式推导及两者之间的关系。一、定义与基本公式1、圆邻域（开圆盘）圆邻域使用欧几里得距离，也称为 $L^2$ 范数。对于给定半径 $r>0$，点 $(x_0, y_0)$ 的开圆邻域定义为$$ B\big((x_0, y_0), r\big)=\{(x,y) \in \mathbb{R}^2 : \sqrt{(x-x_0)^2+(y-y_0)^2} &l…

下面给出关于“导数”、“偏导数”、“全微分”、“方向导数”、“向量函数导数”、“矩阵导数”、“行列式导数”这七个数学概念在定义、几何意义、作用、性质四个方面的详细说明。一、导数1、定义对于实函数 $ f: \mathbb{R} \to \mathbb{R} $（也可推广到复函数或更一般情形），在某点 $ x_0 $ 处，导数定义为极限$$ f'(x_0) = \lim_{h \to 0} \frac{f(x_0+h)-f(x_0)}{h}, $$前提是该极限存在。这一定义实际上给出了函数在该点附近的瞬时变化率。2、几何意义导数在几何上可以理解为…

一、基本工具：Parseval 等式设 $f(x)$ 是 $[-\pi, \pi]$ 上平方可积的函数，其傅里叶级数为：$$ f(x) = \frac{a_0}{2} + \sum_{n=1}^\infty \left[a_n \cos(nx) + b_n \sin(nx)\right] $$则 Parseval 等式为：$$ \frac{1}{\pi} \int_{-\pi}^{\pi} |f(x)|^2 dx = \frac{a_0^2}{2} + \sum_{n=1}^\infty \left(a_n^2 + b_n^2\right) $$二、推导…

一、泰勒级数（Taylor Series）1. 定义设函数 $f(x)$ 在某点 $x=a$ 的邻域内有无穷阶导数。若存在一个级数满足：$$ f(x) = \sum_{n=0}^{\infty} \frac{f^{(n)}(a)}{n!}(x - a)^n, $$且该级数在某邻域内收敛于 $f(x)$，则称该级数为 $f(x)$ 在 $x=a$ 处的泰勒级数。2. 泰勒公式及其拉格朗日型余项设函数 $f$ 在闭区间 $[a, x]$ 上具有 $n+1$ 阶连续导数。根据泰勒定理，存在某个 $\xi$ 介于 $a$ 与 $x$ 之间，使得：$$ f(x) …

一、全微分对于二元函数 $z=f(x,y)$，仅研究一个自变量变化时函数的性态是不够的，经常要讨论两个自变量 $x,y$ 分别有增量 $\Delta x,\Delta y$ 时，相应函数值的改变量（即全增量）：$$\Delta z=f(x+\Delta x,y+\Delta y)-f(x,y)$$的变化情况。类似于一元函数的微分，下面以二元函数为例介绍多元函数的全微分。设二元函数 $z=f(x,y)$ 在点 $P_0(x_0,y_0)$ 的某邻域内有定义，若存在常数 $A,B$ 对充分小的 $\Delta x$ 和 $\Delta y$ 均有$$\Del…

一、误差公式误差公式描述了函数 $f(x)$ 与其傅里叶级数 $k$ 阶三角级数部分和 $S_k(x)$ 之间的逼近误差能量。具体公式为：$$ E_k = \int_{-\pi}^{\pi} \left| f(x) - S_k(x) \right|^2 \, dx = \int_{-\pi}^{\pi} |f(x)|^2 \, dx - \pi \left( \frac{a_0^2}{2} + \sum_{n=1}^{k} (a_n^2 + b_n^2) \right) $$以下是误差公式的详细推导过程：步骤 1：定义误差函数设 $S_k(x)$ 为傅里…

一、级数定义与其收敛发散性1、定义：级数、部分数列和给定数列 $\{a_n\}$，将其每一项依次用“+”号连接起来的表达式：$$a_1 + a_2 + \cdots + a_n + \cdots $$称为无穷级数。由于其通项 $a_n$ 都是常数，也称之为常数项级数，记作 $\sum_{n=1}^{+\infty} a_n$。在级数 $\sum_{n=1}^{+\infty} a_n$ 中，前 $n$ 项的和：$S_n = a_1 + a_2 + \cdots + a_n$，称为该级数的部分和。所得的数列 $\{S_n\}$ 称为部分和数列。级数 $\s…

一、不定积分的基本性质$$\int kf(x)dx = k \int f(x)dx$$$$\int [f(x) \pm g(x)]dx = \int f(x)dx \pm \int g(x)dx$$二、基本积分公式1) 常数类$$\int 1dx = x + C \quad (\text{或} \quad \int dx = x + C)$$$$\int kdx = kx + C$$2) 幂函数类$$\int x^{\mu}dx = \frac{x^{\mu+1}}{\mu+1} + C \quad (\mu \neq -1)$$$$\int \frac…

一、基本等价无穷小$\sin x \sim x$$\tan x \sim x$$\arcsin x \sim x$$\arctan x \sim x$$e^x - 1 \sim x$$\ln(1 + x) \sim x$$1 - \cos x \sim \frac{1}{2}x^2$$(1 + x)^a - 1 \sim a x$ （$a$ 为常数）$a^x - 1 \sim x \ln a$ （$a > 0$ 且 $a \neq 1$）二、高阶等价无穷小$\sin x - x \sim -\frac{1}{6}x^3$$\tan x - x \s…