<p>Given a curve <InlineEquation ID="IEq1"> <EquationSource Format="MATHML"><math> <mi>X</mi> </math></EquationSource> <EquationSource Format="TEX">$X$</EquationSource> </InlineEquation> in the complex plane <InlineEquation ID="IEq2"> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="double-struck">C</mi> <mn>2</mn> </msup> </math></EquationSource> <EquationSource Format="TEX">$\mathbb{C}^{2}$</EquationSource> </InlineEquation> and a smooth point <InlineEquation ID="IEq3"> <EquationSource Format="MATHML"><math> <mi>p</mi> <mo>∈</mo> <mi>X</mi> </math></EquationSource> <EquationSource Format="TEX">$p\in X$</EquationSource> </InlineEquation>, an osculating conic to <InlineEquation ID="IEq4"> <EquationSource Format="MATHML"><math> <mi>X</mi> </math></EquationSource> <EquationSource Format="TEX">$X$</EquationSource> </InlineEquation> at <InlineEquation ID="IEq5"> <EquationSource Format="MATHML"><math> <mi>p</mi> </math></EquationSource> <EquationSource Format="TEX">$p$</EquationSource> </InlineEquation> generalizes the notion of a tangent line, and of an osculating circle. Beyond degree two, one may consider more general osculating spaces of <InlineEquation ID="IEq6"> <EquationSource Format="MATHML"><math> <mi>X</mi> </math></EquationSource> <EquationSource Format="TEX">$X$</EquationSource> </InlineEquation> at <InlineEquation ID="IEq7"> <EquationSource Format="MATHML"><math> <mi>p</mi> </math></EquationSource> <EquationSource Format="TEX">$p$</EquationSource> </InlineEquation>, where the degree and order of tangency are prescribed. This paper lays out a computational framework for computing such spaces. We work in local coordinates <InlineEquation ID="IEq8"> <EquationSource Format="MATHML"><math> <mi>y</mi> <mo>=</mo> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$y=f(x)$</EquationSource> </InlineEquation> for <InlineEquation ID="IEq9"> <EquationSource Format="MATHML"><math> <mi>X</mi> </math></EquationSource> <EquationSource Format="TEX">$X$</EquationSource> </InlineEquation> near <InlineEquation ID="IEq10"> <EquationSource Format="MATHML"><math> <mi>p</mi> </math></EquationSource> <EquationSource Format="TEX">$p$</EquationSource> </InlineEquation> and assume that <InlineEquation ID="IEq11"> <EquationSource Format="MATHML"><math> <mi>p</mi> </math></EquationSource> <EquationSource Format="TEX">$p$</EquationSource> </InlineEquation> is the origin. Then, the computation of an osculating space amounts to solving a linear system of equations in the derivatives of <InlineEquation ID="IEq12"> <EquationSource Format="MATHML"><math> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$f(x)$</EquationSource> </InlineEquation> at <InlineEquation ID="IEq13"> <EquationSource Format="MATHML"><math> <mi>x</mi> <mo>=</mo> <mn>0</mn> </math></EquationSource> <EquationSource Format="TEX">$x=0$</EquationSource> </InlineEquation>. We showcase our work by producing a formula for the osculating conic of a generic analytic curve and exhibit several specific examples with interesting properties.</p>

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

Osculating Spaces of Plane Curves

  • S. Bahrami,
  • M. Moreno Maza

摘要

Given a curve X $X$ in the complex plane C 2 $\mathbb{C}^{2}$ and a smooth point p X $p\in X$ , an osculating conic to X $X$ at p $p$ generalizes the notion of a tangent line, and of an osculating circle. Beyond degree two, one may consider more general osculating spaces of X $X$ at p $p$ , where the degree and order of tangency are prescribed. This paper lays out a computational framework for computing such spaces. We work in local coordinates y = f ( x ) $y=f(x)$ for X $X$ near p $p$ and assume that p $p$ is the origin. Then, the computation of an osculating space amounts to solving a linear system of equations in the derivatives of f ( x ) $f(x)$ at x = 0 $x=0$ . We showcase our work by producing a formula for the osculating conic of a generic analytic curve and exhibit several specific examples with interesting properties.