If $f$ and $vec G$ are point functions finding the components of $vec G$ normal and tangential to $f=0$ Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern)Trouble expanding a del operator expressionCurl and Product RuleFinding the Gradient of a Vector Function by its Components$nabla cdot (nabla times vec A) = 0 $ ProofFind $omega$ such that the sum of the tangential and normal components of acceleration equal half its speed.What is the characteristics of the vector $vec a ,vec b , vec c$ and $vec d$?Is it generally true that $nablatimesvecn=0$ for any surface or is this only true for a simply connected domain?Verifying Gauss's divergence theorem on a upside down truncated coneConverting Cartesian Components of a Vector on a Sphere to Tangential-Normal Components

In musical terms, what properties are varied by the human voice to produce different words / syllables?

Is the IBM 5153 color display compatible with the Tandy 1000 16 color modes?

How do I find out the mythology and history of my Fortress?

How do living politicians protect their readily obtainable signatures from misuse?

Deconstruction is ambiguous

Do wooden building fires get hotter than 600°C?

How did Fremen produce and carry enough thumpers to use Sandworms as de facto Ubers?

How can I set the aperture on my DSLR when it's attached to a telescope instead of a lens?

Time evolution of a Gaussian wave packet, why convert to k-space?

What do you call the main part of a joke?

How often does castling occur in grandmaster games?

Tannaka duality for semisimple groups

How were pictures turned from film to a big picture in a picture frame before digital scanning?

How does Belgium enforce obligatory attendance in elections?

Crossing US/Canada Border for less than 24 hours

What does 丫 mean? 丫是什么意思?

What is best way to wire a ceiling receptacle in this situation?

Why do early math courses focus on the cross sections of a cone and not on other 3D objects?

How to compare two different files line by line in unix?

If Windows 7 doesn't support WSL, then what is "Subsystem for UNIX-based Applications"?

Amount of permutations on an NxNxN Rubik's Cube

How to save space when writing equations with cases?

What's the difference between the capability remove_users and delete_users?

The test team as an enemy of development? And how can this be avoided?



If $f$ and $vec G$ are point functions finding the components of $vec G$ normal and tangential to $f=0$



Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern)Trouble expanding a del operator expressionCurl and Product RuleFinding the Gradient of a Vector Function by its Components$nabla cdot (nabla times vec A) = 0 $ ProofFind $omega$ such that the sum of the tangential and normal components of acceleration equal half its speed.What is the characteristics of the vector $vec a ,vec b , vec c$ and $vec d$?Is it generally true that $nablatimesvecn=0$ for any surface or is this only true for a simply connected domain?Verifying Gauss's divergence theorem on a upside down truncated coneConverting Cartesian Components of a Vector on a Sphere to Tangential-Normal Components










2












$begingroup$



If $f;and;vec G$ are point functions prove that the components of
$vec G$ normal and tangential to the surface $f=0$ are $frac(vec
G.nabla f)nabla f(nabla f)^2$
and $fracnabla f times(vec G timesnabla f)(nabla f)^2$




Now $nabla f$ is normal to $f$ and $(vec G .nabla f)nabla f$ projection $G$ on $nabla f$ therefore unit normal would be given by $frac(vec
G.nabla f)nabla fnabla f$
but the question is saying that the denominator would have a square term , I got a similar result for the tangential component also



Please help : And also can someone explian the geometric significance of this problem , as to what is happening between the surfaces.










share|cite|improve this question











