Can a spiral have its centroid at the origin?

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
7
down vote

favorite
1












A spiral is a curve $gamma$ with the polar equation $r=f(theta)$ where $f$ is a continuous positive strictly monotone function on some interval $[a, b]$, $-infty<a<b<infty$. Best known examples are the logarithmic spiral and the Archimedean spiral.



Problem: Find a spiral whose centroid is the origin of the coordinate system.




Progress so far: We want $$int_gamma x,ds = int_gamma y ,ds = 0 tag1$$
Note that $x = f(theta)costheta$, $y = f(theta)sintheta$, and $ds = sqrt(f'(theta))^2 + f(theta)^2,dtheta$. Thus, we need the function
$$g(theta) = f(theta) sqrt(f'(theta))^2 + f(theta)^2 $$
to be orthogonal to both $cos theta$ and $sintheta$ on the interval $[a, b]$, meaning $$int_a^b g(theta)costheta,dtheta = int_a^b g(theta)sintheta,dtheta = 0tag2$$ A natural way to satisfy (2) is to take $[a, b] = [0, 2pi]$ and $g$ to be constant (say $gequiv 1$ as scaling does not matter). However this fails, because solving the equation $gequiv 1$ for $f$ (as an autonomous ODE) yields $f(theta) = sqrtsin 2theta$ (up to a shift), which is not even defined, let alone monotone, on any interval of length $2pi$.



Note: It is not required for $[a, b]$ to have length $2pi$ or a multiple of $2pi$; it can be any nontrivial finite interval.







share|cite|improve this question





















  • I would observe that a trivial spiral with a single point at the origin satisfies the conditions - you might want to exclude this case.
    – Mark Bennet
    Jul 25 at 19:39






  • 1




    @MarkBennet: Why would the centroid of a single point not be at that point? (ETA: I think it's a reasonable program for addressing the question at any rate.)
    – Brian Tung
    Jul 25 at 19:41







  • 3




    For $[a,b] = [0,2pi]$ (and likewise for multiples of $2pi$), no spiral fitting your definition can have its centroid on the $x$-axis: For each $theta$ between $0$ and $pi$, the spiral point corresponding to $theta+pi$ is farther below the $x$-axis than the point corresponding to $theta$ is above the axis. Thus, over such intervals, the spiral is inherently "bottom heavy". Since you allow arbitrary intervals, however, you can take any spiral you like and find the (unique) $theta$ in $(pi,2pi)$ at which vertical balance is achieved. Of course, there's also the $y$-axis to consider.
    – Blue
    Jul 25 at 19:42











  • (continued) Note that your spirals are inherently "left heavy" over the interval $(0,pi)$. Therefore, if the vertical-balancing $theta$ (from my previous comment) is between $pi$ and $3pi/2$, then the lower-left portion only contributes more "left-ness", so that the centroid cannot be on the $y$-axis. Thus, you seek, more-specifically, a spiral that ends somewhere in the Fourth Quadrant.
    – Blue
    Jul 25 at 19:53







  • 1




    @Blue That is the intuition I was trying to capture.
    – Mark Bennet
    Jul 25 at 20:11














up vote
7
down vote

favorite
1












A spiral is a curve $gamma$ with the polar equation $r=f(theta)$ where $f$ is a continuous positive strictly monotone function on some interval $[a, b]$, $-infty<a<b<infty$. Best known examples are the logarithmic spiral and the Archimedean spiral.



Problem: Find a spiral whose centroid is the origin of the coordinate system.




Progress so far: We want $$int_gamma x,ds = int_gamma y ,ds = 0 tag1$$
Note that $x = f(theta)costheta$, $y = f(theta)sintheta$, and $ds = sqrt(f'(theta))^2 + f(theta)^2,dtheta$. Thus, we need the function
$$g(theta) = f(theta) sqrt(f'(theta))^2 + f(theta)^2 $$
to be orthogonal to both $cos theta$ and $sintheta$ on the interval $[a, b]$, meaning $$int_a^b g(theta)costheta,dtheta = int_a^b g(theta)sintheta,dtheta = 0tag2$$ A natural way to satisfy (2) is to take $[a, b] = [0, 2pi]$ and $g$ to be constant (say $gequiv 1$ as scaling does not matter). However this fails, because solving the equation $gequiv 1$ for $f$ (as an autonomous ODE) yields $f(theta) = sqrtsin 2theta$ (up to a shift), which is not even defined, let alone monotone, on any interval of length $2pi$.



Note: It is not required for $[a, b]$ to have length $2pi$ or a multiple of $2pi$; it can be any nontrivial finite interval.







share|cite|improve this question





















  • I would observe that a trivial spiral with a single point at the origin satisfies the conditions - you might want to exclude this case.
    – Mark Bennet
    Jul 25 at 19:39






  • 1




    @MarkBennet: Why would the centroid of a single point not be at that point? (ETA: I think it's a reasonable program for addressing the question at any rate.)
    – Brian Tung
    Jul 25 at 19:41







  • 3




    For $[a,b] = [0,2pi]$ (and likewise for multiples of $2pi$), no spiral fitting your definition can have its centroid on the $x$-axis: For each $theta$ between $0$ and $pi$, the spiral point corresponding to $theta+pi$ is farther below the $x$-axis than the point corresponding to $theta$ is above the axis. Thus, over such intervals, the spiral is inherently "bottom heavy". Since you allow arbitrary intervals, however, you can take any spiral you like and find the (unique) $theta$ in $(pi,2pi)$ at which vertical balance is achieved. Of course, there's also the $y$-axis to consider.
    – Blue
    Jul 25 at 19:42











  • (continued) Note that your spirals are inherently "left heavy" over the interval $(0,pi)$. Therefore, if the vertical-balancing $theta$ (from my previous comment) is between $pi$ and $3pi/2$, then the lower-left portion only contributes more "left-ness", so that the centroid cannot be on the $y$-axis. Thus, you seek, more-specifically, a spiral that ends somewhere in the Fourth Quadrant.
    – Blue
    Jul 25 at 19:53







  • 1




    @Blue That is the intuition I was trying to capture.
    – Mark Bennet
    Jul 25 at 20:11












up vote
7
down vote

favorite
1









up vote
7
down vote

favorite
1






1





A spiral is a curve $gamma$ with the polar equation $r=f(theta)$ where $f$ is a continuous positive strictly monotone function on some interval $[a, b]$, $-infty<a<b<infty$. Best known examples are the logarithmic spiral and the Archimedean spiral.



Problem: Find a spiral whose centroid is the origin of the coordinate system.




Progress so far: We want $$int_gamma x,ds = int_gamma y ,ds = 0 tag1$$
Note that $x = f(theta)costheta$, $y = f(theta)sintheta$, and $ds = sqrt(f'(theta))^2 + f(theta)^2,dtheta$. Thus, we need the function
$$g(theta) = f(theta) sqrt(f'(theta))^2 + f(theta)^2 $$
to be orthogonal to both $cos theta$ and $sintheta$ on the interval $[a, b]$, meaning $$int_a^b g(theta)costheta,dtheta = int_a^b g(theta)sintheta,dtheta = 0tag2$$ A natural way to satisfy (2) is to take $[a, b] = [0, 2pi]$ and $g$ to be constant (say $gequiv 1$ as scaling does not matter). However this fails, because solving the equation $gequiv 1$ for $f$ (as an autonomous ODE) yields $f(theta) = sqrtsin 2theta$ (up to a shift), which is not even defined, let alone monotone, on any interval of length $2pi$.



Note: It is not required for $[a, b]$ to have length $2pi$ or a multiple of $2pi$; it can be any nontrivial finite interval.







share|cite|improve this question













A spiral is a curve $gamma$ with the polar equation $r=f(theta)$ where $f$ is a continuous positive strictly monotone function on some interval $[a, b]$, $-infty<a<b<infty$. Best known examples are the logarithmic spiral and the Archimedean spiral.



Problem: Find a spiral whose centroid is the origin of the coordinate system.




Progress so far: We want $$int_gamma x,ds = int_gamma y ,ds = 0 tag1$$
Note that $x = f(theta)costheta$, $y = f(theta)sintheta$, and $ds = sqrt(f'(theta))^2 + f(theta)^2,dtheta$. Thus, we need the function
$$g(theta) = f(theta) sqrt(f'(theta))^2 + f(theta)^2 $$
to be orthogonal to both $cos theta$ and $sintheta$ on the interval $[a, b]$, meaning $$int_a^b g(theta)costheta,dtheta = int_a^b g(theta)sintheta,dtheta = 0tag2$$ A natural way to satisfy (2) is to take $[a, b] = [0, 2pi]$ and $g$ to be constant (say $gequiv 1$ as scaling does not matter). However this fails, because solving the equation $gequiv 1$ for $f$ (as an autonomous ODE) yields $f(theta) = sqrtsin 2theta$ (up to a shift), which is not even defined, let alone monotone, on any interval of length $2pi$.



Note: It is not required for $[a, b]$ to have length $2pi$ or a multiple of $2pi$; it can be any nontrivial finite interval.









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Jul 25 at 21:21
























asked Jul 25 at 19:23









user357151

13.8k31140




13.8k31140











  • I would observe that a trivial spiral with a single point at the origin satisfies the conditions - you might want to exclude this case.
    – Mark Bennet
    Jul 25 at 19:39






  • 1




    @MarkBennet: Why would the centroid of a single point not be at that point? (ETA: I think it's a reasonable program for addressing the question at any rate.)
    – Brian Tung
    Jul 25 at 19:41







  • 3




    For $[a,b] = [0,2pi]$ (and likewise for multiples of $2pi$), no spiral fitting your definition can have its centroid on the $x$-axis: For each $theta$ between $0$ and $pi$, the spiral point corresponding to $theta+pi$ is farther below the $x$-axis than the point corresponding to $theta$ is above the axis. Thus, over such intervals, the spiral is inherently "bottom heavy". Since you allow arbitrary intervals, however, you can take any spiral you like and find the (unique) $theta$ in $(pi,2pi)$ at which vertical balance is achieved. Of course, there's also the $y$-axis to consider.
    – Blue
    Jul 25 at 19:42











  • (continued) Note that your spirals are inherently "left heavy" over the interval $(0,pi)$. Therefore, if the vertical-balancing $theta$ (from my previous comment) is between $pi$ and $3pi/2$, then the lower-left portion only contributes more "left-ness", so that the centroid cannot be on the $y$-axis. Thus, you seek, more-specifically, a spiral that ends somewhere in the Fourth Quadrant.
    – Blue
    Jul 25 at 19:53







  • 1




    @Blue That is the intuition I was trying to capture.
    – Mark Bennet
    Jul 25 at 20:11
















  • I would observe that a trivial spiral with a single point at the origin satisfies the conditions - you might want to exclude this case.
    – Mark Bennet
    Jul 25 at 19:39






  • 1




    @MarkBennet: Why would the centroid of a single point not be at that point? (ETA: I think it's a reasonable program for addressing the question at any rate.)
    – Brian Tung
    Jul 25 at 19:41







  • 3




    For $[a,b] = [0,2pi]$ (and likewise for multiples of $2pi$), no spiral fitting your definition can have its centroid on the $x$-axis: For each $theta$ between $0$ and $pi$, the spiral point corresponding to $theta+pi$ is farther below the $x$-axis than the point corresponding to $theta$ is above the axis. Thus, over such intervals, the spiral is inherently "bottom heavy". Since you allow arbitrary intervals, however, you can take any spiral you like and find the (unique) $theta$ in $(pi,2pi)$ at which vertical balance is achieved. Of course, there's also the $y$-axis to consider.
    – Blue
    Jul 25 at 19:42











  • (continued) Note that your spirals are inherently "left heavy" over the interval $(0,pi)$. Therefore, if the vertical-balancing $theta$ (from my previous comment) is between $pi$ and $3pi/2$, then the lower-left portion only contributes more "left-ness", so that the centroid cannot be on the $y$-axis. Thus, you seek, more-specifically, a spiral that ends somewhere in the Fourth Quadrant.
    – Blue
    Jul 25 at 19:53







  • 1




    @Blue That is the intuition I was trying to capture.
    – Mark Bennet
    Jul 25 at 20:11















I would observe that a trivial spiral with a single point at the origin satisfies the conditions - you might want to exclude this case.
– Mark Bennet
Jul 25 at 19:39




I would observe that a trivial spiral with a single point at the origin satisfies the conditions - you might want to exclude this case.
– Mark Bennet
Jul 25 at 19:39




1




1




@MarkBennet: Why would the centroid of a single point not be at that point? (ETA: I think it's a reasonable program for addressing the question at any rate.)
– Brian Tung
Jul 25 at 19:41





@MarkBennet: Why would the centroid of a single point not be at that point? (ETA: I think it's a reasonable program for addressing the question at any rate.)
– Brian Tung
Jul 25 at 19:41





3




3




For $[a,b] = [0,2pi]$ (and likewise for multiples of $2pi$), no spiral fitting your definition can have its centroid on the $x$-axis: For each $theta$ between $0$ and $pi$, the spiral point corresponding to $theta+pi$ is farther below the $x$-axis than the point corresponding to $theta$ is above the axis. Thus, over such intervals, the spiral is inherently "bottom heavy". Since you allow arbitrary intervals, however, you can take any spiral you like and find the (unique) $theta$ in $(pi,2pi)$ at which vertical balance is achieved. Of course, there's also the $y$-axis to consider.
– Blue
Jul 25 at 19:42





For $[a,b] = [0,2pi]$ (and likewise for multiples of $2pi$), no spiral fitting your definition can have its centroid on the $x$-axis: For each $theta$ between $0$ and $pi$, the spiral point corresponding to $theta+pi$ is farther below the $x$-axis than the point corresponding to $theta$ is above the axis. Thus, over such intervals, the spiral is inherently "bottom heavy". Since you allow arbitrary intervals, however, you can take any spiral you like and find the (unique) $theta$ in $(pi,2pi)$ at which vertical balance is achieved. Of course, there's also the $y$-axis to consider.
– Blue
Jul 25 at 19:42













(continued) Note that your spirals are inherently "left heavy" over the interval $(0,pi)$. Therefore, if the vertical-balancing $theta$ (from my previous comment) is between $pi$ and $3pi/2$, then the lower-left portion only contributes more "left-ness", so that the centroid cannot be on the $y$-axis. Thus, you seek, more-specifically, a spiral that ends somewhere in the Fourth Quadrant.
– Blue
Jul 25 at 19:53





(continued) Note that your spirals are inherently "left heavy" over the interval $(0,pi)$. Therefore, if the vertical-balancing $theta$ (from my previous comment) is between $pi$ and $3pi/2$, then the lower-left portion only contributes more "left-ness", so that the centroid cannot be on the $y$-axis. Thus, you seek, more-specifically, a spiral that ends somewhere in the Fourth Quadrant.
– Blue
Jul 25 at 19:53





1




1




@Blue That is the intuition I was trying to capture.
– Mark Bennet
Jul 25 at 20:11




@Blue That is the intuition I was trying to capture.
– Mark Bennet
Jul 25 at 20:11










1 Answer
1






active

oldest

votes

















up vote
0
down vote













I can find an approximation which convinces me that one could find (numerically) one that satisfies your conditions. My first cut at a "spiral" is drawn below. It consists of the line segment from the origin to $(2,0)$, an arc of a circle from $(2,0)$ to $(2 cos theta, 2sin theta)$ and a line segment tangent to the circle of length $L$. I find that for $theta = 4.95, Lapprox 0.786$ the $y$ centroid is correct and the $x$ centroid is very slightly right of center. Shortening the initial segment can move the $x$ centroid back without impacting $y$.

I realize my straight line and circle do not meet the monotonic increase of $r$ with $theta$ but they were easy to calculate and we can approach them arbitrarily closely.
enter image description here






share|cite|improve this answer





















    Your Answer




    StackExchange.ifUsing("editor", function ()
    return StackExchange.using("mathjaxEditing", function ()
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    );
    );
    , "mathjax-editing");

    StackExchange.ready(function()
    var channelOptions =
    tags: "".split(" "),
    id: "69"
    ;
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function()
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled)
    StackExchange.using("snippets", function()
    createEditor();
    );

    else
    createEditor();

    );

    function createEditor()
    StackExchange.prepareEditor(
    heartbeatType: 'answer',
    convertImagesToLinks: true,
    noModals: false,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    );



    );








     

    draft saved


    draft discarded


















    StackExchange.ready(
    function ()
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2862736%2fcan-a-spiral-have-its-centroid-at-the-origin%23new-answer', 'question_page');

    );

    Post as a guest






























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    0
    down vote













    I can find an approximation which convinces me that one could find (numerically) one that satisfies your conditions. My first cut at a "spiral" is drawn below. It consists of the line segment from the origin to $(2,0)$, an arc of a circle from $(2,0)$ to $(2 cos theta, 2sin theta)$ and a line segment tangent to the circle of length $L$. I find that for $theta = 4.95, Lapprox 0.786$ the $y$ centroid is correct and the $x$ centroid is very slightly right of center. Shortening the initial segment can move the $x$ centroid back without impacting $y$.

    I realize my straight line and circle do not meet the monotonic increase of $r$ with $theta$ but they were easy to calculate and we can approach them arbitrarily closely.
    enter image description here






    share|cite|improve this answer

























      up vote
      0
      down vote













      I can find an approximation which convinces me that one could find (numerically) one that satisfies your conditions. My first cut at a "spiral" is drawn below. It consists of the line segment from the origin to $(2,0)$, an arc of a circle from $(2,0)$ to $(2 cos theta, 2sin theta)$ and a line segment tangent to the circle of length $L$. I find that for $theta = 4.95, Lapprox 0.786$ the $y$ centroid is correct and the $x$ centroid is very slightly right of center. Shortening the initial segment can move the $x$ centroid back without impacting $y$.

      I realize my straight line and circle do not meet the monotonic increase of $r$ with $theta$ but they were easy to calculate and we can approach them arbitrarily closely.
      enter image description here






      share|cite|improve this answer























        up vote
        0
        down vote










        up vote
        0
        down vote









        I can find an approximation which convinces me that one could find (numerically) one that satisfies your conditions. My first cut at a "spiral" is drawn below. It consists of the line segment from the origin to $(2,0)$, an arc of a circle from $(2,0)$ to $(2 cos theta, 2sin theta)$ and a line segment tangent to the circle of length $L$. I find that for $theta = 4.95, Lapprox 0.786$ the $y$ centroid is correct and the $x$ centroid is very slightly right of center. Shortening the initial segment can move the $x$ centroid back without impacting $y$.

        I realize my straight line and circle do not meet the monotonic increase of $r$ with $theta$ but they were easy to calculate and we can approach them arbitrarily closely.
        enter image description here






        share|cite|improve this answer













        I can find an approximation which convinces me that one could find (numerically) one that satisfies your conditions. My first cut at a "spiral" is drawn below. It consists of the line segment from the origin to $(2,0)$, an arc of a circle from $(2,0)$ to $(2 cos theta, 2sin theta)$ and a line segment tangent to the circle of length $L$. I find that for $theta = 4.95, Lapprox 0.786$ the $y$ centroid is correct and the $x$ centroid is very slightly right of center. Shortening the initial segment can move the $x$ centroid back without impacting $y$.

        I realize my straight line and circle do not meet the monotonic increase of $r$ with $theta$ but they were easy to calculate and we can approach them arbitrarily closely.
        enter image description here







        share|cite|improve this answer













        share|cite|improve this answer



        share|cite|improve this answer











        answered Jul 26 at 4:29









        Ross Millikan

        275k21186351




        275k21186351






















             

            draft saved


            draft discarded


























             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2862736%2fcan-a-spiral-have-its-centroid-at-the-origin%23new-answer', 'question_page');

            );

            Post as a guest













































































            Comments

            Popular posts from this blog

            What is the equation of a 3D cone with generalised tilt?

            Color the edges and diagonals of a regular polygon

            Relationship between determinant of matrix and determinant of adjoint?