一类双曲型微分方程边界形状辨识的反问题

F. Ndiaye, I. Ly
{"title":"一类双曲型微分方程边界形状辨识的反问题","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":"{\"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}","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

摘要

在本文中,我们感兴趣的是确定未知部分∂Ω的逆问题,在一个均匀Lipschitzian域Ω中包含的边界Γ 0N从∂N v在合适部分的法向导数的测量中得到其边界为Γ 0,v是波动方程∂t t v的解X t - Δ v X,T + p x v x = 0在Ω × 0, T和给定的Dirichlet边界数据。我们使用形状优化工具来检索∂Ω的边界部分Γ。从必要条件出发,我们估计了一个拉格朗日乘子k Ω,它在定义域上通过求导得到。利用双曲型方程的极大原理理论,在几何假设条件下,证明了该反问题的唯一性结果。利普希茨稳定性是通过增加系统的能量来建立的。一些数值模拟说明了最优形状。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
Inverse Problem Related to Boundary Shape Identification for a Hyperbolic Differential Equation
In this paper, we are interested in the inverse problem of the determination of the unknown part Ω , Γ 0 of the boundary of a uniformly Lipschitzian domain Ω included in N from the measurement of the normal derivative n v on suitable part Γ 0 of its boundary, where v is the solution of the wave equation t t v x , t Δ v x , t + p x v x = 0 in Ω × 0 , T and given Dirichlet boundary data. We use shape optimization tools to retrieve the boundary part Γ of Ω . From necessary conditions, we estimate a Lagrange multiplier k Ω 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.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Analysis of Investment Returns as Markov Chain Random Walk Prediction of the Stock Prices at Uganda Securities Exchange Using the Exponential Ornstein-Uhlenbeck Model Nth Composite Iterative Scheme via Weak Contractions with Application Tangent Hyperbolic Fluid Flow under Condition of Divergent Channel in the Presence of Porous Medium with Suction/Blowing and Heat Source: Emergence of the Boundary Layer Estimation of Finite Population Mean under Probability-Proportional-to-Size Sampling in the Presence of Extreme Values
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1