<p>We prove Runge type approximation results for linear partial differential operators with constant coefficients on spaces of smooth Whitney jets. Among others, we characterize when for a constant coefficient linear partial differential operator <i>P</i>(<i>D</i>) and for closed subsets <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(F_1\subset F_2\)</EquationSource> </InlineEquation> of <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathbb {R}^d\)</EquationSource> </InlineEquation> the restrictions to <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(F_1\)</EquationSource> </InlineEquation> of smooth Whitney jets <i>f</i> on <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(F_2\)</EquationSource> </InlineEquation> satisfying <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(P(D)f=0\)</EquationSource> </InlineEquation> on <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(F_2\)</EquationSource> </InlineEquation> are dense in the space of smooth Whitney jets on <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(F_1\)</EquationSource> </InlineEquation> satisfying the same partial differential equation on <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(F_1\)</EquationSource> </InlineEquation>. For elliptic operators we give a geometric evaluation of this characterization. Additionally, for differential operators with a single characteristic direction, like parabolic operators, we give a sufficient geometric condition for the above density to hold. Under mild additional assumptions on <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\partial F_1\)</EquationSource> </InlineEquation> and for <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(F_2=\mathbb {R}^d\)</EquationSource> </InlineEquation> this sufficient conditions is also necessary. As an application of our work, we characterize those open subsets <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\Omega\)</EquationSource> </InlineEquation> of the complex plane satisfying <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\Omega =\operatorname {int}\overline{\Omega }\)</EquationSource> </InlineEquation> for which the set of holomorphic polynomials are dense in <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(A^\infty (\Omega )\)</EquationSource> </InlineEquation>, under the additional hypothesis that <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\overline{\Omega }\)</EquationSource> </InlineEquation> satisfies the strong regularity condition. Furthermore, for the wave operator in one spatial variable, a simple sufficient geometric condition on <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(F_1, F_2\subset \mathbb {R}^2\)</EquationSource> </InlineEquation> is given for the above density to hold. For the special case of <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(F_2=\mathbb {R}^2\)</EquationSource> </InlineEquation> this sufficient condition is also necessary under mild additional hypotheses on <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(F_1\)</EquationSource> </InlineEquation>.</p>

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

Runge type approximation results for spaces of smooth Whitney jets

  • Tomasz Ciaś,
  • Thomas Kalmes

摘要

We prove Runge type approximation results for linear partial differential operators with constant coefficients on spaces of smooth Whitney jets. Among others, we characterize when for a constant coefficient linear partial differential operator P(D) and for closed subsets \(F_1\subset F_2\) of \(\mathbb {R}^d\) the restrictions to \(F_1\) of smooth Whitney jets f on \(F_2\) satisfying \(P(D)f=0\) on \(F_2\) are dense in the space of smooth Whitney jets on \(F_1\) satisfying the same partial differential equation on \(F_1\) . For elliptic operators we give a geometric evaluation of this characterization. Additionally, for differential operators with a single characteristic direction, like parabolic operators, we give a sufficient geometric condition for the above density to hold. Under mild additional assumptions on \(\partial F_1\) and for \(F_2=\mathbb {R}^d\) this sufficient conditions is also necessary. As an application of our work, we characterize those open subsets \(\Omega\) of the complex plane satisfying \(\Omega =\operatorname {int}\overline{\Omega }\) for which the set of holomorphic polynomials are dense in \(A^\infty (\Omega )\) , under the additional hypothesis that \(\overline{\Omega }\) satisfies the strong regularity condition. Furthermore, for the wave operator in one spatial variable, a simple sufficient geometric condition on \(F_1, F_2\subset \mathbb {R}^2\) is given for the above density to hold. For the special case of \(F_2=\mathbb {R}^2\) this sufficient condition is also necessary under mild additional hypotheses on \(F_1\) .