Language:   Search:   Contact
Zentralblatt MATH has released its new interface!
For an improved author identification, see the new author database of ZBMATH.

# 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

Highlights
Master Server