The p-adic differential equation y' = wy in the closed unit disk

• Autores: Alain Escassut, Marie-Claude Sarmant
• Localización: Collectanea mathematica, ISSN 0010-0757, Vol. 41, Fasc. 2, 1990, págs. 165-174
• Idioma: inglés
• Títulos paralelos:
  • La ecuación diferencial p-ádica y' = wy en el disco unidad cerrado
• Enlaces
  • Texto completo
• Resumen

  • Let $\mathbb{K}$ be a complete ultrametric algebraically closed field. When $D$ is a set in $\mathbb{K}$, we denote by $H(D)(resp. H_b(D))$ the set of the analytic elements in $D$ (resp. the bounded analytic elements in $D$) . Let $\mathcal{B} = (b_n)_{n\in\mathbb{N}}$ be a sequence in $\mathbb{K}$ such that $1 <\vert b_{n+1}\vert < \vert b_n\vert$ and $\lim_{n \to \infty}\vert b_n\vert = 1$ and let $$\Lambda_\rho(\mathcal{B})=\mathbb{K}\setminus\big(\cup^\infty_{n=1}d(b_n,\rho^-)\big)$$ First we characterize the elements $f\in\cap_{\rho>0}H_b(\Lambda_\rho(\mathcal{B}))$ which are Meromorphic Products [$S_2$] in the form $\prod^\infty_{n=1}(x-a_n/x-b_n)$. Next , we translate the results of analytic extension through a $T$-filter [$S_3$] into terms of Meromorphic Products. We then apply that to the extension of a differential equation $y'=\omega y$ defined in the disk $d(0,1)(\vert x\vert\leq 1)$ to $K\setminus\mathcal{B}$; $y$ has an extension in the form $\lambda\prod^\infty_{n=1}(x-a_n/x-b_n)$ while $\omega$ has the extension $\sum^\infty_{n=1}((1/x-a_n-1/x-b_n))$.\newline As a consequence we can characterize the $\omega\in H(d(0,1))$ such that the equation $y'=\omega y$ has solutions in $H(d(0,1)$: these $\omega$ are the series $\sum^\infty_{n=1}((1/x-a_n)-(1/x-b_n))$. When $\mathbb{K}=\mathbb{C}_p$ such a series may be equal to a constant $\lambda\in\mathbb{C}_p$ in $d(0,1)$ if and only if $\vert\lambda\vert < \rho^{-1/p-1}$.

• Referencias bibliográficas
  • Y. Amice, Les nombres $p$-adiques, P.U.F., Paris, 1975.
  • B. Dwork, Lectures on $p$-adic Differential Equations, Springer, New York-Heidelberg-Berlin, 1982.
  • A. Escassut, Algèbres de Krasner, C.R.A.S. Paris 272 (1971), 598–601.
  • A. Escassut, Algèbres d’éléments analytiques en analyse non archimédienne, Indagationes Mathematicae 36 (1974), 339–351.
  • A. Escassut, Éléments analytiques et filtres percés sur un ensemble infraconnexe, Annali di Mat. Pura ed Appl. Bologna 110 (1976), 335–352.
  • A. Escassut, T-filtres, ensembles analytiques et transformation de Fourier $p$-adique, Ann. Inst. Fourier, Grenoble 25 (1975), 45–80.
  • A. Escassut, Derivative of Analytic Elements on Infraconnected Clopen Sets, Indagationes Mathematicae 51 (1989), 63–70.
  • A. Escassut and M. C. Sarmant, The differential equation $y' - fy$ in the algebras $H(D)$, Collect. Math. 39 (1988), 31–40.
  • G. Garandel, Les semi-normes multiplicatives sur les algèbres d’éléments analytiques au sens de Krasner, Indagationes Mathematicae 37 (1975),...
  • M. Krasner, Prolongement analytique uniforme et multiforme dans les corps valués complets, in Les tendances géometriques en algèbre et théorie...
  • Ph. Robba, Fonctions analytiques sur les corps valués ultramétriques complets, Astérisque 10 (1973), 109–220.
  • M. C. Sarmant and A. Escassut, T-suites idempotentes, Bull. Sc. Math. 106 (1982), 289–303.
  • M. C. Sarmant, Produits M éromorphes, Bull. Sc. Math. 109 (1985), 155–178.
  • M. C. Sarmant and A. Escassut, Fonctions analytiques et Produits Croulants, Collect. Math. 36 (1985), 199–218.
  • M. C. Sarmant and A. Escassut, Prolongement analytique travers un $T$-filtre, Studia Sc. Math. Hung. 22 (1987), 407–444.
  • M. C. Sarmant and A. Escassut, The equation $y'=\omega y$ and the Meromorphic Products, Marcel Dekker, New York, to appear.