army research laboratory organization name(s) and address(es) 8. performing organization report...

17
AD-A276 404 ARMY RESEARcH LABORATORY Remarks on a Result of L.A.V. Carvalho N. P. Bhatia UNIVERSITY OF MARYLAND W. 0. Egerland U.S. ARMY RESEARCH LABORATORY ARL-TR-351 February 1994 DTI ELECTE MSAR02•?1 APPROVED FOR PUIBUC RELEASE; DISTRIBLUroN IS UNUMI•ED. 3 3 ' ' 94-06836

Upload: phungnhan

Post on 20-May-2018

231 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: ARMY RESEARcH LABORATORY ORGANIZATION NAME(S) AND ADDRESS(ES) 8. PERFORMING ORGANIZATION REPORT NUMBER U.S. Army Research Laboratory ATTN: AMSRL-Cl-S Aberdeen Proving Ground, MD 21005-5067

AD-A276 404

ARMY RESEARcH LABORATORY •

Remarks on a Resultof L.A.V. Carvalho

N. P. BhatiaUNIVERSITY OF MARYLAND

W. 0. EgerlandU.S. ARMY RESEARCH LABORATORY

ARL-TR-351 February 1994

DTIELECTE

MSAR02•?1

APPROVED FOR PUIBUC RELEASE; DISTRIBLUroN IS UNUMI•ED.

3 3 ' ' • 94-06836

Page 2: ARMY RESEARcH LABORATORY ORGANIZATION NAME(S) AND ADDRESS(ES) 8. PERFORMING ORGANIZATION REPORT NUMBER U.S. Army Research Laboratory ATTN: AMSRL-Cl-S Aberdeen Proving Ground, MD 21005-5067

NOTICES

Destroy this report when it is no longer needed. DO NOT return it to the originator.

Additional copies of this report may be obtained from the National Technical InformationService, U.S. Department of Commerce, 5285 Port Royal Road, Springfield, VA 22161.

The findings of this report are not to be construed as an official Department of the Armyposition, unless so designated by other authorized documents.

The use of trade names or manufacturers' names in this report does not constituteindorsement of any commercial product.

Page 3: ARMY RESEARcH LABORATORY ORGANIZATION NAME(S) AND ADDRESS(ES) 8. PERFORMING ORGANIZATION REPORT NUMBER U.S. Army Research Laboratory ATTN: AMSRL-Cl-S Aberdeen Proving Ground, MD 21005-5067

Form Approved

REPORT DOCUMENTATION PAGE oMF No Appro0ed

PubIli reporting burden for this colilecton of Informat• o ior estimated to average I hour Per respor.se. ncluding the time tot re,.ewmg Instructlons. searcnng existing data sources.gathering and maintaining the data needed, and comopeting and rev e-mig the coile"tion of iniormation Send comments regarding thiS burden estimate or ary other asoect of thiscollection of Informaton, including suggestion% for reducing this burden to Washington Headduarzers Serces. Directorate for information ODe'atO8irs and Reciorts. 12WS JeffersonOavls Highway. Suite 1204. Arlington, VA 22202-4302. and to the office of Management and Budget, Paaervor Reduction Project (0 704.0158) Washington DC 20S03

1. AGENCY USE ONLY (Leave blank) 2. REPORT DATE 13. REPORT TYPE AND DATES COVEREDFebruary 1994 Final, Oct 92 - May 93

4. TITLE AND SUBTITLE S. FUNDING NUMBERS

Remarks on a Result of L.A.V. Carvalho 4B592-321-13-3013

6. AUTHOR(S)

N. P. Bhafia and W. 0. Egerland

7. PERFORMING ORGANIZATION NAME(S) AND ADDRESS(ES) 8. PERFORMING ORGANIZATION

REPORT NUMBER

U.S. Army Research LaboratoryATTN: AMSRL-Cl-SAberdeen Proving Ground, MD 21005-5067

