Is the gradient of the self-intersections of a curve zero? The 2019 Stack Overflow Developer Survey Results Are InMonotonic curvature and self intersections.Parallel translation along a self intersecting curveSelf adjoint total covariant derivativeStokes Theorem for Manifolds with Self-IntersectionsIntersections of two curves in $mathbbR^n$Self intersections of a smooth closed curve being deformedProving that strictly monotonic curvature implies no self intersections (more specifically, using the following inequalities)Does an immersed curve in general position has finite self-intersections?Can we describe Injective and non-Injective functions through intersections?Problem understanding the gradient of a field.

Unbreakable Formation vs. Cry of the Carnarium

Could JWST stay at L2 "forever"?

Does it makes sense to buy a new cycle to learn riding?

Is domain driven design an anti-SQL pattern?

What are the advantages and disadvantages of running one shots compared to campaigns?

Why can Shazam do this?

What is the motivation for a law requiring 2 parties to consent for recording a conversation

Can we apply L'Hospital's rule?

Can I write a for loop that iterates over both collections and arrays?

What is this 4-propeller plane?

Is flight data recorder erased after every flight?

Pristine Bit Checking

Inline version of a function returns different value then non-inline version

Does light intensity oscillate really fast since it is a wave?

Why is the design of haulage companies so “special”?

If you're not a professional, what motivates you to keep writing?

A poker game description that does not feel gimmicky

Inflated grade on resume at previous job, might former employer tell new employer?

Who is that cowgirl appearing during the Columbia Pictures intro?

Spanish for "widget"

Springs with some finite mass

Did USCIS resume its biometric service for UK visa

How was Skylab's orbit inclination chosen?

Does a dangling wire really electrocute me if I'm standing in water?



Is the gradient of the self-intersections of a curve zero?



The 2019 Stack Overflow Developer Survey Results Are InMonotonic curvature and self intersections.Parallel translation along a self intersecting curveSelf adjoint total covariant derivativeStokes Theorem for Manifolds with Self-IntersectionsIntersections of two curves in $mathbbR^n$Self intersections of a smooth closed curve being deformedProving that strictly monotonic curvature implies no self intersections (more specifically, using the following inequalities)Does an immersed curve in general position has finite self-intersections?Can we describe Injective and non-Injective functions through intersections?Problem understanding the gradient of a field.










2












$begingroup$


Suppose a curve with self-intersections can be described by $phi(x,y)=0$. Suppose the intersections are $T_i$, $i=1,2,...$ and the gradient $nabla phi$ at those intersections are well defined. Then is it true that $nablaphi(T_i)=0$ for all $i$? In other words, are the gradients at those intersections all zero?










share|cite|improve this question











