arxiv: v3 [math.nt] 25 Sep 2018

Transcription

1 REMARKS ON THE TRANSCENDENCE OF CERTAIN INFINITE PRODUCTS EIJI MIYANOHARA arxiv: v3 [math.nt] 25 Sep 208 Abstract. In this article, we investigate arithmetical properties of the certain infinite products, which is related to additive representation of natural numbers, by using the method developed by[adbl],[bbc] and increase hidden infinite copy structure related with the certain infinite products.. Introduction The following infinite product is well known, (.) (+z 2y ) = z. This infinite product means the uniquely existence of 2-representation of natural numbers. Moreover, the generating function of Thue-Morse sequences has the following infinite product similar to (.), (.2) f(z) = ( z 2y ) = a(n)z n. This infinite product is also related to 2-representation of natural numbers as follows; { is appeared even times in 2-representation of n a(n) := is appeared odd times in 2-representation of n. In transcendental number theory, many authors investigated the transcendence of special values of the infinite product similarly to this infinite product. (See [N], [Ta], [AmV,AmV2] etc.) On the other hands, a natural number n has the unique following additive representation of natural numbers as follows: For any integer sequence (q j ) j=0 with q 0 =, q j 2 for j, a natural number n has the unique n=0 200 Mathematics Subject Classification: Primary B50; Secondary J8. Key words and phrases: Schmidt subspace theorem, infinite product, increase hidden infinite copy structure.

2 2 EIJI MIYANOHARA following additive representation (In this article, we call this representation (q j ) j=0-representation. See also [Ma].) as follows, y n = s y where s y is an integer with 0 s y q y+. From the uniquely existence of (q j ) j=0-representation of natural number, we have (.3) (+ q y+ s= j=0 q j z s y ) = z. In this article, we shall investigate the arithmetical properties of the following infinite product from the symbolic dynamically viewpoint; q y+ f(z) = (+ a s,y z s y (.4) ), s= where (q j ) j=0 is an integer sequence with q 0 =, q j 2 for j and a s,y Z (for any y) or a s,y {,exp 2πi 3,exp4πi} Main results First, we prepare the setting for the first statement: Let b be an integer greater than. For integers y and s with y N and s q y+, let a s,y, 0 be integers with + q y+ a s,y s= b s y 0. For any n N, we set the following infinite product q y+ y a s,y f n (z) := (+ z s nj=0 q (2.) j ). y=n Moreover, we denote the Taylor expansion of f n (z) as follows, f n (z) := m=0 a n(m)z m. Assume that; There exists a positive number C, independent of n,m such that (2.2) s= a n (m) Ca 0 (m). And f 0 (z) absolutely converges on z <. Let L > 0 be the following integer; There exist numbers s n,t n N with s n L,t n +s n L and 0 α n,0 Q such that α n a n (t n ) = a n (t n +s n ) and α n (2.3) 0 as n. This condition can be regarded as a variation of the notion long repetitions introduced by Adamczewski-Bugeaud-Luca[AdBL] (See also [CZ]): Since the degree of each polynomial, which generates the infinite product, is at most q y+ and the uniqueness of (q j ) j=0-representation of integer, the b n

3 REMARKS ON THE TRANSCENDENCE OF CERTAIN INFINITE PRODUCTS 3 sequence (a 0 (m)) m=0 has the following increase hidden infinite copy structure; For an integer i with 0 i m, let a i Q, the length m word A := a a 2 a m and f Q. We define the length m word f(a) as follows, f(a) := fa fa 2 fa m. For any natural number n, the sequence (a 0 (m)) m=0 has the following representation (a 0 (m)) m=0 = A nf,n (A n )f 2,n (A n ) f l,n (A n ), wherea n = n,a n = a 0 (0)a 0 () a 0 ( n )andsomef l,n Q. This property gives the symbolic dynamically viewpoint of Mahler functional equation of f(z) = n (+ q y+ s= By the assumption, there exists a rational function (2.4) a s,y z s y )f n (z n f n (z) p n(z) αn z sn = zsn+tn+ Taylor series ). p n(z) αn βn zsn such that where degp n (z) s n +t n. Let C n be the smallest integer which C n p n is an polynomial with integer coefficients. Now we state main results. Theorem 2.. Let f 0 (z) be a power series which satisfies the above conditions. Assume that the above integer b satisfies the following inequality (+ α n )α n +ǫ 2+ǫ C n n q y+ s= 3+ǫ < b ( Lǫ) n for some ǫ > 0. Then f 0 (/b) is a rational number or transcendentalnumber. Moreover,assume thatthe setofprime factorsof rationalnumbers (a s,y ) y 0, s qy+, ( ) y 0, s qy+,(c n) y 0,(α n ) n 0,( ) n 0 is a finite set. If an integer b with 2 b satisfies the following inequality, (+ α n )α n ǫ C n n q y+ s= +ǫ < b ( Lǫ) n for some ǫ > 0. Then f 0 (/b) is a rational number or transcendentalnumber. Corollary 2.2. For any integer y 0, let c y be an integer as follows, { 2 2m! if y = m! for some m, c y := otherwise. Let b be an integer with b 4. Then ( + number. c y b 2y) is a transcendental In [Ta], [AmV,AmV2], they investigated the transcendence of special values of (+ L s= (+ L s= as,y bs,y zsky ) as,y bs,y zsky ) where a s,y Z,0 Z (for any y and

4 4 EIJI MIYANOHARA s with 0 s L ). They assume the following condition for applying Mahler method, (2.5) (max{ a s,y k, }) y as y. Therefore, this corollary is not deduced from their investigations. We also prove the following result by Ridout s theorem. Proposition 2.3. Let 2 b N and c N with 2 c b. Set f(z) := fy ( + F y z 2y ) = n=0 a(n)zn where f y,f y Z with f y F y and F y 0. Let ǫ > 0. If f y,f y (for any y) satisfy the following inequality, f y (2.6) F y (F 0 F F y ) ǫ+2 b ǫ2y, then f(/c) is a rational or transcendental number. Moreover, if (f y,c) = (for any y,c), then f(/c) is a transcendental number. Remark. If (F y ) has only finite prime factor, the inequality (2.6) can be replaced by f y F y (F 0 F F y ) ǫ+ b ǫ2y. This proposition is not also deduced from their investigations. Moreover we shall decide the transcendence of the following infinite product; (2.7) f( b ) = (+ q y+ s= a s,y b s y ), where a s,y {, } (for any y and s with s q y+ ) or a s,y {,exp 2πi 3,exp4πi} (for any y and s with s q 3 y+). We prove the following result by generalizing Theorem 9 in [Mi]. (See section 5) Proposition 2.4. Let b be an integer with b 2. Let the Taylor series f(z) = n=0 a(n)zn be the following infinite product, (2.8) f(z) = (+ q y+ s= a s,y z s y ), where (q j ) j=0 is an integer sequence with q 0 =, q j 2 for j. Assume, for any y 0,s with s q y+, a s,y {, } or a s,y {,exp 2πi 3,exp4πi }. If there is no integer A such that 3 (2.9) a s,a+y = a s y j=0 q A+j,A for all s with s q y+ and for all y N, then a(n+nl) n=0 b n+ all N 0 and for all l > 0 ) is a transcendental number. ( for

5 REMARKS ON THE TRANSCENDENCE OF CERTAIN INFINITE PRODUCTS 5 From the symbolic dynamically viewpoint and the properties of (q j ) j=0- representation, one can decide the transcendence of special value of the generating function of arithmetical subsequence of (a(n)) n=0. 3. Proofs of Theorem 2. and Corollary 2.2 Now we introduce p-adic Schmidt subspace theorem [Sc]. (See also [CZ]) Theorem 3.. Let p be a prime number. For any prime number p, set p- adic valuation as follows p p :=. Set S: the set of finite prime numbers. p Let n be an integer with n, for each p S and, let L,p,,L n,p, L,,,L n, be n-linearly independent linear form as follows n L j,p (x,,x n ) = a pji x i for j n, L j, (x,,x n ) = i= n a ji x i for j n, i= where any a pji Q p is a p-adic algebraic number, any a ji R is an algebraic number. Let ǫ be a real number with ǫ > 0. Then the set of solutions (x,,x n ) in Z n to the inequality, n L j, (x,,x n ) p S j= n L p, (x,,x n ) j= lies in finitely many proper subspace of Q n. {max{x,,x n }} ǫ Now we give the proof of Theorem 2.. We assume that f 0 (/b) is an algebraic number. We choose a real number t with > t >. Then for z 2 with z t, there exists C > 0, independent of n, such that ( α n z sn )f n (z) p n (z) < C (+ α n (3.) )z sn+tn+ (More precisely; ( α n z sn )f n (z) p n (z) = z sn+tn+ ( m=0 a n (s n +t n ++m)z m + α n a n (t n ++m)z m ). ) Bysubstitutez n forf n (z)andmultipletheaboveequationby n qy+ s= a s,y z s y ), we have (3.2) ( α n n n z sn )f 0 (z) (+ q y+ s= < C (+ α n )z (sn+tn+) n n (+ (+ a s,y z s y )p n (z n ) q y+ s= a s,y z s y )

6 6 EIJI MIYANOHARA Moreover, we have (3.3) ( α n n b )f 0( n sn b ) (+ q y+ s= a s,y b s y Multiplying C n both side the above inequality, we have (C n n C n n (3.4) q y+ s= q y+ s= C (+ α n ) C n n b (sn+tn) n C n b (sn+tn) n n n qy+ (+ s=. b n q y+ s= q y+ s= )p n ( b ) < C n (+ α n ) α n b tn n )f 0 ( b ) a s,y b s y )p n ( b n ) < Set S: the set of prime factors of b. Set three linearly independent linear form as follows x f 0 (/b)+x 2 f 0 (/b)+x 3,x,x 2. Foranyp S,setthreelinearlyindependent linearformasfollowsx,x 2,x 3. Set the triple of integer as follows, (x,x 2,x 3 ) = (C n n C n n q y+ s= q y+ s= Then, we have n b (sn+tn) n,c n b (sn+tn) n n (+ x x 2 x f 0 (/b)+x 2 f 0 (/b)+x 3 p S q y+ s= q y+ s= Now we estimate the maximum of x,x 2,x 3. (3.5) n max{x,x 2,x 3 } C n b L n α n α n b tn n, a s,y b s y )p n ( b n x p x 2 p x 3 p < C (+ α n ) C3 n q y+ s= (+ q y+ s= )) n qy+ a s,y b s y )C j=0 q 2 j where C 2 is a positive constant, which is larger than p n ( n ). From the assumptions (2.2), (2.3) and t > n b b, C 2 is independent of n. Let ǫ > 0 be a real number which satisfies the first inequality of Theorem 2.. b (sn+tn+) n s= b 3 s,y β2 n α n b n..

7 REMARKS ON THE TRANSCENDENCE OF CERTAIN INFINITE PRODUCTS 7 By the first inequality of Theorem 2., (2.2) and the absolutely convergence of f 0 (z), we have, C C ǫ 2 (+α n )α n +ǫ 2+ǫ C n n q y+ s= n 3+ǫ (+ q y+ From assumption of Theorem 2. and Schmidt subspace theorem, any point (x,x 2,x 3 ) lie in finite proper subspaces of Q 3. Thus, there exists a proper subspace T of Q 3 which contains the infinite points (x,x 2,x 3 ). Therefore, for the proper subspace T, there exists a nonzero points (K,K 2,K 3 ) Z 3 such that s= a s,y b s y ) ǫ < b ( Lǫ) n =0 q j j (3.6) K x +K 2 x 2 +K 3 x 3 = 0. DividingbothsidesoftheaboveequationbyC n qy+ n s= b (sn+tn) n and letting n tend to, we get (3.7) K +K 3 f 0 (/b) = 0. If K = K 3 = 0 and C n qy+ n n s= α n b tn 0, then K 2 = 0. This contradicts (0,0,0) (K,K 2,K 3 ). Therefore f 0 (/b) 0 is a rational number. This completes the proof of first statement of Theorem 2.. One can prove the second statement of Theorem 2. similarly (Replace S by the prime factors S of rational numbers (a s,y ) y 0, s qy+, ( ) y 0, s qy+,(c n) y 0,(α n ) n 0,( ) n 0 ). This completes the proof of Theorem 2.. Now we give the proof of corollary. We consider the second statement of Theorem 2. whose case is L =,k = 2,s n =,α n =,a,y =, = or 2 2m!,b,y = or 2 2m!. From p n (z) =, we have C n =. From Theorem 2., we get (3.8) n 2C b,y +ǫ < b ( Lǫ)2n If b 4, then an integer b satisfies the above inequality. By the Schmidt subspace theorem, there exists a proper subspace T of Q 3 such taht T containes infinitely points (x,x 2,x 3 ) with x = m! b 2m! 2 2m!. Then, forthepropersubspace T,thereexists thenonzeropoints(k,k 2,K 3 ) N 3 such that (3.9) m K b 2m! 2 2m! m 2 2y! +K 2 m! 2 2y! +K 3 2 2m! b (b 2y b,y +) = 0.

8 8 EIJI MIYANOHARA By (3.0), we get K 2 = 0. Since b 2m! and m! b (b2y,y + ) are coprime, we have K = 0,K 3 = 0. This contradicts. Then ( + c y b2y) is a transcendental number. 4. Proof of Proposition 2.3 First, we prove the first statement. Assume, f(/c) is an algebraic number. From the above discussion, for any m, we have A = A m f,m (A m )f 2,m (A m ) f l,m (A m ). where A m = k m, A m = a(0)a() a(2 m ), f l,m Q. By the assumption of f y F y, for any l, we get Then we have, f( m c ) (+ f y F y f l,m f m F m. m ) c 2y (+ f y ) f m F y c 2y F m c 2m. By multiple both sides of the above inequality by m F yc 2y, we get F y c 2y f( m c ) m m (c 2y F y +f y ) (c 2y F y +f y ) f m F m c 2m. Set S := {p prime factor of c} and p p :=. By the above inequality and p f y F y, we have, m p S m m c 2y F y +f y p (c 2y F y +f y ) f m F m m F y c 2y p m F y c 2m = f m F m By the assumption of proposition, we get f m m F y 2 F m c m F y c 2y F y c 2y f( m c ) (c 2y F y +f y ) m F y 2 m c 2m (c 2y +) = f m m F y 2 F m c. (c ) ǫ m F y ǫ (c 2m ) ǫ max{ m F yc 2y, m F (c2y y +f y )} ǫ. Therefore, by Ridout s theorem, f( ) is rational number. Next, we show the c second statement. By the above discussion, for infinitely integer m, there exists non-zero integer pair (a,a 2 ) Z such that m a m F y c 2y +a 2 (c 2y F y +f y ) = 0. By (f y,c) = (for any y,c) and the above equation, we get a 2 = 0. Then, we have a = 0. This contradicts (a,a 2 ) (0,0).

9 REMARKS ON THE TRANSCENDENCE OF CERTAIN INFINITE PRODUCTS 9 5. Proof of Proposition 2.4 FortheproofofProposition2.4,wegeneralizeTheorem9in[Mi]asfollows:LetLbeanintegergreaterthan,andleta 0,a,...,a L beldistinct complex numbers. We let {a 0,a...a L } denote the free monoid generated by {a 0,a...a L }. We define a morphism f from {a 0,a...a L } to {a 0,a...a L } as follows: (5.) f(a i ) = a i+, where the index i is defined to be mod L. Let f j be the j times composed mapping of f, and let f 0 be an identity mapping. Let A and B be two finite words on {a 0,a,...,a L }, and let AB denote the concatenation of A and B. Let A 0 = a 0, (q n ) n=0 be an integer sequence with q 0 =, q n 2 for j, and let µ n be a map µ n :{,...,q n+ } N {0,...,L }. For a non-negative integer m, we define a space of words W m by (5.2) W m := {a i a i2...a im a i,a i2,,a im {a 0,a,...,a L }}. We define A n+ W n+ (5.3) and we let recursively as A n+ := A n f µn() (A n ) f µn(q n+ ) (A n ), (5.4) A := lim A n n denote the limit of A n. The sequence (or infinite word) A is called the generalized Thue-Morse sequence of type (L,(q n ) n=0,(µ n ) n=0), abbreviated as the (L,(q n ) n=0,(µ n) n=0 )-TM sequence. Now, we state the following generalization of Theorem in [Mi]. Theorem 5.. Let A = (a(n)) n=0 be an (L,(q n) n=0,(µ n) n=0 )-TM sequence and b be an integer greater than. We assume that (a(n)) n=0 takes its input from {0,,...,b }. If there is no integer A such that (5.5) A+y µ A+y (s) µ A ()sq 0 j=a+ q j (mod L) for all s with s q A+y+ and for all y N, then a(n+nl) n=0 b n+ all N 0 and for all l > 0 ) is a transcendental number. ( for If the sequence (q n ) n=0 is bounded, a(n+nl) n=0 ( for all N 0 and b n+ for all l > 0 ) is an S,T-number or Liouville number. (See the argument of proof of Theorem 2.2 in [Mi2]) For the proof of Theorem 5., we give some lemmas; We generalized Lemma in [Mi] as follows.

10 0 EIJI MIYANOHARA Lemma 5.2. Let A = (b(n)) n=0 be a (L,(q n ) n=0,(µ n ) n=0)-tm sequence with a j = exp 2π j ( for all j with 0 j L ). Let G L A (z) be the generating function of (b(n)) n=0, G A (z) := b(n)z n. The generating function G A (z) will have the infinite product on z <, (5.6) G A (z) = (+ q y+ s= n=0 exp 2π µ(s,y) z s A+y ). L Proof. Lemma 5.2 s proof is in the same as Lemma s proof in [Mi]. We generalized Lemma 3 in [Mi] as follows. Lemma 5.3. Let n be a positive integer and be the (q j ) j=0-representation of integer n as follows, y n = s n,y where s y is an integer with 0 s q y+. Set y n,min := min{y s n,y 0}. If l and t be a non-negative integer, then there exists an integer x such that j=0 q j (5.7) s xl,yxl,min = and s xl,y = 0 for any integer y with y xl,min < y < y xl,min +t. Proof. Let us assume the factorization of l into prime factors is s i (5.8) l = p j j, j= where p,p 2, p s are s distinct prime numbers and i j for p j ( j s ) are s positive integers. Moreover let us assume, for any j with j t, p j appears infinitely times as a prime factor of (q j ) j=0 and for any j with t+ j s, p j appears only finitely times as a prime factor of (q j ) j=0. Set an integer Y := min{y p i pit y }. Set an integer Y 2 such that, for any j with t + j s, p j doesn t appear as a prime factor of q j with j Y 2. Moreover set Y := max{y,y 2 }. By the definition of Y, s j=t+ p j i j and Y+t j=y+ q j are coprime. Therefore, there exist integers D and E such that (5.9) D s j=t+ p j i j = Y+t+ j=y+ q j E.

11 REMARKS ON THE TRANSCENDENCE OF CERTAIN INFINITE PRODUCTS Fromthe definition of Y, t j= p j i j Y is a non-negative integer. Thus, we have (5.0) t Y i p j j q j D 2 l j= j=0 s j=t+ p j i j = Y q j (+ j=0 Y+t+ j=y+ Y+t+ q j E( j=y+ q j E 2)). Thus, Y+t j=y+ q je( Y+t+ j=y+ q je 2)isanon-negativeinteger.If Y+t+ j=y+ q je( Y+t+ j=y+ q je 2) > 0,itfollowsfromthe(q j ) j=y+ -representationof Y+t+ j=y+ q je( Y+t+ j=y+ q je 2)that t j= p j i j Y D 2 l s j=t+ p j i j satisfiesthelemma.if Y+t j=y+ q je( Y+t+ j=y+ q je j=y+ q j)) 2) = 0, then s j=t+ p j i j =. The integer Y (+k F+ (+ Y+t also satisfies the Lemma. We generalized Theorem 5 in [Mi] as follows. Lemma 5.4. Let A = (a(n)) n=0 be an (L,(q n) n=0,(µ n) n=0 )-TM sequence. The sequence A = (a(n)) n=0 is ultimately periodic if and only if there exists an integer A such that (5.) A+y µ A+y (s) µ A ()sq 0 j=a+ q j (mod L) for all s with s q A+y+ and for all y N. Moreover, if the (L,(q n ) n=0,(µ n ) n=0)-tm sequence is not ultimately periodic, then no arithmetical subsequence of (L,(q n ) n=0,(µ n) n=0 )-TM sequence is ultimately periodic. Proof. Letnbeapositiveintegerandbethe(q j ) j=0-representationofinteger n as follows, y n = s n,y where s n,y is an integer with 0 s n,y q y+. By the uniqueness of (q j ) j=0-representation of integer, we have y a(n) = a(s y q j ). where a(0) =. By the above equation, Lemma 5.2 and Lemma 5.3, the rest of Lemma 5.4 s proof is in the same as Propotition4 and Theorem 5 s proof in [Mi]. By the lemmas, the rest of Theorem 5. s proof is in the same as Theorem 9 s proof in [Mi] j=0 j=0 q j Finally, we give the proof of Proposition 2.4 by Theorem 5.: From Theorem

12 2 EIJI MIYANOHARA 5. and the argument of Theorem 0 s proof in [MortM]. (More detail, see [Mi2]), we get the proof of Proposition Conclusion and announcement We shall extend the above results for the certain infinite matrix product introduced in [Mi2], [Mi3] by using multidimensional increase hidden infinite copy structure (We call this structure hidden fractal). The infinite matrix product is the generating function of a sequence, which is related the k-representation of natural numbers. We call the sequence a k-projective sequence (For the precise definition, see the section Conclusion and announcement in [Mi2]). In [Mi3], we shall introduce a k-projective sequence as a generalization of k-regular sequence and other sequences. A k-projective sequence has the following hidden fractal; Let d > 0 be an integer. Let (A 0 (n)) n=0 be infinite word whose letters are d-dimensional vector as follows, (A 0 (n)) n=0 := a 0, (0) a 0,2 (0). a 0,d (0) a 0, () a 0,2 (). a 0,d () a 0, (n) a 0,2 (n). a 0,d (n). For any integer y 0, the infinite word (A 0 (n)) n=0 is represented as follows, d d d (A 0 (n)) n=0 := c y,i,0 (A i,y ) c y,i, (A i,y ) c y,i,n (A i,y ). i= } {{ } k y i= } {{ } k y i= } {{ } k y where c y,i,n C, A i,y is a length k y word whose letters are d-dimensional vectors. Hidden fractal gives the symbolic dynamically viewpoint of some Mahler functional equation. References [AdB] B. Adamczewski and Y. Bugeaud, Nombres réels de complexit souslinéaire: mesures d irrationalité et de transcendence, J. Reine Angew. Math. 606 (20), [AdBL] B. Adamczewski, Y. Bugeaud and F. Luca, Sur la compléxite des nombres algébriques, C. R. Acad. Sci. Paris 339 (2004),-4. [AdBL2] B. Adamczewski, Y. Bugeaud and F. Luca, On the values of a class of analytic functions at algebraic points, Acta Arith. 35 (2008), no., 8. [AlS] J. P. Allouche and J. Shallit, The ring of k-regular sequences, Theoretical Computer Science 98 (992)

13 REMARKS ON THE TRANSCENDENCE OF CERTAIN INFINITE PRODUCTS 3 [AmV] M. Amou and K. Väänänen, Arithmetical properties of certain infinite products, J. Number Theory 53 (205), [AmV2] M. Amou and K. Väänänen, On algebraic independence of a class of infinite products, J. Number Theory 72 (207), [BBC] J.P. Bell, Y. Bugeaud and M. Coons, Diophantine approximation of Mahler numbers, Proc. London Math. Soc. (3) 0 (205) [BR] V. Berthé and M. Rigo Sequences, Groups and Number Theory Trends in Mathematics (208) [CZ] P. Corvaja and U.Zannier, Applications of diophantine approximation to integral points and transcendece, Cambridge tracts in mathematics (208). [DuN] D. Duverney and K. Nishioka, An inductive method for proving the transcendence of certain series, Acta Arith. 0 (4) (2003) [Ma] J.P.Mauclaire, An almost-sure estimate for the mean of generalized Q- multiplicative functions of modulus, J. Théor. Nombres Bordeaux 2 (2000), no., -2. [Mi] E. Miyanohara, Transcendence of Digital Expansions Generated by a Generalized Thue-Morse Sequence, J. Integer Sequences8 (205), Article [Mi2] E. Miyanohara, Transcendence of the series generated by a generalized Rudin-Shapiro sequence, arxiv v5. [Mi3] E. Miyanohara, k-projective sequences I-toward to generalization of Mahler functions-, in preparetion. [MortM] P. Morton and W. J. Mourant, Digit patterns and transcendental numbers, J. Australian. Math. Soc 5, (99). [N] K. Nishioka, Mahler Functions and Transcendence, LectureNotes in Mathmatics Springer; (996). [Sc] P.H.Schlickewei, The p-adic Thue-Siegel-Roth-Schmidt theorem, Arch. Math. (Basel) 29 (977), no. 3, [Ta] H. Tachiya, Transcendence of certain infinite products, J. Number theorey. 25 (2007), no., Major in Pure and Applied Mathematics, Graduate School of Fundamental Science and Engineering, Waseda University, 3-4- Okubo, Shinjuku, Tokyo , Japan address: jo9t5acrmo@fuji.waseda.jp