<?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>
   <issn publication-format="print">
    2162-2086
   </issn>
   <publisher>
    <publisher-name>
     Scientific Research Publishing
    </publisher-name>
   </publisher>
  </journal-meta>
  <article-meta>
   <article-id pub-id-type="doi">
    10.4236/tel.2025.155061
   </article-id>
   <article-id pub-id-type="publisher-id">
    tel-146065
   </article-id>
   <article-categories>
    <subj-group subj-group-type="heading">
     <subject>
      Articles
     </subject>
    </subj-group>
    <subj-group subj-group-type="Discipline-v2">
     <subject>
      Business 
     </subject>
     <subject>
       Economics
     </subject>
    </subj-group>
   </article-categories>
   <title-group>
    Network Externalities, Tourism Pollution and Tourism Policy
   </title-group>
   <contrib-group>
    <contrib contrib-type="author" xlink:type="simple">
     <name name-style="western">
      <surname>
       Shih-Hao
      </surname>
      <given-names>
       Huang
      </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>
       Shun-Hsing
      </surname>
      <given-names>
       Chen
      </given-names>
     </name> 
     <xref ref-type="aff" rid="aff2"> 
      <sup>2</sup>
     </xref>
    </contrib>
    <contrib contrib-type="author" xlink:type="simple">
     <name name-style="western">
      <surname>
       Chu Chuan
      </surname>
      <given-names>
       Hsu
      </given-names>
     </name> 
     <xref ref-type="aff" rid="aff3"> 
      <sup>3</sup>
     </xref>
    </contrib>
   </contrib-group> 
   <aff id="aff1">
    <addr-line>
     aSchool of Management, Jiangsu University, Zhenjiang, China
    </addr-line> 
   </aff> 
   <aff id="aff2">
    <addr-line>
     aDepartment of Industrial Management, Asia Eastern University of Science and Technology, Taiwan
    </addr-line> 
   </aff> 
   <aff id="aff3">
    <addr-line>
     aDepartment of Marketing and Logistics Management, Yu Da University of Science and Technology, Taiwan
    </addr-line> 
   </aff> 
   <pub-date pub-type="epub">
    <day>
     26
    </day> 
    <month>
     09
    </month>
    <year>
     2025
    </year>
   </pub-date> 
   <volume>
    15
   </volume> 
   <issue>
    05
   </issue>
   <fpage>
    1119
   </fpage>
   <lpage>
    1126
   </lpage>
   <history>
    <date date-type="received">
     <day>
      23,
     </day>
     <month>
      March
     </month>
     <year>
      2025
     </year>
    </date>
    <date date-type="published">
     <day>
      23,
     </day>
     <month>
      March
     </month>
     <year>
      2025
     </year> 
    </date> 
    <date date-type="accepted">
     <day>
      23,
     </day>
     <month>
      September
     </month>
     <year>
      2025
     </year> 
    </date>
   </history>
   <permissions>
    <copyright-statement>
     © 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>
    This study employs a two-stage game-theoretic framework to examine the effects of tourism policy on firm profits, consumer welfare, environmental degradation, and social welfare, by incorporating network externalities and pollution characteristics specific to the tourism industry. The analysis yields several key findings. When network externalities in the tourism sector are relatively weak, the government should impose a tourism tax to mitigate environmental harm. However, such a tax policy negatively affects firm profitability and consumer welfare. Conversely, when network externalities are strong, the government should provide tourism subsidies to enhance firm profits and consumer welfare, although such subsidies tend to exacerbate environmental pollution. Regardless of whether the policy involves taxation or subsidies, government intervention in the tourism market improves overall social welfare.
   </abstract>
   <kwd-group> 
    <kwd>
     Network Externalities
    </kwd> 
    <kwd>
      Tourism Pollution
    </kwd> 
    <kwd>
      Tourism Policy
    </kwd>
   </kwd-group>
  </article-meta>
 </front>
 <body>
  <sec id="s1">
   <title>1. Introduction</title>
   <p>Tourism is often referred to as a “smokeless industry”, highlighting its relatively lower levels of environmental, water, and air pollution compared to heavy industry and manufacturing. The tourism sector integrates diverse elements—natural landscapes, cultural heritage, the arts, and religion—while simultaneously stimulating domestic industries such as hospitality, dining, entertainment, and retail. As such, it exemplifies a sector characterized by strong network externalities.</p>
   <p>Following the recovery from the COVID-19 pandemic, the global tourism industry has experienced explosive growth, with many countries actively seeking to expand their tourism economies. However, since tourism—like animal husbandry—requires the accommodation of large volumes of people, destinations must address a wide range of tourist needs (e.g., food, lodging, transportation, and waste disposal). These demands raise concerns about environmental carrying capacity, especially regarding local infrastructure, living standards, and the cultural integrity of host communities.</p>
   <p>Recent policy initiatives reflect these growing challenges. For example, Venice, Italy, plans to implement an entry fee in 2025, while Kyoto, Japan, will significantly increase its accommodation tax in the same year. Many countries have also introduced island entry fees to fund environmental conservation, maintain infrastructure, and provide essential public services.</p>
   <p>In addition, tourism can trigger socio-cultural tensions. Language barriers, religious differences, and cultural misunderstandings may cause tourists to be perceived as disrespectful, leading to negative social reactions. With increasing international travel and intensified cross-cultural interactions, such frictions have become more frequent—phenomena often referred to as “tourism pollution” or “overtourism externalities”.</p>
   <p>
    <xref ref-type="bibr" rid="scirp.146065-4">
     Katz and Shapiro (1985)
    </xref> and <xref ref-type="bibr" rid="scirp.146065-2">
     Farrell and Saloner (1986)
    </xref> pioneered research on network externalities, noting that product demand grows with higher compatibility and larger user bases. <xref ref-type="bibr" rid="scirp.146065-5">
     Liebowitz and Margolis (1994)
    </xref> distinguished between network effects—where a product’s value increases with more users—and network externalities, which arise from market failures due to the inability to internalize such benefits. They argued that many purported network externalities are natural market outcomes that do not warrant regulatory intervention. For instance, they questioned whether VHS’s market victory over Betamax reflected actual market failure.</p>
   <p>
    <xref ref-type="bibr" rid="scirp.146065-1">
     Economides (1996)
    </xref> examined how network externalities and product complementarities affect barriers to entry and technology diffusion. <xref ref-type="bibr" rid="scirp.146065-6">
     Song and Wang (2017)
    </xref> studied how collusion among producers of substitute goods becomes feasible under network externalities. <xref ref-type="bibr" rid="scirp.146065-3">
     Giovannetti and Hamoudia (2022)
    </xref> further classified network externalities into direct (where each additional user adds value to others, as in communication platforms) and indirect (where more users attract third-party providers, enriching the product ecosystem).</p>
   <p>While considerable research has explored the impact of network externalities on firms’ innovation and market entry strategies, less attention has been given to how network externalities interact with environmental externalities—especially in tourism—and how this affects policy design.</p>
   <p>This study incorporates network externalities and tourism-generated pollution to examine how government intervention affects industry performance, consumer welfare, environmental damage, and social welfare. The paper is organized as follows: Section 1 introduces the research motivation and objectives; Section 2 presents the basic model and assumptions; Section 3 analyzes the impact of tourism policies; Section 4 concludes and offers policy implications.</p>
  </sec><sec id="s2">
   <title>2. The Basic Model</title>
   <p>This paper investigates whether tourism-related pollution and network externalities influence government decision-making regarding the tourism service industry in an oligopolistic market with network externalities, and further examines their impact on social welfare.</p>
   <p>The analysis is structured as a two-stage game. In the first stage, the government determines the optimal tourism tax. In the second stage, firms choose their optimal production strategies to maximize profits. The study employs backward induction to solve for the Subgame Perfect Nash Equilibrium (SPNE) of this game.</p>
   <sec id="s2_1">
    <title>2.1. Benchmark</title>
    <p>Assume two oligopolistic firms, Firm 1 and Firm 2, producing differentiated tourism services with identical production technology. Let 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <msub> 
        <mi>
          q 
        </mi> 
        <mn>
          1 
        </mn> 
       </msub> 
      </mrow> 
     </math> and 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <msub> 
        <mi>
          q 
        </mi> 
        <mn>
          2 
        </mn> 
       </msub> 
      </mrow> 
     </math> denote their service quantities, with total market supply 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mi>
         Q 
       </mi> 
       <mo>
         = 
       </mo> 
       <msub> 
        <mi>
          q 
        </mi> 
        <mn>
          1 
        </mn> 
       </msub> 
       <mo>
         + 
       </mo> 
       <msub> 
        <mi>
          q 
        </mi> 
        <mn>
          2 
        </mn> 
       </msub> 
      </mrow> 
     </math>. Each unit has constant marginal cost c, and there are no fixed costs.</p>
    <p>Total market utility is modeled as:</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mi>
         U 
       </mi> 
       <mo>
         = 
       </mo> 
       <mi>
         a 
       </mi> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mrow> 
         <msub> 
          <mi>
            q 
          </mi> 
          <mn>
            1 
          </mn> 
         </msub> 
         <mo>
           + 
         </mo> 
         <msub> 
          <mi>
            q 
          </mi> 
          <mn>
            2 
          </mn> 
         </msub> 
        </mrow> 
        <mo>
          ) 
        </mo> 
       </mrow> 
       <mo>
         − 
       </mo> 
       <mfrac> 
        <mrow> 
         <msubsup> 
          <mi>
            q 
          </mi> 
          <mn>
            1 
          </mn> 
          <mn>
            2 
          </mn> 
         </msubsup> 
         <mo>
           + 
         </mo> 
         <mn>
           2 
         </mn> 
         <mi>
           γ 
         </mi> 
         <msub> 
          <mi>
            q 
          </mi> 
          <mn>
            1 
          </mn> 
         </msub> 
         <msub> 
          <mi>
            q 
          </mi> 
          <mn>
            2 
          </mn> 
         </msub> 
         <mo>
           + 
         </mo> 
         <msubsup> 
          <mi>
            q 
          </mi> 
          <mn>
            2 
          </mn> 
          <mn>
            2 
          </mn> 
         </msubsup> 
        </mrow> 
        <mn>
          2 
        </mn> 
       </mfrac> 
       <mo>
         + 
       </mo> 
       <mi>
         n 
       </mi> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mrow> 
         <msub> 
          <mi>
            y 
          </mi> 
          <mn>
            1 
          </mn> 
         </msub> 
         <mo>
           + 
         </mo> 
         <msub> 
          <mi>
            y 
          </mi> 
          <mn>
            2 
          </mn> 
         </msub> 
        </mrow> 
        <mo>
          ) 
        </mo> 
       </mrow> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mrow> 
         <msub> 
          <mi>
            q 
          </mi> 
          <mn>
            1 
          </mn> 
         </msub> 
         <mo>
           + 
         </mo> 
         <msub> 
          <mi>
            q 
          </mi> 
          <mn>
            2 
          </mn> 
         </msub> 
        </mrow> 
        <mo>
          ) 
        </mo> 
       </mrow> 
       <mo>
         + 
       </mo> 
       <mi>
         m 
       </mi> 
      </mrow> 
     </math></p>
    <p>where:</p>
    <p>The inverse demand function for Firm 
     <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mi>
        i 
      </mi> 
     </math> becomes:</p>
    <p>
     <xref ref-type="bibr" rid="scirp.146065-"></xref> 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <msub> 
        <mi>
          p 
        </mi> 
        <mi>
          i 
        </mi> 
       </msub> 
       <mo>
         = 
       </mo> 
       <mi>
         a 
       </mi> 
       <mo>
         − 
       </mo> 
       <msub> 
        <mi>
          q 
        </mi> 
        <mi>
          i 
        </mi> 
       </msub> 
       <mo>
         − 
       </mo> 
       <mi>
         γ 
       </mi> 
       <msub> 
        <mi>
          q 
        </mi> 
        <mi>
          j 
        </mi> 
       </msub> 
       <mo>
         + 
       </mo> 
       <mi>
         n 
       </mi> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mrow> 
         <msub> 
          <mi>
            y 
          </mi> 
          <mi>
            i 
          </mi> 
         </msub> 
         <mo>
           + 
         </mo> 
         <msub> 
          <mi>
            y 
          </mi> 
          <mi>
            j 
          </mi> 
         </msub> 
        </mrow> 
        <mo>
          ) 
        </mo> 
       </mrow> 
      </mrow> 
     </math></p>
    <p>Profit for Firm 
     <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mi>
        i 
      </mi> 
     </math>:</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <msub> 
        <mi>
          π 
        </mi> 
        <mi>
          i 
        </mi> 
       </msub> 
       <mo>
         = 
       </mo> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mrow> 
         <mi>
           a 
         </mi> 
         <mo>
           − 
         </mo> 
         <msub> 
          <mi>
            q 
          </mi> 
          <mi>
            i 
          </mi> 
         </msub> 
         <mo>
           − 
         </mo> 
         <mi>
           γ 
         </mi> 
         <msub> 
          <mi>
            q 
          </mi> 
          <mi>
            j 
          </mi> 
         </msub> 
         <mo>
           + 
         </mo> 
         <mi>
           n 
         </mi> 
         <mrow> 
          <mo>
            ( 
          </mo> 
          <mrow> 
           <msub> 
            <mi>
              y 
            </mi> 
            <mi>
              i 
            </mi> 
           </msub> 
           <mo>
             + 
           </mo> 
           <msub> 
            <mi>
              y 
            </mi> 
            <mi>
              j 
            </mi> 
           </msub> 
          </mrow> 
          <mo>
            ) 
          </mo> 
         </mrow> 
         <mo>
           − 
         </mo> 
         <mi>
           c 
         </mi> 
        </mrow> 
        <mo>
          ) 
        </mo> 
       </mrow> 
       <mo>
         ∗ 
       </mo> 
       <msub> 
        <mi>
          q 
        </mi> 
        <mi>
          i 
        </mi> 
       </msub> 
      </mrow> 
     </math>, 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mi>
         i 
       </mi> 
       <mo>
         = 
       </mo> 
       <mn>
         1 
       </mn> 
       <mo>
         , 
       </mo> 
       <mn>
         2 
       </mn> 
      </mrow> 
     </math>. (1)</p>
    <p>To capture overtourism, we assume that increased tourism supply also causes environmental damage, modeled by:</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mi>
         G 
       </mi> 
       <mi>
         E 
       </mi> 
       <mi>
         D 
       </mi> 
       <mo>
         = 
       </mo> 
       <mrow> 
        <mrow> 
         <mi>
           k 
         </mi> 
         <msup> 
          <mrow> 
           <mrow> 
            <mo>
              ( 
            </mo> 
            <mi>
              Q 
            </mi> 
            <mo>
              ) 
            </mo> 
           </mrow> 
          </mrow> 
          <mn>
            2 
          </mn> 
         </msup> 
        </mrow> 
        <mo>
          / 
        </mo> 
        <mn>
          2 
        </mn> 
       </mrow> 
      </mrow> 
     </math></p>
    <p>This quadratic form reflects increasing marginal environmental costs. For simplification, set 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mi>
         a 
       </mi> 
       <mo>
         = 
       </mo> 
       <mi>
         k 
       </mi> 
       <mo>
         = 
       </mo> 
       <mn>
         1 
       </mn> 
      </mrow> 
     </math> and 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mi>
         c 
       </mi> 
       <mo>
         = 
       </mo> 
       <mn>
         0 
       </mn> 
      </mrow> 
     </math>.</p>
    <p>Consumer surplus and social welfare are:</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mi>
         C 
       </mi> 
       <mi>
         S 
       </mi> 
       <mo>
         = 
       </mo> 
       <mi>
         U 
       </mi> 
       <mo>
         − 
       </mo> 
       <msub> 
        <mi>
          p 
        </mi> 
        <mn>
          1 
        </mn> 
       </msub> 
       <msub> 
        <mi>
          q 
        </mi> 
        <mn>
          1 
        </mn> 
       </msub> 
       <mo>
         − 
       </mo> 
       <msub> 
        <mi>
          p 
        </mi> 
        <mn>
          2 
        </mn> 
       </msub> 
       <msub> 
        <mi>
          q 
        </mi> 
        <mn>
          2 
        </mn> 
       </msub> 
      </mrow> 
     </math>, (2)</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mi>
         W 
       </mi> 
       <mo>
         = 
       </mo> 
       <mi>
         C 
       </mi> 
       <mi>
         S 
       </mi> 
       <mo>
         + 
       </mo> 
       <msub> 
        <mi>
          π 
        </mi> 
        <mn>
          1 
        </mn> 
       </msub> 
       <mo>
         + 
       </mo> 
       <msub> 
        <mi>
          π 
        </mi> 
        <mn>
          2 
        </mn> 
       </msub> 
       <mo>
         − 
       </mo> 
       <mi>
         G 
       </mi> 
       <mi>
         E 
       </mi> 
       <mi>
         D 
       </mi> 
      </mrow> 
     </math>. (3)</p>
    <p>First-order conditions for profit maximization yield:</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mfrac> 
        <mrow> 
         <mo>
           ∂ 
         </mo> 
         <msub> 
          <mi>
            π 
          </mi> 
          <mi>
            i 
          </mi> 
         </msub> 
        </mrow> 
        <mrow> 
         <mo>
           ∂ 
         </mo> 
         <msub> 
          <mi>
            q 
          </mi> 
          <mi>
            i 
          </mi> 
         </msub> 
        </mrow> 
       </mfrac> 
       <mo>
         = 
       </mo> 
       <mn>
         1 
       </mn> 
       <mo>
         − 
       </mo> 
       <mn>
         2 
       </mn> 
       <msub> 
        <mi>
          q 
        </mi> 
        <mi>
          i 
        </mi> 
       </msub> 
       <mo>
         − 
       </mo> 
       <mi>
         γ 
       </mi> 
       <msub> 
        <mi>
          q 
        </mi> 
        <mi>
          j 
        </mi> 
       </msub> 
       <mo>
         + 
       </mo> 
       <mi>
         n 
       </mi> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mrow> 
         <msub> 
          <mi>
            y 
          </mi> 
          <mi>
            i 
          </mi> 
         </msub> 
         <mo>
           + 
         </mo> 
         <msub> 
          <mi>
            y 
          </mi> 
          <mi>
            j 
          </mi> 
         </msub> 
        </mrow> 
        <mo>
          ) 
        </mo> 
       </mrow> 
       <mo>
         = 
       </mo> 
       <mn>
         0 
       </mn> 
      </mrow> 
     </math>, 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mi>
         i 
       </mi> 
       <mo>
         , 
       </mo> 
       <mi>
         j 
       </mi> 
       <mo>
         = 
       </mo> 
       <mn>
         1 
       </mn> 
       <mo>
         , 
       </mo> 
       <mn>
         2 
       </mn> 
      </mrow> 
     </math>. (4)</p>
    <p>Assuming rational expectations: 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <msub> 
        <mi>
          y 
        </mi> 
        <mi>
          i 
        </mi> 
       </msub> 
       <mo>
         = 
       </mo> 
       <msub> 
        <mi>
          q 
        </mi> 
        <mi>
          i 
        </mi> 
       </msub> 
      </mrow> 
     </math>. Solving gives:</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <msub> 
        <mi>
          q 
        </mi> 
        <mi>
          i 
        </mi> 
       </msub> 
       <mo>
         = 
       </mo> 
       <mfrac> 
        <mn>
          1 
        </mn> 
        <mrow> 
         <mn>
           2 
         </mn> 
         <mo>
           − 
         </mo> 
         <mn>
           2 
         </mn> 
         <mi>
           n 
         </mi> 
         <mo>
           + 
         </mo> 
         <mi>
           γ 
         </mi> 
        </mrow> 
       </mfrac> 
      </mrow> 
     </math>, 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mi>
         i 
       </mi> 
       <mo>
         = 
       </mo> 
       <mn>
         1 
       </mn> 
       <mo>
         , 
       </mo> 
       <mn>
         2 
       </mn> 
      </mrow> 
     </math>. (5)</p>
    <p>By conducting a comparative static analysis, the result of Lemma 1 can be derived.</p>
    <p>Lemma 1</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mfrac> 
        <mrow> 
         <mo>
           ∂ 
         </mo> 
         <msub> 
          <mi>
            q 
          </mi> 
          <mi>
            i 
          </mi> 
         </msub> 
        </mrow> 
        <mrow> 
         <mo>
           ∂ 
         </mo> 
         <mi>
           γ 
         </mi> 
        </mrow> 
       </mfrac> 
       <mo>
         = 
       </mo> 
       <mo>
         − 
       </mo> 
       <mfrac> 
        <mn>
          1 
        </mn> 
        <mrow> 
         <msup> 
          <mrow> 
           <mrow> 
            <mo>
              ( 
            </mo> 
            <mrow> 
             <mn>
               2 
             </mn> 
             <mo>
               − 
             </mo> 
             <mn>
               2 
             </mn> 
             <mi>
               n 
             </mi> 
             <mo>
               + 
             </mo> 
             <mi>
               γ 
             </mi> 
            </mrow> 
            <mo>
              ) 
            </mo> 
           </mrow> 
          </mrow> 
          <mn>
            2 
          </mn> 
         </msup> 
        </mrow> 
       </mfrac> 
       <mo>
         &lt; 
       </mo> 
       <mn>
         0 
       </mn> 
      </mrow> 
     </math>, 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mfrac> 
        <mrow> 
         <mo>
           ∂ 
         </mo> 
         <msub> 
          <mi>
            q 
          </mi> 
          <mi>
            i 
          </mi> 
         </msub> 
        </mrow> 
        <mrow> 
         <mo>
           ∂ 
         </mo> 
         <mi>
           n 
         </mi> 
        </mrow> 
       </mfrac> 
       <mo>
         = 
       </mo> 
       <mfrac> 
        <mn>
          2 
        </mn> 
        <mrow> 
         <msup> 
          <mrow> 
           <mrow> 
            <mo>
              ( 
            </mo> 
            <mrow> 
             <mn>
               2 
             </mn> 
             <mo>
               − 
             </mo> 
             <mn>
               2 
             </mn> 
             <mi>
               n 
             </mi> 
             <mo>
               + 
             </mo> 
             <mi>
               γ 
             </mi> 
            </mrow> 
            <mo>
              ) 
            </mo> 
           </mrow> 
          </mrow> 
          <mn>
            2 
          </mn> 
         </msup> 
        </mrow> 
       </mfrac> 
       <mo>
         &gt; 
       </mo> 
       <mn>
         0 
       </mn> 
      </mrow> 
     </math>, 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mi>
         i 
       </mi> 
       <mo>
         = 
       </mo> 
       <mn>
         1 
       </mn> 
       <mo>
         , 
       </mo> 
       <mn>
         2 
       </mn> 
      </mrow> 
     </math>.</p>
    <p>Lemma 1 indicates that a higher degree of tourism product homogeneity is detrimental to the sales of tourism goods, while an increase in the strength of network externalities is beneficial to the overall development of the tourism industry.</p>
    <p>Based on this, the profit functions of firms, consumer surplus, and social welfare levels can be derived.</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <msub> 
        <mi>
          π 
        </mi> 
        <mn>
          1 
        </mn> 
       </msub> 
       <mo>
         = 
       </mo> 
       <msub> 
        <mi>
          π 
        </mi> 
        <mn>
          2 
        </mn> 
       </msub> 
       <mo>
         = 
       </mo> 
       <mfrac> 
        <mn>
          1 
        </mn> 
        <mrow> 
         <msup> 
          <mrow> 
           <mrow> 
            <mo>
              ( 
            </mo> 
            <mrow> 
             <mn>
               2 
             </mn> 
             <mo>
               − 
             </mo> 
             <mn>
               2 
             </mn> 
             <mi>
               n 
             </mi> 
             <mo>
               + 
             </mo> 
             <mi>
               γ 
             </mi> 
            </mrow> 
            <mo>
              ) 
            </mo> 
           </mrow> 
          </mrow> 
          <mn>
            2 
          </mn> 
         </msup> 
        </mrow> 
       </mfrac> 
      </mrow> 
     </math>, 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mi>
         C 
       </mi> 
       <mi>
         S 
       </mi> 
       <mo>
         = 
       </mo> 
       <mfrac> 
        <mrow> 
         <mrow> 
          <mo>
            ( 
          </mo> 
          <mrow> 
           <mn>
             1 
           </mn> 
           <mo>
             + 
           </mo> 
           <mi>
             γ 
           </mi> 
          </mrow> 
          <mo>
            ) 
          </mo> 
         </mrow> 
        </mrow> 
        <mrow> 
         <msup> 
          <mrow> 
           <mrow> 
            <mo>
              ( 
            </mo> 
            <mrow> 
             <mn>
               2 
             </mn> 
             <mo>
               − 
             </mo> 
             <mn>
               2 
             </mn> 
             <mi>
               n 
             </mi> 
             <mo>
               + 
             </mo> 
             <mi>
               γ 
             </mi> 
            </mrow> 
            <mo>
              ) 
            </mo> 
           </mrow> 
          </mrow> 
          <mn>
            2 
          </mn> 
         </msup> 
        </mrow> 
       </mfrac> 
       <mo>
         + 
       </mo> 
       <mi>
         m 
       </mi> 
      </mrow> 
     </math>, 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mi>
         G 
       </mi> 
       <mi>
         E 
       </mi> 
       <mi>
         D 
       </mi> 
       <mo>
         = 
       </mo> 
       <mfrac> 
        <mn>
          2 
        </mn> 
        <mrow> 
         <msup> 
          <mrow> 
           <mrow> 
            <mo>
              ( 
            </mo> 
            <mrow> 
             <mn>
               2 
             </mn> 
             <mo>
               − 
             </mo> 
             <mn>
               2 
             </mn> 
             <mi>
               n 
             </mi> 
             <mo>
               + 
             </mo> 
             <mi>
               γ 
             </mi> 
            </mrow> 
            <mo>
              ) 
            </mo> 
           </mrow> 
          </mrow> 
          <mn>
            2 
          </mn> 
         </msup> 
        </mrow> 
       </mfrac> 
      </mrow> 
     </math>, 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mi>
         W 
       </mi> 
       <mo>
         = 
       </mo> 
       <mfrac> 
        <mrow> 
         <mrow> 
          <mo>
            ( 
          </mo> 
          <mrow> 
           <mn>
             1 
           </mn> 
           <mo>
             + 
           </mo> 
           <mi>
             γ 
           </mi> 
          </mrow> 
          <mo>
            ) 
          </mo> 
         </mrow> 
        </mrow> 
        <mrow> 
         <msup> 
          <mrow> 
           <mrow> 
            <mo>
              ( 
            </mo> 
            <mrow> 
             <mn>
               2 
             </mn> 
             <mo>
               − 
             </mo> 
             <mn>
               2 
             </mn> 
             <mi>
               n 
             </mi> 
             <mo>
               + 
             </mo> 
             <mi>
               γ 
             </mi> 
            </mrow> 
            <mo>
              ) 
            </mo> 
           </mrow> 
          </mrow> 
          <mn>
            2 
          </mn> 
         </msup> 
        </mrow> 
       </mfrac> 
       <mo>
         + 
       </mo> 
       <mi>
         m 
       </mi> 
      </mrow> 
     </math>.</p>
   </sec>
   <sec id="s2_2">
    <title>2.2. Tourism Policy</title>
    <p>Assuming that the government imposes a per-unit tourism tax t on the tourism industry, the profit functions of the two firms can be expressed as:</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <msub> 
        <mi>
          π 
        </mi> 
        <mi>
          i 
        </mi> 
       </msub> 
       <mo>
         = 
       </mo> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mrow> 
         <mn>
           1 
         </mn> 
         <mo>
           − 
         </mo> 
         <msub> 
          <mi>
            q 
          </mi> 
          <mi>
            i 
          </mi> 
         </msub> 
         <mo>
           − 
         </mo> 
         <mi>
           γ 
         </mi> 
         <msub> 
          <mi>
            q 
          </mi> 
          <mi>
            j 
          </mi> 
         </msub> 
         <mo>
           + 
         </mo> 
         <mi>
           n 
         </mi> 
         <mrow> 
          <mo>
            ( 
          </mo> 
          <mrow> 
           <msub> 
            <mi>
              y 
            </mi> 
            <mi>
              i 
            </mi> 
           </msub> 
           <mo>
             + 
           </mo> 
           <msub> 
            <mi>
              y 
            </mi> 
            <mi>
              j 
            </mi> 
           </msub> 
          </mrow> 
          <mo>
            ) 
          </mo> 
         </mrow> 
         <mo>
           − 
         </mo> 
         <mi>
           t 
         </mi> 
        </mrow> 
        <mo>
          ) 
        </mo> 
       </mrow> 
       <mo>
         ∗ 
       </mo> 
       <msub> 
        <mi>
          q 
        </mi> 
        <mi>
          i 
        </mi> 
       </msub> 
      </mrow> 
     </math>, 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mi>
         i 
       </mi> 
       <mo>
         = 
       </mo> 
       <mn>
         1 
       </mn> 
       <mo>
         , 
       </mo> 
       <mn>
         2 
       </mn> 
      </mrow> 
     </math>. (6)</p>
    <p>The levels of consumer surplus and social welfare can further be expressed as follows:</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mi>
         C 
       </mi> 
       <mi>
         S 
       </mi> 
       <mo>
         = 
       </mo> 
       <mi>
         U 
       </mi> 
       <mo>
         − 
       </mo> 
       <msub> 
        <mi>
          p 
        </mi> 
        <mn>
          1 
        </mn> 
       </msub> 
       <msub> 
        <mi>
          q 
        </mi> 
        <mn>
          1 
        </mn> 
       </msub> 
       <mo>
         − 
       </mo> 
       <msub> 
        <mi>
          p 
        </mi> 
        <mn>
          2 
        </mn> 
       </msub> 
       <msub> 
        <mi>
          q 
        </mi> 
        <mn>
          2 
        </mn> 
       </msub> 
      </mrow> 
     </math>, (7)</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mi>
         W 
       </mi> 
       <mo>
         = 
       </mo> 
       <mi>
         C 
       </mi> 
       <mi>
         S 
       </mi> 
       <mo>
         + 
       </mo> 
       <msub> 
        <mi>
          π 
        </mi> 
        <mn>
          1 
        </mn> 
       </msub> 
       <mo>
         + 
       </mo> 
       <msub> 
        <mi>
          π 
        </mi> 
        <mn>
          2 
        </mn> 
       </msub> 
       <mo>
         + 
       </mo> 
       <mi>
         G 
       </mi> 
       <mi>
         E 
       </mi> 
       <mi>
         D 
       </mi> 
       <mo>
         + 
       </mo> 
       <mi>
         T 
       </mi> 
      </mrow> 
     </math>. (8)</p>
    <p>where 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mi>
         T 
       </mi> 
       <mo>
         = 
       </mo> 
       <mi>
         t 
       </mi> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mrow> 
         <msub> 
          <mi>
            q 
          </mi> 
          <mn>
            1 
          </mn> 
         </msub> 
         <mo>
           + 
         </mo> 
         <msub> 
          <mi>
            q 
          </mi> 
          <mn>
            2 
          </mn> 
         </msub> 
        </mrow> 
        <mo>
          ) 
        </mo> 
       </mrow> 
      </mrow> 
     </math> represents the total tourism tax revenue.</p>
    <p>In the first stage, each firm maximizes its profit function subject to the first-order condition.</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mfrac> 
        <mrow> 
         <mo>
           ∂ 
         </mo> 
         <msub> 
          <mi>
            π 
          </mi> 
          <mi>
            i 
          </mi> 
         </msub> 
        </mrow> 
        <mrow> 
         <mo>
           ∂ 
         </mo> 
         <msub> 
          <mi>
            q 
          </mi> 
          <mi>
            i 
          </mi> 
         </msub> 
        </mrow> 
       </mfrac> 
       <mo>
         = 
       </mo> 
       <mn>
         1 
       </mn> 
       <mo>
         − 
       </mo> 
       <mn>
         2 
       </mn> 
       <msub> 
        <mi>
          q 
        </mi> 
        <mi>
          i 
        </mi> 
       </msub> 
       <mo>
         − 
       </mo> 
       <mi>
         γ 
       </mi> 
       <msub> 
        <mi>
          q 
        </mi> 
        <mi>
          j 
        </mi> 
       </msub> 
       <mo>
         + 
       </mo> 
       <mi>
         n 
       </mi> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mrow> 
         <msub> 
          <mi>
            y 
          </mi> 
          <mi>
            i 
          </mi> 
         </msub> 
         <mo>
           + 
         </mo> 
         <msub> 
          <mi>
            y 
          </mi> 
          <mi>
            j 
          </mi> 
         </msub> 
        </mrow> 
        <mo>
          ) 
        </mo> 
       </mrow> 
       <mo>
         − 
       </mo> 
       <mi>
         t 
       </mi> 
       <mo>
         = 
       </mo> 
       <mn>
         0 
       </mn> 
      </mrow> 
     </math>, 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mi>
         i 
       </mi> 
       <mo>
         , 
       </mo> 
       <mi>
         j 
       </mi> 
       <mo>
         = 
       </mo> 
       <mn>
         1 
       </mn> 
       <mo>
         , 
       </mo> 
       <mn>
         2 
       </mn> 
      </mrow> 
     </math>. (9)</p>
    <p>Assuming rational expectations, 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <msub> 
        <mi>
          y 
        </mi> 
        <mi>
          i 
        </mi> 
       </msub> 
       <mo>
         = 
       </mo> 
       <msub> 
        <mi>
          q 
        </mi> 
        <mi>
          i 
        </mi> 
       </msub> 
      </mrow> 
     </math>. Substituting this into the above expression yields the equilibrium optimal output as shown in Equation (10).</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <msub> 
        <mi>
          q 
        </mi> 
        <mi>
          i 
        </mi> 
       </msub> 
       <mo>
         = 
       </mo> 
       <mfrac> 
        <mrow> 
         <mn>
           1 
         </mn> 
         <mo>
           − 
         </mo> 
         <mi>
           t 
         </mi> 
        </mrow> 
        <mrow> 
         <mn>
           2 
         </mn> 
         <mo>
           − 
         </mo> 
         <mn>
           2 
         </mn> 
         <mi>
           n 
         </mi> 
         <mo>
           + 
         </mo> 
         <mi>
           γ 
         </mi> 
        </mrow> 
       </mfrac> 
      </mrow> 
     </math>, 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mi>
         i 
       </mi> 
       <mo>
         = 
       </mo> 
       <mn>
         1 
       </mn> 
       <mo>
         , 
       </mo> 
       <mn>
         2 
       </mn> 
      </mrow> 
     </math>. (10)</p>
    <p>By conducting a comparative static analysis, the result of Lemma 2 can be derived.</p>
    <p>Lemma 2</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mfrac> 
        <mrow> 
         <mo>
           ∂ 
         </mo> 
         <msub> 
          <mi>
            q 
          </mi> 
          <mi>
            i 
          </mi> 
         </msub> 
        </mrow> 
        <mrow> 
         <mo>
           ∂ 
         </mo> 
         <mi>
           γ 
         </mi> 
        </mrow> 
       </mfrac> 
       <mo>
         = 
       </mo> 
       <mo>
         − 
       </mo> 
       <mfrac> 
        <mrow> 
         <mn>
           1 
         </mn> 
         <mo>
           − 
         </mo> 
         <mi>
           t 
         </mi> 
        </mrow> 
        <mrow> 
         <msup> 
          <mrow> 
           <mrow> 
            <mo>
              ( 
            </mo> 
            <mrow> 
             <mn>
               2 
             </mn> 
             <mo>
               − 
             </mo> 
             <mn>
               2 
             </mn> 
             <mi>
               n 
             </mi> 
             <mo>
               + 
             </mo> 
             <mi>
               γ 
             </mi> 
            </mrow> 
            <mo>
              ) 
            </mo> 
           </mrow> 
          </mrow> 
          <mn>
            2 
          </mn> 
         </msup> 
        </mrow> 
       </mfrac> 
       <mo>
         &lt; 
       </mo> 
       <mn>
         0 
       </mn> 
      </mrow> 
     </math>, 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mfrac> 
        <mrow> 
         <mo>
           ∂ 
         </mo> 
         <msub> 
          <mi>
            q 
          </mi> 
          <mi>
            i 
          </mi> 
         </msub> 
        </mrow> 
        <mrow> 
         <mo>
           ∂ 
         </mo> 
         <mi>
           n 
         </mi> 
        </mrow> 
       </mfrac> 
       <mo>
         = 
       </mo> 
       <mfrac> 
        <mrow> 
         <mn>
           2 
         </mn> 
         <mrow> 
          <mo>
            ( 
          </mo> 
          <mrow> 
           <mn>
             1 
           </mn> 
           <mo>
             − 
           </mo> 
           <mi>
             t 
           </mi> 
          </mrow> 
          <mo>
            ) 
          </mo> 
         </mrow> 
        </mrow> 
        <mrow> 
         <msup> 
          <mrow> 
           <mrow> 
            <mo>
              ( 
            </mo> 
            <mrow> 
             <mn>
               2 
             </mn> 
             <mo>
               − 
             </mo> 
             <mn>
               2 
             </mn> 
             <mi>
               n 
             </mi> 
             <mo>
               + 
             </mo> 
             <mi>
               γ 
             </mi> 
            </mrow> 
            <mo>
              ) 
            </mo> 
           </mrow> 
          </mrow> 
          <mn>
            2 
          </mn> 
         </msup> 
        </mrow> 
       </mfrac> 
       <mo>
         &gt; 
       </mo> 
       <mn>
         0 
       </mn> 
      </mrow> 
     </math>, 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mi>
         i 
       </mi> 
       <mo>
         = 
       </mo> 
       <mn>
         1 
       </mn> 
       <mo>
         , 
       </mo> 
       <mn>
         2 
       </mn> 
      </mrow> 
     </math>.</p>
    <p>Lemma 2 also indicates that a higher degree of tourism product homogeneity is detrimental to the sales of tourism goods, while an increase in the strength of network externalities is beneficial to the overall development of the tourism industry.</p>
   </sec>
   <sec id="s2_3">
    <title>2.3. Government Decision</title>
    <p>At this stage, the government faces market competition with network externalities under perfect foresight, and the level of social welfare can be expressed as follows:</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mi>
         W 
       </mi> 
       <mo>
         = 
       </mo> 
       <mfrac> 
        <mrow> 
         <mrow> 
          <mo>
            ( 
          </mo> 
          <mrow> 
           <mn>
             1 
           </mn> 
           <mo>
             − 
           </mo> 
           <mi>
             t 
           </mi> 
          </mrow> 
          <mo>
            ) 
          </mo> 
         </mrow> 
         <mrow> 
          <mo>
            ( 
          </mo> 
          <mrow> 
           <mn>
             1 
           </mn> 
           <mo>
             + 
           </mo> 
           <mn>
             3 
           </mn> 
           <mi>
             t 
           </mi> 
           <mo>
             − 
           </mo> 
           <mn>
             4 
           </mn> 
           <mi>
             n 
           </mi> 
           <mi>
             t 
           </mi> 
           <mo>
             + 
           </mo> 
           <mrow> 
            <mo>
              ( 
            </mo> 
            <mrow> 
             <mn>
               1 
             </mn> 
             <mo>
               + 
             </mo> 
             <mi>
               t 
             </mi> 
            </mrow> 
            <mo>
              ) 
            </mo> 
           </mrow> 
           <mi>
             γ 
           </mi> 
          </mrow> 
          <mo>
            ) 
          </mo> 
         </mrow> 
        </mrow> 
        <mrow> 
         <msup> 
          <mrow> 
           <mrow> 
            <mo>
              ( 
            </mo> 
            <mrow> 
             <mn>
               2 
             </mn> 
             <mo>
               − 
             </mo> 
             <mn>
               2 
             </mn> 
             <mi>
               n 
             </mi> 
             <mo>
               + 
             </mo> 
             <mi>
               γ 
             </mi> 
            </mrow> 
            <mo>
              ) 
            </mo> 
           </mrow> 
          </mrow> 
          <mn>
            2 
          </mn> 
         </msup> 
        </mrow> 
       </mfrac> 
       <mo>
         + 
       </mo> 
       <mi>
         m 
       </mi> 
      </mrow> 
     </math> (11)</p>
    <p>To satisfy the first-order condition and second-order condition (SOC), the constraint 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mrow> 
         <mn>
           3 
         </mn> 
         <mo>
           + 
         </mo> 
         <mi>
           γ 
         </mi> 
        </mrow> 
        <mo>
          ) 
        </mo> 
       </mrow> 
       <mo>
         &gt; 
       </mo> 
       <mn>
         4 
       </mn> 
       <mi>
         n 
       </mi> 
      </mrow> 
     </math> must hold, implying that an interior solution exists under the assumption of relatively small network externalities.</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mfrac> 
        <mrow> 
         <mo>
           ∂ 
         </mo> 
         <mi>
           W 
         </mi> 
        </mrow> 
        <mrow> 
         <mo>
           ∂ 
         </mo> 
         <mi>
           t 
         </mi> 
        </mrow> 
       </mfrac> 
       <mo>
         = 
       </mo> 
       <mfrac> 
        <mrow> 
         <mn>
           2 
         </mn> 
         <mo>
           + 
         </mo> 
         <mi>
           n 
         </mi> 
         <mrow> 
          <mo>
            ( 
          </mo> 
          <mrow> 
           <mo>
             − 
           </mo> 
           <mn>
             4 
           </mn> 
           <mo>
             + 
           </mo> 
           <mn>
             8 
           </mn> 
           <mi>
             t 
           </mi> 
          </mrow> 
          <mo>
            ) 
          </mo> 
         </mrow> 
         <mo>
           − 
         </mo> 
         <mn>
           2 
         </mn> 
         <mi>
           t 
         </mi> 
         <mrow> 
          <mo>
            ( 
          </mo> 
          <mrow> 
           <mn>
             3 
           </mn> 
           <mo>
             + 
           </mo> 
           <mi>
             γ 
           </mi> 
          </mrow> 
          <mo>
            ) 
          </mo> 
         </mrow> 
        </mrow> 
        <mrow> 
         <msup> 
          <mrow> 
           <mrow> 
            <mo>
              ( 
            </mo> 
            <mrow> 
             <mn>
               2 
             </mn> 
             <mo>
               − 
             </mo> 
             <mn>
               2 
             </mn> 
             <mi>
               n 
             </mi> 
             <mo>
               + 
             </mo> 
             <mi>
               γ 
             </mi> 
            </mrow> 
            <mo>
              ) 
            </mo> 
           </mrow> 
          </mrow> 
          <mn>
            2 
          </mn> 
         </msup> 
        </mrow> 
       </mfrac> 
       <mo>
         = 
       </mo> 
       <mn>
         0 
       </mn> 
      </mrow> 
     </math>,</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mfrac> 
        <mrow> 
         <msup> 
          <mo>
            ∂ 
          </mo> 
          <mn>
            2 
          </mn> 
         </msup> 
         <mi>
           W 
         </mi> 
        </mrow> 
        <mrow> 
         <mo>
           ∂ 
         </mo> 
         <msup> 
          <mi>
            t 
          </mi> 
          <mn>
            2 
          </mn> 
         </msup> 
        </mrow> 
       </mfrac> 
       <mo>
         = 
       </mo> 
       <mo>
         − 
       </mo> 
       <mfrac> 
        <mrow> 
         <mn>
           2 
         </mn> 
         <mrow> 
          <mo>
            ( 
          </mo> 
          <mrow> 
           <mn>
             3 
           </mn> 
           <mo>
             + 
           </mo> 
           <mi>
             γ 
           </mi> 
          </mrow> 
          <mo>
            ) 
          </mo> 
         </mrow> 
         <mo>
           − 
         </mo> 
         <mn>
           8 
         </mn> 
         <mi>
           n 
         </mi> 
        </mrow> 
        <mrow> 
         <msup> 
          <mrow> 
           <mrow> 
            <mo>
              ( 
            </mo> 
            <mrow> 
             <mn>
               2 
             </mn> 
             <mo>
               − 
             </mo> 
             <mn>
               2 
             </mn> 
             <mi>
               n 
             </mi> 
             <mo>
               + 
             </mo> 
             <mi>
               γ 
             </mi> 
            </mrow> 
            <mo>
              ) 
            </mo> 
           </mrow> 
          </mrow> 
          <mn>
            2 
          </mn> 
         </msup> 
        </mrow> 
       </mfrac> 
       <mo>
         &lt; 
       </mo> 
       <mn>
         0 
       </mn> 
      </mrow> 
     </math>.</p>
    <p>The optimal tourism tax can thus be derived as:</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <msup> 
        <mi>
          t 
        </mi> 
        <mo>
          * 
        </mo> 
       </msup> 
       <mo>
         = 
       </mo> 
       <mfrac> 
        <mrow> 
         <mn>
           1 
         </mn> 
         <mo>
           − 
         </mo> 
         <mn>
           2 
         </mn> 
         <mi>
           n 
         </mi> 
        </mrow> 
        <mrow> 
         <mn>
           3 
         </mn> 
         <mo>
           − 
         </mo> 
         <mn>
           4 
         </mn> 
         <mi>
           n 
         </mi> 
         <mo>
           + 
         </mo> 
         <mi>
           γ 
         </mi> 
        </mrow> 
       </mfrac> 
       <mo>
         &gt; 
       </mo> 
       <mn>
         0 
       </mn> 
      </mrow> 
     </math> iff 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mi>
         n 
       </mi> 
       <mo>
         &lt; 
       </mo> 
       <mfrac> 
        <mn>
          1 
        </mn> 
        <mn>
          2 
        </mn> 
       </mfrac> 
      </mrow> 
     </math>. (12)</p>
    <p>Equation (12) indicates that under the maximization of social welfare, tourism policy depends on the magnitude of network externalities. When the network externality in the tourism industry is relatively small, the optimal tourism policy should impose a tourism tax; conversely, when the network externality is relatively large, a tourism subsidy should be adopted.</p>
    <p>Furthermore, the equilibrium values of the relevant economic parameters can be derived as follows.</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <msub> 
        <mi>
          π 
        </mi> 
        <mn>
          1 
        </mn> 
       </msub> 
       <mo>
         = 
       </mo> 
       <msub> 
        <mi>
          π 
        </mi> 
        <mn>
          2 
        </mn> 
       </msub> 
       <mo>
         = 
       </mo> 
       <mfrac> 
        <mn>
          1 
        </mn> 
        <mrow> 
         <msup> 
          <mrow> 
           <mrow> 
            <mo>
              ( 
            </mo> 
            <mrow> 
             <mn>
               3 
             </mn> 
             <mo>
               − 
             </mo> 
             <mn>
               4 
             </mn> 
             <mi>
               n 
             </mi> 
             <mo>
               + 
             </mo> 
             <mi>
               γ 
             </mi> 
            </mrow> 
            <mo>
              ) 
            </mo> 
           </mrow> 
          </mrow> 
          <mn>
            2 
          </mn> 
         </msup> 
        </mrow> 
       </mfrac> 
      </mrow> 
     </math>, 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mi>
         C 
       </mi> 
       <mi>
         S 
       </mi> 
       <mo>
         = 
       </mo> 
       <mfrac> 
        <mrow> 
         <mn>
           1 
         </mn> 
         <mo>
           + 
         </mo> 
         <mi>
           γ 
         </mi> 
        </mrow> 
        <mrow> 
         <msup> 
          <mrow> 
           <mrow> 
            <mo>
              ( 
            </mo> 
            <mrow> 
             <mn>
               3 
             </mn> 
             <mo>
               − 
             </mo> 
             <mn>
               4 
             </mn> 
             <mi>
               n 
             </mi> 
             <mo>
               + 
             </mo> 
             <mi>
               γ 
             </mi> 
            </mrow> 
            <mo>
              ) 
            </mo> 
           </mrow> 
          </mrow> 
          <mn>
            2 
          </mn> 
         </msup> 
        </mrow> 
       </mfrac> 
       <mo>
         + 
       </mo> 
       <mi>
         m 
       </mi> 
      </mrow> 
     </math>, 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mi>
         G 
       </mi> 
       <mi>
         E 
       </mi> 
       <mi>
         D 
       </mi> 
       <mo>
         = 
       </mo> 
       <mfrac> 
        <mn>
          2 
        </mn> 
        <mrow> 
         <msup> 
          <mrow> 
           <mrow> 
            <mo>
              ( 
            </mo> 
            <mrow> 
             <mn>
               3 
             </mn> 
             <mo>
               − 
             </mo> 
             <mn>
               4 
             </mn> 
             <mi>
               n 
             </mi> 
             <mo>
               + 
             </mo> 
             <mi>
               γ 
             </mi> 
            </mrow> 
            <mo>
              ) 
            </mo> 
           </mrow> 
          </mrow> 
          <mn>
            2 
          </mn> 
         </msup> 
        </mrow> 
       </mfrac> 
      </mrow> 
     </math>, 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mi>
         W 
       </mi> 
       <mo>
         = 
       </mo> 
       <mfrac> 
        <mn>
          1 
        </mn> 
        <mrow> 
         <mn>
           3 
         </mn> 
         <mo>
           − 
         </mo> 
         <mn>
           4 
         </mn> 
         <mi>
           n 
         </mi> 
         <mo>
           + 
         </mo> 
         <mi>
           γ 
         </mi> 
        </mrow> 
       </mfrac> 
       <mo>
         + 
       </mo> 
       <mi>
         m 
       </mi> 
      </mrow> 
     </math>.</p>
   </sec>
  </sec><sec id="s3">
   <title>3. Welfare Analysis</title>
   <p>According to the above discussion in Section 2 of this paper, the firms’ profits and consumer surplus in the absence of tourism policies, denoted by the superscript N, are given respectively by:</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msubsup> 
       <mi>
         π 
       </mi> 
       <mi>
         i 
       </mi> 
       <mi>
         N 
       </mi> 
      </msubsup> 
      <mo>
        = 
      </mo> 
      <mfrac> 
       <mn>
         1 
       </mn> 
       <mrow> 
        <msup> 
         <mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mn>
              2 
            </mn> 
            <mo>
              − 
            </mo> 
            <mn>
              2 
            </mn> 
            <mi>
              n 
            </mi> 
            <mo>
              + 
            </mo> 
            <mi>
              γ 
            </mi> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
         <mn>
           2 
         </mn> 
        </msup> 
       </mrow> 
      </mfrac> 
     </mrow> 
    </math>, 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        i 
      </mi> 
      <mo>
        = 
      </mo> 
      <mn>
        1 
      </mn> 
      <mo>
        , 
      </mo> 
      <mn>
        2 
      </mn> 
     </mrow> 
    </math>,</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        C 
      </mi> 
      <msup> 
       <mi>
         S 
       </mi> 
       <mi>
         N 
       </mi> 
      </msup> 
      <mo>
        = 
      </mo> 
      <mfrac> 
       <mrow> 
        <mn>
          1 
        </mn> 
        <mo>
          + 
        </mo> 
        <mi>
          γ 
        </mi> 
       </mrow> 
       <mrow> 
        <msup> 
         <mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mn>
              2 
            </mn> 
            <mo>
              − 
            </mo> 
            <mn>
              2 
            </mn> 
            <mi>
              n 
            </mi> 
            <mo>
              + 
            </mo> 
            <mi>
              γ 
            </mi> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
         <mn>
           2 
         </mn> 
        </msup> 
       </mrow> 
      </mfrac> 
      <mo>
        + 
      </mo> 
      <mi>
        m 
      </mi> 
     </mrow> 
    </math>.</p>
   <p>Under the tourism policy, the firms’ profits and consumer surplus, denoted by the superscript S, are given respectively by:</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msubsup> 
       <mi>
         π 
       </mi> 
       <mi>
         i 
       </mi> 
       <mi>
         S 
       </mi> 
      </msubsup> 
      <mo>
        = 
      </mo> 
      <mfrac> 
       <mn>
         1 
       </mn> 
       <mrow> 
        <msup> 
         <mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mn>
              3 
            </mn> 
            <mo>
              − 
            </mo> 
            <mn>
              4 
            </mn> 
            <mi>
              n 
            </mi> 
            <mo>
              + 
            </mo> 
            <mi>
              γ 
            </mi> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
         <mn>
           2 
         </mn> 
        </msup> 
       </mrow> 
      </mfrac> 
     </mrow> 
    </math> 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        i 
      </mi> 
      <mo>
        = 
      </mo> 
      <mn>
        1 
      </mn> 
      <mo>
        , 
      </mo> 
      <mn>
        2 
      </mn> 
     </mrow> 
    </math>,</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        C 
      </mi> 
      <msup> 
       <mi>
         S 
       </mi> 
       <mi>
         S 
       </mi> 
      </msup> 
      <mo>
        = 
      </mo> 
      <mfrac> 
       <mrow> 
        <mn>
          1 
        </mn> 
        <mo>
          + 
        </mo> 
        <mi>
          γ 
        </mi> 
       </mrow> 
       <mrow> 
        <msup> 
         <mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mn>
              3 
            </mn> 
            <mo>
              − 
            </mo> 
            <mn>
              4 
            </mn> 
            <mi>
              n 
            </mi> 
            <mo>
              + 
            </mo> 
            <mi>
              γ 
            </mi> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
         <mn>
           2 
         </mn> 
        </msup> 
       </mrow> 
      </mfrac> 
      <mo>
        + 
      </mo> 
      <mi>
        m 
      </mi> 
     </mrow> 
    </math>.</p>
   <p>Under the condition of network externalities (subject to the constraint 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mn>
          3 
        </mn> 
        <mo>
          + 
        </mo> 
        <mi>
          γ 
        </mi> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        &gt; 
      </mo> 
      <mn>
        4 
      </mn> 
      <mi>
        n 
      </mi> 
     </mrow> 
    </math>), we obtain:</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msubsup> 
       <mi>
         π 
       </mi> 
       <mi>
         i 
       </mi> 
       <mi>
         S 
       </mi> 
      </msubsup> 
      <mo>
        − 
      </mo> 
      <msubsup> 
       <mi>
         π 
       </mi> 
       <mi>
         i 
       </mi> 
       <mi>
         N 
       </mi> 
      </msubsup> 
      <mo>
        = 
      </mo> 
      <mfrac> 
       <mn>
         1 
       </mn> 
       <mrow> 
        <msup> 
         <mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mn>
              3 
            </mn> 
            <mo>
              − 
            </mo> 
            <mn>
              4 
            </mn> 
            <mi>
              n 
            </mi> 
            <mo>
              + 
            </mo> 
            <mi>
              γ 
            </mi> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
         <mn>
           2 
         </mn> 
        </msup> 
       </mrow> 
      </mfrac> 
      <mo>
        − 
      </mo> 
      <mfrac> 
       <mn>
         1 
       </mn> 
       <mrow> 
        <msup> 
         <mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mn>
              2 
            </mn> 
            <mo>
              − 
            </mo> 
            <mn>
              2 
            </mn> 
            <mi>
              n 
            </mi> 
            <mo>
              + 
            </mo> 
            <mi>
              γ 
            </mi> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
         <mn>
           2 
         </mn> 
        </msup> 
       </mrow> 
      </mfrac> 
      <mo>
        = 
      </mo> 
      <mfrac> 
       <mrow> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mn>
            2 
          </mn> 
          <mi>
            n 
          </mi> 
          <mo>
            − 
          </mo> 
          <mn>
            1 
          </mn> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mn>
            5 
          </mn> 
          <mo>
            − 
          </mo> 
          <mn>
            6 
          </mn> 
          <mi>
            n 
          </mi> 
          <mo>
            + 
          </mo> 
          <mn>
            2 
          </mn> 
          <mi>
            γ 
          </mi> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
       </mrow> 
       <mrow> 
        <msup> 
         <mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mn>
              2 
            </mn> 
            <mo>
              − 
            </mo> 
            <mn>
              2 
            </mn> 
            <mi>
              n 
            </mi> 
            <mo>
              + 
            </mo> 
            <mi>
              γ 
            </mi> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
         <mn>
           2 
         </mn> 
        </msup> 
        <msup> 
         <mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mn>
              3 
            </mn> 
            <mo>
              − 
            </mo> 
            <mn>
              4 
            </mn> 
            <mi>
              n 
            </mi> 
            <mo>
              + 
            </mo> 
            <mi>
              γ 
            </mi> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
         <mn>
           2 
         </mn> 
        </msup> 
       </mrow> 
      </mfrac> 
      <mo>
        &lt; 
      </mo> 
      <mn>
        0 
      </mn> 
     </mrow> 
    </math> iff 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        n 
      </mi> 
      <mo>
        &lt; 
      </mo> 
      <mfrac> 
       <mn>
         1 
       </mn> 
       <mn>
         2 
       </mn> 
      </mfrac> 
     </mrow> 
    </math>,</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        C 
      </mi> 
      <msup> 
       <mi>
         S 
       </mi> 
       <mi>
         S 
       </mi> 
      </msup> 
      <mo>
        − 
      </mo> 
      <mi>
        C 
      </mi> 
      <msup> 
       <mi>
         S 
       </mi> 
       <mi>
         N 
       </mi> 
      </msup> 
      <mo>
        = 
      </mo> 
      <mfrac> 
       <mrow> 
        <mn>
          1 
        </mn> 
        <mo>
          + 
        </mo> 
        <mi>
          γ 
        </mi> 
       </mrow> 
       <mrow> 
        <msup> 
         <mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mn>
              3 
            </mn> 
            <mo>
              − 
            </mo> 
            <mn>
              4 
            </mn> 
            <mi>
              n 
            </mi> 
            <mo>
              + 
            </mo> 
            <mi>
              γ 
            </mi> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
         <mn>
           2 
         </mn> 
        </msup> 
       </mrow> 
      </mfrac> 
      <mo>
        − 
      </mo> 
      <mfrac> 
       <mrow> 
        <mn>
          1 
        </mn> 
        <mo>
          + 
        </mo> 
        <mi>
          γ 
        </mi> 
       </mrow> 
       <mrow> 
        <msup> 
         <mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mn>
              2 
            </mn> 
            <mo>
              − 
            </mo> 
            <mn>
              2 
            </mn> 
            <mi>
              n 
            </mi> 
            <mo>
              + 
            </mo> 
            <mi>
              γ 
            </mi> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
         <mn>
           2 
         </mn> 
        </msup> 
       </mrow> 
      </mfrac> 
      <mo>
        = 
      </mo> 
      <mfrac> 
       <mrow> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mn>
            2 
          </mn> 
          <mi>
            n 
          </mi> 
          <mo>
            − 
          </mo> 
          <mn>
            1 
          </mn> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mn>
            1 
          </mn> 
          <mo>
            + 
          </mo> 
          <mi>
            γ 
          </mi> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mn>
            5 
          </mn> 
          <mo>
            − 
          </mo> 
          <mn>
            6 
          </mn> 
          <mi>
            n 
          </mi> 
          <mo>
            + 
          </mo> 
          <mn>
            2 
          </mn> 
          <mi>
            γ 
          </mi> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
       </mrow> 
       <mrow> 
        <msup> 
         <mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mn>
              3 
            </mn> 
            <mo>
              − 
            </mo> 
            <mn>
              4 
            </mn> 
            <mi>
              n 
            </mi> 
            <mo>
              + 
            </mo> 
            <mi>
              γ 
            </mi> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
         <mn>
           2 
         </mn> 
        </msup> 
        <msup> 
         <mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mn>
              2 
            </mn> 
            <mo>
              − 
            </mo> 
            <mn>
              2 
            </mn> 
            <mi>
              n 
            </mi> 
            <mo>
              + 
            </mo> 
            <mi>
              γ 
            </mi> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
         <mn>
           2 
         </mn> 
        </msup> 
       </mrow> 
      </mfrac> 
      <mo>
        &lt; 
      </mo> 
      <mn>
        0 
      </mn> 
     </mrow> 
    </math> iff 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        n 
      </mi> 
      <mo>
        &lt; 
      </mo> 
      <mfrac> 
       <mn>
         1 
       </mn> 
       <mn>
         2 
       </mn> 
      </mfrac> 
     </mrow> 
    </math>.</p>
   <p>As shown in the preceding analysis, when network externalities are relatively small, the government will impose a tourism tax, which reduces the profits of all firms as well as consumer surplus. Under the condition of low network externalities in the tourism industry, the tourism tax is detrimental to both firms and consumer surplus. Accordingly, Proposition 1 is derived:</p>
   <p>Proposition 1: In a tourism industry characterized by both network externalities and tourism-generated pollution, when the level of network externalities is low, the imposition of a tourism tax by the government reduces the profits of all firms and simultaneously decreases consumer surplus. Conversely, when network externalities are strong, the government will provide tourism subsidies, which increase the profits of all firms and also enhance consumer surplus.</p>
   <p>Based on the results of Proposition 1, it is known that firms’ profits and consumer welfare may benefit from tourism policies. However, whether tourism-related environmental damage and social welfare change due to these policies requires further analysis. According to the analysis in Section 2, the environmental damage function and social welfare level without tourism policies are denoted by the superscript N; those with tourism policies are denoted by the superscript 𝑆. They are expressed as follows, respectively:</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        G 
      </mi> 
      <mi>
        E 
      </mi> 
      <msup> 
       <mi>
         D 
       </mi> 
       <mi>
         N 
       </mi> 
      </msup> 
      <mo>
        = 
      </mo> 
      <mfrac> 
       <mn>
         2 
       </mn> 
       <mrow> 
        <msup> 
         <mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mn>
              2 
            </mn> 
            <mo>
              − 
            </mo> 
            <mn>
              2 
            </mn> 
            <mi>
              n 
            </mi> 
            <mo>
              + 
            </mo> 
            <mi>
              γ 
            </mi> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
         <mn>
           2 
         </mn> 
        </msup> 
       </mrow> 
      </mfrac> 
     </mrow> 
    </math>, 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msup> 
       <mi>
         W 
       </mi> 
       <mi>
         N 
       </mi> 
      </msup> 
      <mo>
        = 
      </mo> 
      <mfrac> 
       <mrow> 
        <mn>
          1 
        </mn> 
        <mo>
          + 
        </mo> 
        <mi>
          γ 
        </mi> 
       </mrow> 
       <mrow> 
        <msup> 
         <mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mn>
              2 
            </mn> 
            <mo>
              − 
            </mo> 
            <mn>
              2 
            </mn> 
            <mi>
              n 
            </mi> 
            <mo>
              + 
            </mo> 
            <mi>
              γ 
            </mi> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
         <mn>
           2 
         </mn> 
        </msup> 
       </mrow> 
      </mfrac> 
      <mo>
        + 
      </mo> 
      <mi>
        m 
      </mi> 
     </mrow> 
    </math>,</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        G 
      </mi> 
      <mi>
        E 
      </mi> 
      <msup> 
       <mi>
         D 
       </mi> 
       <mi>
         S 
       </mi> 
      </msup> 
      <mo>
        = 
      </mo> 
      <mfrac> 
       <mn>
         2 
       </mn> 
       <mrow> 
        <msup> 
         <mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mn>
              3 
            </mn> 
            <mo>
              − 
            </mo> 
            <mn>
              4 
            </mn> 
            <mi>
              n 
            </mi> 
            <mo>
              + 
            </mo> 
            <mi>
              γ 
            </mi> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
         <mn>
           2 
         </mn> 
        </msup> 
       </mrow> 
      </mfrac> 
     </mrow> 
    </math>, 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msup> 
       <mi>
         W 
       </mi> 
       <mi>
         S 
       </mi> 
      </msup> 
      <mo>
        = 
      </mo> 
      <mfrac> 
       <mn>
         1 
       </mn> 
       <mrow> 
        <mn>
          3 
        </mn> 
        <mo>
          − 
        </mo> 
        <mn>
          4 
        </mn> 
        <mi>
          n 
        </mi> 
        <mo>
          + 
        </mo> 
        <mi>
          γ 
        </mi> 
       </mrow> 
      </mfrac> 
      <mo>
        + 
      </mo> 
      <mi>
        m 
      </mi> 
     </mrow> 
    </math>.</p>
   <p>We obtain</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        G 
      </mi> 
      <mi>
        E 
      </mi> 
      <msup> 
       <mi>
         D 
       </mi> 
       <mi>
         S 
       </mi> 
      </msup> 
      <mo>
        − 
      </mo> 
      <mi>
        G 
      </mi> 
      <mi>
        E 
      </mi> 
      <msup> 
       <mi>
         D 
       </mi> 
       <mi>
         N 
       </mi> 
      </msup> 
      <mo>
        = 
      </mo> 
      <mfrac> 
       <mn>
         2 
       </mn> 
       <mrow> 
        <msup> 
         <mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mn>
              3 
            </mn> 
            <mo>
              − 
            </mo> 
            <mn>
              4 
            </mn> 
            <mi>
              n 
            </mi> 
            <mo>
              + 
            </mo> 
            <mi>
              γ 
            </mi> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
         <mn>
           2 
         </mn> 
        </msup> 
       </mrow> 
      </mfrac> 
      <mo>
        − 
      </mo> 
      <mfrac> 
       <mn>
         2 
       </mn> 
       <mrow> 
        <msup> 
         <mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mn>
              2 
            </mn> 
            <mo>
              − 
            </mo> 
            <mn>
              2 
            </mn> 
            <mi>
              n 
            </mi> 
            <mo>
              + 
            </mo> 
            <mi>
              γ 
            </mi> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
         <mn>
           2 
         </mn> 
        </msup> 
       </mrow> 
      </mfrac> 
      <mo>
        = 
      </mo> 
      <mfrac> 
       <mrow> 
        <mn>
          2 
        </mn> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mn>
            2 
          </mn> 
          <mi>
            n 
          </mi> 
          <mo>
            − 
          </mo> 
          <mn>
            1 
          </mn> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mn>
            5 
          </mn> 
          <mo>
            − 
          </mo> 
          <mn>
            6 
          </mn> 
          <mi>
            n 
          </mi> 
          <mo>
            + 
          </mo> 
          <mn>
            2 
          </mn> 
          <mi>
            γ 
          </mi> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
       </mrow> 
       <mrow> 
        <msup> 
         <mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mn>
              2 
            </mn> 
            <mo>
              − 
            </mo> 
            <mn>
              2 
            </mn> 
            <mi>
              n 
            </mi> 
            <mo>
              + 
            </mo> 
            <mi>
              γ 
            </mi> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
         <mn>
           2 
         </mn> 
        </msup> 
        <msup> 
         <mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mn>
              3 
            </mn> 
            <mo>
              − 
            </mo> 
            <mn>
              4 
            </mn> 
            <mi>
              n 
            </mi> 
            <mo>
              + 
            </mo> 
            <mi>
              γ 
            </mi> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
         <mn>
           2 
         </mn> 
        </msup> 
       </mrow> 
      </mfrac> 
      <mo>
        &lt; 
      </mo> 
      <mn>
        0 
      </mn> 
     </mrow> 
    </math> iff 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        n 
      </mi> 
      <mo>
        &lt; 
      </mo> 
      <mfrac> 
       <mn>
         1 
       </mn> 
       <mn>
         2 
       </mn> 
      </mfrac> 
     </mrow> 
    </math>.</p>
   <p>From the preceding analysis, it follows that when network externalities are relatively small, the government will impose a tourism tax, which reduces the environmental damage caused by tourism. Under the tourism tax policy, environmental harm will inevitably decrease. Conversely, when network externalities are relatively large, the government will implement tourism subsidies, which simultaneously increase the level of environmental damage.</p>
   <p>By comparing the levels of social welfare, we can obtain</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msup> 
       <mi>
         W 
       </mi> 
       <mi>
         S 
       </mi> 
      </msup> 
      <mo>
        − 
      </mo> 
      <msup> 
       <mi>
         W 
       </mi> 
       <mi>
         N 
       </mi> 
      </msup> 
      <mo>
        = 
      </mo> 
      <mfrac> 
       <mn>
         1 
       </mn> 
       <mrow> 
        <mn>
          3 
        </mn> 
        <mo>
          − 
        </mo> 
        <mn>
          4 
        </mn> 
        <mi>
          n 
        </mi> 
        <mo>
          + 
        </mo> 
        <mi>
          γ 
        </mi> 
       </mrow> 
      </mfrac> 
      <mo>
        − 
      </mo> 
      <mfrac> 
       <mrow> 
        <mn>
          1 
        </mn> 
        <mo>
          + 
        </mo> 
        <mi>
          γ 
        </mi> 
       </mrow> 
       <mrow> 
        <msup> 
         <mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mn>
              2 
            </mn> 
            <mo>
              − 
            </mo> 
            <mn>
              2 
            </mn> 
            <mi>
              n 
            </mi> 
            <mo>
              + 
            </mo> 
            <mi>
              γ 
            </mi> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
         <mn>
           2 
         </mn> 
        </msup> 
       </mrow> 
      </mfrac> 
      <mo>
        = 
      </mo> 
      <mfrac> 
       <mrow> 
        <msup> 
         <mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mn>
              2 
            </mn> 
            <mi>
              n 
            </mi> 
            <mo>
              − 
            </mo> 
            <mn>
              1 
            </mn> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
         <mn>
           2 
         </mn> 
        </msup> 
       </mrow> 
       <mrow> 
        <msup> 
         <mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mn>
              2 
            </mn> 
            <mo>
              − 
            </mo> 
            <mn>
              2 
            </mn> 
            <mi>
              n 
            </mi> 
            <mo>
              + 
            </mo> 
            <mi>
              γ 
            </mi> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
         <mn>
           2 
         </mn> 
        </msup> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mn>
            3 
          </mn> 
          <mo>
            − 
          </mo> 
          <mn>
            4 
          </mn> 
          <mi>
            n 
          </mi> 
          <mo>
            + 
          </mo> 
          <mi>
            γ 
          </mi> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
       </mrow> 
      </mfrac> 
      <mo>
        &gt; 
      </mo> 
      <mn>
        0 
      </mn> 
     </mrow> 
    </math>.</p>
   <p>As evidenced by the above finding, when network externalities are relatively small (large), the government will impose a tourism tax (grant a tourism subsidy). However, as long as an environmental policy is implemented, the government will inevitably enhance overall social welfare. Accordingly, the following proposition can be established:</p>
   <p>Proposition 2: In the presence of network externalities and tourism-related environmental pollution, government intervention through the imposition of a tourism tax or the provision of a tourism subsidy will necessarily lead to an improvement in social welfare.</p>
   <p>The result of Proposition 2 suggests that policy intervention is beneficial to overall social welfare, thereby supporting a positive stance toward government involvement in the tourism sector.</p>
  </sec><sec id="s4">
   <title>4. Conclusion</title>
   <p>This study employs a two-stage game model to analyze the effects of tourism policies on firms’ profits, consumer welfare, environmental damage from tourism, and overall social welfare, considering both network externalities and tourism-related pollution characteristics in the tourism industry. The key findings are as follows: when network externalities in tourism are relatively low, the government should impose a tourism tax to reduce environmental pollution, which, however, adversely affects firms’ profits and consumer benefits; conversely, when network externalities are high, the government should provide tourism subsidies to enhance firms’ profits and consumer benefits, although this worsens environmental pollution. Regardless of whether a tourism tax is levied or subsidies are provided, government intervention in tourism policies is beneficial for improving social welfare.</p>
   <p>While this assumption provides a rationale for government intervention, the analysis could be strengthened by incorporating specific environmental regulatory instruments, such as plastic-use restrictions or broader environmental load control policies. These considerations may offer promising directions for extending the model.</p>
   <p>The current model does not consider the timing of moves or the nature of competition. In practice, competition in the tourism sector often takes the form of price competition or Stackelberg-type channel competition. Incorporating market structure considerations or channel-based externalities may yield different or even opposing results compared to those presented in the current study.</p>
  </sec>
 </body><back>
  <ref-list>
   <title>References</title>
   <ref id="scirp.146065-ref1">
    <label>1</label>
    <mixed-citation publication-type="other" xlink:type="simple">
     Economides, N. (1996). Network Externalities, Complementarities, and Invitations to Enter. European Journal of Political Economy, 12, 211-233. &gt;https://doi.org/10.1016/0176-2680(95)00014-3 
    </mixed-citation>
   </ref>
   <ref id="scirp.146065-ref2">
    <label>2</label>
    <mixed-citation publication-type="other" xlink:type="simple">
     Farrell, J.,&amp;Saloner, G. (1986). Standardization and Variety. Economics Letters, 20, 71-74. &gt;https://doi.org/10.1016/0165-1765(86)90084-4 
    </mixed-citation>
   </ref>
   <ref id="scirp.146065-ref3">
    <label>3</label>
    <mixed-citation publication-type="other" xlink:type="simple">
     Giovannetti, E.,&amp;Hamoudia, M. (2022). The Interaction between Direct and Indirect Network Externalities in the Early Diffusion of Mobile Social Networking. Eurasian Business Review, 12, 617-642. &gt;https://doi.org/10.1007/s40821-022-00208-1 
    </mixed-citation>
   </ref>
   <ref id="scirp.146065-ref4">
    <label>4</label>
    <mixed-citation publication-type="other" xlink:type="simple">
     Katz, M. L.,&amp;Shapiro, C. (1985). Network Externalities, Competition, and Compatibility. The American Economic Review, 75, 424-440.
    </mixed-citation>
   </ref>
   <ref id="scirp.146065-ref5">
    <label>5</label>
    <mixed-citation publication-type="other" xlink:type="simple">
     Liebowitz, S. J.,&amp;Margolis, S. E. (1994). Network Externality: An Uncommon Tragedy. Journal of Economic Perspectives, 8, 133-150. &gt;https://doi.org/10.1257/jep.8.2.133 
    </mixed-citation>
   </ref>
   <ref id="scirp.146065-ref6">
    <label>6</label>
    <mixed-citation publication-type="other" xlink:type="simple">
     Song, R.,&amp;Wang, L. F. (2017). Collusion in a Differentiated Duopoly with Network Externalities. Economics Letters, 152, 23-26. &gt;https://doi.org/10.1016/j.econlet.2016.12.032
    </mixed-citation>
   </ref>
  </ref-list>
 </back>
</article>