SIAM Journal on Applied Mathematics, Volume 84, Issue 5, Page 1937-1956, October 2024. Abstract. We consider an inverse problem for the nonlinear Boltzmann equation with a time-dependent kernel in dimensions [math]. We establish a logarithm-type stability result for the collision kernel from measurements under certain additional conditions. A uniqueness result is derived as an immediate consequence of the stability result. Our approach relies on second-order linearization and multivariate finite differences, as well as the stability of the light-ray transform.
{"title":"Stable Determination of Time-Dependent Collision Kernel in the Nonlinear Boltzmann Equation","authors":"Ru-Yu Lai, Lili Yan","doi":"10.1137/23m1604060","DOIUrl":"https://doi.org/10.1137/23m1604060","url":null,"abstract":"SIAM Journal on Applied Mathematics, Volume 84, Issue 5, Page 1937-1956, October 2024. <br/> Abstract. We consider an inverse problem for the nonlinear Boltzmann equation with a time-dependent kernel in dimensions [math]. We establish a logarithm-type stability result for the collision kernel from measurements under certain additional conditions. A uniqueness result is derived as an immediate consequence of the stability result. Our approach relies on second-order linearization and multivariate finite differences, as well as the stability of the light-ray transform.","PeriodicalId":51149,"journal":{"name":"SIAM Journal on Applied Mathematics","volume":"39 1","pages":""},"PeriodicalIF":1.9,"publicationDate":"2024-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142249470","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SIAM Journal on Applied Mathematics, Volume 84, Issue 5, Page 1910-1936, October 2024. Abstract. This paper studies the phenomenon of conduction block in model neurons using high-frequency biphasic stimulation (HFBS). The focus is investigating the triggering of undesired onset action potentials when the HFBS is turned on. The approach analyzes the transient behavior of an averaged system corresponding to the FitzHugh–Nagumo neuron model using Lyapunov and quasi-static methods. The first result provides a more comprehensive understanding of the onset activation through a mathematical proof of how to avoid it using a ramp in the amplitude of the oscillatory source. The second result tests the response of the blocked system to a piecewise linear stimulus, providing a quantitative description of how the HFBS strength translates into conduction block robustness. The results of this work can provide insights for the design of electrical neurostimulation therapies.
{"title":"The Impact of High-Frequency-Based Stability on the Onset of Action Potentials in Neuron Models","authors":"Eduardo Cerpa, Nathaly Corrales, Matías Courdurier, Leonel E. Medina, Esteban Paduro","doi":"10.1137/24m1645632","DOIUrl":"https://doi.org/10.1137/24m1645632","url":null,"abstract":"SIAM Journal on Applied Mathematics, Volume 84, Issue 5, Page 1910-1936, October 2024. <br/> Abstract. This paper studies the phenomenon of conduction block in model neurons using high-frequency biphasic stimulation (HFBS). The focus is investigating the triggering of undesired onset action potentials when the HFBS is turned on. The approach analyzes the transient behavior of an averaged system corresponding to the FitzHugh–Nagumo neuron model using Lyapunov and quasi-static methods. The first result provides a more comprehensive understanding of the onset activation through a mathematical proof of how to avoid it using a ramp in the amplitude of the oscillatory source. The second result tests the response of the blocked system to a piecewise linear stimulus, providing a quantitative description of how the HFBS strength translates into conduction block robustness. The results of this work can provide insights for the design of electrical neurostimulation therapies.","PeriodicalId":51149,"journal":{"name":"SIAM Journal on Applied Mathematics","volume":"16 1","pages":""},"PeriodicalIF":1.9,"publicationDate":"2024-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142249471","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SIAM Journal on Applied Mathematics, Volume 84, Issue 5, Page 1891-1909, October 2024. Abstract. Organisms inhabit streams, rivers, and estuaries where they are constantly subject to drift and overfishing. Consequently, these organisms often confront the risk of extinction. Can a reasonable fishing ban satisfy the human need for sufficient aquatic proteins without depleting fishery resources? We propose a reaction-diffusion-advection model to answer this question. The model consists of two subequations, which are constantly switched to describe closed seasons and open seasons with Michaelis–Menten type harvesting. We define a threshold value [math] for the duration of the fishing ban ([math]) and establish the relationships between [math] and each of the downstream end [math], the advection rate [math], and the diffusion rate [math]. Under certain conditions, the trivial equilibrium point 0 is globally asymptotically stable if [math]. When [math], we obtain sufficient conditions on the existence of a globally asymptotically stable periodic solution based on the thresholds in all parameter settings. Finally, some discussions on our findings are provided.
{"title":"Periodic Dynamics of a Reaction-Diffusion-Advection Model with Michaelis–Menten Type Harvesting in Heterogeneous Environments","authors":"Yunfeng Liu, Jianshe Yu, Yuming Chen, Zhiming Guo","doi":"10.1137/23m1600852","DOIUrl":"https://doi.org/10.1137/23m1600852","url":null,"abstract":"SIAM Journal on Applied Mathematics, Volume 84, Issue 5, Page 1891-1909, October 2024. <br/> Abstract. Organisms inhabit streams, rivers, and estuaries where they are constantly subject to drift and overfishing. Consequently, these organisms often confront the risk of extinction. Can a reasonable fishing ban satisfy the human need for sufficient aquatic proteins without depleting fishery resources? We propose a reaction-diffusion-advection model to answer this question. The model consists of two subequations, which are constantly switched to describe closed seasons and open seasons with Michaelis–Menten type harvesting. We define a threshold value [math] for the duration of the fishing ban ([math]) and establish the relationships between [math] and each of the downstream end [math], the advection rate [math], and the diffusion rate [math]. Under certain conditions, the trivial equilibrium point 0 is globally asymptotically stable if [math]. When [math], we obtain sufficient conditions on the existence of a globally asymptotically stable periodic solution based on the thresholds in all parameter settings. Finally, some discussions on our findings are provided.","PeriodicalId":51149,"journal":{"name":"SIAM Journal on Applied Mathematics","volume":"59 1","pages":""},"PeriodicalIF":1.9,"publicationDate":"2024-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142219280","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SIAM Journal on Applied Mathematics, Volume 84, Issue 4, Page 1845-1867, August 2024. Abstract. In recent years, algebraic tools have been proven useful in phylogenetic reconstruction and model selection through the study of phylogenetic invariants. However, up to now, the models studied from an algebraic viewpoint are either too general or too restrictive (as group-based models with a uniform stationary distribution) to be used in practice. In this paper we provide a new framework to study time-reversible models, which are the most widely used by biologists. In our approach we consider algebraic time-reversible models on phylogenetic trees (as defined by Allman and Rhodes) and introduce a new inner product to make all transition matrices of the process diagonalizable through the same orthogonal eigenbasis. This framework generalizes the Fourier transform widely used to work with group-based models and recovers some of the well-known results. As illustration, we combine our technique with algebraic geometry tools to provide relevant phylogenetic invariants for trees evolving under the Tamura–Nei model of nucleotide substitution.
{"title":"A Novel Algebraic Approach to Time-Reversible Evolutionary Models","authors":"Marta Casanellas, Roser Homs, Angélica Torres","doi":"10.1137/23m1605302","DOIUrl":"https://doi.org/10.1137/23m1605302","url":null,"abstract":"SIAM Journal on Applied Mathematics, Volume 84, Issue 4, Page 1845-1867, August 2024. <br/> Abstract. In recent years, algebraic tools have been proven useful in phylogenetic reconstruction and model selection through the study of phylogenetic invariants. However, up to now, the models studied from an algebraic viewpoint are either too general or too restrictive (as group-based models with a uniform stationary distribution) to be used in practice. In this paper we provide a new framework to study time-reversible models, which are the most widely used by biologists. In our approach we consider algebraic time-reversible models on phylogenetic trees (as defined by Allman and Rhodes) and introduce a new inner product to make all transition matrices of the process diagonalizable through the same orthogonal eigenbasis. This framework generalizes the Fourier transform widely used to work with group-based models and recovers some of the well-known results. As illustration, we combine our technique with algebraic geometry tools to provide relevant phylogenetic invariants for trees evolving under the Tamura–Nei model of nucleotide substitution.","PeriodicalId":51149,"journal":{"name":"SIAM Journal on Applied Mathematics","volume":"13 1","pages":""},"PeriodicalIF":1.9,"publicationDate":"2024-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142219278","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SIAM Journal on Applied Mathematics, Volume 84, Issue 4, Page 1868-1889, August 2024. Abstract. We investigate the increasing stability of the inverse Schrödinger potential problem with integer power type nonlinearities at a large wavenumber. By considering the first order linearized problem with respect to the unknown potential function, a combination formula of the first order linearization is proposed, which provides a Lipschitz type stability for the recovery of the Fourier coefficients of the unknown potential function in low frequency mode. These stability results highlight the advantage of nonlinearity in solving this inverse potential problem by explicitly quantifying the dependence on the wavenumber and the nonlinearity index. A reconstruction algorithm for integer power type nonlinearities is also provided. Several numerical examples illuminate the efficiency of our proposed algorithm.
{"title":"Increasing Stability of the First Order Linearized Inverse Schrödinger Potential Problem with Integer Power Type Nonlinearities","authors":"Sen Zou, Shuai Lu, Boxi Xu","doi":"10.1137/22m1542817","DOIUrl":"https://doi.org/10.1137/22m1542817","url":null,"abstract":"SIAM Journal on Applied Mathematics, Volume 84, Issue 4, Page 1868-1889, August 2024. <br/> Abstract. We investigate the increasing stability of the inverse Schrödinger potential problem with integer power type nonlinearities at a large wavenumber. By considering the first order linearized problem with respect to the unknown potential function, a combination formula of the first order linearization is proposed, which provides a Lipschitz type stability for the recovery of the Fourier coefficients of the unknown potential function in low frequency mode. These stability results highlight the advantage of nonlinearity in solving this inverse potential problem by explicitly quantifying the dependence on the wavenumber and the nonlinearity index. A reconstruction algorithm for integer power type nonlinearities is also provided. Several numerical examples illuminate the efficiency of our proposed algorithm.","PeriodicalId":51149,"journal":{"name":"SIAM Journal on Applied Mathematics","volume":"28 1","pages":""},"PeriodicalIF":1.9,"publicationDate":"2024-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142219277","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SIAM Journal on Applied Mathematics, Volume 84, Issue 4, Page 1818-1844, August 2024. Abstract. For problems in the Calculus of Variations that exhibit the Lavrentiev phenomenon, it is known that a repulsion property may hold, that is, if one approximates the global minimizer in these problems by smooth functions, then the approximate energies will blow up. Thus, standard numerical schemes, like the finite element method, may fail when applied directly to these types of problems. In this paper we prove that a repulsion property holds for variational problems in three-dimensional elasticity that exhibit cavitation. In addition, we propose a numerical scheme that circumvents the repulsion property, which is an adaptation of the Modica and Mortola functional for phase transitions in liquids, in which the phase function is coupled, via the determinant of the deformation gradient, to the stored energy functional. We show that the corresponding approximations by this method satisfy the lower bound [math]–convergence property in the multidimensional, nonradial, case. The convergence to the actual cavitating minimizer is established for a spherical body, in the case of radial deformations.
{"title":"The Repulsion Property in Nonlinear Elasticity and a Numerical Scheme to Circumvent It","authors":"Pablo V. Negrón-Marrero, Jeyabal Sivaloganathan","doi":"10.1137/23m1583144","DOIUrl":"https://doi.org/10.1137/23m1583144","url":null,"abstract":"SIAM Journal on Applied Mathematics, Volume 84, Issue 4, Page 1818-1844, August 2024. <br/> Abstract. For problems in the Calculus of Variations that exhibit the Lavrentiev phenomenon, it is known that a repulsion property may hold, that is, if one approximates the global minimizer in these problems by smooth functions, then the approximate energies will blow up. Thus, standard numerical schemes, like the finite element method, may fail when applied directly to these types of problems. In this paper we prove that a repulsion property holds for variational problems in three-dimensional elasticity that exhibit cavitation. In addition, we propose a numerical scheme that circumvents the repulsion property, which is an adaptation of the Modica and Mortola functional for phase transitions in liquids, in which the phase function is coupled, via the determinant of the deformation gradient, to the stored energy functional. We show that the corresponding approximations by this method satisfy the lower bound [math]–convergence property in the multidimensional, nonradial, case. The convergence to the actual cavitating minimizer is established for a spherical body, in the case of radial deformations.","PeriodicalId":51149,"journal":{"name":"SIAM Journal on Applied Mathematics","volume":"4 1","pages":""},"PeriodicalIF":1.9,"publicationDate":"2024-08-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142219279","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SIAM Journal on Applied Mathematics, Volume 84, Issue 4, Page 1792-1817, August 2024. Abstract. We revisit the problem of nonlinear water wave propagation in the presence of an abrupt depth transition. To this end, we use an asymptotic approach conducted to order 3 with respect to the shallowness parameter, in order to capture the first nonlinear and dispersive contributions. However, the discontinuity of bathymetry, as opposed to slowly varying bathymetry, requires the use of a consistent three-scale analysis framework and the consideration of different regions, far from the step and free surface, near the free surface, and near the step. This framework enables consistent navigation, ultimately providing Boussinesq equations supplemented by jump conditions at the depth discontinuity that encompass the effect of step on wave propagation.
{"title":"Jump Conditions for Boussinesq Equations Due to an Abrupt Depth Transition","authors":"Eduardo Monsalve, Kim Pham, Agnès Maurel","doi":"10.1137/23m1602437","DOIUrl":"https://doi.org/10.1137/23m1602437","url":null,"abstract":"SIAM Journal on Applied Mathematics, Volume 84, Issue 4, Page 1792-1817, August 2024. <br/> Abstract. We revisit the problem of nonlinear water wave propagation in the presence of an abrupt depth transition. To this end, we use an asymptotic approach conducted to order 3 with respect to the shallowness parameter, in order to capture the first nonlinear and dispersive contributions. However, the discontinuity of bathymetry, as opposed to slowly varying bathymetry, requires the use of a consistent three-scale analysis framework and the consideration of different regions, far from the step and free surface, near the free surface, and near the step. This framework enables consistent navigation, ultimately providing Boussinesq equations supplemented by jump conditions at the depth discontinuity that encompass the effect of step on wave propagation.","PeriodicalId":51149,"journal":{"name":"SIAM Journal on Applied Mathematics","volume":"4 1","pages":""},"PeriodicalIF":1.9,"publicationDate":"2024-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142219284","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Maria Carme Calderer, Duvan Henao, Manuel A. Sánchez, Ronald A. Siegel, Sichen Song
SIAM Journal on Applied Mathematics, Volume 84, Issue 4, Page 1766-1791, August 2024. Abstract. This article presents a numerical scheme for the variational model formulated by Calderer et al. [J. Elast., 141 (2020), pp. 51–73] for the debonding of a hydrogel film from a rigid substrate upon exposure to solvent, in the two-dimensional case of a film placed between two parallel walls. It builds upon the scheme introduced by Song et al. [J. Elast., 153 (2023), pp. 651–679] for completely bonded gels, which fails to be robust in the case of gels that are already debonded. The new scheme is used to compute the energy release rate function, based on which predictions are offered for the threshold thickness below which the gel/substrate system is stable against debonding. This study, in turn, makes it possible to validate a theoretical estimate for the energy release rate obtained in the cited works, which is based on a thin-film asymptotic analysis and which, due to its explicit nature, is potentially valuable in medical device development. An existence theorem and rigorous justifications of some approximations made in our numerical scheme are also provided.
{"title":"A Numerical Scheme and Validation of the Asymptotic Energy Release Rate Formula for a 2D Gel Thin-Film Debonding Problem","authors":"Maria Carme Calderer, Duvan Henao, Manuel A. Sánchez, Ronald A. Siegel, Sichen Song","doi":"10.1137/23m1579042","DOIUrl":"https://doi.org/10.1137/23m1579042","url":null,"abstract":"SIAM Journal on Applied Mathematics, Volume 84, Issue 4, Page 1766-1791, August 2024. <br/> Abstract. This article presents a numerical scheme for the variational model formulated by Calderer et al. [J. Elast., 141 (2020), pp. 51–73] for the debonding of a hydrogel film from a rigid substrate upon exposure to solvent, in the two-dimensional case of a film placed between two parallel walls. It builds upon the scheme introduced by Song et al. [J. Elast., 153 (2023), pp. 651–679] for completely bonded gels, which fails to be robust in the case of gels that are already debonded. The new scheme is used to compute the energy release rate function, based on which predictions are offered for the threshold thickness below which the gel/substrate system is stable against debonding. This study, in turn, makes it possible to validate a theoretical estimate for the energy release rate obtained in the cited works, which is based on a thin-film asymptotic analysis and which, due to its explicit nature, is potentially valuable in medical device development. An existence theorem and rigorous justifications of some approximations made in our numerical scheme are also provided.","PeriodicalId":51149,"journal":{"name":"SIAM Journal on Applied Mathematics","volume":"24 1","pages":""},"PeriodicalIF":1.9,"publicationDate":"2024-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142219287","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SIAM Journal on Applied Mathematics, Volume 84, Issue 4, Page 1742-1765, August 2024. Abstract. This paper is devoted to the study of the global dynamics for a large class of reaction-diffusion systems with a time-varying domain. By appealing to the theories of asymptotically autonomous and periodic semiflows, we establish the threshold-type results on the long-time behavior of solutions for such a system in the cases of asymptotically bounded and periodic domains, respectively. To investigate the model system in the case of asymptotically unbounded domain, we first prove the global attractivity for nonautonomous reaction-diffusion systems with asymptotically vanishing diffusion coefficients via the method of sub- and supersolutions and then use the comparison arguments to obtain the threshold dynamics. We also apply these analytical results to a reaction-diffusion model of dengue fever transmission to investigate the effect of time-varying domain on the basic reproduction number. It turns out that the basic reproduction numbers with dengue fever transmission for the asymptotically bounded and unbounded domains are always less than that for the spatially homogeneous case, and under appropriate conditions, the basic reproduction numbers for asymptotically bounded and periodic domains are larger than or equal to that for the stationary bounded domain.
{"title":"Global Dynamics of Reaction-Diffusion Systems with a Time-Varying Domain","authors":"King-Yeung Lam, Xiao-Qiang Zhao, Min Zhu","doi":"10.1137/23m1582990","DOIUrl":"https://doi.org/10.1137/23m1582990","url":null,"abstract":"SIAM Journal on Applied Mathematics, Volume 84, Issue 4, Page 1742-1765, August 2024. <br/> Abstract. This paper is devoted to the study of the global dynamics for a large class of reaction-diffusion systems with a time-varying domain. By appealing to the theories of asymptotically autonomous and periodic semiflows, we establish the threshold-type results on the long-time behavior of solutions for such a system in the cases of asymptotically bounded and periodic domains, respectively. To investigate the model system in the case of asymptotically unbounded domain, we first prove the global attractivity for nonautonomous reaction-diffusion systems with asymptotically vanishing diffusion coefficients via the method of sub- and supersolutions and then use the comparison arguments to obtain the threshold dynamics. We also apply these analytical results to a reaction-diffusion model of dengue fever transmission to investigate the effect of time-varying domain on the basic reproduction number. It turns out that the basic reproduction numbers with dengue fever transmission for the asymptotically bounded and unbounded domains are always less than that for the spatially homogeneous case, and under appropriate conditions, the basic reproduction numbers for asymptotically bounded and periodic domains are larger than or equal to that for the stationary bounded domain.","PeriodicalId":51149,"journal":{"name":"SIAM Journal on Applied Mathematics","volume":"111 1","pages":""},"PeriodicalIF":1.9,"publicationDate":"2024-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142219288","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
SIAM Journal on Applied Mathematics, Volume 84, Issue 4, Page 1718-1741, August 2024. Abstract. This work considers the optimization of electrode positions in head imaging by electrical impedance tomography. The study is motivated by maximizing the sensitivity of electrode measurements to conductivity changes when monitoring the condition of a stroke patient, which justifies adopting a linearized version of the complete electrode model as the forward model. The algorithm is based on finding a (locally) A-optimal measurement configuration via gradient descent with respect to the electrode positions. The efficient computation of the needed derivatives of the complete electrode model is one of the focal points. Two algorithms are introduced and numerically tested on a three-layer head model. The first one assumes a region of interest and a Gaussian prior for the conductivity in the brain, and it can be run offline, i.e., prior to taking any measurements. The second algorithm first computes a reconstruction of the conductivity anomaly caused by the stroke with an initial electrode configuration by combining lagged diffusivity iteration with sequential linearizations, which can be interpreted to produce an approximate Gaussian probability density for the conductivity perturbation. It then resorts to the first algorithm to find new, more informative positions for the available electrodes with the constructed density as the prior.
{"title":"Bayesian Experimental Design for Head Imaging by Electrical Impedance Tomography","authors":"N. Hyvönen, A. Jääskeläinen, R. Maity, A. Vavilov","doi":"10.1137/23m1624634","DOIUrl":"https://doi.org/10.1137/23m1624634","url":null,"abstract":"SIAM Journal on Applied Mathematics, Volume 84, Issue 4, Page 1718-1741, August 2024. <br/> Abstract. This work considers the optimization of electrode positions in head imaging by electrical impedance tomography. The study is motivated by maximizing the sensitivity of electrode measurements to conductivity changes when monitoring the condition of a stroke patient, which justifies adopting a linearized version of the complete electrode model as the forward model. The algorithm is based on finding a (locally) A-optimal measurement configuration via gradient descent with respect to the electrode positions. The efficient computation of the needed derivatives of the complete electrode model is one of the focal points. Two algorithms are introduced and numerically tested on a three-layer head model. The first one assumes a region of interest and a Gaussian prior for the conductivity in the brain, and it can be run offline, i.e., prior to taking any measurements. The second algorithm first computes a reconstruction of the conductivity anomaly caused by the stroke with an initial electrode configuration by combining lagged diffusivity iteration with sequential linearizations, which can be interpreted to produce an approximate Gaussian probability density for the conductivity perturbation. It then resorts to the first algorithm to find new, more informative positions for the available electrodes with the constructed density as the prior.","PeriodicalId":51149,"journal":{"name":"SIAM Journal on Applied Mathematics","volume":"135 1","pages":""},"PeriodicalIF":1.9,"publicationDate":"2024-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141942528","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}