$endgroup$
















    2












    $begingroup$


    Suppose a curve with self-intersections can be described by $phi(x,y)=0$. Suppose the intersections are $T_i$, $i=1,2,...$ and the gradient $nabla phi$ at those intersections are well defined. Then is it true that $nablaphi(T_i)=0$ for all $i$? In other words, are the gradients at those intersections all zero?










    share|cite|improve this question











    $endgroup$














      2












      2








      2





      $begingroup$


      Suppose a curve with self-intersections can be described by $phi(x,y)=0$. Suppose the intersections are $T_i$, $i=1,2,...$ and the gradient $nabla phi$ at those intersections are well defined. Then is it true that $nablaphi(T_i)=0$ for all $i$? In other words, are the gradients at those intersections all zero?










      share|cite|improve this question











      $endgroup$




      Suppose a curve with self-intersections can be described by $phi(x,y)=0$. Suppose the intersections are $T_i$, $i=1,2,...$ and the gradient $nabla phi$ at those intersections are well defined. Then is it true that $nablaphi(T_i)=0$ for all $i$? In other words, are the gradients at those intersections all zero?







      real-analysis calculus geometry differential-geometry






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited 1 hour ago









      Ernie060

      2,940719




      2,940719










      asked 2 hours ago









      winstonwinston

      537418




      537418




















          2 Answers
          2






          active

          oldest

          votes


















          3












          $begingroup$

          Assuming $phi(x,y)$ is continuously differentiable in a neighbourhood of $T_i$, yes, because otherwise you could use the Implicit Function Theorem to get a unique curve in a neighourhood of $T_i$ satisfying $phi(x,y) = 0$.






          share|cite|improve this answer









          $endgroup$




















            2












            $begingroup$

            If we agree that $phi$ is continuously differentiable (so $nabla phi(x,y)$ is a continuous function of $x$ and $y$), then yes, this must be true.



            The reason is that, if $nabla phi(x_0, y_0) neq 0$ for some $(x_0, y_0)$, then the implicit function theorem guarantees that (locally) we can write $y$ as a function of $x$ or $x$ as a function of $y$. However, at a self-intersection $T_i$, our curve fails the horizontal and vertical line tests, so we cannot express $x$ as a function of $y$ or $y$ as a function of $x$.






            share|cite|improve this answer









            $endgroup$













              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',
              autoActivateHeartbeat: false,
              convertImagesToLinks: true,
              noModals: true,
              showLowRepImageUploadWarning: true,
              reputationToPostImages: 10,
              bindNavPrevention: true,
              postfix: "",
              imageUploader:
              brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
              contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
              allowUrls: true
              ,
              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%2f3181199%2fis-the-gradient-of-the-self-intersections-of-a-curve-zero%23new-answer', 'question_page');

              );

              Post as a guest















              Required, but never shown

























              2 Answers
              2






              active

              oldest

              votes








              2 Answers
              2






              active

              oldest

              votes









              active

              oldest

              votes






              active

              oldest

              votes









              3












              $begingroup$

              Assuming $phi(x,y)$ is continuously differentiable in a neighbourhood of $T_i$, yes, because otherwise you could use the Implicit Function Theorem to get a unique curve in a neighourhood of $T_i$ satisfying $phi(x,y) = 0$.






              share|cite|improve this answer









              $endgroup$

















                3












                $begingroup$

                Assuming $phi(x,y)$ is continuously differentiable in a neighbourhood of $T_i$, yes, because otherwise you could use the Implicit Function Theorem to get a unique curve in a neighourhood of $T_i$ satisfying $phi(x,y) = 0$.






                share|cite|improve this answer









                $endgroup$















                  3












                  3








                  3





                  $begingroup$

                  Assuming $phi(x,y)$ is continuously differentiable in a neighbourhood of $T_i$, yes, because otherwise you could use the Implicit Function Theorem to get a unique curve in a neighourhood of $T_i$ satisfying $phi(x,y) = 0$.






                  share|cite|improve this answer









                  $endgroup$



                  Assuming $phi(x,y)$ is continuously differentiable in a neighbourhood of $T_i$, yes, because otherwise you could use the Implicit Function Theorem to get a unique curve in a neighourhood of $T_i$ satisfying $phi(x,y) = 0$.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered 1 hour ago









                  Robert IsraelRobert Israel

                  331k23220475




                  331k23220475





















                      2












                      $begingroup$

                      If we agree that $phi$ is continuously differentiable (so $nabla phi(x,y)$ is a continuous function of $x$ and $y$), then yes, this must be true.



                      The reason is that, if $nabla phi(x_0, y_0) neq 0$ for some $(x_0, y_0)$, then the implicit function theorem guarantees that (locally) we can write $y$ as a function of $x$ or $x$ as a function of $y$. However, at a self-intersection $T_i$, our curve fails the horizontal and vertical line tests, so we cannot express $x$ as a function of $y$ or $y$ as a function of $x$.






                      share|cite|improve this answer









                      $endgroup$

















                        2












                        $begingroup$

                        If we agree that $phi$ is continuously differentiable (so $nabla phi(x,y)$ is a continuous function of $x$ and $y$), then yes, this must be true.



                        The reason is that, if $nabla phi(x_0, y_0) neq 0$ for some $(x_0, y_0)$, then the implicit function theorem guarantees that (locally) we can write $y$ as a function of $x$ or $x$ as a function of $y$. However, at a self-intersection $T_i$, our curve fails the horizontal and vertical line tests, so we cannot express $x$ as a function of $y$ or $y$ as a function of $x$.






                        share|cite|improve this answer









                        $endgroup$















                          2












                          2








                          2





                          $begingroup$

                          If we agree that $phi$ is continuously differentiable (so $nabla phi(x,y)$ is a continuous function of $x$ and $y$), then yes, this must be true.



                          The reason is that, if $nabla phi(x_0, y_0) neq 0$ for some $(x_0, y_0)$, then the implicit function theorem guarantees that (locally) we can write $y$ as a function of $x$ or $x$ as a function of $y$. However, at a self-intersection $T_i$, our curve fails the horizontal and vertical line tests, so we cannot express $x$ as a function of $y$ or $y$ as a function of $x$.






                          share|cite|improve this answer









                          $endgroup$



                          If we agree that $phi$ is continuously differentiable (so $nabla phi(x,y)$ is a continuous function of $x$ and $y$), then yes, this must be true.



                          The reason is that, if $nabla phi(x_0, y_0) neq 0$ for some $(x_0, y_0)$, then the implicit function theorem guarantees that (locally) we can write $y$ as a function of $x$ or $x$ as a function of $y$. However, at a self-intersection $T_i$, our curve fails the horizontal and vertical line tests, so we cannot express $x$ as a function of $y$ or $y$ as a function of $x$.







                          share|cite|improve this answer












                          share|cite|improve this answer



                          share|cite|improve this answer










                          answered 1 hour ago









                          StrantsStrants

                          5,84921736




                          5,84921736



























                              draft saved

                              draft discarded
















































                              Thanks for contributing an answer to Mathematics Stack Exchange!


                              • Please be sure to answer the question. Provide details and share your research!

                              But avoid


                              • Asking for help, clarification, or responding to other answers.

                              • Making statements based on opinion; back them up with references or personal experience.

                              Use MathJax to format equations. MathJax reference.


                              To learn more, see our tips on writing great answers.




                              draft saved


                              draft discarded














                              StackExchange.ready(
                              function ()
                              StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3181199%2fis-the-gradient-of-the-self-intersections-of-a-curve-zero%23new-answer', 'question_page');

                              );

                              Post as a guest















                              Required, but never shown





















































                              Required, but never shown














                              Required, but never shown












                              Required, but never shown







                              Required, but never shown

































                              Required, but never shown














                              Required, but never shown












                              Required, but never shown







                              Required, but never shown







                              Popular posts from this blog

                              How should I use the fbox command correctly to avoid producing a Bad Box message?How to put a long piece of text in a box?How to specify height and width of fboxIs there an arrayrulecolor-like command to change the rule color of fbox?What is the command to highlight bad boxes in pdf?Why does fbox sometimes place the box *over* the graphic image?how to put the text in the boxHow to create command for a box where text inside the box can automatically adjust?how can I make an fbox like command with certain color, shape and width of border?how to use fbox in align modeFbox increase the spacing between the box and it content (inner margin)how to change the box height of an equationWhat is the use of the hbox in a newcommand command?

                              Doxepinum Nexus interni Notae | Tabula navigationis3158DB01142WHOa682390"Structural Analysis of the Histamine H1 Receptor""Transdermal and Topical Drug Administration in the Treatment of Pain""Antidepressants as antipruritic agents: A review"

                              inputenc: Unicode character … not set up for use with LaTeX The Next CEO of Stack OverflowEntering Unicode characters in LaTeXHow to solve the `Package inputenc Error: Unicode char not set up for use with LaTeX` problem?solve “Unicode char is not set up for use with LaTeX” without special handling of every new interesting UTF-8 characterPackage inputenc Error: Unicode character ² (U+B2)(inputenc) not set up for use with LaTeX. acroI2C[I²C]package inputenc error unicode char (u + 190) not set up for use with latexPackage inputenc Error: Unicode char u8:′ not set up for use with LaTeX. 3′inputenc Error: Unicode char u8: not set up for use with LaTeX with G-BriefPackage Inputenc Error: Unicode char u8: not set up for use with LaTeXPackage inputenc Error: Unicode char ́ (U+301)(inputenc) not set up for use with LaTeX. includePackage inputenc Error: Unicode char ̂ (U+302)(inputenc) not set up for use with LaTeX. … $widehatleft (OA,AA' right )$Package inputenc Error: Unicode char â„¡ (U+2121)(inputenc) not set up for use with LaTeX. printbibliography[heading=bibintoc]Package inputenc Error: Unicode char − (U+2212)(inputenc) not set up for use with LaTeXPackage inputenc Error: Unicode character α (U+3B1) not set up for use with LaTeXPackage inputenc Error: Unicode characterError: ! Package inputenc Error: Unicode char ⊘ (U+2298)(inputenc) not set up for use with LaTeX