问题1：在Sturm-Liouville问题中，为何可以假设本征函数是已知的？ #

其实这得从Sturm-Liouville（简称SL）理论的核心结论说起：对于正则的Sturm-Liouville问题（满足适当边界条件，且系数$K_0(x), c(x), \rho(x)$在区间$[0,L]$上连续，同时$K_0(x)>0, c(x)\rho(x)>0$），我们有几个关键性质：

• 存在无穷多个实的、互不相同的本征值$\lambda_n$，对应一组本征函数$\phi_n(x)$；
• 这组本征函数在区间$[0,L]$上关于权函数$c(x)\rho(x)$是正交的，即$\int_0^L c(x)\rho(x)\phi_n(x)\phi_m(x)dx=0$（当$n\neq m$时）；
• 更重要的是，这组本征函数系是完备的——任何满足一定光滑性和边界条件的函数$f(x)$，都可以展开成$\phi_n(x)$的级数形式：$f(x)=\sum_{n=1}^\infty a_n\phi_n(x)$，系数$a_n$能通过正交性直接计算。

在分离变量法中，我们的核心目标是构造PDE的解，而SL理论已经给了我们“这些本征函数一定存在且具备上述好用的性质”的保证。所以哪怕暂时没求出它们的具体表达式，我们也可以先默认它们是已知的，用它们的正交性和完备性来推进解法——等后续需要具体数值或解析结果时，再回头求解SL方程得到$\phi_n(x)$就行。简单说，SL理论给了我们“放心用”的底气，所以可以先假设它们已知。

问题2：变系数热方程对应的Sturm-Liouville方程的本征函数应用 #

你提到的变系数热方程分离变量后得到的SL方程：
$$(K_0 \phi')' + \lambda c \rho \phi = 0$$
搭配边界条件$\phi(0)=0, \phi'(L)=0$，这正是一个标准的正则SL问题。

教材里应该是想说：尽管本征函数$\phi_n(x)$不像常系数热方程那样是简单的三角函数（比如正弦、余弦），但这完全不影响我们用分离变量法构造解：

1. 我们依然可以假设PDE的解为$u(x,t)=\sum_{n=1}^\infty T_n(t)\phi_n(x)$，其中$\phi_n(x)$是该SL问题的本征函数；
2. 代入PDE后，利用本征函数的正交性，能解出时间函数$T_n(t)=A_n e^{-\lambda_n t}$（这里$\lambda_n$是正的本征值，符合热方程解随时间衰减的物理意义）；
3. 再结合初始条件$u(x,0)=f(x)$，通过正交性计算系数$A_n=\frac{\int_0^L c(x)\rho(x)f(x)\phi_n(x)dx}{\int_0^L c(x)\rho(x)\phi_n^2(x)dx}$。

哪怕$\phi_n(x)$没有初等函数表达式，我们也能通过数值方法（比如有限差分、打靶法）求出它们的近似值，进而得到PDE的数值解。本质上还是靠SL问题本征函数系的完备性和正交性——这两个核心性质不管系数是不是常数都成立。

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