圆的包络与微分方程的关系
圆的包络是指一族曲线中每条曲线都与某条特定曲线相切,这条特定曲线称为该曲线族的包络。在微分方程中,包络与奇解密切相关,以下逐步展开讲解。
1. 曲线族与包络的直观例子
考虑一族圆:
\[(x - t)^2 + y^2 = 1 \]
其中 \(t\) 是参数。每个 \(t\) 对应一个圆心在 \((t, 0)\)、半径为 1 的圆。这族圆的包络是两条直线:
\[y = 1 \quad \text{和} \quad y = -1 \]
因为每个圆都与这两条直线相切(如图)。
2. 包络的数学定义
设曲线族方程为:
\[F(x, y, t) = 0 \]
其中 \(t\) 是参数。若存在一条曲线 \(C\),满足:
- \(C\) 与族中每条曲线在某点相切;
- \(C\) 本身不是族中的曲线;
则 \(C\) 称为该曲线族的包络。
3. 包络的求法(判别式法)
包络可通过联立方程求解:
\[\begin{cases} F(x, y, t) = 0 \\ \frac{\partial F}{\partial t}(x, y, t) = 0 \end{cases} \]
消去参数 \(t\),得到的方程即为包络的候选曲线。
例子:求直线族 \(y = tx + \frac{1}{t}\)(\(t \neq 0\))的包络。
- 设 \(F(x, y, t) = y - tx - \frac{1}{t} = 0\);
- 对 \(t\) 求偏导:\(\frac{\partial F}{\partial t} = -x + \frac{1}{t^2} = 0 \implies x = \frac{1}{t^2}\);
- 代入原方程:\(y = t \cdot \frac{1}{t^2} + \frac{1}{t} = \frac{2}{t}\);
- 消去 \(t\):由 \(x = \frac{1}{t^2}\) 得 \(t = \pm \frac{1}{\sqrt{x}}\),代入 \(y = \frac{2}{t} = \pm 2\sqrt{x}\);
- 整理得包络:\(y^2 = 4x\)(抛物线)。
4. 包络与微分方程的奇解
考虑一阶微分方程:
\[\frac{dy}{dx} = f(x, y) \]
其通解为曲线族 \(F(x, y, C) = 0\)。若该曲线族存在包络,则包络也是微分方程的解,且称为奇解。
奇解的特性:
- 包络上的每一点都有族中两条曲线通过(即解不唯一);
- 奇解不包含在通解中(无法通过指定常数 \(C\) 得到)。
5. 奇解的判别条件
对一阶方程 \(F(x, y, y') = 0\),奇解需同时满足:
\[F(x, y, p) = 0 \quad \text{和} \quad \frac{\partial F}{\partial p}(x, y, p) = 0 \]
其中 \(p = dy/dx\)。消去 \(p\) 后得到的曲线可能是奇解。
例子:克莱罗方程 \(y = xp + p^2\)(\(p = dy/dx\)):
- 通解:直线族 \(y = Cx + C^2\);
- 对 \(p\) 求偏导:\(\frac{\partial F}{\partial p} = x + 2p = 0 \implies x = -2p\);
- 代入原方程:\(y = (-2p)p + p^2 = -p^2\);
- 消去 \(p\):由 \(x = -2p\) 得 \(p = -x/2\),代入 \(y = -p^2 = -x^2/4\);
- 奇解为 \(y = -\frac{x^2}{4}\)(抛物线),是直线族的包络。
6. 几何与物理意义
- 几何:包络是曲线族的“边界”,描述了族中曲线的共同切线轨迹。
- 物理:在波动光学中,波前的包络对应焦散曲线(caustic);在弹道学中,不同发射角的炮弹轨迹包络称为“安全抛物线”。
7. 注意事项
- 判别式法得到的曲线需验证是否为包络(可能只是族中曲线的交点集合);
- 奇解在微分方程中代表解的奇异性,常用于描述临界现象(如破裂、聚焦)。
通过以上步骤,你可以理解圆的包络如何推广到一般曲线族,并与微分方程的奇解建立深刻联系。