亚洲免费av电影一区二区三区,日韩爱爱视频,51精品视频一区二区三区,91视频爱爱,日韩欧美在线播放视频,中文字幕少妇AV,亚洲电影中文字幕,久久久久亚洲av成人网址,久久综合视频网站,国产在线不卡免费播放

        ?

        ∏∑-域上一階線性差分方程的極小萬有分母*

        2022-04-22 10:41:28
        關鍵詞:恒等式分母高階

        王 晴

        (天津大學數(shù)學學院,天津 300350)

        0 引 言

        求多項式系數(shù)線性差分方程的有理解在計算機代數(shù)中占有重要地位.更準確地說,K是一個域 ,a0(t),a1(t),…,ad(t),f(t) ∈K(t),找到 所有滿足

        的有理函數(shù)g(t)∈K()t.許多問題都歸結于此,比如Gosper算法[1]或者尋找非齊次線性差分方程的超幾何解[2].

        解決這類問題的一個通常的方法是估計出g(t)的分母,從而把這個問題歸結到找多項式解.這就引出了萬有分母,也就是此分母能夠整除每一個方程(1)解的分母.

        Abramov[3-4]首先給出了尋找萬有分母的第一個算法,這個算法依賴所有的系數(shù)a0(t),a1(t),…,ad(t)和f(t);Abramov[5]改進了他的算法,改進的算法只需要利用首項系數(shù)a0(t)和末項系數(shù)ad(t),此算法得到的萬有分母稱為Abramov萬有分母;Barkatou[6]給出了關于Abramov萬有分母在矩陣差分方程中的顯式公式;Chen等[7]利用收斂性得到了相同的公式;Hou和 Mu[8]利用 Gosper算法得到了一階線性差分方程一個新的萬有分母,且這個萬有分母是Abramov萬有分母的因子.

        在差分域的情況下,Karr[9-10]引入了 ∏∑-域,并給出了求和算法,允許更一般的求和.在∏∑-域中求解參數(shù)線性差分方程的一個重要應用是簡化和證明嵌套的多和表達式和恒等式.Bronstein[11]和Schneider[12-13]給出了在 ∏∑-域中計算萬有分母的界的算法;Middeke 和 Schneider[14]將萬有分母界的公式[6-7]在給定的差分系統(tǒng)中拓展到∏∑-域.特別地,將∏∑-域中分母的界[11-12]由單變量差分方程擴展到耦合系統(tǒng).本文將文獻[8]中得到的極小萬有分母推廣到∏∑-域,找到滿足

        的有理函數(shù)g(t)∈K()t的萬有分母.

        1 萬有分母

        2 極小性

        3 例 子

        4 結束語

        線性差分方程的理論與求解算法在組合數(shù)學中有廣泛的應用,尤其是組合恒等式的機器證明.計算線性差分方程的各種閉形式解往往可以轉化為計算有理函數(shù)解問題.通過估計有理函數(shù)解的萬有分母,即通過估計既約有理解的分母的一個倍式,可以將問題進一步轉化為多項式解問題,并最終借助次數(shù)估計將問題轉化為線性方程組求解問題 .給定(F,σ)的 ∏∑-擴張 (F(t),σ)和系數(shù)屬于F(t)的形式為(2)的一階線性差分方程,在假設Spread可以在F[t]中計算且為有限集合的情況下,本文給出了計算其解極小萬有分母d∈F的算法.但目前為止卻無法證明本文中的算法對于高階線性差分方程的情形適用,對于高階線性差分方程解的極小萬有分母有待于進一步研究.

        猜你喜歡
        恒等式分母高階
        活躍在高考中的一個恒等式
        民族文匯(2022年23期)2022-06-10 00:52:23
        “去括號與去分母”能力起航
        有限圖上高階Yamabe型方程的非平凡解
        高階各向異性Cahn-Hilliard-Navier-Stokes系統(tǒng)的弱解
        “去括號與去分母”檢測題
        滾動軸承壽命高階計算與應用
        哈爾濱軸承(2020年1期)2020-11-03 09:16:02
        一類新的m重Rogers-Ramanujan恒等式及應用
        “去括號與去分母”檢測題
        Weideman公式的證明
        快速求最小公倍數(shù)
        欧美日本道免费二区三区| 成人偷拍自拍视频在线观看| 亚洲精品乱码久久久久久不卡| 女人被爽到呻吟gif动态图视看| 亚洲欧美中文在线观看4| 中文字幕中乱码一区无线精品| 亚洲一区二区三区2021| yw尤物av无码国产在线观看| 熟妇人妻AV中文字幕老熟妇| 99RE6在线观看国产精品| 久久久熟女一区二区三区| 国产成人无码综合亚洲日韩| 国产精品.xx视频.xxtv| 色窝综合网| 中文字幕乱码亚洲在线| 国产午夜福利在线观看红一片| 无码少妇一级AV便在线观看 | 国产av一卡二卡日韩av| 极品白嫩的小少妇| 国产成人亚洲精品91专区手机| 一区二区在线视频大片| 国产91色综合久久高清| 人妻av鲁丝一区二区三区| 亚洲熟妇在线视频观看| 羞涩色进入亚洲一区二区av| 亚洲综合欧美色五月俺也去| 中文字幕日韩一区二区三区不卡| 亚洲成Av人片不卡无码观看| 狼人精品剧情av在线观看| 久久久亚洲精品一区二区三区| 97se亚洲国产综合自在线图片| 免费观看在线一区二区| 白白色白白色视频发布| 97se亚洲国产综合自在线| 日本中文字幕一区二区高清在线 | 国产欧美日韩久久久久| 亚州AV成人无码久久精品| 日韩中文字幕不卡在线| 国产成人一区二区三区| 日韩秘 无码一区二区三区| av天堂中文亚洲官网|