9. SPONSORING/ MONITORING AGENCY NAME(S) AND ADDRESS(ES) 10. SPONSORING / MONITORINGAGENCY REPORT NUMBER

U.S. Army Research LaboratoryATTN: AMSRL-OP-CI-B (Tech Lib) ARL-TR-351Aberdeen Proving Ground, MD 21005-5066

11. SUPPLEMENTARY NOTESThe first author is Professor of Mathematics at the University of Maryland, Baltimore County. His collaboradjon with thesecond author spans a period of 10 years. The Point of Contact for this report is Malcolm Taylor, U.S. Army ResearchLaboratory, ATT'N: AMSRL-CI-S, Aberdeen Proving Ground, MD 21005-5067.

12a. DISTRIBUTION tAVAILABILITY STATEMENT 12b. DISTRIBUTION CODE

Approved for public release; distribution is unlimited.

13. ABSTRACT (Maximum 200 words)

The report comments on two papers in the Journal of Mathematical Analysis and Applications and contains two newpropositions that supplement results that were previously published by the authors in BRL-TR-2702, BRL-TR-2762, andARO-Report 87-01. The note was submitted for publication in the Journal of Mathematical Analysis and Applications andis presently under review.

14. SUBJECT TERMS 15. NUMBER OF PAGES

periodic orbits, periodic loops, infinite loops, Sarkovskii's Theorem, periodic functions, 9

loops 16. PRICE CODE

17. SECURITY CLASSIFICATION 18. SECURITY CLASSIFICATION 19. SECURITY CLASSIFICATION 20. LIMITATION OF ABSTRACTOF REPORT OF THIS PAGE OF ABSTRACTUNCLASSIFIED UNCLASSIFIED UNCLASSIFIED UL

NSN 7540-01-280-5500 Standard Form 298 (Rev 2-89)Prescribed by ANSI Std Z39-18298-102

Page 4: ARMY RESEARcH LABORATORY ORGANIZATION NAME(S) AND ADDRESS(ES) 8. PERFORMING ORGANIZATION REPORT NUMBER U.S. Army Research Laboratory ATTN: AMSRL-Cl-S Aberdeen Proving Ground, MD 21005-5067

INTENTIONALLY LEFT BLANK.

ii

Page 5: ARMY RESEARcH LABORATORY ORGANIZATION NAME(S) AND ADDRESS(ES) 8. PERFORMING ORGANIZATION REPORT NUMBER U.S. Army Research Laboratory ATTN: AMSRL-Cl-S Aberdeen Proving Ground, MD 21005-5067

Preface.

The note "Remarks on a Result of L. A. V. Carvalho" was submitted forpublication in the Journal of Mathematical Analysis and Applications and ispresently under review. It is published here since the new Proposition A andB supplement results that appeared in the Technical Reports BRL-TR-2702,BRL-TR-2762, and in ARO-Report 87-1.We began to collaborate under the US Army Summer Faculty Research andEngineering Program in 1983. At that time "Chaos" was in its first bloomand we knew very little about it. We decided ab ovo to find out what hadbeen proved in the case of a continuous function of one real variable and, moreimportantly, to analyze the proof techniques that were used under the mereassumption of continuity. Beyond this "narrow focus" no program was es-tablished. The usual long preliminary process of getting to the essential corein a new subject was considerably shortened by Targonski's Studia Math-ematica Skript 6 Topics in Iteration Theory. The book had been acquiredby the BRL-Library at the recommendation of the BRL-mathematician R.E. Shear. After we had completed the "required reading" we noticed thatcertain proofs by contradiction could be replaced by constructive proofs. Inparticular, reasoning with predecessors, especially of fixed points, became aviable proof strategy. In time and in the context of periodic loops and ele-mentary periodic orbits the notions of L(oo) and E(oo) as infinite preorbitswere formalized and found their "rightful" places in the Sarkovskii ordering,places, where previously had been only "etc. dots". These and other resultswere presented at Army Conferences in 1984 (Rensselaer), 1986 (Cornell),1987 (West Point), 1988 (Colorado), 1991 (ARO-Durham) and informallydiscussed at other scientific meetings (Marseille-Luminy (1989), College Park(1991)).We wish to thank Messrs. H. L. Reed, S. S. Wolff and A. B. Cooper fortheir support of our endeavors in the "early years" and Messrs. W. H. Mer-magen and M. A. Hirschberg for their sponsorship in the "later years". Wealso take this opportunity to thank Messrs. Mermagen and Hirschberg fortheir patience during the writing of our paper "New Proof and Extension ofSarkovskii's Theorem" which went through a time-consuming monotone se-quence of improvements in an attempt to achieve a "best possible" measureof lucidity.

1 June 1993 N. P. BhatiaW. 0. Egerland

ni.,

Page 6: ARMY RESEARcH LABORATORY ORGANIZATION NAME(S) AND ADDRESS(ES) 8. PERFORMING ORGANIZATION REPORT NUMBER U.S. Army Research Laboratory ATTN: AMSRL-Cl-S Aberdeen Proving Ground, MD 21005-5067

INTUMTONALLY LEFT BLANK.

iv

Page 7: ARMY RESEARcH LABORATORY ORGANIZATION NAME(S) AND ADDRESS(ES) 8. PERFORMING ORGANIZATION REPORT NUMBER U.S. Army Research Laboratory ATTN: AMSRL-Cl-S Aberdeen Proving Ground, MD 21005-5067

TABLE OF CONTENTS

Page

P R E FA C E ........................................................................................... iii

N O T E ...................................................................................................

,Aosstiou For

Ujvmoucoed 0Jw It L-at la---.--

Dlit Spec "al

--" •• i| | || 1 | I

Page 8: ARMY RESEARcH LABORATORY ORGANIZATION NAME(S) AND ADDRESS(ES) 8. PERFORMING ORGANIZATION REPORT NUMBER U.S. Army Research Laboratory ATTN: AMSRL-Cl-S Aberdeen Proving Ground, MD 21005-5067

INTENTIONALLY LEFT BLANK.

vi

Page 9: ARMY RESEARcH LABORATORY ORGANIZATION NAME(S) AND ADDRESS(ES) 8. PERFORMING ORGANIZATION REPORT NUMBER U.S. Army Research Laboratory ATTN: AMSRL-Cl-S Aberdeen Proving Ground, MD 21005-5067

Note

Remarks on a Result of L. A. V. Carvalho

N. P. BHATIA

University of Maryland, Catonsville, MD 21228

AND

W. O. EGERLAND

U. S. Army Research Laboratory, Aberdeen, MD 21005

In [1] Carvalho introduced the notion of a periodic n-step orbit for acontinuous function f : R? - R. By definition, f has a periodic n-step orbit(X0 , X1 ,',x,.'i-) if x, = x0< < X1 < < X,-1, where Xk+1 = f(xk), k =0, 1,... , n - 1. He proves that if f has a periodic n-step orbit, then f hasa periodic (n - 1)-step orbit. Invernizzi obtains the same result in a recentnote [2] via Miranda's theorem of 1940.

We wish to point out : (a) Periodic n-step orbits were already intro-duced under the name of n-periodic loops in [3]; (b) If f has an (n + 1)-periodic loop and n > 3, then f has two distinct n-periodic loops as shownin [3; Corollary 5.3]; (c) Carvalho's extension of Sarkovskii's order is onlyone of many corollaries to Theorem (SR), the principal result of [3]. Moreimportantly, we introduced in [3] the notion of an infinite loop. By defini-tion, f has an infinite loop if there exists x0 E R with an infinite preorbit(Xo, X-1,. . ,x-,,...) satisfying x0 < ... < x_, < x-(n,-) < ." < X- 2 < X-1

