DOCSLIB.ORG

Completeness of Systems of Complex Exponentials and the Lambert W Functions

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Completeness of Systems of Complex Exponentials and the Lambert W Functions TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 359, Number 4, April 2007, Pages 1829–1849 S 0002-9947(06)03950-X Article electronically published on November 22, 2006 COMPLETENESS OF SYSTEMS OF COMPLEX EXPONENTIALS AND THE LAMBERT W FUNCTIONS ANDRE´ BOIVIN AND HUALIANG ZHONG Abstract. We study some of the properties of the solution system {eiλnt} of the delay-differential equation y(t)=ay(t − 1). We first establish some general results on the stability of the completeness of exponential systems in L2 and then show that the solution system above is always complete, but is not an unconditional basis in L2(−1/2, 1/2). 1. Introduction It is well known that the solutions of differential-difference equations can be iλnt expressed as (an infinite) sum of exponentials cne where each iλn is a char- acteristic root of the equation. For a “nice” initial condition g(t), say, belonging to C0,orC1, the summation is known to converge pointwise to the solution it represents (see, for example, Bellman and Cooke [2]). In an attempt to better un- derstand this representation, we were led to study the structure (e.g. completeness, iλ t basis or frame properties) of the exponential systems {e n } when the iλn have a distribution similar to that of the characteristic roots of y(t)=ay(t − 1). The study of exponential systems, often referred to as the theory of nonharmonic Fourier series (see [23, 26]), has its origin in the classical works of R. Paley and N. Wiener [15] and N. Levinson [13]. One of the famous early results in the theory is int ∞ 2 that the basis property of the trigonometric system {e }−∞ is stable in L (−π,π) iλ t ∞ 2 in the sense that the system {e n }−∞ will always form a Riesz basis for L (−π,π) | − |≤ 1 if λn n L< 4 . M.I. Kadec’ [9], and R.M. Redheffer and R.M. Young [17] 1 have shown 4 to be optimal. Many (but not all) of the subsequent results on the completeness, frames, basis or interpolation properties of exponential systems required that the λn’s be located in a strip parallel to the real axis (e.g. [26]) or nearby the zeroes of a function of sine type (e.g. [1]). These results did not apply to our case since for the sequences we wish to consider, the λn’s are located in a curvilinear strip. The few known results that allowed for a (slow) growth of the imaginary part of the λn did not apply directly to our setting either and first needed to be extended. One of the main purposes of this paper is to provide such an extension. The paper is organized as follows. Section 2 contains basic definitions and nota- tions, and a discussion of the characteristic roots of the equation y(t)=ay(t − 1) Received by the editors July 4, 2003 and, in revised form, February 4, 2005. 2000 Mathematics Subject Classification. Primary 42C15, 42C30, 34K07; Secondary 30B50. The first author was partially supported by a grant from NSERC of Canada. c 2006 American Mathematical Society Reverts to public domain 28 years from publication 1829 License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 1830 A. BOIVIN AND H. ZHONG in terms of the Lambert W functions, including a result on the asymptotic dis- tributions of the roots. In Sections 3 and 4, we present and prove two theorems regarding the stability of the completeness property in L2 of exponential systems under perturbations within a curvilinear strip. Previously imposed conditions in theorems of A.M. Sedletskii [18], and N. Fujii, A. Nakamura and R. Redheffer [6] and A.M. Sedletskii [23, §5.4, Theorem 5] have been relaxed. In Section 5, we apply Theorem 3.2 to special sequences related to the Lambert W functions Wn(a) 2 − 1 1 introduced in Section 2. In particular, we show the completeness in L ( 2 , 2 )of the system {eWn(a)t}. In Section 6, we show that the radius of completeness of {− } 1 the sequence iWn(a) is equal to 2 , and thus that the main results of Section 5 cannot be derived from the powerful theorem of Beurling and Malliavin [3, 10]. 2. Preliminaries In this paper, we denote by C (respectively by R) the set of all complex (re- spectively real) numbers. Z denotes the set of all integers, and and mean summation and multiplication, respectively, through all the integers except 0. Un- less otherwise specified, all sequences considered in this paper will be indexed by the integers from −∞ to ∞. We say that an entire function f(z)isofexponential type γ if there is a constant A>0 such that |f(z)|≤Aeγ|z|. The totality of all entire functions of exponential type at most π that are square integrable on the real axis is known as the Paley-Wiener space (see [26]) which ∞ is a Hilbert space with respect to the inner product (f,g)= −∞ f(x)g(x)dx. Asystem{eiλnt} of complex exponentials is closed in Lp(−γ,γ), 1 ≤ p<∞,if every f ∈ Lp(−γ,γ) can be approximated in Lp norm by (finite) linear combinations of the functions eiλnt. Asystem{eiλnt} of complex exponentials is complete in Lp(−γ,γ), 1 ≤ p<∞, if the relations γ f(t)eiλntdt =0 −γ p for all n with f ∈ L imply that f = 0 a.e. In this case {λn} is called a complete sequence. q p 1 1 Duality shows that closure in L is equivalent to completeness in L if p + q =1, and 1 <p<∞. Especially, when p = q = 2, completeness is equivalent to closure in L2(−γ,γ) (see [13] or [26]). The following important result of N. Levinson establishes the deep connection that exists between completeness of sets of exponentials and entire functions. Proposition A (N. Levinson, [13]). For the system {eiλnt} to be incomplete in C(−γ,γ) (or in Lp(−γ,γ), 1 <p<∞), it is necessary and sufficient that there ex- ists a non-trivial entire function f(z), which vanishes at every λn and is expressible License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use COMPLETENESS OF SYSTEMS OF COMPLEX EXPONENTIALS 1831 in the form γ (2.1) f(z)= eiztdω(t), −γ where ω(t) is of bounded variation on (−γ,γ) (or ω(t) ∈ Lq(−γ,γ), 1/p+1/q =1). Note 2.1. Equation (2.1) defines a function of exponential type at most γ and thus, when p =2andγ = π, the Plancherel Theorem shows that f in fact belongs to the Paley-Wiener space. Definition 2.2. Acompletesystem{eiλnt} in Lp that ceases to be complete when any one of its element is removed is said to be an exact complete system. When exactly m elements have to be removed (or added) in order that the new system be exact, then the excess Ep(λ) of the system is m (or −m). Definition 2.3. A sequence {f1,f2, ...} in an infinite-dimensional Banach space X is said to be a Schauder basis for Xif for each f ∈ X, there is a unique sequence { } ∞ of scalars c1,c2,... such that f = n=1 cnfn, i.e. n f − cifi → 0asn →∞. i=1 Henceforth, the term basis will always mean a Schauder basis. To study the completeness of the solution system of the delay-differential equa- tion y(t)=ay(t−1), where a is a nonzero fixed real number, we need to understand the zeroes of its characteristic function g(z)=z −ae−z as a function of the variable a as well as their asymptotic distribution. − 1 − 1 Note that when a = e , all the zeroes of g(z)aresimpleandthatwhena = e , − − 1 there is a double zero at z = 1. Assuming first that a = e and that g(z)=0, iφ and writing z as z = η1 + iη2 = re (−π<φ≤ π), we get that (2.2) η1 =log|a|−log r and η2 =arga +2πn − φ for some n ∈ Z. Now assume that a is real. It is known (see [25] or [24]) that: − 1 ≤ ≤ (1) If a does not satisfy e a 0, then there is a zero zn corresponding to each integer n ∈ Z. − 1 (2) If a satisfies e <a<0, then there is a zero zn corresponding to each integer n in Z \{−1, 0},andton = 0 there correspond two zeroes z0 and z−1 satisfying −1 <z0 < 0andz−1 < −1. Noting that from (2.2) we cannot have n = −1whena<0andz<0, we still have a one-to-one correspondence between the zeroes of g and all the integers. − 1 − (3) If a = e , there is a zero of order two at 1, and thus after setting z0 = z−1 = −1, the zeroes of g are again in exact correspondence with all the integers. To each integer n, there thus corresponds a unique zero of g which depends on the variable a. This defines a function Wn(a) called the Lambert W function (see [5]). The following asymptotic properties of these functions were obtained by S. Verblunsky in 1961. License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 1832 A. BOIVIN AND H. ZHONG Proposition B (S. Verblunsky, [24]). Suppose Wn(a) is the Lambert W function ∈ |a| for n Z,andα = 2π .Then i) when a>0, for all n =0 , we have α 1 log |n| 2 W (a)={log + sign(n)+O } n |n| 4n n α 1 log | | log |n| + i{2π(n − sign(n)) + n + O }, 4 2πn n2 and W0(a) > 0; − 1 ∈ \{− } ii) when e <a<0, for all n Z 1, 0 , we have α 1 1 log |n| 2 W (a)={log − ( − sign(n)) + O } n |n| 2n 4n n (2.3) α 1 1 log | | log |n| + i{2π(n + − sign(n)) + n + O }, 2 4 2πn n2 and −1 <W0(a) < 0, W−1(a) < −1; − 1 ∈ \{− } iii) when a = e , we have (2.3) for all n Z 1, 0 ,andW0(a)=W−1(a)= −1; − 1 ∈ \{ } iv) when a< e , we have (2.3) for all n Z 0 ,andW0(a) is not real.
Load more

