Effective differential Lüroth's theorem

DOI10.1016/J.JALGEBRA.2014.02.022MaRDI QIDQ402415zbMATHOpenAlexFDO

Authors Lisi D'Alfonso, Gabriela Jeronimo, Pablo Solernó

Publication date 28 August 2014

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1202.6344

zbMATH Keywords

differential algebradifferentiation indexLüroth's theorem

Mathematics Subject Classification ID

Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Differential algebra (12H05)

Abstract: This paper focuses on effectivity aspects of the L"uroth's theorem in differential fields. Let $mathcalF$ be an ordinary differential field of characteristic 0 and $mathcalF<u>$ be the field of differential rational functions generated by a single indeterminate $u$. Let be given non constant rational functions $v_1,\mathrm{...},v_{n}inmathcalF<u>$ generating a differential subfield $mathcalGsubseteqmathcalF<eu>$. The differential L"uroth's theorem proved by Ritt in 1932 states that there exists $vinmathcalG$ such that $mathcalG=mathcalF<v>$. Here we prove that the total order and degree of a generator $v$ are bounded by $mi{n}_{j}extrmord(v_j)$ and $(nd(e+1)+1{)}^{2e+1}$, respectively, where $e:=ma{x}_{j}extrmord(v_j)$ and $d:=ma{x}_{j}extrmdeg(v_j)$. As a byproduct, our techniques enable us to compute a L"uroth generator by dealing with a polynomial ideal in a polynomial ring in finitely many variables.

Recommendations

• On the partial differential Lüroth's theorem
• Effectivizing Lusin’s Theorem
• Quantitative aspects of the generalized differential Lüroth's theorem
• Effective Laguerre Asymptotics
• Lüroth's theorem in differential fields
• Liouville's theorem for homogeneous differential operators
• The Luzin theorem for higher-order derivatives
• scientific article; zbMATH DE number 4008811
• Effective descent for differential operators
• Liouville theorem for almost closed differential forms

Cites work

• scientific article; zbMATH DE number 48827 (Why is no real title available?)
• scientific article; zbMATH DE number 3415973 (Why is no real title available?)
• A Lie-Backlund approach to equivalence and flatness of nonlinear systems
• A bound for the order of characteristic set elements of an ordinary prime differential ideal and some applications
• A geometric index reduction method for implicit systems of differential algebraic equations
• A negative answer to the δ-Lüroth problem in two variables
• A rational function decomposition algorithm by near-separated polynomials
• Associative differential operations
• Definability and fast quantifier elimination in algebraically closed fields
• Extensions of differential fields. II
• Extensions of differential fields. III
• Improperly parametrized rational curves
• Lower bounds for diophantine approximations
• Lüroth's theorem in differential fields
• Nearly optimal algorithms for the decomposition of multivariate rational functions and the extended Lüroth theorem
• On multivariate rational function decomposition
• On the complexity of the resolvent representation of some prime differential ideals
• On the index and the order of quasi-regular implicit systems of differential equations
• Straight-line programs in geometric elimination theory
• Unirational fields of transcendence degree one and functional decomposition
• Variations on the notion of controllability

Cited in

(6)

• Lüroth's theorem in differential fields
• Effective Laguerre Asymptotics
• Quantitative aspects of the generalized differential Lüroth's theorem
• A remark on a theorem of Bavula on Lüroth extensions
• Simple differential field extensions and effective bounds
• On the partial differential Lüroth's theorem

This page was built for publication: Effective differential Lüroth's theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q402415)