A p-adic analog of Wirtinger's inequality
In classical Fourier analysis, for a nonvanishing complex-valued \(C^1\)-function \(f\) on the unit circle one proves that \(f\) has no zeros on some arc whose length can be expressed in terms of Fourier coefficients of \(f\) and \(f'\). In the present paper, the following \(p\)-adic version is proved. (Let \(\mathbb{Q}_p\) be the \(p\)-adic number field, let \(\mathbb{Z}_n\) be its valuation ring, and let \(\mathbb{C}_n\) be the completion of the algebraic closure of \(\mathbb{Q}_p\).) Let \(f:\mathbb{Z}_p\to K\) be nonzero, uniformly differentiable, where \(K\supset \mathbb{Q}_p\) is a tame extension of \(\mathbb{Q}_p\). Then \(f\) has no zeros on some coset of \(p^{M(f)}\mathbb{Z}_p\). Here \(M(f)\) is some well-defined constant expressed in terms of the Fourier transform \(\widehat f\) (which is defined on the `circle' \(\{\omega\in\mathbb{C}_p: \omega^{p^n}=1\) for some \(n\in\mathbb{N}\}\). A connection between \(M(f)\) and the behaviour of \(f'\) is established. Numerous examples are given.
- scientific article; zbMATH DE number 3613162 (Why is no real title available?)
- scientific article; zbMATH DE number 1958580 (Why is no real title available?)
- scientific article; zbMATH DE number 2138167 (Why is no real title available?)
- scientific article; zbMATH DE number 1368909 (Why is no real title available?)
- A LeVeque-type inequality on the ring of \(p\)-adic integers
- scientific article; zbMATH DE number 7306588 (Why is no real title available?)
This page was built for publication: A \(p\)-adic analog of Wirtinger's inequality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1923902)