Recommended publications
  • Complete Padovan Sequences in Finite Fields Juan B. Gil
    COMPLETE PADOVAN SEQUENCES IN FINITE FIELDS JUAN B. GIL Penn State Altoona, 3000 Ivyside Park, Altoona, PA 16601 MICHAEL D. WEINER Penn State Altoona, 3000 Ivyside Park, Altoona, PA 16601 CATALIN ZARA Penn State Altoona, 3000 Ivyside Park, Altoona, PA 16601 Abstract Given a prime p ≥ 5, and given 1 <κ<p − 1, we call a sequence (an)n in Fp a Φκ-sequence if it is periodic with period p − 1, and if it satisfies the linear recurrence an + an+1 = an+κ with a0 = 1. Such a sequence is said to be a complete Φκ-sequence if in addition {a0, a1,...,ap−2} = {1,...,p − 1}. For instance, every primitive root b mod p generates a complete Φκ-sequence n an = b for some (unique) κ. A natural question is whether every complete Φκ-sequence is necessarily defined by a primitive root. For κ = 2 the answer is known to be positive. In this paper we reexamine that case and investigate the case κ = 3 together with the associated cases κ = p − 2 and κ = p − 3. 1. Introduction For a prime number p ≥ 5 and a number κ ∈ {2,...,p − 2}, a sequence (an)n∈Z of elements of Fp is said to be a Φκ-sequence if a0 =1 and an+κ = an + an+1 for all n ∈ Z, (1) where “=” means (throughout this paper) equality in Fp. AΦκ-sequence is called complete if (an)n is periodic, with period p − 1, and (2) {a1,...,ap−2} = {2,...,p − 1}. (3) The case κ = 2 has been studied by Brison [1].
    [Show full text]
  • Completeness Properties of Perturbed Sequences Let S Be
    JOURNAL OF NUMBER THEORY 13, 44 6-455 (1981) Completeness Properties of Perturbed Sequences STEFAN A . BURR Department of Computer Science, City Univerisity of New York, City College, New York, New York 10031 AND PAUL ERDŐS Mathematical Institute, Hungarian Academy of Sciences, Budapest, Hungary Communicated by J. W. S . Cassels Received January 18, 1980 If S is an arbitrary sequence of positive integers, let P(S) be the set of all integers which are representable as a sum of distinct terms of S. Call S complete if P(S) contains all large integers, and subcomplete if P(S) contains an infinite arithmetic progression . It is shown that any sequence can be perturbed in a rather moderate way into a sequence which is not subcomplete . On the other hand, it is shown that if S is any sequence satisfying a mild growth condition, then a surprisingly gentle perturbation suffices to make S complete in a strong sense . Various related questions are also considered . 1. INTRODUCTION Let S be an arbitrary sequence of positive integers . Define P(S) to be the set of all integers which are representable as a sum of dictinct terms of S . (Having distinct terms means having distinct indices, so that the values need not be distinct .) Call a sequence S complete if P(S) contains all sufficiently large integers. Often writers have called S complete only if P(S) contains all positive integers ; we will call such a sequence entirely complete . Considerable study, spanning thirty years, has been devoted to completeness and related properties . (See [1 ; 2, Chap.
    [Show full text]
  • Florentin Smarandache
    FLORENTIN SMARANDACHE SEQUENCES OF NUMBERS INVOLVED IN UNSOLVED PROBLEMS 1 141 1 1 1 8 1 1 8 40 8 1 1 8 1 1 1 1 12 1 1 12 108 12 1 1 12 108 540 108 12 1 1 12 108 12 1 1 12 1 1 1 1 16 1 1 16 208 16 1 1 16 208 1872 208 16 1 1 16 208 1872 9360 1872 208 16 1 1 16 208 1872 208 16 1 1 16 208 16 1 1 16 1 1 2006 Introduction Over 300 sequences and many unsolved problems and conjectures related to them are presented herein. These notions, definitions, unsolved problems, questions, theorems corollaries, formulae, conjectures, examples, mathematical criteria, etc. ( on integer sequences, numbers, quotients, residues, exponents, sieves, pseudo-primes/squares/cubes/factorials, almost primes, mobile periodicals, functions, tables, prime/square/factorial bases, generalized factorials, generalized palindromes, etc. ) have been extracted from the Archives of American Mathematics (University of Texas at Austin) and Arizona State University (Tempe): "The Florentin Smarandache papers" special collections, University of Craiova Library, and Arhivele Statului (Filiala Vâlcea, Romania). It is based on the old article “Properties of Numbers” (1975), updated many times. Special thanks to C. Dumitrescu & V. Seleacu from the University of Craiova (see their edited book "Some Notions and Questions in Number Theory", Erhus Univ. Press, Glendale, 1994), M. Perez, J. Castillo, M. Bencze, L. Tutescu, E, Burton who helped in collecting and editing this material. The Author 1 Sequences of Numbers Involved in Unsolved Problems Here it is a long list of sequences, functions, unsolved problems, conjectures, theorems, relationships, operations, etc.
    [Show full text]
  • Expression of Fibonacci Sequences in Plants and Animals
    Email:[email protected] EXPRESSION OF FIBONACCI SEQUENCES IN PLANTS AND ANIMALS Dr. K. MANIKYA KUMARI Head, Department of Botany St. Joseph’s College for Women (A) Visakhapatnam-530 004, Andhra Pradesh Email: [email protected] ABSTRACT The Fibonacci numbers are Nature's numbering system discovered by the Italian mathematician Leonardo Fibonacci. They appear everywhere in Nature, from the leaf arrangement in plants, to the pattern of the florets of a flower, the bracts of a pinecone, or the scales of a pineapple. The Fibonacci numbers are therefore applicable to the growth of every living thing, including a single cell, a grain of wheat, a hive of bees, and even all of mankind. In the seeming randomness of the natural world, we can find many instances of mathematical order involving the Fibonacci numbers themselves and the closely related "Golden ratio" elements. The series of numbers 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144 and so on is known as the Fibonacci numbers or the Fibonacci sequence. The ratio between the numbers (1.618034) is frequently called the golden ratio or golden number. Fibonacci numbers appear in nature often enough to prove that they reflect some naturally occurring patterns which are commonly evident by studying the manner in which various plants and animals grow. The golden ratio is expressed in spiraling shells where areas of the shell's growth are mapped out in squares. Most of human body parts follow the numbers one, two, three and five. DNA molecules follow this sequence, measuring 34 angstroms long and 21 angstroms wide for each full cycle of the double helix.
    [Show full text]
  • Arxiv:Math/0605348V1
    COMPLETE PADOVAN SEQUENCES IN FINITE FIELDS JUAN B. GIL Penn State Altoona, 3000 Ivyside Park, Altoona, PA 16601 MICHAEL D. WEINER Penn State Altoona, 3000 Ivyside Park, Altoona, PA 16601 CATALIN ZARA Penn State Altoona, 3000 Ivyside Park, Altoona, PA 16601 Abstract Given a prime p ≥ 5, and given 1 <κ<p − 1, we call a sequence (an)n in Fp a Φκ-sequence if it is periodic with period p − 1, and if it satisfies the linear recurrence an + an+1 = an+κ with a0 = 1. Such a sequence is said to be a complete Φκ-sequence if in addition {a0, a1, . , ap−2} = {1,...,p − 1}. For instance, every primitive root b mod p generates a complete Φκ-sequence n an = b for some (unique) κ. A natural question is whether every complete Φκ-sequence is necessarily defined by a primitive root. For κ = 2 the answer is known to be positive. In this paper we reexamine that case and investigate the case κ = 3 together with the associated cases κ = p − 2 and κ = p − 3. 1. Introduction For a prime number p ≥ 5 and a number κ ∈ {2,...,p − 2}, a sequence (an)n∈Z of elements of Fp is said to be a Φκ-sequence if a0 =1 and an+κ = an + an+1 for all n ∈ Z, (1) arXiv:math/0605348v1 [math.NT] 12 May 2006 where “=” means (throughout this paper) equality in Fp. AΦκ-sequence is called complete if (an)n is periodic, with period p − 1, and (2) {a1, . , ap−2} = {2,...,p − 1}.
    [Show full text]
  • Farey Sequences and Resistor Networks
    Proc. Indian Acad. Sci. (Math. Sci.) Vol. 122, No. 2, May 2012, pp. 153–162. c Indian Academy of Sciences Farey sequences and resistor networks SAMEEN AHMED KHAN Department of Engineering, Salalah College of Technology, Post Box No. 608, Postal Code 211, Salalah, Sultanate of Oman E-mail: [email protected] MS received 27 June 2010; revised 4 July 2011 Abstract. In this article, we employ the Farey sequence and Fibonacci numbers to establish strict upper and lower bounds for the order of the set of equivalent resistances for a circuit constructed from n equal resistors combined in series and in parallel. The method is applicable for networks involving bridge and non-planar circuits. Keywords. Farey sequence; Fibonacci numbers; Lucas numbers; resistor network; bridge and non-planar circuits. 1. Introduction The net resistance of n resistors with resistances R1, R2,...,Rn connected in series is given by Rseries = R1 + R2 +···+ Rn, (1) whereas the net resistance of these resistors connected in parallel is given by 1 Rparallel = (2) 1/R1 + 1/R2 +···+1/Rn (see [8] and [4].) It is well known that the net resistance Rseries is greater than the largest resistance among the resistances R1, R2,...,Rn and that the net resistance Rparallel is less than the smallest resistance among the resistances R1, R2,...,Rn. The net resistance in an arbitrary circuit must therefore lie between Rparallel and Rseries. Using (1) and (2), one can solve block by block any circuit configuration consisting of resistors connected in series and in parallel. The simplest network consists of n resistors connected in series and in parallel, each of the same resistance R0.
    [Show full text]
  • Compactness, Connectedness, and Continuity: an Analysis of the Cantor No-Middle-Third Set
    Compactness, Connectedness, and Continuity: An Analysis of the Cantor No-Middle-Third Set Joey Neilsen Mathematics Senior Exercise Kenyon College November 16, 2005 1 1 A Note to the Reader In April of 2005, I was talking to Carol Schumacher about possibilities for a worthy Senior Exercise. Some time before I had heard that every compact metric space was the continuous image of some set called the Cantor Set. Carol and I had been discussing space-filling curves, near enough conceptually that the topic soon turned to the Cantor Set. Carol told me a few of the more intriguing properties of the set, showed me geometrically how to construct it, and mentioned the theorem above as a possible final proof for a Senior Exercise. “That’s a good proof. I think you might be able to do it,” she said. “You might have to look it up, but it would be worth a shot.” I was somewhat intimidated by the thought of working on the Senior Exercise without looking up any of the proofs, especially the hard ones, but I have never been one to resist a challenge. The following work is entirely my own. I have frequently consulted Math- world, Planetmath, and Carol Schumacher’s Real Analysis textbook Closer and Closer: An Introduction to Real Analysis for definitions and available theorems, but, with the exception of the theorems on convergence of se- quences of functions, which we covered in Real Analysis II, as well as Can- tor’s Diagonalization Argument, I had not seen any of the following proofs until I finished them (and I had to “finish” several of them a few times before I could actually claim to have seen the proof).
    [Show full text]
  • Some of My Favourite Problems in Number Theory, Combinatorics, and Geometry
    SOME OF MY FAVOURITE PROBLEMS IN NUMBER THEORY, COMBINATORICS, AND GEOMETRY Paul Erdos} To the memory of my old friend Professor George Sv´ed. I heard of his untimely death while writing this paper. Introduction I wrote many papers on unsolved problems and I cannot avoid repetition, but I hope to include at least some problems which have not yet been published. I will start with some number theory. I. Number theory 1. Let 1 a1 < a2 < < ak n be a sequence of integers for which all the ≤ k · · · ≤ subset sums i=1 "iai ("i = 0 or 1) are distinct. The powers of 2 have of course this property. Put f(n) = max k. Is it true that P log n f(n) < + c (1) log 2 1 for some absolute constant c1? I offer 500 dollars for a proof or a disproof of (1). The inequality log n log log n f(n) < + + c log 2 log 2 2 k is almost immediate, since there are 2 sums of the form i "iai and they must be all distinct and all are < kn. In 1954 Leo Moser and I (see [28]) by using the second moment method proved P log n log log n f(n) < + + c ; log 2 2 log 2 3 which is the current best upper bound. Conway and Guy found 24 integers all 222 for which all the subset sums are distinct. Perhaps ≤ f(2n) n + 2?? ≤ This paper was written while the author was visiting the Institute of Mathematics and Statistics of the University of S~ao Paulo and was partially supported by FAPESP under grant Proc.
    [Show full text]
  • CS103X: Discrete Structures Homework Assignment 2: Solutions
    CS103X: Discrete Structures Homework Assignment 2: Solutions Due February 1, 2008 Exercise 1 (10 Points). Prove or give a counterexample for the following: p Use the Fundamental Theorem of Arithmetic to prove that for n 2 N, n is irra- tional unless n is a perfect square, that is, unless there exists a 2 N for which n = a2. Solution: We will prove the statement by contradiction. Assume n 2 N is not a p perfect square, yet its square root is a rational number q for coprime integers p, q, p p p 2 where q 6= 0. So n = q or n = ( q ) . Without loss of generality, we can assume both p and q are non-negative. If p = 0, then n = 0 which is a perfect square, contradicting our assumption. So we can assume both p and q are positive. By the Fundamental Theorem of Arithmetic, we can uniquely write both p and q as products of primes, say p = p1p2 : : : pm and q = q1q2 : : : qn. Since p and q are coprime, they have no common factors, so pi 6= qj for all 1 ≤ i ≤ m, 1 ≤ j ≤ n. We have: 2 2 2 2 2 p = (p1p2 : : : pm) = p1p2 : : : pm and 2 2 2 2 2 q = (q1q2 : : : qn) = q1q2 : : : qn Now p2andq2 cannot have any common factors > 1 if they did have a common factor d > 1, any prime factor f of d (and there must be at least one such) must also be a common prime factor of p2 and q2 (transitivity of divisibility).
    [Show full text]
  • Application of Linear Sequences to Cryptography
    The University of Southern Mississippi The Aquila Digital Community Honors Theses Honors College Fall 12-2013 Application of Linear Sequences to Cryptography Amanda C. Yeates University of Southern Mississippi Follow this and additional works at: https://aquila.usm.edu/honors_theses Part of the Discrete Mathematics and Combinatorics Commons Recommended Citation Yeates, Amanda C., "Application of Linear Sequences to Cryptography" (2013). Honors Theses. 191. https://aquila.usm.edu/honors_theses/191 This Honors College Thesis is brought to you for free and open access by the Honors College at The Aquila Digital Community. It has been accepted for inclusion in Honors Theses by an authorized administrator of The Aquila Digital Community. For more information, please contact [email protected]. The University of Southern Mississippi Application of Linear Sequences to Cryptography by Amanda Corey Yeates A Thesis Submitted to the Honors College of The University of Southern Mississippi in Partial Fulfillment of the Requirements for the Degree of Bachelor of Science in the Department of Mathematics December 2013 ii Approved by James V. Lambers Department of Mathematics The University of Southern Mississippi Samuel J. Lyle Department of Mathematics The University of Southern Mississippi Sungwook Lee Department of Mathematics, Chair The University of Southern Mississippi David R. Davies Honors College, Dean The University of Southern Mississippi iii Abstract Cryptography is the study of a centuries–old technique of secretly transferring in- formation between parties. Linear recurrences were the chosen method of encryption and decryption in the thesis. The Fibonacci sequence, with its Zeckendorf representation, al- lows for the flexibility of encoding any number desired based on a particular encoding technique used in the film Sherlock Holmes: A Game of Shadows.
    [Show full text]
  • 9 Divides No Odd Fibonacci
    9 Divides no Odd Fibonacci Tanya Khovanova December 20, 2007 Abstract I discuss numbers that divide no odd Fibonacci. Number 9 plays a special role among such numbers. 1 Introduction I stumbled upon the following sentence in the MathWorld article on the Fibonacci numbers [2]: “No odd Fibonacci number is divisible by 17.” I started wondering if there are other, similar numbers. Of course there are — no odd Fibonacci number is divisible by 2. But then, an odd number need not be a Fibonacci number in order not to be divisible by 2. So, let us forget about 2 and think about odd numbers. How do we know that the infinite Fibonacci sequence never produces an odd number that is divisible by 17? Is 17 the only such odd number? Is 17 the smallest such odd number? If there are many such odd numbers, how do we calculate the corresponding sequence? arXiv:0712.3509v1 [math.CO] 20 Dec 2007 2 No odd Fibonacci is divisible by 17 We will start with a general question: How can we approach puzzles about the divisibility of Fibonacci numbers? Suppose K is an integer. Consider the sequence aK (n)= Fn (mod K), of Fibonacci numbers modulo K. The cool thing about this sequence is that it is periodic. If this is not immediately obvious to you, think of what happens when a pair of consecutive numbers in the sequence aK(n) gets repeated. As a bonus for thinking you will get an upper bound estimate for this period. 1 Let us denote the period of aK (n) by PK .
    [Show full text]
  • Ions by Complete Sequences — Part I (Fibonacci) V,E
    REPRESENTATIONS BY COMPLETE SEQUENCES — PART I (FIBONACCI) V,E. HOGGATT,JR. and S.L. BASIN, FIBONACCI BIBLIOGRAPHICAL AND RESEARCH CENTER, SAN JOSE STATE COLLEGE 1. INTRODUCTION The notion of completeness was extended to sequences of integers when oo Hoggatt and King [1] defined a sequence {Aj}._1 of positive integers a s a complete sequence if and only if every natural number N could be represented as the sum of a subsequence ,{B,•}.__.. , such that B. = A|. A necessary and sufficient condition for completeness Is stated In the fol- lowing Lemma, the proof of which is given by H6 L0 Alder [2 ] and J0 L„ Brown9 Jr. [3]. Lemma 1.1 Given any non-decreasing sequence of positive integers r °° {Aj}._ , not necessarily distinct, with A1 = 1, then there exists a sequence {ai}-K s where a^ = Oor 1, such that any natural number, Ng can be repre- sented as the sum of a subsequence {B-j}. , i„ effl , N = 2 a. A. if and only p J~l j=i J 4 if, Ap+ 1 ^ 1 + S A . , p = 1,2,3,--- . The intention of this paper is to extend this past work by investigating the number of possible representations of any given natural number N as the sum of a subsequence of specific complete sequences, 2. THE GENERATING FUNCTION We denote the number of distinct representations of N, not counting permutations of the subsequence {Bj}. _i $ by R(N). The following combin- J k atorial generating function yields R(N) for any given subsequence {A|}. .. , A i (i) n, (x) = n [i + x K i=i Now, given any subsequence {Ai}._, the expansion of (1) takes the form, 2 REPRESENTATIONS BY COMPLETE SEQUENCES [Oct.
    [Show full text]