$endgroup$
















    2












    $begingroup$



    If $f;and;vec G$ are point functions prove that the components of
    $vec G$ normal and tangential to the surface $f=0$ are $frac(vec
    G.nabla f)nabla f(nabla f)^2$
    and $fracnabla f times(vec G timesnabla f)(nabla f)^2$




    Now $nabla f$ is normal to $f$ and $(vec G .nabla f)nabla f$ projection $G$ on $nabla f$ therefore unit normal would be given by $frac(vec
    G.nabla f)nabla fnabla f$
    but the question is saying that the denominator would have a square term , I got a similar result for the tangential component also



    Please help : And also can someone explian the geometric significance of this problem , as to what is happening between the surfaces.










    share|cite|improve this question











    $endgroup$














      2












      2








      2


      1



      $begingroup$



      If $f;and;vec G$ are point functions prove that the components of
      $vec G$ normal and tangential to the surface $f=0$ are $frac(vec
      G.nabla f)nabla f(nabla f)^2$
      and $fracnabla f times(vec G timesnabla f)(nabla f)^2$




      Now $nabla f$ is normal to $f$ and $(vec G .nabla f)nabla f$ projection $G$ on $nabla f$ therefore unit normal would be given by $frac(vec
      G.nabla f)nabla fnabla f$
      but the question is saying that the denominator would have a square term , I got a similar result for the tangential component also



      Please help : And also can someone explian the geometric significance of this problem , as to what is happening between the surfaces.










      share|cite|improve this question











      $endgroup$





      If $f;and;vec G$ are point functions prove that the components of
      $vec G$ normal and tangential to the surface $f=0$ are $frac(vec
      G.nabla f)nabla f(nabla f)^2$
      and $fracnabla f times(vec G timesnabla f)(nabla f)^2$




      Now $nabla f$ is normal to $f$ and $(vec G .nabla f)nabla f$ projection $G$ on $nabla f$ therefore unit normal would be given by $frac(vec
      G.nabla f)nabla fnabla f$
      but the question is saying that the denominator would have a square term , I got a similar result for the tangential component also



      Please help : And also can someone explian the geometric significance of this problem , as to what is happening between the surfaces.







      vector-analysis vector-fields






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Apr 2 at 5:48









      Robert Lewis

      49.1k23168




      49.1k23168










      asked Apr 2 at 2:34









      Vinay VarahabhotlaVinay Varahabhotla

      708




      708




















          1 Answer
          1






          active

          oldest

          votes


















          2












          $begingroup$

          The vector $nabla f$ is normal to the surface



          $f = 0, tag 1$



          but is not in general orthonormal to it, being as we typically will not have



          $vert nabla f vert = 1 ; texton ; f = 0; tag 2$



          nevertheless, wherever



          $nabla f ne 0, tag 3$



          we may define the unit vector field



          $dfracnabla fvert nabla f vert tag 4$



          which is orthonormal to $f = 0$, since



          $left vert dfracnabla fvert nabla f vert right vert = dfracvert nabla f vertvert nabla f vert = 1; tag 5$



          it follows that $vec G^bot$, the component of $vec G$ normal to $f = 0$, is given by



          $vec G^bot = left ( vec G cdot dfracnabla fvert nabla f vert right ) dfracnabla fvert nabla f vert = dfrac left ( vec G cdot nabla f right ) nabla fvert nabla f vert^2 . tag 6$



          From this equation we see that the component of $vec G$ parallel to $f = 0$ is



          $vec G^parallel = vec G - vec G^bot = vec G -dfrac left ( vec G cdot nabla f right ) nabla fvert nabla f vert^2 =
          left ( dfracnabla fvert nabla f vert cdot dfracnabla fvert nabla f vert right ) vec G - left ( vec G cdot dfracnabla fvert nabla f vert right ) dfracnabla fvert nabla f vert . tag 7$



          We now apply the well-known vector identity



          $vec A times (vec B times vec C) = (vec A cdot vec C) vec B - (vec A cdot vec B)vec C tag 8$



          to the right-hand side of (7), yielding



          $vec G^parallel = left ( dfracnabla fvert nabla f vert right ) times left (vec G times dfracnabla fvert nabla f vert right ) = dfracnabla f times (vec G times nabla f)vert nabla f vert ^2, tag 9$



          as desired.






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Thank you very much ! One clarification regarding the terms used in the solution : Normal to $f=0$ , is the vector field $nabla f$, which is perpendicular to the hyper-plane at every point . And ortho-normal is unit vector field $fracnabla fnabla f$ to the hyper-plane ?
            $endgroup$
            – Vinay Varahabhotla
            Apr 2 at 7:40










          • $begingroup$
            @VinayVarahabhotla: yes, the hyperplane being the tangent hyperplane to $f = 0$.
            $endgroup$
            – Robert Lewis
            Apr 2 at 15:32











          Your Answer








          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%2f3171387%2fif-f-and-vec-g-are-point-functions-finding-the-components-of-vec-g-norma%23new-answer', 'question_page');

          );

          Post as a guest















          Required, but never shown

























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          2












          $begingroup$

          The vector $nabla f$ is normal to the surface



          $f = 0, tag 1$



          but is not in general orthonormal to it, being as we typically will not have



          $vert nabla f vert = 1 ; texton ; f = 0; tag 2$



          nevertheless, wherever



          $nabla f ne 0, tag 3$



          we may define the unit vector field



          $dfracnabla fvert nabla f vert tag 4$



          which is orthonormal to $f = 0$, since



          $left vert dfracnabla fvert nabla f vert right vert = dfracvert nabla f vertvert nabla f vert = 1; tag 5$



          it follows that $vec G^bot$, the component of $vec G$ normal to $f = 0$, is given by



          $vec G^bot = left ( vec G cdot dfracnabla fvert nabla f vert right ) dfracnabla fvert nabla f vert = dfrac left ( vec G cdot nabla f right ) nabla fvert nabla f vert^2 . tag 6$



          From this equation we see that the component of $vec G$ parallel to $f = 0$ is



          $vec G^parallel = vec G - vec G^bot = vec G -dfrac left ( vec G cdot nabla f right ) nabla fvert nabla f vert^2 =
          left ( dfracnabla fvert nabla f vert cdot dfracnabla fvert nabla f vert right ) vec G - left ( vec G cdot dfracnabla fvert nabla f vert right ) dfracnabla fvert nabla f vert . tag 7$



          We now apply the well-known vector identity



          $vec A times (vec B times vec C) = (vec A cdot vec C) vec B - (vec A cdot vec B)vec C tag 8$



          to the right-hand side of (7), yielding



          $vec G^parallel = left ( dfracnabla fvert nabla f vert right ) times left (vec G times dfracnabla fvert nabla f vert right ) = dfracnabla f times (vec G times nabla f)vert nabla f vert ^2, tag 9$



          as desired.






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Thank you very much ! One clarification regarding the terms used in the solution : Normal to $f=0$ , is the vector field $nabla f$, which is perpendicular to the hyper-plane at every point . And ortho-normal is unit vector field $fracnabla fnabla f$ to the hyper-plane ?
            $endgroup$
            – Vinay Varahabhotla
            Apr 2 at 7:40










          • $begingroup$
            @VinayVarahabhotla: yes, the hyperplane being the tangent hyperplane to $f = 0$.
            $endgroup$
            – Robert Lewis
            Apr 2 at 15:32















          2












          $begingroup$

          The vector $nabla f$ is normal to the surface



          $f = 0, tag 1$



          but is not in general orthonormal to it, being as we typically will not have



          $vert nabla f vert = 1 ; texton ; f = 0; tag 2$



          nevertheless, wherever



          $nabla f ne 0, tag 3$



          we may define the unit vector field



          $dfracnabla fvert nabla f vert tag 4$



          which is orthonormal to $f = 0$, since



          $left vert dfracnabla fvert nabla f vert right vert = dfracvert nabla f vertvert nabla f vert = 1; tag 5$



          it follows that $vec G^bot$, the component of $vec G$ normal to $f = 0$, is given by



          $vec G^bot = left ( vec G cdot dfracnabla fvert nabla f vert right ) dfracnabla fvert nabla f vert = dfrac left ( vec G cdot nabla f right ) nabla fvert nabla f vert^2 . tag 6$



          From this equation we see that the component of $vec G$ parallel to $f = 0$ is



          $vec G^parallel = vec G - vec G^bot = vec G -dfrac left ( vec G cdot nabla f right ) nabla fvert nabla f vert^2 =
          left ( dfracnabla fvert nabla f vert cdot dfracnabla fvert nabla f vert right ) vec G - left ( vec G cdot dfracnabla fvert nabla f vert right ) dfracnabla fvert nabla f vert . tag 7$



          We now apply the well-known vector identity



          $vec A times (vec B times vec C) = (vec A cdot vec C) vec B - (vec A cdot vec B)vec C tag 8$



          to the right-hand side of (7), yielding



          $vec G^parallel = left ( dfracnabla fvert nabla f vert right ) times left (vec G times dfracnabla fvert nabla f vert right ) = dfracnabla f times (vec G times nabla f)vert nabla f vert ^2, tag 9$



          as desired.






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Thank you very much ! One clarification regarding the terms used in the solution : Normal to $f=0$ , is the vector field $nabla f$, which is perpendicular to the hyper-plane at every point . And ortho-normal is unit vector field $fracnabla fnabla f$ to the hyper-plane ?
            $endgroup$
            – Vinay Varahabhotla
            Apr 2 at 7:40










          • $begingroup$
            @VinayVarahabhotla: yes, the hyperplane being the tangent hyperplane to $f = 0$.
            $endgroup$
            – Robert Lewis
            Apr 2 at 15:32













          2












          2








          2





          $begingroup$

          The vector $nabla f$ is normal to the surface



          $f = 0, tag 1$



          but is not in general orthonormal to it, being as we typically will not have



          $vert nabla f vert = 1 ; texton ; f = 0; tag 2$



          nevertheless, wherever



          $nabla f ne 0, tag 3$



          we may define the unit vector field



          $dfracnabla fvert nabla f vert tag 4$



          which is orthonormal to $f = 0$, since



          $left vert dfracnabla fvert nabla f vert right vert = dfracvert nabla f vertvert nabla f vert = 1; tag 5$



          it follows that $vec G^bot$, the component of $vec G$ normal to $f = 0$, is given by



          $vec G^bot = left ( vec G cdot dfracnabla fvert nabla f vert right ) dfracnabla fvert nabla f vert = dfrac left ( vec G cdot nabla f right ) nabla fvert nabla f vert^2 . tag 6$



          From this equation we see that the component of $vec G$ parallel to $f = 0$ is



          $vec G^parallel = vec G - vec G^bot = vec G -dfrac left ( vec G cdot nabla f right ) nabla fvert nabla f vert^2 =
          left ( dfracnabla fvert nabla f vert cdot dfracnabla fvert nabla f vert right ) vec G - left ( vec G cdot dfracnabla fvert nabla f vert right ) dfracnabla fvert nabla f vert . tag 7$



          We now apply the well-known vector identity



          $vec A times (vec B times vec C) = (vec A cdot vec C) vec B - (vec A cdot vec B)vec C tag 8$



          to the right-hand side of (7), yielding



          $vec G^parallel = left ( dfracnabla fvert nabla f vert right ) times left (vec G times dfracnabla fvert nabla f vert right ) = dfracnabla f times (vec G times nabla f)vert nabla f vert ^2, tag 9$



          as desired.






          share|cite|improve this answer









          $endgroup$



          The vector $nabla f$ is normal to the surface



          $f = 0, tag 1$



          but is not in general orthonormal to it, being as we typically will not have



          $vert nabla f vert = 1 ; texton ; f = 0; tag 2$



          nevertheless, wherever



          $nabla f ne 0, tag 3$



          we may define the unit vector field



          $dfracnabla fvert nabla f vert tag 4$



          which is orthonormal to $f = 0$, since



          $left vert dfracnabla fvert nabla f vert right vert = dfracvert nabla f vertvert nabla f vert = 1; tag 5$



          it follows that $vec G^bot$, the component of $vec G$ normal to $f = 0$, is given by



          $vec G^bot = left ( vec G cdot dfracnabla fvert nabla f vert right ) dfracnabla fvert nabla f vert = dfrac left ( vec G cdot nabla f right ) nabla fvert nabla f vert^2 . tag 6$



          From this equation we see that the component of $vec G$ parallel to $f = 0$ is



          $vec G^parallel = vec G - vec G^bot = vec G -dfrac left ( vec G cdot nabla f right ) nabla fvert nabla f vert^2 =
          left ( dfracnabla fvert nabla f vert cdot dfracnabla fvert nabla f vert right ) vec G - left ( vec G cdot dfracnabla fvert nabla f vert right ) dfracnabla fvert nabla f vert . tag 7$



          We now apply the well-known vector identity



          $vec A times (vec B times vec C) = (vec A cdot vec C) vec B - (vec A cdot vec B)vec C tag 8$



          to the right-hand side of (7), yielding



          $vec G^parallel = left ( dfracnabla fvert nabla f vert right ) times left (vec G times dfracnabla fvert nabla f vert right ) = dfracnabla f times (vec G times nabla f)vert nabla f vert ^2, tag 9$



          as desired.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Apr 2 at 5:23









          Robert LewisRobert Lewis

          49.1k23168




          49.1k23168











          • $begingroup$
            Thank you very much ! One clarification regarding the terms used in the solution : Normal to $f=0$ , is the vector field $nabla f$, which is perpendicular to the hyper-plane at every point . And ortho-normal is unit vector field $fracnabla fnabla f$ to the hyper-plane ?
            $endgroup$
            – Vinay Varahabhotla
            Apr 2 at 7:40










          • $begingroup$
            @VinayVarahabhotla: yes, the hyperplane being the tangent hyperplane to $f = 0$.
            $endgroup$
            – Robert Lewis
            Apr 2 at 15:32
















          • $begingroup$
            Thank you very much ! One clarification regarding the terms used in the solution : Normal to $f=0$ , is the vector field $nabla f$, which is perpendicular to the hyper-plane at every point . And ortho-normal is unit vector field $fracnabla fnabla f$ to the hyper-plane ?
            $endgroup$
            – Vinay Varahabhotla
            Apr 2 at 7:40










          • $begingroup$
            @VinayVarahabhotla: yes, the hyperplane being the tangent hyperplane to $f = 0$.
            $endgroup$
            – Robert Lewis
            Apr 2 at 15:32















          $begingroup$
          Thank you very much ! One clarification regarding the terms used in the solution : Normal to $f=0$ , is the vector field $nabla f$, which is perpendicular to the hyper-plane at every point . And ortho-normal is unit vector field $fracnabla fnabla f$ to the hyper-plane ?
          $endgroup$
          – Vinay Varahabhotla
          Apr 2 at 7:40




          $begingroup$
          Thank you very much ! One clarification regarding the terms used in the solution : Normal to $f=0$ , is the vector field $nabla f$, which is perpendicular to the hyper-plane at every point . And ortho-normal is unit vector field $fracnabla fnabla f$ to the hyper-plane ?
          $endgroup$
          – Vinay Varahabhotla
          Apr 2 at 7:40












          $begingroup$
          @VinayVarahabhotla: yes, the hyperplane being the tangent hyperplane to $f = 0$.
          $endgroup$
          – Robert Lewis
          Apr 2 at 15:32




          $begingroup$
          @VinayVarahabhotla: yes, the hyperplane being the tangent hyperplane to $f = 0$.
          $endgroup$
          – Robert Lewis
          Apr 2 at 15:32

















          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%2f3171387%2fif-f-and-vec-g-are-point-functions-finding-the-components-of-vec-g-norma%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

          Triangular numbers and gcdProving sum of a set is $0 pmod n$ if $n$ is odd, or $fracn2 pmod n$ if $n$ is even?Is greatest common divisor of two numbers really their smallest linear combination?GCD, LCM RelationshipProve a set of nonnegative integers with greatest common divisor 1 and closed under addition has all but finite many nonnegative integers.all pairs of a and b in an equation containing gcdTriangular Numbers Modulo $k$ - Hit All Values?Understanding the Existence and Uniqueness of the GCDGCD and LCM with logical symbolsThe greatest common divisor of two positive integers less than 100 is equal to 3. Their least common multiple is twelve times one of the integers.Suppose that for all integers $x$, $x|a$ and $x|b$ if and only if $x|c$. Then $c = gcd(a,b)$Which is the gcd of 2 numbers which are multiplied and the result is 600000?

          Ingelân Ynhâld Etymology | Geografy | Skiednis | Polityk en bestjoer | Ekonomy | Demografy | Kultuer | Klimaat | Sjoch ek | Keppelings om utens | Boarnen, noaten en referinsjes Navigaasjemenuwww.gov.ukOffisjele webside fan it regear fan it Feriene KeninkrykOffisjele webside fan it Britske FerkearsburoNederlânsktalige ynformaasje fan it Britske FerkearsburoOffisjele webside fan English Heritage, de organisaasje dy't him ynset foar it behâld fan it Ingelske kultuergoedYnwennertallen fan alle Britske stêden út 'e folkstelling fan 2011Notes en References, op dizze sideEngland

          Հադիս Բովանդակություն Անվանում և նշանակություն | Դասակարգում | Աղբյուրներ | Նավարկման ցանկ