5 ms·

> Such an integral is well known to be reducible to the elliptic integrals, which have no closed form. I believe you're stating the reduction in the wrong dire

> Such an integral is well known to be reducible to the elliptic integrals, which have no closed form. I believe you're stating the reduction in the wrong direction?

sfpotter 2y ago
Second paragraph of the Wikipedia article on elliptic integrals: https://en.wikipedia.org/wiki/Elliptic_integral https://en.wikipedia.org/wiki/Elliptic_integral
- kevinventullo 2y ago
  The point is that the general non-reducibility of elliptic integrals to closed form does not preclude the possibility of reducing to closed form some particular elliptic integral or combination thereof.
  - sfpotter 2y ago
    The specific form in question is basically sqrt(any quartic). Seems like almost all of these will be able to be expressed in terms of elliptic integrals and that's it. Outer post summarizes this just fine.
    - deleted 2y ago
      [deleted]
    - bubblyworld 2y ago
      They're just pointing out that strictly speaking this is not a valid proof that these integrals have no closed form. Compare: halting problem being uncomputable tells you nothing about whether you can solve it for a subset of valid programs.
      - deleted 2y ago
        [deleted]
      - sfpotter 2y ago
        We're talking about Bezier curves in the context of CAD and graphics. In this case, I believe there is no reason to assume that these curves will have a more special form than sqrt(arbitrary quartic). Do you think that they do have a more special form, and that this form will simplify nicely? Or are you suggesting that sqrt(abrbitrary quartic) might simplify more?
        Dylan16807 2y ago
        The issue is that "sqrt(arbitrary quartic)" is already more specialized than "elliptic integral". So we can't just talk about elliptic integrals in general, we need proof that this specialization doesn't give rise to closed forms.
        bubblyworld 2y ago
        If I may, your confusion seems to come from the meaning of "elliptic curves in general have no closed form". You seem to interpret that as "given any elliptic integral A, there is no closed form for the solution of A". This is false (there are many counterexamples). What it actually means is "there is no single closed-form that produces the solution of any given elliptic integral". The quantifiers are the other way around. This is why I brought up the halting problem. There's a similar confusion that often comes up, where people think that it means there's no way to determine if any given program halts. But this is false - the program "let X=5*6" trivially halts, for instance. What it actually means is that there's no single program that can uniformly determine whether any given input program halts. It's exactly the same situation.
        sfpotter 2y ago
        No, I'm not getting this confused at all. I understand the point. What I'm saying is that because the general elliptic integral corresponding to sqrt(quartic) doesn't have a closed form, and because this (or maybe a slightly more specific form) is what's of interest in this context (CAD), saying something about the closed form of specific sqrt(quartic) elliptic integrals isn't very interesting as far as I can see.
  - eigenket 2y ago
    This is obvious because a straight line is a (degenerate) example of a quadratic or cubic Bezier curve.
- dataflow 2y ago
  "every elliptic integral can be brought into a form that [...]" Yes? That is a reduction in the other direction. It starts off with an elliptical integral, then reduces it to something else. Not the other way around.

> Such an integral is well known to be reducible to the elliptic integrals, which have no closed form. I believe you're stating the reduction in the wrong direction?

sfpotter 2y ago

Second paragraph of the Wikipedia article on elliptic integrals: https://en.wikipedia.org/wiki/Elliptic_integral https://en.wikipedia.org/wiki/Elliptic_integral

kevinventullo 2y ago
The point is that the general non-reducibility of elliptic integrals to closed form does not preclude the possibility of reducing to closed form some particular elliptic integral or combination thereof.
- sfpotter 2y ago
  The specific form in question is basically sqrt(any quartic). Seems like almost all of these will be able to be expressed in terms of elliptic integrals and that's it. Outer post summarizes this just fine.
  - deleted 2y ago
    [deleted]
  - bubblyworld 2y ago
    They're just pointing out that strictly speaking this is not a valid proof that these integrals have no closed form. Compare: halting problem being uncomputable tells you nothing about whether you can solve it for a subset of valid programs.
    - deleted 2y ago
      [deleted]
    - sfpotter 2y ago
      We're talking about Bezier curves in the context of CAD and graphics. In this case, I believe there is no reason to assume that these curves will have a more special form than sqrt(arbitrary quartic). Do you think that they do have a more special form, and that this form will simplify nicely? Or are you suggesting that sqrt(abrbitrary quartic) might simplify more?
      - Dylan16807 2y ago
        The issue is that "sqrt(arbitrary quartic)" is already more specialized than "elliptic integral". So we can't just talk about elliptic integrals in general, we need proof that this specialization doesn't give rise to closed forms.
      - bubblyworld 2y ago
        If I may, your confusion seems to come from the meaning of "elliptic curves in general have no closed form". You seem to interpret that as "given any elliptic integral A, there is no closed form for the solution of A". This is false (there are many counterexamples). What it actually means is "there is no single closed-form that produces the solution of any given elliptic integral". The quantifiers are the other way around. This is why I brought up the halting problem. There's a similar confusion that often comes up, where people think that it means there's no way to determine if any given program halts. But this is false - the program "let X=5*6" trivially halts, for instance. What it actually means is that there's no single program that can uniformly determine whether any given input program halts. It's exactly the same situation.
        sfpotter 2y ago
        No, I'm not getting this confused at all. I understand the point. What I'm saying is that because the general elliptic integral corresponding to sqrt(quartic) doesn't have a closed form, and because this (or maybe a slightly more specific form) is what's of interest in this context (CAD), saying something about the closed form of specific sqrt(quartic) elliptic integrals isn't very interesting as far as I can see.
- eigenket 2y ago
  This is obvious because a straight line is a (degenerate) example of a quadratic or cubic Bezier curve.
dataflow 2y ago
"every elliptic integral can be brought into a form that [...]" Yes? That is a reduction in the other direction. It starts off with an elliptical integral, then reduces it to something else. Not the other way around.