Generalization of Hensel lemma: nding of roots of p-adic Lipschitz functions

Similar documents
MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES

Chapter 8. P-adic numbers. 8.1 Absolute values

NOTES ON DIOPHANTINE APPROXIMATION

1 Adeles over Q. 1.1 Absolute values

Lifting to non-integral idempotents

2 ALGEBRA II. Contents

Classication of Quadratic Forms

The Mathematica Journal p-adic Arithmetic

Linear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) 1.1 The Formal Denition of a Vector Space

7.2 Applications of Euler s and Fermat s Theorem.

Solvability of Cubic Equations over 3 (Kebolehselesaian Persamaan Kubik ke atas 3

Part III. x 2 + y 2 n mod m

x 3 2x = (x 2) (x 2 2x + 1) + (x 2) x 2 2x + 1 = (x 4) (x + 2) + 9 (x + 2) = ( 1 9 x ) (9) + 0

p-adic Analysis Compared to Real Lecture 1

REVIEW OF GALOIS DEFORMATIONS

2 J. Kluners and M. Pohst (993)] for calculating subelds. In this article we generalize and improve the methods of Dixon (990). The generating polynom

Factoring Polynomials with Rational Coecients. Kenneth Giuliani

NOTES ON FINITE FIELDS

Contents. 4 Arithmetic and Unique Factorization in Integral Domains. 4.1 Euclidean Domains and Principal Ideal Domains

x = π m (a 0 + a 1 π + a 2 π ) where a i R, a 0 = 0, m Z.

Prerequisites. We recall: Theorem 2 A subset of a countably innite set is countable.

Wilson s Theorem and Fermat s Little Theorem

Rings of Residues. S. F. Ellermeyer. September 18, ; [1] m

February 1, 2005 INTRODUCTION TO p-adic NUMBERS. 1. p-adic Expansions

The p-adic numbers. Given a prime p, we define a valuation on the rationals by

On the classication of algebras

Math 109 HW 9 Solutions

Algebraic Number Theory Notes: Local Fields

17 Galois Fields Introduction Primitive Elements Roots of Polynomials... 8

THE P-ADIC NUMBERS AND FINITE FIELD EXTENSIONS OF Q p

Solutions to Practice Final

a = a i 2 i a = All such series are automatically convergent with respect to the standard norm, but note that this representation is not unique: i<0

Valuations. 6.1 Definitions. Chapter 6

p-adic fields Chapter 7

Solvability and Number of Roots of Bi-Quadratic Equations over p adic Fields

NOTES IN COMMUTATIVE ALGEBRA: PART 2

LECTURE 2. Hilbert Symbols

LECTURE NOTES IN CRYPTOGRAPHY

ZEROES OF INTEGER LINEAR RECURRENCES. 1. Introduction. 4 ( )( 2 1) n

Objective Type Questions

Introduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013

Math 312/ AMS 351 (Fall 17) Sample Questions for Final

Singer and GMW constructions (or generalized GMW constructions), little else is known about p-ary two-level autocorrelation sequences. Recently, a few

IMC 2015, Blagoevgrad, Bulgaria

NOTE: You have 2 hours, please plan your time. Problems are not ordered by difficulty.

3 Solutions of congruences

Tomáš Madaras Congruence classes

Solution Sheet (i) q = 5, r = 15 (ii) q = 58, r = 15 (iii) q = 3, r = 7 (iv) q = 6, r = (i) gcd (97, 157) = 1 = ,

