$\nabla\times\nabla f$

Multivariate Calculus
Post Reply
User avatar
Riemann
Posts: 176
Joined: Sat Nov 14, 2015 6:32 am
Location: Melbourne, Australia

$\nabla\times\nabla f$

#1

Post by Riemann »

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$ .
$\displaystyle \sum_{n=1}^{\infty}\frac{1}{n^s}= \prod_{p \; \text{prime}}\frac{1}{1-p^{-s}}$
User avatar
Grigorios Kostakos
Founder
Founder
Posts: 461
Joined: Mon Nov 09, 2015 1:36 am
Location: Ioannina, Greece

Re: $\nabla\times\nabla f$

#2

Post by Grigorios Kostakos »

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$.
Grigorios Kostakos
User avatar
Riemann
Posts: 176
Joined: Sat Nov 14, 2015 6:32 am
Location: Melbourne, Australia

Re: $\nabla\times\nabla f$

#3

Post by Riemann »

Good evening,

well, since the denominator has no root we can conclude that $f$ is a vector field. That the curl is zero. :clap2:
$\displaystyle \sum_{n=1}^{\infty}\frac{1}{n^s}= \prod_{p \; \text{prime}}\frac{1}{1-p^{-s}}$
Post Reply

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

Register

Sign in

Who is online

Users browsing this forum: No registered users and 8 guests