or x0 > .. > _- > ... > x- 2 > x-1 , where f(x_,) = X_(,-_).It follows then [3; Theorem 5.4] that if f has an infinite loop, then f hasn-periodic loops of all orders in at least two distinct copies for each n > 3.Furthermore, the notion of an infinite loop, as already shown in [3], is equiv-alent with the notion of turbulence introduced by Block and Coppel in [4],following a suggestion of Lasota and Yorke.

We conclude this note by proving two propositions. Proposition A givesa proof that an (n + 1)-periodic loop implies the existence of two distinctn-periodic loops if n > 3. This proof is different from the previous proof

Page 10: ARMY RESEARcH LABORATORY ORGANIZATION NAME(S) AND ADDRESS(ES) 8. PERFORMING ORGANIZATION REPORT NUMBER U.S. Army Research Laboratory ATTN: AMSRL-Cl-S Aberdeen Proving Ground, MD 21005-5067

[3; Corollary 5.3]. Proposition B states a four-point inequality that ensuresthe existence of an infinite loop and hence two distinct n-periodic loops foreach n > 3.

Proposition A. Let f : R --* R be continuous. If f has an (n + 1)-periodicloop, n > 3, then f has two distinct n-periodic loops.

Proof. For the proof we state first a lemma.Lemma F. Let f : R -- R be continuous and L1 , L2 ... , L, compact inter-vals such that

f(Li) D Li+,, i=1,2,...,n- 1

andf(L,) D L1 .

If Li fn Lj, i 3 j. is either empty or a singleton, then there is a point xo E L1with xi E Li+,, i = 1,2,... ,n - 1, and xo = x,. Such an xo has period n ifn is odd and period n or if n is even, but the period 1L is possible only if

22xi E Lj+j n L(!i+i+l), i = 0, 1, 2,..., 2 - 1.

Lemma F is proved in [5]. The proof of Proposition .,A. then follows for anyn > 3 from the construction exhibited in the following Fig. I for the specialcase n = 4, where xo, x 1 , X2 , x3 and x4 are the points of a 5-periodic loop, cois a fixed point, and c- 1 ,c- 2, and c-3 are predecessors of co.

L1L2 L3 L4

X5 XO C- 3 1 C-2M1 M2 M 3 M 4

Fig. 1. Any 5-periodic loop implies two 4-periodic loops.

The intervals L1 = [C- 3 , x1], L2 = [c- 2, x2], L3 = [c-1 , x3], L 4 = [co, x4],and M1 = [xI,c- 2], M2 = [x2, c- 1], M3 = [x3, c0], M 4 = [cO, x4] ensure theexistence of two distinct 4-periodic loops by Lemma F.Remark. Carvalho [1] and Invernizzi [2] prove only the existence of the 4-periodic loop defined by the L-intervals. We observe that the 4-periodic loopdefined by the M-intervals does not have a 4-periodic point in the interval

2

Page 11: ARMY RESEARcH LABORATORY ORGANIZATION NAME(S) AND ADDRESS(ES) 8. PERFORMING ORGANIZATION REPORT NUMBER U.S. Army Research Laboratory ATTN: AMSRL-Cl-S Aberdeen Proving Ground, MD 21005-5067

Proposition B. Let f : R --+ R be continuous. If

Xn+1 < Xn < XO < Xi

for some n > 2, then L(oc) holds, i.e.. f has an infinite loop.

Proof. The proof is based on Lemma 4.1 in [3] which states that if co isa fixed point of f with predecessors c- 1, c- 2 satisfying co< c-2 < c-1, thenL(oo) holds. We shall construct a six-point inequality that contains the as-sumptions of Lemma 4.1. We observe first that there is a fixed point co off satisfying x,, < co < x0, and we may clearly choose it so that the inter-val (co,xo] contains no other fixed points of f. Hence f(x) > x for eachx E (co, x0]. We note next that there is a successor Xk of xo. 1 < k < n - 1,such that zk+i < CO < xo < Xk. This inequality implies the existence ofanother fixed point do satisfying xo < do < xk, and we may assume thatf(x) < x in the interval (do, Xk]. Our final observation is that there must bean xj, 0 < 1 < k - 1, such that Xo < x, < do, x1+1 > Xk. This completes theconstruction

