Abstract <p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11982_2025_10503_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="107" /> </InlineMediaObject> <EquationSource Format="TEX">\(\beta \geqslant \alpha &gt; - {\text{1/2}}\)</EquationSource> <!--RusMath2570047Krasnoshchekik-m1--> </InlineEquation> and <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11982_2025_10503_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(F\)</EquationSource> <!--RusMath2570047Krasnoshchekik-m2--> </InlineEquation> be an even function of class <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11982_2025_10503_Article_IEq3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\({{C}^{2}}(\mathbb{R})\)</EquationSource> <!--RusMath2570047Krasnoshchekik-m3--> </InlineEquation>. The paper studies the properties of solutions to the Cauchy problem <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11982_2025_10503_Article_IEq4.gif" Format="GIF" Height="26" Rendition="HTML" Resolution="72" Type="Linedraw" Width="328" /> </InlineMediaObject> <EquationSource Format="TEX">\(\frac{{{{\partial }^{2}}U}}{{\partial {{x}^{2}}}} + \frac{{(2\alpha + 1)}}{x}\frac{{\partial U}}{{\partial x}}\frac{{{{\partial }^{2}}U}}{{\partial {{t}^{2}}}} + \frac{{(2\beta + 1)}}{t}\frac{{\partial U}}{{\partial t}},\quad x &gt; 0,\;\;t &gt; 0,\)</EquationSource> <!--RusMath2570047Krasnoshchekik-m4--> </InlineEquation> <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11982_2025_10503_Article_IEq5.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="283" /> </InlineMediaObject> <EquationSource Format="TEX">\(U(x,0) = F(x),\quad \frac{{\partial U}}{{\partial t}}(x,0) = 0,\quad x \geqslant 0\)</EquationSource> <!--RusMath2570047Krasnoshchekik-m5--> </InlineEquation>related to the structure of the kernel of the operator <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11982_2025_10503_Article_IEq6.gif" Format="GIF" Height="40" Rendition="HTML" Resolution="72" Type="Linedraw" Width="319" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal{A}F(t) = \int\limits_0^\pi F\left( {\sqrt {{{r}^{2}} + {{t}^{2}} - 2rt\cos \theta } } \right){{\sin }^{{2\alpha }}}\theta d\theta \)</EquationSource> <!--RusMath2570047Krasnoshchekik-m6--> </InlineEquation>for a fixed <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11982_2025_10503_Article_IEq7.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(r &gt; 0\)</EquationSource> <!--RusMath2570047Krasnoshchekik-m7--> </InlineEquation>. It is shown that the functions from <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11982_2025_10503_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(\operatorname{Ker} \mathcal{A}\)</EquationSource> <!--RusMath2570047Krasnoshchekik-m8--> </InlineEquation> are uniquely determined by their values on <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11982_2025_10503_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">\((0,r)\)</EquationSource> <!--RusMath2570047Krasnoshchekik-m9--> </InlineEquation> and this interval cannot be replaced by the interval <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11982_2025_10503_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\((0,\rho )\)</EquationSource> <!--RusMath2570047Krasnoshchekik-m10--> </InlineEquation> with <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11982_2025_10503_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho &lt; r\)</EquationSource> <!--RusMath2570047Krasnoshchekik-m11--> </InlineEquation>. A description of <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11982_2025_10503_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(\operatorname{Ker} \mathcal{A}\)</EquationSource> <!--RusMath2570047Krasnoshchekik-m12--> </InlineEquation> is found in the form of series of normalized Bessel functions <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11982_2025_10503_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\({{j}_{\alpha }}(\lambda x)\)</EquationSource> <!--RusMath2570047Krasnoshchekik-m13--> </InlineEquation>, <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11982_2025_10503_Article_IEq14.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lambda \in {{\mathcal{N}}_{r}}\)</EquationSource> <!--RusMath2570047Krasnoshchekik-m14--> </InlineEquation>, where <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11982_2025_10503_Article_IEq15.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="193" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\mathcal{N}}_{r}} = \{ x &gt; 0:{{j}_{\alpha }}(rx) = 0\} \)</EquationSource> <!--RusMath2570047Krasnoshchekik-m15--> </InlineEquation>. With the help of these results, new uniqueness theorems for solutions to the indicated Cauchy problem are established, theorems on the representation of solutions satisfying the condition <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11982_2025_10503_Article_IEq16.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="79" /> </InlineMediaObject> <EquationSource Format="TEX">\(U(\xi ,t) = 0\)</EquationSource> <!--RusMath2570047Krasnoshchekik-m16--> </InlineEquation>, <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11982_2025_10503_Article_IEq17.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(\xi \in E\)</EquationSource> <!--RusMath2570047Krasnoshchekik-m17--> </InlineEquation>, <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11982_2025_10503_Article_IEq18.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(t &gt; 0\)</EquationSource> <!--RusMath2570047Krasnoshchekik-m18--> </InlineEquation> are obtained, where the set <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11982_2025_10503_Article_IEq19.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(E\)</EquationSource> <!--RusMath2570047Krasnoshchekik-m19--> </InlineEquation> consists of one positive number or <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11982_2025_10503_Article_IEq19.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(E\)</EquationSource> <!--RusMath2570047Krasnoshchekik-m20--> </InlineEquation> coincides with the set of positive zeros of the function <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11982_2025_10503_Article_IEq21.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({{j}_{\alpha }}\)</EquationSource> <!--RusMath2570047Krasnoshchekik-m21--> </InlineEquation>, and a new theorem on two radii is proved.</p>

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

