$\nabla\times\nabla f$
$\nabla\times\nabla f$
Here is something that caught my attention the other day.
Suppose you have in hand the function
$$f(x,y,z)=\frac{\sin^7\left(\frac{x}{y^2+z^2+1}\right)+e^{2xz^2}}{x^2+y^2+z^2+3}$$
Compute $\nabla\times\nabla f$ which is to say, the curl of the gradient of $f$ .
Suppose you have in hand the function
$$f(x,y,z)=\frac{\sin^7\left(\frac{x}{y^2+z^2+1}\right)+e^{2xz^2}}{x^2+y^2+z^2+3}$$
Compute $\nabla\times\nabla f$ which is to say, the curl of the gradient of $f$ .
$\displaystyle \sum_{n=1}^{\infty}\frac{1}{n^s}= \prod_{p \; \text{prime}}\frac{1}{1-p^{-s}}$
- Grigorios Kostakos
- Founder
- Posts: 461
- Joined: Mon Nov 09, 2015 1:36 am
- Location: Ioannina, Greece
Re: $\nabla\times\nabla f$
We'll prove something more general: If $f:U\subseteq{\mathbb{R}}^3\longrightarrow{\mathbb{R}}$ is a twice differentiable function in some open set $U\subseteq{\mathbb{R}}^{3}$, then $\nabla\times\big(\nabla {f}\big)\equiv \overline{0}$ in $U$.
Proof:
\begin{align*}
\nabla{f}&= \bigg(\frac{\partial f}{\partial x}\,,\; \frac{\partial f}{\partial y}\,, \;\frac{\partial f}{\partial z} \bigg)\,,\\
\nabla\times\big(\nabla {f}\big) &=\left|\begin{array}{ccc}
\overline{e}_x & \overline{e}_y &\overline{e}_z \\
\frac{\partial}{\partial x} & \frac{\partial}{\partial y} &\frac{\partial}{\partial z} \\
\frac{\partial f}{\partial x} & \frac{\partial f}{\partial y} & \frac{\partial f}{\partial z}\end{array}\right|\\
&=\bigg(\frac{\partial^2 f}{\partial y\partial z}-\frac{\partial^2 f}{\partial z\partial y}\,, \;\frac{\partial^2 f}{\partial z\partial x}-\frac{\partial^2 f}{\partial x\partial z}\,, \; \frac{\partial^2 f}{\partial x\partial y}-\frac{\partial^2 f}{\partial y\partial x}\bigg)\\
&=\bigg(\frac{\partial^2 f}{\partial y\partial z}-\frac{\partial^2 f}{\partial y\partial z}\,, \;\frac{\partial^2 f}{\partial z\partial x}-\frac{\partial^2 f}{\partial z\partial x}\,, \; \frac{\partial^2 f}{\partial x\partial y}-\frac{\partial^2 f}{\partial x\partial y}\bigg)\\
&=(0,0,0)\,. \end{align*}
P.S. By the same pattern it can be proved that if $\overline{f}:U\subseteq{\mathbb{R}}^3\longrightarrow{\mathbb{R}}^3$ is a twice differentiable function in some open set $U\subseteq{\mathbb{R}}^{3}$, then $\nabla\cdot\big(\nabla \times{\overline{f}}\big)\equiv 0$ in $U$, i.e. ${\rm{div}} \,({\rm{curl }}\,\overline{f}\,)\equiv 0$.
Proof:
\begin{align*}
\nabla{f}&= \bigg(\frac{\partial f}{\partial x}\,,\; \frac{\partial f}{\partial y}\,, \;\frac{\partial f}{\partial z} \bigg)\,,\\
\nabla\times\big(\nabla {f}\big) &=\left|\begin{array}{ccc}
\overline{e}_x & \overline{e}_y &\overline{e}_z \\
\frac{\partial}{\partial x} & \frac{\partial}{\partial y} &\frac{\partial}{\partial z} \\
\frac{\partial f}{\partial x} & \frac{\partial f}{\partial y} & \frac{\partial f}{\partial z}\end{array}\right|\\
&=\bigg(\frac{\partial^2 f}{\partial y\partial z}-\frac{\partial^2 f}{\partial z\partial y}\,, \;\frac{\partial^2 f}{\partial z\partial x}-\frac{\partial^2 f}{\partial x\partial z}\,, \; \frac{\partial^2 f}{\partial x\partial y}-\frac{\partial^2 f}{\partial y\partial x}\bigg)\\
&=\bigg(\frac{\partial^2 f}{\partial y\partial z}-\frac{\partial^2 f}{\partial y\partial z}\,, \;\frac{\partial^2 f}{\partial z\partial x}-\frac{\partial^2 f}{\partial z\partial x}\,, \; \frac{\partial^2 f}{\partial x\partial y}-\frac{\partial^2 f}{\partial x\partial y}\bigg)\\
&=(0,0,0)\,. \end{align*}
P.S. By the same pattern it can be proved that if $\overline{f}:U\subseteq{\mathbb{R}}^3\longrightarrow{\mathbb{R}}^3$ is a twice differentiable function in some open set $U\subseteq{\mathbb{R}}^{3}$, then $\nabla\cdot\big(\nabla \times{\overline{f}}\big)\equiv 0$ in $U$, i.e. ${\rm{div}} \,({\rm{curl }}\,\overline{f}\,)\equiv 0$.
Grigorios Kostakos
Re: $\nabla\times\nabla f$
Good evening,
well, since the denominator has no root we can conclude that $f$ is a vector field. That the curl is zero.
well, since the denominator has no root we can conclude that $f$ is a vector field. That the curl is zero.
$\displaystyle \sum_{n=1}^{\infty}\frac{1}{n^s}= \prod_{p \; \text{prime}}\frac{1}{1-p^{-s}}$
Create an account or sign in to join the discussion
You need to be a member in order to post a reply
Create an account
Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute
Sign in
Who is online
Users browsing this forum: No registered users and 14 guests