Intereting Posts

Integrating $\int_0^\pi \frac{x\cos x}{1+\sin^2 x}dx$
Properties of the euler totient function
Why $\mbox{Ker }T^{*}\oplus\overline{\mbox{Im }{T}}=X$?
Quickest self-contained way of finding $\pi_1(\text{SU}(2))$ and $\pi_1(\text{SO}(3))$?
Handbook of mathematical drawing?
Sequence sum question: $\sum_{n=0}^{\infty}nk^n$
Prove that $\mathbb{C} \ncong \mathbb{C}\oplus\mathbb{C}$
Closed subsets of $\mathbb{R}$ characterization
Eigenvector of matrix of equal numbers
Proper map not closed
Some formulae for a periodic sequence $-1,-1,1,1…$?
Finding generators for products of ideals
How to calculate a heading on the earths surface?
How can I visualize the nuclear norm ball
Why not to extend the set of natural numbers to make it closed under division by zero?

Let $U\subset\mathbb{R}^n$ be a open set and $f:U\to\mathbb{R}$ a function in $C^\infty_c(U)$. Evans PDE book uses the following result

$$\frac{f(x+te_i)-f(x)}{t}\to\frac{\partial f}{\partial x_i}(x)\text{ uniformly as }h\to 0\;\;\;[\#]$$

The definition of uniformly convergence that I know uses sequences, but in this case no sequence is mentioned (and the book doesn’t presents a definition). I think it’s means that for each $\varepsilon>0$, there exists $\delta>0$ (which depends on $\varepsilon$ and doesn’t depend on $x$) such that

- $\epsilon$-$\delta$ limit proof, $\lim_{x \to 2} \frac{x^{2}-2x+9}{x+1}$
- Prove that the product of a rational and irrational number is irrational
- limit of reciprocal of function
- Better Proofs Than Rudin's For The Inverse And Implicit Function Theorems
- When $\min \max = \max \min$?
- How to prove differentiability implies continuity with $\epsilon-\delta$ definition?

$$x,x+te_i\in U, \; 0<|t|<\delta \Rightarrow \left|\frac{f(x+te_i)-f(x)}{t}-\frac{\partial f}{\partial x_i}(x)\right|<\varepsilon$$

**My first question is:** is the above definition correct?

**My second question is:** is it enough $f\in C^1_c(U)$ to conclude $[\#]$? I think so, but some posts suggests that $f\in C^2_c(U)$ it’s necessary (see here, here and here). Then:

**My third question is:** is the proof below correct?

Proof of $[\#]$ (based on this post): Suppose $f\in C^1_c(U)$. Let $g:\mathbb{R}^n\to\mathbb{R}$ be an extension of $f$ defined by

$$g(x)=\left\{\begin{matrix}

f(x), &\text{if } x\in U\\

0, & \text{if }x\in\mathbb{R}^n\backslash U

\end{matrix}\right.\;\;\;(1)$$

So, $g\in C^1_c(\mathbb{R}^n)$. Consequently $\frac{\partial g}{\partial x_i}\in C^1_c(\mathbb{R}^n)$. Therefore $\frac{\partial g}{\partial x_i}$ is uniformly continuous. Follows that given $\varepsilon>0$, there exists $\delta>0$ (which depends on $\varepsilon$ and doesn’t depend on $x$) such that

$$y,x\in\mathbb{R}^n,\;\|y-x\|<\delta\Rightarrow \left|\frac{\partial g}{\partial x_i}(y)-\frac{\partial g}{\partial x_i}(x)\right|<\varepsilon\;\;\;(2)$$

By Mean Value Theorem, given $x\in\mathbb{R}^n$ and $t\in\mathbb{R}$, there exists $\theta_{x,t}\in (0,1)$ such that

$$\frac{\partial g}{\partial x_i}(x+\theta_{x,t}te_i)=\frac{g(x+te_i)-g(x)}{t}\;\;\;(3)$$

Thus we can conclude that

$$\begin{align*}

x\in\mathbb{R}^n,\;0<|t|<\delta &\Rightarrow\|(x+\theta_{x,t}te_i)-x\|<|t|<\delta\\

&\overset{(2)}\Rightarrow \left|\frac{\partial g}{\partial x_i}(x+\theta_{x,t}te_i)-\frac{\partial g}{\partial x_i}(x)\right|<\varepsilon\\

&\overset{(3)}\Rightarrow \left|\frac{g(x+te_i)-g(x)}{t}-\frac{\partial g}{\partial x_i}(x)\right|<\varepsilon

\end{align*}$$

Particularly,

$$\begin{align*} x,x+te_i\in U,\;0<|t|<\delta &\Rightarrow \left|\frac{g(x+te_i)-g(x)}{t}-\frac{\partial g}{\partial x_i}(x)\right|<\varepsilon \\ &\overset{(1)}\Rightarrow \left|\frac{f(x+te_i)-f(x)}{t}-\frac{\partial f}{\partial x_i}(x)\right|<\varepsilon \end{align*}$$

Thanks.

- A question on measure space and measurable function
- Double Integral $\iint_D\ (x+2y)\ dxdy$
- Differentiabilty only at a single point implies the jacobian is singular?
- A Challenging Logarithmic Integral $\int_0^1 \frac{\log(x)\log(1-x)\log^2(1+x)}{x}dx$
- Two different expansions of $\frac{z}{1-z}$
- Evaluating limit making it $\frac{\infty}{\infty}$ and using L'Hopital Rule
- Rigorous hypothesis for Reynolds' transport theorem
- Two variables limit question
- Showing properties of discontinuous points of a strictly increasing function
- Why can't $\sqrt{2}^{\sqrt{2}{^\sqrt{2}{^\cdots}}}>2$?

Here there is the answer: the key fact is that $\frac{\partial f}{\partial x_i}$ must be uniformly continuous, which it is if $f\in C^1_c(U)$.

Actually, none of the three posts that you link in your question suggests that $f\in C^2_c(U)$ is necessary, instead they all say what I have reported here.

- Prove that $2xy\mid x^2+y^2-x$ implies $x$ is a perfect square.
- Prove that $\,\sqrt n < 1 + \sqrt{\frac{2}{n}}\,$
- Integration in respect to a complex measure
- How to prove the cofactor formula for determinants, using a different definition of the determinant?
- Does Convergence in probability implies convergence of the mean?
- 2011 AIME Problem 12 — Probability: 9 delegates around a round table
- Historic proof of the area of a circle
- Convergence in measure of products
- Homomorphism between cyclic groups
- What's the definition of a “local property”?
- Matrix Equation $A^3-3A=\begin{pmatrix}-7 & -9\\ 3 & 2\end{pmatrix}$
- Show that the set of all finite subsets of $\mathbb{N}$ is countable.
- Probability of getting two pair in poker
- If $ f(f(f(x)))=x$, does$ f(x)=x$ necessarily follow?
- Cartesian product of compact sets is compact