CS-1992-11LinearAlgebraicTransformationsoftheBidomainEquationsandTheirImplicationsonNumericalMethodsN.Hooke,C.Henriquez,P.LanzkronandD.RoseDepartmentofComputerScienceDukeUniversityDurham,NorthCarolina27708-0129September30,1992LinearAlgebraicTransformationsoftheBidomainEquationsandTheirImplicationsonNumericalMethodsN.Hooke,C.Henriquez,P.LanzkronandD.RoseSeptember30,1992AbstractInthispaperwegiveamathematicalframeworkforthetreatmentofthebidomainequationsusedtomodelpropagationincardiactissue.Weshowhowpreviouswork tsintothisframeworkanddiscusstheimplicationsofvariouslineartransformationsoftheequationsonthenumericalmethodsofsolution.1IntroductionThevastmajorityofmodelstostudypropagationincardiactissuearebasedontheassumptionthatthetissuecanberepresentedasanintracellularregionseparatedfromagroundedinterstitialorextracellularregionbyamembrane.Thismonodomainrepresentatione ectivelyignoresanye ectofcurrent owoutsidethecellsontheresultingtransmembranepotential.Analternatemodelforcardiactissueattemptstodescribetheaveragecurrent owinsideandoutsideofcellsbyconsideringeachregionasseparateandlinkedonlythroughthetransmembranecurrentdensity.Thebido-mainrepresentationhassomedistinctadvantagesoverthetraditionalmonodomainmodel.First,theextracellular eldsinsideandoutsidethetissuearisingfromthepropagatedactivitycanbecomputeddirectly.Second,thee ectofexogenousex-tracellularstimulior eldsontheresultingbehaviorcanbeinvestigated.Finally,separateboundaryconditionscanbeappliedtotheintracellularandinterstitialre-gions,accountingforpresenceofanadjoiningbathorastructuralanomaly.Whilethebidomainmodelhasagreaterrangeofapplicationsthanthemon-odomainmodel,itisconsiderablymoredi culttoevaluate.Anumberofapproaches1havebeenused,eachpredicatedbysomelineartransformationofthebidomainequa-tionstoobtainanumericallytractableform.Thegoalofthispaperistoformalizethesevariouslineartransformationsandtodeterminewhichformleadstothemoste cientnumericalscheme.2BidomainequationsThebidomainmodelrepresentsthetissueasanintracellularspaceandaninterstitialspacewhoseelectricpotentialsarebothde nedonthesamespatialdomain.Bothspacesareconsideredtobecontinuouseverywherebutseparatedfromeachotherateverypointbyamembraneofunspeci edtopology.Eachdomainisapassivevolumeconductorwhoseonlysourcesofelectriccurrentarelocatedinthemembrane,thedomainboundary,andanysourcesplacedinthedomainforexperimentalpurposes.Consequentlytheelectricpotentialintheinteriorofeachdomainsatis estheconservationequationsr ( ir i)= Im Isi(1)r ( er e)= Im Ise(2)where iand earetheelectricpotentials(V)oftheintracellularandinterstitialdomainsrespectively, iand earethecorrespondingconductivitytensors(Sm 1),Imisthetransmembranecurrentdensity(Am 2), isthesurface/volumeratioofthemembrane(m 1),andIsiandIsearetheexternallyimposedcurrentsources(Am 3).Theparameters i, oand representthediscretestructureofthetissueaveragedoveralengthscaleofmanycell-lengths.Thetransmembranepotential, m,isde nedas m= i e:(3)Ingeneralwemakenoassumptionsaboutthenatureof ior e.Forthisdiscussionweconsiderslabsofparallel berswhere iand eareindependentofpositionandsharethesameprincipalaxes.Underthisassumption,thex,yandzaxesmaybechosensuchthat iand earediagonalandr ( ir i)=gix@2 i@x2+giy@2 i@y2+giz@2 i@z2;r ( er e)=gex@2 e@x2+gey@2 e@y2+gez@2 e@z2;fornonnegativeconstantsgix,giy,giz,gex,geyandgez.Inthatcasethefollowinganisotropyratiosarefrequentlyused[1] x=gixgex; y=giygey; z=gizgez:2Thecase x= y= ziscommonlyreferredtoasequalanisotropy,i.e., i=k e,kaconstant.Itisageneralizationofisotropy[2,3]andallowsthebidomaintobereducedtoanequivalentmonodomain.Thebidomainequationssimplifytothewidely-usedmonodomainequationr ( r m)= Im Isundertheassumptionthat eise ectivelyin nite( eisuniformlyzero)orundercertainassumptionsregardingtheanisotropiesof iand e,describedbelow.Forthepurposesofinvestigatingactionpotentialbehaviour,thetransmembranecurrentmaybedescribedbyacapacitivecomponentandanioniccurrentgovernedbyaHodgkin-Huxley-likemodel[4,5,6,7,8,9].Suchmodelsde neanioniccurrentwithnonlineardependenceon mandthemembranestate,whichincludesensembleaveragesofproteinscontrollingionicpermeabilityandmayincludecompartmentalmodelsofionicconcentrationsadjacenttothemembrane.Foramembranemodelwithmsuchstatevariables,itsdynamicsmaybedescribedbythesystemofdi erentialequationsd~qdt+~M(~q; m)=0(4)where~q2Rmisde nedthroughoutthedomainandwhere~M:Rm R7!Rmisanonlinearfunction.ThetotaltransmembraneioniccurrentImisthende nedasIm=Cmd mdt+Iion(~q; m)(5)whereIion:Rm R7!Risanonlinearfunctionrepresentingthesumofalltheindividualtransmembraneioniccurrents.Thecompletesetofbidomainequationsforsuchmembrane-basedmodelsisthenr ( ir i)= Cm@ m@t+ Iion(~q; m) Isi;(6)r ( er e)= Cm@ m@t Iion(~q; m) Ise;(7)d~qdt+~M(~q; m)=0:(8)BothDirichletandNeumanboundaryconditionshavebeenappliedtoequa-tions(6)and(7).LikePoisson’sequation,thebidomainequationshavenouniquesolutionifpureNeumanboundaryconditionsareapplied.If~q(x;y;z;t), i(x;y;z;t)and e(x;y;z;t)representasolutionsatisfyinggiveninitialandNeumanboundarycondi