<?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.2015.56085</article-id><article-id pub-id-type="publisher-id">TEL-62145</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>
 
 
  A Dynamic Model of Mixed Duopolistic Competition: Open Source vs. Proprietary Innovation
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>uat</surname><given-names>Akbulut</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Murat</surname><given-names>Yılmaz</given-names></name><xref ref-type="aff" rid="aff2"><sup>2</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>Department of Economics, Pennsylvania State University, University Park, USA</addr-line></aff><aff id="aff2"><addr-line>Department of Economics, Bogazici University, Istanbul, Turkey</addr-line></aff><pub-date pub-type="epub"><day>30</day><month>11</month><year>2015</year></pub-date><volume>05</volume><issue>06</issue><fpage>730</fpage><lpage>738</lpage><history><date date-type="received"><day>25</day>	<month>November</month>	<year>2015</year></date><date date-type="rev-recd"><day>accepted</day>	<month>20</month>	<year>December</year>	</date><date date-type="accepted"><day>23</day>	<month>December</month>	<year>2015</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 model the competition between a proprietary firm and an open source rival, by incorporating the nature of the GPL, investment opportunities by the proprietary firm, user-developers who can invest in the open source development, and a ladder type technology. We use a two-period dynamic mixed duopoly model, in which a profit-maximizing proprietary firm competes with a rival, the open source firm, which prices the product at zero, with the quality levels determining their relative positions over time. We analyze how the existence of open source firm affects the investment and the pricing behavior of the proprietary firm. We also study the welfare implications of the existence of the open source rival. We find that, under some conditions, the existence of an open source rival may decrease the total welfare.
 
