零阶贝塞尔函数组成的两个正交系.pdfVIP

2002年 6月 纯粹数学与应用数学 Jun．2002 第 18卷第 2期 PureandAppliedMathematics Vo1．18No．2 零阶贝塞尔函数组成的两个正交系 姜根明 ，常安定 ，王拉省 (1．长安大学基础部 ，西安 710054；2．西北工程科技学院数理 系，西安 710048) 摘 要 ：给 出了在常见的函数 内积下任意两个零阶贝塞尔函数的内积公式，进而证 明 了由第一类和第二类零阶贝塞尔函数的线性函数族 的正交性 以吸长度 的表达式． 关 键 词 ：内积；贝塞尔函数；正交；长度 中图分类号 ：O174 文献标识码 ：A 文章编号 ：1008—5513(2002)02—0126—04 正交函数系在分析数学中 占着重要的地位 ，研究 函数族 的正交性对于分析数学物理方程 的解 的性质 ，讨论 函数的逼近理论等方面有十分重要 的作用．两个函数正交是指这两个 函数的 内积为零，泛 函分析 中的内积是满足一定条件的一个 函数 ，从而 同一 函数族上可定义多种 内 积 [1]，本文采用的内积是两个 函数常见的一种形式，其定义为 定义 设函数厂(z)，g(z)在区间[口，6]上连续，称Ixf(x)g(x)dx为函数厂(z)，g(z)在 区间[口，6]上的内积，记为厂(z)，g(z))． 我们知道，在贝塞尔 函数理论中，第一类和第二类各 阶贝塞尔 函数 ，都有相应 的正交 函数 族 ，如若 J(z)有正根 0 。 … 九 …，则函数族 {J(z／C)Iz∈ [O，C]， 一 1，2，…，}为正交函数族[2]，任一连续函数可按此正交系展成贝塞尔函数项级数 ；本文讨论 第一类零阶贝塞尔函数J。(z)与第二类零阶贝塞尔函数Y。(z)组成 的线性函数族 (1)与 (2)的 正交性．分别为 {F (九，z)一J。(九z)y (九)一Y。(九z) (九)Iz∈ [z。，1]，，l一 1，2，…} (1) 其 中z∈ [z。，1]，九为方程 F (九，z。)一0的解 {F2(九，z)一J。(九z)y。(九)一Y。(九z)。(九)Iz∈ [z。，1]，，l一 1，2，…} (2) 其 中z∈ 。，13，九为方程 F。(九，z。)=0的解 ； 定理 1 若 “(z)，(z)(O z。≤ z≤ 1)分别为零阶贝塞尔方程 1 1 ”+÷ + 一0 和 ”+÷ + 一0的解，≠ ，则 (z)，(z))= z[(z) (z)一v(x)u (z)]I 证 明 由已知有 收稿 日期 ：2002一O1—15 作者简介 ：姜根 明(1963一)，讲师 ，研宛方向：函数论及偏微分方程 l_ — ]|一 第 2期 姜根 明等 零阶贝塞尔函数组成的两个正交系 ·127 · z 釜]+砰一0 (3) 1 d dv]+ 一0 (4) 五 给 (3)乘以 (z)，(4)乘 以 (z)相减得 (一)+ [熹 耋]一d ]]一0， 整理可得 z(一)一d[z耋]一 [z塞]一 [zdu一zdv] 将 x从 z。到 1积分得