In this paper,the authors established a sharp version of the difference analogue of the celebrated Holder’s theorem concerning the differential independence of the Euler gamma functionГ.More precisely,if P is a poly...In this paper,the authors established a sharp version of the difference analogue of the celebrated Holder’s theorem concerning the differential independence of the Euler gamma functionГ.More precisely,if P is a polynomial of n+1 variables in C[X,Y0,…,Yn-1]such that P(s,Г(s+a0),…,Г(s+an-1))≡0 for some(a0,…,an-1)∈Cn and ai-aj■Z for any 0≤i<j≤n-1,then they have P≡0.Their result complements a classical result of algebraic differential independence of the Euler gamma function proved by H?lder in 1886,and also a result of algebraic difference independence of the Riemann zeta function proved by Chiang and Feng in 2006.展开更多
Growth and yield modeling has a long history in forestry. The methods of measuring the growth of stand basal area have evolved from those developed in the U.S.A. and Germany during the last century. Stand basal area m...Growth and yield modeling has a long history in forestry. The methods of measuring the growth of stand basal area have evolved from those developed in the U.S.A. and Germany during the last century. Stand basal area modeling has progressed rapidly since the first widely used model was published by the U.S. Forest Service. Over the years, a variety of models have been developed for predicting the growth and yield of uneven/even-aged stands using stand-level approaches. The modeling methodology has not only moved from an empirical approach to a more ecological process-based approach but also accommodated a variety of techniques such as: 1) simultaneous equation methods, 2) difference models, 3) artificial neural network techniques, 4) linear/nonlinear regression models, and 5) matrix models. Empirical models using statistical methods were developed to reproduce accurately and precisely field observations. In contrast, process models have a shorter history, developed originally as research and education tools with the aim of increasing the understanding of cause and effect relationships. Empirical and process models can be married into hybrid models in which the shortcomings of both component approaches can, to some extent, be overcome. Algebraic difference forms of stand basal area models which consist of stand age, stand density and site quality can fully describe stand growth dynamics. This paper reviews the current literature regarding stand basal area models, discusses the basic types of models and their merits and outlines recent progress in modeling growth and dynamics of stand basal area. Future trends involving algebraic difference forms, good fitting variables and model types into stand basal area modeling strategies are discussed.展开更多
This paper presents equations for estimating limiting stand density for Z undulata plantations grown in hot desert areas of Raj asthan State in India. Five different stand level basal area projection models, belonging...This paper presents equations for estimating limiting stand density for Z undulata plantations grown in hot desert areas of Raj asthan State in India. Five different stand level basal area projection models, belonging to the path invariant algebraic difference form of a non-linear growth function, were also tested and compared. These models can be used to predict future basal area as a function of stand variables like dominant height and stem number per hectare and are necessary for reviewing different silvicultural treatment options. Data from 22 sample plots were used for modelling. An all possible growth intervals data structure was used. Both, qualitative and quantitative criteria were used to compare alternative models. The Akaike's information criteria differ- ence statistic was used to analyze the predictive ability of the models. Results show that the model proposed by Hui and Gadow performed best and hence this model is recommended for use in predicting basal area development in 12 undulata plantations in the study area. The data used were not from thinned stands, and hence the models may be less accurate when used for predictions when natural mortality is very significant.展开更多
Differential difference algebras are generalizations of polynomial algebras, quantum planes, and Ore extensions of automorphism type and of derivation type. In this paper, we investigate the Gelfand-Kirillov dimension...Differential difference algebras are generalizations of polynomial algebras, quantum planes, and Ore extensions of automorphism type and of derivation type. In this paper, we investigate the Gelfand-Kirillov dimension of a finitely generated module over a differential difference algebra through a computational method: Grobner-Shirshov basis method. We develop the GrSbner-Shirshov basis theory of differential difference al- gebras, and of finitely generated modules over differential difference algebras, respectively. Then, via GrSbner-Shirshov bases, we give algorithms for computing the Gelfand-Kirillov dimensions of cyclic modules and finitely generated modules over differential difference algebras.展开更多
This paper constructs a strongly-consistent explicit finite difference scheme for 3D constant viscosity incompressible Navier-Stokes equations by using of symbolic algebraic computation.The difference scheme is space ...This paper constructs a strongly-consistent explicit finite difference scheme for 3D constant viscosity incompressible Navier-Stokes equations by using of symbolic algebraic computation.The difference scheme is space second order accurate and temporal first order accurate. It is proved that difference Grobner basis algorithm is correct. By using of difference Grobner basis computation method, an element in Gr?bner basis of difference scheme for momentum equations is a difference scheme for pressure Poisson equation. The authors find that the truncation errors expressions of difference scheme is consistent with continuous errors functions about modified version of above difference equation. The authors prove that, for strongly consistent difference scheme, each element in the difference Grobner basis of such difference scheme always approximates a differential equation which vanishes on the analytic solutions of Navier-Stokes equations. To prove the strongly-consistency of this difference scheme, the differential Thomas decomposition theorem for nonlinear differential equations and difference Grobner basis theorems for difference equations are applied. Numerical test certifies that strongly-consistent difference scheme is effective.展开更多
基金supported by the National Natural Science Foundation of China(No.11901311)。
文摘In this paper,the authors established a sharp version of the difference analogue of the celebrated Holder’s theorem concerning the differential independence of the Euler gamma functionГ.More precisely,if P is a polynomial of n+1 variables in C[X,Y0,…,Yn-1]such that P(s,Г(s+a0),…,Г(s+an-1))≡0 for some(a0,…,an-1)∈Cn and ai-aj■Z for any 0≤i<j≤n-1,then they have P≡0.Their result complements a classical result of algebraic differential independence of the Euler gamma function proved by H?lder in 1886,and also a result of algebraic difference independence of the Riemann zeta function proved by Chiang and Feng in 2006.
基金This study was supported by the National Natural Science Foundation of China (Grant No. 30471389)
文摘Growth and yield modeling has a long history in forestry. The methods of measuring the growth of stand basal area have evolved from those developed in the U.S.A. and Germany during the last century. Stand basal area modeling has progressed rapidly since the first widely used model was published by the U.S. Forest Service. Over the years, a variety of models have been developed for predicting the growth and yield of uneven/even-aged stands using stand-level approaches. The modeling methodology has not only moved from an empirical approach to a more ecological process-based approach but also accommodated a variety of techniques such as: 1) simultaneous equation methods, 2) difference models, 3) artificial neural network techniques, 4) linear/nonlinear regression models, and 5) matrix models. Empirical models using statistical methods were developed to reproduce accurately and precisely field observations. In contrast, process models have a shorter history, developed originally as research and education tools with the aim of increasing the understanding of cause and effect relationships. Empirical and process models can be married into hybrid models in which the shortcomings of both component approaches can, to some extent, be overcome. Algebraic difference forms of stand basal area models which consist of stand age, stand density and site quality can fully describe stand growth dynamics. This paper reviews the current literature regarding stand basal area models, discusses the basic types of models and their merits and outlines recent progress in modeling growth and dynamics of stand basal area. Future trends involving algebraic difference forms, good fitting variables and model types into stand basal area modeling strategies are discussed.
基金the State Forest Department,Rajasthan for providing financial support for conducting this study and to their officials for rendering necessary assistance during fieldwork
文摘This paper presents equations for estimating limiting stand density for Z undulata plantations grown in hot desert areas of Raj asthan State in India. Five different stand level basal area projection models, belonging to the path invariant algebraic difference form of a non-linear growth function, were also tested and compared. These models can be used to predict future basal area as a function of stand variables like dominant height and stem number per hectare and are necessary for reviewing different silvicultural treatment options. Data from 22 sample plots were used for modelling. An all possible growth intervals data structure was used. Both, qualitative and quantitative criteria were used to compare alternative models. The Akaike's information criteria differ- ence statistic was used to analyze the predictive ability of the models. Results show that the model proposed by Hui and Gadow performed best and hence this model is recommended for use in predicting basal area development in 12 undulata plantations in the study area. The data used were not from thinned stands, and hence the models may be less accurate when used for predictions when natural mortality is very significant.
文摘Differential difference algebras are generalizations of polynomial algebras, quantum planes, and Ore extensions of automorphism type and of derivation type. In this paper, we investigate the Gelfand-Kirillov dimension of a finitely generated module over a differential difference algebra through a computational method: Grobner-Shirshov basis method. We develop the GrSbner-Shirshov basis theory of differential difference al- gebras, and of finitely generated modules over differential difference algebras, respectively. Then, via GrSbner-Shirshov bases, we give algorithms for computing the Gelfand-Kirillov dimensions of cyclic modules and finitely generated modules over differential difference algebras.
基金supported by the National Natural Science Foundation of China under Grant No.11271363。
文摘This paper constructs a strongly-consistent explicit finite difference scheme for 3D constant viscosity incompressible Navier-Stokes equations by using of symbolic algebraic computation.The difference scheme is space second order accurate and temporal first order accurate. It is proved that difference Grobner basis algorithm is correct. By using of difference Grobner basis computation method, an element in Gr?bner basis of difference scheme for momentum equations is a difference scheme for pressure Poisson equation. The authors find that the truncation errors expressions of difference scheme is consistent with continuous errors functions about modified version of above difference equation. The authors prove that, for strongly consistent difference scheme, each element in the difference Grobner basis of such difference scheme always approximates a differential equation which vanishes on the analytic solutions of Navier-Stokes equations. To prove the strongly-consistency of this difference scheme, the differential Thomas decomposition theorem for nonlinear differential equations and difference Grobner basis theorems for difference equations are applied. Numerical test certifies that strongly-consistent difference scheme is effective.