Xk+1 < CO < x1 < do < xk < X1+1,

which guarantees predecessors c- 1 and c- 2 in the intervals (do. Xk) and (xa, d0 ),respectively, with co < c- 2 < c-1 . Hence, by Lemma 4.1. L(oc) holds andthe proof is complete.

3

Page 12: ARMY RESEARcH LABORATORY ORGANIZATION NAME(S) AND ADDRESS(ES) 8. PERFORMING ORGANIZATION REPORT NUMBER U.S. Army Research Laboratory ATTN: AMSRL-Cl-S Aberdeen Proving Ground, MD 21005-5067

INTENTIONALLY LEFT BLANK.

Page 13: ARMY RESEARcH LABORATORY ORGANIZATION NAME(S) AND ADDRESS(ES) 8. PERFORMING ORGANIZATION REPORT NUMBER U.S. Army Research Laboratory ATTN: AMSRL-Cl-S Aberdeen Proving Ground, MD 21005-5067

REFERENCES

1. L. A. V. CARVALHO, On an Extension of Sarkovskii's Order, J. Math.Anal. Appl.138 (1989), 52-58.2. S. INVERNIZZI, On a Result by Carvalho Concerning Sarkovskii's Order,J. Math. Anal. Appl.168, Note, (1992), 284-285.3. N. P. BHATIA AND W. 0. EGERLAND, A Refinement of Sarkovskii'sTheorem, Proc. Amer. Math. Soc.102(1988), 965-972.4. L. S. BLOCK AND W. A. COPPEL, Stratification of Continuous Mapsof an Interval, Trans. Amer. Math. Soc.297(1986), 587-604.5, N. P. BHATIA AND W. 0. EGERLAND, New Proof and Extension ofSarkovskii's Theorem, to appear.

5

Page 14: ARMY RESEARcH LABORATORY ORGANIZATION NAME(S) AND ADDRESS(ES) 8. PERFORMING ORGANIZATION REPORT NUMBER U.S. Army Research Laboratory ATTN: AMSRL-Cl-S Aberdeen Proving Ground, MD 21005-5067

INTENTIONALLY LEFr BLANK.

Page 15: ARMY RESEARcH LABORATORY ORGANIZATION NAME(S) AND ADDRESS(ES) 8. PERFORMING ORGANIZATION REPORT NUMBER U.S. Army Research Laboratory ATTN: AMSRL-Cl-S Aberdeen Proving Ground, MD 21005-5067

No. of No. ofQoois Oraizto Cg~ies Organization

2 Administrator 1 CommanderDefense Technical Info Center U.S. Army Missile CommandATTN: DTIC-DDA ATTN: AMSMI-RD-CS-R (DOC)Cameron Station Redstone Arsenal, AL 35898-5010Alexandria, VA 22304-6145

1 CommanderCommander U.S. Army Tank-Automotive CommandU.S. Army Materiel Command ATTN: AMSTA-JSK (Armor Eng. Br.)ATTN: AMCAM Warren, MI 48397-50005001 Eisenhower Ave.Alexandria, VA 22333-0001 Director

U.S. Army TRADOC Analysis CommandDirector ATTN: ATRC-WSRU.S. Army Research Laboratory White Sands Missile Range, NM 88002-5502ATI'N: AMSRL-OP-CI-AD,

Tech Publishing (P- ony) I Commandant2800 Powder Mill Rd. U.S. Army Infantry SchoolAdelphi, MD 20783-1145 AITN: ATSH-CD (Security Mgr.)

