Language:   Search:   Contact
World of
Mathematics
Database
»ZBMATH«
MSC 2000
MSC 2010
Reviewer
Service
Subscription
»ZBMATH«
ZBMATH Database | Simple Search Print
Read more | Try MathML | Hide
Zentralblatt MATH has released its new interface!
For an improved author identification, see the new author database of ZBMATH.

ZBMATH Database Simple Search Advanced Search Command Search

Simple Search

Query:
Enter a query and click »Search«...
Format:
Display: entries per page entries
Zbl 1017.12006
Bouffet, Magali
Factorisation d'opérateurs différentiels à coefficients dans une extension liouvillienne d'un corps valué. (Factorization of differential operators with coefficients in a Liouvillian extension of a valued field).
(French. English summary)
[J] Ann. Inst. Fourier 52, No.3, 709-734 (2002). ISSN 0373-0956; ISSN 1777-5310/e

Let $\Bbb C$ be the field of complex numbers, ${\Bbb C}((z))$ be the field of formal Laurent series in $z$ with coefficients in $\Bbb C$ endowed with the derivation operator $\delta = -z^2d/dz$. By $L$ we denote the field ${\Bbb C}((z))((e^{1/z}))$. The goal of the author is the study of linear differential equations with coefficients in $L$ in order to construct a differential Galois theory over $L$. In particular, the solutions of linear differential equations with coefficients in $L$ should be determined or, in other words, differential operators with coefficients in $L$ should be factorized. This class of fields is of interest, because the coefficients of the differential equations admit essential singularities and not only poles. The following theorem is proven. \par Theorem. Consider the field $K={\Bbb C}((z))$ endowed with the $z$-adic valuation and the derivation operator $\delta=ad/dz$, where $a\in{\Bbb C}((z))$. Let $\mu_1,\dots,\mu_p$ be elements of ${\Bbb C}((z))$ such that $$ X_1=e^{\mu_1},\dots,X_n=e^{\mu_n},X_{n+1}=\log(\mu_{n+1}),\dots,X_p=\log(\mu_p) $$ are algebraically independent over ${\Bbb C}((z))$. Let $K\subset L=K(X_1,\dots,X_p)$. By $F_0$ we denote the algebraic closure of $K$ and, for any $i$, $1\le i\le p$, we define $F_i=\bigcup_{n\ge 1}F_{i-1}((X_i^{1/n}))$. If $P\in L[\delta]$ is a nonzero differential operator, then $P$ can be factorized into a product of first-order operators in the ring $F_p[\delta]$.
[E.V.Pankrat'ev (Moskva)]
MSC 2000:
*12H20 Abstract differential equations
12J10 Valued fields
34A30 Linear ODE and systems
12H05 Differential algebra
34M50 Inverse problems in theory of DE in the complex domain

Keywords: differential field; valued field; Newton polygon; Hensel lemma; factorization; discrete valuations; linear differential equations; Liouvillian extensions

Cited in: Zbl 1035.12001

Login Username: Password:

Highlights
Scientific prize winners of the ICM 2010
Overhang
Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.

Master Server

Zentralblatt MATH Berlin [Germany]

© FIZ Karlsruhe GmbH

Zentralblatt MATH master server is maintained by the Editorial Office in Berlin, Section Mathematics and Computer Science of FIZ Karlsruhe and is updated daily.

Other Mirror Sites



Copyright © 2013 Zentralblatt MATH | European Mathematical Society | FIZ Karlsruhe | Heidelberg Academy of Sciences
Published by Springer-Verlag | Webmaster