<p>In this paper, we introduce the notion of a cosine sequence <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\{C_\tau ^n\}_{n\in \mathbb {N}_0}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">{</mo> <msubsup> <mi>C</mi> <mi>τ</mi> <mi>n</mi> </msubsup> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>n</mi> <mo>∈</mo> <msub> <mi mathvariant="double-struck">N</mi> <mn>0</mn> </msub> </mrow> </msub> </math></EquationSource> </InlineEquation> generated by a closed linear operator <i>A</i> in a Banach space <i>X</i>. We provide a systematic study of the properties of <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\{C^n_\tau \}_{n\in \mathbb {N}_0}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">{</mo> <msubsup> <mi>C</mi> <mi>τ</mi> <mi>n</mi> </msubsup> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>n</mi> <mo>∈</mo> <msub> <mi mathvariant="double-struck">N</mi> <mn>0</mn> </msub> </mrow> </msub> </math></EquationSource> </InlineEquation>, showing that it satisfies a discrete d’Alembert’s functional equation. We also explore its connections with its generator <i>A</i>, the resolvent operator <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(R_\tau := \tau ^{-2}(\tau ^{-2} - A)^{-1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>R</mi> <mi>τ</mi> </msub> <mo>:</mo> <mo>=</mo> <msup> <mi>τ</mi> <mrow> <mo>-</mo> <mn>2</mn> </mrow> </msup> <msup> <mrow> <mo stretchy="false">(</mo> <msup> <mi>τ</mi> <mrow> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mo>-</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>, and its corresponding sine family <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\{S^n_\tau \}_{n\in \mathbb {N}_0}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">{</mo> <msubsup> <mi>S</mi> <mi>τ</mi> <mi>n</mi> </msubsup> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>n</mi> <mo>∈</mo> <msub> <mi mathvariant="double-struck">N</mi> <mn>0</mn> </msub> </mrow> </msub> </math></EquationSource> </InlineEquation>. Moreover, we show that the solution to the abstract discrete system of second order <Equation ID="Equ53"> <EquationSource Format="TEX">\(\begin{aligned} \nabla ^{2}_\tau u^n = Au^n + f^n, \quad n \ge 2, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msubsup> <mi mathvariant="normal">∇</mi> <mi>τ</mi> <mn>2</mn> </msubsup> <msup> <mi>u</mi> <mi>n</mi> </msup> <mo>=</mo> <mi>A</mi> <msup> <mi>u</mi> <mi>n</mi> </msup> <mo>+</mo> <msup> <mi>f</mi> <mi>n</mi> </msup> <mo>,</mo> <mspace width="1em" /> <mi>n</mi> <mo>≥</mo> <mn>2</mn> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>subject to the initial conditions <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(u^0 = x_0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>u</mi> <mn>0</mn> </msup> <mo>=</mo> <msub> <mi>x</mi> <mn>0</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(u^1 = x_1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>u</mi> <mn>1</mn> </msup> <mo>=</mo> <msub> <mi>x</mi> <mn>1</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(f: \mathbb {N}_0 \rightarrow X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>:</mo> <msub> <mi mathvariant="double-struck">N</mi> <mn>0</mn> </msub> <mo stretchy="false">→</mo> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation> is a given sequence, <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\tau &gt; 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>τ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> is a specified step size, and <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\nabla ^{2}_\tau u^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi mathvariant="normal">∇</mi> <mi>τ</mi> <mn>2</mn> </msubsup> <msup> <mi>u</mi> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> is the backward operator of order two, can be expressed as a discrete variation parameter formula in terms of <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(C^n_\tau \)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>C</mi> <mi>τ</mi> <mi>n</mi> </msubsup> </math></EquationSource> </InlineEquation> and its corresponding sine sequence.</p>

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

Cosine sequences generated by closed linear operators

  • Aldo Pereira,
  • Rodrigo Ponce

摘要

In this paper, we introduce the notion of a cosine sequence \(\{C_\tau ^n\}_{n\in \mathbb {N}_0}\) { C τ n } n N 0 generated by a closed linear operator A in a Banach space X. We provide a systematic study of the properties of \(\{C^n_\tau \}_{n\in \mathbb {N}_0}\) { C τ n } n N 0 , showing that it satisfies a discrete d’Alembert’s functional equation. We also explore its connections with its generator A, the resolvent operator \(R_\tau := \tau ^{-2}(\tau ^{-2} - A)^{-1}\) R τ : = τ - 2 ( τ - 2 - A ) - 1 , and its corresponding sine family \(\{S^n_\tau \}_{n\in \mathbb {N}_0}\) { S τ n } n N 0 . Moreover, we show that the solution to the abstract discrete system of second order \(\begin{aligned} \nabla ^{2}_\tau u^n = Au^n + f^n, \quad n \ge 2, \end{aligned}\) τ 2 u n = A u n + f n , n 2 , subject to the initial conditions \(u^0 = x_0\) u 0 = x 0 , \(u^1 = x_1\) u 1 = x 1 , where \(f: \mathbb {N}_0 \rightarrow X\) f : N 0 X is a given sequence, \(\tau > 0\) τ > 0 is a specified step size, and \(\nabla ^{2}_\tau u^n\) τ 2 u n is the backward operator of order two, can be expressed as a discrete variation parameter formula in terms of \(C^n_\tau \) C τ n and its corresponding sine sequence.