0
$\begingroup$

Suppose $U:\mathbb{R}^n-\{0\}\rightarrow\mathbb{R}$ is a smooth function which satisfies for all nonzero $\lambda\in\mathbb{R}$

$U(\lambda x)=\frac{1}{\lambda}U(x)$.

Compute an expression for $\nabla U|_{\lambda x}$.

My attempt: I understand that the gradient of $U(x)$ will be some vector $(\frac{\partial U}{\partial x_1},\dots,\frac{\partial U}{\partial x_n})$, but I'm not sure how the given expression helps to find this. I think I'm mostly hung up on the fact that the function maps to $\mathbb{R}$ and not $\mathbb{R}^n$.

Any help appreciated!

$\endgroup$
3
  • $\begingroup$ Not everybody studies in the same school....what do you mean by $\;\nabla U|_{\lambda x}\;$ ? The directional derivative in the direction of $\;\lambda x\;$ or what? $\endgroup$
    – DonAntonio
    Commented Mar 18, 2017 at 18:47
  • $\begingroup$ @DonAntonio Unless this doesn't make sense, I think it is referring to the gradient evaluated at $\lambda x$ $\endgroup$
    – Jess
    Commented Mar 18, 2017 at 18:49
  • $\begingroup$ Most probably, though since you say$\;U\;$ is smooth and all then it is differentiable and the directional derivative at a point can be evaluated by means of the gradient. I thought your question could be aiming at that... $\endgroup$
    – DonAntonio
    Commented Mar 18, 2017 at 20:48

1 Answer 1

2
$\begingroup$

Let $\lambda\neq 0$ be a fixed real number and $\varphi:x\mapsto \lambda x$.

$$d(U\circ \varphi)(x)(h)=dU(\varphi(x))(d\varphi(x)(h))=dU(\lambda x)(\lambda h)=\lambda dU(\lambda x)(h)=\lambda\langle\nabla U(\lambda x),h \rangle$$

Since $U\circ \varphi=\frac 1\lambda U$, we get $$\frac 1 \lambda dU(x)(h)=\lambda\langle\nabla U(\lambda x),h \rangle$$

that is $$\frac 1 \lambda \langle\nabla U( x),h \rangle = \lambda\langle\nabla U(\lambda x),h \rangle$$

$$\langle\nabla U(\lambda x),h \rangle = \langle \frac 1{\lambda^2} \nabla U( x),h \rangle$$

Hence $\displaystyle \nabla U(\lambda x)=\frac 1{\lambda^2} \nabla U( x)$

$\endgroup$
2
  • $\begingroup$ What is $h$, in this notation? $\endgroup$
    – Jess
    Commented Mar 21, 2017 at 16:21
  • $\begingroup$ @Jess any element of $\mathbb R^n$ $\endgroup$ Commented Mar 21, 2017 at 16:51

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .