1
$\begingroup$

Let $\alpha: [0, L] \to \mathbb{R}^2$ be smooth and such that $\langle\alpha(L) - \alpha(0), (0,1) \rangle = 0$, $\alpha(0) \neq \alpha(L)$ and $\alpha'(0) = k\alpha'(L)$ for some $k$. We know that $x(\alpha(t))$, where $x(u,v) = (\cos(u), \sin(u), v) \ \forall (u,v) \in \mathbb{R}^2$ is closed, but $\alpha$ is not. It seems pretty intuitive to claim that $\alpha$ can always be made closed.

An example of what I mean (see sketch below) is the curve $t \mapsto (t, \sin(t))$, $t \in [0, 2\pi]$. It's very intuitive that there are infinitely many ways to "close" $\alpha$ by some other curve $\beta$ such that the curve $\omega = \alpha \cup \beta $ is also smooth and in a way that we don't lose anything, i.e, $\omega$ has all the properties $\alpha$ has. But how can we formalize this notion of the "closure" of a curve for an arbitrary smooth curve? I can't imagine any $\alpha$ that satifies the above and can't be "closed", but I'm not sure yet how to make these thoughts rigorous (the most ideal would be a constructive proof of the existence of $\beta$ for any smooth $\alpha$).

$\endgroup$
4
  • $\begingroup$ Are you asking how to prove existence of $\beta$? Or what are you asking? $\endgroup$
    – Lee Mosher
    Commented Sep 3, 2018 at 22:16
  • $\begingroup$ I thought that was implied, but clearly it's not. I'll correct my post. $\endgroup$ Commented Sep 3, 2018 at 22:23
  • $\begingroup$ It appears from your drawing that $\alpha'(0) = -\alpha'(L)$: The tangents are oppositely oriented. Also, do you require that $\alpha + \beta$ be simple, i.e., non-self-intersecting? $\endgroup$ Commented Sep 3, 2018 at 22:35
  • $\begingroup$ I hadn't realized that, thanks. I don't want $\alpha \cup \beta$ to be necessarily simple, just smoothness will work well enough. $\endgroup$ Commented Sep 3, 2018 at 22:38

1 Answer 1

6
$\begingroup$

You could connect the two endpoints with a cubic Bézier curve, which achieves 1st- and 2nd-derivative continuity at the endpoints ($P_0$ and $P_3$ in the illustration below).


      Bezier
      (Image from CartouCHe.)


$\endgroup$
3
  • 2
    $\begingroup$ This depends on your notion of "smooth", of course. This method will give you a curve that's $C^2$ but not in general $C^3$. I'm sure the answer is yes even for $C^\infty$ (which to me is the usual meaning of "smooth"), but it's a bit more involved -- I can go into detail if you like. $\endgroup$ Commented Sep 4, 2018 at 1:03
  • $\begingroup$ @KevinCasto: Yes, you are correct. It may be that the OP was using the word "smooth" in a non-technical sense. Second-derivative continuity is called "geometric continuity" $G^2$ in computer graphics, where that degree of smoothness usually visually suffices. $\endgroup$ Commented Sep 4, 2018 at 1:12
  • $\begingroup$ @KevinCasto the answer definitely is yes for $C^\infty$ continuations, the relevant restriction mapping between (Fréchet) function spaces is a split surjection. $\endgroup$
    – David Roberts
    Commented Sep 4, 2018 at 3:54

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .