\documentclass[12pt, a4paper]{ctexart}

\pagestyle{plain}
\usepackage{amsmath, amsthm, amssymb, appendix, bm, graphicx, hyperref, mathrsfs,commath}
\usepackage{float}
\usepackage{array}
\usepackage{booktabs} %调整表格线与上下内容的间隔
\usepackage{multirow}
\usepackage{url}
\usepackage{diagbox}
\renewcommand\arraystretch{1.4}
\usepackage{indentfirst}
\usepackage{geometry}
\usepackage{listings}
\usepackage{xcolor}
\usepackage[utf8]{inputenc}
\geometry{a4paper,scale=0.9}
\usepackage{ragged2e}
\CTEXsetup[format={\large\bfseries}]{section}
\begin{document}

\section{Legendre 方程的解}
\subsection{Legendre 方程在$z=0$点邻域内的解}
Legendre 方程
\begin{equation}
(1-z^2)\frac{\mathrm{d} ^2\omega}{\mathrm{d} z^2}-2z\frac{\mathrm{d}\omega}{\
mathrm{d} z}+l(l+1)\omega=0
\label{e1}
\end{equation}
在$z=0$处为常点.所以可以设邻域内的解为
\begin{equation}
w=\sum^\infty_{k=0}c_kz^k, \quad\left| z\right|<1.
\end{equation}
代入\eqref{e1}中，整理可得
\begin{align*}
&\sum^\infty_{k=0} \left[(k+1)(k+2)c_{k+2}-k(k-1)c_k-2kc_k+l(l+1)c_k \right] \notag\\
={}&\sum^\infty_{k=0} \left[(k+1)(k+2)c_{k+2}-k(k+1)c_k+l(l+1)c_k \right]\\
={}&0
\end{align*}
由 Taylor 展开的唯一性，可以得出
\begin{equation*}
(k+1)(k+2)c_{k+2}-[k(k+1)-l(l+1)]c_k=0
\end{equation*}
进一步可以得到系数间的递推关系
\begin{equation}
c_{k+2}=\frac{k(k+1)-l(l+1)}{(k+2)(k+1)}c_k=\frac{(k-l)(k+l+1)}{(k+1)(k+2)}c_k
\end{equation}
反复利用递推关系，可以得到
\begin{align}
c_{2n}&=\frac{(2n-l-2)(2n+l-1)}{2n(2n-1)}c_k\notag\\
&=\frac{c_0}{(2n)!}(2n-l-2)(2n-l-4)\cdots(-l)(2n+l-1)(2n+l-3)\cdots(l+1)\notag\\
&=\frac{2^{2n}}{(2n)!}\frac{\Gamma(n-\frac{l}{2})}{\Gamma(-\frac{l}{2})}\frac{\
Gamma(\frac{l+1}{2}+n)}{\Gamma(\frac{l+1}{2})}c_0
\end{align}
\begin{align}
c_{2n+1}&=\frac{(2n-l-1)(2n+l)}{(2n+1)(2n)}c_{2n-1}\notag\\
&=\frac{c_1}{(2n+1)!}(2n-l-1)(2n-l-3)\cdots(-l+1)(2n+l)(2n+l-2)\cdots(l+2)\notag\\
&=\frac{2^{2n}}{(2n+1)!}\frac{\Gamma(n-\frac{l-1}{2})}{\Gamma(-\frac{l-1}{2})}\frac{\
Gamma(\frac{l}{2}+1+n)}{\Gamma(\frac{l}{2}+1)}c_1
\end{align}
所以 Legendre 方程\eqref{e1}在$\left|z\right|<1$内的解为
\begin{equation}
\omega(z)=c_0\omega_1(z)+c_1\omega_2(z)
\end{equation}
其中，
\begin{align}
\omega_1&=\sum_{n=0}^\infty\frac{2^{2n}}{(2n)!}\frac{\Gamma(n-\frac{l}{2})}{\
Gamma(-\frac{l}{2})}\frac{\Gamma(\frac{l+1}{2}+n)}{\Gamma(\frac{l+1}{2})}z^{2n}\\
\omega_1&=\sum_{n=0}^\infty\frac{2^{2n}}{(2n+1)!}\frac{\Gamma(n-\frac{l-1}{2})}{\
Gamma(-\frac{l-1}{2})}\frac{\Gamma(\frac{l}{2}+1+n)}{\Gamma(\frac{l}{2}+1)}z^{2n+1}
\end{align}
\subsection{Legendre 方程在$z=1$邻域内的解}
容易看出，$z=1$是 Legendre 方程\eqref{e1}的正则奇点，由两个正则解，设
\begin{equation}
\omega(z)=(z-1)^\rho\sum^{\infty}_{n=0}c_n(z-1)^n
\end{equation}
代入 Legendre 方程，比较$z$的 0 次幂系数，可以得到指标方程
\begin{equation}
\rho(\rho-1)+\rho=\rho^2=0
\end{equation}
故有$\rho_1=\rho_2=0$,方程的第二解一定含有对数函数项.

还可以得到递推关系
\begin{equation}
c_{n+1}=-\frac{(n+\rho+1)(n+\rho)-l(l+1)}{2(n+\rho+1)^2}c_n
\end{equation}
代入$\rho=0$，反复利用递推关系，可以得到
\begin{align}
c_n&=\frac{1}{2^n(n!)^2}(l+1-n)(l+2-n)\cdots(l)(l+n)(l+n-1)\cdots(l+1)c_0\notag\\
&=\frac{1}{2^n(n!)^2}\frac{\Gamma(l+1)}{\Gamma(l+1-n)}\frac{\Gamma(l+n+1)}{\
Gamma(l+1)}c_0\notag\\
&=\frac{1}{2^n(n!)^2}\frac{\Gamma(l+n+1)}{\Gamma(l+1-n)}c_0
\end{align}
取$c_0=1$，可以得到 Legendre 方程在$z=1$邻域内的第一解
\begin{equation}
P_l(z)=\sum_{n=0}^{\infty}\frac{1}{(n!)^2}\frac{\Gamma(l+n+1)}{\Gamma(l+1-n)}(\frac{z-
1}{2})^n
\end{equation}
这是$l$次的第一类 Legendre 函数.
\end{document}