含无穷远复杂边界条件的二阶常微分方程积分常数确定技巧咨询

嘿，我来跟进你的问题——你现在卡壳的是这个二阶常微分方程的积分常数确定，先把你的问题背景和条件再明确下：
这是来自M.L. KRASNOV、A.L. KISELYOV、G.I. MARKARENKO所著《A book of problems in ordinary differential equations》（1983年MIR出版社，莫斯科）里的第672题，方程和边界条件如下：

$$
\begin{align}
y^{{\prime\prime}+\frac{2}{x}y}{\prime}-y & =0\tag{1}\
y\left( -\infty\right) & =0\nonumber\
y^{\prime}\left( -1\right) & =-e^{-1}\nonumber
\end{align}
$$

你已经求出了方程的通解，而且用电脑验证过通解的正确性，但在确定积分常数$c_1$、$c_2$的时候碰了壁：

• 常规的“列y和y'的方程解常数”方法行不通
• 直接对通解取$x\to-\infty$的极限，也得不到有效解
• 最后只能靠试错才找到了正确的$c_1$、$c_2$值

你提到会展示自己的尝试过程，不过先从这类带无穷远边界条件问题的通用技巧说起：这类问题的核心，从来不是硬把$x\to-\infty$代入通解硬算，而是先分析通解中每个特解分项在$x\to-\infty$时的趋势，先把会导致$y(-\infty)$发散的项直接“干掉”——也就是把对应项的系数设为0。

举个典型逻辑：如果你的通解是由两个线性无关特解组成的$y = c_1 y_1(x) + c_2 y_2(x)$，那第一步就该分别看$y_1(-\infty)$和$y_2(-\infty)$的趋势：

• 要是其中一个特解在$x \to -\infty$时趋于无穷大，那为了满足$y(-\infty)=0$，这个特解对应的常数必须设为0
• 要是两个特解在极限下都有界，再结合$y(-\infty)=0$的条件列方程缩小范围

你之前取极限没得到解，大概率是没先做这个“分项趋势筛选”的步骤——比如如果通解里有一个特解在$x\to-\infty$时是指数增长的，那只要这个特解的系数不为0，整个y就会趋于无穷大，直接违反边界条件，所以这个系数必须是0，这是明确的约束，完全不需要试错。

如果你能把你求出的通解具体形式贴出来，咱们可以更精准地走一遍这个筛选+求解的流程，不过这个“先筛发散项，再用有限点条件收尾”的思路，是处理这类无穷远边界条件的标准操作，比试错靠谱多了。

备注：内容来源于stack exchange，提问作者Nasser