</p></abstract><kwd-group><kwd>Open Source Innovation</kwd><kwd> GPL</kwd><kwd> Research and Development</kwd><kwd> Dynamic Games</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>Software is called open source, if its source code is open in the sense that anyone has free access to it. Open source movement aims to bring programmers not concerned with proprietary ownership or any financial gain together to produce a more useful and bug-free product for everyone to use. By revealing its source code, an open source can be refined by many independent developers all around the world. The source code of an open source product is made available free of charge to the public. So, the user-developers read, redistribute and modify the source code, generating an advantageous evolution of it.</p><p>Among many licenses that are used to distribute open source projects, GNU General Public License (GPL) is the most commonly used one as of late 2014, by a share above 51%<sup>1</sup>. Under GPL, every user has the right to use and modify the code freely, but the modifications must be distributed under the terms of the same license, if they are to be distributed at all. Also, GPL allows for the commercial exploitation of the program. Hence, the users have to sustain the free access to the source code; yet, as long as they maintain the free access, they are allowed to make profits<sup>2</sup>.</p><p>The success of open source software has generated a literature on it, which has been flourishing since early 2000s. Lerner and Tirole (2002, 2005) [<xref ref-type="bibr" rid="scirp.62145-ref1">1</xref>] [<xref ref-type="bibr" rid="scirp.62145-ref2">2</xref>] introduce a broad discussion on economics of open source development. They indicate two reasons that might lead the developers to contribute to open source evolution. First reason that might make developers involve in this costly activity is that they receive a direct benefit in the form of improved software. Secondly, they get an indirect benefit by signaling their abilities in the job market. They also point out that the literature mostly considers individual incentives to adopt open source software. Johnson (2002) [<xref ref-type="bibr" rid="scirp.62145-ref3">3</xref>] uses public good approach in a static environment, where private provision of user-developers to a public good―the open source―diminishes as the number of user-developers increases because of free riding problem, and presents some comparative statistics and welfare results. Modica (2012) [<xref ref-type="bibr" rid="scirp.62145-ref4">4</xref>] takes a two-period oligopoly game using a circular city approach in order to model the open source innovations from a public good perspective. Some of the open source literature focuses on the competition between proprietary firm and open source firm. Casadesus-Masanell and Ghemawat (2006) [<xref ref-type="bibr" rid="scirp.62145-ref5">5</xref>] study the competition between proprietary firm and open source firm in a dynamic mixed duopolostic industry with the demand side learning, and show that it is better to have the proprietary firm as a monopoly when the total welfare is considered. Casadesus-Masanell and Llanes (2011) [<xref ref-type="bibr" rid="scirp.62145-ref6">6</xref>] use a mixed duopoly structure, where a for-profit proprietary firm competes with an open source firm, which tries to maximize the value of its open software. Our model differs from these studies in the way that it combines the open source innovation and the competition between proprietary firm and open source firm in a dynamic environment, and incorporates the features of GPL licensing<sup>3</sup>.</p><p>We examine the effects of the existence of an open source firm that is competing with the proprietary firm on the proprietary firm’s investment in innovation and production behavior, and how it affects the total welfare in the market. We set up a dynamic model with two periods, the first of which has two stages: competition and investment. In the second period, there is only price competition. In the two competition stages, proprietary firm and open source firm compete in a mixed duopolistic industry, where the former charges a price to maximize its overall expected profit, whereas, the latter is freely available. At the beginning of each period, a new cohort of potential users enters into the model. At the beginning of the competition stage, they observe the quality levels and the price of proprietary firm’s product, and they decide which operating system to use during their life time of one period. In the next stage of the first period, the investment stage, while proprietary firm invests in probability to increase its products quality level, user-developers’ incentives for involving this costly development activity is to signal their abilities.</p><p>We find that under some circumstances, the proprietary firm supplies less and invests more in the presence of the open source rival, which leads the proprietary firm to make less profit in the duopolistic industry compared to its monopoly, suggesting that a duopoly is likely to dominate the proprietary firm’s monopoly in terms of total welfare generation. However, this is not always true, that is, it might be better for the total welfare when there is only proprietary firm in the market, and no open source rival.</p></sec><sec id="s2"><title>2. The Model</title><p>We consider a mixed duopoly model, where there are two firms, each providing an operating system, one of which is proprietary and the other is open source<sup>4</sup>. There are two periods. The first period has two stages, competition and investment. In the second period there is only competition. The quality level of an operating system<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x7.png" xlink:type="simple"/></inline-formula>, at the beginning of period t, is denoted as<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x8.png" xlink:type="simple"/></inline-formula>, where w stands for Windows and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x9.png" xlink:type="simple"/></inline-formula> stands for</p><p>Linux. Here, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x10.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x11.png" xlink:type="simple"/></inline-formula> are given, but <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x12.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x13.png" xlink:type="simple"/></inline-formula> will be determined endogenously by the investment decisions of Windows and Linux user-developers, respectively.</p><p>The evolution of quality levels follow a ladder type technology and investments are in the form of success probability. If Windows invests <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x14.png" xlink:type="simple"/></inline-formula> at<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x15.png" xlink:type="simple"/></inline-formula>, its quality level at the beginning of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x16.png" xlink:type="simple"/></inline-formula> will be:</p><disp-formula id="scirp.62145-formula912"><graphic  xlink:href="http://html.scirp.org/file/7-1500813x17.png"  xlink:type="simple"/></disp-formula><p>Linux user-developers also invest in probability of success and those who are successful get an exogenous bonus<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x18.png" xlink:type="simple"/></inline-formula>. If at least one user developer succeeds in development stage, because of the terms of GPL, Linux will move up one step in the technology ladder, and will stay at current step otherwise. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x19.png" xlink:type="simple"/></inline-formula> denote the user-developer j’s investment level. Then, Linux’ quality level at the beginning of the second period will be:</p><disp-formula id="scirp.62145-formula913"><graphic  xlink:href="http://html.scirp.org/file/7-1500813x20.png"  xlink:type="simple"/></disp-formula><p>Cost of investment i is<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x21.png" xlink:type="simple"/></inline-formula>, for both Linux user-developers and Windows. At the beginning of each</p><p>period<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x22.png" xlink:type="simple"/></inline-formula>, Windows announces a price of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x23.png" xlink:type="simple"/></inline-formula>. In each period, a new cohort of N potential users enter into the market. They observe the quality levels of both Windows and Linux. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x24.png" xlink:type="simple"/></inline-formula> denote the quality differences between Windows and Linux,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x25.png" xlink:type="simple"/></inline-formula>. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x26.png" xlink:type="simple"/></inline-formula> denote the value attached to the operating system s by the cohort entering at time t. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x27.png" xlink:type="simple"/></inline-formula> be the number of users in period t, who buy Windows, then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x28.png" xlink:type="simple"/></inline-formula> is the number of Linux user-developers in the same period since Linux is freely available.</p><p>Assumption 1. (Linear Demand) In period t, for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x29.png" xlink:type="simple"/></inline-formula>, the value of Windows to a user <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x30.png" xlink:type="simple"/></inline-formula> is <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x30.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x31.png" xlink:type="simple"/></inline-formula> and the value of Linux to <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x30.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x31.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x32.png" xlink:type="simple"/></inline-formula> is<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x30.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x31.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x32.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x33.png" xlink:type="simple"/></inline-formula>.</p><p>Assumption 2. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x39.png" xlink:type="simple"/></inline-formula>for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x39.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x40.png" xlink:type="simple"/></inline-formula>. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x39.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x40.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x41.png" xlink:type="simple"/></inline-formula>is increasing and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x39.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x40.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x41.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x42.png" xlink:type="simple"/></inline-formula> is decreasing in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x39.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x40.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x41.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x42.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x43.png" xlink:type="simple"/></inline-formula><sup>5</sup>.</p><p>Assumption 3. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x44.png" xlink:type="simple"/></inline-formula>is concave in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x44.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x45.png" xlink:type="simple"/></inline-formula><sup>6</sup>.</p><p>Timing of Events: At<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x46.png" xlink:type="simple"/></inline-formula>, Windows has a quality level <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x47.png" xlink:type="simple"/></inline-formula> and Linux has<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x48.png" xlink:type="simple"/></inline-formula>. There are N buyers who live for one period only. Windows announces its price<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x49.png" xlink:type="simple"/></inline-formula>. Buyers choose either Windows at <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x49.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x50.png" xlink:type="simple"/></inline-formula> or Linux at zero price. Windows invests, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x49.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x50.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x51.png" xlink:type="simple"/></inline-formula>and each Linux user-developer j invests<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x49.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x50.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x51.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x52.png" xlink:type="simple"/></inline-formula>. The success/failure outcomes, thus new quality levels, are realized. At<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x49.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x50.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x51.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x53.png" xlink:type="simple"/></inline-formula>, a new cohort of N buyers enter. Windows announces its price <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x49.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x50.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x51.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x53.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x54.png" xlink:type="simple"/></inline-formula> and buyers choose either Windows at <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x49.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x50.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x51.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x53.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x54.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x55.png" xlink:type="simple"/></inline-formula> or Linux at zero price. Profits are realized.</p></sec><sec id="s3"><title>3. Benchmark: No Open Source, Windows Is Monopoly</title><p>In a market, where there is no substitute for Windows, and every user of any cohort has positive willingness to</p><p>pay, inverse demand function is directly obtained by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x56.png" xlink:type="simple"/></inline-formula>. We use backward induction.</p><p>SECOND PERIOD</p><p>Since Windows is the only operating system producer and this is last period of the game, having monopoly power, it produces the profit maximizing amount of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x57.png" xlink:type="simple"/></inline-formula>, and sets its price to <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x58.png" xlink:type="simple"/></inline-formula> in accordance with</p><p>the demand structure. As a result, it generates a profit of:<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x59.png" xlink:type="simple"/></inline-formula>.</p><p>FIRST PERIOD: Investment</p><p>An investment level <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x60.png" xlink:type="simple"/></inline-formula> will increase its quality level by 1 with the probability<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x61.png" xlink:type="simple"/></inline-formula>. Given the second period profit level<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x62.png" xlink:type="simple"/></inline-formula>, Windows chooses an investment level<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x63.png" xlink:type="simple"/></inline-formula>, which is</p><disp-formula id="scirp.62145-formula914"><graphic  xlink:href="http://html.scirp.org/file/7-1500813x64.png"  xlink:type="simple"/></disp-formula><p>Since the above term is linear in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x65.png" xlink:type="simple"/></inline-formula>, the monopoly investment level will be:</p><disp-formula id="scirp.62145-formula915"><label>(1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-1500813x66.png"  xlink:type="simple"/></disp-formula><p>FIRST PERIOD: Monopoly Price</p><p>Windows chooses a price level, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x67.png" xlink:type="simple"/></inline-formula>, or equivalently, quantity level, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x67.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x68.png" xlink:type="simple"/></inline-formula>, that maximizes its following overall expected profit:</p><disp-formula id="scirp.62145-formula916"><graphic  xlink:href="http://html.scirp.org/file/7-1500813x69.png"  xlink:type="simple"/></disp-formula><p>which has the unique solution <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x70.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x71.png" xlink:type="simple"/></inline-formula>.</p></sec><sec id="s4"><title>4. Equilibrium in the Duopoly</title><p>Since Linux can be acquired freely and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x72.png" xlink:type="simple"/></inline-formula>, it is guaranteed that every user will get one operating system, at least Linux. Hence, at period t, if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x73.png" xlink:type="simple"/></inline-formula> is the number of users who buy Windows, then the remaining users of cohort t, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x73.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x74.png" xlink:type="simple"/></inline-formula>, obtain the Linux at no price, and they become Linux user-developers.</p><p>SECOND PERIOD</p><p>When Windows’ price is <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x75.png" xlink:type="simple"/></inline-formula> at period 2, the indifferent user between Windows and Linux, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x75.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x76.png" xlink:type="simple"/></inline-formula>, is found by the following equation:</p><disp-formula id="scirp.62145-formula917"><graphic  xlink:href="http://html.scirp.org/file/7-1500813x77.png"  xlink:type="simple"/></disp-formula><p>Using<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x78.png" xlink:type="simple"/></inline-formula>, the inverse demand function for Windows in period 2 is</p><disp-formula id="scirp.62145-formula918"><label>(2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-1500813x79.png"  xlink:type="simple"/></disp-formula><p>Windows, a profit maximizer, produces <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x80.png" xlink:type="simple"/></inline-formula> such that</p><disp-formula id="scirp.62145-formula919"><graphic  xlink:href="http://html.scirp.org/file/7-1500813x81.png"  xlink:type="simple"/></disp-formula><p>Taking the first order derivative with respect to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x83.png" xlink:type="simple"/></inline-formula>, we get quantity and price levels for the second period as follows: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x83.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x84.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x83.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x85.png" xlink:type="simple"/></inline-formula><sup>7</sup>. Thus, the profit level in the second period is<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x83.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x85.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x86.png" xlink:type="simple"/></inline-formula>.</p><p>FIRST PERIOD: Linux user-developers’ investment decisions</p><p>In the investment stage, the actions of the user-developers have impact on Windows’ objectives. However, Windows’ investment decision does not affect the user-developers’ investment strategies since they invest only for the purpose of signaling their job skills. This is captured through, b, a bonus, which a successful user-developer receives. Thus, a user-developer<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x87.png" xlink:type="simple"/></inline-formula>, chooses and investment level<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x87.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x88.png" xlink:type="simple"/></inline-formula>, which solves the following maximization problem</p><disp-formula id="scirp.62145-formula920"><graphic  xlink:href="http://html.scirp.org/file/7-1500813x89.png"  xlink:type="simple"/></disp-formula><p>where the solution is<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x90.png" xlink:type="simple"/></inline-formula>. Hence, her expected net benefit, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x90.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x91.png" xlink:type="simple"/></inline-formula>, is positive, in the equilibrium. Due to the</p><p>symmetry, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x92.png" xlink:type="simple"/></inline-formula>for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x92.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x93.png" xlink:type="simple"/></inline-formula>. Thus, Linux will be developed with probability<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x92.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x93.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x94.png" xlink:type="simple"/></inline-formula>, which is the probability that at least one user-developer succeeds.</p><p>FIRST PERIOD: Windows’ investment decisions</p><p>Windows chooses the investment level<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x95.png" xlink:type="simple"/></inline-formula>, which solves</p><disp-formula id="scirp.62145-formula921"><graphic  xlink:href="http://html.scirp.org/file/7-1500813x96.png"  xlink:type="simple"/></disp-formula><p>First order condition implies,</p><disp-formula id="scirp.62145-formula922"><graphic  xlink:href="http://html.scirp.org/file/7-1500813x97.png"  xlink:type="simple"/></disp-formula><p>which is equivalent to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x98.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x98.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x99.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x98.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x99.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x100.png" xlink:type="simple"/></inline-formula>.</p><p>FIRST PERIOD: Price competition</p><p>In the equilibrium, choosing to get Linux for free ensures a user to get an expected benefit of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x101.png" xlink:type="simple"/></inline-formula> in the in-</p><p>vestment stage. Then, when Windows is sold at price <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x102.png" xlink:type="simple"/></inline-formula> at<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x103.png" xlink:type="simple"/></inline-formula>, the indifferent user between Windows and Linux, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x102.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x104.png" xlink:type="simple"/></inline-formula>, is found by the following equation:</p><disp-formula id="scirp.62145-formula923"><graphic  xlink:href="http://html.scirp.org/file/7-1500813x105.png"  xlink:type="simple"/></disp-formula><p>Thus, the inverse demand for Windows in at <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x106.png" xlink:type="simple"/></inline-formula> is</p><disp-formula id="scirp.62145-formula924"><label>(3)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-1500813x107.png"  xlink:type="simple"/></disp-formula><p>Windows maximizes its expected profit choosing<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x108.png" xlink:type="simple"/></inline-formula>:</p><disp-formula id="scirp.62145-formula925"><graphic  xlink:href="http://html.scirp.org/file/7-1500813x109.png"  xlink:type="simple"/></disp-formula><p>The first order condition is</p><disp-formula id="scirp.62145-formula926"><graphic  xlink:href="http://html.scirp.org/file/7-1500813x110.png"  xlink:type="simple"/></disp-formula><p>Now, we compare the first period quantities of Windows for the cases where it’s a monopoly and where it competes with Linux.</p><p>Proposition 1. For large enough bonus b, proprietary firm produces less in the first period of the duopolistic competition relative to the case in which it is a monopoly.</p><p>Proof. Define<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x111.png" xlink:type="simple"/></inline-formula>, which is the above first order condition of the Windows’ first period price choice problem, evaluated at<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x111.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x112.png" xlink:type="simple"/></inline-formula>. Note that</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x113.png" xlink:type="simple"/></inline-formula>is continuous in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x113.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x114.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x113.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x114.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x115.png" xlink:type="simple"/></inline-formula>, and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x113.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x114.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x115.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x116.png" xlink:type="simple"/></inline-formula>. Therefore, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x113.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x114.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x115.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x116.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x117.png" xlink:type="simple"/></inline-formula>such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x113.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x114.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x115.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x116.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x117.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x118.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x113.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x114.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x115.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x116.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x117.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x118.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x119.png" xlink:type="simple"/></inline-formula>. Because the first order condition is negative at point <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x113.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x114.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x115.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x116.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x117.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x118.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x119.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x120.png" xlink:type="simple"/></inline-formula> for large b’s and, the overall ex-</p><p>pected profit function is concave in<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x121.png" xlink:type="simple"/></inline-formula>, we get<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x121.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x122.png" xlink:type="simple"/></inline-formula>. □</p><p>Proposition 1 shows that the existence of an open source rival reduces the firm’s quantity, which is not surprising. Now, we compare the investment decisions of Windows in cases of a monopoly and existence of open source rival.</p><p>Proposition 2. Proprietary firm makes more investment in the duopoly industry competition as opposed to the case where it is a monopoly.</p><p>Proof. Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x123.png" xlink:type="simple"/></inline-formula>. Observe that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x123.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x124.png" xlink:type="simple"/></inline-formula>. Since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x123.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x124.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x125.png" xlink:type="simple"/></inline-formula> is concave, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x123.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x124.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x125.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x126.png" xlink:type="simple"/></inline-formula> is negative, and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x123.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x124.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x125.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x126.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x127.png" xlink:type="simple"/></inline-formula> is positive. Hence,</p><disp-formula id="scirp.62145-formula927"><graphic  xlink:href="http://html.scirp.org/file/7-1500813x128.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.62145-formula928"><graphic  xlink:href="http://html.scirp.org/file/7-1500813x129.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.62145-formula929"><graphic  xlink:href="http://html.scirp.org/file/7-1500813x130.png"  xlink:type="simple"/></disp-formula><p>which implies<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x131.png" xlink:type="simple"/></inline-formula>. □</p><p>Proposition 2 shows that competition results in Windows to increase its investment level.</p></sec><sec id="s5"><title>5. Welfare Comparison</title><p>Proposition 1 &amp; 2 concludes that the proprietary firm makes less profit in the duopoly industry, which suggests that a duopoly is likely to dominate proprietary firm’s monopoly in terms of total welfare generation. In this section, we analyze the welfare implications of the two industry structure that we studied above. Instead of finding the absolute level of total welfare in the duopoly industry, we will compare the total welfare levels under the assumptions that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x144.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x144.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x145.png" xlink:type="simple"/></inline-formula> are linear with slope <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x144.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x145.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x146.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x144.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x145.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x146.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x147.png" xlink:type="simple"/></inline-formula>, respectively<sup>8</sup>.</p><p>Proposition 3. If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x148.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x148.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x149.png" xlink:type="simple"/></inline-formula>, then total welfare is higher in proprietary firm’s monopoly than the total welfare in duopoly industry.</p><p>Proof. We divide the total welfare into pieces and compare them piece-wise. When comparing the two welfare levels, we interpret the absence of Linux in the monopoly as <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x150.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x150.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x151.png" xlink:type="simple"/></inline-formula> being zero, that is,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x150.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x151.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x152.png" xlink:type="simple"/></inline-formula>. Expected total welfare in the Windows’ monopoly, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x150.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x151.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x152.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x153.png" xlink:type="simple"/></inline-formula>is</p><disp-formula id="scirp.62145-formula930"><graphic  xlink:href="http://html.scirp.org/file/7-1500813x154.png"  xlink:type="simple"/></disp-formula><p>Expected welfare in the first period of the duopoly industry,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x155.png" xlink:type="simple"/></inline-formula>:</p><disp-formula id="scirp.62145-formula931"><graphic  xlink:href="http://html.scirp.org/file/7-1500813x156.png"  xlink:type="simple"/></disp-formula><p>And the expected total welfare generated in the second period of the duopoly will be:</p><disp-formula id="scirp.62145-formula932"><graphic  xlink:href="http://html.scirp.org/file/7-1500813x157.png"  xlink:type="simple"/></disp-formula><p>Equivalently,</p><disp-formula id="scirp.62145-formula933"><graphic  xlink:href="http://html.scirp.org/file/7-1500813x158.png"  xlink:type="simple"/></disp-formula><p>Now, we compare the pieces marked by lower case letters. For<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x159.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x159.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x160.png" xlink:type="simple"/></inline-formula>. Thus,</p><disp-formula id="scirp.62145-formula934"><graphic  xlink:href="http://html.scirp.org/file/7-1500813x161.png"  xlink:type="simple"/></disp-formula><p>which implies<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x162.png" xlink:type="simple"/></inline-formula>. As a consequence of Proposition 2, we have <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x162.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x163.png" xlink:type="simple"/></inline-formula> which implies <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x162.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x163.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x164.png" xlink:type="simple"/></inline-formula>, which in turn implies<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x162.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x163.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x164.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x165.png" xlink:type="simple"/></inline-formula>. Since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x162.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x163.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x164.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x165.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x166.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x162.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x163.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x164.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x165.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x166.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x167.png" xlink:type="simple"/></inline-formula> cannot be more than 1, we get<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x162.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x163.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x164.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x165.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x166.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x167.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x168.png" xlink:type="simple"/></inline-formula>. Multiplying both sides with <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x162.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x163.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x164.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x165.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x166.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x167.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x168.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x169.png" xlink:type="simple"/></inline-formula> and arranging we get</p><disp-formula id="scirp.62145-formula935"><graphic  xlink:href="http://html.scirp.org/file/7-1500813x170.png"  xlink:type="simple"/></disp-formula><p>Thus, we get<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x171.png" xlink:type="simple"/></inline-formula>. Now, combining e and f we get</p><disp-formula id="scirp.62145-formula936"><graphic  xlink:href="http://html.scirp.org/file/7-1500813x172.png"  xlink:type="simple"/></disp-formula><p>Note that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x173.png" xlink:type="simple"/></inline-formula> is positive due to the assumptions <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x173.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x174.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x173.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x174.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x175.png" xlink:type="simple"/></inline-formula>. To see this, note <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x173.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x174.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x175.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x176.png" xlink:type="simple"/></inline-formula> implies<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x173.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x174.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x175.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x176.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x177.png" xlink:type="simple"/></inline-formula>, which implies<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x173.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x174.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x175.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x176.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x177.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x178.png" xlink:type="simple"/></inline-formula>, which implies<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x173.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x174.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x175.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x176.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x177.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x178.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x179.png" xlink:type="simple"/></inline-formula>, which implies<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x173.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x174.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x175.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x176.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x177.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x178.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x179.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x180.png" xlink:type="simple"/></inline-formula>. Thus,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x173.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x174.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x175.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x176.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x177.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x178.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x179.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x180.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x181.png" xlink:type="simple"/></inline-formula>. Combining<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x173.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x174.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x175.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x176.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x177.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x178.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x179.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x180.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x181.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x182.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x173.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x174.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x175.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x176.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x177.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x178.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x179.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x180.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x181.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x182.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x183.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x173.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x174.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x175.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x176.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x177.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x178.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x179.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x180.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x181.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x182.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x183.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x184.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x173.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x174.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x175.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x176.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x177.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x178.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x179.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x180.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x181.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x182.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x183.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x184.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x185.png" xlink:type="simple"/></inline-formula>, we conclude that the total welfare that the monopoly generates is higher than the total welfare in the duopoly industry with open source rival in the market. □</p><p>Proposition 3 shows that the competition does not necessarily increase the welfare in an oligopoly industry when compared to the monopoly market. This is because the presence of a rival induces the proprietary firm to set lower prices and those users who do not buy the proprietary firm’s product are not left empty handed; they can get the open source freely, which increases the total surplus. However, the decrease in proprietary firm’s and its users’ surpluses do not, always, need to be compensated by the increase in user-developers’ surpluses.</p></sec><sec id="s6"><title>6. Conclusion and Discussion</title><p>In this study, a simple two-period model of open source innovation has been presented to understand the difference of the behavior of the proprietary firm’s production, pricing and investment strategies and to facilitate welfare comparisons between the presence of it and the traditional, profit driven method of development, where the quality levels of the two follow a ladder type technology framework. It has been shown that the proprietary firm decreases its production level when there is an open source rival, and in order to better compete with the open source firm, it invests more. However, the total welfare, under certain conditions, is higher in monopoly benchmark than in the duopolistic competition, where there is an open source rival.</p><p>Now, we discuss a number of directions this work could be pushed or alternative models one can consider.</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x186.png" xlink:type="simple"/></inline-formula>Periods: When we tried to set up a model, where the number of periods is three or more, or infinitely many, we end up with technical problems of solving the first order condition of proprietary firm’s maximization problem. This problem occurs because there is no analytical solution for the number of proprietary users at period t, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x186.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x187.png" xlink:type="simple"/></inline-formula>, when the number of potential users, N, exceeds three. Employing the known methods to solve the Bellman Equation, which captures the recursive nature of the dynamic game problem is not helpful since transition matrix that should govern the evolution of the state variables are determined by the choice variables in each period, that is, the transition matrix is not stationary.</p><p>Endogenous Bonus with OLG: We also considered an alternative model where users live for two periods. They could buy an operating system only when they are young. User-developers could develop the open source when they are young, and enjoy the appreciation of its quality when they are old, if at least one of them succeeds due to General Public License. When we model the user-developers investment incentives in this framework, with allowing the investment levels to be in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x188.png" xlink:type="simple"/></inline-formula> interval, we faced difficulties while solving the optimal investment levels of user-developers since the optimal decisions include <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x188.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x189.png" xlink:type="simple"/></inline-formula> order equations. To overcome such difficulties, one could think of forcing the possible investment level choices of the user developers to be binary, i.e. they would be either 0 or 1. However, there occurs a free rider problem that Johnson (2002) [<xref ref-type="bibr" rid="scirp.62145-ref3">3</xref>] finds, too. Since it is guaranteed for the open source to be improved when one user-developer chooses to invest in 1, it is optimal for every user-developer to let someone else do it.</p><p>Contribution Game with Infinitely Many Users: When Lerner and Tirole (2002) explain the favorable characteristics for an open source production, they mention about its modularity, whether the overall project is divided into smaller and well-defined tasks (modules) that individuals can handle independently from other modules. Sufficiently modular nature of an open source software, whose different portions can be improved by independent user-developers, might turn the investment stage to a contribution game for open source user-developers. To do so, one other helpful way could be having infinitely many users distributed on<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-1500813x190.png" xlink:type="simple"/></inline-formula>. Although in our original model, that would create some compatibility problems while finding the open source firm’s development probability, since it has a multiplication part. This is not a good way to use when there are infinitely many users, that would provide a well defined demand, and is a better way to model the investment stage as a contribution game, where the probability of open source firms’ development is affected by a fraction of the measure of user-developers that contribute or all users. Such a model might also capture the direct benefit incentives of the user-developers, which would result in having different optimal investment strategies for different user-developers. To incorporate the direct benefit, a successful development of a user-developer could be rewarded by enjoying the appreciation of her own operating system before the quality increase become public.</p><p>Mixed Duopolistic Competition: In our model, the competitors have heterogeneous objective functions, thus it is a mixed duopoly model. The limitations of our model through mixed duopolistic competition may include the case where the there may be more than one proprietary and more than one open source firm. Thus, more than two proprietary firms may engage in competition with more than one open source firms, where proprietary firms may have homogeneous objective functions. However, we believe this extension would potentially be another paper.</p></sec><sec id="s7"><title>Acknowledgements</title><p>We thank the Editor and the referee for their comments.</p></sec><sec id="s8"><title>Cite this paper</title><p>SuatAkbulut,MuratYılmaz, (2015) A Dynamic Model of Mixed Duopolistic Competition: Open Source vs. Proprietary Innovation. Theoretical Economics Letters,05,730-738. doi: 10.4236/tel.2015.56085</p></sec><sec id="s9"><title>NOTES</title></sec></body><back><ref-list><title>References</title><ref id="scirp.62145-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Lerner, J. and Tirole, J. (2002) Some Simple Economics of Open Source. Journal of Industrial Economics, 50, 197-234. http://dx.doi.org/10.1111/1467-6451.00174</mixed-citation></ref><ref id="scirp.62145-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Lerner, J. and Tirole, J. (2005) The Economics of Technology Sharing: Open Source and Beyond. The Journal of Economic Perspectives, 19, 99-120. http://dx.doi.org/10.1257/0895330054048678</mixed-citation></ref><ref id="scirp.62145-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Johnson, J.P. (2002) Open Source Software: Private Provision of a Public Good. Journal of Economics and Management Strategy, 11, 637-662. http://dx.doi.org/10.1162/105864002320757280</mixed-citation></ref><ref id="scirp.62145-ref4"><label>4</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Modica</surname><given-names> S. </given-names></name>,<etal>et al</etal>. (<year>2012</year>)<article-title>Open Source without Free-Riding</article-title><source> Economia Politica</source><volume> 2</volume>,<fpage> 247</fpage>-<lpage>260</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.62145-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Casadesus-Masanell, R. and Ghemawat, P. (2006) Dynamic Mixed Duopoly: A Model Motivated by Linux vs. Windows. Management Science, 52, 1072-1084. http://dx.doi.org/10.1287/mnsc.1060.0548</mixed-citation></ref><ref id="scirp.62145-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Casadesus-Masanell, R. and Llanes, G. (2011) Mixed Source. Management Science, 57.  
http://dx.doi.org/10.1287/mnsc.1110.1353</mixed-citation></ref><ref id="scirp.62145-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Hasnas, I., Lambertini, L. and Palestini, A. (2014) Open Innovation in a Dynamic Cournot Duopoly. Economic Modelling, 36, 79-87. http://dx.doi.org/10.1016/j.econmod.2013.09.020</mixed-citation></ref><ref id="scirp.62145-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Jaisingh, J., See-To, E.W.K. and Tam, K.Y. (2008) The Impact of Open Source Software on the Strategic Choices of Firms Developing Proprietary Software. Journal of Management Information Systems, 25, 241-276.  
http://dx.doi.org/10.2753/mis0742-1222250307</mixed-citation></ref><ref id="scirp.62145-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Suh, J. and Yilmaz, M. Economics of Open Source: A Dynamic Approach. Bogazici University Working Paper Series, EC-2015-02.</mixed-citation></ref></ref-list></back></article>