第三章 作业解答.pptVIP

第三章 作业 试利用勒让德多项式的微分表达式 3-5 具体导出0阶至3阶勒让德多项式P0~P3，并将多项式 f(x)=4+x+2x2+3x3 在区间(-1,1)展开成Pn的多项式。 解 设 计算可得 利用公式 解得 非整数阶贝塞尔方程的通解为 3-6 （1）试说明通解中两个级数特解的收敛范围。 （2）当ν为整数时，试推导两个级数特解的关系式。 其中 解 （1）贝塞尔方程的标准形式为 可写成 根据福克斯定理，方程的幂级数解y1在无界区间收敛，方程的广义幂级数解y2在去心无界区间收敛，即 （2）当ν为整数时 考虑当伽玛函数的自变量等于零和负整数时，伽玛函数的发散性，J-n中的前n项的系数为零，于是 将此公式中的 k 换成 k+n，有 下面讨论两个特解线性相关的原因： 因为J-n中的前n项的系数为零，所以J-n已经不再是广义幂级数了，根据福克斯定理，方程的幂级数解之间必然是线性相关的，而与之线性无关的级数特解在 x=0 处一定具有奇异性。 3-7 试利用第一类贝塞尔函数的级数表达式，证明贝塞尔函数递推公式 （1） （2） 证明 （1） 证明上述递推公式第一式： 证毕。 证毕。 （2） 证明上述递推公式第二式： 3-8 贝塞尔方程的通解可表示成 及 试证明函数 Jν,J–ν,Yn 满足贝塞尔方程。 证明 已知递推公式 展开后，整理可得 首先 其次，将上式中ν换为-ν，可得 最后，根据 n 阶第二类贝塞尔函数的定义，有 试证明，固有函数系 在区间[0,a]上关于权函数 x 正交，即 3-9 其中μnm表示Jn(x)的正零点。 设 因贝塞尔函数满足贝塞尔方程和端点条件 取 m 分别等于 i 和 j ，有 解 由此推得 由端点条件 于是证得 有 3-10 将函数 f (x) = 1 - x2 在 (0,1) 内按函数J0(λ0mx)作级数展开，其中λ0m(m=1,2, …)为J0(x)=0的全体正根。 解 计算系数 设 证得 计算细节 最后一步利用递推公式 3-11 将函数 f (x) = x – x2 在 (0,1) 内按函数J1(λ1mx)作级数展开，其中λ1m(m=1,2, …)为J1(x)=0的全体正根。 * * * 2012年12月10日星期一； * OK； * OK * OK； * 勒让德多项式是精确解, n 可趋于无穷，根据S-L理论； * Ok; * 用勒让德函数的多项式形式证明此题，较为容易； * 注意：p=s=x; * [2]119; 富克斯定理； 3-1 试用高斯判别法证明，当ν不等于非负整数情况下，在x=±1处，勒让德方程的幂级数解pν(x)和 qν(x)都是发散的。 证明 ν为非负实数，设ν不等于非负整数，且小于 k。 对偶函数pν ，在x=±1处 其中γ(k) 为有界函数，利用上式可得 又设 根据γ(k)函数的有界性，可得 由高斯判别法可知偶函数pν发散。 对奇函数q ν ，在x=±1处，设 同理，利用γ(k)函数的有界性，计算可得 由高斯判别法可知奇函数qν发散。 计算细节 高斯判别法 其中γ(n) 为有界函数，则 α≥1,β1 级数收敛； α≤1,β≤1 级数发散。 对于正项级数，设 3-2 （1）试详细回答在勒让德方程 中为什么要选取固有值 （2）并验证勒让德多项式 的系数满足系数递推关系式 （1）根据柯西定理，可得勒让德方程的通解 式中 pν 是偶函数，而 q ν 是奇函数，幂级数解的收敛半径均为 1 ，固有值λ=ν(ν+1)。用高斯法可以证明，当ν不等于非负整数情况下，在x=±1处，pν(x)和 qν(x)都是发散的。 勒让德方程 幂级数解的系数递推关系式为 解 为了在闭区间[-1,1]，构造一个收敛的级数解，选取 则幂级数解的系数递推关系式变为 于是，有 适当选取 an表达式, 最后可得降幂排列的勒让德多项式 （2）验证勒让德多项式的系数满足系数递推关系式。 若k=0, 已知系数为 计算k=1时的系数 知其满足递推关系。 设k=k时的系数 计算k+1时的系数 已满足递推关系。 知其满足递推关系。根据归纳法，证得所有系数都满足递推关系。 3-3 试证明递推公式(n0) （1） （2） （3） （5） （4） （1） 证明 （2） （3） 式(2)·x-式(1) （4） 式(2) -式(1)·x （5） 式(4) 中令n=n+1 -式(1) 试验证勒让德多项式Pn的微分形式满足n阶勒让德方程。 3-4 解 间接法 依次利用递推公式 证明如下： 直接法 由勒让德多项式的微分表达式 设 可得 由 得 等式两边除2nn！后，证得 即 微分公式 * * 2012年12月10日星期一； * OK； * OK * OK； * 勒让德多项式是精确解, n 可趋于无穷，根