<p>The present paper deals with the problem of constructing discrete counterparts of conjugate harmonic functions in the scope of hypercomplex analysis. Specifically, let us denote by <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1727_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Delta _h\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Δ</mi> <mi>h</mi> </msub> </math></EquationSource> </InlineEquation> the discrete Laplacian, by <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1727_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(D_h\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>D</mi> <mi>h</mi> </msub> </math></EquationSource> </InlineEquation> the discrete Dirac operator such that <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1727_Article_IEq3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="99" /> </InlineMediaObject> <EquationSource Format="TEX">\((D_h)^2=-\Delta _h\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>D</mi> <mi>h</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msup> <mo>=</mo> <mo>-</mo> <msub> <mi mathvariant="normal">Δ</mi> <mi>h</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>, and by <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1727_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\partial _s\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>∂</mi> <mi>s</mi> </msub> </math></EquationSource> </InlineEquation> a time-derivative. Our approach starts with the correspondence between the null solutions <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1727_Article_IEq5.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="98" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{w}=\varvec{u}-\textbf{e}_0\varvec{v}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mi mathvariant="bold-italic">w</mi> </mrow> <mo>=</mo> <mrow> <mi mathvariant="bold-italic">u</mi> </mrow> <mo>-</mo> <msub> <mi mathvariant="bold">e</mi> <mn>0</mn> </msub> <mrow> <mi mathvariant="bold-italic">v</mi> </mrow> </mrow> </math></EquationSource> </InlineEquation> of the Dirac type operator <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1727_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{e}_0\partial _s+D_h\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="bold">e</mi> <mn>0</mn> </msub> <msub> <mi>∂</mi> <mi>s</mi> </msub> <mo>+</mo> <msub> <mi>D</mi> <mi>h</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> and the pair of solutions <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1727_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\((\varvec{u},\varvec{v})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="bold-italic">u</mi> </mrow> <mo>,</mo> <mrow> <mi mathvariant="bold-italic">v</mi> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of the following semidiscrete Cauchy-Riemann type system: <Equation ID="Equ67"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1727_Article_Equ67.gif" Format="GIF" Height="43" Rendition="HTML" Resolution="72" Type="Linedraw" Width="371" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} {\left\{ \begin{array}{ll} \partial _s\varvec{u}({\varvec{x}},s)=-D_h \varvec{v}({\varvec{x}},s) &amp; \\ \partial _s\varvec{v}({\varvec{x}},s)=-D_h \varvec{u}({\varvec{x}},s)&amp; \end{array}\right. },&amp;({\varvec{x}},s)\in h{{\mathbb {Z}}}^n \times (0,\infty ). \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd columnalign="left"> <mrow> <msub> <mi>∂</mi> <mi>s</mi> </msub> <mrow> <mi mathvariant="bold-italic">u</mi> </mrow> <mrow> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="bold-italic">x</mi> </mrow> <mo>,</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mo>-</mo> <msub> <mi>D</mi> <mi>h</mi> </msub> <mrow> <mi mathvariant="bold-italic">v</mi> </mrow> <mrow> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="bold-italic">x</mi> </mrow> <mo>,</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </mtd> <mtd /> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <msub> <mi>∂</mi> <mi>s</mi> </msub> <mrow> <mi mathvariant="bold-italic">v</mi> </mrow> <mrow> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="bold-italic">x</mi> </mrow> <mo>,</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mo>-</mo> <msub> <mi>D</mi> <mi>h</mi> </msub> <mrow> <mi mathvariant="bold-italic">u</mi> </mrow> <mrow> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="bold-italic">x</mi> </mrow> <mo>,</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> <mo>,</mo> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mrow> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="bold-italic">x</mi> </mrow> <mo>,</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <mi>h</mi> <msup> <mrow> <mi mathvariant="double-struck">Z</mi> </mrow> <mi>n</mi> </msup> <mo>×</mo> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>Hereby, <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1727_Article_IEq8.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{e}_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="bold">e</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation> stands for a Clifford basis element, satisfying <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1727_Article_IEq9.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="60" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{e}_0^2=-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi mathvariant="bold">e</mi> <mn>0</mn> <mn>2</mn> </msubsup> <mo>=</mo> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1727_Article_IEq10.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="124" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{e}_0D_h+D_h\textbf{e}_0=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="bold">e</mi> <mn>0</mn> </msub> <msub> <mi>D</mi> <mi>h</mi> </msub> <mo>+</mo> <msub> <mi>D</mi> <mi>h</mi> </msub> <msub> <mi mathvariant="bold">e</mi> <mn>0</mn> </msub> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. In a nutshell, we prove that the solutions of such system can be characterized in terms of the null solutions of the semidiscrete Laplacian <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1727_Article_IEq11.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="60" /> </InlineMediaObject> <EquationSource Format="TEX">\(\partial _s^2+\Delta _h\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>∂</mi> <mi>s</mi> <mn>2</mn> </msubsup> <mo>+</mo> <msub> <mi mathvariant="normal">Δ</mi> <mi>h</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>. Afterwards, we show that a similar formulation on discrete space-time lattices arises from the aforementioned semidiscrete formulation on <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11785_2025_1727_Article_IEq12.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="96" /> </InlineMediaObject> <EquationSource Format="TEX">\(h{{\mathbb {Z}}}^n \times (0,\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>h</mi> <msup> <mrow> <mi mathvariant="double-struck">Z</mi> </mrow> <mi>n</mi> </msup> <mo>×</mo> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> by means of sampling using Bessel functions of the first kind. These results provide us the building blocks to characterize the discrete analogue of the Riesz-Hilbert transform in terms of the ’boundary behavior’ of discrete conjugate harmonic functions, generated from operator semigroups of Poisson type. We end this paper by discussing some open problems of future research.</p>

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

On Discrete Conjugate Harmonic Functions in Hypercomplex Analysis

  • Nelson Faustino

摘要

The present paper deals with the problem of constructing discrete counterparts of conjugate harmonic functions in the scope of hypercomplex analysis. Specifically, let us denote by \(\Delta _h\) Δ h the discrete Laplacian, by \(D_h\) D h the discrete Dirac operator such that \((D_h)^2=-\Delta _h\) ( D h ) 2 = - Δ h , and by \(\partial _s\) s a time-derivative. Our approach starts with the correspondence between the null solutions \(\varvec{w}=\varvec{u}-\textbf{e}_0\varvec{v}\) w = u - e 0 v of the Dirac type operator \(\textbf{e}_0\partial _s+D_h\) e 0 s + D h and the pair of solutions \((\varvec{u},\varvec{v})\) ( u , v ) of the following semidiscrete Cauchy-Riemann type system: \(\begin{aligned} {\left\{ \begin{array}{ll} \partial _s\varvec{u}({\varvec{x}},s)=-D_h \varvec{v}({\varvec{x}},s) & \\ \partial _s\varvec{v}({\varvec{x}},s)=-D_h \varvec{u}({\varvec{x}},s)& \end{array}\right. },&({\varvec{x}},s)\in h{{\mathbb {Z}}}^n \times (0,\infty ). \end{aligned}\) s u ( x , s ) = - D h v ( x , s ) s v ( x , s ) = - D h u ( x , s ) , ( x , s ) h Z n × ( 0 , ) . Hereby, \(\textbf{e}_0\) e 0 stands for a Clifford basis element, satisfying \(\textbf{e}_0^2=-1\) e 0 2 = - 1 and \(\textbf{e}_0D_h+D_h\textbf{e}_0=0\) e 0 D h + D h e 0 = 0 . In a nutshell, we prove that the solutions of such system can be characterized in terms of the null solutions of the semidiscrete Laplacian \(\partial _s^2+\Delta _h\) s 2 + Δ h . Afterwards, we show that a similar formulation on discrete space-time lattices arises from the aforementioned semidiscrete formulation on \(h{{\mathbb {Z}}}^n \times (0,\infty )\) h Z n × ( 0 , ) by means of sampling using Bessel functions of the first kind. These results provide us the building blocks to characterize the discrete analogue of the Riesz-Hilbert transform in terms of the ’boundary behavior’ of discrete conjugate harmonic functions, generated from operator semigroups of Poisson type. We end this paper by discussing some open problems of future research.