<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">TEL</journal-id><journal-title-group><journal-title>Theoretical Economics Letters</journal-title></journal-title-group><issn pub-type="epub">2162-2078</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/tel.2012.21015</article-id><article-id pub-id-type="publisher-id">TEL-17374</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Business&amp;Economics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Weak and Strong Time Consistency
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>omar</surname><given-names>Correa</given-names></name><xref ref-type="aff" rid="aff1"><sub>1</sub></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib></contrib-group><aff id="aff1"><label>1</label><addr-line>Department of Economics, University of Mumbai, Mumbai, India</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>romarcorrea10@gmail.com</email></corresp></author-notes><pub-date pub-type="epub"><day>23</day><month>02</month><year>2012</year></pub-date><volume>02</volume><issue>01</issue><fpage>79</fpage><lpage>82</lpage><history><date date-type="received"><day>October</day>	<month>21,</month>	<year>2011</year></date><date date-type="rev-recd"><day>November</day>	<month>20,</month>	<year>2011</year>	</date><date date-type="accepted"><day>November</day>	<month>30,</month>	<year>2011</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  We motivate and provide proofs of Ba?ar and Olsder’s (1995) theorems on the subject. The context is the increasing appreciation that the neoclassical framework is not the only model of the economy.
 
</p></abstract><kwd-group><kwd>Information Sets; Discretion</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>The longstanding critique of the Dynamic Stochastic General Equilibrium (DSGE) model has gained widespread publicity as a consequence of the recent financialreal meltdown [<xref ref-type="bibr" rid="scirp.17374-ref1">1</xref>]. Of interest to us are an assumption and a theorem. The assumption of rational expectations is that agents access all available information. DSGE theorems leave no room for inefficient outcomes. Some of the profession’s most respected scholars at the Hearings referred to drew attention to the weight of evidence suggesting that the choice of information sets by people is a nontrivial matter. Secondly, an outcome might be a Keynes equilibrium like involuntary unemployment. A suite of orientations is available to incorporate these insights [2,3].</p><p>A corollary of DSGE results is the time inconsistency of optimal policy. A game is played by the monetary authorities (MA) and the private sector. A Nash equilibrium in the inflation rate will exist in the present. However, in any following period, the MA has an incentive to generate a higher rate of inflation in order to stimulate activity. The gain is short term. In the long run, the economy will tend to the natural rate of unemployment with the higher rate of inflation. Consequently, the task is to remove discretion from the MA and subject monetary policy committees to rules.</p><p>Although the language of differential games is used, the nuance of the title of the paper will not be found in the economics literature. We exploit the distinction to show, under specified conditions, that discretion is not inferior to rules.</p></sec><sec id="s2"><title>2. The Result</title><p>The following account is drawn from [<xref ref-type="bibr" rid="scirp.17374-ref4">4</xref>]. The loop model of dynamic games allows for two possible equilibrium solutions. In the prior commitment mode of play, decisions are made at the outset. Feedback games, on the other hand, are of the delayed commitment type. Each player waits to find out the current value of the state vector and then announces her action. Time inconsistency might be expected in prior commitment decisions. In the absence of devices that tie the players’ hands in advance, there is an incentive for any one to recompute her strategy in each period based on the information that is forthcoming. In the macroeconomic illustrations, the payoff to the government (leader) by “cheating” thereby increases and the payoffs to members of the private sector (follower) fall. In what follows, therefore, we confine ourselves to the Feedback Nash Equilibrium (FNE) Solution.</p><p>Definition 1. A two-person discrete-time deterministic infinite dynamic game of fixed duration involves:</p><p>1) An index set <img src="15-1500058\900108fc-265c-4b2f-b933-a543cc7a323c.jpg" /> denoting the stages of the game.</p><p>2) An infinite set X with some topological structure called the state space of the game to which the state of the game x<sub>k </sub>belongs for all<img src="15-1500058\1bc42375-af5a-4aa1-a442-94d348732fab.jpg" />.</p><p>3) An infinite set <img src="15-1500058\cdd7cf82-4be1-4855-8da3-7e3f4acbe457.jpg" /> with some topological structure defined for each <img src="15-1500058\a906495e-7add-4a97-b73c-9913c6ec13ef.jpg" /> and player i called the action set of Pi at stage k. Its elements are permissible actions <img src="15-1500058\cd60f92d-a08c-4080-93b5-71ffa89a986c.jpg" /> of Pi at stage k.</p><p>4) A function <img src="15-1500058\45c21840-2e16-4d0c-a5a9-b718342c250f.jpg" /> defined for each</p><p><img src="15-1500058\284c97af-5b4e-44d6-85f7-bf10440e3d04.jpg" />, so that <img src="15-1500058\8c8d4f0c-0399-449c-a1eb-561c988801fa.jpg" /> for some</p><p><img src="15-1500058\6a035f07-0cfc-40ea-9f87-b24a00a5b129.jpg" />called the initial state of the game. The difference equation above is called the state equation of the dynamic game.</p><p>5) A finite set <img src="15-1500058\b317e9a9-ae0e-4bd7-b069-01b9a7da526b.jpg" /> defined for each <img src="15-1500058\99448e3b-c6a0-4b09-8364-c8e91b87a85c.jpg" /> and player i as a subcollection of</p><p><img src="15-1500058\0f3002dd-a12e-430b-ad1c-9390c31ce74a.jpg" /></p><p>which determines the information gained and recalled by Pi at stage k. Specification of <img src="15-1500058\cdc07cd0-1a6b-41c7-b184-63b48185f9bf.jpg" /> for all stages k characterizes the information structure of Pi and the collection over both players of their information structures is the information structure of the game.</p><p>6) A set <img src="15-1500058\b8719cc9-de67-4118-b019-998e967f1636.jpg" /> defined for each <img src="15-1500058\f252f7c1-ab2e-4991-993a-3b9200568dd7.jpg" /> and player i as an appropriate subset of</p><p><img src="15-1500058\592233bb-1ec1-41d6-bdc3-3b265b103ece.jpg" /></p><p>compatible with <img src="15-1500058\405aa462-50e7-4ae3-bc68-038cf8c25b6b.jpg" /> is called the information space of Pi at stage k.</p><p>7) A prespecified class <img src="15-1500058\888f8934-bf3c-4ac0-a187-59f0fc2e8131.jpg" /> of mappings <img src="15-1500058\97970fb2-bd6b-4c8d-9327-812b2c5ccbbd.jpg" /> which are the permissible strategies of Pi at stage k. The aggregate mapping <img src="15-1500058\a79d2d68-1629-442f-b793-e7f062933495.jpg" /> is a strategy for Pi in the game and the class G<sup>i</sup> of all such mappings g<sup>i</sup> so that <img src="15-1500058\b479eff1-81d7-4b17-bf6f-b66b9edab4a7.jpg" /> <img src="15-1500058\138bcffe-9e88-462f-a15d-136fc084f27d.jpg" />, is the strategy space of Pi.</p><p>8) A functional</p><p><img src="15-1500058\84782e10-e049-48f4-9615-fd0661437ab8.jpg" /></p><p>defined for each player i called the cost functional of Pi. The cost functional is said to be stage-additive if there exist<img src="15-1500058\10a45692-5c09-4ec1-8d95-673a9c3e144e.jpg" />, (<img src="15-1500058\52cab6e5-33c4-41cc-ad8e-9db7e68c6aee.jpg" />), so that</p><p><img src="15-1500058\6456ab0d-8e58-4f38-a7fc-a1402bcd119c.jpg" /></p><p>where&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160; <img src="15-1500058\67bd1e71-3b95-4995-8134-511dd7dc359c.jpg" /></p><p>The information structures of relevance are as follows:</p><p>Definition 2. Pi’s information structure is said to be open-loop (OL) if <img src="15-1500058\a9d87065-5b00-4806-b37a-129d581f1c2b.jpg" /></p><p>closed-loop perfect state (CLPS) if</p><p><img src="15-1500058\287f310e-ab48-4b0f-9e73-6ccca0d6a858.jpg" /></p><p>memoryless perfect state (MPS) if</p><p><img src="15-1500058\74b22fed-16ee-4621-9820-d49072cd60f6.jpg" /></p><p>feedback perfect state (FB) if <img src="15-1500058\224ad95e-fc07-470d-adba-04daa6677f37.jpg" /></p><p>An important distinction, for our purposes, rests between the CLPS and MPS structures, on the one hand, and the FB on the other. Rational expectations is consistent with the former. History matters. If, on the other hand, agents suffer from memory loss or choose not to access past data because of cognitive or out-of-pocket costs, the latter prevails. In the buildup to the present recession, for instance, people seem to have forgotten previous recessions and history given by the complete cycle.</p><p>The Noncooperative (Nash) Equilibrium Solution is given by Definition 3. A pair of strategies <img src="15-1500058\f1d55c64-6808-4df6-b526-8cb3d7312e97.jpg" /> with</p><p><img src="15-1500058\080e0e7c-360b-4b43-b802-f0470b0dddb0.jpg" />is said to constitute a Nash Equilibrium Solution if, and only if, the following inequalities are satisfied for all <img src="15-1500058\df181052-fe61-4d8c-bc35-507e077c9c32.jpg" /></p><p><img src="15-1500058\b2edf3ed-1766-41a5-8712-a21c004a9b7c.jpg" /></p><p><img src="15-1500058\a08b1f8c-6624-417b-b4f5-f3dd2fda1503.jpg" /></p><p>In the next section we restrict our attention to feedback games where at the time of her act each player has perfect information concerning the current level of play. In that case, the set of inequalities above is rewritten as Definition 4. A pair of strategies <img src="15-1500058\778a224f-e4e2-4401-970c-6b8baa67c0b4.jpg" /> constitutes a Feedback Nash Equilibrium Solution if it satisfies the following inequalities for all <img src="15-1500058\8696cc24-184f-4972-9cf7-8b8d44cff66a.jpg" /><img src="15-1500058\e3bc9d11-6468-4bc1-8db3-a45d16ffd725.jpg" /></p><p><img src="15-1500058\6cc1c96f-ca46-4d97-a4e7-caa0dc7d9d1d.jpg" /></p><p>On any pair of Nash equilibrium strategies that satisfies the above inequalities, impose the further restriction that it satisfies the following K inequalities:</p><p>At stage K&#160;&#160;&#160;&#160;&#160;&#160;&#160; <img src="15-1500058\f7931260-1bd7-473f-af93-8b39ccaa2e3d.jpg" /></p><p>At stage K – 1&#160;&#160;&#160;&#160; <img src="15-1500058\9e941547-6aa8-40ef-9595-9eb984fd64ef.jpg" /></p><p>At stage 1&#160;&#160;&#160;&#160;&#160;&#160;&#160; <img src="15-1500058\558845a5-e852-4905-87c9-8d09c40edfc6.jpg" /></p><p>For appreciating the notion of time consistency, the following notation and definitions are required. Following Başar and Jan Olsder, we abuse notation by using the denoting the discrete time period by the continuous time period. Thus, <img src="15-1500058\6f573bca-8fe6-4695-872e-441bb2679545.jpg" />Let</p><p><img src="15-1500058\9b37143f-0a21-4ad2-940e-3ca1608aa802.jpg" /></p><p>denote a two-person dynamic game where Г is the product strategy space, <img src="15-1500058\a00bbf29-cfb1-4f57-94a8-6b7155e4e207.jpg" />is the decision interval and N stands for the Nash solution concept. Also, let</p><p><img src="15-1500058\77504072-074a-4482-9502-e92cc3474319.jpg" /></p><p>denote the truncations of <img src="15-1500058\841f6084-05d0-47f8-bbdd-eadd5ebb7d2f.jpg" /> and <img src="15-1500058\733cf09e-d2b8-4d0d-adc6-63a45ef722ee.jpg" /> respectively, to the time period <img src="15-1500058\aab4fbdc-ea9a-49d2-b7dd-d034b4831807.jpg" /> and let</p><p><img src="15-1500058\a994ed00-3684-4e7b-9658-8546599b3ee5.jpg" /></p><p>denote a version of <img src="15-1500058\c02b1c74-7fa4-4ca0-9e9c-5c1d6c1914c0.jpg" /> where the strategies of both players i in the intervals <img src="15-1500058\6b075f84-4215-4c8a-a284-284eab46d78e.jpg" /> and <img src="15-1500058\d5cc0944-24a9-44b1-832f-9f979a5b126a.jpg" /> are fixed as <img src="15-1500058\5faee314-af41-47b6-9835-963a3512ca3a.jpg" /> In that case, we have Definition 5. A pair of strategies <img src="15-1500058\de1aed23-80fd-4678-834c-31e6fc5e018f.jpg" /> solving the dynamic game <img src="15-1500058\c6c0c166-41f9-4008-ad0a-d1f75fec1270.jpg" /> is said to be weakly time consistent (WTC) if its truncation to the interval <img src="15-1500058\5590c34d-97c5-4a44-9515-29f13f7bafd8.jpg" /> is the solution of the truncated game <img src="15-1500058\dfe81fa0-54cf-4810-8b0f-47fb788c614c.jpg" /> for all <img src="15-1500058\1e68e75f-a16d-457a-b1d3-b428a6beb11a.jpg" /> If a solution <img src="15-1500058\ef169c0d-062c-486f-baee-3f9bd0f4f252.jpg" /> is not WTC, it is time inconsistent.</p><p>Definition 6. A pair of strategies <img src="15-1500058\ec2c708d-8f05-479e-bef5-9b76bd364315.jpg" /> solving the dynamic game <img src="15-1500058\b2ac4d58-67fd-4b8c-9a47-99c93e999def.jpg" />is said to be strongly time consistent (STC) if its truncation to the <img src="15-1500058\14366059-ad25-4f1a-b0d5-ef61efec6170.jpg" /> is the solution of the truncated game <img src="15-1500058\a129a97b-82ca-4b2a-ba8d-dd3fe39fc77d.jpg" /> for every</p><p><img src="15-1500058\7f8866e4-6dc6-49e7-81cd-bb3908205a4b.jpg" />this being so for every <img src="15-1500058\08a9e2cc-0fa2-4a2e-817d-108010297861.jpg" /></p><p>In the case of Definition 5 there is no basis at k for cheating at future stages only if the past actions are consistent with the original solution, whereas in the instance of Definition 6, this is true even if there have been deviations in the past from the actions dictated by the optimal strategy.</p><p>Definition 7. A strategy <img src="15-1500058\e15270c8-4817-4211-bf2d-8fa61c1d5140.jpg" /> is said to be a representation of another strategy <img src="15-1500058\93d81e82-7ecb-4fbf-bd71-4446c200fca9.jpg" /> if 1) they both generate the same unique state trajectory and 2) they both have the same open-loop value on this trajectory.</p><p>The importance of the notion of representations is that it enables the construction of equivalence classes of equal open-loop value strategies in the general class of closedloop strategies. The procedure is as follows. For the system defined in Definition 1, first determine the set of all elements of Г which are strategies that depend only on the initial state x<sub>1</sub>. The set thus constructed is the class of permissible open-loop controls in Г. Now let</p><p><img src="15-1500058\b558718c-e3b6-4503-9db6-b7e21066c93f.jpg" /></p><p>be an element of the set of open-loop controls which generates by substitution into the state equation of Definition 1, a unique trajectory <img src="15-1500058\e361f538-01a4-4ab3-826a-91710a65fb32.jpg" /> Then, consider all elements <img src="15-1500058\bdb52bfe-dd84-43b5-9d5e-6d54a491347f.jpg" /> of Г with the properties 1) γ generates the same trajectory as <img src="15-1500058\35e9dea8-7112-44fc-ab54-6ad4a6630e99.jpg" /> and 2) <img src="15-1500058\b4df5c3d-beab-4a27-8519-73a4b0b8039b.jpg" /></p><p>If this procedure is repeated for every element of the set of open-loop controls, the construction of all equivalence classes of Г becomes complete. In our terms, outcome space is dense with macroeconomic configurations. The DSGE class is one. The analyst is free to choose from a multiplicity of models.</p><p>The basic proposition is as follows:</p><p>Theorem 1) The FNE Solution under the CLPS or MPS information pattern is strongly time consistent.</p><p>2) The FNE Solution under the FB information pattern is weakly time inconsistent.</p><p>Proof. 1) Consider a FNE solution <img src="15-1500058\41057564-b5b8-4ed3-81da-11bb06b425a4.jpg" /> till stage k. Note that the star is only used for notational brevity and does not rule out the possibility of different equilibria for subgames preceding stage k. At that stage, P1, say, decides to renege on this solution. It must be the case that for some strategy <img src="15-1500058\42539e82-3dcc-424c-bb9e-051162e8d4ff.jpg" /></p><p><img src="15-1500058\c4e637d5-2f4c-4ec2-b852-8cade85a0c35.jpg" /></p><p>The defection under CLPS or MPS implies entry into an information equivalence class where</p><p><img src="15-1500058\fe4093b9-c27f-482a-b1cd-664f62cc52b7.jpg" /></p><p>Accordingly, the evolution of the state till stage k is given by <img src="15-1500058\1a7ab77a-8c75-4bd8-b287-5938f02c4677.jpg" /> It turns out, therefore, that for agent P1, either</p><p><img src="15-1500058\2cb1d631-5086-455c-b84e-bfc2790077ab.jpg" /></p><p>or</p><p><img src="15-1500058\aede4ad5-6537-4b90-ac71-e5cb84940d2a.jpg" /></p><p>If the first inequality holds, the assumption that the agents were parties to the FNE solution under the CLPS or MPS information pattern is violated. If the second inequality is valid, the assumption of the deviation from the FNE solution does not hold.</p><p>2) On the other hand, suppose the players were operating under the FB information pattern. At stage k, the players decide to recommit. Their inducement to do so must be</p><p><img src="15-1500058\b5d8b89a-b5e8-4e2e-a81b-92b86533687d.jpg" /></p><p>and</p><p><img src="15-1500058\e4dc015e-d778-4e97-958d-ff3341cc29e7.jpg" /></p><p>where <img src="15-1500058\35cdaeb3-091c-489f-95e4-d5677df7ea95.jpg" /> is the feedback strategy under the FB information pattern. Their actions determine a new initial condition for the game <img src="15-1500058\f23041bf-9fd2-494d-b380-291b8e84cd0e.jpg" /> We can design the set of strategies which only depend on this new initial state and the time periods that follow. This would be the class of open-loop controls. An element would be</p><p><img src="15-1500058\78bd0d0d-807a-4a73-b14c-dfe13c76c68f.jpg" />which generates by substitution into the state evolution equation a unique trajectory <img src="15-1500058\bd9262d1-87a5-4e0f-a249-500639e2a609.jpg" /> We can proceed to construct an equivalence class of representations all of which have the same value <img src="15-1500058\0e3bfee0-5ef8-464b-90f9-1df196912dd8.jpg" /></p></sec><sec id="s3"><title>3. Conclusions</title><p>If agents access all the information they can command and the economy is described by a dynamic general equilibrium model, there is no incentive for any player to ‘cheat’ on the equilibrium. The DSGE model applies. On the other hand, if, under the same information conditions, the economy is characterized by a Keynesian model, agents will be locked into a “bad” equilibrium. Only a regime change will transfer the system into a superior equivalence class of solutions.</p><p>If, for reasons like myopia, agents are bound by the information provided in the present and the solution of the state equation of the game is an unemployment equilibrium, all of them are better off reneging on the Nash outcome into a dominating equivalence class of solutions. The mainstream response would that it is precisely when agents do not look to the past and, a fortiori, the future, that they are tempted out of the noncooperative equilibrium. However, no player is worse off in these circumstances. Credibility and a good reputation, in this instance, are at a discount.</p></sec><sec id="s4"><title>REFERENCES</title></sec></body><back><ref-list><title>References</title><ref id="scirp.17374-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">United States House of Representatives, “Building a Science of Economics for the Real World,” website for the Committee on Science and Technology, 20 July 2010.</mixed-citation></ref><ref id="scirp.17374-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">D. Colander, “How Did Macro Theory Get So Far off Track and What Can Heterodox Macroeconomics Do to Get Back on Track?” Middlebury College Economics Discussion Paper No. 09-11, 2009.</mixed-citation></ref><ref id="scirp.17374-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">P. Omerod, “Keynes, Hayek and Complexity,” In: M. Faggini and T. Lux, Eds., Coping with the Complexity of Economics, Springer-Verlag, Rome, 2009, pp. 19-32.  
doi:10.1007/978-88-470-1083-3_2</mixed-citation></ref><ref id="scirp.17374-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">T. Basar and G. J. Olsder, “Dynamic Noncooperative Game Theory,” Academic Press, London, 1995.</mixed-citation></ref></ref-list></back></article>