Differentiability of $bf x$ uniform in $bf y$
Clash Royale CLAN TAG#URR8PPP
up vote
0
down vote
favorite
Consider the real-valued function $f(bf x,bf y)$, with $bf x$ and $bf y $ vectors of length $n$ and $m$, respectively.
Suppose (1) $f$ is differentiable in $bf x$ at $(bf x_0, bf y)$ with $bf y$ on a neighborhood of $bf y_0$.
Question: Under which additional condition(s) is there a neighborhood $mathcalB$ of $bf y$ for which the differentiability in $x$ is uniform, that is,
$$ sup_bf y in mathcalB fracf(bf x, bf y) - f(bf x_0, bf y) - (bf x- bf x_0)bf J(bf x_0,bf y)rightbf x - bf x_0 = sup_bf y in mathcalB|R(bf x,bf y)| = o(1) $$
as $bf x to bf x_0$.
I know sufficient additional conditions are that (2) $f$ be differentiable in a neighborhood of $(bf x_0, bf y_0)$, and (3) $bf J(bf x,bf y)$ is continuous in $bf x$ at $bf x_0$ and with $bf y$ on a neighborhood of $bf y_0$
In this case, we have, through the mean value theorem,
$$sup_bf y in mathcalB|R(bf x,bf y)| = sup_bf y in mathcalBfrac leftbf x - bf x_0 = O( sup_bf y in mathcalBleft|bf Jleft(tildebf x,bf y) -bf J(bf x_0,bf y)right|right) =o(1)$$
where $tildebf x$ is between $bf x$ and $bf x_0$.
However I wonder if assumption (2) is necessarily. It was only used to apply the MVT, and a proof not requiring it could probably rely on assumption (1) and (3) only.
derivatives partial-derivative uniform-continuity
add a comment |Â
up vote
0
down vote
favorite
Consider the real-valued function $f(bf x,bf y)$, with $bf x$ and $bf y $ vectors of length $n$ and $m$, respectively.
Suppose (1) $f$ is differentiable in $bf x$ at $(bf x_0, bf y)$ with $bf y$ on a neighborhood of $bf y_0$.
Question: Under which additional condition(s) is there a neighborhood $mathcalB$ of $bf y$ for which the differentiability in $x$ is uniform, that is,
$$ sup_bf y in mathcalB fracf(bf x, bf y) - f(bf x_0, bf y) - (bf x- bf x_0)bf J(bf x_0,bf y)rightbf x - bf x_0 = sup_bf y in mathcalB|R(bf x,bf y)| = o(1) $$
as $bf x to bf x_0$.
I know sufficient additional conditions are that (2) $f$ be differentiable in a neighborhood of $(bf x_0, bf y_0)$, and (3) $bf J(bf x,bf y)$ is continuous in $bf x$ at $bf x_0$ and with $bf y$ on a neighborhood of $bf y_0$
In this case, we have, through the mean value theorem,
$$sup_bf y in mathcalB|R(bf x,bf y)| = sup_bf y in mathcalBfrac leftbf x - bf x_0 = O( sup_bf y in mathcalBleft|bf Jleft(tildebf x,bf y) -bf J(bf x_0,bf y)right|right) =o(1)$$
where $tildebf x$ is between $bf x$ and $bf x_0$.
However I wonder if assumption (2) is necessarily. It was only used to apply the MVT, and a proof not requiring it could probably rely on assumption (1) and (3) only.
derivatives partial-derivative uniform-continuity
add a comment |Â
up vote
0
down vote
favorite
up vote
0
down vote
favorite
Consider the real-valued function $f(bf x,bf y)$, with $bf x$ and $bf y $ vectors of length $n$ and $m$, respectively.
Suppose (1) $f$ is differentiable in $bf x$ at $(bf x_0, bf y)$ with $bf y$ on a neighborhood of $bf y_0$.
Question: Under which additional condition(s) is there a neighborhood $mathcalB$ of $bf y$ for which the differentiability in $x$ is uniform, that is,
$$ sup_bf y in mathcalB fracf(bf x, bf y) - f(bf x_0, bf y) - (bf x- bf x_0)bf J(bf x_0,bf y)rightbf x - bf x_0 = sup_bf y in mathcalB|R(bf x,bf y)| = o(1) $$
as $bf x to bf x_0$.
I know sufficient additional conditions are that (2) $f$ be differentiable in a neighborhood of $(bf x_0, bf y_0)$, and (3) $bf J(bf x,bf y)$ is continuous in $bf x$ at $bf x_0$ and with $bf y$ on a neighborhood of $bf y_0$
In this case, we have, through the mean value theorem,
$$sup_bf y in mathcalB|R(bf x,bf y)| = sup_bf y in mathcalBfrac leftbf x - bf x_0 = O( sup_bf y in mathcalBleft|bf Jleft(tildebf x,bf y) -bf J(bf x_0,bf y)right|right) =o(1)$$
where $tildebf x$ is between $bf x$ and $bf x_0$.
However I wonder if assumption (2) is necessarily. It was only used to apply the MVT, and a proof not requiring it could probably rely on assumption (1) and (3) only.
derivatives partial-derivative uniform-continuity
Consider the real-valued function $f(bf x,bf y)$, with $bf x$ and $bf y $ vectors of length $n$ and $m$, respectively.
Suppose (1) $f$ is differentiable in $bf x$ at $(bf x_0, bf y)$ with $bf y$ on a neighborhood of $bf y_0$.
Question: Under which additional condition(s) is there a neighborhood $mathcalB$ of $bf y$ for which the differentiability in $x$ is uniform, that is,
$$ sup_bf y in mathcalB fracf(bf x, bf y) - f(bf x_0, bf y) - (bf x- bf x_0)bf J(bf x_0,bf y)rightbf x - bf x_0 = sup_bf y in mathcalB|R(bf x,bf y)| = o(1) $$
as $bf x to bf x_0$.
I know sufficient additional conditions are that (2) $f$ be differentiable in a neighborhood of $(bf x_0, bf y_0)$, and (3) $bf J(bf x,bf y)$ is continuous in $bf x$ at $bf x_0$ and with $bf y$ on a neighborhood of $bf y_0$
In this case, we have, through the mean value theorem,
$$sup_bf y in mathcalB|R(bf x,bf y)| = sup_bf y in mathcalBfrac leftbf x - bf x_0 = O( sup_bf y in mathcalBleft|bf Jleft(tildebf x,bf y) -bf J(bf x_0,bf y)right|right) =o(1)$$
where $tildebf x$ is between $bf x$ and $bf x_0$.
However I wonder if assumption (2) is necessarily. It was only used to apply the MVT, and a proof not requiring it could probably rely on assumption (1) and (3) only.
derivatives partial-derivative uniform-continuity
edited Jul 16 at 6:40
asked Jul 16 at 6:31
Guillaume F.
351211
351211
add a comment |Â
add a comment |Â
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f2853147%2fdifferentiability-of-bf-x-uniform-in-bf-y%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