{"title":"Inverse Problem Related to Boundary Shape Identification for a Hyperbolic Differential Equation","authors":"F. Ndiaye, I. Ly","doi":"10.1155/2021/1716027","DOIUrl":null,"url":null,"abstract":"<jats:p>In this paper, we are interested in the inverse problem of the determination of the unknown part <jats:inline-formula>\n <math xmlns=\"http://www.w3.org/1998/Math/MathML\" id=\"M1\">\n <mo>∂</mo>\n <mi mathvariant=\"normal\">Ω</mi>\n <mo>,</mo>\n <msub>\n <mi mathvariant=\"normal\">Γ</mi>\n <mrow>\n <mn>0</mn>\n </mrow>\n </msub>\n </math>\n </jats:inline-formula> of the boundary of a uniformly Lipschitzian domain <jats:inline-formula>\n <math xmlns=\"http://www.w3.org/1998/Math/MathML\" id=\"M2\">\n <mi mathvariant=\"normal\">Ω</mi>\n </math>\n </jats:inline-formula> included in <jats:inline-formula>\n <math xmlns=\"http://www.w3.org/1998/Math/MathML\" id=\"M3\">\n <msup>\n <mrow>\n <mi>ℝ</mi>\n </mrow>\n <mrow>\n <mi>N</mi>\n </mrow>\n </msup>\n </math>\n </jats:inline-formula> from the measurement of the normal derivative <jats:inline-formula>\n <math xmlns=\"http://www.w3.org/1998/Math/MathML\" id=\"M4\">\n <msub>\n <mrow>\n <mo>∂</mo>\n </mrow>\n <mrow>\n <mi>n</mi>\n </mrow>\n </msub>\n <mi>v</mi>\n </math>\n </jats:inline-formula> on suitable part <jats:inline-formula>\n <math xmlns=\"http://www.w3.org/1998/Math/MathML\" id=\"M5\">\n <msub>\n <mi mathvariant=\"normal\">Γ</mi>\n <mrow>\n <mn>0</mn>\n </mrow>\n </msub>\n </math>\n </jats:inline-formula> of its boundary, where <jats:inline-formula>\n <math xmlns=\"http://www.w3.org/1998/Math/MathML\" id=\"M6\">\n <mi>v</mi>\n </math>\n </jats:inline-formula> is the solution of the wave equation <jats:inline-formula>\n <math xmlns=\"http://www.w3.org/1998/Math/MathML\" id=\"M7\">\n <msub>\n <mrow>\n <mo>∂</mo>\n </mrow>\n <mrow>\n <mi>t</mi>\n <mi>t</mi>\n </mrow>\n </msub>\n <mi>v</mi>\n <mfenced open=\"(\" close=\")\" separators=\"|\">\n <mrow>\n <mi>x</mi>\n <mo>,</mo>\n <mi>t</mi>\n </mrow>\n </mfenced>\n <mo>−</mo>\n <mi mathvariant=\"normal\">Δ</mi>\n <mi>v</mi>\n <mfenced open=\"(\" close=\")\" separators=\"|\">\n <mrow>\n <mi>x</mi>\n <mo>,</mo>\n <mi>t</mi>\n </mrow>\n </mfenced>\n <mo>+</mo>\n <mi>p</mi>\n <mfenced open=\"(\" close=\")\" separators=\"|\">\n <mrow>\n <mi>x</mi>\n </mrow>\n </mfenced>\n <mi>v</mi>\n <mfenced open=\"(\" close=\")\" separators=\"|\">\n <mrow>\n <mi>x</mi>\n </mrow>\n </mfenced>\n <mo>=</mo>\n <mn>0</mn>\n </math>\n </jats:inline-formula> in <jats:inline-formula>\n <math xmlns=\"http://www.w3.org/1998/Math/MathML\" id=\"M8\">\n <mi mathvariant=\"normal\">Ω</mi>\n <mo>×</mo>\n <mfenced open=\"(\" close=\")\" separators=\"|\">\n <mrow>\n <mn>0</mn>\n <mo>,</mo>\n <mi>T</mi>\n </mrow>\n </mfenced>\n </math>\n </jats:inline-formula> and given Dirichlet boundary data. We use shape optimization tools to retrieve the boundary part <jats:inline-formula>\n <math xmlns=\"http://www.w3.org/1998/Math/MathML\" id=\"M9\">\n <mi mathvariant=\"normal\">Γ</mi>\n </math>\n </jats:inline-formula> of <jats:inline-formula>\n <math xmlns=\"http://www.w3.org/1998/Math/MathML\" id=\"M10\">\n <mo>∂</mo>\n <mi mathvariant=\"normal\">Ω</mi>\n </math>\n </jats:inline-formula>. From necessary conditions, we estimate a Lagrange multiplier <jats:inline-formula>\n <math xmlns=\"http://www.w3.org/1998/Math/MathML\" id=\"M11\">\n <mi>k</mi>\n <mfenced open=\"(\" close=\")\" separators=\"|\">\n <mrow>\n <mi mathvariant=\"normal\">Ω</mi>\n </mrow>\n </mfenced>\n </math>\n </jats:inline-formula> which appears by derivation with respect to the domain. By maximum principle theory for hyperbolic equations and under geometrical assumptions, we prove a uniqueness result of our inverse problem. The Lipschitz stability is established by increasing of the energy of the system. Some numerical simulations are made to illustrate the optimal shape.</jats:p>","PeriodicalId":301406,"journal":{"name":"Int. J. Math. Math. Sci.","volume":"65 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Int. J. Math. Math. Sci.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1155/2021/1716027","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
In this paper, we are interested in the inverse problem of the determination of the unknown part of the boundary of a uniformly Lipschitzian domain included in from the measurement of the normal derivative on suitable part of its boundary, where is the solution of the wave equation in and given Dirichlet boundary data. We use shape optimization tools to retrieve the boundary part of . From necessary conditions, we estimate a Lagrange multiplier which appears by derivation with respect to the domain. By maximum principle theory for hyperbolic equations and under geometrical assumptions, we prove a uniqueness result of our inverse problem. The Lipschitz stability is established by increasing of the energy of the system. Some numerical simulations are made to illustrate the optimal shape.
在本文中,我们感兴趣的是确定未知部分∂Ω的逆问题,在一个均匀Lipschitzian域Ω中包含的边界Γ 0N从∂N v在合适部分的法向导数的测量中得到其边界为Γ 0,v是波动方程∂t t v的解X t - Δ v X,T + p x v x = 0在Ω × 0, T和给定的Dirichlet边界数据。我们使用形状优化工具来检索∂Ω的边界部分Γ。从必要条件出发,我们估计了一个拉格朗日乘子k Ω,它在定义域上通过求导得到。利用双曲型方程的极大原理理论,在几何假设条件下,证明了该反问题的唯一性结果。利普希茨稳定性是通过增加系统的能量来建立的。一些数值模拟说明了最优形状。