为什么在用分离变量法求解偏微分方程时会出现施图姆-刘维尔问题？

狄利克雷边界条件对应于将导数系数设为零（$\alpha_2 = \beta_2 = 0$），留下关于端点处 $y$ 值的条件。诺依曼边界条件对应于将函数系数设为零（$\alpha_1 = \beta_1 = 0$），留下关于导数的条件。

适用条件：一般边界条件是 $\alpha_1 y(a) + \alpha_2 y'(a) = 0$ 和 $\beta_1 y(b) + \beta_2 y'(b) = 0$。；狄利克雷：$\alpha_2 = \beta_2 = 0$。；诺依曼：$\alpha_1 = \beta_1 = 0$。

当且仅当其定义域是有限闭区间 $X=[a,b]$ 且系数 $p$ 在 $X$ 上处处不为零（对所有 $x \in X$，$p(x) \neq 0$）时，施图姆-刘维尔问题是正则的。当定义域 $X$ 是无限的/无界的，或者系数 $p$ 在 $X$ 中的某点 $x_0$ 处为零时，该问题是奇异的。

适用条件：正则：$X=[a,b]$ 且对所有 $x \in X$，$p(x) \neq 0$。；奇异：$X$ 是无限的，或者存在某个 $x_0 \in X$ 使得 $p(x_0)=0$。；对于无界的 $X$，边界条件使用极限来解释。

对于实常数，条件 $\alpha_1^2 + \alpha_2^2 \neq 0$ 是一种紧凑的表达方式，表示 $\alpha_1$ 和 $\alpha_2$ 不全为零。这确保了端点 $x=a$ 处的边界条件是非平凡的。

适用条件：常数 $\alpha_1, \alpha_2$ 是实数。；边界条件是 $\alpha_1 y(a) + \alpha_2 y'(a) = 0$。

施图姆-刘维尔算子是二阶微分表达式 $L y = (p y')' + q y$。系数函数 $p$ 必须是连续可微的，即 $p \in C^1(X)$，系数函数 $q$ 必须是连续的，即 $q \in C(X)$。

适用条件：该算子作用于函数 $y$。；$p$ 必须是连续可微的。；$q$ 必须是连续的。

施图姆-刘维尔问题是形式为 $L y = \lambda y$ 的特征值问题，定义在区间 $a < x < b$ 上，并带有端点处的齐次线性边界条件：$\alpha_1 y(a) + \alpha_2 y'(a) = 0$ 和 $\beta_1 y(b) + \beta_2 y'(b) = 0$。每个端点的系数不能同时为零。

适用条件：方程定义在区间 $a < x < b$ 上。；边界条件是 $x=a$ 和 $x=b$ 处 $y$ 和 $y'$ 的齐次线性组合。；在每个端点，边界系数对不能同时为零。