J. Symbolic Computation (1995) 11, 1{000 An algorithm for computing an integral basis in an algebraic function eld Mark van Hoeij Department of mathem

KUMMER S LEMMA KEITH CONRAD

SOLVING QUADRATIC EQUATIONS IN DIMENSION 5 OR MORE WITHOUT FACTORING

Galois groups with restricted ramification

An Approach to Hensel s Lemma

Richard DiSalvo. Dr. Elmer. Mathematical Foundations of Economics. Fall/Spring,

Chapter 4. Characters and Gauss sums. 4.1 Characters on finite abelian groups

= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2

Euclidean Models of the p-adic Integers

Counterexamples to witness conjectures. Notations Let E be the set of admissible constant expressions built up from Z; + ;?;;/; exp and log. Here a co

Gwyneth Harrison-Shermoen

HENSEL S LEMMA KEITH CONRAD

2.3 In modular arithmetic, all arithmetic operations are performed modulo some integer.

Absolute Values and Completions

Commutative Algebra II

P-adic numbers. Rich Schwartz. October 24, 2014

ax b mod m. has a solution if and only if d b. In this case, there is one solution, call it x 0, to the equation and there are d solutions x m d

(03) So when the order of { divides no N j at all then Z { (s) is holomorphic on C Now the N j are not intrinsically associated to f 1 f0g; but the or

Elliptic curves over Q p

Novel Approach to Analysis of Nonlinear Recursions. 1 Department of Physics, Bar-Ilan University, Ramat-Gan, ISRAEL

A Classification of Integral Apollonian Circle Packings

Contents. 2.1 Vectors in R n. Linear Algebra (part 2) : Vector Spaces (by Evan Dummit, 2017, v. 2.50) 2 Vector Spaces

2-Distance Problems. Combinatorics, 2016 Fall, USTC Week 16, Dec 20&22. Theorem 1. (Frankl-Wilson, 1981) If F is an L-intersecting family in 2 [n],

Contents. 6 Systems of First-Order Linear Dierential Equations. 6.1 General Theory of (First-Order) Linear Systems

Quadratic Congruences, the Quadratic Formula, and Euler s Criterion

2 PAUL C. ROBERTS (3) If R and S are polynomial rings k[x 1 ; : : : ; x n ] and k[y 1 ; : : : ; y m ], where the x i and y j have degree one, then R#S

Fast Polynomial Multiplication

Quadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation

8 Complete fields and valuation rings

MATH 115, SUMMER 2012 LECTURE 4 THURSDAY, JUNE 21ST

Notes on Systems of Linear Congruences

PROBLEMS ON CONGRUENCES AND DIVISIBILITY

Topological properties of Z p and Q p and Euclidean models

0.1 Valuations on a number field

IE 5531: Engineering Optimization I

1 What is an elliptic curve?

Local Fields. Chapter Absolute Values and Discrete Valuations Definitions and Comments

Asymptotic Counting Theorems for Primitive. Juggling Patterns

Rational Points on Conics, and Local-Global Relations in Number Theory

294 Meinolf Geck In 1992, Lusztig [16] addressed this problem in the framework of his theory of character sheaves and its application to Kawanaka's th

LECTURE 2 FRANZ LEMMERMEYER

Profinite Groups. Hendrik Lenstra. 1. Introduction

Definition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively

An introduction to the algorithmic of p-adic numbers

Institute for Advanced Computer Studies. Department of Computer Science. On the Convergence of. Multipoint Iterations. G. W. Stewart y.

Theory of Numbers Problems

Zair Ibragimov CSUF. Talk at Fullerton College July 14, Geometry of p-adic numbers. Zair Ibragimov CSUF. Valuations on Rational Numbers

On the Optimal Pre-Computation of Window τ NAF for Koblitz Curves

Quadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation

1 Solutions to selected problems

Discrete Logarithms. Let s begin by recalling the definitions and a theorem. Let m be a given modulus. Then the finite set

Algebraic function fields

Transcription:

Generalization of Hensel lemma: nding of roots of p-adic Lipschitz functions (joint talk with Andrei Khrennikov) Dr. Ekaterina Yurova Axelsson Linnaeus University, Sweden September 8, 2015

Outline Denitions Classical Hensel's lifting lemma Generalization of "Hll" for 1-Lipschitz functions Generalization of "Hll" for p α -Lipschitz functions

Denitions: p-adic numbers For any prime p 2 the p-adic norm p is dened in the following way. For every nonzero integer n let ord p (n) be the highest power of p which divides n, i.e. n 0 (mod p ordp(n) ), n 0 (mod p ordp(n)+1 ). Then we dene n p = p ordp(n), 0 p = 0. For rationals n m Q we set n m p = p ordp(n)+ordp(m). The completion of Q with respect to the p-adic metric ρ p (x, y) = x y p is called the eld of p-adic numbers Q p. The norm satises the strong triangle inequality x ± y p max x p ; y p where equality holds if x p y p. The set Z p = {x Q p : x p 1} is called the set of p-adic integers. Every x Z p can be expanded in canonical form, i.e. in a convergent by p-adic norm series: x = x 0 + px 1 +... + p k x k +..., x k {0, 1,..., p 1}, k 0. The ball of radius p r with center a is the set B p r (a) = {x Z p : x a p p r } = a + p r Z p.

Denitions: p-adic Lipschitz functions Consider functions f : Z p Z p, which satisfy the Lipschitz condition with constant p α, α 0 (p α -Lipschitz functions). Recall that f : Z p Z p is p α -Lipschitz function if f (x) f (y) p p α x y p, for all x, y Z p. This condition is equivalent to that from x y (mod p k ) follows f (x) f (y) (mod p k α ) for all k 1 + α. A class of 1-Lipschitz functions take a special place (i.e. α = 0). For all k 1 a 1-Lipschitz transformation f : Z p Z p the reduced mapping modulo p k is f modp k : Z/p k Z Z/p k Z, z f (z) (mod p k ). Mapping f modp k is a well-dened (the f modp k does not depend on the choice of representative in the ball z + p k Z p ).

Hensel's lifting lemma The main tool for nding the roots of p-adic functions that map the ring of p-adic integers into itself, is a classical result - Hensel's lifting lemma. Theorem (Hensel's lifting lemma for p-adic case) Let f (x) Z p [x] be a polynomial with integer p-adic coecients and f (x) Z p [x] be its formal derivative. Suppose that ā Z p is a p-adic integer such that f (ā) 0 (mod p) and f (ā) 0 (mod p). Then there exists a unique p-adic integer a Z p such that f (a) = 0 and a ā (mod p).

Classical Hensel's lifting lemma Example. Find the solutions of x 3 + x 2 + 29 0 (mod 25). Solution. Let f (x) = x 3 + x 2 + 29. We see (by inspection) that solutions of f (x) 0 (mod 5) have x 3 (mod 5). Because f (x) = 3x 2 + 2x and f (3) = 33 3 0 (mod 5), Hensel's lemma tells us that there is a unique solution modulo 25 of the form 3 + 5t, where t f (3)( f (3) ) 5 (mod 5). Note that f (3) = 3 = 2, because 2 is inverse to 3 mod 5. Also note that f (3) = 65 = 13. It follows that t 2 13 4 (mod 5). We 5 5 conclude that x 3 + 5 4 = 23 is the unique solution of f (x) 0 (mod 25).

Hensel's lifting lemma Hensel's lifting lemma (Hll) for p-adic functions characterized by the following circumstances: 1. under restrictions on the function f (value of the derivative f at a given point) Hll gives the criterion of the existence of the root of p-adic function f on the set of p-adic integers. By solving a nite number of congruences modulo p we can determine whether f has the root in Z p ; 2. Hll provides an algorithm for nding the approximate value (in p-adic metric) of the root of f with a given accuracy. This problem is reduced to solving linear congruences modulo p at each step of the iterative procedure. Solvability of the corresponding linear congruences is determined by the restrictions that are imposed on the derivative f ; 3. Hll is applicable for p-adic functions dened by polynomials with integer p-adic coecients. Even if the function f is dened by polynomial, but not with the p-adic integer coecients, the "formal" use of Hensel's lifting lemma to nd the approximate value of the root leads to false results.

Question arises: How could we nd roots of p-adic function that maps p-adic integers into itself and is not dened by a polynomial with integer coecients, for example, if f is not dierentiable at all? We solved this problem for the p-adic functions that satisfy the Lipschitz condition with constant p α, α 0.

Results: 1-Lipschitz functions General criterion for the existence of the root of 1-Lipschitz functions: Theorem 1. Let f : Z p Z p be 1-Lipschitz function. The function f has a root if and only if the congruences f modp k (x) 0 (mod p k ) are solvable for any k 1, where f modp k : Z/p k Z Z/p k Z, f modp k (z) = f (z) (mod p k ). It follows that, in general, for 1-Lipschitz function f by solving a nite number of congruences modp k it is impossible to determine whether the function f has root in Z p, as it is done with the use of classical Hensel's lifting lemma.

Roots of 1-Lipschitz functions. Example Let p = 5 and f : Z 5 Z 5 such that f (x) = f (x 0 + 5x 1 +... + 5 k x k...) = x + 5 N ( x N + x 2 N + 3), where N is a xed positive integer. Note that f is 1-Lipschitz function. We need to solve a nite number of congruences of the form f mod5 k (x) 0 (mod 5 k ), k S. Let N > S. It is clear that f mod5 k (0) 0 (mod 5 k ), k S. If a direct analogy with the Hensel's lifting lemma is true, then we can assume that x = 0 is the root of the function f. However, the congruence f (x) 0 (mod 5 N+1 ) has no solutions. Indeed, suppose that h {0,..., 5 N+1 1} be a solution of this congruence and h = h + 5 N h N. Because f (h) f ( h) 0 (mod 5 N ), then h = 0 and f (h) 5 N (h 2 N + 3) 0 (mod 5N+1 ) or h 2 N + 3 0 (mod 5). But the last congruence has no solutions in Z/5Z. From Theorem it follows that the function f has no roots at all. Thus, by choosing N suciently large, we cannot by solving a nite number of congruences modulo 5 k, k S determine the existence of the root of the function f.

Roots of 1-Lipschitz functions In this regard, we need some restrictions on the 1-Lipschitz function. We would like to know when one can determine whether or not the function has a root and nd the approximate value of this root in the p-adic metric with the given accuracy by solving a nite number of congruences. In other words, under what restrictions on the 1-Lipschitz function do we get an analogue of Hensel's lifting lemma? The following theorem gives such restrictions in terms of the properties of the van der Put coecients. The next Theorem generalizes Hensel's lifting lemma for 1-Lipschitz functions.

Denitions: van der Put series Given a continuous function f : Z p Z p, there exists a unique sequence B 0, B 1, B 2,... of p-adic integers such that for all x Z p f (x) = B m χ(m, x). (0.1) m=0 Let m = m 0 +... + m n 2 p n 2 + m n 1 p n 1 be a base-p expansion for m, i.e., m j {0,..., p 1}, j = 0, 1,..., n 1 and m n 1 0, then { f (m) f (m m n 1 p n 1 ), if m p; B m = f (m), otherwise.

Denitions: van der Put series The characteristic function χ(m, x) is given by { 1, if x m p p n χ(m, x) = 0, otherwise where n = 1 if m = 0; and n is uniquely dened by the inequality p n 1 m p n 1 otherwise. The number n is just the number of digits in a base-p expansion of m N 0. Then logp m = (the number of digits in a base-p expansion for m) 1, therefore n = log p m + 1 for all m N 0 and log p 0 = 0 ( α for a real α denotes the integral part of α).

Denitions: p-adic Lipschitz functions 1-Lipschitz functions f : Z p Z p in terms of the van der Put series were described by W. Schikhof. But we follow notations from papers by Anashin, Khrennikov, Yurova in convenience for further study. The function f is 1-Lipschitz if and only if it can be represented as f (x) = p m log p b m χ(m, x) (0.2) m=0 for suitable b m Z p, m 0. So for every a {0, 1,..., p k 1}, k 1 we set functions ψ a : {0,..., p 1} {0,..., p 1} dened by the relations: { b ψ a (i) = a+p i(modp), i 0; k 0, i = 0. (0.3)

Generalization of Hensel's lifting lemma for 1-Lipschitz functions Theorem 2. Let f : Z p Z p be a 1-Lipschitz function represented via van der Put series f (x) = m=0 p log p m b m χ(m, x).if 1. for some natural number R there exists h {0, 1,..., p R 1} such that f ( h) 0 (mod p R ) and 2. for any m R, where m h (mod p R ) functions ψ m : {0,..., p 1} Z/pZ, ψ m (i) = { bm+i p 1+ logp m (modp), i 0; 0, i = 0. are bijective (i.e. b m+i p 1+ log p m (modp), i = 1, 2,..., p 1 are all nonzero residues modulo p), then there exists a unique p-adic integer h Z p such that f (h) = 0 and h h (mod p R ).

Roots of 1-Lipschitz functions From Theorem 2 follows the "classical" Hensel's lifting lemma. Criterion of the existance of the root in Theorem 2 does not require that functions are polynomials (as in Hensel's lifting lemma). Moreover, this Theorem does not require that the functions are dierentiable. The proof is constructive, i.e. there is an algorithm to construct an approximate value of the root of f with given p-adic accuracy (similar to proof of Hensel's lemma). Dierence: at each step we solve nonlinear congruence modulo p. Solution of such nonlinear congruences reduces to calculation of p values of the function by suitable modulo p k.

Example Let p = 5 and f (x) = f (x 0 + 5x 1 +... + 5 k x k +...) = 3 + 5 k (1 + 5k 2 )xk 3. We show that f has a unique root and nd its approximation within 5 4 in 5-adic metric. Note that f is non-dierentiable at any point from Z 5. Indeed, for any k > 1 and x {0,..., 5 k 1} f ( x +5 k h) f ( x) = 5 k (1+5k 2 )h 3 5 k h 3 (mod 5 k+1 ), h {1, 2, 3, 4}. This means that we cannot use Hensel's lifting lemma for nding the roots of f but we can use Theorem 2 instead. k=0

Example Let us nd the coecients of B m, m 5 with the aid of the van der Put series of the function f. Let m = m + 5 k i, m {0,..., 5 k 1}, i {1, 2, 3, 4}, k 1, then B m = f ( m + 5 k i) f ( m) = 5 k (1 + 5k 2 ) i 3. In this notation, the functions ψ m, m 5 can be represented as ψ m (i) i 3 (mod 5) Because gcd(3, 4) = 1, then ψ m, m 5 are bijective on Z/5Z (i.e. the second condition of Theorem 2 holds). Since x x 0 = 2 (mod 5) is the only solution of the congruence f (x) x 3 0 3 0 (mod 5), then by Theorem 2 function f has a unique root in Z 5, namely, h, and h 2 (mod 5).

Example Now we nd an approximation of the root h to within 5 4. If h = h 0 + 5h 1 +... + 5 k h k +..., h k {0, 1, 2, 3, 4}, then to nd such approximation it is necessary to determine the values h 0, h 1, h 2, h 3. Let us use an iterative procedure [this paper]. Value h 0 has already been dened, i.e. h 0 = 2. Let h (s) = h 0 +... + 5 s h s, s {0, 1, 2, 3}. Value h 1 {0, 1, 2, 3, 4} we determine from the condition f (h (0) + 5 h 1 ) = f (2 + 5 h 1 ) 0 (mod 5 2 ). By computing f (2 + 5 i) (mod 5 2 ), i {0, 1, 2, 3, 4}, we get h 1 = 4 and h (1) = 22. Value h 2 {0, 1, 2, 3, 4} we determine from the condition f (h (1) + 5 h 2 ) = f (22 + 5 2 h 1 ) 0 (mod 5 3 ). By computing f (22 + 5 i) (mod 5 3 ), i {0, 1, 2, 3, 4}, we get h 2 = 2 and h (2) = 72.

Example Value h 3 {0, 1, 2, 3, 4} we determine from the condition f (h (2) + 5 3 h 3 ) = f (72 + 5 3 h 3 ) 0 (mod 5 4 ). By computing f (72 + 5 3 i) (mod 5 4 ), i {0, 1, 2, 3, 4}, we get h 3 = 2 and h (3) = 322. Thus, the approximate value of the root of f to within 5 4 is 322, i.e. h 322 5 5 4.

Roots of p α -Lipschitz functions Then we generalize Hensel's lifting lemma for the case of p α -Lipschitz functions. The problem of nding the roots and their approximations for p α -Lipschitz functions (α > 0) is reduced to solving the corresponding problem for 1-Lipschitz sub-functions. Such possibility follows from the following Theorem.

Generalization of Hensel's lifting lemma for p α -Lipschitz functions Theorem 3. (representation) Let f : Z p Z p be a p α -Lipschitz function (α 1) represented as f (a + p α x) = p α 1 i=0 I i (a) f i (x), a {0,..., p α 1}, (0.4) where all the functions f i (x) : Z p Z p, i {0,..., p α 1} satisfy Lipschitz condition with constant 1 and { 1, if a = i; I i (a) = 0, otherwise.

Criterion of the existance of the root Let f : Z p Z p be a p α -Lipschitz function. 1-Lipschitz sub-functions f i, i {0,..., p α 1} are represented with the aid of the van der Put series f i (x) = m=0 p log p m b i, m χ(m, x). If 1. for some natural number R there exists h {0, 1,..., p R+α 1} such that f ( h) 0 (mod p R ); 2. for any m R, where m h s p α (mod p R ), s h (mod p α ) functions ψ s, m : {0,..., p 1} Z/pZ, ψ s, m (t) = { bs, m+t p 1+ logp m (modp), t 0; 0, t = 0. are bijective (i.e. b s, m+t p 1+ log p m (modp), t = 1, 2,..., p 1 are all nonzero residues modulo p), then there exists a unique p-adic integer h Z p such that f (h) = 0 and h h (mod p R+α ).

Roots of p α -Lipschitz functions To check existance of the root of the p α -Lipschitz function f, we need to check existance of the roots of 1-Lipschitz sub-functions f i (x), i {0,..., p α 1}; Algorithm for construction of approximate root of p α -Lipschitz function is also presented.

Roots of p α -Lipschitz functions. Example Let p = 5 and f (x 0 + 5x 1 +... + 5 k x k +...) = 5 k (1 + 5x 0 )x x 0 k. We nd approximation of all roots of the function f (x) 2 to within 5 3. We represent the function f (x) 2 in the form of the statement of the Theorem 3, we obtain (using the notation x = x 1 + 5x 2 +...) f (x 0 + 5 x) 2 = k=1 = I 0 (x 0 )f 0 ( x) + I 1 (x 0 )f 1 ( x) + I 2 (x 0 )f 2 ( x)+ k=1 + I 3 (x 0 )f 3 ( x) + I 4 (x 0 )f 4 ( x), where f 0 ( x) = 2 + 5 k 1 = 9 4 ; f 1( x) = 2 + 6 5 k 1 x k ; k=1 k=1 f 2 ( x) = 2 + 11 5 k 1 xk 2 ; f 3 ( x) = 2 + 16 5 k 1 xk 3 ; f 4 ( x) = 2 + 21 5 k 1 x 4 k k=1

Roots of p α -Lipschitz functions. Example It is easy to see that all the functions f i satisfy the Lipschitz condition with constant 1. For each i = 0, 1, 2, 3, 4 we nd solutions of the congruence f i (x 0 ) 0 (mod 5). We get f 1 (2) 0 (mod 5); f 3 (3) 0 (mod 5); and for i = 0, 2, 4 appropriate congruences have no solutions (this means that the numbers of the form 5 x, 2 + 5 x and 4 + 5 x are not the roots of the function f (x) 2). For the functions f 1 and f 3 let us verify conditions of the Theorem 3. For this we nd the van der Put coecients of the functions f 1 and f 3. Let m = m + 5 k t, m {0,..., 5 k 1}, t {1, 2, 3, 4}, then B 1, m = f 1 (m) f 1 ( m) = 5 k (6 t), B 3, m = f 3 (m) f 3 ( m) = 5 k (16 t 3 ).

Roots of p α -Lipschitz functions. Example Accordingly, functions ψ 1, m and ψ 3, m take the form ψ 1, m (t) t (mod 5), ψ 3, m (t) t 3 (mod 5) and, therefore, functions ψ 1, m and ψ 3, m are bijective. This means that the function f (x) 2 has exactly two roots. Using an iterative procedure [from this paper] and initial approximations for f 1 and f 3, we nd solutions of congruences f 1 (x) 0 (mod 5 3 ) and f 3 (x) 0 (mod 5 3 ). As a result, we obtain f 1 (2 + 5 3 + 5 2 1) = f 1 (42) 0 (mod 5 3 ) f 3 (3 + 5 4 + 5 2 2) = f 3 (73) 0 (mod 5 3 ). Thus, the function f (x) 2 has two roots. The approximate value of these roots in 5-adic metric to within 5 3 are 1 + 5 42 = 211 and 3 + 5 73 = 368, respectively.

Conclusions We generalized Hensel's lifting lemma for a wider class of functions, namely, the class of p α -Lipschitz functions. We presented an algorithm for construction of approximate root of such functions with given p-adic accuracy. "Generalization of Hensel lemma: nding of roots of p-adic Lipschitz functions" by E. Yurova Axelsson and A. Khrennikov, Journal of Number Theory, Elsevier, volume 158, p. 217-233 (January 2016)