TheoremBase

Partial Derivatives, Continuity and CkC^k Regularity under a Scaling Substitution

Statement

Let n,mn,m be natural numbers and let R\mathbb{R} be the real numbers, with absolute value ∣⋅∣|\cdot|. Regard Euclidean space Rn\mathbb{R}^n as a real vector space, and let ∥ ⋅ ∥\lVert\,\cdot\,\rVert be the Euclidean norm and dEd_E the Euclidean distance, a metric on Rn\mathbb{R}^n.

Let c∈Rnc\in\mathbb{R}^n, let λ\lambda and μ\mu be nonzero real numbers, let U⊆RnU\subseteq\mathbb{R}^n be open, and let f=(f1,…,fm):U→Rmf=(f_1,\dots,f_m):U\to\mathbb{R}^m. Put

V={x∈Rn: c+λx∈U},V=\{x\in\mathbb{R}^n:\ c+\lambda x\in U\},

and let g=(g1,…,gm):V→Rmg=(g_1,\dots,g_m):V\to\mathbb{R}^m be given by g(x)=μ f(c+λx)g(x)=\mu\,f(c+\lambda x), so that gj(x)=μ fj(c+λx)g_j(x)=\mu\,f_j(c+\lambda x) for every j∈{1,…,m}j\in\{1,\dots,m\}.

1. (Domain) The map T:Rn→RnT:\mathbb{R}^n\to\mathbb{R}^n given by T(x)=c+λxT(x)=c+\lambda x is a bijection, with inverse S(y)=λ−1(y−c)S(y)=\lambda^{-1}(y-c), and TT restricts to a bijection from VV onto UU. The set VV is open in Rn\mathbb{R}^n. Moreover

U={y∈Rn: (−λ−1c)+λ−1y∈V},f(y)=μ−1 g((−λ−1c)+λ−1y)  (y∈U);U=\{y\in\mathbb{R}^n:\ (-\lambda^{-1}c)+\lambda^{-1}y\in V\},\qquad f(y)=\mu^{-1}\,g\bigl((-\lambda^{-1}c)+\lambda^{-1}y\bigr)\ \ (y\in U);

that is, (f,U)(f,U) arises from (g,V)(g,V) by a substitution of the same form, with cc, λ\lambda, μ\mu replaced by −λ−1c-\lambda^{-1}c, λ−1\lambda^{-1}, μ−1\mu^{-1}.

2. (Partial derivatives) Let x∈Vx\in V, put a=c+λxa=c+\lambda x, and let i∈{1,…,n}i\in\{1,\dots,n\} and j∈{1,…,m}j\in\{1,\dots,m\}. Then the partial derivative of gjg_j with respect to the iith variable exists at xx if and only if the partial derivative of fjf_j with respect to the iith variable exists at aa, and in that case

∂igj(x)=μλ ∂ifj(a).\partial_i g_j(x)=\mu\lambda\,\partial_i f_j(a).

3. (Continuity) For every j∈{1,…,m}j\in\{1,\dots,m\}: the function fjf_j is continuous at every point of UU if and only if gjg_j is continuous at every point of VV.

4. (Class CkC^k) For every natural number kk: ff is of class CkC^k on UU if and only if gg is of class CkC^k on VV.

5. (Smoothness) ff is smooth on UU if and only if gg is smooth on VV.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…