Prove that $f$ and $g$ are differentiable on $BbbR^n$ and $BbbR^n-0$, respectively and compute $f'(x)$ and $g'(x)$
Clash Royale CLAN TAG#URR8PPP
up vote
1
down vote
favorite
Let $f,g:BbbR^ntoBbbR $ be defined by $f(x)=langle x,xrangle$ and $g(x)=sqrtlangle x,xrangle,,$ respectively.
Prove that $f$ and $g$ are differentiable on $BbbR^n$ and $BbbR^n-0$, respectively and compute $f'(x)$ and $g'(x).$
If I may ask, does this $langle x,xrangle$ also mean inner product? If yes, my problem is half solved. If no, I would need some nice proofs.
analysis multivariable-calculus derivatives multilinear-algebra
add a comment |Â
up vote
1
down vote
favorite
Let $f,g:BbbR^ntoBbbR $ be defined by $f(x)=langle x,xrangle$ and $g(x)=sqrtlangle x,xrangle,,$ respectively.
Prove that $f$ and $g$ are differentiable on $BbbR^n$ and $BbbR^n-0$, respectively and compute $f'(x)$ and $g'(x).$
If I may ask, does this $langle x,xrangle$ also mean inner product? If yes, my problem is half solved. If no, I would need some nice proofs.
analysis multivariable-calculus derivatives multilinear-algebra
One usually denotes the inner product by $langle x,x rangle$, $(x, x)$ or $x cdot x$. I have never seen $(langle x,x ) rangle$ (note that the parentheses are not even nested properly).
â Sobi
Aug 21 at 9:47
@Sobi: That was what I saw in the past question! Anyway, I'll change it!
â Mike
Aug 21 at 9:49
$langle cdot, cdot rangle$ is the standard Euclidean inner product I presume?
â Sobi
Aug 21 at 9:51
@Sobi: I edited it!
â Mike
Aug 21 at 9:52
add a comment |Â
up vote
1
down vote
favorite
up vote
1
down vote
favorite
Let $f,g:BbbR^ntoBbbR $ be defined by $f(x)=langle x,xrangle$ and $g(x)=sqrtlangle x,xrangle,,$ respectively.
Prove that $f$ and $g$ are differentiable on $BbbR^n$ and $BbbR^n-0$, respectively and compute $f'(x)$ and $g'(x).$
If I may ask, does this $langle x,xrangle$ also mean inner product? If yes, my problem is half solved. If no, I would need some nice proofs.
analysis multivariable-calculus derivatives multilinear-algebra
Let $f,g:BbbR^ntoBbbR $ be defined by $f(x)=langle x,xrangle$ and $g(x)=sqrtlangle x,xrangle,,$ respectively.
Prove that $f$ and $g$ are differentiable on $BbbR^n$ and $BbbR^n-0$, respectively and compute $f'(x)$ and $g'(x).$
If I may ask, does this $langle x,xrangle$ also mean inner product? If yes, my problem is half solved. If no, I would need some nice proofs.
analysis multivariable-calculus derivatives multilinear-algebra
edited Aug 21 at 9:50
asked Aug 21 at 9:35
Mike
75615
75615
One usually denotes the inner product by $langle x,x rangle$, $(x, x)$ or $x cdot x$. I have never seen $(langle x,x ) rangle$ (note that the parentheses are not even nested properly).
â Sobi
Aug 21 at 9:47
@Sobi: That was what I saw in the past question! Anyway, I'll change it!
â Mike
Aug 21 at 9:49
$langle cdot, cdot rangle$ is the standard Euclidean inner product I presume?
â Sobi
Aug 21 at 9:51
@Sobi: I edited it!
â Mike
Aug 21 at 9:52
add a comment |Â
One usually denotes the inner product by $langle x,x rangle$, $(x, x)$ or $x cdot x$. I have never seen $(langle x,x ) rangle$ (note that the parentheses are not even nested properly).
â Sobi
Aug 21 at 9:47
@Sobi: That was what I saw in the past question! Anyway, I'll change it!
â Mike
Aug 21 at 9:49
$langle cdot, cdot rangle$ is the standard Euclidean inner product I presume?
â Sobi
Aug 21 at 9:51
@Sobi: I edited it!
â Mike
Aug 21 at 9:52
One usually denotes the inner product by $langle x,x rangle$, $(x, x)$ or $x cdot x$. I have never seen $(langle x,x ) rangle$ (note that the parentheses are not even nested properly).
â Sobi
Aug 21 at 9:47
One usually denotes the inner product by $langle x,x rangle$, $(x, x)$ or $x cdot x$. I have never seen $(langle x,x ) rangle$ (note that the parentheses are not even nested properly).
â Sobi
Aug 21 at 9:47
@Sobi: That was what I saw in the past question! Anyway, I'll change it!
â Mike
Aug 21 at 9:49
@Sobi: That was what I saw in the past question! Anyway, I'll change it!
â Mike
Aug 21 at 9:49
$langle cdot, cdot rangle$ is the standard Euclidean inner product I presume?
â Sobi
Aug 21 at 9:51
$langle cdot, cdot rangle$ is the standard Euclidean inner product I presume?
â Sobi
Aug 21 at 9:51
@Sobi: I edited it!
â Mike
Aug 21 at 9:52
@Sobi: I edited it!
â Mike
Aug 21 at 9:52
add a comment |Â
2 Answers
2
active
oldest
votes
up vote
2
down vote
accepted
$f$ is differentiable in the Frechet sense in $a$ if there exists a function $phi: mathbbR^nmapsto mathcalL( mathbbR^n, mathbbR) $ such that: $$f(
a + h) = f(a) + phi(a).h + o(h)$$
When $h$ approaches $0$.
In our case, $f(a+h) = langle a+h, a+hrangle = langle a, arangle + 2langle a, h rangle + langle h, hrangle$.
Since $langle h, hrangle = o(h)$, $f$ is differentiable over $mathbbR^n$ and we have $f'(a).h = langle 2a, hrangle$.
This means $f'(a) = langle 2a, cdot rangle$.
Using the jacobian matrix, we have $J_f(a) = 2a^T$.
In terms of gradient, we have $nabla f(a) = 2a$.
Now, to get $g'$ you can apply the chain rule to $g = sqrtcdot circ f$.
Since $sqrt cdot$ is derivable over $mathbbR^*$, and $f^-1(0_mathbbR) = 0_mathbbR^n$, $g$ is differentiable over $mathbbR^n-0$ and:
$$g'(a) = frac12sqrt f(a) f'(a)$$
add a comment |Â
up vote
2
down vote
Let $x = (x_1, ldots, x_n) in mathbbR^n$. Then
$$ f(x) = langle x, x rangle = x_1^2 + ldots + x_n^2. $$
Since $f$ is just a multivariable polynomial, it is differentiable. The partial derivatives are
$$ fracpartial fpartial x_j = 2x_j, $$
and the derivative is the $1 times n$ matrix (also known as the gradient)
$$ f'(x) = beginpmatrixfracpartial fpartial x_1 & ldots & fracpartial fpartial x_nendpmatrix = beginpmatrix2x_1 & ldots & 2x_nendpmatrix. $$
For $g$, note that $ langle x,x rangle geq 0 $
with equality if and only if $x = 0$, and since $y mapsto sqrty$ is differentiable for $y > 0$, the chain rule gives us that $x mapsto sqrtlangle x,xrangle$ is differentiable on $mathbbR^n-0$.
Can you compute the derivative of $g$ on your own now?
add a comment |Â
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
2
down vote
accepted
$f$ is differentiable in the Frechet sense in $a$ if there exists a function $phi: mathbbR^nmapsto mathcalL( mathbbR^n, mathbbR) $ such that: $$f(
a + h) = f(a) + phi(a).h + o(h)$$
When $h$ approaches $0$.
In our case, $f(a+h) = langle a+h, a+hrangle = langle a, arangle + 2langle a, h rangle + langle h, hrangle$.
Since $langle h, hrangle = o(h)$, $f$ is differentiable over $mathbbR^n$ and we have $f'(a).h = langle 2a, hrangle$.
This means $f'(a) = langle 2a, cdot rangle$.
Using the jacobian matrix, we have $J_f(a) = 2a^T$.
In terms of gradient, we have $nabla f(a) = 2a$.
Now, to get $g'$ you can apply the chain rule to $g = sqrtcdot circ f$.
Since $sqrt cdot$ is derivable over $mathbbR^*$, and $f^-1(0_mathbbR) = 0_mathbbR^n$, $g$ is differentiable over $mathbbR^n-0$ and:
$$g'(a) = frac12sqrt f(a) f'(a)$$
add a comment |Â
up vote
2
down vote
accepted
$f$ is differentiable in the Frechet sense in $a$ if there exists a function $phi: mathbbR^nmapsto mathcalL( mathbbR^n, mathbbR) $ such that: $$f(
a + h) = f(a) + phi(a).h + o(h)$$
When $h$ approaches $0$.
In our case, $f(a+h) = langle a+h, a+hrangle = langle a, arangle + 2langle a, h rangle + langle h, hrangle$.
Since $langle h, hrangle = o(h)$, $f$ is differentiable over $mathbbR^n$ and we have $f'(a).h = langle 2a, hrangle$.
This means $f'(a) = langle 2a, cdot rangle$.
Using the jacobian matrix, we have $J_f(a) = 2a^T$.
In terms of gradient, we have $nabla f(a) = 2a$.
Now, to get $g'$ you can apply the chain rule to $g = sqrtcdot circ f$.
Since $sqrt cdot$ is derivable over $mathbbR^*$, and $f^-1(0_mathbbR) = 0_mathbbR^n$, $g$ is differentiable over $mathbbR^n-0$ and:
$$g'(a) = frac12sqrt f(a) f'(a)$$
add a comment |Â
up vote
2
down vote
accepted
up vote
2
down vote
accepted
$f$ is differentiable in the Frechet sense in $a$ if there exists a function $phi: mathbbR^nmapsto mathcalL( mathbbR^n, mathbbR) $ such that: $$f(
a + h) = f(a) + phi(a).h + o(h)$$
When $h$ approaches $0$.
In our case, $f(a+h) = langle a+h, a+hrangle = langle a, arangle + 2langle a, h rangle + langle h, hrangle$.
Since $langle h, hrangle = o(h)$, $f$ is differentiable over $mathbbR^n$ and we have $f'(a).h = langle 2a, hrangle$.
This means $f'(a) = langle 2a, cdot rangle$.
Using the jacobian matrix, we have $J_f(a) = 2a^T$.
In terms of gradient, we have $nabla f(a) = 2a$.
Now, to get $g'$ you can apply the chain rule to $g = sqrtcdot circ f$.
Since $sqrt cdot$ is derivable over $mathbbR^*$, and $f^-1(0_mathbbR) = 0_mathbbR^n$, $g$ is differentiable over $mathbbR^n-0$ and:
$$g'(a) = frac12sqrt f(a) f'(a)$$
$f$ is differentiable in the Frechet sense in $a$ if there exists a function $phi: mathbbR^nmapsto mathcalL( mathbbR^n, mathbbR) $ such that: $$f(
a + h) = f(a) + phi(a).h + o(h)$$
When $h$ approaches $0$.
In our case, $f(a+h) = langle a+h, a+hrangle = langle a, arangle + 2langle a, h rangle + langle h, hrangle$.
Since $langle h, hrangle = o(h)$, $f$ is differentiable over $mathbbR^n$ and we have $f'(a).h = langle 2a, hrangle$.
This means $f'(a) = langle 2a, cdot rangle$.
Using the jacobian matrix, we have $J_f(a) = 2a^T$.
In terms of gradient, we have $nabla f(a) = 2a$.
Now, to get $g'$ you can apply the chain rule to $g = sqrtcdot circ f$.
Since $sqrt cdot$ is derivable over $mathbbR^*$, and $f^-1(0_mathbbR) = 0_mathbbR^n$, $g$ is differentiable over $mathbbR^n-0$ and:
$$g'(a) = frac12sqrt f(a) f'(a)$$
answered Aug 21 at 10:59
horace
1313
1313
add a comment |Â
add a comment |Â
up vote
2
down vote
Let $x = (x_1, ldots, x_n) in mathbbR^n$. Then
$$ f(x) = langle x, x rangle = x_1^2 + ldots + x_n^2. $$
Since $f$ is just a multivariable polynomial, it is differentiable. The partial derivatives are
$$ fracpartial fpartial x_j = 2x_j, $$
and the derivative is the $1 times n$ matrix (also known as the gradient)
$$ f'(x) = beginpmatrixfracpartial fpartial x_1 & ldots & fracpartial fpartial x_nendpmatrix = beginpmatrix2x_1 & ldots & 2x_nendpmatrix. $$
For $g$, note that $ langle x,x rangle geq 0 $
with equality if and only if $x = 0$, and since $y mapsto sqrty$ is differentiable for $y > 0$, the chain rule gives us that $x mapsto sqrtlangle x,xrangle$ is differentiable on $mathbbR^n-0$.
Can you compute the derivative of $g$ on your own now?
add a comment |Â
up vote
2
down vote
Let $x = (x_1, ldots, x_n) in mathbbR^n$. Then
$$ f(x) = langle x, x rangle = x_1^2 + ldots + x_n^2. $$
Since $f$ is just a multivariable polynomial, it is differentiable. The partial derivatives are
$$ fracpartial fpartial x_j = 2x_j, $$
and the derivative is the $1 times n$ matrix (also known as the gradient)
$$ f'(x) = beginpmatrixfracpartial fpartial x_1 & ldots & fracpartial fpartial x_nendpmatrix = beginpmatrix2x_1 & ldots & 2x_nendpmatrix. $$
For $g$, note that $ langle x,x rangle geq 0 $
with equality if and only if $x = 0$, and since $y mapsto sqrty$ is differentiable for $y > 0$, the chain rule gives us that $x mapsto sqrtlangle x,xrangle$ is differentiable on $mathbbR^n-0$.
Can you compute the derivative of $g$ on your own now?
add a comment |Â
up vote
2
down vote
up vote
2
down vote
Let $x = (x_1, ldots, x_n) in mathbbR^n$. Then
$$ f(x) = langle x, x rangle = x_1^2 + ldots + x_n^2. $$
Since $f$ is just a multivariable polynomial, it is differentiable. The partial derivatives are
$$ fracpartial fpartial x_j = 2x_j, $$
and the derivative is the $1 times n$ matrix (also known as the gradient)
$$ f'(x) = beginpmatrixfracpartial fpartial x_1 & ldots & fracpartial fpartial x_nendpmatrix = beginpmatrix2x_1 & ldots & 2x_nendpmatrix. $$
For $g$, note that $ langle x,x rangle geq 0 $
with equality if and only if $x = 0$, and since $y mapsto sqrty$ is differentiable for $y > 0$, the chain rule gives us that $x mapsto sqrtlangle x,xrangle$ is differentiable on $mathbbR^n-0$.
Can you compute the derivative of $g$ on your own now?
Let $x = (x_1, ldots, x_n) in mathbbR^n$. Then
$$ f(x) = langle x, x rangle = x_1^2 + ldots + x_n^2. $$
Since $f$ is just a multivariable polynomial, it is differentiable. The partial derivatives are
$$ fracpartial fpartial x_j = 2x_j, $$
and the derivative is the $1 times n$ matrix (also known as the gradient)
$$ f'(x) = beginpmatrixfracpartial fpartial x_1 & ldots & fracpartial fpartial x_nendpmatrix = beginpmatrix2x_1 & ldots & 2x_nendpmatrix. $$
For $g$, note that $ langle x,x rangle geq 0 $
with equality if and only if $x = 0$, and since $y mapsto sqrty$ is differentiable for $y > 0$, the chain rule gives us that $x mapsto sqrtlangle x,xrangle$ is differentiable on $mathbbR^n-0$.
Can you compute the derivative of $g$ on your own now?
edited Aug 21 at 10:07
answered Aug 21 at 10:01
Sobi
1,870313
1,870313
add a comment |Â
add a comment |Â
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2889677%2fprove-that-f-and-g-are-differentiable-on-bbbrn-and-bbbrn-0%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
One usually denotes the inner product by $langle x,x rangle$, $(x, x)$ or $x cdot x$. I have never seen $(langle x,x ) rangle$ (note that the parentheses are not even nested properly).
â Sobi
Aug 21 at 9:47
@Sobi: That was what I saw in the past question! Anyway, I'll change it!
â Mike
Aug 21 at 9:49
$langle cdot, cdot rangle$ is the standard Euclidean inner product I presume?
â Sobi
Aug 21 at 9:51
@Sobi: I edited it!
â Mike
Aug 21 at 9:52