Uniqueness and Representation of Solutions to the Generalized Euler–Poisson–Darboux Equation

  • G. V. Krasnoschekikh,
  • Vit. V. Volchkov

摘要

Abstract

Let \(\beta \geqslant \alpha > - {\text{1/2}}\) and \(F\) be an even function of class \({{C}^{2}}(\mathbb{R})\) . The paper studies the properties of solutions to the Cauchy problem \(\frac{{{{\partial }^{2}}U}}{{\partial {{x}^{2}}}} + \frac{{(2\alpha + 1)}}{x}\frac{{\partial U}}{{\partial x}}\frac{{{{\partial }^{2}}U}}{{\partial {{t}^{2}}}} + \frac{{(2\beta + 1)}}{t}\frac{{\partial U}}{{\partial t}},\quad x > 0,\;\;t > 0,\) \(U(x,0) = F(x),\quad \frac{{\partial U}}{{\partial t}}(x,0) = 0,\quad x \geqslant 0\) related to the structure of the kernel of the operator \(\mathcal{A}F(t) = \int\limits_0^\pi F\left( {\sqrt {{{r}^{2}} + {{t}^{2}} - 2rt\cos \theta } } \right){{\sin }^{{2\alpha }}}\theta d\theta \) for a fixed \(r > 0\) . It is shown that the functions from \(\operatorname{Ker} \mathcal{A}\) are uniquely determined by their values on \((0,r)\) and this interval cannot be replaced by the interval \((0,\rho )\) with \(\rho < r\) . A description of \(\operatorname{Ker} \mathcal{A}\) is found in the form of series of normalized Bessel functions \({{j}_{\alpha }}(\lambda x)\) , \(\lambda \in {{\mathcal{N}}_{r}}\) , where \({{\mathcal{N}}_{r}} = \{ x > 0:{{j}_{\alpha }}(rx) = 0\} \) . With the help of these results, new uniqueness theorems for solutions to the indicated Cauchy problem are established, theorems on the representation of solutions satisfying the condition \(U(\xi ,t) = 0\) , \(\xi \in E\) , \(t > 0\) are obtained, where the set \(E\) consists of one positive number or \(E\) coincides with the set of positive zeros of the function \({{j}_{\alpha }}\) , and a new theorem on two radii is proved.