权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

差分方程式の解の超越性と既約性の研究

差分方程解的超越性和不可约性研究

基本信息

批准号：
08J04941
负责人：
西岡斉治
金额：
$ 1.15万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
2008
资助国家：
日本
起止时间：
2008 至 2010
项目状态：
已结题

项目摘要

本年度は二つの事柄について研究した.一つは一階有理的差分方程式の超越関数解の非初等性に関するものである.一階線形差分方程式や余弦関数の倍角公式,正接関数の倍角公式などは一階有理的差分方程式である.また,超越関数とは代数関数でない関数のことで,初等的な関数とは,ここでは一階線形差分方程式の解によって代数的に表示できる関数のことである.得られた結果は,方程式の有理式部分の次数が2以上であれば超越関数解は非初等的であるというもので,系として,指数関数や三角関数,ワイエルシュトラスのペー関数の,倍角公式を持つ関数としての非初等性が得られる.もう一つの研究ではボアンカレの乗法公式が定義する関数を扱った.ボアンカレの論文では,それらの関数は一価関数の新しいクラスを構成すると,「新しい」の意味が明確にされずに主張されている.私はある種の乗法公式の既約性を示すことでこの主張が正しいことを証明した.ここでは分解可能拡大に属す超越関数解が存在する場合に方程式は可約であるといい,そうでない場合,既約であるという.関数の初等性と方程式の既約性には関係があり,実際初等的な関数は必ず分解可能拡大に属す.一方,第一研究で挙げた指数関数,三角関数,ペー関数は何れも初等的ではないが,それぞれがみたす倍角公式が一階有理的差分方程式であることから,分解可能拡大に属すことがわかる.さらに,第二研究で扱ったボアンカレの「新しい」関数について,乗法公式が特に倍角公式であるとき,「新しい」関数は初等的な関数や指数関数,三角関数,ペー関数などの分解可能拡大に属す関数によっては有理的にも代数的にも表されない.

This year's research is on the second issue. A rational difference equation of first order and its transcendental solution are not elementary. First order linear difference equation cosine correlation number and double angle formula, positive correlation number and double angle formula first order rational difference equation. The solution of linear difference equation of first order is expressed by algebraic expression. The result is that the degree of the rational part of the equation is more than 2. The relationship between the exponential and triangular relations is not elementary. The relationship between the exponential and triangular relations is not elementary. The relationship between the exponential and triangular relations is not elementary. A study of the relationship between the definition of the relevant number and the method of calculation. The meaning of "new" is clear, and the meaning of "new" is clear. The reducibility of the formula is shown and proved. If the equation is reducible, then it is reducible. The relationship between the elementary property and the reducibility of the equation must be resolved. A square, the first study of the exponential relationship, triangular relationship, the relationship between the number of primary and secondary angles, the formula of the first order rational difference equation, the decomposition of the possible large genus. In the second study, the number of "new" relationships in the first study was determined by the formula of "double angle", the number of "new" relationships in the first study was determined by the formula of "double angle", the number of "new" relationships in the first study was determined by the formula of "double angle", the number of "new" relationships in the first study was determined by the formula of "double angle", the number of "new" relationships in the second study was determined by the formula of "double angle", the number of "new" relationships in the first study was determined by the formula of" double angle", the number of" index", the number of" triangle", the number of" relationship", the number of" relationship" and the decomposition of" possible" large" relationship" in the second study was determined by the formula of" double angle".