<p>In this article, we investigate a backward problem for identifying the initial value of the time-fractional telegraph equation: <Equation ID="Equ29"> <EquationSource Format="TEX">\(\begin{aligned} \varvec{\partial _{t}^{2\alpha }u(x,t) + 2a \partial _{t}^{\alpha }u(x,t) - \Delta {u(x,t)} = f(x,t), \quad x \in \Omega , \quad t \in (0, T),} \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msubsup> <mi mathvariant="bold-italic">∂</mi> <mrow> <mi mathvariant="bold-italic">t</mi> </mrow> <mrow> <mn mathvariant="bold">2</mn> <mi mathvariant="bold-italic">α</mi> </mrow> </msubsup> <mi mathvariant="bold-italic">u</mi> <mrow> <mo mathvariant="bold" stretchy="false">(</mo> <mi mathvariant="bold-italic">x</mi> <mo mathvariant="bold">,</mo> <mi mathvariant="bold-italic">t</mi> <mo mathvariant="bold" stretchy="false">)</mo> </mrow> <mo mathvariant="bold">+</mo> <mn mathvariant="bold">2</mn> <mi mathvariant="bold-italic">a</mi> <msubsup> <mi mathvariant="bold-italic">∂</mi> <mrow> <mi mathvariant="bold-italic">t</mi> </mrow> <mi mathvariant="bold-italic">α</mi> </msubsup> <mi mathvariant="bold-italic">u</mi> <mrow> <mo mathvariant="bold" stretchy="false">(</mo> <mi mathvariant="bold-italic">x</mi> <mo mathvariant="bold">,</mo> <mi mathvariant="bold-italic">t</mi> <mo mathvariant="bold" stretchy="false">)</mo> </mrow> <mo mathvariant="bold">-</mo> <mi mathvariant="bold">Δ</mi> <mrow> <mi mathvariant="bold-italic">u</mi> <mo mathvariant="bold" stretchy="false">(</mo> <mi mathvariant="bold-italic">x</mi> <mo mathvariant="bold">,</mo> <mi mathvariant="bold-italic">t</mi> <mo mathvariant="bold" stretchy="false">)</mo> </mrow> <mo mathvariant="bold">=</mo> <mi mathvariant="bold-italic">f</mi> <mrow> <mo mathvariant="bold" stretchy="false">(</mo> <mi mathvariant="bold-italic">x</mi> <mo mathvariant="bold">,</mo> <mi mathvariant="bold-italic">t</mi> <mo mathvariant="bold" stretchy="false">)</mo> </mrow> <mo mathvariant="bold">,</mo> <mspace width="1em" /> <mi mathvariant="bold-italic">x</mi> <mo mathvariant="bold">∈</mo> <mi mathvariant="bold">Ω</mi> <mo mathvariant="bold">,</mo> <mspace width="1em" /> <mi mathvariant="bold-italic">t</mi> <mo mathvariant="bold">∈</mo> <mrow> <mo mathvariant="bold" stretchy="false">(</mo> <mn mathvariant="bold">0</mn> <mo mathvariant="bold">,</mo> <mi mathvariant="bold-italic">T</mi> <mo mathvariant="bold" stretchy="false">)</mo> </mrow> <mo mathvariant="bold">,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\varvec{0&lt; \alpha &lt; \frac{1}{2}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn mathvariant="bold">0</mn> <mo mathvariant="bold">&lt;</mo> <mi mathvariant="bold-italic">α</mi> <mo mathvariant="bold">&lt;</mo> <mfrac> <mn mathvariant="bold">1</mn> <mn mathvariant="bold">2</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\varvec{-\Delta }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo mathvariant="bold">-</mo> <mi mathvariant="bold">Δ</mi> </mrow> </math></EquationSource> </InlineEquation> is the negative Laplace operator. Our analysis relies on the result of V.A. Il’in (1960) on the convergence of Fourier series in domains <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\varvec{\Omega \subset \mathbb {R}^{N}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">Ω</mi> <mo mathvariant="bold">⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi mathvariant="bold-italic">N</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>. This result enables us to construct a solution representation using the Fourier method and analyze its properties. By introducing the set <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\varvec{\omega (\alpha ,-\Delta )}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-italic">ω</mi> <mo mathvariant="bold" stretchy="false">(</mo> <mi mathvariant="bold-italic">α</mi> <mo mathvariant="bold">,</mo> <mo mathvariant="bold">-</mo> <mi mathvariant="bold">Δ</mi> <mo mathvariant="bold" stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, which consists of time values <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\varvec{T^{\alpha }}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi mathvariant="bold-italic">T</mi> <mi mathvariant="bold-italic">α</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> for which the eigenvalues of <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\varvec{-\Delta }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo mathvariant="bold">-</mo> <mi mathvariant="bold">Δ</mi> </mrow> </math></EquationSource> </InlineEquation> satisfy certain resonance conditions, we establish the existence of the solution. Specifically: If <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\varvec{T^{\alpha } \notin \omega (\alpha ,-\Delta )}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi mathvariant="bold-italic">T</mi> <mi mathvariant="bold-italic">α</mi> </msup> <mo mathvariant="bold">∉</mo> <mi mathvariant="bold-italic">ω</mi> <mrow> <mo mathvariant="bold" stretchy="false">(</mo> <mi mathvariant="bold-italic">α</mi> <mo mathvariant="bold">,</mo> <mo mathvariant="bold">-</mo> <mi mathvariant="bold">Δ</mi> <mo mathvariant="bold" stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, the solution exists and is unique. If <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\varvec{T^{\alpha } \in \omega (\alpha ,-\Delta )}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi mathvariant="bold-italic">T</mi> <mi mathvariant="bold-italic">α</mi> </msup> <mo mathvariant="bold">∈</mo> <mi mathvariant="bold-italic">ω</mi> <mrow> <mo mathvariant="bold" stretchy="false">(</mo> <mi mathvariant="bold-italic">α</mi> <mo mathvariant="bold">,</mo> <mo mathvariant="bold">-</mo> <mi mathvariant="bold">Δ</mi> <mo mathvariant="bold" stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, the solution exists, but uniqueness fails due to resonance effects. The Fourier method serves as the primary analytical tool, enabling the generalization of our findings to fractional diffusion telegraph equations with more general elliptic operators. This work contributes to the theoretical understanding of backward problems in fractional calculus and their applications in mathematical physics.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

BACKWARD PROBLEM FOR A FRACTIONAL TELEGRAPH EQUATION

  • Ravshan Ashurov,
  • Rajapboy Saparbayev

摘要

In this article, we investigate a backward problem for identifying the initial value of the time-fractional telegraph equation: \(\begin{aligned} \varvec{\partial _{t}^{2\alpha }u(x,t) + 2a \partial _{t}^{\alpha }u(x,t) - \Delta {u(x,t)} = f(x,t), \quad x \in \Omega , \quad t \in (0, T),} \end{aligned}\) t 2 α u ( x , t ) + 2 a t α u ( x , t ) - Δ u ( x , t ) = f ( x , t ) , x Ω , t ( 0 , T ) , where \(\varvec{0< \alpha < \frac{1}{2}}\) 0 < α < 1 2 and \(\varvec{-\Delta }\) - Δ is the negative Laplace operator. Our analysis relies on the result of V.A. Il’in (1960) on the convergence of Fourier series in domains \(\varvec{\Omega \subset \mathbb {R}^{N}}\) Ω R N . This result enables us to construct a solution representation using the Fourier method and analyze its properties. By introducing the set \(\varvec{\omega (\alpha ,-\Delta )}\) ω ( α , - Δ ) , which consists of time values \(\varvec{T^{\alpha }}\) T α for which the eigenvalues of \(\varvec{-\Delta }\) - Δ satisfy certain resonance conditions, we establish the existence of the solution. Specifically: If \(\varvec{T^{\alpha } \notin \omega (\alpha ,-\Delta )}\) T α ω ( α , - Δ ) , the solution exists and is unique. If \(\varvec{T^{\alpha } \in \omega (\alpha ,-\Delta )}\) T α ω ( α , - Δ ) , the solution exists, but uniqueness fails due to resonance effects. The Fourier method serves as the primary analytical tool, enabling the generalization of our findings to fractional diffusion telegraph equations with more general elliptic operators. This work contributes to the theoretical understanding of backward problems in fractional calculus and their applications in mathematical physics.