<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">JAMP</journal-id><journal-title-group><journal-title>Journal of Applied Mathematics and Physics</journal-title></journal-title-group><issn pub-type="epub">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.2023.118146</article-id><article-id pub-id-type="publisher-id">JAMP-127055</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Bifurcation Analysis of a Nonlinear Genetic Network Model with Time Delay
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Anael</surname><given-names>Verdugo</given-names></name><xref ref-type="aff" rid="aff1"><sub>1</sub></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib></contrib-group><aff id="aff1"><label>1</label><addr-line>Department of Mathematics, California State University, Fullerton, USA</addr-line></aff><pub-date pub-type="epub"><day>07</day><month>08</month><year>2023</year></pub-date><volume>11</volume><issue>08</issue><fpage>2252</fpage><lpage>2266</lpage><history><date date-type="received"><day>1,</day>	<month>July</month>	<year>2023</year></date><date date-type="rev-recd"><day>15,</day>	<month>August</month>	<year>2023</year>	</date><date date-type="accepted"><day>18,</day>	<month>August</month>	<year>2023</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  This paper presents a bifurcation study of a mRNA-protein network with negative feedback and time delay. The network is modeled as a coupled system of 
  N ordinary differential equations (ODEs) and 
  N delay differential equations (DDEs). Linear analysis of the stable equilibria shows the existence of a critical time delay beyond which limit cycle oscillations are born in a Hopf bifurcation. The Poincar&#233;-Lindstedt perturbation method is applied to the nonlinear system, resulting in closed form approximate expressions for the amplitude and frequency of oscillation. We confirm our perturbation analysis results by numerically simulating the full 2
  N-dimensional nonlinear system for 
  N = 2, 7, 15, and 30. Our results show that for small perturbations the equilibrium undergoes a supercritical Hopf and the system exhibits stable periodic solutions. Furthermore, our closed form numerical expressions exhibit the importance of the network’s negative feedback and nonlinear effects.
 
