1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Gradient on the unit sphere

  1. Aug 2, 2016 #1
    1. The problem statement, all variables and given/known data
    Let be ##f : V \rightarrow \mathbb{R}## a ##C^{1}## function define on a neighbourhood V of the unit sphere ##S = S_{n-1}##(in ##\mathbb{R}^{n}## with its euclidian structure.).
    By compacity it exists u in S with ##f(u) = max_{x \in S}f(x) = m##. My goal is to show that ##u## and ##grad(f(u))## are colinear.

    2. Relevant equations
    ##f(u) = max_{x \in S}f(x)##

    3. The attempt at a solution

    If m is the maximum in a certain neighbourhood then the gradient is nul so the results is obvious. Then I wroght J the set of all i in ##<1, n>## with ##\frac{\partial f}{\partial i}(u) \neq 0##, if i in J that mean this equality is true on e certain neighbourhood ##V_{i}## of u so I considere the fonction ##x \in V_{i} \rightarrow \frac{x_{i}}{\frac{\partial f}{\partial i}(x)}## and try to show
    that they all value a same value on u. But I don't know what to do(perhaps with the implicites function theorem.). and what to do with the nul components. I'm lost.

    Could you helpme please?

    Thank you in advance and have a nice afternoon:oldbiggrin:.
  2. jcsd
  3. Aug 2, 2016 #2

    Ray Vickson

    User Avatar
    Science Advisor
    Homework Helper

    Please stop using a bold font in your message; it looks like you are yelling at us!

    Anyway, the gradient is definitely NOT null in this problem; stationarity at an extremum applies to unconstrained optimization problems, not to problems where your variables are subject to one or more equality constraints, as they are in this case. In your problem you have the constraint ##\sum_{i=1}^n x_i^2 = 1## imposed on the variables in your function ##f(x_1, x_2, \ldots, x_n)##.
  4. Aug 2, 2016 #3
    Hello I try to keep out the bold but I can't so sorry I'm not yelling on you.
  5. Aug 2, 2016 #4
    It is possible that one of the variable of u is nul. I just say that it exists u where the maximum of f on S is reach.
    And the gradient could also have a nul component which not necessarely mean that the gradient is nul.
  6. Aug 2, 2016 #5

    Ray Vickson

    User Avatar
    Science Advisor
    Homework Helper

    Yes you can (keep out the bold, that is); just preview your entry before you post it, to see what it will look like. If it is in bold, just use your mouse to pick out the bold part and then press the "B" button on the gray ribbon menu at the top of the input panel. Alternatively, you can manually delete the "[B|" and "[/B]' delimiters at the start and end of the bold text.

    Anyway, at the optimum it might be the case that ALL components of the gradient are non-zero. Maybe some of them are zero, but maybe not---you cannnot assume anything like that. It depends very much on the form of ##f(x_1, x_2, \ldots, x_n)##
  7. Aug 2, 2016 #6
    Yes I agree. But still don't see the colinearity.

    I try to make a draw and we could show that ##grad(g(u))## is orthogonal to S and I already heard that is link to implicite function.

    Have you got an idea please?
  8. Aug 2, 2016 #7

    Ray Vickson

    User Avatar
    Science Advisor
    Homework Helper

    I don't think I am allowed to say any more; I would be solving the problem if I did.

    All I can suggest is that you look in your textbook, or look on-line for articles and/or tutorials on "constrained optimization problems", or something similar.
  9. Aug 3, 2016 #8
    The things is I don't see what you suggest to me.
    You could say me to look an intermediar function or something else.
  10. Aug 3, 2016 #9
    Without giving me the solution the problem is not a one problem line.
  11. Aug 6, 2016 #10
    Ok it's cool I find on optimization theory some usefull information.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted

Similar Discussions: Gradient on the unit sphere
  1. Units of a gradient (Replies: 2)

  2. Line and unit sphere (Replies: 6)