函数空间C(R)中给定初始条件的h与y的线性相关性判定

嘿，我来帮你把这个问题理清楚～首先咱们得先明确线性相关/无关的核心定义：对于定义在ℝ上的连续函数h和y，如果存在不全为零的常数a、b，能让a·h(x) + b·y(x) ≡ 0对所有x∈ℝ都成立，那它们就是线性相关的；反之，只有当a=b=0时这个等式才成立，那就是线性无关的。

你提到的思路其实已经踩中关键点了——咱们可以用x=17处给定的函数值和导数值来验证，不过不是去判断h=y或者h’=y’，而是代入线性组合的等式里推导系数：

假设存在常数a、b使得a·h(x) + b·y(x) ≡ 0（这里的≡表示恒等于零函数），因为h和y都可导（题目给了导数，默认是连续可导的），对等式两边求导可得：
a·h’(x) + b·y’(x) ≡ 0

现在把x=17代入这两个恒等式：

• 代入原等式：a·h(17) + b·y(17) = a·1 + b·0 = a = 0
• 代入导数等式：a·h’(17) + b·y’(17) = a·0 + b·1 = b = 0

这说明只有当a=0且b=0时，那个线性组合的恒等式才成立，完全符合线性无关的定义。所以结论是：h和y是线性无关的函数。

顺便补充个进阶点的方法：这种情况其实可以用Wronskian行列式来快速判断。对于两个可导函数，它们在某点的Wronskian行列式不为零，就说明这两个函数线性无关。x=17处的Wronskian行列式是：

W(h,y)(17) = | h(17)  y(17) |
             | h’(17) y’(17)| = | 1  0 |
                               | 0  1 | = 1 ≠ 0

这个结果也直接证明了h和y是线性无关的。

内容的提问来源于stack exchange，提问作者Ashley