</p></abstract><kwd-group><kwd>Bifurcation Analysis</kwd><kwd> Hopf</kwd><kwd> Delay Differential Equations</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>The basic functions of life are carried out by millions of cells, all of which are formed of thousands of proteins and genes interacting [<xref ref-type="bibr" rid="scirp.127055-ref1">1</xref>] . An important goal in the areas of applied mathematics and biology is trying to understand these network of interactions. Theoretically, the network represents how certain genes affect other genes [<xref ref-type="bibr" rid="scirp.127055-ref2">2</xref>] and, in the case when the network involves a small number of genes, its dynamic properties can be studied directly in a laboratory [<xref ref-type="bibr" rid="scirp.127055-ref3">3</xref>] [<xref ref-type="bibr" rid="scirp.127055-ref4">4</xref>] . However, in the case when the network is formed of a large number of genes, then understanding its dynamic behavior might be difficult and nonintuitive [<xref ref-type="bibr" rid="scirp.127055-ref5">5</xref>] [<xref ref-type="bibr" rid="scirp.127055-ref6">6</xref>] . In recent years, various computational techniques have been developed that help us understand some of the intrinsic properties of these networks. For an extensive review see [<xref ref-type="bibr" rid="scirp.127055-ref7">7</xref>] - [<xref ref-type="bibr" rid="scirp.127055-ref14">14</xref>] .</p><p>The biology behind the model in this work can be roughly summarized in a three step process (see Chapter 2 for more details): 1) in the nucleus a gene is copied onto messenger RNA (mRNA), 2) the mRNA then gets translated into a protein, and 3) the protein then returns to the nucleus where it represses production of mRNA (see <xref ref-type="fig" rid="fig1">Figure 1</xref>). This mRNA-protein feedback mechanism has been studied previously in several works [<xref ref-type="bibr" rid="scirp.127055-ref14">14</xref>] [<xref ref-type="bibr" rid="scirp.127055-ref15">15</xref>] . One of the more promising and relevant mRNA-protein models with feedback was first studied by Monk [<xref ref-type="bibr" rid="scirp.127055-ref15">15</xref>] and subsequently analyzed in more detail by a few others [<xref ref-type="bibr" rid="scirp.127055-ref14">14</xref>] [<xref ref-type="bibr" rid="scirp.127055-ref16">16</xref>] .</p><p>In this work we extend the author’s previous study [<xref ref-type="bibr" rid="scirp.127055-ref14">14</xref>] of a single mRNA-protein model to a network formed of N coupled mRNA-protein systems. The network structure in this work is described in Section 4 and the model is given by a system of N nonlinear DDEs coupled to N linear ODEs. Section 2 gives a summary of the biological background of our model. In Section 3 we present the linear analysis of a network of two coupled mRNA-protein systems. The network of N coupled mRNA-protein systems and its associated linear analysis is presented in Section 4 followed by its nonlinear analysis in Section 5. Section 6 presents a computational analysis and comparison of MATLAB’s numerical results with our perturbation results. In Section 7 we discuss our conclusions and future directions.</p></sec><sec id="s2"><title>2. Biological Background</title><p>Transcription and translation are the main processes by which a cell expresses the instructions encoded in its genes. Transcription is the first step in gene expression and it includes the replication of a gene into messenger RNA (mRNA). The second step is the translation process, where the mRNA diffuses out of the nucleus and is captured, read, and translated by a ribosome yielding as a final product an associated protein. The final step in this feedback mechanism happens when the protein then diffuses back into the nucleus and represses production of its own mRNA. From these mechanisms, mRNA and protein concentrations arise naturally as the main intracellular regulatory agents in our model [<xref ref-type="bibr" rid="scirp.127055-ref1">1</xref>] [<xref ref-type="bibr" rid="scirp.127055-ref2">2</xref>] .</p><p>There are several mechanisms that the cell uses to regulate levels of mRNA and protein concentrations. One important mechanism is the cell’s ability to adjust and control the breakdown rate (degradation rate) of old mRNA or proteins by increasing or decreasing the concentration of enzymes that degrade these. Another important example is the cell’s ability to regulate the production rate (transcription rate) of a specific mRNA. This is usually accomplished by a special type of proteins called transcription factors, which either promote or repress mRNA production by binding directly to the gene. Although other cellular mechanisms happen parallel during this transcription-translation process, in <xref ref-type="fig" rid="fig2">Figure 2</xref> we only present the main mechanisms relevant to the description of our model. Here feedback arises when the protein product returns to the nucleus as a transcription factor and slows down the transcription of its own mRNA by binding to the gene’s promoter site [<xref ref-type="bibr" rid="scirp.127055-ref3">3</xref>] [<xref ref-type="bibr" rid="scirp.127055-ref15">15</xref>] .</p><p>Previous findings [<xref ref-type="bibr" rid="scirp.127055-ref15">15</xref>] show that there are time delays associated with the feedback mechanism presented in <xref ref-type="fig" rid="fig2">Figure 2</xref>. These delays arise naturally as transcriptional delays (time it takes the gene to get copied into mRNA) and translational delays (time it takes the ribosome to translate mRNA into protein). Furthermore, recent studies [<xref ref-type="bibr" rid="scirp.127055-ref14">14</xref>] [<xref ref-type="bibr" rid="scirp.127055-ref15">15</xref>] have shown that, due to the different time scales in which these two processes occur, we can have an accurate dynamic model by considering only the transcriptional delays. As explained in [<xref ref-type="bibr" rid="scirp.127055-ref14">14</xref>] and [<xref ref-type="bibr" rid="scirp.127055-ref15">15</xref>] , the ordinary differential equations (ODEs) associated to this system are given as follows</p><p>d m d t = − μ m   m ( t ) + α m ( 1 1 + ( p ( t − T ) p 0 ) n ) (1)</p><p>d p d t = α p   m ( t ) − μ p   p ( t ) (2)</p><p>where the time dependent variables are mRNA concentration, m ( t ) , and its associated protein concentration, p ( t ) . The constants μ m and μ p are the degradation rates of mRNA and protein, α p and α m the synthesis rates, p 0 is the repression threshold of protein concentration, n is the hill coefficient, and</p><p>( 1 + ( p ( t − T ) p 0 ) n ) − 1 is the Hill term representing the rate of delayed mRNA synthesis, where the delay is assumed to be positive and constant, T &gt; 0 .</p></sec><sec id="s3"><title>3. Linear Analysis of Two Coupled mRNA-Protein Systems</title><p>The single mRNA-protein system was studied in detail by the author in [<xref ref-type="bibr" rid="scirp.127055-ref14">14</xref>] . Here we present a network of two mRNA-protein systems coupled via protein repression. The protein of the first system, p 1 , represses production of its own mRNA, m 1 , and the second system’s mRNA, m 2 . The geometric representation</p><p>of the network is depicted in <xref ref-type="fig" rid="fig3">Figure 3</xref> and the associated 4-dimensional mathematical model is given by</p><p>m ˙ 1 = − μ m 1 + 1 1 + ( p 1 d p 10 ) n + 1 1 + ( p 2 d p 20 ) n (3)</p><p>m ˙ 2 = − μ m 2 + 1 1 + ( p 1 d p 10 ) n + 1 1 + ( p 2 d p 20 ) n (4)</p><p>p ˙ 1 = m 1 − μ p 1 (5)</p><disp-formula id="scirp.127055-formula1"><label>(6)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/8-1723304x25.png?20230818095658214"  xlink:type="simple"/></disp-formula><p>where we assume n ∈ ℕ , μ m = μ p = μ , α m = α p = 1 , and p d = p ( t − T ) for both systems. Setting μ m = μ p = μ and α m = α p = 1 sacrifices biological flexibility in regards to synthesis and degradation, but it allows us to gain mathematical and computational tractability for the analysis of the general network presented in Section 4.</p><p>The first step in the linear analysis is to set m ˙ 1 = m ˙ 2 = p ˙ 1 = p ˙ 2 = 0 in (3)-(6) and find expressions for the equilibrium point ( m 1 * , m 2 * , p 1 * , p 2 * ) . We substitute the latter and eliminate m 1 * and m 2 * to obtain</p><p>μ 2 p 1 * − 1 1 + ( p 1 * p 10 ) n − 1 1 + ( p 2 * p 20 ) n = 0 (7)</p><p>μ 2 p 2 * − 1 1 + ( p 1 * p 10 ) n − 1 1 + ( p 2 * p 20 ) n = 0 (8)</p><p>From (7)-(8) we have that p 1 * = p 2 * = p * and thus m 1 * = m 2 * = μ p * . This gives the following expression for the equilibrium solution p *</p><p>μ 2 p * 2 n + 1 + μ 2 ( p 10 n + p 20 n ) p * n + 1 − ( p 10 n + p 20 n ) p * n   + μ 2 ( p 10 p 20 ) n p * − 2 ( p 10 p 20 ) n = 0 (9)</p><p>which can be numerically approximated using a root finding method.</p><p>Next we define ξ 1 , ξ 2 , η 1 , and η 2 to be deviations from equilibrium: ξ 1 = m 1 − m 1 * , ξ 2 = m 2 − m 2 * , η 1 = p 1 − p 1 * , and η 2 = p 2 − p 2 * . Substituting these into (3)-(6) results</p><p>ξ ˙ 1 = − μ ( ξ 1 + m 1 * ) + 1 1 + ( η 1 d + p 1 * p 10 ) n + 1 1 + ( η 2 d + p 2 * p 20 ) n (10)</p><p>ξ ˙ 2 = − μ ( ξ 2 + m 2 * ) + 1 1 + ( η 1 d + p 1 * p 10 ) n + 1 1 + ( η 2 d + p 2 * p 20 ) n (11)</p><p>η ˙ 1 = ξ 1 − μ η 1 (12)</p><p>η ˙ 2 = ξ 2 − μ η 2 (13)</p><p>Expanding for small η i d Equations (10)-(11) become</p><p>ξ ˙ 1 = − μ ξ 1 + K 11 η 1 d + K 21 η 2 d + K 12 η 1 d 2 + K 22 η 2 d 2 + ⋯ (14)</p><p>ξ ˙ 2 = − μ ξ 2 + K 11 η 1 d + K 21 η 2 d + K 12 η 1 d 2 + K 22 η 2 d 2 + ⋯ (15)</p><p>where K j i is given by</p><p>K j 1 = − n β j ( 1 + β j ) 2 p j *   ,         where     β j = ( p j * p j 0 ) n (16)</p><p>K j 2 = β j n ( β j n − n + β j + 1 ) 2 ( β j + 1 ) 3 p j * 2 (17)</p><p>and thus the associated linearized system coming from Equations (12)-(15) is given by</p><p>ξ ˙ 1 = − μ ξ 1 + K 11 η 1 d + K 21 η 2 d (18)</p><p>ξ ˙ 2 = − μ ξ 2 + K 11 η 1 d + K 21 η 2 d (19)</p><p>η ˙ 1 = ξ 1 − μ η 1 (20)</p><p>η ˙ 2 = ξ 2 − μ η 2 (21)</p><p>For T = 0 (no delay) the system (18)-(21) has the following Jacobian at the origin</p><p>[ − μ 0 K 11 K 21 0 − μ K 11 K 21 1 0 − μ 0 0 1 0 − μ ] (22)</p><p>with eigenvalues</p><p>{ − μ , − μ , − μ &#177; K 11 + K 21 } (23)</p><p>and since μ &gt; 0 and K j 1 &lt; 0 then all real parts are negative and the origin is stable.</p><p>To find the critical delay, T c r , we assume solutions of the form η i = A i e λ t and ξ i = B i e λ t for i = 1 , 2 and substitute into (18)-(21)</p><p>( λ + μ ) B 1 = e − λ T ( K 11 A 1 + K 21 A 2 ) (24)</p><p>( λ + μ ) B 2 = e − λ T ( K 11 A 1 + K 21 A 2 ) (25)</p><p>( λ + μ ) A 1 = B 1 (26)</p><p>( λ + μ ) A 2 = B 2 (27)</p><p>Substituting (26)-(27) into (24)-(25), setting T = T c r , and λ = i ω we obtain</p><p>A 1 = e − i ω T c r ( i ω + μ ) 2 ( K 11 A 1 + K 21 A 2 ) (28)</p><p>A 2 = e − i ω T c r ( i ω + μ ) 2 ( K 11 A 1 + K 21 A 2 ) . (29)</p><p>The algebraic Equations (28)-(29) will have solutions if ∃   c ∈ ℂ such that</p><p>det ( [ c K 11 − 1 c K 21 c K 11 c K 21 − 1 ] ) = det ( c K − I ) = 0 (30)</p><p>where</p><p>c = e − i ω T c r ( i ω + μ ) 2   ,       K = [ K 11 K 21 K 11 K 21 ] . (31)</p><p>Equation (30) yields c ( K 11 + K 21 ) = 1 which implies Im(c) = 0, that is</p><p>0 = ( ω 2 − μ 2 ) sin ( ω T c r ) − 2 ω μ cos ( ω T c r ) ( μ 2 + ω 2 ) 2 (32)</p><p>⇔ T c r = 1 ω arctan ( 2 ω μ ω 2 − μ 2 ) (33)</p><p>Also, ( K 11 + K 21 ) Re ( c ) = 1 yields</p><disp-formula id="scirp.127055-formula2"><label>(34)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/8-1723304x94.png?20230818095658214"  xlink:type="simple"/></disp-formula><p>⇔ ω = − μ 2 − ( K 11 + K 21 ) (35)</p><p>where we have used the identities</p><p>sin ( ω T c r ) = sin ( arctan ( 2 ω μ ω 2 − μ 2 ) ) = 2 ω μ ω 2 + μ 2 (36)</p><p>cos ( ω T c r ) = cos ( arctan ( 2 ω μ ω 2 − μ 2 ) ) = ω 2 − μ 2 ω 2 + μ 2 . (37)</p><p>The stability analysis presented above shows that the stable equilibrium point ( ξ 1 * , ξ 2 * , η 1 * , η 2 * ) of the system (10)-(13) loses its stability when T = T c r giving rise to a pair of pure imaginary eigenvalues &#177; ω i corresponding to the solutions</p><p>ξ i ( t ) = A i cos ( ω t + ϕ i ) (38)</p><p>η i ( t ) = B i cos ω t (39)</p><p>where A i and B i are the amplitudes of the η i ( t ) and ξ i ( t ) oscillations, and where ϕ i is a phase angle. Note that without loss of generality we may set the phase ϕ i = 0 and thus for values of delay T close to T c r we will have T = T c r + Δ where the nonlinear system (3)-(6) is expected to exhibit a periodic solution for small Δ . The nonlinear analysis for the two coupled mRNA-protein system follows the same computational steps as the N coupled mRNA-protein system. Thus to avoid redundancy we will postpone its presentation until Section 5.</p></sec><sec id="s4"><title>4. Linear Analysis of N Coupled mRNA-Protein Systems</title><p>We now extend our previous linear results to a system of N coupled mRNA-protein systems with feedback and delay. The present analysis follows the steps as the one presented in Section 3, hence, and to avoid repetition, we will present only the main results. The system is depicted in <xref ref-type="fig" rid="fig4">Figure 4</xref> and modeled by the following equations</p><p>m ˙ i = − μ m i + ∑ j = 1 N 1 1 + ( p j d p j 0 ) n (40)</p><p>p ˙ i = m i − μ p i (41)</p><p>where i = 1 , 2 , ⋯ , N and p j d = p j ( t − T ) . Setting m ˙ i = p ˙ i = 0 on (40) and (41) we can show that ( μ p * , ⋯ , μ p * , p * , ⋯ , p * ) is the equilibrium point, where</p><p>μ 2 p * − ∑ j = 1 N p j 0 n p j 0 n + p * n = 0 (42)</p><p>can be multiplied by the product ( p 10 n + p * n ) ( p 20 n + p * n ) ⋯ ( p N 0 n + p * n ) , and thus be made into a polynomial of degree ( n N + 1 ). The roots of the resulting polynomial can then be approximated using a numerical root finding technique.</p><p>Next we define ξ i = m i − m * and η i = p i − p * to be deviations from equilibrium, substitute them into Equations (40)-(41), and expand for small η j d to obtain</p><p>ξ ˙ i = − μ ξ i + ∑ j = 1 N     K j 1 η j d + ∑ j = 1 N     K j 2 η j d 2 + ∑ j = 1 N     K j 3 η j d 3 + ⋯ (43)</p><p>η ˙ i = ξ i − μ η i (44)</p><p>where the Taylor coefficients, K j i , are given as follows</p><p>K j 1 = − n β j ( 1 + β j ) 2 p *   ,             where     β j = ( p * p j 0 ) n (45)</p><p>K j 2 = n   β j ( β j n − n + β j + 1 ) 2 ( 1 + β j ) 3 p * 2 (46)</p><p>K j 3 = − n β j ( β j 2 n 2 − 4 β j n 2 + n 2 + 3 β j 2 n − 3 n + 2 β j 2 + 4 β j + 2 ) 6 ( 1 + β j ) 4 p * 3 (47)</p><p>To show the steady state is stable when T = 0 (no delay), we consider the 2N-dimensional linearized system coming from Equations (43)-(44)</p><p>ξ ˙ i = − μ ξ i + ∑ j = 1 N     K j 1 η j d (48)</p><p>η ˙ i = ξ i − μ η i (49)</p><p>with its associated Jacobian matrix</p><p>J = [ M K I M ] 2 N &#215; 2 N (50)</p><p>where I is the N &#215; N identity matrix, M = − μ I , and</p><p>K = [ K 1 , 1 K 2 , 1 ⋯ K N − 1 , 1 K N , 1 K 1 , 1 K 2 , 1 ⋯ K N − 1 , 1 K N , 1 ⋮ ⋮ ⋱ ⋮ ⋮ K 1 , 1 K 2 , 1 ⋯ K N − 1 , 1 K N , 1 K 1 , 1 K 2 , 1 ⋯ K N − 1 , 1 K N , 1 ] N &#215; N (51)</p><p>To find the eigenvalues, λ , of the block Jacobian matrix, J, we compute</p><p>det ( [ M − λ I K I M − λ I ] ) = det ( ( μ + λ ) 2 I − K ) = 0 (52)</p><p>which gives the following eigenvalues</p><p>{ − μ ,   − μ &#177; ∑ j = 1 N     K j 1 } (53)</p><p>where μ &gt; 0 (multiplicity 2 N − 2 ) and since K j 1 &lt; 0 ∀ j then the square root term in Equation (53) will be imaginary and thus Re ( λ ) &lt; 0 for all λ . This shows that the equilibrium solution is stable for T = 0 .</p><p>To find the critical delay, T = T c r , we assume solutions of the form η i = A i e λ t and ξ i = B i e λ t , substitute them into (48)-(49), and set T = T c r and λ = i ω to obtain the linear system</p><p>A i = c ∑ j = 1 N     K j 1 A j (54)</p><p>where c = e − i ω T c r ( i ω + μ ) 2 ∈ ℂ . System (54) will have nontrivial solutions when det ( c K − I ) = 0 which gives c ∑ j = 1 N   K j 1 = N and thus</p><p>T c r = 1 ω arctan ( 2 ω μ ω 2 − μ 2 ) (55)</p><p>ω = − μ 2 − ∑ j = 1 N     K j 1 (56)</p><p>where we have used the identities (36)-(37) and where the nonlinear system (40)-(41) is expected to exhibit periodic solutions for T = T c r + Δ when Δ ≪ 1 .</p></sec><sec id="s5"><title>5. Nonlinear Analysis of the N Coupled System</title><p>We use the Poincare-Lindstedt’s perturbation method to find closed form approximate expressions for the amplitude of the limit cycle born at the Hopf bifurcation. This will be accomplished by considering the full nonlinear system (43)-(44) and perturbing off of the critical delay, T = T c r . We start by combining Equations (43)-(44) into a system of second order DDEs</p><p>η &#168; i + 2 μ η ˙ i + μ 2 η i   =   ∑ j = 1 N     K j 1 η j d + ∑ j = 1 N     K j 2 η j d 2 + ∑ j = 1 N     K j 3 η j d 3 + ⋯ (57)</p><p>where i = 1 , 2 , ⋯ , N , and K j 1 , K j 2 , and K j 3 are the Taylor coefficients given by Equations (45)-(47), respectively. Next we introduce a small parameter ε via the following scaling</p><p>η i   =   ε u i , (58)</p><p>stretch time by defining a new independent variable</p><p>τ   =   Ω t , (59)</p><p>and expand Ω in a power series in ε as follows</p><p>Ω   =   ω + ε 2 k 2 + ⋯ (60)</p><p>where we omit the O ( ε ) term since it turns out to be zero. We substitute Equations (58) and (59) into (57) to obtain</p><p>Ω 2 d 2 u i d τ 2 + 2 μ   Ω d u i d τ + μ 2 u i − ∑ j = 1 N     K j 1 u j d = ε ∑ j = 1 N     K j 2 u j d 2 + ε 2 ∑ j = 1 N     K j 3 u j d 3 + ⋯ (61)</p><p>which will be used after perturbing the delay about T c r and Taylor expanding u i and u j d . We accomplish the latter by scaling the detuning Δ as follows</p><p>T   =   T c r + Δ   =   T c r + ε 2 δ (62)</p><p>and expanding u i ( τ ) in a power series in ε</p><p>u i ( τ )   =   u i 0 ( τ ) + ε u i 1 ( τ ) + ε 2 u i 2 ( τ ) + ⋯ . (63)</p><p>Substituting Equations (60) and (62) into u j d = u j ( τ − Ω T ) and Taylor expanding about ε = 0 we obtain</p><p>u j d = u j ( τ − Ω T ) = u j ( τ − ω T c r − ε 2 ( k 2 T c r + ω δ ) + ⋯ ) = u j ( τ − ω T c r ) − ε 2 ( k 2 T c r + ω δ ) u ′ j ( τ − ω T c r ) + ⋯ . (64)</p><p>Substituting Equations (60), (63) and (64) into (61), and collecting like powers of ε we find</p><p>ω 2 d 2 u i 0 d τ 2 + 2 μ ω d u i 0 d τ + μ 2 u i 0 − ∑ j = 1 N     K j 1 u j 0 ( τ − ω T c r ) = 0 (65)</p><p>ω 2 d 2 u i 1 d τ 2 + 2 μ ω d u i 1 d τ + μ 2 u i 1 − ∑ j = 1 N     K j 1 u j 1 ( τ − ω T c r ) = ∑ j = 1 N     K j 2 u j 0 2 ( τ − ω T c r ) (66)</p><p>ω 2 d 2 u i 2 d τ 2 + 2 μ ω d u i 2 d τ + μ 2 u i 2 − ∑ j = 1 N     K j 1 u j 2 ( τ − ω T c r ) = ⋯ (67)</p><p>where ⋯ stands for terms in u i 0 and u i 1 , omitted here for brevity.</p><p>The next step is to solve Equations (65)-(67). We start with Equation (65) by setting the solutions, u i 0 , as</p><p>u i 0 ( τ ) =   A ^ cos τ (68)</p><p>where by Equation (58) we know η i 0 = ε u i 0 = ε A ^ cos τ = A cos τ . Next we substitute (68) into (66) and obtain the following expression for u i 1</p><p>u i 1 ( τ ) = m i 1 sin 2 τ + m i 2 cos 2 τ + m i 3 (69)</p><p>where m i 1 is given by the equation:</p><p>m i 1 = − 2   A ^ 2 K ^ 2 μ ω 3 ( 2 μ 2 + 3 K ^ 1 ) K ^ 1 ( 16 μ 6 + 39 K ^ 1 μ 4 + 18 K ^ 1 2 μ 2 − 9 K ^ 1 3 ) (70)</p><p>where</p><p>K ^ 1 =   ∑ j = 1 N     K j 1 ,       K ^ 2 = ∑ j = 1 N     K j 2       and       K ^ 3 = ∑ j = 1 N     K j 3 (71)</p><p>and where we omit the expressions for m i 2 and m i 3 for brevity.</p><p>Next we substitute Equations (68) and (69) into (67), and after trigonometric simplifications have been performed, we equate to zero the coefficients of the resonant terms sin τ and cos τ . This yields the amplitude, A, of the limit cycle that was born in the Hopf bifurcation</p><p>A 2 = P Q Δ (72)</p><p>where</p><p>P = 8 K ^ 1 2 ω 2 ( μ 2 − K ^ 1 ) ( 16 μ 6 + 39 K ^ 1 μ 4 + 18 K ^ 1 2 μ 2 − 9 K ^ 1 3 ) (73)</p><p>Q = Q 0 T c r + Q 1 (74)</p><p>and</p><p>Q 0 = 48 K ^ 3 K ^ 1 2 μ 8 − 16 K ^ 2 2 K ^ 1 μ 8 + 69 K ^ 3 K ^ 1 3 μ 6 + 32 K ^ 2 2 K ^ 1 2 μ 6     − 63 K ^ 3 K ^ 1 4 μ 4 + 162 K ^ 2 2 K ^ 1 3 μ 4 − 81 K ^ 3 K ^ 1 5 μ 2 + 108 K ^ 2 2 K ^ 1 4 μ 2     + 27 K ^ 3 K ^ 1 6 − 30 K ^ 2 2 K ^ 1 5 (75)</p><p>Q 1 = − 96 K ^ 3 K ^ 1 μ 9 + 64 K ^ 2 2 μ 9 − 138 K ^ 3 K ^ 1 2 μ 7 + 16 K ^ 2 2 K ^ 1 μ 7       + 126 K ^ 3 K ^ 1 3 μ 5 − 308 K ^ 2 2 K ^ 1 2 μ 5 + 162 K ^ 3 K ^ 1 4 μ 3 − 296 K ^ 2 2 K ^ 1 3 μ 3       − 54 K ^ 3 K ^ 1 5 μ + 12 K ^ 2 2 K ^ 1 4 μ (76)</p><p>and where the K ^ i ’s are given by Equation (71) and Equations (45)-(47). Equation (72) gives the amplitude of the limit cycle born at the Hopf bifurcation in terms of the original system parameters. The numerical values are calculated via a computer routine and the outcome for different N will be presented in Section 6.</p></sec><sec id="s6"><title>6. Numerical Results</title><p>In this section we use our closed form expressions to investigate the nonlinear behavior of Equations (40)-(41) close to the Hopf bifurcation. Setting T = T c r + Δ , μ = 0.2 , p j 0 = 2 , and n = 3 , we compute the amplitude of the limit cycle born at the Hopf by using Equation (72). Our results for N = 2 , summarized in <xref ref-type="fig" rid="fig5">Figure 5</xref>, show that the Hopf occurs at T c r = 0.3087 and the amplitude of the limit cycle grows as Δ becomes larger. Several points along the amplitude curve were tested using MATLAB’s built-in function dde23.m on the original DDE system (40)-(41). <xref ref-type="fig" rid="fig5">Figure 5</xref> shows a comparison between our perturbation curve and eight points computed with MATLAB, all of which were in agreement. In addition, we also present one dde23.m numerical simulation, point a5, which shows that the amplitude is approximately 4.350 when Δ = 0.05 .</p><p><xref ref-type="fig" rid="fig6">Figure 6</xref> shows the same analysis described above for N = 2 , 7 , 15 and 30. Different values of T c r were found for each N and the detuning was set as 0 ≤ Δ ≤ 0.230 for comparison purposes. These results were all confirmed with MATLAB and they show the accuracy of our closed form expressions in predicting the critical delay, stability, and amplitude of the oscillation for large values of N. In addition, they also show the influence and significance of the original model parameters on the system’s dynamics, where (regardless of N) our model will always exhibit a transition between equilibrium and oscillation due to a Hopf bifurcation. We point out, however, that our perturbation results did not match MATLAB’s numerical findings for Δ &gt; 0.230 . This is attributed to the nature of our perturbation technique, where the results are guaranteed for small ε as given by Equation (62). Thus, the limits of this approach rely on Δ ≪ 1 , that is, they are limited to a small neighborhood about T = T c r , which is commonly the case with any kind of perturbation technique.</p></sec><sec id="s7"><title>7. Conclusions</title><p>In this paper we investigated the periodic solutions of a mRNA-protein nonlinear model with negative feedback and delay. Nonlinear models exhibiting these features are usually good candidates for periodic behavior. In this work we show that, regardless of the size of the network, having these features yields a dynamical system that always transitions from a stable steady state to a limit cycle oscillation via a Hopf bifurcation. The standard approach to study Hopf bifurcations for DDEs is to use the more conventional center manifold approximation [<xref ref-type="bibr" rid="scirp.127055-ref17">17</xref>] [<xref ref-type="bibr" rid="scirp.127055-ref18">18</xref>] . However, for a network of this size, this would be a computationally intractable endeavor and thus our approach presents a new way on how these perturbation techniques are a useful tool to better understand the dynamics of large networks with nonlinear interactions and delays.</p><p>Our closed form approximate expressions for the amplitude of the limit cycle provide a useful way to understand the different roles that the system’s parameters play in the dynamics of the periodic motion. We point out, however, that our linear and nonlinear computational analyses are possible due to the symmetric nature of our network: where we have assumed that all the systems share the same degradation rate μ , every mRNA is equally repressed by every protein, and biological location within the cell is not taken into account. Regardless of these simplifications, this study shows the importance of the nonlinearities arising from the Hill term in Equation (40) and the delay, both of which give rise to the periodic dynamics of the system. Future research efforts should be directed towards relaxing these symmetric conditions. For example, including a “weighting” function on the Hill term of Equation (40) would take into account the net effect that a protein has on each mRNA. The latter would be more significant, from a biological viewpoint, because not every protein represses equally each mRNA. Another direction would be to assume different degradation rates μ i ’s for each protein and mRNA. Finally, considering different synthesis rates, α m and α p , would be another interesting direction that could allow us to classify the significance of each of these biological parameters with regards to the system’s periodic behavior. The analysis of the system in these new directions proves to be computationally cumbersome from a perturbation analysis point of view. However, new findings in the fields of DDEs and perturbation theory will prove that these research directions will provide more insight into the rich dynamics exhibited by these networks.</p></sec><sec id="s8"><title>Conflicts of Interest</title><p>The author declares no conflicts of interest regarding the publication of this paper.</p></sec><sec id="s9"><title>Cite this paper</title><p>Verdugo, A. (2023) Bifurcation Analysis of a Nonlinear Genetic Network Model with Time Delay. Journal of Applied Mathematics and Physics, 11, 2252-2266. https://doi.org/10.4236/jamp.2023.118146</p></sec></body><back><ref-list><title>References</title><ref id="scirp.127055-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Alberts, B., Johnson, A., Lewis, J., Morgan, D., Raff, M., Roberts, K. and Walter, P. (2015) Molecular Biology of the Cell. Garland Science, New York.</mixed-citation></ref><ref id="scirp.127055-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Ay, A. and Arnosti, D.N. (2011) Mathematical Modeling of Gene Expression: A Guide for the Perplexed Biologist. Critical Reviews in Biochemistry and Molecular Biology, 46, 137-151. https://doi.org/10.3109/10409238.2011.556597</mixed-citation></ref><ref id="scirp.127055-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Elowitz, M.B. and Leibler, S. (2000) A Synthetic Oscillatory Network of Transcriptional Regulators. Nature, 403, 335-338. https://doi.org/10.1038/35002125</mixed-citation></ref><ref id="scirp.127055-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Gardner, T.S., Cantor, C.R. and Collins, J.J. (2000) Construction of a Genetic Toggle Switch in Escherichia coli. Nature, 403, 339-342. https://doi.org/10.1038/35002131</mixed-citation></ref><ref id="scirp.127055-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Ciliberti, A., Novak, B. and Tyson, J.J. (2005) Steady States and Oscillations in the p53/Mdm2 Network. Cell Cycle, 4, 488-493. https://doi.org/10.4161/cc.4.3.1548</mixed-citation></ref><ref id="scirp.127055-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Muller, S., Hofbauer, J., Endler, L., Flamm, C., Widder, S. and Schuster, P. (2006) A Generalized Model of the Repressilator. Journal of Mathematical Biology, 53, 905-937. https://doi.org/10.1007/s00285-006-0035-9</mixed-citation></ref><ref id="scirp.127055-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Hasty, J., McMillen, D., Isaacs, F. and Collins, J.J. (2001) Computational Studies of Gene Regulatory Networks: In Numero Molecular Biology. Nature, 2, 268-279. https://doi.org/10.1038/35066056</mixed-citation></ref><ref id="scirp.127055-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Jong, H. (2002) Modeling and Simulation of Genetic Regulatory Systems: A Literature Review. Journal of Computational Biology, 9, 67-103. https://doi.org/10.1089/10665270252833208</mixed-citation></ref><ref id="scirp.127055-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Schlitt, T. and Brazma, A. (2007) Current Approaches to Gene Regulatory Network Modelling. BMC Bioinformatics, 8, S9. https://doi.org/10.1186/1471-2105-8-S6-S9</mixed-citation></ref><ref id="scirp.127055-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Conrad, E.D. and Tyson, J.J. (2006) Modeling Molecular Interaction Networks with Nonlinear Ordinary Differential Equations. MIT Press, Cambridge, 97-123. https://doi.org/10.7551/mitpress/9780262195485.003.0006</mixed-citation></ref><ref id="scirp.127055-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Mochizuki, A. (2007) Structure of Regulatory Networks and Diversity of Gene Expression Patterns. Journal of Theoretical Biology, 250, 307-321. https://doi.org/10.1016/j.jtbi.2007.09.019</mixed-citation></ref><ref id="scirp.127055-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Bratsun, D., Volfson, D., Tsimring, L.S. and Hasty, J. (2005) Delay-Induced Stochastic Oscillations in Gene Regulation. PNAS, 102, 14593-14598. https://doi.org/10.1073/pnas.0503858102</mixed-citation></ref><ref id="scirp.127055-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Edwards, R., van den Driessche, P. and Wang, L. (2007) Periodicity in Piecewise-Linear Switching Networks with Delay. Journal of Mathematical Biology, 55, 271-298. https://doi.org/10.1007/s00285-007-0084-8</mixed-citation></ref><ref id="scirp.127055-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Verdugo, A. and Rand, R. (2008) Hopf Bifurcation in a DDE Model of Gene Expression. Communications in Nonlinear Science and Numerical Simulation, 13, 235-242. https://doi.org/10.1016/j.cnsns.2006.05.001</mixed-citation></ref><ref id="scirp.127055-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">Monk, N.A.M. (2003) Oscillatory Expression of Hes1, p53, and NF-κB Driven by Transcriptional Time Delays. Current Biology, 13, 1409-1413. https://doi.org/10.1016/S0960-9822(03)00494-9</mixed-citation></ref><ref id="scirp.127055-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">Zeiser, S., Muller, J. and Liebscher, V. (2007) Modeling the Hes1 Oscillator. Journal of Computational Biology, 14, 984-1000. https://doi.org/10.1089/cmb.2007.0029</mixed-citation></ref><ref id="scirp.127055-ref17"><label>17</label><mixed-citation publication-type="other" xlink:type="simple">Verdugo, A. and Rand, R. (2008) Center Manifold Analysis of a DDE Model of Gene Expression. Communications in Nonlinear Science and Numerical Simulation, 13, 1112-1120. https://doi.org/10.1016/j.cnsns.2006.09.011</mixed-citation></ref><ref id="scirp.127055-ref18"><label>18</label><mixed-citation publication-type="other" xlink:type="simple">Kalmar-Nagy, T., Stepan, G. and Moon, F. (2001) Subcritical Hopf Bifurcation in the Delay Equation Model for Machine Tool Vibrations Nonlinear Dynamics, 26, 121-142. https://doi.org/10.1023/A:1012990608060</mixed-citation></ref></ref-list></back></article>