<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.4 20241031//EN" "JATS-journalpublishing1-4.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" article-type="research-article" dtd-version="1.4" xml:lang="en">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher-id">jamp</journal-id>
      <journal-title-group>
        <journal-title>Journal of Applied Mathematics and Physics</journal-title>
      </journal-title-group>
      <issn pub-type="epub">2327-4379</issn>
      <issn pub-type="ppub">2327-4352</issn>
      <publisher>
        <publisher-name>Scientific Research Publishing</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.4236/jamp.2026.141019</article-id>
      <article-id pub-id-type="publisher-id">jamp-149171</article-id>
      <article-categories>
        <subj-group>
          <subject>Article</subject>
        </subj-group>
        <subj-group>
          <subject>Physics</subject>
          <subject>Mathematics</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>Propagation of Emotions and Attitudes in Football</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <name name-style="western">
            <surname>Diop</surname>
            <given-names>Mamadou Moustapha</given-names>
          </name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <name name-style="western">
            <surname>Sonko</surname>
            <given-names>Aliou</given-names>
          </name>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
      </contrib-group>
      <aff id="aff1"><label>1</label> Department of Applied Mathematics, University Alioune Diop de Bambey, Thies, Senegal </aff>
      <aff id="aff2"><label>2</label> Department of Applied Mathematics, University Iba Der Thiam de Thies, Thies, Senegal </aff>
      <author-notes>
        <fn fn-type="conflict" id="fn-conflict">
          <p>The authors declare no conflicts of interest regarding the publication of this paper.</p>
        </fn>
      </author-notes>
      <pub-date pub-type="epub">
        <day>01</day>
        <month>01</month>
        <year>2026</year>
      </pub-date>
      <pub-date pub-type="collection">
        <month>01</month>
        <year>2026</year>
      </pub-date>
      <volume>14</volume>
      <issue>01</issue>
      <fpage>350</fpage>
      <lpage>372</lpage>
      <history>
        <date date-type="received">
          <day>24</day>
          <month>10</month>
          <year>2025</year>
        </date>
        <date date-type="accepted">
          <day>24</day>
          <month>01</month>
          <year>2026</year>
        </date>
        <date date-type="published">
          <day>27</day>
          <month>01</month>
          <year>2026</year>
        </date>
      </history>
      <permissions>
        <copyright-statement>© 2026 by the authors and Scientific Research Publishing Inc.</copyright-statement>
        <copyright-year>2026</copyright-year>
        <license license-type="open-access">
          <license-p> This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license ( <ext-link ext-link-type="uri" xlink:href="https://creativecommons.org/licenses/by/4.0/">https://creativecommons.org/licenses/by/4.0/</ext-link> ). </license-p>
        </license>
      </permissions>
      <self-uri content-type="doi" xlink:href="https://doi.org/10.4236/jamp.2026.141019">https://doi.org/10.4236/jamp.2026.141019</self-uri>
      <abstract>
        <p>This article proposes a hybrid model to study the propagation of collective and individual emotions within a football team. The model combines a reaction-diffusion equation to describe the spatial dynamics of emotions on the field and a system of coupled differential equations to capture psychosocial interactions between players. We demonstrate the existence and uniqueness of the solutions using the Lax-Milgram theorem (for the partial differential equation) and the Cauchy-Lipschitz theorem (for the ordinary differential equations). This theoretical framework unifies, for the first time, the emotional and tactical aspects of football, offering perspectives for real-time analysis of team performance.</p>
      </abstract>
      <kwd-group kwd-group-type="author-generated" xml:lang="en">
        <kwd>Emotional Propagation</kwd>
        <kwd>Reaction-Diffusion Equation</kwd>
        <kwd>Football Tactics</kwd>
        <kwd>Collective Behavior</kwd>
        <kwd>Mathematical Modeling</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec1">
      <title>1. Introduction</title>
      <p>In a football match, the emotions and collective attitudes of a team evolve dynamically according to the context of the game. A team may gradually adopt a more aggressive, cautious, or euphoric behaviour in response to match events, such as a goal scored or conceded, refereeing decisions, or the reactions of the crowd. These emotional fluctuations directly influence collective performance and the tactical choices adopted in real time by the players and the coaching staff.</p>
      <p>Recent studies have highlighted the importance of emotional processes in team sports. Anderson and May (1998) studied the dynamics of collective behaviours within sports teams and showed how complex interactions emerge among players [<xref ref-type="bibr" rid="B1">1</xref>]. Barros and Duchowski (2018) explored computational models of emotions and suggested that emotions influence group decision-making and performance [<xref ref-type="bibr" rid="B2">2</xref>]. More specifically, Tadi and Kostic (2021) proposed a mathematical model of emotional contagion applied to sports teams, demonstrating that emotions can spread like a diffusion phenomenon, thereby influencing players’ cohesion and motivation [<xref ref-type="bibr" rid="B3">3</xref>]. While previous studies have laid the groundwork for understanding emotional dynamics in team sports, our work introduces a novel <italic>hybrid modeling approach</italic> that advances the field in several key ways. Below, we clarify how our model builds upon, diverges from, and extends existing frameworks, particularly the emotional contagion model proposed by Tadi and Kostic [<xref ref-type="bibr" rid="B3">3</xref>].</p>
      <p><bold>Integration of Spatial and Interindividual Dynamics:</bold> Existing models, such as that of Tadi and Kostic [<xref ref-type="bibr" rid="B3">3</xref>], primarily focus on emotional contagion as a diffusion process among individuals, treating the team as a network of interconnected agents. While their work effectively captures the spread of emotions through social interactions, it does not explicitly account for the <italic>spatial distribution</italic> of emotions on the field. Our model addresses this gap by combining a <italic>reaction-diffusion equation</italic> for the spatial propagation of collective emotions with a <italic>multi-agent system</italic> for interindividual interactions. This hybrid approach allows us to study not only how emotions spread among players but also how they evolve across the physical space of the football field, providing a more comprehensive understanding of emotional dynamics in real-time game situations.<bold>Unified Mathematical Framework:</bold> Unlike prior models that often separate psychological and tactical aspects of the game, our framework unifies these dimensions within a single mathematical structure. For instance, while Anderson and May [<xref ref-type="bibr" rid="B1">1</xref>] and Barros and Duchowski [<xref ref-type="bibr" rid="B2">2</xref>] have explored collective behaviors and computational models of emotions, respectively, their approaches do not integrate spatial dynamics. Our model bridges this divide by coupling a partial differential equation (PDE) for the collective emotional field with ordinary differential equations (ODEs) for individual emotional states. This integration enables us to analyze how spatial positioning and movement influence emotional propagation, which is critical in sports like football where player positioning and tactical formations play a pivotal role.<bold>Real-Time Analysis and Tactical Implications:</bold> The model by Tadi and Kostic [<xref ref-type="bibr" rid="B3">3</xref>] emphasizes the contagion of emotions but does not explicitly link emotional states to tactical decision-making or real-time performance. Our approach extends this by incorporating external influences (e.g., referee decisions, crowd reactions) and exogenous factors (e.g., individual events like fouls or successful duels) into the model. This allows us to simulate how emotional fluctuations directly impact tactical choices, such as shifting from a defensive to an offensive strategy in response to a goal or a change in the emotional climate of the team.<bold>Mathematical Rigor and Generalizability:</bold> Our model leverages the Lax-Milgram theorem for the PDE and the Cauchy-Lipschitz theorem for the ODEs to ensure the existence and uniqueness of solutions, providing a robust mathematical foundation. This rigor not only validates the model but also enhances its generalizability to other team sports and collective behavior scenarios. In contrast, many existing models rely on heuristic or simulation-based approaches, which may lack the same level of theoretical grounding.<bold>Applications to Performance Analysis:</bold> By explicitly modeling the feedback loop between individual and collective emotions, our approach offers practical applications for real-time performance analysis. For example, coaches and analysts could use this model to identify critical moments where emotional dynamics are likely to influence team performance, enabling proactive interventions such as tactical adjustments or emotional regulation strategies. </p>
      <p>In summary, our hybrid model represents a significant step forward by integrating spatial, psychological, and tactical dimensions into a unified framework. This advancement provides a more holistic understanding of emotional propagation in football and opens new avenues for data-driven performance optimization.</p>
      <p>However, the mathematical modelling of these phenomena in football remains underdeveloped. The diffusion of emotions and collective attitudes can be modelled using reaction-diffusion equations, which are commonly employed to describe the propagation of dynamic phenomena in various fields, including biology and neuroscience (Tuckwell, 2005) [<xref ref-type="bibr" rid="B4">4</xref>]. Moreover, multi-agent models have proven effective in analysing collective behaviours and tactical decision-making in game situations (Helbing, 2001) [<xref ref-type="bibr" rid="B5">5</xref>]. In this work, we propose a hybrid model combining a reaction-diffusion equation to capture the spatio-temporal propagation of collective emotions and a multi-agent model to represent interindividual interactions among players. This model aims to provide a better understanding of how emotions and attitudes emerge, spread, and influence the strategic decisions of a football team. Unlike existing approaches that focus either on psychological aspects or on mechanical aspects of the game, our approach makes it possible to integrate emotional and dynamic dimensions within a unified mathematical framework.</p>
    </sec>
    <sec id="sec2">
      <title>2. Mathematical Modelling of the Propagation of Emotions and Collective Attitudes</title>
      <p>After outlining the general framework of the mathematical modeling of emotions and collective attitudes, we now introduce a rigorous formalization of the studied problem. This section presents the equations governing the dynamics of collective emotions as well as the underlying assumptions of our approach [<xref ref-type="bibr" rid="B6">6</xref>][<xref ref-type="bibr" rid="B7">7</xref>]. We will first establish the foundations of the model before addressing, in a subsequent section, the notations and preliminary concepts necessary for its understanding [<xref ref-type="bibr" rid="B3">3</xref>][<xref ref-type="bibr" rid="B8">8</xref>].</p>
      <sec id="sec2dot1">
        <title>2.1. Mathematical Model of the Problem</title>
        <p>The modelling of the propagation of emotions and collective attitudes in football relies on the integration of spatio-temporal and interindividual dynamics. We propose a mathematical framework that combines a reaction–diffusion equation to model the global distribution of emotions on the field and a multi-agent model to capture individual interactions between players. This framework makes it possible to study the evolution of emotional states in response to various events such as goals, refereeing decisions, and the psychological pressure exerted by the opponent. </p>
        <p>2.1.1. Definition of the Emotion Variable</p>
        <p>In our model, the primary variable of interest is <italic>emotion</italic>, denoted by <inline-formula><mml:math><mml:mrow><mml:mi> E </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> x </mml:mi><mml:mo> , </mml:mo><mml:mi> y </mml:mi><mml:mo> , </mml:mo><mml:mi> t </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> for the collective emotional state and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> e </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> t </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> for the emotional state of each individual player <inline-formula><mml:math><mml:mi> i </mml:mi></mml:math></inline-formula> . Emotion, as a psychological construct, is inherently multidimensional, encompassing aspects such as valence (positive or negative affect) and arousal (intensity of emotional activation).</p>
        <p>However, for the purposes of this study, we simplify the representation of emotion to a <italic>scalar value</italic>. This scalar encapsulates the overall emotional state of a player or the team, aggregating the various dimensions of emotion into a single metric. This simplification is justified by several considerations:</p>
        <p><bold>Model Tractability:</bold> A scalar representation allows us to focus on the core dynamics of emotional propagation without the added complexity of handling multiple dimensions. This makes the model more analytically and numerically tractable. <bold>Collective Behavior:</bold> In the context of a football team, the collective emotional state <inline-formula><mml:math><mml:mrow><mml:mi> E </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> x </mml:mi><mml:mo> , </mml:mo><mml:mi> y </mml:mi><mml:mo> , </mml:mo><mml:mi> t </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> reflects the overall mood or emotional climate of the team, which can be approximated by a single value that captures the dominant emotional tone at a given time and location on the field. <bold>Individual Emotions:</bold> For individual players, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> e </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> t </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> represents their emotional state, which is influenced by their interactions with teammates, the collective emotional field, and external events. The scalar value provides a practical way to model these influences and their effects on player behavior. </p>
        <p>By adopting this scalar approach, we aim to capture the essential dynamics of emotional propagation while maintaining the simplicity and interpretability of the model. Future extensions of this work could explore the incorporation of multidimensional emotional states to provide a more nuanced understanding of emotional dynamics in football.</p>
        <p>2.1.2. Modelling of Collective Emotions</p>
        <p>We model the spatio-temporal propagation of the collective emotional state <inline-formula><mml:math><mml:mrow><mml:mi> E </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> x </mml:mi><mml:mo> , </mml:mo><mml:mi> y </mml:mi><mml:mo> , </mml:mo><mml:mi> t </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> on the field using a reaction–diffusion equation:</p>
        <disp-formula id="FD1">
          <label>(2.1)</label>
          <mml:math>
            <mml:mrow>
              <mml:mfrac>
                <mml:mrow>
                  <mml:mo>∂</mml:mo>
                  <mml:mi>E</mml:mi>
                </mml:mrow>
                <mml:mrow>
                  <mml:mo>∂</mml:mo>
                  <mml:mi>t</mml:mi>
                </mml:mrow>
              </mml:mfrac>
              <mml:mo>−</mml:mo>
              <mml:msub>
                <mml:mi>D</mml:mi>
                <mml:mi>E</mml:mi>
              </mml:msub>
              <mml:msup>
                <mml:mo>∇</mml:mo>
                <mml:mn>2</mml:mn>
              </mml:msup>
              <mml:mi>E</mml:mi>
              <mml:mo>+</mml:mo>
              <mml:mi>λ</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mi>E</mml:mi>
                  <mml:mo>−</mml:mo>
                  <mml:mover accent="true">
                    <mml:mi>E</mml:mi>
                    <mml:mo>¯</mml:mo>
                  </mml:mover>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mi>S</mml:mi>
              <mml:mo>+</mml:mo>
              <mml:mi>I</mml:mi>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mo>∀</mml:mo>
              <mml:mi>t</mml:mi>
              <mml:mo>&gt;</mml:mo>
              <mml:mn>0</mml:mn>
              <mml:mo>,</mml:mo>
              <mml:mo>∀</mml:mo>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mi>x</mml:mi>
                  <mml:mo>,</mml:mo>
                  <mml:mi>y</mml:mi>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>∈</mml:mo>
              <mml:mi>Ω</mml:mi>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>The terms of this equation represent: </p>
        <p><bold>Spatial diffusion:</bold>: <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> D </mml:mi><mml:mi> E </mml:mi></mml:msub><mml:msup><mml:mo> ∇ </mml:mo><mml:mn> 2 </mml:mn></mml:msup><mml:mi> E </mml:mi></mml:mrow></mml:math></inline-formula> represents the propagation of emotions across the field. <bold>Regulation</bold>: <inline-formula><mml:math><mml:mrow><mml:mi> λ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> E </mml:mi><mml:mo> − </mml:mo><mml:mover accent="true"><mml:mi> E </mml:mi><mml:mo> ¯ </mml:mo></mml:mover></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> forces the emotional state toward an average value <inline-formula><mml:math><mml:mover accent="true"><mml:mi> E </mml:mi><mml:mo> ¯ </mml:mo></mml:mover></mml:math></inline-formula> . <bold>Sources and influences</bold>: <inline-formula><mml:math><mml:mi> S </mml:mi></mml:math></inline-formula> describes external disturbances (a conceded goal, a referee’s decision), while <inline-formula><mml:math><mml:mi> I </mml:mi></mml:math></inline-formula> captures the psychological influence of the opponent. </p>
        <p>2.1.3. Modelling of Individual Emotions</p>
        <p>Each player <inline-formula><mml:math><mml:mi> i </mml:mi></mml:math></inline-formula> has an emotional state <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> e </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> t </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , influenced by several factors:</p>
        <fig id="fig1">
          <label>Figure 1</label>
          <graphic xlink:href="https://html.scirp.org/file/1724413-rId41.svg?20260127034515" />
        </fig>
        <p> (2.2)</p>
        <p>The terms of this equation are: </p>
        <p><bold>Natural dissipation</bold>: <inline-formula><mml:math><mml:mrow><mml:mo> − </mml:mo><mml:mi> γ </mml:mi><mml:msub><mml:mi> e </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> represents a return to a neutral state. <bold>Influence</bold><bold>of teammates</bold><bold>:</bold><inline-formula><mml:math><mml:mrow><mml:mi> β </mml:mi><mml:mstyle displaystyle="true"><mml:msub><mml:mo> ∑ </mml:mo><mml:mrow><mml:mi> j </mml:mi><mml:mo> ∈ </mml:mo><mml:msub><mml:mi mathvariant="script"> N </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:msub><mml:mrow><mml:msub><mml:mi> w </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> e </mml:mi><mml:mi> j </mml:mi></mml:msub><mml:mo> − </mml:mo><mml:msub><mml:mi> e </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:mstyle></mml:mrow></mml:math></inline-formula> models the effect of nearby players. <bold>Collective influence</bold>: <inline-formula><mml:math><mml:mrow><mml:mi> δ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> E </mml:mi><mml:mo> − </mml:mo><mml:msub><mml:mi> e </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> describes the impact of the global emotional field, with E being the solution of equation (2.1). <bold>Exogenous factors</bold>: <inline-formula><mml:math><mml:mrow><mml:mi> η </mml:mi><mml:msub><mml:mi> F </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> accounts for individual events (a suffered foul, a won duel). </p>
        <p>2.1.4. Justification of Model Parameters</p>
        <p>The proposed model incorporates several key parameters that govern the dynamics of emotional propagation. Below, we provide a theoretical justification for each parameter and discuss how they could be estimated from empirical data.</p>
        <p><bold>Diffusion Coefficient (</bold><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> D </mml:mi><mml:mi> E </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula><bold>):</bold> The parameter <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> D </mml:mi><mml:mi> E </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> represents the rate at which emotions diffuse spatially across the field. This parameter is inspired by models of emotional contagion in social psychology, where emotions spread among individuals based on their proximity and interactions [<xref ref-type="bibr" rid="B3">3</xref>]. In the context of football, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> D </mml:mi><mml:mi> E </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> captures how quickly emotional states (e.g., excitement or frustration) propagate among players as they move and interact on the field.</p>
        <p><italic>Empirical Estimation</italic>: <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> D </mml:mi><mml:mi> E </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> could be estimated by analyzing video footage of matches, tracking the spatial distribution of players, and measuring how quickly emotional responses (e.g., celebrations or reactions to a referee’s decision) spread across the team.</p>
        <p><bold>Regulation Parameter (</bold><inline-formula><mml:math display="inline"><mml:mi> λ </mml:mi></mml:math></inline-formula><bold>):</bold> The parameter <inline-formula><mml:math><mml:mi> λ </mml:mi></mml:math></inline-formula> models the tendency of the collective emotional state to return to a baseline or equilibrium level <inline-formula><mml:math><mml:mover accent="true"><mml:mi> E </mml:mi><mml:mo> ¯ </mml:mo></mml:mover></mml:math></inline-formula> . This aligns with psychological theories of emotional regulation, where individuals and groups naturally tend to stabilize their emotional states over time [<xref ref-type="bibr" rid="B2">2</xref>].</p>
        <p><italic>Empirical Estimation</italic>: <inline-formula><mml:math><mml:mi> λ </mml:mi></mml:math></inline-formula> could be estimated by observing how long it takes for a team’s emotional state to return to baseline after a significant event, such as scoring or conceding a goal. Longitudinal data on team performance and emotional responses could provide insights into this parameter.</p>
        <p><bold>Influence of Teammates (</bold><inline-formula><mml:math><mml:mi> β </mml:mi></mml:math></inline-formula><bold>):</bold> The parameter <inline-formula><mml:math><mml:mi> β </mml:mi></mml:math></inline-formula> quantifies the strength of emotional influence among teammates. It reflects the degree to which a player’s emotional state is affected by the emotional states of their nearby teammates. This is grounded in theories of social influence and emotional contagion, where individuals in close proximity tend to synchronize their emotional states [<xref ref-type="bibr" rid="B5">5</xref>].</p>
        <p><italic>Empirical Estimation</italic>: <inline-formula><mml:math><mml:mi> β </mml:mi></mml:math></inline-formula> could be estimated by analyzing interactions among players during matches, such as their reactions to each other’s actions (e.g., passing, tackling, or celebrating). Surveys or interviews with players could also provide qualitative insights into the perceived influence of teammates on their emotional states.</p>
        <p><bold>Collective Influence (</bold><inline-formula><mml:math><mml:mi> δ </mml:mi></mml:math></inline-formula><bold>):</bold> The parameter <inline-formula><mml:math><mml:mi> δ </mml:mi></mml:math></inline-formula> represents the impact of the collective emotional field <inline-formula><mml:math><mml:mrow><mml:mi> E </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> x </mml:mi><mml:mo> , </mml:mo><mml:mi> y </mml:mi><mml:mo> , </mml:mo><mml:mi> t </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> on individual players’ emotional states. This parameter captures how the overall emotional climate of the team influences each player, aligning with theories of group dynamics and collective behavior [<xref ref-type="bibr" rid="B1">1</xref>].</p>
        <p><italic>Empirical Estimation</italic>: <inline-formula><mml:math><mml:mi> δ </mml:mi></mml:math></inline-formula> could be estimated by comparing individual emotional responses to the overall team mood during matches. For example, if a team’s collective emotional state is highly positive, individual players might exhibit elevated emotional states, and vice versa.</p>
        <p><bold>Exogenous Factors (</bold><inline-formula><mml:math><mml:mi> η </mml:mi></mml:math></inline-formula><bold>):</bold> The parameter <inline-formula><mml:math><mml:mi> η </mml:mi></mml:math></inline-formula> accounts for the influence of external events, such as referee decisions or crowd reactions, on individual players’ emotional states. This parameter is rooted in theories of environmental psychology, where external stimuli can significantly impact emotional responses [<xref ref-type="bibr" rid="B4">4</xref>].</p>
        <p><italic>Empirical Estimation</italic>: <inline-formula><mml:math><mml:mi> η </mml:mi></mml:math></inline-formula> could be estimated by analyzing how players react to specific external events, such as referee decisions or crowd noise. Data from matches, including player reactions and changes in performance, could be used to quantify this influence. </p>
        <p>By grounding these parameters in psychological and sports science theories, we ensure that our model captures realistic dynamics of emotional propagation in football. Future work could involve refining these estimates using empirical data from real matches, thereby enhancing the model’s predictive accuracy and applicability.</p>
        <p>2.1.5. Boundary Conditions and Complete Modeling</p>
        <p>The boundaries of the field influence the system through a Robin condition: </p>
        <disp-formula id="FD2">
          <label>(2.3)</label>
          <mml:math>
            <mml:mrow>
              <mml:mfrac>
                <mml:mrow>
                  <mml:mo>∂</mml:mo>
                  <mml:mi>E</mml:mi>
                </mml:mrow>
                <mml:mrow>
                  <mml:mo>∂</mml:mo>
                  <mml:mi>n</mml:mi>
                </mml:mrow>
              </mml:mfrac>
              <mml:mo>+</mml:mo>
              <mml:msub>
                <mml:mi>α</mml:mi>
                <mml:mi>E</mml:mi>
              </mml:msub>
              <mml:mi>E</mml:mi>
              <mml:mo>=</mml:mo>
              <mml:msub>
                <mml:mi>g</mml:mi>
                <mml:mi>E</mml:mi>
              </mml:msub>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mo>∀</mml:mo>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mi>x</mml:mi>
                  <mml:mo>,</mml:mo>
                  <mml:mi>y</mml:mi>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>∈</mml:mo>
              <mml:mo>∂</mml:mo>
              <mml:mi>Ω</mml:mi>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>The complete model can then be written in compact form as: </p>
        <fig id="fig2">
          <label>Figure 2</label>
          <graphic xlink:href="https://html.scirp.org/file/1724413-rId89.svg?20260127034517" />
        </fig>
        <p> (2.4)</p>
        <p>This hybrid model links the global diffusion of emotions and the interindividual influences among players. It helps understand how a team transitions from one emotional state to another (calm <inline-formula><mml:math><mml:mo> → </mml:mo></mml:math></inline-formula> frustration <inline-formula><mml:math><mml:mo> → </mml:mo></mml:math></inline-formula> aggressiveness) in response to match events.</p>
      </sec>
      <sec id="sec2dot2">
        <title>2.2. Preliminaries and Notations</title>
        <p>Before establishing the existence and uniqueness of solutions to our problem, we introduce the functional spaces and notations that will be used later. We define the Hilbert spaces in which we will formulate our diffusion equation for the collective emotion, as well as the system of equations describing the evolution of individual emotions.</p>
        <p>The assumptions on the system parameters are as follows:</p>
        <p><bold>Hypothesis 2.1</bold><italic>We assume that</italic>: </p>
        <p>1) <italic>The model coefficients satisfy</italic>: </p>
        <disp-formula id="FD3">
          <mml:math>
            <mml:mrow>
              <mml:mi>D</mml:mi>
              <mml:mo>&gt;</mml:mo>
              <mml:mn>0</mml:mn>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mi>α</mml:mi>
              <mml:mo>&gt;</mml:mo>
              <mml:mn>0</mml:mn>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mi>γ</mml:mi>
              <mml:mo>&gt;</mml:mo>
              <mml:mn>0</mml:mn>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mi>δ</mml:mi>
              <mml:mo>&gt;</mml:mo>
              <mml:mn>0.</mml:mn>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>2) <italic>The feedback function</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> F </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula><italic>is continuous in</italic><inline-formula><mml:math><mml:mi> t </mml:mi></mml:math></inline-formula> . </p>
        <p>Assumption (2.1) allows for several types of boundary conditions, including Dirichlet, Neumann, or mixed ones.</p>
        <p>We define the main Hilbert space in which the collective emotion evolves as: </p>
        <disp-formula id="FD4">
          <label>(2.5)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>ℍ</mml:mi>
              <mml:mo>:</mml:mo>
              <mml:mo>=</mml:mo>
              <mml:msup>
                <mml:mi>L</mml:mi>
                <mml:mn>2</mml:mn>
              </mml:msup>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mi>Ω</mml:mi>
                  <mml:mo>,</mml:mo>
                  <mml:mi>ℝ</mml:mi>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>where <inline-formula><mml:math><mml:mtext> Ω </mml:mtext></mml:math></inline-formula> represents the spatial domain of the football field. An element <inline-formula><mml:math><mml:mi> v </mml:mi></mml:math></inline-formula> of <inline-formula><mml:math><mml:mi> ℍ </mml:mi></mml:math></inline-formula> thus corresponds to a spatial distribution of the collective emotion.</p>
        <p>We define the inner product in <inline-formula><mml:math><mml:mi> ℍ </mml:mi></mml:math></inline-formula> as: </p>
        <disp-formula id="FD5">
          <label>(2.6)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>〈</mml:mo>
                    <mml:mrow>
                      <mml:mi>v</mml:mi>
                      <mml:mo>,</mml:mo>
                      <mml:mi>u</mml:mi>
                    </mml:mrow>
                    <mml:mo>〉</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mi>ℍ</mml:mi>
              </mml:msub>
              <mml:mo>:</mml:mo>
              <mml:mo>=</mml:mo>
              <mml:mstyle displaystyle="true">
                <mml:mrow>
                  <mml:msub>
                    <mml:mo>∫</mml:mo>
                    <mml:mi>Ω</mml:mi>
                  </mml:msub>
                  <mml:mrow>
                    <mml:mi>v</mml:mi>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>x</mml:mi>
                        <mml:mo>,</mml:mo>
                        <mml:mi>y</mml:mi>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                    <mml:mi>u</mml:mi>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>x</mml:mi>
                        <mml:mo>,</mml:mo>
                        <mml:mi>y</mml:mi>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                    <mml:mtext>d</mml:mtext>
                    <mml:mi>x</mml:mi>
                    <mml:mtext>d</mml:mtext>
                    <mml:mi>y</mml:mi>
                  </mml:mrow>
                </mml:mrow>
              </mml:mstyle>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>and the associated norm: </p>
        <disp-formula id="FD6">
          <label>(2.7)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mi>v</mml:mi>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mi>ℍ</mml:mi>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:msup>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mstyle displaystyle="true">
                        <mml:mrow>
                          <mml:msub>
                            <mml:mo>∫</mml:mo>
                            <mml:mi>Ω</mml:mi>
                          </mml:msub>
                          <mml:mrow>
                            <mml:msup>
                              <mml:mi>v</mml:mi>
                              <mml:mn>2</mml:mn>
                            </mml:msup>
                            <mml:mrow>
                              <mml:mo>(</mml:mo>
                              <mml:mrow>
                                <mml:mi>x</mml:mi>
                                <mml:mo>,</mml:mo>
                                <mml:mi>y</mml:mi>
                              </mml:mrow>
                              <mml:mo>)</mml:mo>
                            </mml:mrow>
                            <mml:mtext>d</mml:mtext>
                            <mml:mi>x</mml:mi>
                            <mml:mtext>d</mml:mtext>
                            <mml:mi>y</mml:mi>
                          </mml:mrow>
                        </mml:mrow>
                      </mml:mstyle>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:mfrac>
                    <mml:mn>1</mml:mn>
                    <mml:mn>2</mml:mn>
                  </mml:mfrac>
                </mml:mrow>
              </mml:msup>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>We then define the Sobolev spaces: </p>
        <disp-formula id="FD7">
          <label>(2.8)</label>
          <mml:math>
            <mml:mrow>
              <mml:msup>
                <mml:mi>ℍ</mml:mi>
                <mml:mi>m</mml:mi>
              </mml:msup>
              <mml:mo>:</mml:mo>
              <mml:mo>=</mml:mo>
              <mml:msup>
                <mml:mi>W</mml:mi>
                <mml:mrow>
                  <mml:mi>m</mml:mi>
                  <mml:mo>,</mml:mo>
                  <mml:mn>2</mml:mn>
                </mml:mrow>
              </mml:msup>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mi>Ω</mml:mi>
                  <mml:mo>,</mml:mo>
                  <mml:mi>ℝ</mml:mi>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mi>m</mml:mi>
              <mml:mo>=</mml:mo>
              <mml:mn>1</mml:mn>
              <mml:mo>,</mml:mo>
              <mml:mn>2.</mml:mn>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>With these notations, we introduce the gradient and Laplacian operators: </p>
        <disp-formula id="FD8">
          <label>(2.9)</label>
          <mml:math>
            <mml:mrow>
              <mml:mo>∇</mml:mo>
              <mml:mi>v</mml:mi>
              <mml:mo>:</mml:mo>
              <mml:mo>=</mml:mo>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mfrac>
                    <mml:mrow>
                      <mml:mo>∂</mml:mo>
                      <mml:mi>v</mml:mi>
                    </mml:mrow>
                    <mml:mrow>
                      <mml:mo>∂</mml:mo>
                      <mml:mi>x</mml:mi>
                    </mml:mrow>
                  </mml:mfrac>
                  <mml:mo>,</mml:mo>
                  <mml:mfrac>
                    <mml:mrow>
                      <mml:mo>∂</mml:mo>
                      <mml:mi>v</mml:mi>
                    </mml:mrow>
                    <mml:mrow>
                      <mml:mo>∂</mml:mo>
                      <mml:mi>y</mml:mi>
                    </mml:mrow>
                  </mml:mfrac>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mo>∀</mml:mo>
              <mml:mi>v</mml:mi>
              <mml:mo>∈</mml:mo>
              <mml:msup>
                <mml:mi>ℍ</mml:mi>
                <mml:mn>1</mml:mn>
              </mml:msup>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <disp-formula id="FD9">
          <label>(2.10)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>Δ</mml:mi>
              <mml:mi>v</mml:mi>
              <mml:mo>:</mml:mo>
              <mml:mo>=</mml:mo>
              <mml:mfrac>
                <mml:mrow>
                  <mml:msup>
                    <mml:mo>∂</mml:mo>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                  <mml:mi>v</mml:mi>
                </mml:mrow>
                <mml:mrow>
                  <mml:mo>∂</mml:mo>
                  <mml:msup>
                    <mml:mi>x</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                </mml:mrow>
              </mml:mfrac>
              <mml:mo>+</mml:mo>
              <mml:mfrac>
                <mml:mrow>
                  <mml:msup>
                    <mml:mo>∂</mml:mo>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                  <mml:mi>v</mml:mi>
                </mml:mrow>
                <mml:mrow>
                  <mml:mo>∂</mml:mo>
                  <mml:msup>
                    <mml:mi>y</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                </mml:mrow>
              </mml:mfrac>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mo>∀</mml:mo>
              <mml:mi>v</mml:mi>
              <mml:mo>∈</mml:mo>
              <mml:msup>
                <mml:mi>ℍ</mml:mi>
                <mml:mn>2</mml:mn>
              </mml:msup>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>Finally, we define the norm of the space <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> ℍ </mml:mi><mml:mn> 1 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> as follows: </p>
        <disp-formula id="FD10">
          <label>(2.11)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mi>v</mml:mi>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:msup>
                    <mml:mi>ℍ</mml:mi>
                    <mml:mn>1</mml:mn>
                  </mml:msup>
                </mml:mrow>
              </mml:msub>
              <mml:mo>:</mml:mo>
              <mml:mo>=</mml:mo>
              <mml:msup>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:msubsup>
                        <mml:mrow>
                          <mml:mrow>
                            <mml:mo>‖</mml:mo>
                            <mml:mi>v</mml:mi>
                            <mml:mo>‖</mml:mo>
                          </mml:mrow>
                        </mml:mrow>
                        <mml:mi>ℍ</mml:mi>
                        <mml:mn>2</mml:mn>
                      </mml:msubsup>
                      <mml:mo>+</mml:mo>
                      <mml:msubsup>
                        <mml:mrow>
                          <mml:mrow>
                            <mml:mo>‖</mml:mo>
                            <mml:mrow>
                              <mml:mo>∇</mml:mo>
                              <mml:mi>v</mml:mi>
                            </mml:mrow>
                            <mml:mo>‖</mml:mo>
                          </mml:mrow>
                        </mml:mrow>
                        <mml:mi>ℍ</mml:mi>
                        <mml:mn>2</mml:mn>
                      </mml:msubsup>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:mfrac>
                    <mml:mn>1</mml:mn>
                    <mml:mn>2</mml:mn>
                  </mml:mfrac>
                </mml:mrow>
              </mml:msup>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mo>∀</mml:mo>
              <mml:mi>v</mml:mi>
              <mml:mo>∈</mml:mo>
              <mml:msup>
                <mml:mi>ℍ</mml:mi>
                <mml:mn>1</mml:mn>
              </mml:msup>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>These definitions and assumptions will allow us to establish the existence and uniqueness results in the next section.</p>
      </sec>
    </sec>
    <sec id="sec3">
      <title>3. Existence and Uniqueness of Solutions</title>
      <p>Regarding the existence and uniqueness of the solution to problem (2.4), we will proceed in two parts, since problem (2.4) is a mixed problem composed of two independent equations: a PDE (collective emotional state equation) and an ODE (individual emotional evolution equation). For the collective emotional state equation, we will use the Lax-Milgram theorem to prove the existence and uniqueness of the solution, and for the individual emotion evolution equation, we will use the Cauchy-Lipschitz theorem.</p>
      <sec id="sec3dot1">
        <title>3.1. Existence and Uniqueness of the Collective Emotion Problem (2.1)</title>
        <p>Proving the existence and uniqueness of the collective emotion problem amounts to proving the existence and uniqueness of the following problem:</p>
        <disp-formula id="FD11">
          <label>(3.1)</label>
          <mml:math>
            <mml:mrow>
              <mml:mrow>
                <mml:mo>{</mml:mo>
                <mml:mrow>
                  <mml:mtable columnalign="left">
                    <mml:mtr columnalign="left">
                      <mml:mtd columnalign="left">
                        <mml:mrow>
                          <mml:mfrac>
                            <mml:mrow>
                              <mml:mo>∂</mml:mo>
                              <mml:mi>E</mml:mi>
                            </mml:mrow>
                            <mml:mrow>
                              <mml:mo>∂</mml:mo>
                              <mml:mi>t</mml:mi>
                            </mml:mrow>
                          </mml:mfrac>
                          <mml:mo>−</mml:mo>
                          <mml:msub>
                            <mml:mi>D</mml:mi>
                            <mml:mi>E</mml:mi>
                          </mml:msub>
                          <mml:msup>
                            <mml:mo>∇</mml:mo>
                            <mml:mn>2</mml:mn>
                          </mml:msup>
                          <mml:mi>E</mml:mi>
                          <mml:mo>+</mml:mo>
                          <mml:mi>λ</mml:mi>
                          <mml:mrow>
                            <mml:mo>(</mml:mo>
                            <mml:mrow>
                              <mml:mi>E</mml:mi>
                              <mml:mo>−</mml:mo>
                              <mml:mover accent="true">
                                <mml:mi>E</mml:mi>
                                <mml:mo>¯</mml:mo>
                              </mml:mover>
                            </mml:mrow>
                            <mml:mo>)</mml:mo>
                          </mml:mrow>
                          <mml:mo>=</mml:mo>
                          <mml:mi>S</mml:mi>
                          <mml:mo>+</mml:mo>
                          <mml:mi>I</mml:mi>
                          <mml:mo>,</mml:mo>
                        </mml:mrow>
                      </mml:mtd>
                      <mml:mtd columnalign="left">
                        <mml:mrow>
                          <mml:mo>∀</mml:mo>
                          <mml:mi>t</mml:mi>
                          <mml:mo>&gt;</mml:mo>
                          <mml:mn>0</mml:mn>
                          <mml:mo>,</mml:mo>
                          <mml:mo>∀</mml:mo>
                          <mml:mrow>
                            <mml:mo>(</mml:mo>
                            <mml:mrow>
                              <mml:mi>x</mml:mi>
                              <mml:mo>,</mml:mo>
                              <mml:mi>y</mml:mi>
                            </mml:mrow>
                            <mml:mo>)</mml:mo>
                          </mml:mrow>
                          <mml:mo>∈</mml:mo>
                          <mml:mi>Ω</mml:mi>
                          <mml:mo>,</mml:mo>
                        </mml:mrow>
                      </mml:mtd>
                    </mml:mtr>
                    <mml:mtr columnalign="left">
                      <mml:mtd columnalign="left">
                        <mml:mrow>
                          <mml:mfrac>
                            <mml:mrow>
                              <mml:mo>∂</mml:mo>
                              <mml:mi>E</mml:mi>
                            </mml:mrow>
                            <mml:mrow>
                              <mml:mo>∂</mml:mo>
                              <mml:mi>n</mml:mi>
                            </mml:mrow>
                          </mml:mfrac>
                          <mml:mo>+</mml:mo>
                          <mml:msub>
                            <mml:mi>α</mml:mi>
                            <mml:mi>E</mml:mi>
                          </mml:msub>
                          <mml:mi>E</mml:mi>
                          <mml:mo>=</mml:mo>
                          <mml:msub>
                            <mml:mi>g</mml:mi>
                            <mml:mi>E</mml:mi>
                          </mml:msub>
                          <mml:mo>,</mml:mo>
                        </mml:mrow>
                      </mml:mtd>
                      <mml:mtd columnalign="left">
                        <mml:mrow>
                          <mml:mo>∀</mml:mo>
                          <mml:mrow>
                            <mml:mo>(</mml:mo>
                            <mml:mrow>
                              <mml:mi>x</mml:mi>
                              <mml:mo>,</mml:mo>
                              <mml:mi>y</mml:mi>
                            </mml:mrow>
                            <mml:mo>)</mml:mo>
                          </mml:mrow>
                          <mml:mo>∈</mml:mo>
                          <mml:mo>∂</mml:mo>
                          <mml:mi>Ω</mml:mi>
                          <mml:mo>.</mml:mo>
                        </mml:mrow>
                      </mml:mtd>
                    </mml:mtr>
                  </mml:mtable>
                </mml:mrow>
              </mml:mrow>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>We use a variational approach and the Lax-Milgram theorem [<xref ref-type="bibr" rid="B9">9</xref>]. To this end, we consider the following stationary version of problem (3.1): </p>
        <disp-formula id="FD12">
          <label>(3.2)</label>
          <mml:math>
            <mml:mrow>
              <mml:mrow>
                <mml:mo>{</mml:mo>
                <mml:mrow>
                  <mml:mtable columnalign="left">
                    <mml:mtr columnalign="left">
                      <mml:mtd columnalign="left">
                        <mml:mrow>
                          <mml:mo>−</mml:mo>
                          <mml:msub>
                            <mml:mi>D</mml:mi>
                            <mml:mi>E</mml:mi>
                          </mml:msub>
                          <mml:msup>
                            <mml:mo>∇</mml:mo>
                            <mml:mn>2</mml:mn>
                          </mml:msup>
                          <mml:mi>E</mml:mi>
                          <mml:mo>+</mml:mo>
                          <mml:mi>λ</mml:mi>
                          <mml:mrow>
                            <mml:mo>(</mml:mo>
                            <mml:mrow>
                              <mml:mi>E</mml:mi>
                              <mml:mo>−</mml:mo>
                              <mml:mover accent="true">
                                <mml:mi>E</mml:mi>
                                <mml:mo>¯</mml:mo>
                              </mml:mover>
                            </mml:mrow>
                            <mml:mo>)</mml:mo>
                          </mml:mrow>
                          <mml:mo>=</mml:mo>
                          <mml:mi>S</mml:mi>
                          <mml:mo>+</mml:mo>
                          <mml:mi>I</mml:mi>
                          <mml:mo>,</mml:mo>
                        </mml:mrow>
                      </mml:mtd>
                      <mml:mtd columnalign="left">
                        <mml:mrow>
                          <mml:mo>∀</mml:mo>
                          <mml:mi>t</mml:mi>
                          <mml:mo>&gt;</mml:mo>
                          <mml:mn>0</mml:mn>
                          <mml:mo>,</mml:mo>
                          <mml:mo>∀</mml:mo>
                          <mml:mrow>
                            <mml:mo>(</mml:mo>
                            <mml:mrow>
                              <mml:mi>x</mml:mi>
                              <mml:mo>,</mml:mo>
                              <mml:mi>y</mml:mi>
                            </mml:mrow>
                            <mml:mo>)</mml:mo>
                          </mml:mrow>
                          <mml:mo>∈</mml:mo>
                          <mml:mi>Ω</mml:mi>
                          <mml:mo>,</mml:mo>
                        </mml:mrow>
                      </mml:mtd>
                    </mml:mtr>
                    <mml:mtr columnalign="left">
                      <mml:mtd columnalign="left">
                        <mml:mrow>
                          <mml:mfrac>
                            <mml:mrow>
                              <mml:mo>∂</mml:mo>
                              <mml:mi>E</mml:mi>
                            </mml:mrow>
                            <mml:mrow>
                              <mml:mo>∂</mml:mo>
                              <mml:mi>n</mml:mi>
                            </mml:mrow>
                          </mml:mfrac>
                          <mml:mo>+</mml:mo>
                          <mml:msub>
                            <mml:mi>α</mml:mi>
                            <mml:mi>E</mml:mi>
                          </mml:msub>
                          <mml:mi>E</mml:mi>
                          <mml:mo>=</mml:mo>
                          <mml:msub>
                            <mml:mi>g</mml:mi>
                            <mml:mi>E</mml:mi>
                          </mml:msub>
                          <mml:mo>,</mml:mo>
                        </mml:mrow>
                      </mml:mtd>
                      <mml:mtd columnalign="left">
                        <mml:mrow>
                          <mml:mo>∀</mml:mo>
                          <mml:mrow>
                            <mml:mo>(</mml:mo>
                            <mml:mrow>
                              <mml:mi>x</mml:mi>
                              <mml:mo>,</mml:mo>
                              <mml:mi>y</mml:mi>
                            </mml:mrow>
                            <mml:mo>)</mml:mo>
                          </mml:mrow>
                          <mml:mo>∈</mml:mo>
                          <mml:mo>∂</mml:mo>
                          <mml:mi>Ω</mml:mi>
                          <mml:mo>.</mml:mo>
                        </mml:mrow>
                      </mml:mtd>
                    </mml:mtr>
                  </mml:mtable>
                </mml:mrow>
              </mml:mrow>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>In numerical simulations, time is generally known and discretized at each iteration. Each iteration represents a discrete time interval, and at each time step, variable values are computed. In this case, solving problem (3.2) numerically corresponds to a specific instance of the time-evolution problem at a given time. Thus, solving problem (3.2) for each time <inline-formula><mml:math><mml:mi> t </mml:mi></mml:math></inline-formula> in the numerical simulation provides an approximate solution of the time-dependent problem (3.1) over the full duration of the simulation. Therefore, in this numerical context, the existence and uniqueness of problem (3.2) for each time <inline-formula><mml:math><mml:mi> t </mml:mi></mml:math></inline-formula> can be considered as ensuring the existence and uniqueness of the time-dependent problem (3.1) at each discrete time step of the simulation.</p>
        <p>3.1.1. Variational Formulation of Problem (3.2)</p>
        <p>Consider the reaction-diffusion equation </p>
        <disp-formula id="FD13">
          <label>(3.3)</label>
          <mml:math>
            <mml:mrow>
              <mml:mfrac>
                <mml:mrow>
                  <mml:mo>∂</mml:mo>
                  <mml:mi>E</mml:mi>
                </mml:mrow>
                <mml:mrow>
                  <mml:mo>∂</mml:mo>
                  <mml:mi>t</mml:mi>
                </mml:mrow>
              </mml:mfrac>
              <mml:mo>−</mml:mo>
              <mml:msub>
                <mml:mi>D</mml:mi>
                <mml:mi>E</mml:mi>
              </mml:msub>
              <mml:msup>
                <mml:mo>∇</mml:mo>
                <mml:mn>2</mml:mn>
              </mml:msup>
              <mml:mi>E</mml:mi>
              <mml:mo>+</mml:mo>
              <mml:mi>λ</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mi>E</mml:mi>
                  <mml:mo>−</mml:mo>
                  <mml:mover accent="true">
                    <mml:mi>E</mml:mi>
                    <mml:mo>¯</mml:mo>
                  </mml:mover>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mi>S</mml:mi>
              <mml:mo>+</mml:mo>
              <mml:mi>I</mml:mi>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mo>∀</mml:mo>
              <mml:mi>t</mml:mi>
              <mml:mo>&gt;</mml:mo>
              <mml:mn>0</mml:mn>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mo>∀</mml:mo>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mi>x</mml:mi>
                  <mml:mo>,</mml:mo>
                  <mml:mi>y</mml:mi>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>∈</mml:mo>
              <mml:mi>Ω</mml:mi>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>with the Robin boundary condition </p>
        <disp-formula id="FD14">
          <label>(3.4)</label>
          <mml:math>
            <mml:mrow>
              <mml:mfrac>
                <mml:mrow>
                  <mml:mo>∂</mml:mo>
                  <mml:mi>E</mml:mi>
                </mml:mrow>
                <mml:mrow>
                  <mml:mo>∂</mml:mo>
                  <mml:mi>n</mml:mi>
                </mml:mrow>
              </mml:mfrac>
              <mml:mo>+</mml:mo>
              <mml:msub>
                <mml:mi>α</mml:mi>
                <mml:mi>E</mml:mi>
              </mml:msub>
              <mml:mi>E</mml:mi>
              <mml:mo>=</mml:mo>
              <mml:msub>
                <mml:mi>g</mml:mi>
                <mml:mi>E</mml:mi>
              </mml:msub>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mo>∀</mml:mo>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mi>x</mml:mi>
                  <mml:mo>,</mml:mo>
                  <mml:mi>y</mml:mi>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>∈</mml:mo>
              <mml:mo>∂</mml:mo>
              <mml:mi>Ω</mml:mi>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>To derive the variational formulation, we multiply equation (3.3) by a test function <inline-formula><mml:math><mml:mrow><mml:mi> v </mml:mi><mml:mo> ∈ </mml:mo><mml:msup><mml:mi> H </mml:mi><mml:mn> 1 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mi> Ω </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and integrate over the domain <inline-formula><mml:math><mml:mi> Ω </mml:mi></mml:math></inline-formula> . The diffusion term is treated by integration by parts [<xref ref-type="bibr" rid="B9">9</xref>]. Indeed, we have </p>
        <disp-formula id="FD15">
          <mml:math>
            <mml:mrow>
              <mml:mo>−</mml:mo>
              <mml:msub>
                <mml:mi>D</mml:mi>
                <mml:mi>E</mml:mi>
              </mml:msub>
              <mml:mstyle displaystyle="true">
                <mml:mrow>
                  <mml:msub>
                    <mml:mo>∫</mml:mo>
                    <mml:mi>Ω</mml:mi>
                  </mml:msub>
                  <mml:mrow>
                    <mml:mtext>Δ</mml:mtext>
                    <mml:mi>E</mml:mi>
                    <mml:mi>v</mml:mi>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>d</mml:mtext>
                    <mml:mi>x</mml:mi>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>d</mml:mtext>
                    <mml:mi>y</mml:mi>
                  </mml:mrow>
                </mml:mrow>
              </mml:mstyle>
              <mml:mo>=</mml:mo>
              <mml:msub>
                <mml:mi>D</mml:mi>
                <mml:mi>E</mml:mi>
              </mml:msub>
              <mml:mstyle displaystyle="true">
                <mml:mrow>
                  <mml:msub>
                    <mml:mo>∫</mml:mo>
                    <mml:mi>Ω</mml:mi>
                  </mml:msub>
                  <mml:mrow>
                    <mml:mo>∇</mml:mo>
                    <mml:mi>E</mml:mi>
                    <mml:mo>⋅</mml:mo>
                    <mml:mo>∇</mml:mo>
                    <mml:mi>v</mml:mi>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>d</mml:mtext>
                    <mml:mi>x</mml:mi>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>d</mml:mtext>
                    <mml:mi>y</mml:mi>
                  </mml:mrow>
                </mml:mrow>
              </mml:mstyle>
              <mml:mo>−</mml:mo>
              <mml:msub>
                <mml:mi>D</mml:mi>
                <mml:mi>E</mml:mi>
              </mml:msub>
              <mml:mstyle displaystyle="true">
                <mml:mrow>
                  <mml:msub>
                    <mml:mo>∫</mml:mo>
                    <mml:mrow>
                      <mml:mo>∂</mml:mo>
                      <mml:mi>Ω</mml:mi>
                    </mml:mrow>
                  </mml:msub>
                  <mml:mrow>
                    <mml:mfrac>
                      <mml:mrow>
                        <mml:mo>∂</mml:mo>
                        <mml:mi>E</mml:mi>
                      </mml:mrow>
                      <mml:mrow>
                        <mml:mo>∂</mml:mo>
                        <mml:mi>n</mml:mi>
                      </mml:mrow>
                    </mml:mfrac>
                    <mml:mi>v</mml:mi>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>d</mml:mtext>
                    <mml:mi>σ</mml:mi>
                  </mml:mrow>
                </mml:mrow>
              </mml:mstyle>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>Using the Robin condition (3.4), written as </p>
        <disp-formula id="FD16">
          <mml:math>
            <mml:mrow>
              <mml:mfrac>
                <mml:mrow>
                  <mml:mo>∂</mml:mo>
                  <mml:mi>E</mml:mi>
                </mml:mrow>
                <mml:mrow>
                  <mml:mo>∂</mml:mo>
                  <mml:mi>n</mml:mi>
                </mml:mrow>
              </mml:mfrac>
              <mml:mo>=</mml:mo>
              <mml:msub>
                <mml:mi>g</mml:mi>
                <mml:mi>E</mml:mi>
              </mml:msub>
              <mml:mo>−</mml:mo>
              <mml:msub>
                <mml:mi>α</mml:mi>
                <mml:mi>E</mml:mi>
              </mml:msub>
              <mml:mi>E</mml:mi>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>we obtain </p>
        <disp-formula id="FD17">
          <mml:math>
            <mml:mrow>
              <mml:mo>−</mml:mo>
              <mml:msub>
                <mml:mi>D</mml:mi>
                <mml:mi>E</mml:mi>
              </mml:msub>
              <mml:mstyle displaystyle="true">
                <mml:mrow>
                  <mml:msub>
                    <mml:mo>∫</mml:mo>
                    <mml:mi>Ω</mml:mi>
                  </mml:msub>
                  <mml:mrow>
                    <mml:mtext>Δ</mml:mtext>
                    <mml:mi>E</mml:mi>
                    <mml:mi>v</mml:mi>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>d</mml:mtext>
                    <mml:mi>x</mml:mi>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>d</mml:mtext>
                    <mml:mi>y</mml:mi>
                  </mml:mrow>
                </mml:mrow>
              </mml:mstyle>
              <mml:mo>=</mml:mo>
              <mml:msub>
                <mml:mi>D</mml:mi>
                <mml:mi>E</mml:mi>
              </mml:msub>
              <mml:mstyle displaystyle="true">
                <mml:mrow>
                  <mml:msub>
                    <mml:mo>∫</mml:mo>
                    <mml:mi>Ω</mml:mi>
                  </mml:msub>
                  <mml:mrow>
                    <mml:mo>∇</mml:mo>
                    <mml:mi>E</mml:mi>
                    <mml:mo>⋅</mml:mo>
                    <mml:mo>∇</mml:mo>
                    <mml:mi>v</mml:mi>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>d</mml:mtext>
                    <mml:mi>x</mml:mi>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>d</mml:mtext>
                    <mml:mi>y</mml:mi>
                  </mml:mrow>
                </mml:mrow>
              </mml:mstyle>
              <mml:mo>−</mml:mo>
              <mml:msub>
                <mml:mi>D</mml:mi>
                <mml:mi>E</mml:mi>
              </mml:msub>
              <mml:mstyle displaystyle="true">
                <mml:mrow>
                  <mml:msub>
                    <mml:mo>∫</mml:mo>
                    <mml:mrow>
                      <mml:mo>∂</mml:mo>
                      <mml:mi>Ω</mml:mi>
                    </mml:mrow>
                  </mml:msub>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:msub>
                          <mml:mi>g</mml:mi>
                          <mml:mi>E</mml:mi>
                        </mml:msub>
                        <mml:mo>−</mml:mo>
                        <mml:msub>
                          <mml:mi>α</mml:mi>
                          <mml:mi>E</mml:mi>
                        </mml:msub>
                        <mml:mi>E</mml:mi>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                    <mml:mi>v</mml:mi>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>d</mml:mtext>
                    <mml:mi>σ</mml:mi>
                  </mml:mrow>
                </mml:mrow>
              </mml:mstyle>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>Collecting the terms, the variational formulation consists in finding <inline-formula><mml:math><mml:mrow><mml:mi> E </mml:mi><mml:mo> ∈ </mml:mo><mml:msup><mml:mi> H </mml:mi><mml:mn> 1 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mi> Ω </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> such that </p>
        <disp-formula id="FD18">
          <label>(3.5)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>a</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mi>E</mml:mi>
                  <mml:mo>,</mml:mo>
                  <mml:mi>v</mml:mi>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mi>L</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>v</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mo>∀</mml:mo>
              <mml:mi>v</mml:mi>
              <mml:mo>∈</mml:mo>
              <mml:msup>
                <mml:mi>H</mml:mi>
                <mml:mn>1</mml:mn>
              </mml:msup>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>Ω</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>where the bilinear form <inline-formula><mml:math><mml:mrow><mml:mi> a </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mo> ⋅ </mml:mo><mml:mo> , </mml:mo><mml:mo> ⋅ </mml:mo></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and the linear form <inline-formula><mml:math><mml:mrow><mml:mi> L </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mo> ⋅ </mml:mo><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> are defined as follows: </p>
        <disp-formula id="FD19">
          <label>(3.6)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>a</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mi>E</mml:mi>
                  <mml:mo>,</mml:mo>
                  <mml:mi>v</mml:mi>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>:</mml:mo>
              <mml:mo>=</mml:mo>
              <mml:msub>
                <mml:mi>D</mml:mi>
                <mml:mi>E</mml:mi>
              </mml:msub>
              <mml:mstyle displaystyle="true">
                <mml:mrow>
                  <mml:msub>
                    <mml:mo>∫</mml:mo>
                    <mml:mi>Ω</mml:mi>
                  </mml:msub>
                  <mml:mrow>
                    <mml:mo>∇</mml:mo>
                    <mml:mi>E</mml:mi>
                    <mml:mo>⋅</mml:mo>
                    <mml:mo>∇</mml:mo>
                    <mml:mi>v</mml:mi>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>d</mml:mtext>
                    <mml:mi>x</mml:mi>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>d</mml:mtext>
                    <mml:mi>y</mml:mi>
                  </mml:mrow>
                </mml:mrow>
              </mml:mstyle>
              <mml:mo>+</mml:mo>
              <mml:mi>λ</mml:mi>
              <mml:mstyle displaystyle="true">
                <mml:mrow>
                  <mml:msub>
                    <mml:mo>∫</mml:mo>
                    <mml:mi>Ω</mml:mi>
                  </mml:msub>
                  <mml:mrow>
                    <mml:mi>E</mml:mi>
                    <mml:mi>v</mml:mi>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>d</mml:mtext>
                    <mml:mi>x</mml:mi>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>d</mml:mtext>
                    <mml:mi>y</mml:mi>
                  </mml:mrow>
                </mml:mrow>
              </mml:mstyle>
              <mml:mo>+</mml:mo>
              <mml:msub>
                <mml:mi>D</mml:mi>
                <mml:mi>E</mml:mi>
              </mml:msub>
              <mml:msub>
                <mml:mi>α</mml:mi>
                <mml:mi>E</mml:mi>
              </mml:msub>
              <mml:mstyle displaystyle="true">
                <mml:mrow>
                  <mml:msub>
                    <mml:mo>∫</mml:mo>
                    <mml:mrow>
                      <mml:mo>∂</mml:mo>
                      <mml:mi>Ω</mml:mi>
                    </mml:mrow>
                  </mml:msub>
                  <mml:mrow>
                    <mml:mi>E</mml:mi>
                    <mml:mi>v</mml:mi>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>d</mml:mtext>
                    <mml:mi>σ</mml:mi>
                  </mml:mrow>
                </mml:mrow>
              </mml:mstyle>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>and </p>
        <disp-formula id="FD20">
          <label>(3.7)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>L</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>v</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>:</mml:mo>
              <mml:mo>=</mml:mo>
              <mml:mi>λ</mml:mi>
              <mml:mstyle displaystyle="true">
                <mml:mrow>
                  <mml:msub>
                    <mml:mo>∫</mml:mo>
                    <mml:mi>Ω</mml:mi>
                  </mml:msub>
                  <mml:mrow>
                    <mml:mover accent="true">
                      <mml:mi>E</mml:mi>
                      <mml:mo>¯</mml:mo>
                    </mml:mover>
                    <mml:mi>v</mml:mi>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>d</mml:mtext>
                    <mml:mi>x</mml:mi>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>d</mml:mtext>
                    <mml:mi>y</mml:mi>
                  </mml:mrow>
                </mml:mrow>
              </mml:mstyle>
              <mml:mo>+</mml:mo>
              <mml:mstyle displaystyle="true">
                <mml:mrow>
                  <mml:msub>
                    <mml:mo>∫</mml:mo>
                    <mml:mi>Ω</mml:mi>
                  </mml:msub>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>S</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mi>I</mml:mi>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                    <mml:mi>v</mml:mi>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>d</mml:mtext>
                    <mml:mi>x</mml:mi>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>d</mml:mtext>
                    <mml:mi>y</mml:mi>
                  </mml:mrow>
                </mml:mrow>
              </mml:mstyle>
              <mml:mo>+</mml:mo>
              <mml:msub>
                <mml:mi>D</mml:mi>
                <mml:mi>E</mml:mi>
              </mml:msub>
              <mml:mstyle displaystyle="true">
                <mml:mrow>
                  <mml:msub>
                    <mml:mo>∫</mml:mo>
                    <mml:mrow>
                      <mml:mo>∂</mml:mo>
                      <mml:mi>Ω</mml:mi>
                    </mml:mrow>
                  </mml:msub>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>g</mml:mi>
                      <mml:mi>E</mml:mi>
                    </mml:msub>
                    <mml:mi>v</mml:mi>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>d</mml:mtext>
                    <mml:mi>σ</mml:mi>
                  </mml:mrow>
                </mml:mrow>
              </mml:mstyle>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>In the following lemma, we show the correspondence between the solutions of the variational problem (3.5) and those of (3.2) (or equivalently (??)).</p>
        <p><bold>Lemma 3.1</bold><italic>The following properties are equivalent</italic>: </p>
        <p>i) <italic>There exists</italic><inline-formula><mml:math><mml:mrow><mml:mi> E </mml:mi><mml:mo> ∈ </mml:mo><mml:msup><mml:mi> H </mml:mi><mml:mn> 2 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mi> Ω </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><italic>such that</italic><inline-formula><mml:math><mml:mrow><mml:mo> − </mml:mo><mml:msub><mml:mi> D </mml:mi><mml:mi> E </mml:mi></mml:msub><mml:msup><mml:mo> ∇ </mml:mo><mml:mn> 2 </mml:mn></mml:msup><mml:mi> E </mml:mi><mml:mo> + </mml:mo><mml:mi> λ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> E </mml:mi><mml:mo> − </mml:mo><mml:mover accent="true"><mml:mi> E </mml:mi><mml:mo> ¯ </mml:mo></mml:mover></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> S </mml:mi><mml:mo> + </mml:mo><mml:mi> I </mml:mi></mml:mrow></mml:math></inline-formula> . </p>
        <p>ii) <italic>There exists</italic><inline-formula><mml:math><mml:mrow><mml:mi> E </mml:mi><mml:mo> ∈ </mml:mo><mml:msup><mml:mi> H </mml:mi><mml:mn> 1 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mi> Ω </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><italic>such that</italic><inline-formula><mml:math><mml:mrow><mml:mi> a </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> E </mml:mi><mml:mo> , </mml:mo><mml:mi> v </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> L </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> v </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , <inline-formula><mml:math><mml:mrow><mml:mo> ∀ </mml:mo><mml:mi> v </mml:mi><mml:mo> ∈ </mml:mo><mml:msup><mml:mi> H </mml:mi><mml:mn> 1 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mi> Ω </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . </p>
        <p><bold>Proof 3.2</bold><italic>The implication</italic>i) <inline-formula><mml:math><mml:mo> ⇒ </mml:mo></mml:math></inline-formula> ii)<italic>is a consequence of the derivation of the variational formulation</italic>. <italic>Thus, we only need to prove that</italic>ii) <italic>implies</italic>i).<italic>Suppose that</italic>ii)<italic>holds. Let</italic><inline-formula><mml:math><mml:mrow><mml:mi> E </mml:mi><mml:mo> ∈ </mml:mo><mml:msup><mml:mi> H </mml:mi><mml:mn> 1 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mi> Ω </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><italic>such that</italic></p>
        <disp-formula id="FD21">
          <mml:math>
            <mml:mrow>
              <mml:mi>a</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mi>E</mml:mi>
                  <mml:mo>,</mml:mo>
                  <mml:mi>v</mml:mi>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mi>L</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>v</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mo>∀</mml:mo>
              <mml:mi>v</mml:mi>
              <mml:mo>∈</mml:mo>
              <mml:msup>
                <mml:mi>H</mml:mi>
                <mml:mn>1</mml:mn>
              </mml:msup>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>Ω</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>Since <inline-formula><mml:math><mml:mrow><mml:mi> E </mml:mi><mml:mo> ∈ </mml:mo><mml:msup><mml:mi> ℍ </mml:mi><mml:mn> 1 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> and satisfies the boundary conditions, it suffices to show that <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> E </mml:mi><mml:mo> ′ </mml:mo></mml:msup><mml:mo> ∈ </mml:mo><mml:msup><mml:mi> W </mml:mi><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> Ω </mml:mi><mml:mo> , </mml:mo><mml:mi> ℝ </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . Let <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> C </mml:mi><mml:mi> c </mml:mi><mml:mi> ∞ </mml:mi></mml:msubsup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> Ω </mml:mi><mml:mo> , </mml:mo><mml:mi> ℝ </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> denote the space of smooth functions with compact support in <inline-formula><mml:math><mml:mi> Ω </mml:mi></mml:math></inline-formula> . Define, for each <inline-formula><mml:math><mml:mrow><mml:mi> φ </mml:mi><mml:mo> ∈ </mml:mo><mml:msubsup><mml:mi> C </mml:mi><mml:mi> c </mml:mi><mml:mi> ∞ </mml:mi></mml:msubsup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> Ω </mml:mi><mml:mo> , </mml:mo><mml:mi> ℝ </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , the function </p>
        <disp-formula id="FD22">
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mover accent="true">
                  <mml:mi>v</mml:mi>
                  <mml:mo>˜</mml:mo>
                </mml:mover>
                <mml:mi>φ</mml:mi>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mtable>
                    <mml:mtr>
                      <mml:mtd>
                        <mml:mn>0</mml:mn>
                      </mml:mtd>
                    </mml:mtr>
                    <mml:mtr>
                      <mml:mtd>
                        <mml:mo>⋮</mml:mo>
                      </mml:mtd>
                    </mml:mtr>
                    <mml:mtr>
                      <mml:mtd>
                        <mml:mi>φ</mml:mi>
                      </mml:mtd>
                    </mml:mtr>
                    <mml:mtr>
                      <mml:mtd>
                        <mml:mo>⋮</mml:mo>
                      </mml:mtd>
                    </mml:mtr>
                    <mml:mtr>
                      <mml:mtd>
                        <mml:mn>0</mml:mn>
                      </mml:mtd>
                    </mml:mtr>
                  </mml:mtable>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>with <inline-formula><mml:math><mml:mi> φ </mml:mi></mml:math></inline-formula> in the <inline-formula><mml:math><mml:mi> k </mml:mi></mml:math></inline-formula> th position and all other components being zero. Clearly, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mover accent="true"><mml:mi> v </mml:mi><mml:mo> ˜ </mml:mo></mml:mover><mml:mi> φ </mml:mi></mml:msub><mml:mo> ∈ </mml:mo><mml:mi mathvariant="double-struck"> V </mml:mi></mml:mrow></mml:math></inline-formula> for all <inline-formula><mml:math><mml:mrow><mml:mi> φ </mml:mi><mml:mo> ∈ </mml:mo><mml:msubsup><mml:mi> C </mml:mi><mml:mi> c </mml:mi><mml:mi> ∞ </mml:mi></mml:msubsup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> Ω </mml:mi><mml:mo> , </mml:mo><mml:mi> ℝ </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and </p>
        <disp-formula id="FD23">
          <mml:math>
            <mml:mrow>
              <mml:mi>a</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mi>E</mml:mi>
                  <mml:mo>,</mml:mo>
                  <mml:msub>
                    <mml:mover accent="true">
                      <mml:mi>v</mml:mi>
                      <mml:mo>˜</mml:mo>
                    </mml:mover>
                    <mml:mi>φ</mml:mi>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mi>L</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msub>
                    <mml:mover accent="true">
                      <mml:mi>v</mml:mi>
                      <mml:mo>˜</mml:mo>
                    </mml:mover>
                    <mml:mi>φ</mml:mi>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>which is equivalent to: </p>
        <disp-formula id="FD24">
          <mml:math>
            <mml:mtable columnalign="left">
              <mml:mtr>
                <mml:mtd>
                  <mml:msub>
                    <mml:mi>D</mml:mi>
                    <mml:mi>E</mml:mi>
                  </mml:msub>
                  <mml:mstyle displaystyle="true">
                    <mml:mrow>
                      <mml:msub>
                        <mml:mo>∫</mml:mo>
                        <mml:mi>Ω</mml:mi>
                      </mml:msub>
                      <mml:mrow>
                        <mml:mo>∇</mml:mo>
                        <mml:mi>E</mml:mi>
                        <mml:mo>⋅</mml:mo>
                        <mml:mo>∇</mml:mo>
                        <mml:mi>φ</mml:mi>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mtext>d</mml:mtext>
                        <mml:mi>x</mml:mi>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mtext>d</mml:mtext>
                        <mml:mi>y</mml:mi>
                      </mml:mrow>
                    </mml:mrow>
                  </mml:mstyle>
                  <mml:mo>+</mml:mo>
                  <mml:mi>λ</mml:mi>
                  <mml:mstyle displaystyle="true">
                    <mml:mrow>
                      <mml:msub>
                        <mml:mo>∫</mml:mo>
                        <mml:mi>Ω</mml:mi>
                      </mml:msub>
                      <mml:mrow>
                        <mml:mi>E</mml:mi>
                        <mml:mi>φ</mml:mi>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mtext>d</mml:mtext>
                        <mml:mi>x</mml:mi>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mtext>d</mml:mtext>
                        <mml:mi>y</mml:mi>
                      </mml:mrow>
                    </mml:mrow>
                  </mml:mstyle>
                  <mml:mo>+</mml:mo>
                  <mml:msub>
                    <mml:mi>D</mml:mi>
                    <mml:mi>E</mml:mi>
                  </mml:msub>
                  <mml:msub>
                    <mml:mi>α</mml:mi>
                    <mml:mi>E</mml:mi>
                  </mml:msub>
                  <mml:mstyle displaystyle="true">
                    <mml:mrow>
                      <mml:msub>
                        <mml:mo>∫</mml:mo>
                        <mml:mrow>
                          <mml:mo>∂</mml:mo>
                          <mml:mtext>Ω</mml:mtext>
                        </mml:mrow>
                      </mml:msub>
                      <mml:mrow>
                        <mml:mi>E</mml:mi>
                        <mml:mi>φ</mml:mi>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mtext>d</mml:mtext>
                        <mml:mi>σ</mml:mi>
                      </mml:mrow>
                    </mml:mrow>
                  </mml:mstyle>
                </mml:mtd>
              </mml:mtr>
              <mml:mtr>
                <mml:mtd>
                  <mml:mo>=</mml:mo>
                  <mml:mi>λ</mml:mi>
                  <mml:mstyle displaystyle="true">
                    <mml:mrow>
                      <mml:msub>
                        <mml:mo>∫</mml:mo>
                        <mml:mi>Ω</mml:mi>
                      </mml:msub>
                      <mml:mrow>
                        <mml:mover accent="true">
                          <mml:mi>E</mml:mi>
                          <mml:mo>¯</mml:mo>
                        </mml:mover>
                        <mml:mi>φ</mml:mi>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mtext>d</mml:mtext>
                        <mml:mi>x</mml:mi>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mtext>d</mml:mtext>
                        <mml:mi>y</mml:mi>
                      </mml:mrow>
                    </mml:mrow>
                  </mml:mstyle>
                  <mml:mo>+</mml:mo>
                  <mml:mstyle displaystyle="true">
                    <mml:mrow>
                      <mml:msub>
                        <mml:mo>∫</mml:mo>
                        <mml:mi>Ω</mml:mi>
                      </mml:msub>
                      <mml:mrow>
                        <mml:mrow>
                          <mml:mo>(</mml:mo>
                          <mml:mrow>
                            <mml:mi>S</mml:mi>
                            <mml:mo>+</mml:mo>
                            <mml:mi>I</mml:mi>
                          </mml:mrow>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                        <mml:mi>φ</mml:mi>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mtext>d</mml:mtext>
                        <mml:mi>x</mml:mi>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mtext>d</mml:mtext>
                        <mml:mi>y</mml:mi>
                      </mml:mrow>
                    </mml:mrow>
                  </mml:mstyle>
                  <mml:mo>+</mml:mo>
                  <mml:msub>
                    <mml:mi>D</mml:mi>
                    <mml:mi>E</mml:mi>
                  </mml:msub>
                  <mml:mstyle displaystyle="true">
                    <mml:mrow>
                      <mml:msub>
                        <mml:mo>∫</mml:mo>
                        <mml:mrow>
                          <mml:mo>∂</mml:mo>
                          <mml:mtext>Ω</mml:mtext>
                        </mml:mrow>
                      </mml:msub>
                      <mml:mrow>
                        <mml:msub>
                          <mml:mi>g</mml:mi>
                          <mml:mi>E</mml:mi>
                        </mml:msub>
                        <mml:mi>φ</mml:mi>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mtext>d</mml:mtext>
                        <mml:mi>σ</mml:mi>
                      </mml:mrow>
                    </mml:mrow>
                  </mml:mstyle>
                </mml:mtd>
              </mml:mtr>
            </mml:mtable>
          </mml:math>
        </disp-formula>
        <p>Therefore, for all <inline-formula><mml:math><mml:mrow><mml:mi> φ </mml:mi><mml:mo> ∈ </mml:mo><mml:msubsup><mml:mi> C </mml:mi><mml:mi> c </mml:mi><mml:mi> ∞ </mml:mi></mml:msubsup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mtext> Ω </mml:mtext><mml:mo> , </mml:mo><mml:mi> ℝ </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , we have </p>
        <disp-formula id="FD25">
          <mml:math>
            <mml:mtable>
              <mml:mtr>
                <mml:mtd>
                  <mml:mstyle displaystyle="true">
                    <mml:mrow>
                      <mml:msub>
                        <mml:mo>∫</mml:mo>
                        <mml:mi>Ω</mml:mi>
                      </mml:msub>
                      <mml:mrow>
                        <mml:msub>
                          <mml:mi>D</mml:mi>
                          <mml:mi>E</mml:mi>
                        </mml:msub>
                        <mml:mo>∇</mml:mo>
                        <mml:mi>E</mml:mi>
                        <mml:mo>⋅</mml:mo>
                        <mml:mo>∇</mml:mo>
                        <mml:mi>φ</mml:mi>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mtext>d</mml:mtext>
                        <mml:mi>x</mml:mi>
                      </mml:mrow>
                    </mml:mrow>
                  </mml:mstyle>
                  <mml:mo>=</mml:mo>
                  <mml:mstyle displaystyle="true">
                    <mml:mrow>
                      <mml:msub>
                        <mml:mo>∫</mml:mo>
                        <mml:mi>Ω</mml:mi>
                      </mml:msub>
                      <mml:mrow>
                        <mml:mrow>
                          <mml:mo>(</mml:mo>
                          <mml:mrow>
                            <mml:mo>−</mml:mo>
                            <mml:mi>λ</mml:mi>
                            <mml:mi>E</mml:mi>
                            <mml:mo>+</mml:mo>
                            <mml:mi>λ</mml:mi>
                            <mml:mover accent="true">
                              <mml:mi>E</mml:mi>
                              <mml:mo>¯</mml:mo>
                            </mml:mover>
                            <mml:mo>+</mml:mo>
                            <mml:mrow>
                              <mml:mo>(</mml:mo>
                              <mml:mrow>
                                <mml:mi>S</mml:mi>
                                <mml:mo>+</mml:mo>
                                <mml:mi>I</mml:mi>
                              </mml:mrow>
                              <mml:mo>)</mml:mo>
                            </mml:mrow>
                          </mml:mrow>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                        <mml:mi>φ</mml:mi>
                        <mml:mrow>
                          <mml:mo>(</mml:mo>
                          <mml:mi>x</mml:mi>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                        <mml:mtext>d</mml:mtext>
                        <mml:mi>x</mml:mi>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mtext>d</mml:mtext>
                        <mml:mi>y</mml:mi>
                      </mml:mrow>
                    </mml:mrow>
                  </mml:mstyle>
                </mml:mtd>
              </mml:mtr>
              <mml:mtr>
                <mml:mtd>
                  <mml:mtext>
                     
                  </mml:mtext>
                  <mml:mtext>
                     
                  </mml:mtext>
                  <mml:mo>+</mml:mo>
                  <mml:mstyle displaystyle="true">
                    <mml:mrow>
                      <mml:msub>
                        <mml:mo>∫</mml:mo>
                        <mml:mrow>
                          <mml:mo>∂</mml:mo>
                          <mml:mi>Ω</mml:mi>
                        </mml:mrow>
                      </mml:msub>
                      <mml:mrow>
                        <mml:mrow>
                          <mml:mo>(</mml:mo>
                          <mml:mrow>
                            <mml:mo>−</mml:mo>
                            <mml:msub>
                              <mml:mi>D</mml:mi>
                              <mml:mi>E</mml:mi>
                            </mml:msub>
                            <mml:msub>
                              <mml:mi>α</mml:mi>
                              <mml:mi>E</mml:mi>
                            </mml:msub>
                            <mml:mi>E</mml:mi>
                            <mml:mo>+</mml:mo>
                            <mml:msub>
                              <mml:mi>D</mml:mi>
                              <mml:mi>E</mml:mi>
                            </mml:msub>
                            <mml:msub>
                              <mml:mi>g</mml:mi>
                              <mml:mi>E</mml:mi>
                            </mml:msub>
                          </mml:mrow>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                        <mml:mi>φ</mml:mi>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mtext>d</mml:mtext>
                        <mml:mi>σ</mml:mi>
                      </mml:mrow>
                    </mml:mrow>
                  </mml:mstyle>
                </mml:mtd>
              </mml:mtr>
            </mml:mtable>
          </mml:math>
        </disp-formula>
        <p>By identifying both sides of the equality, we get: </p>
        <disp-formula id="FD26">
          <mml:math>
            <mml:mrow>
              <mml:mstyle displaystyle="true">
                <mml:mrow>
                  <mml:msub>
                    <mml:mo>∫</mml:mo>
                    <mml:mi>Ω</mml:mi>
                  </mml:msub>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>D</mml:mi>
                      <mml:mi>E</mml:mi>
                    </mml:msub>
                    <mml:mo>∇</mml:mo>
                    <mml:mi>E</mml:mi>
                    <mml:mo>⋅</mml:mo>
                    <mml:mo>∇</mml:mo>
                    <mml:mi>φ</mml:mi>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>x</mml:mi>
                        <mml:mo>,</mml:mo>
                        <mml:mi>y</mml:mi>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                    <mml:mtext>d</mml:mtext>
                    <mml:mi>x</mml:mi>
                  </mml:mrow>
                </mml:mrow>
              </mml:mstyle>
              <mml:mo>=</mml:mo>
              <mml:mstyle displaystyle="true">
                <mml:mrow>
                  <mml:msub>
                    <mml:mo>∫</mml:mo>
                    <mml:mi>Ω</mml:mi>
                  </mml:msub>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mo>−</mml:mo>
                        <mml:mi>λ</mml:mi>
                        <mml:mi>E</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mi>λ</mml:mi>
                        <mml:mover accent="true">
                          <mml:mi>E</mml:mi>
                          <mml:mo>¯</mml:mo>
                        </mml:mover>
                        <mml:mo>+</mml:mo>
                        <mml:mrow>
                          <mml:mo>(</mml:mo>
                          <mml:mrow>
                            <mml:mi>S</mml:mi>
                            <mml:mo>+</mml:mo>
                            <mml:mi>I</mml:mi>
                          </mml:mrow>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                    <mml:mi>φ</mml:mi>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>x</mml:mi>
                        <mml:mo>,</mml:mo>
                        <mml:mi>y</mml:mi>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                    <mml:mtext>d</mml:mtext>
                    <mml:mi>x</mml:mi>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>d</mml:mtext>
                    <mml:mi>y</mml:mi>
                  </mml:mrow>
                </mml:mrow>
              </mml:mstyle>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>which implies that <inline-formula><mml:math><mml:mrow><mml:mi> E </mml:mi><mml:mo> ' </mml:mo><mml:mo> ∈ </mml:mo><mml:msup><mml:mi> W </mml:mi><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mtext> Ω </mml:mtext><mml:mo> , </mml:mo><mml:mi> ℝ </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> with </p>
        <disp-formula id="FD27">
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mi>D</mml:mi>
                <mml:mi>E</mml:mi>
              </mml:msub>
              <mml:msup>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:msup>
                      <mml:mi>E</mml:mi>
                      <mml:mo>′</mml:mo>
                    </mml:msup>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mo>′</mml:mo>
              </mml:msup>
              <mml:mo>=</mml:mo>
              <mml:mo>−</mml:mo>
              <mml:mi>λ</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mi>E</mml:mi>
                  <mml:mo>+</mml:mo>
                  <mml:mover accent="true">
                    <mml:mi>E</mml:mi>
                    <mml:mo>¯</mml:mo>
                  </mml:mover>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>+</mml:mo>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mi>S</mml:mi>
                  <mml:mo>+</mml:mo>
                  <mml:mi>I</mml:mi>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mo>∀</mml:mo>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mi>x</mml:mi>
                  <mml:mo>,</mml:mo>
                  <mml:mi>y</mml:mi>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>∈</mml:mo>
              <mml:mi>Ω</mml:mi>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>We finally obtain </p>
        <disp-formula id="FD28">
          <mml:math>
            <mml:mrow>
              <mml:mo>−</mml:mo>
              <mml:msub>
                <mml:mi>D</mml:mi>
                <mml:mi>E</mml:mi>
              </mml:msub>
              <mml:msup>
                <mml:mo>∇</mml:mo>
                <mml:mn>2</mml:mn>
              </mml:msup>
              <mml:mi>E</mml:mi>
              <mml:mo>+</mml:mo>
              <mml:mi>λ</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mi>E</mml:mi>
                  <mml:mo>−</mml:mo>
                  <mml:mover accent="true">
                    <mml:mi>E</mml:mi>
                    <mml:mo>¯</mml:mo>
                  </mml:mover>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mi>S</mml:mi>
              <mml:mo>+</mml:mo>
              <mml:mi>I</mml:mi>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>3.1.2. Verification of the Hypotheses of the Lax-Milgram Theorem</p>
        <p>To apply the Lax-Milgram theorem, it is necessary to show that:</p>
        <p>1) The bilinear form <inline-formula><mml:math><mml:mrow><mml:mi> a </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mo> ⋅ </mml:mo><mml:mo> , </mml:mo><mml:mo> ⋅ </mml:mo></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is continuous on <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> H </mml:mi><mml:mn> 1 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mi> Ω </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . </p>
        <p>2) The bilinear form <inline-formula><mml:math><mml:mrow><mml:mi> a </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mo> ⋅ </mml:mo><mml:mo> , </mml:mo><mml:mo> ⋅ </mml:mo></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is coercive on <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> H </mml:mi><mml:mn> 1 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mi> Ω </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . </p>
        <p>3) The linear form <inline-formula><mml:math><mml:mrow><mml:mi> L </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mo> ⋅ </mml:mo><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is continuous on <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> H </mml:mi><mml:mn> 1 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mi> Ω </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . </p>
        <p><bold>Continuity of</bold><inline-formula><mml:math><mml:mrow><mml:mi> a </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mo> ⋅ </mml:mo><mml:mo> , </mml:mo><mml:mo> ⋅ </mml:mo></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><bold>:</bold></p>
        <p>For all <inline-formula><mml:math><mml:mrow><mml:mi> u </mml:mi><mml:mo> , </mml:mo><mml:mi> v </mml:mi><mml:mo> ∈ </mml:mo><mml:msup><mml:mi> H </mml:mi><mml:mn> 1 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mi> Ω </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , using the Cauchy–Schwarz inequality and the trace theorem (which allows one to control the <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> L </mml:mi><mml:mn> 2 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mo> ∂ </mml:mo><mml:mi> Ω </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> norm by the <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> H </mml:mi><mml:mn> 1 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mi> Ω </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> norm), we have: </p>
        <disp-formula id="FD29">
          <mml:math>
            <mml:mrow>
              <mml:mrow>
                <mml:mo>|</mml:mo>
                <mml:mrow>
                  <mml:mi>a</mml:mi>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mi>u</mml:mi>
                      <mml:mo>,</mml:mo>
                      <mml:mi>v</mml:mi>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mo>|</mml:mo>
              </mml:mrow>
              <mml:mo>≤</mml:mo>
              <mml:msub>
                <mml:mi>D</mml:mi>
                <mml:mi>E</mml:mi>
              </mml:msub>
              <mml:msub>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mrow>
                      <mml:mo>∇</mml:mo>
                      <mml:mi>u</mml:mi>
                    </mml:mrow>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:msup>
                    <mml:mi>L</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>Ω</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
              </mml:msub>
              <mml:msub>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mrow>
                      <mml:mo>∇</mml:mo>
                      <mml:mi>v</mml:mi>
                    </mml:mrow>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:msup>
                    <mml:mi>L</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>Ω</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
              </mml:msub>
              <mml:mo>+</mml:mo>
              <mml:mi>λ</mml:mi>
              <mml:msub>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mi>u</mml:mi>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:msup>
                    <mml:mi>L</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>Ω</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
              </mml:msub>
              <mml:msub>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mi>v</mml:mi>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:msup>
                    <mml:mi>L</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>Ω</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
              </mml:msub>
              <mml:mo>+</mml:mo>
              <mml:msub>
                <mml:mi>D</mml:mi>
                <mml:mi>E</mml:mi>
              </mml:msub>
              <mml:msub>
                <mml:mi>α</mml:mi>
                <mml:mi>E</mml:mi>
              </mml:msub>
              <mml:msub>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mi>u</mml:mi>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:msup>
                    <mml:mi>L</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mo>∂</mml:mo>
                      <mml:mi>Ω</mml:mi>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
              </mml:msub>
              <mml:msub>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mi>v</mml:mi>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:msup>
                    <mml:mi>L</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mo>∂</mml:mo>
                      <mml:mi>Ω</mml:mi>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
              </mml:msub>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>Hence, there exists a constant <inline-formula><mml:math><mml:mrow><mml:mi> C </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> such that: </p>
        <disp-formula id="FD30">
          <mml:math>
            <mml:mrow>
              <mml:mrow>
                <mml:mo>|</mml:mo>
                <mml:mrow>
                  <mml:mi>a</mml:mi>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mi>u</mml:mi>
                      <mml:mo>,</mml:mo>
                      <mml:mi>v</mml:mi>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mo>|</mml:mo>
              </mml:mrow>
              <mml:mo>≤</mml:mo>
              <mml:mi>C</mml:mi>
              <mml:msub>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mi>u</mml:mi>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:msup>
                    <mml:mi>H</mml:mi>
                    <mml:mn>1</mml:mn>
                  </mml:msup>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>Ω</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
              </mml:msub>
              <mml:msub>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mi>v</mml:mi>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:msup>
                    <mml:mi>H</mml:mi>
                    <mml:mn>1</mml:mn>
                  </mml:msup>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>Ω</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
              </mml:msub>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p><bold>Coercivity of</bold><inline-formula><mml:math><mml:mrow><mml:mi> a </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mo> ⋅ </mml:mo><mml:mo> , </mml:mo><mml:mo> ⋅ </mml:mo></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><bold>:</bold></p>
        <p>For all <inline-formula><mml:math><mml:mrow><mml:mi> u </mml:mi><mml:mo> ∈ </mml:mo><mml:msup><mml:mi> H </mml:mi><mml:mn> 1 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mi> Ω </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , we have: </p>
        <disp-formula id="FD31">
          <mml:math>
            <mml:mrow>
              <mml:mi>a</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mi>u</mml:mi>
                  <mml:mo>,</mml:mo>
                  <mml:mi>u</mml:mi>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:msub>
                <mml:mi>D</mml:mi>
                <mml:mi>E</mml:mi>
              </mml:msub>
              <mml:msubsup>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mrow>
                      <mml:mo>∇</mml:mo>
                      <mml:mi>u</mml:mi>
                    </mml:mrow>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:msup>
                    <mml:mi>L</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>Ω</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mn>2</mml:mn>
              </mml:msubsup>
              <mml:mo>+</mml:mo>
              <mml:mi>λ</mml:mi>
              <mml:msubsup>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mi>u</mml:mi>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:msup>
                    <mml:mi>L</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>Ω</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mn>2</mml:mn>
              </mml:msubsup>
              <mml:mo>+</mml:mo>
              <mml:msub>
                <mml:mi>D</mml:mi>
                <mml:mi>E</mml:mi>
              </mml:msub>
              <mml:msub>
                <mml:mi>α</mml:mi>
                <mml:mi>E</mml:mi>
              </mml:msub>
              <mml:msubsup>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mi>u</mml:mi>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:msup>
                    <mml:mi>L</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mo>∂</mml:mo>
                      <mml:mi>Ω</mml:mi>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mn>2</mml:mn>
              </mml:msubsup>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>Since <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> D </mml:mi><mml:mi> E </mml:mi></mml:msub><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> , <inline-formula><mml:math><mml:mrow><mml:mi> λ </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> , and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> α </mml:mi><mml:mi> E </mml:mi></mml:msub><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> , and using the Poincaré and trace inequalities, there exists a constant <inline-formula><mml:math><mml:mrow><mml:mi> c </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> such that: </p>
        <disp-formula id="FD32">
          <mml:math>
            <mml:mrow>
              <mml:mi>a</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mi>u</mml:mi>
                  <mml:mo>,</mml:mo>
                  <mml:mi>u</mml:mi>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>≥</mml:mo>
              <mml:mi>c</mml:mi>
              <mml:msubsup>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mi>u</mml:mi>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:msup>
                    <mml:mi>H</mml:mi>
                    <mml:mn>1</mml:mn>
                  </mml:msup>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>Ω</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mn>2</mml:mn>
              </mml:msubsup>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p><bold>Continuity of</bold><inline-formula><mml:math><mml:mrow><mml:mi> L </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mo> ⋅ </mml:mo><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><bold>:</bold></p>
        <p>Assume that <inline-formula><mml:math><mml:mover accent="true"><mml:mi> E </mml:mi><mml:mo> ¯ </mml:mo></mml:mover></mml:math></inline-formula> , <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:mo> + </mml:mo><mml:mi> I </mml:mi><mml:mo> ∈ </mml:mo><mml:msup><mml:mi> L </mml:mi><mml:mn> 2 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mi> Ω </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and that <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mi> E </mml:mi></mml:msub><mml:mo> ∈ </mml:mo><mml:msup><mml:mi> L </mml:mi><mml:mn> 2 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mo> ∂ </mml:mo><mml:mi> Ω </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . For all <inline-formula><mml:math><mml:mrow><mml:mi> v </mml:mi><mml:mo> ∈ </mml:mo><mml:msup><mml:mi> H </mml:mi><mml:mn> 1 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mi> Ω </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , we have: </p>
        <disp-formula id="FD33">
          <mml:math>
            <mml:mrow>
              <mml:mrow>
                <mml:mo>|</mml:mo>
                <mml:mrow>
                  <mml:mi>L</mml:mi>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>v</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mo>|</mml:mo>
              </mml:mrow>
              <mml:mo>≤</mml:mo>
              <mml:mi>λ</mml:mi>
              <mml:msub>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mover accent="true">
                      <mml:mi>E</mml:mi>
                      <mml:mo>¯</mml:mo>
                    </mml:mover>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:msup>
                    <mml:mi>L</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>Ω</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
              </mml:msub>
              <mml:msub>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mi>v</mml:mi>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:msup>
                    <mml:mi>L</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>Ω</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
              </mml:msub>
              <mml:mo>+</mml:mo>
              <mml:msub>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mrow>
                      <mml:mi>S</mml:mi>
                      <mml:mo>+</mml:mo>
                      <mml:mi>I</mml:mi>
                    </mml:mrow>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:msup>
                    <mml:mi>L</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>Ω</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
              </mml:msub>
              <mml:msub>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mi>v</mml:mi>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:msup>
                    <mml:mi>L</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>Ω</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
              </mml:msub>
              <mml:mo>+</mml:mo>
              <mml:msub>
                <mml:mi>D</mml:mi>
                <mml:mi>E</mml:mi>
              </mml:msub>
              <mml:msub>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>g</mml:mi>
                        <mml:mi>E</mml:mi>
                      </mml:msub>
                    </mml:mrow>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:msup>
                    <mml:mi>L</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mo>∂</mml:mo>
                      <mml:mi>Ω</mml:mi>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
              </mml:msub>
              <mml:msub>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mi>v</mml:mi>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:msup>
                    <mml:mi>L</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mo>∂</mml:mo>
                      <mml:mi>Ω</mml:mi>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
              </mml:msub>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>According to the trace theorem, there exists a constant <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> C </mml:mi><mml:mrow><mml:mtext> trace </mml:mtext></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> such that: </p>
        <disp-formula id="FD34">
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mi>v</mml:mi>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:msup>
                    <mml:mi>L</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mo>∂</mml:mo>
                      <mml:mi>Ω</mml:mi>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
              </mml:msub>
              <mml:mo>≤</mml:mo>
              <mml:msub>
                <mml:mi>C</mml:mi>
                <mml:mrow>
                  <mml:mtext>trace</mml:mtext>
                </mml:mrow>
              </mml:msub>
              <mml:msub>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mi>v</mml:mi>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:msup>
                    <mml:mi>H</mml:mi>
                    <mml:mn>1</mml:mn>
                  </mml:msup>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>Ω</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
              </mml:msub>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>Hence, there exists a constant <inline-formula><mml:math><mml:mrow><mml:mi> C </mml:mi><mml:mo> ' </mml:mo></mml:mrow></mml:math></inline-formula> such that: </p>
        <disp-formula id="FD35">
          <mml:math>
            <mml:mrow>
              <mml:mrow>
                <mml:mo>|</mml:mo>
                <mml:mrow>
                  <mml:mi>L</mml:mi>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>v</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mo>|</mml:mo>
              </mml:mrow>
              <mml:mo>≤</mml:mo>
              <mml:msup>
                <mml:mi>C</mml:mi>
                <mml:mo>′</mml:mo>
              </mml:msup>
              <mml:msub>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>‖</mml:mo>
                    <mml:mi>v</mml:mi>
                    <mml:mo>‖</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:msup>
                    <mml:mi>H</mml:mi>
                    <mml:mn>1</mml:mn>
                  </mml:msup>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>Ω</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
              </mml:msub>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>3.1.3. Application of the Lax-Milgram Theorem</p>
        <p>The Lax-Milgram theorem ensures that, given the continuity and coercivity of <inline-formula><mml:math><mml:mrow><mml:mi> a </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mo> ⋅ </mml:mo><mml:mo> , </mml:mo><mml:mo> ⋅ </mml:mo></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and the continuity of <inline-formula><mml:math><mml:mrow><mml:mi> L </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mo> ⋅ </mml:mo><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , there exists a unique <inline-formula><mml:math><mml:mrow><mml:mi> E </mml:mi><mml:mo> ∈ </mml:mo><mml:msup><mml:mi> H </mml:mi><mml:mn> 1 </mml:mn></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mtext> Ω </mml:mtext><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> such that: </p>
        <disp-formula id="FD36">
          <mml:math>
            <mml:mrow>
              <mml:mi>a</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mi>E</mml:mi>
                  <mml:mo>,</mml:mo>
                  <mml:mi>v</mml:mi>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mi>L</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>v</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mo>∀</mml:mo>
              <mml:mi>v</mml:mi>
              <mml:mo>∈</mml:mo>
              <mml:msup>
                <mml:mi>H</mml:mi>
                <mml:mn>1</mml:mn>
              </mml:msup>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>Ω</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>This solution <inline-formula><mml:math><mml:mi> E </mml:mi></mml:math></inline-formula> is the weak solution of the diffusion equation (3.3) with the Robin boundary condition (3.4).</p>
        <p>In the case of a time-dependent (parabolic) equation, a time discretization (for instance, by the implicit Euler method) is applied so that at each time step, an elliptic problem of the above form is solved. The uniqueness and existence of the solution at each time, combined with an induction argument, allow for the construction of the global-in-time solution.</p>
        <p>3.1.4. Conclusion</p>
        <p>Under the assumptions: </p>
        <disp-formula id="FD37">
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mi>D</mml:mi>
                <mml:mi>E</mml:mi>
              </mml:msub>
              <mml:mo>&gt;</mml:mo>
              <mml:mn>0</mml:mn>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mi>λ</mml:mi>
              <mml:mo>&gt;</mml:mo>
              <mml:mn>0</mml:mn>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:msub>
                <mml:mi>α</mml:mi>
                <mml:mi>E</mml:mi>
              </mml:msub>
              <mml:mo>&gt;</mml:mo>
              <mml:mn>0</mml:mn>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>and with appropriate regularity conditions on <inline-formula><mml:math><mml:mover accent="true"><mml:mi> E </mml:mi><mml:mo> ¯ </mml:mo></mml:mover></mml:math></inline-formula> , <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:mo> + </mml:mo><mml:mi> I </mml:mi></mml:mrow></mml:math></inline-formula> , and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mi> E </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> , the Lax-Milgram theorem guarantees the existence and uniqueness of the weak solution of the collective emotion diffusion problem (3.3) with Robin condition (3.4). Consequently, by Lemma (3.1), the existence and uniqueness of the solution to problem (3.2) are also ensured.</p>
      </sec>
      <sec id="sec3dot2">
        <title>3.2. Existence and Uniqueness of Individual Emotions</title>
        <p>The evolution equation of individual emotions <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> e </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> is an ordinary differential equation given by: </p>
        <disp-formula id="FD38">
          <label>(3.8)</label>
          <mml:math>
            <mml:mrow>
              <mml:mfrac>
                <mml:mrow>
                  <mml:mtext>d</mml:mtext>
                  <mml:msub>
                    <mml:mi>e</mml:mi>
                    <mml:mi>i</mml:mi>
                  </mml:msub>
                </mml:mrow>
                <mml:mrow>
                  <mml:mtext>d</mml:mtext>
                  <mml:mi>t</mml:mi>
                </mml:mrow>
              </mml:mfrac>
              <mml:mo>=</mml:mo>
              <mml:mo>−</mml:mo>
              <mml:mi>γ</mml:mi>
              <mml:msub>
                <mml:mi>e</mml:mi>
                <mml:mi>i</mml:mi>
              </mml:msub>
              <mml:mo>+</mml:mo>
              <mml:mi>β</mml:mi>
              <mml:munder>
                <mml:mstyle mathsize="140%" displaystyle="true">
                  <mml:mo>∑</mml:mo>
                </mml:mstyle>
                <mml:mrow>
                  <mml:mi>j</mml:mi>
                  <mml:mo>∈</mml:mo>
                  <mml:msub>
                    <mml:mi mathvariant="script">N</mml:mi>
                    <mml:mi>i</mml:mi>
                  </mml:msub>
                </mml:mrow>
              </mml:munder>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:msub>
                <mml:mi>w</mml:mi>
                <mml:mrow>
                  <mml:mi>i</mml:mi>
                  <mml:mi>j</mml:mi>
                </mml:mrow>
              </mml:msub>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>e</mml:mi>
                    <mml:mi>j</mml:mi>
                  </mml:msub>
                  <mml:mo>−</mml:mo>
                  <mml:msub>
                    <mml:mi>e</mml:mi>
                    <mml:mi>i</mml:mi>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>+</mml:mo>
              <mml:mi>δ</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mi>E</mml:mi>
                  <mml:mo>−</mml:mo>
                  <mml:msub>
                    <mml:mi>e</mml:mi>
                    <mml:mi>i</mml:mi>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>+</mml:mo>
              <mml:mi>η</mml:mi>
              <mml:msub>
                <mml:mi>F</mml:mi>
                <mml:mi>i</mml:mi>
              </mml:msub>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>We rewrite this equation in matrix form: </p>
        <disp-formula id="FD39">
          <label>(3.9)</label>
          <mml:math>
            <mml:mrow>
              <mml:mfrac>
                <mml:mrow>
                  <mml:mtext>d</mml:mtext>
                  <mml:mstyle mathvariant="bold" mathsize="normal">
                    <mml:mi>e</mml:mi>
                  </mml:mstyle>
                </mml:mrow>
                <mml:mrow>
                  <mml:mtext>d</mml:mtext>
                  <mml:mi>t</mml:mi>
                </mml:mrow>
              </mml:mfrac>
              <mml:mo>=</mml:mo>
              <mml:mi>A</mml:mi>
              <mml:mstyle mathvariant="bold" mathsize="normal">
                <mml:mi>e</mml:mi>
              </mml:mstyle>
              <mml:mo>+</mml:mo>
              <mml:mi>b</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>t</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>where <inline-formula><mml:math><mml:mrow><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> e </mml:mi></mml:mstyle><mml:mo> = </mml:mo><mml:msup><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> e </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> e </mml:mi><mml:mi> N </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo> ⊤ </mml:mo></mml:msup></mml:mrow></mml:math></inline-formula> , and <inline-formula><mml:math><mml:mi> A </mml:mi></mml:math></inline-formula> is a matrix defined by: </p>
        <disp-formula id="FD40">
          <label>(3.10)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mi>A</mml:mi>
                <mml:mrow>
                  <mml:mi>i</mml:mi>
                  <mml:mi>i</mml:mi>
                </mml:mrow>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:mo>−</mml:mo>
              <mml:mi>γ</mml:mi>
              <mml:mo>−</mml:mo>
              <mml:mi>β</mml:mi>
              <mml:munder>
                <mml:mstyle mathsize="140%" displaystyle="true">
                  <mml:mo>∑</mml:mo>
                </mml:mstyle>
                <mml:mrow>
                  <mml:mi>j</mml:mi>
                  <mml:mo>∈</mml:mo>
                  <mml:msub>
                    <mml:mi mathvariant="script">N</mml:mi>
                    <mml:mi>i</mml:mi>
                  </mml:msub>
                </mml:mrow>
              </mml:munder>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:msub>
                <mml:mi>w</mml:mi>
                <mml:mrow>
                  <mml:mi>i</mml:mi>
                  <mml:mi>j</mml:mi>
                </mml:mrow>
              </mml:msub>
              <mml:mo>−</mml:mo>
              <mml:mi>δ</mml:mi>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:msub>
                <mml:mi>A</mml:mi>
                <mml:mrow>
                  <mml:mi>i</mml:mi>
                  <mml:mi>j</mml:mi>
                </mml:mrow>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:mi>β</mml:mi>
              <mml:msub>
                <mml:mi>w</mml:mi>
                <mml:mrow>
                  <mml:mi>i</mml:mi>
                  <mml:mi>j</mml:mi>
                </mml:mrow>
              </mml:msub>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mi>i</mml:mi>
              <mml:mo>≠</mml:mo>
              <mml:mi>j</mml:mi>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>and <inline-formula><mml:math><mml:mrow><mml:mi> b </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> t </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is given by: </p>
        <disp-formula id="FD41">
          <label>(3.11)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mi>b</mml:mi>
                <mml:mi>i</mml:mi>
              </mml:msub>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>t</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mi>δ</mml:mi>
              <mml:mi>E</mml:mi>
              <mml:mo>+</mml:mo>
              <mml:mi>η</mml:mi>
              <mml:msub>
                <mml:mi>F</mml:mi>
                <mml:mi>i</mml:mi>
              </mml:msub>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>3.2.1. Application of the Cauchy-Lipschitz Theorem</p>
        <p><bold>Lemma 3.3</bold><italic>Assuming that hypothesis</italic>(2.1)<italic>holds</italic>,<italic>then</italic><inline-formula><mml:math><mml:mrow><mml:mi> f </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> t </mml:mi><mml:mo> , </mml:mo><mml:msub><mml:mi> e </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> A </mml:mi><mml:mi> e </mml:mi><mml:mo> + </mml:mo><mml:mi> b </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> t </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><italic>is linear in</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> e </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> , <italic>hence Lipschitz continuous with respect to</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> e </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> .<italic>Therefore</italic>,<italic>by the Cauchy</italic>–<italic>Lipschitz theorem, problem</italic>(3.8) <italic>admits a unique solution</italic>. </p>
        <p><bold>Proof 3.4</bold><italic>According to subsection</italic>(3.1) <italic>and assumption</italic> (2.1), <inline-formula><mml:math><mml:mrow><mml:mi> E </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> x </mml:mi><mml:mo> , </mml:mo><mml:mi> y </mml:mi><mml:mo> , </mml:mo><mml:mi> t </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><italic>and</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> F </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula><italic>are sufficiently regular</italic>(<italic>continuous in</italic><inline-formula><mml:math><mml:mi> t </mml:mi></mml:math></inline-formula> ), <italic>hence</italic><inline-formula><mml:math><mml:mrow><mml:mi> b </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> t </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><italic>is also continuous</italic>. <italic>Moreover</italic>, <italic>by construction</italic>, <inline-formula><mml:math><mml:mi> A </mml:mi></mml:math></inline-formula><italic>is a constant</italic>-<italic>coefficient matrix</italic>, <italic>so</italic><inline-formula><mml:math><mml:mrow><mml:mi> f </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> t </mml:mi><mml:mo> , </mml:mo><mml:msub><mml:mi> e </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> A </mml:mi><mml:mi> e </mml:mi><mml:mo> + </mml:mo><mml:mi> b </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> t </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><italic>is linear in</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> e </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula><italic>and therefore Lipschitz continuous with respect to</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> e </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> . </p>
        <p>3.2.2. Conclusion</p>
        <p>We have shown that: </p>
        <p>The collective emotion equation <inline-formula><mml:math><mml:mrow><mml:mi> E </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> x </mml:mi><mml:mo> , </mml:mo><mml:mi> y </mml:mi><mml:mo> , </mml:mo><mml:mi> t </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> admits a unique solution by the Lax-Milgram theorem. The individual emotion equations <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> e </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> t </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> admit a unique solution by the Cauchy-Lipschitz theorem. </p>
        <p>Thus, the proposed hybrid model is well-posed and guarantees the existence and uniqueness of the solutions under reasonable assumptions. </p>
      </sec>
    </sec>
    <sec id="sec4">
      <title>4. Simulation and Numerical Results</title>
      <p>In this section, we present the numerical implementation of the model describing the propagation of emotions and attitudes on the field. The simulation is based first on a diffusion equation representing the collective emotional state, then on a multi-agent model describing the individual evolution of interacting players, and finally on a coupling between these two equations.</p>
      <p>For each simulation, we first detail the parameters and initial conditions used, then analyze the results obtained. The objective is to observe how emotions spread within the team in response to external stimuli and interactions among players. Finally, we discuss the implications of the results and their interpretation in a tactical and behavioral context.</p>
      <sec id="sec4dot1">
        <title>4.1. Numerical Methods</title>
        <p>To numerically solve the hybrid model, we employ a combination of the <italic>finite element method</italic> (FEM) for the partial differential equation (PDE) governing the collective emotional state <inline-formula><mml:math><mml:mrow><mml:mi> E </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> x </mml:mi><mml:mo> , </mml:mo><mml:mi> y </mml:mi><mml:mo> , </mml:mo><mml:mi> t </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , and the <italic>Crank-Nicolson scheme</italic> for the system of ordinary differential equations (ODEs) describing the evolution of individual emotions <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> e </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> t </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> .</p>
        <p><bold>Finite Element Method (FEM) for the PDE:</bold> The PDE in our model is a reaction-diffusion equation, which describes the spatio-temporal propagation of the collective emotional state across the football field. FEM is particularly well-suited for this task due to its ability to handle complex geometries and boundary conditions, such as the irregular shape of a football field or localized emotional disturbances. By discretizing the spatial domain into smaller elements, FEM allows us to approximate the solution <inline-formula><mml:math><mml:mrow><mml:mi> E </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> x </mml:mi><mml:mo> , </mml:mo><mml:mi> y </mml:mi><mml:mo> , </mml:mo><mml:mi> t </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> with high accuracy, even in the presence of heterogeneous emotional dynamics.<bold>Crank-Nicolson Scheme for the ODEs:</bold> The system of ODEs, which models the evolution of individual emotions <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> e </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> t </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , is solved using the Crank-Nicolson scheme. This implicit method is chosen for its stability and second-order accuracy in time, which are critical for capturing the potentially rapid changes in players’ emotional states. The Crank-Nicolson scheme ensures that the numerical solution remains stable even for larger time steps, while preserving the physical meaning of the emotional interactions among players. </p>
        <p>The coupling between the PDE and ODE systems is handled by iteratively updating the collective emotional field <inline-formula><mml:math><mml:mrow><mml:mi> E </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> x </mml:mi><mml:mo> , </mml:mo><mml:mi> y </mml:mi><mml:mo> , </mml:mo><mml:mi> t </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and the individual emotional states <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> e </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> t </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> at each time step. This approach ensures that the feedback loop between individual and collective emotions is accurately captured, providing a realistic simulation of emotional dynamics on the field.</p>
        <p>By using these numerical methods, we ensure both the stability and accuracy of our simulations, allowing us to explore the complex interplay between individual and collective emotions in a football team.</p>
      </sec>
      <sec id="sec4dot2">
        <title>4.2. Results and Interpretation of the Collective Emotion Simulation</title>
        <p>After setting up the numerical simulation of the collective emotion diffusion model, we analyze here the results obtained. We first present the different configurations observed during the simulation and the emotional dynamics that result from them. This analysis then allows us to interpret the influence of model parameters and draw conclusions about the collective behavior of the players.</p>
        <p>4.2.1. Results</p>
        <fig id="fig3">
          <label>Figure 3</label>
          <graphic xlink:href="https://html.scirp.org/file/1724413-rId342.jpeg?20260127034531" />
        </fig>
        <fig id="fig4">
          <label>Figure 4</label>
          <graphic xlink:href="https://html.scirp.org/file/1724413-rId343.jpeg?20260127034531" />
        </fig>
        <p>(a) Graph 1 (b) Graph 2</p>
        <fig id="fig5">
          <label>Figure 5</label>
          <graphic xlink:href="https://html.scirp.org/file/1724413-rId344.jpeg?20260127034531" />
        </fig>
        <fig id="fig6">
          <label>Figure 6</label>
          <graphic xlink:href="https://html.scirp.org/file/1724413-rId345.jpeg?20260127034531" />
        </fig>
        <p>(c) Graph 3 (d) Graph 4</p>
        <p><bold>Figure 1</bold><bold>.</bold> Set of four graphs illustrating collective emotions.</p>
        <p>4.2.2. Interpretation of the Results</p>
        <p>As illustrated in <xref ref-type="fig" rid="fig1">Figure 1</xref>, the simulation highlights the spatio-temporal evolution of collective emotions within the team. The formation of emotional clusters observed in <xref ref-type="fig" rid="fig1">Figures 1(c)-(d)</xref> reflects the impact of significant game events.</p>
        <p><bold>General Dynamics</bold>The simulation highlights the spatio-temporal evolution of collective emotions within the team. Analysis of the results reveals several significant trends:</p>
        <p><bold>Homogeneous initialization:</bold> At the beginning of the simulation, the collective emotional state is relatively neutral and evenly distributed over the field. This corresponds to a team in an initial emotional equilibrium, without strong external influences. <bold>Propagation and diffusion:</bold> Over time, zones of more intense emotions appear and spread across the field. This phenomenon agrees with the diffusion equation integrated into the model, representing the transmission of emotions among nearby players. <bold>Regulation influence:</bold> The regulation parameter <inline-formula><mml:math><mml:mi> λ </mml:mi></mml:math></inline-formula> prevents excessive amplification of emotions and promotes a progressive stabilization of emotional states. This mechanism avoids uncontrolled dynamics and contributes to the emotional resilience of the team. </p>
        <p><bold>Spatial Analysis</bold>The evolution of emotions across the field exhibits distinct patterns reflecting the collective dynamics of players:</p>
        <p><bold>Formation of emotional clusters:</bold> Zones of stronger emotions emerge, corresponding to significant game events (e.g., a conceded goal, a foul, or a missed opportunity). </p>
        <p><bold>Anisotropic diffusion:</bold> The propagation of emotions does not occur uniformly on the field. This anisotropy may be due to the team’s structure, player positions, or differentiated interactions. </p>
        <p><bold>Emotional persistence:</bold> Some emotional zones persist longer before dissipating, suggesting that emotions do not vanish instantly but leave a lasting imprint on the team. </p>
        <p><bold>Temporal Evolution</bold>The temporal dynamics highlight several phases in the evolution of collective emotions:</p>
        <p><bold>Activation phase:</bold> Initially, emotions evolve slowly before interactions and diffusion accelerate the collective dynamics. <bold>Fluctuations and adjustments:</bold> Gradual adjustments occur due to individual and collective interactions. As the simulation progresses, the dynamics tend toward a more homogeneous emotional state. </p>
        <p><bold>Comparison with Real Scenarios</bold>The interpretation of results allows analogies with real football situations:</p>
        <p>A team leading the score may display a more stable and uniform emotional dynamic. A struggling team may exhibit more chaotic emotional fluctuations with significant variations among players. A disruptive event (e.g., a red card) may trigger a wave of emotions progressively spreading throughout the team. </p>
        <p>4.2.3. Conclusion</p>
        <p>This simulation highlights the emerging collective behavior induced by emotional diffusion and player interactions. Individual emotions gradually influence the entire team, confirming the central role of emotional dynamics in collective play. These results offer promising perspectives for modeling real match situations, such as the psychological impact of a goal or stress management during defensive phases.</p>
      </sec>
      <sec id="sec4dot3">
        <title>4.3. Analysis of Results: Simulation of Individual Emotions</title>
        <p>In this section, we analyze the results obtained from the simulation of the individual emotion equation. The goal of this simulation is to study how players’ emotions evolve as a function of their interactions, external stimuli, and internal regulation parameters.</p>
        <p>Results</p>
        <fig id="fig7">
          <label>Figure 7</label>
          <graphic xlink:href="https://html.scirp.org/file/1724413-rId348.jpeg?20260127034535" />
        </fig>
        <fig id="fig8">
          <label>Figure 8</label>
          <graphic xlink:href="https://html.scirp.org/file/1724413-rId349.jpeg?20260127034535" />
        </fig>
        <p>(a) Graph 5 (b) Graph 6</p>
        <fig id="fig9">
          <label>Figure 9</label>
          <graphic xlink:href="https://html.scirp.org/file/1724413-rId350.jpeg?20260127034535" />
        </fig>
        <p>(c) Graph 7</p>
        <fig id="fig10">
          <label>Figure 10</label>
          <graphic xlink:href="https://html.scirp.org/file/1724413-rId351.jpeg?20260127034536" />
        </fig>
        <p>(d) Graph 8</p>
        <p><bold>Figure 2.</bold> Set of four graphs illustrating individual emotions.</p>
      </sec>
      <sec id="sec4dot4">
        <title>4.4. Interpretation of the Simulation</title>
        <p>The evolution of individual emotional states shown in <xref ref-type="fig" rid="fig2">Figure 2</xref> reveals significant heterogeneity among players.In particular, the oscillatory behaviors observed in <xref ref-type="fig" rid="fig2">Figure 2(a)</xref>, <xref ref-type="fig" rid="fig2">Figure 2(b)</xref> indicate high sensitivity to external stimuli.</p>
        <p><bold>Dynamics of Individual Emotions</bold>Analysis of the obtained curves highlights significant variations in players’ emotional states. Several behaviors can be identified: </p>
        <p>Some players show strong emotional oscillations, indicating high sensitivity to interactions and external stimuli. Others exhibit more gradual evolution and stabilize rapidly, suggesting greater resistance to external influence. </p>
        <p><bold>Propagation and Mutual Influence</bold>Individual emotions are not isolated but are influenced by other players’ emotional states. Specifically: </p>
        <p>When certain players experience a sudden increase in their emotional level (positive or negative), this dynamic gradually propagates to neighboring players. Local interactions play a central role in this propagation, reflecting social influence phenomena similar to those observed in collective psychology. </p>
        <p><bold>Impact of External Stimuli</bold>The influence of external events is particularly evident in certain simulation phases. When an external stimulus is introduced, it triggers an immediate response that spreads differently depending on several factors: </p>
        <p>The player’s proximity to the stimulus source. The intrinsic sensitivity of the player (possibly modeled by a sensitivity parameter in the equation). The player’s previous emotional state, which affects their reaction intensity. </p>
        <p><bold>Regulation and Stabilization Mechanisms</bold>Long-term observation of individual emotions reveals self-regulation mechanisms specific to each player: </p>
        <p>Some players gradually return to a more stable emotional state after an initial disturbance. The relaxation effect is modulated by social interactions: a player surrounded by highly reactive teammates will take longer to regain stability. ConclusionThese observations confirm the importance of emotional diffusion and coupling between players in shaping the evolution of individual emotions on the field.</p>
        <p>In conclusion, this simulation highlights the complexity of emotional dynamics within a team. The balance between individual regulation and collective influence generates emergent behaviors that may be decisive for team performance. These results confirm the importance of considering emotional factors in strategic game analysis and open perspectives for tactical adjustments based on players’ emotional states.</p>
      </sec>
      <sec id="sec4dot5">
        <title>4.5. Analysis of the Coupled Simulation Results</title>
        <p>In this final simulation, we examine the coupling between the equations governing individual and collective emotions. The goal is to evaluate how individual behaviors influence the collective emotional dynamics and, conversely, how the global emotional state affects individual players.</p>
        <p>Results</p>
        <fig id="fig11">
          <label>Figure 11</label>
          <graphic xlink:href="https://html.scirp.org/file/1724413-rId352.jpeg?20260127034539" />
        </fig>
        <fig id="fig12">
          <label>Figure 12</label>
          <graphic xlink:href="https://html.scirp.org/file/1724413-rId353.jpeg?20260127034539" />
        </fig>
        <p>(a) Graph 9 (b) Graph 10</p>
        <fig id="fig13">
          <label>Figure 13</label>
          <graphic xlink:href="https://html.scirp.org/file/1724413-rId354.jpeg?20260127034539" />
        </fig>
        <p>(c) Graph 11</p>
        <fig id="fig14">
          <label>Figure 14</label>
          <graphic xlink:href="https://html.scirp.org/file/1724413-rId355.jpeg?20260127034538" />
        </fig>
        <p>(d) Graph 12</p>
        <p><bold>Figure 3.</bold> Set of four graphs illustrating the coupling between collective and individual emotions.</p>
      </sec>
      <sec id="sec4dot6">
        <title>4.6. Interpretation of the Simulation</title>
        <p>The coupled dynamics between individual and collective emotions are illustrated in <xref ref-type="fig" rid="fig3">Figure 3</xref>. As shown in <xref ref-type="fig" rid="fig3">Figures 3(c)-(d)</xref>, emotional amplification and stabilization phases emerge from the bidirectional coupling.</p>
        <p><bold>Dynamics of the Coupled System</bold>The simulation reveals several noteworthy phenomena: </p>
        <p><bold>Bidirectional propagation:</bold> Unlike the previous simulations, we observe a joint evolution of individual and collective emotions. A localized excitation in one player can gradually influence teammates, while a globally tense or calm environment directly affects each individual. <bold>Emergence of spatio-temporal patterns:</bold> Interaction between players and the collective field generates regular structures such as zones of high emotional intensity that form and dissipate dynamically over time. <bold>Amplification and stabilization effects:</bold> Certain moments show rapid amplification of individual emotions, likely due to a positive feedback loop between players and the collective field. Conversely, other periods show stabilization, suggesting that the system possesses intrinsic regulation mechanisms. </p>
        <p><bold>Interpretation and Strategic Impact</bold>These results provide a deeper under-standing of the role of interactions in emotional dynamics on the field: </p>
        <p><bold>Stress and motivation management:</bold> Intense emotional disturbances (e.g., a conceded goal or player error) do not remain isolated but spread throughout the team. Appropriate strategies—such as effective communication or tactical adjustments—can help limit these fluctuations and stabilize collective performance. <bold>Leadership effect:</bold> Certain players exert a stronger influence on the team’s emotional state, acting as regulators or catalysts of collective energy. Identifying these natural leaders and understanding their roles could improve emotional management during matches. <bold>Detection of critical phases:</bold> By observing patterns of emotional ampli-fication, it becomes possible to predict moments when the team risks losing control (e.g., moral collapse or disorganization) and to anticipate corrective interventions. </p>
        <p>Conclusion</p>
        <p>The coupled system simulation enhances our understanding of team emotional dynamics in action. It reveals complex interactions between individual emotions and collective feelings, offering valuable insights for sports performance analysis. The results could be used to design targeted intervention strategies aimed at improving team cohesion and resilience to emotional fluctuations during matches. </p>
      </sec>
      <sec id="sec4dot7">
        <title>4.7. Linking Simulation Dynamics to Model Parameters</title>
        <p>The simulation results provide valuable insights into how specific model para-meters influence the emotional dynamics of the team. Below, we discuss the impact of key parameters on the observed patterns, such as the formation of emotional clusters and the team’s emotional resilience.</p>
        <p><bold>Diffusion Coefficient (</bold><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> D </mml:mi><mml:mi> E </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula><bold>):</bold> The diffusion coefficient <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> D </mml:mi><mml:mi> E </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> plays a critical role in determining how quickly emotions spread across the field. Our simulations reveal that: A <bold>higher</bold><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> D </mml:mi><mml:mi> E </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> leads to faster and more widespread diffusion of emotions, resulting in the rapid formation of large emotional clusters. This can be interpreted as a team where emotions, such as excitement or frustration, spread quickly among players, potentially leading to synchronized emotional responses (e.g., collective motivation or demoralization). Conversely, a <bold>lower</bold><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> D </mml:mi><mml:mi> E </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> restricts emotional propagation, causing emotions to remain localized around their source. This may reflect a team with weaker emotional contagion, where individual emotional states are less influenced by teammates, leading to more isolated emotional responses. </p>
        <p><italic>Implications</italic>: Teams with high <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> D </mml:mi><mml:mi> E </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> may experience stronger collective emo-tional responses to events like scoring a goal or conceding a penalty, while teams with low <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> D </mml:mi><mml:mi> E </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> may show more individualized emotional reactions.</p>
        <p><bold>Regulation Parameter (</bold><inline-formula><mml:math><mml:mi> λ </mml:mi></mml:math></inline-formula><bold>):</bold> The regulation parameter <inline-formula><mml:math><mml:mi> λ </mml:mi></mml:math></inline-formula> governs the team’s ability to return to an emotional baseline after a disturbance. Our results indicate that: A <bold>higher</bold><inline-formula><mml:math><mml:mi> λ </mml:mi></mml:math></inline-formula> enhances emotional resilience, as the team’s collective emotional state quickly stabilizes after perturbations. This suggests a team that is better at managing emotional fluctuations, maintaining focus, and avoiding prolonged periods of negative emotions (e.g., frustration or anxiety). A <bold>lower</bold><inline-formula><mml:math><mml:mi> λ </mml:mi></mml:math></inline-formula> results in slower emotional recovery, with emotions persisting for longer periods. This may reflect a team that struggles to regulate its emotional state, making it more vulnerable to prolonged emotional disturbances, such as lingering frustration after a controversial referee decision. </p>
        <p><italic>Implications</italic>: Teams with high <inline-formula><mml:math><mml:mi> λ </mml:mi></mml:math></inline-formula> are likely to exhibit greater emotional stability during high-pressure moments, while those with low <inline-formula><mml:math><mml:mi> λ </mml:mi></mml:math></inline-formula> may require additional support (e.g., coaching interventions) to regain emotional equilibrium.</p>
        <p><bold>Influence of Teammates (</bold><inline-formula><mml:math><mml:mi> β </mml:mi></mml:math></inline-formula><bold>):</bold> The parameter <inline-formula><mml:math><mml:mi> β </mml:mi></mml:math></inline-formula> , which quantifies the strength of emotional influence among teammates, affects the synchronization of emotional states within the team: A <bold>higher</bold><inline-formula><mml:math><mml:mi> β </mml:mi></mml:math></inline-formula> fosters stronger emotional alignment among players, leading to cohesive emotional responses. This can be beneficial for team unity but may also amplify negative emotions if not managed properly. A <bold>lower</bold><inline-formula><mml:math><mml:mi> β </mml:mi></mml:math></inline-formula> reduces the emotional influence among players, allowing for more independent emotional responses. This may be advantageous in situations where individual focus is required, but it could also lead to a lack of emotional cohesion. </p>
        <p><italic>Implications</italic>: Teams with high <inline-formula><mml:math><mml:mi> β </mml:mi></mml:math></inline-formula> may benefit from strong leadership to channel collective emotions positively, while teams with low <inline-formula><mml:math><mml:mi> β </mml:mi></mml:math></inline-formula> might need strategies to enhance emotional connectivity among players.</p>
        <p><bold>Collective Influence (</bold><inline-formula><mml:math><mml:mi> δ </mml:mi></mml:math></inline-formula><bold>):</bold> The parameter <inline-formula><mml:math><mml:mi> δ </mml:mi></mml:math></inline-formula> captures the impact of the collective emotional field on individual players. Our simulations show that: A <bold>higher</bold><inline-formula><mml:math><mml:mi> δ </mml:mi></mml:math></inline-formula> amplifies the influence of the team’s overall emotional state on individual players, leading to stronger alignment between individual and collective emotions. This can enhance team cohesion but may also make players more susceptible to collective emotional swings. A <bold>lower</bold><inline-formula><mml:math><mml:mi> δ </mml:mi></mml:math></inline-formula> reduces this influence, allowing players to maintain more independent emotional states. This may help players stay focused on individual tasks but could also lead to a disconnect between individual and team emotions. </p>
        <p><italic>Implications</italic>: Teams with high <inline-formula><mml:math><mml:mi> δ </mml:mi></mml:math></inline-formula> may require strategies to manage collective emotions effectively, while teams with low <inline-formula><mml:math><mml:mi> δ </mml:mi></mml:math></inline-formula> might focus on fostering a stronger connection between individual and team emotions. </p>
        <p>By analyzing how these parameters shape emotional dynamics, we gain a deeper understanding of the factors that contribute to team resilience, cohesion, and performance. These insights can inform targeted interventions, such as adjusting team communication strategies or implementing emotional regulation techniques, to optimize team performance in real-world scenarios.</p>
      </sec>
    </sec>
    <sec id="sec5">
      <title>5. Conclusions</title>
      <p>In this paper, we proposed an innovative mathematical model to analyze the propagation of emotions and collective attitudes in a football team depending on the match context. By combining a reaction–diffusion equation to capture the spatio-temporal dynamics of collective emotions with a multi-agent model representing individual interactions among players, we built a hybrid framework providing a deeper understanding of emotional dynamics on the field.</p>
      <p>Our approach relies on solving a mixed system integrating a partial differential equation (PDE) for the collective emotional state and a set of ordinary differential equations (ODEs) for the evolution of individual emotions. We demonstrated the existence and uniqueness of solutions using the Lax–Milgram theorem for the PDE and the Cauchy–Lipschitz theorem for the ODEs. The numerical approximation was carried out using the finite element method for the PDE and a Crank–Nicolson scheme for the ODEs, ensuring both stability and accuracy.</p>
      <p>Simulation results show that collective emotions evolve coherently with match events, significantly influencing player attitudes. We observed emotional contagion and internal regulation phenomena, illustrating how a team can transition from calmness to heightened aggression in response to external stimuli. These findings confirm the hypothesis that emotions and psychological environment play a crucial role in team performance and tactical decision-making.</p>
      <sec id="sec5dot1">
        <title>Empirical Validation and Data-Driven Perspectives</title>
        <p>To further validate and refine our hybrid model, real-world data can be leveraged to estimate key parameters and test the model’s predictive accuracy. Below, we outline specific types of empirical data that could be used to ground the model in observable phenomena, enhancing its applicability to real-world scenarios.</p>
        <p><bold>Player Tracking Data:</bold> Modern football analytics relies heavily on <italic>player tracking data</italic>, which captures the spatial positions and movements of all players on the field at high temporal resolution. This data can be used to: Estimate the <italic>interaction weights</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> w </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> by analyzing the frequency and duration of proximity between players. For example, players who frequently interact or occupy similar spatial regions may have stronger emotional influence on each other, reflected by higher <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> w </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> values. Validate the spatial diffusion of emotions by observing how emotional responses (e.g., celebrations or frustrations) propagate across the field following key events, such as goals or referee decisions. </p>
        <p><italic>Example</italic>: Tracking data from leagues like the English Premier League or UEFA Champions League could be analyzed to quantify how quickly and widely emotions spread among players after significant in-game events.</p>
        <p><bold>Biometric Data:</bold> Wearable sensors and biometric monitoring devices can provide real-time measurements of players’ physiological states, such as heart rate variability, skin conductance, and cortisol levels. These metrics are strongly correlated with emotional states, such as stress, excitement, or frustration. Biometric data can be used to: Approximate individual emotional states <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> e </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> t </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> by mapping physiological responses to emotional valence and arousal. Validate the model’s predictions of emotional fluctuations by comparing simulated emotional states with observed physiological changes during matches. </p>
        <p><italic>Example</italic>: Biometric data collected during training sessions or competitive matches could be used to calibrate the model’s parameters, such as the regulation parameter <inline-formula><mml:math><mml:mi> λ </mml:mi></mml:math></inline-formula> or the influence of exogenous factors <inline-formula><mml:math><mml:mi> η </mml:mi></mml:math></inline-formula> .</p>
        <p><bold>Video and Behavioral Analysis:</bold> Video footage of matches, combined with manual or automated behavioral coding, can provide insights into players’ emotional expressions and interactions. For instance: Facial expression analysis and body language cues (e.g., gestures, postures) can be used to infer emotional states and validate the model’s predictions of individual and collective emotions. Observations of team cohesion, such as synchronized celebrations or coordinated defensive reactions, can help assess the model’s ability to capture emergent emotional dynamics. </p>
        <p><italic>Example</italic>: Video analysis tools, such as those used in sports psychology research, could be employed to track emotional contagion in real-time and compare it with the model’s simulations.</p>
        <p><bold>Survey and Self-Report Data:</bold> Post-match surveys or real-time self-reports from players can provide subjective assessments of emotional states, complementing objective data sources. This data can be used to: Validate the model’s predictions of individual emotional responses to specific events, such as scoring a goal or receiving a yellow card. Refine parameters related to exogenous influences <inline-formula><mml:math><mml:mi> η </mml:mi></mml:math></inline-formula> by correlating self-reported emotional states with in-game events. </p>
        <p><italic>Example</italic>: Players could use mobile apps or wearable devices to log their emotional states at key moments during a match, providing a direct comparison with the model’s outputs.</p>
        <p><bold>Tactical and Performance Data:</bold> Data on tactical decisions (e.g., formation changes, substitutions) and performance metrics (e.g., pass completion rates, shot accuracy) can be linked to emotional dynamics. For example: Changes in tactical behavior following emotional events (e.g., shifting to a more defensive formation after conceding a goal) can be analyzed to validate the model’s predictions of emotional influence on decision-making. Performance fluctuations correlated with emotional states can provide insights into the model’s ability to capture the impact of emotions on team effectiveness. </p>
        <p><italic>Example</italic>: Performance analytics platforms, such as Opta or Wyscout, could be used to correlate emotional simulations with on-field performance outcomes. </p>
        <p>By integrating these diverse data sources, our model can be empirically validated and refined, enhancing its utility for real-world applications. This data-driven approach not only strengthens the model’s credibility but also opens new avenues for applying emotional analytics to improve team performance, inform coaching strategies, and optimize player well-being.</p>
        <p>Thus, this modeling approach represents a step forward in studying collective behavior in sports, highlighting the interplay between emotions, game dynamics, and strategic decision-making.</p>
      </sec>
    </sec>
  </body>
  <back>
    <ref-list>
      <title>References</title>
      <ref id="B1">
        <label>1.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Amelkin, V., Askarisichani, O., Kim, Y.J., Malone, T.W. and Singh, A.K. (2018) Dynamics of Collective Performance in Collaboration Networks. <italic>PLOS ONE</italic>, 13, e0204547. https://doi.org/10.1371/journal.pone.0204547 <pub-id pub-id-type="doi">10.1371/journal.pone.0204547</pub-id><pub-id pub-id-type="pmid">30304044</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1371/journal.pone.0204547">https://doi.org/10.1371/journal.pone.0204547</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Amelkin, V.</string-name>
              <string-name>Askarisichani, O.</string-name>
              <string-name>Kim, Y.J.</string-name>
              <string-name>Malone, T.W.</string-name>
              <string-name>Singh, A.K.</string-name>
            </person-group>
            <year>2018</year>
            <article-title>Dynamics of Collective Performance in Collaboration Networks</article-title>
            <source>PLOS ONE</source>
            <volume>13</volume>
            <pub-id pub-id-type="doi">10.1371/journal.pone.0204547</pub-id>
            <pub-id pub-id-type="pmid">30304044</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B2">
        <label>2.</label>
        <citation-alternatives>
          <mixed-citation publication-type="book">Picard, R.W. (2000) Affective Computing. MIT Press, Cambridge, Massachusetts. https://direct.mit.edu/books/monograph/4296/Affective-Computing</mixed-citation>
          <element-citation publication-type="book">
            <person-group person-group-type="author">
              <string-name>Picard, R.W.</string-name>
              <string-name>Press, C</string-name>
            </person-group>
            <year>2000</year>
            <article-title>Affective Computing</article-title>
            <source>MIT Press</source>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B3">
        <label>3.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Barsade, S.G. (2002) The Ripple Effect: Emotional Contagion and Its Influence on Group Behavior. <italic>Administrative Science Quarterly</italic>, 47, 644-675. https://doi.org/10.2307/3094912 <pub-id pub-id-type="doi">10.2307/3094912</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.2307/3094912">https://doi.org/10.2307/3094912</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Barsade, S.G.</string-name>
            </person-group>
            <year>2002</year>
            <article-title>The Ripple Effect: Emotional Contagion and Its Influence on Group Behavior</article-title>
            <source>Administrative Science Quarterly</source>
            <volume>47</volume>
            <pub-id pub-id-type="doi">10.2307/3094912</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B4">
        <label>4.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Bressloff, P.C. (2014) Waves in Neural Media. Springer, New York. https://doi.org/10.1007/978-1-4614-8866-8 <pub-id pub-id-type="doi">10.1007/978-1-4614-8866-8</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/978-1-4614-8866-8">https://doi.org/10.1007/978-1-4614-8866-8</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Bressloff, P.C.</string-name>
              <string-name>Springer, N</string-name>
            </person-group>
            <year>2014</year>
            <article-title>Waves in Neural Media</article-title>
            <source>Springer</source>
            <pub-id pub-id-type="doi">10.1007/978-1-4614-8866-8</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B5">
        <label>5.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Helbing, D., Farkas, I. and Vicsek, T. (2000) Simulating Dynamical Features of Escape Panic. <italic>Nature</italic>, 407, 487-490. https://doi.org/10.1038/35035023 <pub-id pub-id-type="doi">10.1038/35035023</pub-id><pub-id pub-id-type="pmid">11028994</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1038/35035023">https://doi.org/10.1038/35035023</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Helbing, D.</string-name>
              <string-name>Farkas, I.</string-name>
              <string-name>Vicsek, T.</string-name>
            </person-group>
            <year>2000</year>
            <article-title>Simulating Dynamical Features of Escape Panic</article-title>
            <source>Nature</source>
            <volume>407</volume>
            <pub-id pub-id-type="doi">10.1038/35035023</pub-id>
            <pub-id pub-id-type="pmid">11028994</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B6">
        <label>6.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Helbing, D. (1995) Quantitative Sociodynamics. Springer. https://doi.org/10.1007/978-94-015-8516-3 <pub-id pub-id-type="doi">10.1007/978-94-015-8516-3</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/978-94-015-8516-3">https://doi.org/10.1007/978-94-015-8516-3</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Helbing, D.</string-name>
            </person-group>
            <year>1995</year>
            <article-title>Quantitative Sociodynamics</article-title>
            <pub-id pub-id-type="doi">10.1007/978-94-015-8516-3</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B7">
        <label>7.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Carrillo, J.A., Fornasier, M., Toscani, G. and Vecil, F. (2010) Particle, Kinetic, and Hydrodynamic Models of Swarming. In: <italic>Modeling and Simulation in Science, Engineering and Technology</italic>, Birkhäuser Boston, 297-336. https://doi.org/10.1007/978-0-8176-4946-3_12 <pub-id pub-id-type="doi">10.1007/978-0-8176-4946-3_12</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/978-0-8176-4946-3_12">https://doi.org/10.1007/978-0-8176-4946-3_12</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Carrillo, J.A.</string-name>
              <string-name>Fornasier, M.</string-name>
              <string-name>Toscani, G.</string-name>
              <string-name>Vecil, F.</string-name>
              <string-name>Particle, K</string-name>
              <string-name>Science, E</string-name>
              <string-name>Technology, B</string-name>
            </person-group>
            <year>2010</year>
            <article-title>Particle, Kinetic, and Hydrodynamic Models of Swarming</article-title>
            <source>In: Modeling and Simulation in Science</source>
            <volume>297</volume>
            <pub-id pub-id-type="doi">10.1007/978-0-8176-4946-3_12</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B8">
        <label>8.</label>
        <citation-alternatives>
          <mixed-citation publication-type="book">Evans, L.C. (2010) Partial Differential Equations. 2nd Edition, American Mathematical Society. https://doi.org/10.1090/gsm/019 <pub-id pub-id-type="doi">10.1090/gsm/019</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1090/gsm/019">https://doi.org/10.1090/gsm/019</ext-link></mixed-citation>
          <element-citation publication-type="book">
            <person-group person-group-type="author">
              <string-name>Evans, L.C.</string-name>
              <string-name>Edition, A</string-name>
            </person-group>
            <year>2010</year>
            <article-title>Partial Differential Equations</article-title>
            <source>2nd Edition</source>
            <pub-id pub-id-type="doi">10.1090/gsm/019</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B9">
        <label>9.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Allaire, G. (2012) Analyse numérique et optimisation. Éditions de l’École Polytechnique, Paris.</mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Allaire, G.</string-name>
              <string-name>Polytechnique, P</string-name>
            </person-group>
            <year>2012</year>
            <article-title>Analyse numérique et optimisation</article-title>
            <source>Éditions de l’École Polytechnique</source>
          </element-citation>
        </citation-alternatives>
      </ref>
    </ref-list>
  </back>
</article>