The main goal of this article is to study a Calderón type inverse problem for certain viscous nonlocal wave equations. We show that the partial Dirichlet to Neumann map uniquely determines on the one hand linear perturbations and on the other hand homogeneous nonlinearities f(u) whenever the latter satisfy a certain growth assumption. As a preliminary step we discuss the well-posedness in each case, where for the nonlinear setting we invoke the implicit function theorem after establishing the differentiability of the associated Nemytskii operator f(u). In the linear case we establish a Runge approximation theorem in <InlineEquation ID="IEq1"> <EquationSource Format="TEX">$L^2(0,T;\widetilde{H}^{s}(\Omega ))$</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>T</mi> <mo>;</mo> <msup> <mover accent="true"> <mi>H</mi> <mo stretchy="true">~</mo> </mover> <mi>s</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, which allows us to uniquely determine potentials that belong only to <InlineEquation ID="IEq2"> <EquationSource Format="TEX">$L^{\infty }(0,T;L^p(\Omega ))$</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mi>∞</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>T</mi> <mo>;</mo> <msup> <mi>L</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for some <InlineEquation ID="IEq3"> <EquationSource Format="TEX">$1<p\le \infty $</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo><</mo> <mi>p</mi> <mo>≤</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation> satisfying suitable restrictions. In the nonlinear case, we first derive an appropriate integral identity and combine this with the differentiability of the solution map around zero to show that the nonlinearity is uniquely determined by the Dirichlet to Neumann map. To make this linearization technique work, it is essential that we have a Runge approximation in <InlineEquation ID="IEq4"> <EquationSource Format="TEX">$L^2(0,T;\widetilde{H}^s(\Omega ))$</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>T</mi> <mo>;</mo> <msup> <mover accent="true"> <mi>H</mi> <mo stretchy="true">~</mo> </mover> <mi>s</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> instead of <InlineEquation ID="IEq5"> <EquationSource Format="TEX">$L^2(\Omega _T)$</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="normal">Ω</mi> <mi>T</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> at our disposal.

Calderón problem for nonlocal viscous wave equations: Unique determination of linear and nonlinear perturbations

期刊论文
出版模式：

开放获取
发表日期：

2026年1月9日

查看全文

Philipp Zimmermann

摘要

The main goal of this article is to study a Calderón type inverse problem for certain viscous nonlocal wave equations. We show that the partial Dirichlet to Neumann map uniquely determines on the one hand linear perturbations and on the other hand homogeneous nonlinearities f(u) whenever the latter satisfy a certain growth assumption. As a preliminary step we discuss the well-posedness in each case, where for the nonlinear setting we invoke the implicit function theorem after establishing the differentiability of the associated Nemytskii operator f(u). In the linear case we establish a Runge approximation theorem in $L^2(0,T;\widetilde{H}^{s}(\Omega ))$ $L^{2} (0, T; {\tilde{H}}^{s} (Ω))$ , which allows us to uniquely determine potentials that belong only to $L^{\infty }(0,T;L^p(\Omega ))$ $L^{\infty} (0, T; L^{p} (Ω))$ for some $1<p\le \infty $ $1 < p \leq \infty$ satisfying suitable restrictions. In the nonlinear case, we first derive an appropriate integral identity and combine this with the differentiability of the solution map around zero to show that the nonlinearity is uniquely determined by the Dirichlet to Neumann map. To make this linearization technique work, it is essential that we have a Runge approximation in $L^2(0,T;\widetilde{H}^s(\Omega ))$ $L^{2} (0, T; {\tilde{H}}^{s} (Ω))$ instead of $L^2(\Omega _T)$ $L^{2} (Ω_{T})$ at our disposal.