Fort Benning, GA 31905-5660DirectorU.S. Army Research Laboratory (u,,a- ,awy)I CommandantATTN: AMSRL-OP-CI-AD, U.S. Army Infantry School

Records Management ATTN: ATSH-WCB-O2800 Powder Mill Rd. Fort Benning, GA 31905-5000Adelphi, MD 20783-1145

1 WL/MNOI2 Commander Eglin AFB, FL 32542-5000

U.S. Army Armament Research,Development, and Engineering Center Aberdeen Provina Ground

ATTN: SMCAR-TDCPicatinny Arsenal, NJ 07806-5000 2 Dir, USAMSAA

ATITN: AMXSY-DDirector AMXSY-MP, H. CohenBenet Weapons LaboratoryU.S. Army Armament Research, I Cdr, USATECOM

Development, and Engineering Center ATIN: AMSTE-TCATTN: SMCAR-CCB-TLWatervliet, NY 12189-4050 1 Dir, USAERDEC

AT'IN: SCBRD-RTDirectorU.S. Army Advanced Systems Research I Cdr, USACBDCOM

and Analysis Office (ATCOM) ATTN: AMSCB-CIIATTN: AMSAT-R-NR, M/S 219-1Ames Research Center 1 Dir, USARLMoffett Field, CA 94035-1000 ATTN: AMSRL-SL-I

5 Dir, USARLATTN: AMSRL-OP-CI-B (Tech Lib)

7

Page 16: ARMY RESEARcH LABORATORY ORGANIZATION NAME(S) AND ADDRESS(ES) 8. PERFORMING ORGANIZATION REPORT NUMBER U.S. Army Research Laboratory ATTN: AMSRL-Cl-S Aberdeen Proving Ground, MD 21005-5067

No. ofCopies Oanzto

U.S. Military AcademyDepartment of MathematicsATTN: CPT Philip BeaverWest Point, NY 10966

DirectorU.S. Army Research LaboratoryATTN: AMSRL-SS-M, Dr. J. P. Sattler2800 Powder Mill RoadAdelphi, MD 20783-1145

Aberdeen Provine Ground

7 Dir, USARLATTN: AMSRL-SL-BV, Edwin Davisson

AMSRL-WT-WE, Mary FieldsAMSRL-CI, William MennagenAMSRL-CI-CB,

Morton HirschbergRichard Kaste

AMSRL-CI-SC, Charles HansenAMSRL-CI-S, Malcolm Taylor

8

Page 17: ARMY RESEARcH LABORATORY ORGANIZATION NAME(S) AND ADDRESS(ES) 8. PERFORMING ORGANIZATION REPORT NUMBER U.S. Army Research Laboratory ATTN: AMSRL-Cl-S Aberdeen Proving Ground, MD 21005-5067

USER EVALUATION SHEET/CHANGE OF ADDRESS

This Laboratory undertakes a continuing effort to improve the quality of the reports it publishes. Yourcomments/answers to the items/questions below will aid us in our efforts.

1. ARL Report Number ARL-TR-351 Date of Report February 1994

2. Date Report Received

3. Does this report satisfy a need? (Comment on purpose, related project, or other area of interest for

which the report will be used.)

4. Specifically, how is the report being used? (Information source, design data, procedure, source of

ideas, etc.)

5. Has the information in this report led to any quantitative savings as far as man-hours or dollars saved,

operating costs avoided, or efficiencies achieved, etc? If so, please elaborate.

6. General Comments. What do you think should be changed to improve future reports? (Indicatechanges to organization, technical content, format, etc.)

Organization

CURRENT NameADDRESS

Street or P.O. Box No.

City, State, Zip Code

7. If indicating a Change of Address or Address Correction, please provide the Current or Correct addressabove and the Old or Incorrect address below.

Organization

OLD NameADDRESS

Street or P.O. Box No.

City, State, Zip Code

(Remove this sheet, fold as indicated, tape closed, and mail.)(DO NOT STAPLE)