<?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">OALibJ</journal-id><journal-title-group><journal-title>Open Access Library Journal</journal-title></journal-title-group><issn pub-type="epub">2333-9705</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/oalib.1102931</article-id><article-id pub-id-type="publisher-id">OALibJ-69907</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Biomedical&amp;Life Sciences</subject><subject> Business&amp;Economics</subject><subject> Chemistry&amp;Materials Science</subject><subject> Computer Science&amp;Communications</subject><subject> Earth&amp;Environmental Sciences</subject><subject> Engineering</subject><subject> Medicine&amp;Healthcare</subject><subject> Physics&amp;Mathematics</subject><subject> Social Sciences&amp;Humanities</subject></subj-group></article-categories><title-group><article-title>
 
 
  On Quantitative Approach to Parametric Identifiability of Dual HIV-Parasitoid Infectivity Model
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Bassey</surname><given-names>E. Bassey</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Lebedev</surname><given-names>K. Andreyevich</given-names></name><xref ref-type="aff" rid="aff2"><sup>2</sup></xref></contrib></contrib-group><aff id="aff2"><addr-line>Department of Computational Mathematics and Informatics, Kuban State University, Krasnodar, Russia</addr-line></aff><aff id="aff1"><addr-line>Department of Mathematical and Computer Methods, Kuban State University, Krasnodar, Russia</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>awaserex@ymail.com(BEB)</email>;</corresp></author-notes><pub-date pub-type="epub"><day>30</day><month>08</month><year>2016</year></pub-date><volume>03</volume><issue>08</issue><fpage>1</fpage><lpage>14</lpage><history><date date-type="received"><day>28</day>	<month>July</month>	<year>2016</year></date><date date-type="rev-recd"><day>accepted</day>	<month>16</month>	<year>August</year>	</date><date date-type="accepted"><day>19</day>	<month>August</month>	<year>2016</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>
 
 
   
   In this present paper, we proposed and formulated a quantitative approach to parametric identifiability of dual HIV-parasitoid-pathogen infectivity in a novel 5-dimensional algebraic identifiability HIV dynamic model, as against popular 3-dimensional HIV/AIDS models. In this study, ordinary differential equations were explored with analysis conducted via two improved developed techniques—the method of higher-order derivatives (MHOD) and method of mul
   tiple time point (MMTP), with the later proven to be more compatible and less intensive. Identifiability function was introduced to these techniques, which led to the derivation of the model identifiability equations. The derived model consists of twelve identifiable parameters from two observable state variables (viral load and parasitoid-pathogen), as against popular six identifiable parameters from single variable; also, the minimal number of measurements required for the determination of the complete identifiable parameters was established. Analysis of the model indicated that, of the twelve parameters, ten are independently identifiable, while only the products of two pairs of the remaining parameters (<inline-formula><inline-graphic xlink:href="dit_9fa586dc-8655-44c6-974b-05cd7c26fc49.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="dit_d146d92f-10df-4cc0-b816-c55b0c33729a.png" xlink:type="simple"/></inline-formula>) are identifiable. Validation and simulations of the model outcome were examined using well-known Runge-Kutter of order of precision 4, in Mathcad surface, with each parameter viewed as unknown and results discussed in stratified trend, which simplified the sequence of magnitude of the identifiable parameters. By the result, identifiable parameters were established which were core to a 5-D dual HIV dynamic model. Therefore, the study though centered on dual HIV-pathogen infectivity, its adoption for other nonlinear dynamic models was readily achievable. 
  
 
</p></abstract><kwd-group><kwd>Parametric-Identifiability</kwd><kwd> Algebraic-Identifiability</kwd><kwd> Observed-State-Variable</kwd><kwd> Stratified-Trend</kwd><kwd> Validation</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>The idea to continuously research into modalities of best informed approach towards tackling the seeming insurmountable deadly infection, globally known as human immunodeficiency virus―HIV, and its associated infectivity is primordial by the incurable status of the disease. Suppressitivity and preventability of HIV infection has become the dwelling options by which respite can be afforded by victims of this scourging infection. Achieving the above succor requires the understanding of the virus dynamics and the methodological application of affordable chemotherapy treatment [<xref ref-type="bibr" rid="scirp.69907-ref1">1</xref>] . Among the epidemiological approaches to the above, the mechanistic approach entails the identifiability and evaluation of the parameters with which an investigation is been conducted.</p><p>Based on the above premise, the present study proposes and by extension of earlier study [<xref ref-type="bibr" rid="scirp.69907-ref2">2</xref>] , couples with the model [<xref ref-type="bibr" rid="scirp.69907-ref3">3</xref>] , the formulation of a quantitative approach to parametric identifiability of dual HIV-parasitoid infectivity. The model is mechanically aimed at accounting for a novel differential 5-dimensional algebraic identifiability of parameters for dual HIV infectivity, as against most popular 3-D dynamic model for a single HIV infection [<xref ref-type="bibr" rid="scirp.69907-ref3">3</xref>] - [<xref ref-type="bibr" rid="scirp.69907-ref5">5</xref>] and 4-D dynamic HIV/AIDS model by [<xref ref-type="bibr" rid="scirp.69907-ref6">6</xref>] . In this model, nonlinear ordinary differential equation is explored for the formulation of the model and analysis conducted via nonlinear algebraic identifiability following the introduction of the concept of identifiability function and its associated identifiability equation. The model is subjected to a single treatment factor―reverse transcriptase inhibitor (RTI), with the use of Runge- Kutter of order 4 in Mathcad surface for simulation outcome.</p><p>Therefore, the novelty of the present model is the application of identifiability approach on two variable infectious diseases as compared to [<xref ref-type="bibr" rid="scirp.69907-ref2">2</xref>] - [<xref ref-type="bibr" rid="scirp.69907-ref4">4</xref>] [<xref ref-type="bibr" rid="scirp.69907-ref6">6</xref>] and also as a novel dimension, the model accounts for twelve parameters from a 5-D dynamic differential system as compared to models [<xref ref-type="bibr" rid="scirp.69907-ref3">3</xref>] [<xref ref-type="bibr" rid="scirp.69907-ref4">4</xref>] , which accounted for six system parameters and [<xref ref-type="bibr" rid="scirp.69907-ref6">6</xref>] , for ten parameters from popular 3-D dynamic system. Furthermore, the edging factor of this present model is in its envisage ability to accommodate the seeming complexity of parametric variables arising from dual infectivity. Additionally, the study is aimed at putting our earlier study [<xref ref-type="bibr" rid="scirp.69907-ref2">2</xref>] , on a proper footing, following the fact that identifiability is a differential basic property, which aids in the determination of whether parameters of a model can be uniquely estimated based on available measured output when other methods fail. Ideally, identifiability is basically an open possibility in parameter identification through solving available algebraic equations based only on the initial values and the measured output variables [<xref ref-type="bibr" rid="scirp.69907-ref3">3</xref>] .</p><p>The concept of identifiability of nonlinear systems in mathematical modeling has been studied and applied in different contexts. The model [<xref ref-type="bibr" rid="scirp.69907-ref3">3</xref>] , studied parameter identifiability and estimation of HIV/AIDS dynamic models, using technique from engineering, as was deployed by [<xref ref-type="bibr" rid="scirp.69907-ref6">6</xref>] ; and the deterministic and stochastic models of AIDS epidemics and HIV infection with intervention [<xref ref-type="bibr" rid="scirp.69907-ref4">4</xref>] , to investigate the algebraic identifiability of popular 3-D HIV/AIDS dynamics. Analysis of the model showed that with only available measurement of the viral load, not all the six parameters could be identified. Rather, only four parameters with the product of two were identifiable. In the study by [<xref ref-type="bibr" rid="scirp.69907-ref6">6</xref>] , identifiability of nonlinear systems with application to HIV/AIDS models was used in the investigation of different concepts of nonlinear identifiability in the generic sense. The study was applied to identifiability properties of a four-dimensional HIV/AIDS model. Result provided the minimal number of measurement of the variables required for a complete determination of all parameters of the model. In our previous study [<xref ref-type="bibr" rid="scirp.69907-ref2">2</xref>] , on analysis of parameter estimation for treatment of pathogen-induced HIV infectivity in a 5-D dynamic model, it was observed that the 5-D model was not compatible with discretization optimal control strategy, due to the indistinguishable nature of uninfected and infected CD4<sup>+</sup> T cells, which degenerated to large error derivatives. Other notable application of identifiability in dynamic system could be found in [<xref ref-type="bibr" rid="scirp.69907-ref7">7</xref>] , in nonlinear system, see [<xref ref-type="bibr" rid="scirp.69907-ref8">8</xref>] - [<xref ref-type="bibr" rid="scirp.69907-ref10">10</xref>] , in algebraic identifiability of various HIV/AIDS dynamics, refer [<xref ref-type="bibr" rid="scirp.69907-ref4">4</xref>] and in Differential Equation Modeling of HIV Viral Fitness Experiments, in [<xref ref-type="bibr" rid="scirp.69907-ref11">11</xref>] .</p><p>The scope of this study is subdivided into 5 main sections, of which the introductory aspect occupies Section 1. In Section 2, we introduce the subject under investigation-identifiability of HIV-pathogen induced dynamic model. Section 3 is devoted to the derivation of the model identifiability function, which allows the introduction of two techniques―method of higher-order derivative (MHOD) and the method of multiple time point (MMTP). The validation of the parameter identifiability model and discussion form Section 4, of the work. Lastly, Section 5 presents the concluding part and recommendation arising from the study.</p></sec><sec id="s2"><title>2. Identifiability of HIV-Pathogen Induced Dynamic Model</title><p>The dual infectivity considered here, consists of two infectious variables (HI-viral load and parasitoid-pathogen). In attempt to formulate this present model, we shall revoke the following two vital studies. First, the model [<xref ref-type="bibr" rid="scirp.69907-ref2">2</xref>] had studied the optimization control model for the treatment of pathogenic-induced HIV infections. Developed in that study, was a 5-D dynamic model, which investigated estimation of parameters on the basis of maximizing healthy CD4<sup>+</sup> T cell count. The study assumed that virus infected CD4<sup>+</sup> T cells were imperatively difficult to estimate due to the indistinguishable nature of the uninfected cells from the infected cells, refer [<xref ref-type="bibr" rid="scirp.69907-ref2">2</xref>] for more assumptions. Furthermore, the studies [<xref ref-type="bibr" rid="scirp.69907-ref3">3</xref>] [<xref ref-type="bibr" rid="scirp.69907-ref4">4</xref>] [<xref ref-type="bibr" rid="scirp.69907-ref6">6</xref>] , had used popular 3D dynamics, in conducting a number of studies, using several models on parameter identifiability. These studies equally affirmed the difficulties in the measurement of both uninfected and infected CD4<sup>+</sup> T cells.</p><p>In our present model, referencing [<xref ref-type="bibr" rid="scirp.69907-ref3">3</xref>] [<xref ref-type="bibr" rid="scirp.69907-ref4">4</xref>] [<xref ref-type="bibr" rid="scirp.69907-ref6">6</xref>] , we extend the model [<xref ref-type="bibr" rid="scirp.69907-ref2">2</xref>] by exploring the use of quantitative approach in the parametric identifiability of two infectious variables (viral load and parasitoid-pathogen), with single chemotherapy (RTI) as treatment factor. Unlike [<xref ref-type="bibr" rid="scirp.69907-ref2">2</xref>] , the present study assumes and adopts the fact that the only available measurements are those of the viral load and parasitoid-pathogen. From model [<xref ref-type="bibr" rid="scirp.69907-ref2">2</xref>] , for a population defined by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x9.png" xlink:type="simple"/></inline-formula>―the uninfected CD4<sup>+</sup> T cells,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x10.png" xlink:type="simple"/></inline-formula>―HIV virus (viral load),<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x11.png" xlink:type="simple"/></inline-formula>―parasitoid-pathogen;<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x12.png" xlink:type="simple"/></inline-formula>―virus-infected CD4<sup>+</sup> T cells and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x13.png" xlink:type="simple"/></inline-formula>―pathogen-infected CD4<sup>+</sup> T cells , the biological and epidemiological model is governed by</p><disp-formula id="scirp.69907-formula678"><label>(2.1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69907x14.png"  xlink:type="simple"/></disp-formula><p>satisfying the conditions<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x15.png" xlink:type="simple"/></inline-formula>.</p><p>Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x16.png" xlink:type="simple"/></inline-formula>, denotes the system parameters with assumption that only the mea-</p><p>surements for V and P are available [<xref ref-type="bibr" rid="scirp.69907-ref3">3</xref>] [<xref ref-type="bibr" rid="scirp.69907-ref4">4</xref>] [<xref ref-type="bibr" rid="scirp.69907-ref6">6</xref>] . Therefore, by [<xref ref-type="bibr" rid="scirp.69907-ref12">12</xref>] , model (2.1), is said to be algebraically identifiable if there exist a time t, a positive integer z and a function:</p><disp-formula id="scirp.69907-formula679"><graphic  xlink:href="http://html.scirp.org/file/69907x17.png"  xlink:type="simple"/></disp-formula><p>such that</p><disp-formula id="scirp.69907-formula680"><label>(2.2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69907x18.png"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.69907-formula681"><label>(2.3)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69907x19.png"  xlink:type="simple"/></disp-formula><p>hold on<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x20.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x21.png" xlink:type="simple"/></inline-formula> are the respective derivatives of V and P with respect to t. Equation (2.3) is called the “identifiability equation” and the function<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x22.png" xlink:type="simple"/></inline-formula>, is the identifiability function.</p><p>The realization of quantitative approach in identification model is in the ability to eliminate all unobserved state variables from the original system. The process of which involves computation of the higher order derivatives of the output variables. Therefore, form model (2.1); transforming the fourth and fifth equations by substituting the second and third equations, we derive the 2<sup>nd</sup> order derivatives as follows:</p><disp-formula id="scirp.69907-formula682"><graphic  xlink:href="http://html.scirp.org/file/69907x23.png"  xlink:type="simple"/></disp-formula><p>Substituting for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x24.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x25.png" xlink:type="simple"/></inline-formula>; and eliminating resulting <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x26.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x27.png" xlink:type="simple"/></inline-formula>, we have,</p><disp-formula id="scirp.69907-formula683"><label>(2.4)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69907x28.png"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.69907-formula684"><label>(2.5)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69907x29.png"  xlink:type="simple"/></disp-formula><p>From Equation (2.3), infection of CD4<sup>+</sup> T cells by viruses are said to be simultaneous, therefore, summing Equations (2.4) and (2.5), we have,</p><disp-formula id="scirp.69907-formula685"><label>(2.6)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69907x30.png"  xlink:type="simple"/></disp-formula><p>Taking the third derivative of Equation (2.6), we obtain</p><disp-formula id="scirp.69907-formula686"><label>(2.7)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69907x31.png"  xlink:type="simple"/></disp-formula><p>Substituting the corresponding equations from model (2.1) and Equations (2.4) and (2.5), into Equation (2.7), we obtain:</p><disp-formula id="scirp.69907-formula687"><graphic  xlink:href="http://html.scirp.org/file/69907x32.png"  xlink:type="simple"/></disp-formula><p>Simplifying, we have</p><disp-formula id="scirp.69907-formula688"><label>(2.8)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69907x33.png"  xlink:type="simple"/></disp-formula><p>Now, from Equations (2.4) and (2.5), we see that</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x34.png" xlink:type="simple"/></inline-formula>;</p><disp-formula id="scirp.69907-formula689"><graphic  xlink:href="http://html.scirp.org/file/69907x35.png"  xlink:type="simple"/></disp-formula><p>implying that</p><disp-formula id="scirp.69907-formula690"><label>(i)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69907x36.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.69907-formula691"><label>(ii)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69907x37.png"  xlink:type="simple"/></disp-formula><p>From Equation (2.8), solving for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x38.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x38.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x39.png" xlink:type="simple"/></inline-formula> independently and substituting Equations (i) and (ii), respectively, we have</p><disp-formula id="scirp.69907-formula692"><graphic  xlink:href="http://html.scirp.org/file/69907x40.png"  xlink:type="simple"/></disp-formula><p>Or</p><disp-formula id="scirp.69907-formula693"><graphic  xlink:href="http://html.scirp.org/file/69907x41.png"  xlink:type="simple"/></disp-formula><p>Or</p><disp-formula id="scirp.69907-formula694"><label>(2.9)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69907x42.png"  xlink:type="simple"/></disp-formula><p>Similarly,</p><disp-formula id="scirp.69907-formula695"><label>(2.10)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69907x43.png"  xlink:type="simple"/></disp-formula><p>If we then substitute Equations (2.9) and (2.10) into (2.8), we derive</p><disp-formula id="scirp.69907-formula696"><label>(2.11)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69907x44.png"  xlink:type="simple"/></disp-formula><p>Equation (2.11), is an equation that does not depend on the unobservable (latent) state variables <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x45.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x45.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x46.png" xlink:type="simple"/></inline-formula>. Furthermore, a close examination of the Equation (2.11), illuminate to the fact that only the parameters <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x45.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x47.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x45.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x48.png" xlink:type="simple"/></inline-formula> each appear together as <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x45.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x49.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x45.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x49.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x50.png" xlink:type="simple"/></inline-formula> respectively. This suggests that the pair is indistinguishable and only their product can be identified for variable measurement of viral load and parasitoid-pathogen.</p><p>Therefore, the parametric estimation of the model parameters, as a major breakthrough for the evaluation of impact of chemotherapy on dual HIV infectivity, ultimately requires the reparameterization of system parameters. Achieving this, we let</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x51.png" xlink:type="simple"/></inline-formula>.</p><p>Then, there exist a one-to-one mapping between</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x52.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x53.png" xlink:type="simple"/></inline-formula>.</p><p>If we denote the right-hand side of Equation (2.11) by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x54.png" xlink:type="simple"/></inline-formula>, then Equation (2.11) can be written as:</p><disp-formula id="scirp.69907-formula697"><label>(2.12)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69907x55.png"  xlink:type="simple"/></disp-formula><p>The contribution of each of the parameters to the system can be explain from the partial derivative of Equation (2.12), with respect to each of the reparametized parameters, i.e.</p><disp-formula id="scirp.69907-formula698"><label>(2.13)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69907x56.png"  xlink:type="simple"/></disp-formula><p>Thus, we are disposed with the option of identifying the twelve parameters, i.e. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x57.png" xlink:type="simple"/></inline-formula>, implying the identification of the equivalent model parameters<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x58.png" xlink:type="simple"/></inline-formula>. Achieving this, twelve equations are essentially required. In reality, there exist two possibilities (or methods) with which to overcome the posed problem. We devote the next section to the construction and analyses of these identification functions.</p></sec><sec id="s3"><title>3. Derivation of Model Identification Function</title><p>We shall derive using Equations (2.11) and (2.12), the identification functions as solution of the system, based on the following two approaches―method of higher-order derivative (MHOD) and method of multiple time point (MMTP).</p><sec id="s3_1"><title>3.1. Method of Higher-Order Derivative (MHOD)</title><p>The construction and derivation of the identifiability of a 5-dimensional differential pathogenic induced HIV infection via method of higher-order derivative, is an extension of the method initiated by [<xref ref-type="bibr" rid="scirp.69907-ref3">3</xref>] , in a 3D-dynamic HIV model. The study essentially investigated the elimination of unobservable state variables from the original system.</p><p>In this present study, taking into account the above mentioned procedure, we construct the higher-order identifiable function for a 5D-basic model (2.1), as:</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x59.png" xlink:type="simple"/></inline-formula>.</p><p>Then, ipso facto</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x60.png" xlink:type="simple"/></inline-formula>,</p><p>The identifiability of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x61.png" xlink:type="simple"/></inline-formula>, is visible and in accordance with the implicit function theorem [<xref ref-type="bibr" rid="scirp.69907-ref12">12</xref>] . It follows that,</p><disp-formula id="scirp.69907-formula699"><label>(2.14)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69907x62.png"  xlink:type="simple"/></disp-formula><p>So we can essentially identify the twelve parameters of our model. The identifiability function, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x63.png" xlink:type="simple"/></inline-formula>thus involves the 14<sup>th</sup> order derivatives of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x64.png" xlink:type="simple"/></inline-formula>, which requires at least 15 measurements of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x63.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x65.png" xlink:type="simple"/></inline-formula>, to evaluate. Again, we are then confronted with a high dimensional parameter space, which becomes very complicated in it numerical calculation with complex rank to evaluate. We buttress the above submission setting an instance, the</p><disp-formula id="scirp.69907-formula700"><graphic  xlink:href="http://html.scirp.org/file/69907x66.png"  xlink:type="simple"/></disp-formula><p>from [<xref ref-type="bibr" rid="scirp.69907-ref1">1</xref>] , where the rank of an element in the matrix was obtained as:</p><disp-formula id="scirp.69907-formula701"><graphic  xlink:href="http://html.scirp.org/file/69907x67.png"  xlink:type="simple"/></disp-formula><p>Then, it is difficult to evaluate the rank of such whole matrix of order 5 &#215; 5. Thus, it is evidently much more difficult taking any element of a matrix with</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x68.png" xlink:type="simple"/></inline-formula>.</p><p>Overcoming this cancerous complexity in evaluation of such higher-order derivatives, we introduce to the model, an alternative method in constructing the desired identification function<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x69.png" xlink:type="simple"/></inline-formula>, as presuppose by the next subsection.</p></sec><sec id="s3_2"><title>3.2. Method of Multiple Time Point (MMTP)</title><p>Suppose we create the environment for which the quantities<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x70.png" xlink:type="simple"/></inline-formula>, are at 12 distinct time points<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x71.png" xlink:type="simple"/></inline-formula>. If we denote the values of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x72.png" xlink:type="simple"/></inline-formula>, at <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x73.png" xlink:type="simple"/></inline-formula> as <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x73.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x74.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x73.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x74.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x75.png" xlink:type="simple"/></inline-formula>, then, for</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x76.png" xlink:type="simple"/></inline-formula>,</p><p>we derive from Equations (2.11) and (2.12),</p><disp-formula id="scirp.69907-formula702"><label>(2.15)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69907x77.png"  xlink:type="simple"/></disp-formula><p>If</p><disp-formula id="scirp.69907-formula703"><graphic  xlink:href="http://html.scirp.org/file/69907x78.png"  xlink:type="simple"/></disp-formula><p>then by the implicit function theorem, there is a unique solution of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x79.png" xlink:type="simple"/></inline-formula>, to Equation (2.15). Thus, in the assumption that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x79.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x80.png" xlink:type="simple"/></inline-formula> and recalling the derivatives (2.13), it is observed that the rank of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x79.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x80.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x81.png" xlink:type="simple"/></inline-formula> algebraically coincide with the rank of</p><disp-formula id="scirp.69907-formula704"><label>(2.16)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69907x82.png"  xlink:type="simple"/></disp-formula><p>where,</p><disp-formula id="scirp.69907-formula705"><graphic  xlink:href="http://html.scirp.org/file/69907x83.png"  xlink:type="simple"/></disp-formula><p>So, we see that as much as<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x84.png" xlink:type="simple"/></inline-formula>, we have<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x85.png" xlink:type="simple"/></inline-formula>. Therefore, it becomes evidently clear that for every <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x85.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x86.png" xlink:type="simple"/></inline-formula> computed at one time point, we needed at least, seven measurements of V and P. Then,</p><p>in order to formulate the twelve identification equations from Equation (2.15), fifteen measurements of V and P are required. The case here, is that the model is locally identifiable, on the account that ∑, contain some unknown parameters. Therefore, the perceptive approach of MMTP is said to be consistent with that of MHOD. The outstanding positive side of MMTP when compared with MHOD, is the less computational intensity and much more compatible and implementable due to its ≤3, lower-order derivatives for V and P.</p><p>Furthermore, the matrix ∑, of Equation (2.16), cannot be ascertained as a full rank matrix by mere observability or first-hand algebraic operation. A known practical approach is the application of numerical simulation, which quantitatively computes the rank of ∑. We initiate this approach by first simulating the output variables of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x87.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x87.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x88.png" xlink:type="simple"/></inline-formula> at a sequence of time points from the basic model (2.1), using some fixed parameters. The higher-order derivatives of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x87.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x88.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x89.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x87.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x88.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x89.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x90.png" xlink:type="simple"/></inline-formula> can be evaluated using local polynomial or other smoothing methods based on the numerical evaluation of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x87.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x88.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x89.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x90.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x91.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x87.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x88.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x89.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x90.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x91.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x92.png" xlink:type="simple"/></inline-formula>. This is followed by the calculation of the determinant of ∑, from Equation (2.16), to affirm the completeness of its rank status. To acclaim the completeness of the rank of ∑, it is necessary to repeat the calculation over a grid of parameter values. This method, though ad hoc in nature, is practically visible and useful when compared to the computationally tedious and expensive method of higher-order derivative of Equation (2.14).</p><p>On the basis of the above, we provide as in <xref ref-type="table" rid="table1">Table 1</xref>, the summary of identifiability process in a 5D-dynamic model as compared with those of 3D-models by [<xref ref-type="bibr" rid="scirp.69907-ref3">3</xref>] [<xref ref-type="bibr" rid="scirp.69907-ref4">4</xref>] .</p><p>Now, for a dynamic system with unobservable state variables such as our 5D HIV-pathogen model, having unknown state variables, we avoid the use of the original Equation (2.1), in the evaluation of the unknown identifiable parameters. Here, we necessarily deploy the identifiability equations in obtaining the parameter esti-</p><table-wrap id="table1" ><label><xref ref-type="table" rid="table1">Table 1</xref></label><caption><title> Algebraic identifiability of 5D and 3D HIV models</title></caption><table><tbody><thead><tr><th align="center" valign="middle" >Fixed parameters</th><th align="center" valign="middle" >Identifiability parameters</th><th align="center" valign="middle" >Model</th><th align="center" valign="middle" >Variables &amp; mini. # of measurements reqd.</th></tr></thead><tr><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x93.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x94.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" >5D</td><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x95.png" xlink:type="simple"/></inline-formula></td></tr><tr><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x96.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x97.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" >5D</td><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x98.png" xlink:type="simple"/></inline-formula></td></tr><tr><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x99.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x100.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" >3D</td><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x101.png" xlink:type="simple"/></inline-formula></td></tr><tr><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x102.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x103.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" >3D</td><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x104.png" xlink:type="simple"/></inline-formula></td></tr><tr><td align="center" valign="middle" >None</td><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x105.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" >3D</td><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x106.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x107.png" xlink:type="simple"/></inline-formula></td></tr><tr><td align="center" valign="middle" >None</td><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x108.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" >3D</td><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x109.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x110.png" xlink:type="simple"/></inline-formula></td></tr></tbody></table></table-wrap><p>mates. Achieving this, we revoke Equation (2.11), which is with only viral load and parasitoid-pathogen as observable variables to impress on the problem of model (2.1).</p><p>Therefore, we rewrite Equation (2.11) as:</p><disp-formula id="scirp.69907-formula706"><label>(2.17)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69907x111.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.69907-formula707"><label>(2.18)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69907x112.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.69907-formula708"><label>(2.19)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69907x113.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.69907-formula709"><label>(2.20)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69907x114.png"  xlink:type="simple"/></disp-formula><p>implying that</p><disp-formula id="scirp.69907-formula710"><label>(2.12)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69907x115.png"  xlink:type="simple"/></disp-formula><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x116.png" xlink:type="simple"/></inline-formula>.</p><p>Equation (2.21) is the desired equation, which is solvable if the initial values of the output variables (observables) V and P are known. That is, the identifiable parameters can be evaluated without the need for the unobservable state variables <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x117.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x117.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x118.png" xlink:type="simple"/></inline-formula>.</p><p>In real situation, we further simplify Equation (2.21), on the account that initial values of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x119.png" xlink:type="simple"/></inline-formula>, are not precisely known. In this case, if we let these variables assume zero values, then Equation (2.21) can be deduced to read:</p><disp-formula id="scirp.69907-formula711"><label>(2.22)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/69907x120.png"  xlink:type="simple"/></disp-formula><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x121.png" xlink:type="simple"/></inline-formula>.</p><p>Thus, we see that our basic model Equation (2.1), which contain both unknown (unobservable) state variables<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x122.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x122.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x123.png" xlink:type="simple"/></inline-formula>; and the observable state variables V and P, have been constructed and described only in terms of the available state variables. Therefore, Equation (2.22), competently lessen the burden of parameter identifiability, as simulation can be computed without loss of set goals. The validity of the model forms the next section of the work.</p></sec></sec><sec id="s4"><title>4. Validation of Identifiability Model and Discussion</title><p>In this section, following the administration of RTI treatment schedule, we validate the outcome of our quantitative analysis by the application of our constructed model Equation (2.22), in performing a number of numerical simulations with the aid of Runge-Kutter of order of precision 4, in a Mathcad surface. This is followed by a succinct discussion of the entire quantitative analysis and the outcome of computed illustrations.</p><sec id="s4_1"><title>4.1. Validation of Parameter Identifiability Model</title><p>In order to accomplish the desired task, we generate both our observable state variables and hypothetical initial parameter values base on previous HIV-Pathogen dynamic model by [<xref ref-type="bibr" rid="scirp.69907-ref8">8</xref>] . Invoking from that model (<xref ref-type="table" rid="table2">Table 2</xref>), we modify the initial state unobserved variables i.e. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x124.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x124.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x125.png" xlink:type="simple"/></inline-formula>, while the observable state variables denoted by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x124.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x125.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x126.png" xlink:type="simple"/></inline-formula>, are known. Here, the identifiability process shall involve step-wise variation of the parameters (zero variant), in order to estimate its identifiable impact respectively. Therefore, the derive simulation table for this present model is as seen in <xref ref-type="table" rid="table2">Table 2</xref>.</p><p>From Equation (2.22), the twelve parameter can be verified in the following six simulations and having a general representation with the seventh simulation.</p><p>Case 1: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x127.png" xlink:type="simple"/></inline-formula>unknown (i.e.<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x127.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x128.png" xlink:type="simple"/></inline-formula>). To be able to identify and estimate the impact of source of population birthrate on the system, we let the parameter take the zero value, keeping other parameter values as there were in <xref ref-type="table" rid="table2">Table 2</xref>, above. The computational simulation is as seen in Figures 1(a)-(c).</p><p>From Figures 1(a)-(c), we observe that if source of infection rate is unknown but kept at zero when rate of replication is controlled at 50%, then after 30 months of chemotherapy schedule, viral load (1a), and decline in a diagonal trajectory to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x129.png" xlink:type="simple"/></inline-formula>. A skew declination is seen from parasitoid-pathogen (1b), to near zero</p><fig-group id="fig1"><label><xref ref-type="fig" rid="fig1">Figure 1</xref></label><caption><title> Identifiability of parameter<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x131.png" xlink:type="simple"/></inline-formula>, for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x131.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x132.png" xlink:type="simple"/></inline-formula> (a) Simulation of viral load, b<sub>p</sub> = 0; (b) Simulation of p-pathogen, b<sub>p</sub> = 0; (c) Impact of b<sub>p</sub> = 0, on viruses.</title></caption><fig id ="fig1_1"><label> (b)</label><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/69907x130.png"/></fig></fig-group><table-wrap id="table2" ><label><xref ref-type="table" rid="table2">Table 2</xref></label><caption><title> Variables and parameter values for model (2.22)</title></caption><table><tbody><thead><tr><th align="center" valign="middle" >Variable/ml</th><th align="center" valign="middle"  colspan="12"  >Parameter values (/mm<sup>3</sup>d<sup>−1</sup>)</th></tr></thead><tr><td align="center" valign="middle"  rowspan="2"  ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x133.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x134.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x135.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x136.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x137.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x138.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x139.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x140.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x141.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x142.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x143.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x144.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x145.png" xlink:type="simple"/></inline-formula></td></tr><tr><td align="center" valign="middle" >0.01</td><td align="center" valign="middle" >0.01</td><td align="center" valign="middle" >0.02</td><td align="center" valign="middle" >0.4</td><td align="center" valign="middle" >0.5</td><td align="center" valign="middle" >0.5</td><td align="center" valign="middle" >0.02</td><td align="center" valign="middle" >0.02</td><td align="center" valign="middle" >5</td><td align="center" valign="middle" >5</td><td align="center" valign="middle" >0.1</td><td align="center" valign="middle" >0.2</td></tr></tbody></table></table-wrap><p>value after 24 months of chemotherapy. The overall impact of source of birth rate on dual infectivity (1c), indicates that infection decline to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x146.png" xlink:type="simple"/></inline-formula>.</p><p>Case 2: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x147.png" xlink:type="simple"/></inline-formula>unknown (i.e.<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x147.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x148.png" xlink:type="simple"/></inline-formula>). If only natural death rate of CD4<sup>+</sup> T cells is at zero value, while rate of viruses replication are controlled at 50%, we simulate the system as represented in Figures 2(a)-(c).</p><p>Results from Figures 2(a)-(c), shows that, in 2(a), viral load exhibit inclinatory resilience at early onset of infection having its apex at 2 - 3 months, before declining to V = 0.141 ml, after 30 months of drug administration. For the parasitoid-pathogen as in 2(b), with zero natural death rate, infection decline rapidly and terminating after 24 months of chemotherapy treatment. Overall decline of viruses infected T-cells is put at N<sub>p</sub> = 0.143 ml.</p><p>Case 3: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x149.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x149.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x150.png" xlink:type="simple"/></inline-formula> unknown (i.e.<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x149.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x150.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x151.png" xlink:type="simple"/></inline-formula>). If the rate at which CD4<sup>+</sup> T cell becoming infected by both viruses are unchecked, such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x149.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x150.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x151.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x152.png" xlink:type="simple"/></inline-formula>, with other parameters as in <xref ref-type="table" rid="table2">Table 2</xref>, then we simulate as seen in Figures 3(a)-(c).</p><p>From Figures 3(a)-(c), we observe a diagonal trajectory decline of viral load with that of parasitoid pathogen slightly skew from 0.2 ml, to <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x153.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x153.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x154.png" xlink:type="simple"/></inline-formula>, respectively. The overall impact of these parameters on infection rate is computed at<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x153.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x154.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x155.png" xlink:type="simple"/></inline-formula>.</p><p>Case 4: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x156.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x156.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x157.png" xlink:type="simple"/></inline-formula> unknown (i.e.<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x156.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x157.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x158.png" xlink:type="simple"/></inline-formula>). If the rate at which viral load and parasitoid pathogen attack and infect CD4<sup>+</sup> T cell are unknown, such that there assume zero values, then infections are bound to decline following the application of chemotherapy treatment. The simulations of these parameters are as in <xref ref-type="fig" rid="fig4">Figure 4</xref>(a) and <xref ref-type="fig" rid="fig4">Figure 4</xref>(b).</p><p>From the above simulation, the non-continuity of rate of infection avail us with the identifiable impact of the parameters (<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x159.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x159.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x160.png" xlink:type="simple"/></inline-formula>). We observe gradual skew trajectory declination of both viral load (as in 4(a), to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x159.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x160.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x161.png" xlink:type="simple"/></inline-formula>) and a corresponding rapid decline of parasitoid-pathogen (as in 4(b), to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x159.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x160.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x161.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x162.png" xlink:type="simple"/></inline-formula>), after a duration of 30 months of chemotherapy schedule. The decline in infection by both viruses for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x159.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x160.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x161.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x162.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x163.png" xlink:type="simple"/></inline-formula>, is computed to be<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x159.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x160.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x161.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x162.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x163.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x164.png" xlink:type="simple"/></inline-formula>, as represented in <xref ref-type="fig" rid="fig4">Figure 4</xref>(c).</p><fig-group id="fig2"><label><xref ref-type="fig" rid="fig2">Figure 2</xref></label><caption><title> Identifiability of parameter<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x166.png" xlink:type="simple"/></inline-formula>, for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x166.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x167.png" xlink:type="simple"/></inline-formula> (a) Simulation of viral load, μ = 0; (b) Simulation of p-pathogen, μ = 0; (c) Impact of μ = 0, on viruses.</title></caption><fig id ="fig2_1"><label> (b)</label><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/69907x165.png"/></fig></fig-group><fig-group id="fig3"><label><xref ref-type="fig" rid="fig3">Figure 3</xref></label><caption><title> Identifiability of parameter β and δ, for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x169.png" xlink:type="simple"/></inline-formula> (a) Simulation of viral load, β = 0; (b) Simulation of p-pathogen, δ = 0; (c) Impact of β = 0 = δ, on viruses.</title></caption><fig id ="fig3_1"><label> (b)</label><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/69907x168.png"/></fig></fig-group><fig-group id="fig4"><label><xref ref-type="fig" rid="fig4">Figure 4</xref></label><caption><title> Identifiability of parameter σ and α, for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x171.png" xlink:type="simple"/></inline-formula> (a) Simulation of viral load, σ = 0; (b) Simulation of p-pathogen, α = 0; (c) Impact of β = 0, δ = 0, on viruses.</title></caption><fig id ="fig4_1"><label> (b)</label><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/69907x170.png"/></fig></fig-group><p>Case 5: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x172.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x172.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x173.png" xlink:type="simple"/></inline-formula> unknown (i.e.<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x172.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x173.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x174.png" xlink:type="simple"/></inline-formula>). For <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x172.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x173.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x174.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x175.png" xlink:type="simple"/></inline-formula> as well as k and d having zero values, the corresponding simulations are as represented in Figures 5(a)-(c).</p><p>From the Figures 5(a)-(c), the zero values of these identifiable parameters indicate that no death rate incurred by both infected CD4<sup>+</sup> T cells and replications by viruses in infected cell were equally unknown. The implication is that infected population by both viruses remains stagnant throughout the 30 months period, de-</p><p>spite drug administration, i.e.<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x176.png" xlink:type="simple"/></inline-formula>.</p><p>If only <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x177.png" xlink:type="simple"/></inline-formula> are zero, with <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x177.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x178.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x177.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x178.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x179.png" xlink:type="simple"/></inline-formula> known as given in <xref ref-type="table" rid="table2">Table 2</xref>, (graph withheld for brevity), we see infection by viral load declining to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x177.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x178.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x179.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x180.png" xlink:type="simple"/></inline-formula>, as pathogen is completely near eradication after 24 months of treatment. The overall effect is simulated at<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x177.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x178.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x179.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x180.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x181.png" xlink:type="simple"/></inline-formula>. On the other hand, if only <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x177.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x178.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x179.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x180.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x181.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x182.png" xlink:type="simple"/></inline-formula> are zero and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x177.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x178.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x179.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x180.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x181.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x182.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x183.png" xlink:type="simple"/></inline-formula> known to be as given in <xref ref-type="table" rid="table2">Table 2</xref>, (graph withheld for brevity), viral load and parasitoid-pathogen exhibit slight diagonal trajectory decline with <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x177.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x178.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x179.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x180.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x181.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x182.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x183.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x184.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x177.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x178.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x179.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x180.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x181.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x182.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x183.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x184.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x185.png" xlink:type="simple"/></inline-formula>. Resilience by overall infection is seen at</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x186.png" xlink:type="simple"/></inline-formula>. Therefore, infection remains high due to constant replication with no loss of infected population.</p><p>Case 6: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x187.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x187.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x188.png" xlink:type="simple"/></inline-formula> unknown (i.e.<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x187.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x188.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x189.png" xlink:type="simple"/></inline-formula>). If k = 0, then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x187.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x188.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x189.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x190.png" xlink:type="simple"/></inline-formula> and for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x187.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x188.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x189.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x190.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x191.png" xlink:type="simple"/></inline-formula>, implies that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x187.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x188.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x189.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x190.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x191.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x192.png" xlink:type="simple"/></inline-formula>. The case is also true for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x187.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x188.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x189.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x190.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x191.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x192.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x193.png" xlink:type="simple"/></inline-formula>, when either <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x187.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x188.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x189.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x190.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x191.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x192.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x193.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x194.png" xlink:type="simple"/></inline-formula> or <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x187.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x188.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x189.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x190.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x191.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x192.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x193.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x194.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x195.png" xlink:type="simple"/></inline-formula> takes the value zero. The simulation having<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x187.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x188.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x189.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x190.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x191.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x192.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x193.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x194.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x195.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x196.png" xlink:type="simple"/></inline-formula>, is as seen in Figures 6(a)-(c).</p><p>From the <xref ref-type="fig" rid="fig6">Figure 6</xref>(a)-(c), it observed that infections were slightly static with insignificant declination as observed in <xref ref-type="fig" rid="fig6">Figure 6</xref>(a) and <xref ref-type="fig" rid="fig6">Figure 6</xref>(b), where viral load and parasitoid-pathogen shows minute decline from <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x197.png" xlink:type="simple"/></inline-formula> respectively. The overall prevalence rate is obtained as<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x197.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x198.png" xlink:type="simple"/></inline-formula>, see <xref ref-type="fig" rid="fig6">Figure 6</xref>(c).</p><p>Case 7: All parameters known. With the identifiability of the parameters and its impacts on viruses’ transmission and treatment schedule completely specified as in <xref ref-type="table" rid="table2">Table 2</xref>, we conduct an overall investigation as simulated in Figures 7(a)-(c).</p><p>We observe from <xref ref-type="fig" rid="fig7">Figure 7</xref>(a), that viral load exhibit initial slight toxicity at the first two months and declined to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x199.png" xlink:type="simple"/></inline-formula>, after 30 months of chemotherapy application. Under the same condition, parasitoid-pathogen drastically declined to near zero value after 24 months of drug administration. Infections reduced at an overall rate of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x199.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x200.png" xlink:type="simple"/></inline-formula>, at the termination of treatment schedule.</p></sec><sec id="s4_2"><title>4.2. Discussion</title><p>By extension, 5-dimensional algebraic identifiability model for parameter estimation of dual HIV parasitoid- pathogen was formulated with the introduction of novel identifiability function and its associated identification equation. The study deployed implicit function theorem from numerical methods in the derivation and analysis of two identification function methods. Twelve parameters of the model were established with ten independently identifiable, while only the product of the rest two pairs can be identified. Numerical computations of the model were conducted using existing known values of only observable state variables and compatible initial parameter</p><fig-group id="fig5"><label><xref ref-type="fig" rid="fig5">Figure 5</xref></label><caption><title> Identifiability of parameter τ<sub>1</sub>, τ<sub>2</sub>, k and d, for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x202.png" xlink:type="simple"/></inline-formula> (a) Simulation of viral load, τ<sub>1</sub> + k = 0; (b) Simulation of p-pathogen, τ<sub>2</sub> + d = 0; (c) Impact of τ<sub>1</sub>, τ<sub>2</sub>, k, d = 0, on viruses.</title></caption><fig id ="fig5_1"><label> (b)</label><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/69907x201.png"/></fig></fig-group><fig-group id="fig6"><label><xref ref-type="fig" rid="fig6">Figure 6</xref></label><caption><title> Identifiability of parameter kβ and dδ, for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x204.png" xlink:type="simple"/></inline-formula> (a) Simulation of viral load, kβ = 0; (b) Simulation of p-pathogen, dδ = 0; (c) Impact of kβ = 0 = dδ, on viruses.</title></caption><fig id ="fig6_1"><label> (b)</label><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/69907x203.png"/></fig></fig-group><fig-group id="fig7"><label><xref ref-type="fig" rid="fig7">Figure 7</xref></label><caption><title> Simulation with all parameters known ,for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x206.png" xlink:type="simple"/></inline-formula> (a) Simulation of viral load with β, τ<sub>1</sub>, k, σ, c know; (b) Simulation of p-pathogen with δ, τ<sub>2</sub>, d, α, e know; (c) Impact of all parameters on viruses.</title></caption><fig id ="fig7_1"><label> (b)</label><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/69907x205.png"/></fig></fig-group><p>values from published works. Simulations were stratified into six main cases.</p><p>To be able to assimilate the results of the outcome of the identifiability computations, we consider the stratification of the parameter identifiability as follows: -identifiably predominant, if parameter is unknown (i.e. having zero value) and infection remained stagnant or characterized by insignificant decline of infection.; identified with weak predominant magnitude, if unknown, infection declined slightly with value not less than half the original value; identifiable with no predominant magnitude, if unknown, infection declined significantly with value near zero; and unidentifiable but having predominant impact, if unknown, infection exhibit insignificant decline.</p><p>In the aforementioned pattern, cases 1 and 2, exhibit identifiability properties with no predominant magnitude. On the other hand, cases 3 and 4, were characterized by identifiability status having weak predominant magnitude. Furthermore, in case 5, we experienced some special behavior. The sum of the parameters is identifiable with very strong predominant magnitude but as well, could exhibit the status of identifiability with no predominant magnitude when <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x207.png" xlink:type="simple"/></inline-formula> are unknown with known k and d. However, when <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x207.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/69907x208.png" xlink:type="simple"/></inline-formula> are known with k and d unknown, case 5 exhibit predominant magnitude. Therefore, the binding here then lies with k and d.</p><p>The parameters of case 6, are independently unidentifiable but exhibits product identifiable predominant magnitude. This character affirmed the indistinguishable nature of uninfected CD4<sup>+</sup> T cells from the infected T-cells. Finally, with all known identifiable parameters, their magnitude and impacts on the viruses and treatment dynamics were illustrated in case 7. Thus, it can be viewed that the key dominant parameters of the system lies in case 5 and 6, respectively.</p></sec></sec><sec id="s5"><title>5. Conclusion</title><p>In this paper, a novel differential 5-dimensional algebraic identifiability model for the estimation of parameters of dual HIV-parasitoid pathogen was formulated with the introduction of identifiability function, which led to the derivation of the model identifiability equations. Two observable state variables and twelve identifiable parameters constituted the derived model of the system. Analysis of the derived model was conducted via established novel techniques―MHOD and MMTP, with the later technique proven to be more practicable and less cumbersome in implementation. Validations of the outcome of model analyses were stratified into six strata, which simplified the trend of parameter identifiability predominant magnitude in a 5-dimensional dual HIV-pa- thogen dynamic model. Results show that cases 5 and 6, constituted by the rate of replication of viruses, rate at which viruses attacked the immune system and the rate at which the immune system became infected by viruses formed the core dominant identifiable parameters; when significantly controlled, eradication of dual infectivity can be achieved. Furthermore, the study was in agreement with existing results on the indistinguishable nature of uninfected CD4<sup>+</sup> T cells from infected CD4<sup>+</sup> T cells. Therefore, simulated outcome ascertained the theoretical analysis of the study, which can as well, be adapted conveniently to any nonlinear system of other related infectious diseases. Nonetheless, we acknowledge any further studies that may add novelty to the methodology and possible affirmation of the inputs of this work.</p></sec><sec id="s6"><title>Cite this paper</title><p>Bassey E. Bassey,Lebedev K. Andreyevich, (2016) On Quantitative Approach to Parametric Identifiability of Dual HIV-Parasitoid Infectivity Model. Open Access Library Journal,03,1-14. doi: 10.4236/oalib.1102931</p></sec><sec id="s7"><title>NOTES</title></sec></body><back><ref-list><title>References</title><ref id="scirp.69907-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Perelson, A.S. and Nelson, P.W. (1999) Mathematical Analysis of HIV-I: Dynamics in Vivo. Society for Industrial and Applied Mathematics (SIAM), 41, 3-44. http://dx.doi.org/10.1137/s0036144598335107</mixed-citation></ref><ref id="scirp.69907-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Bassey, B.E. and Lebedev, K.A. (2016) On Analysis of Parameter Estimation Model for the Treatment of Pathogen-Induced HIV Infectivity. Open Access Library Journal, 3, e2603, 1-13. http://dx.doi.org/10.4236/oalib.1102603</mixed-citation></ref><ref id="scirp.69907-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Wu, H., Zhu, H., Miao, H. and Perelson, A.S. (2008) Parameter Identifiability and Estimation of HIV/AIDS Dynamic Models. Bulletin of Mathematical Biology, 70, 785-799. http://dx.doi.org/10.1007/s11538-007-9279-9</mixed-citation></ref><ref id="scirp.69907-ref4"><label>4</label><mixed-citation publication-type="book" xlink:type="simple">Jeffrey, A.M. and Xia, X. (2005) Identifiability of HIV/AIDS Model. In: Tan, W.Y. and Wu, H., Eds., Deterministic and Stochastic Models of AIDS Epidemics and HIV Infections with Intervention, World Scientific, Singapore. http://dx.doi.org/10.1142/9789812569264_0011</mixed-citation></ref><ref id="scirp.69907-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Stafford, M.A., Corey, L., Cao, Y., Daar, E.S., Ho, D.D. and Perelson, A.S. (2000) Modeling Plasma Virus Concentration during Primary HIV Infection. Journal of Theoretical Biology, 203, 285-301. http://dx.doi.org/10.1006/jtbi.2000.1076</mixed-citation></ref><ref id="scirp.69907-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Xia, X. and Moog, C.H. (2003) Identifiability of Nonlinear Systems with Applications to HIV/AIDS Models. IEEE Transactions on Automatic Control, 48, 330-336. http://dx.doi.org/10.1109/TAC.2002.808494</mixed-citation></ref><ref id="scirp.69907-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Conte, G., Moog, C.H. and Perdon, A.M. (1999) Nonlinear Control Systems: An Algebraic Setting. Springer, London.</mixed-citation></ref><ref id="scirp.69907-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Tunali, T. and Tarn, T.J. (1987) New Results for Identifiability of Nonlinear Systems. IEEE Transactions on Automatic Control, 32, 146-154. http://dx.doi.org/10.1109/TAC.1987.1104544</mixed-citation></ref><ref id="scirp.69907-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Ljung, L. and Glad, T. (1994) On Global Identifiability for Arbitrary Model Parameterizations. Automatica, 30, 265-276. http://dx.doi.org/10.1016/0005-1098(94)90029-9</mixed-citation></ref><ref id="scirp.69907-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Badakhshan, K.P., Kamyad, A.V. and Azemi, A. (2007) Using AVK Method to Solve Nonlinear Problems with Uncertain Parameters. Applied Mathematics and Computation, 189, 27-34. http://dx.doi.org/10.1016/j.amc.2006.11.172</mixed-citation></ref><ref id="scirp.69907-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Miao, H., Dykes, C., Demeter, L.M. and Wu, H. (2009) Differential Equation Modeling of HIV Viral Fitness Experiments: Model Identification, Model Selection, and Multimodel Inference. Biometrics, 65, 292-300. http://dx.doi.org/10.1111/j.1541-0420.2008.01059.x</mixed-citation></ref><ref id="scirp.69907-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Implicit Function Theorem (2016). http://www.owlnet.rice.edu/~fjones/chap6.pdf</mixed-citation></ref></ref-list></back></article>