Intereting Posts

“Box With No Top” Optimization
Book on combinatorial identities
Improper integrals with singularities on the REAL AXIS (Complex Variable)
The way into logic, Gödel and Turing
Why left continuity does not hold in general for cumulative distribution functions?
Proving $\left(A-1+\frac1B\right)\left(B-1+\frac1C\right)\left(C-1+\frac1A\right)\leq1$
$A_n \times \mathbb{Z} /2 \mathbb{Z} \ \ncong \ S_n$ for $n \geq 3$
What is the difference between an indeterminate and variable?
How to learn commutative algebra?
Polynomial roots problems.
A characterization of trace class operators
How to solve the Brioschi quintic in terms of elliptic functions?
Any closed subset of $\mathbb C$ is the set of limit points of some sequence
Volume form and Hausdorff measure
How can I show that $\sup(AB)\geq\sup A\sup B$ for $A,B\subset\mathbb{R}$ where $A\cup B$ is positive and bounded?

Is it possible to get the value of:

\begin{equation}

\underbrace{\left[\nabla\times\left[\nabla\times\left[\ldots\nabla\times\right.\right.\right.}_{\infty\text{-times taking curl operator}}\mathbf{V}\left.\left.\left.\right]\right]\ldots\right] = ?

\end{equation}

For any possible values of vector $\mathbf{V}$.

- What is the proof that covariance matrices are always semi-definite?
- What exactly are pseudovectors and pseudoscalars? And where could I read about them?
- The Meaning of the Fundamental Theorem of Calculus
- The “inverse” of $\nabla\times$ operator
- Proving vector calculus identity $\nabla \times (\mathbf a\times \mathbf b) =\cdots$ using Levi-Civita symbol
- Proving the triangle inequality for the $l_2$ norm $\|x\|_2 = \sqrt{x_1^2+x_2^2+\cdots+x_n^2}$

- Why generalize vector calculus with $k$-forms instead of $k$-vectors?
- Can you multiply two vectors $v$ and $u$ using multiplication instead of dot or cross products
- What's the geometrical interpretation of the magnitude of gradient generally?
- Distance of two lines in $\mathbb{R}^3$
- Why isn't the directional derivative generally scaled down to the unit vector?
- The “inverse” of $\nabla\times$ operator
- Tricks to remember Vector Calculus formulas
- How to solve $\mathrm{diag}(x) \; A \; x = \mathbf{1}$ for $x\in\mathbb{R}^n$ with $A\in\mathbb{R}^{n \times n}$?
- Why does dividing a vector by its norm give a unit vector?
- $z=f\left(xy,\, \frac y x \right)$ Differentiate

For a general vector field $\mathbf{V}$, this sequence need not converge. Consider for example $\mathbf{V} = (e^{x-y}, e^{x-y}, 0)$. We have $\nabla \times \mathbf{V} = \mathbf{W} = (0,0,2 e^{x-y})$, and $\nabla \times \mathbf{W} = -2 \mathbf{V}$, and the cycle then repeats with a factor of $-2$.

It’s worth noting that this operation is “unnatural” from the point of view of differential forms; curl is really the $d$ operator taking 1-forms to 2-forms; it’s just that in $\mathbb{R}^3$, both 1-forms and 2-forms can be viewed as vector fields. But the result of the curl operator is a 2-form, which is not something that it makes sense to take the curl of. The other relations you cite in your comment don’t suffer from this problem: grad takes 0-forms to 1-forms (so curl grad makes sense) and div takes 2-forms to 3-forms (so div curl makes sense), and they are both special cases of the fact that $d^2 = 0$.

The identity

$$

\nabla \times (\nabla \times \mathbf{A})=\nabla(\nabla \cdot \mathbf{A})-\nabla^2 \mathbf{A}

$$

is standard (where $\nabla^2$ denotes the component-wise Laplacian). Applying it repeatedly to $\nabla \times \mathbf{A}$ and using the fact that $\nabla \times (\nabla f)$ vanishes, we can see inductively that

$$

(\nabla \times)^{2n+1}\mathbf{A}=(-1)^n\nabla \times (\nabla^2)^n \mathbf{A} \, .

$$

So, when there’s any hope of your thing converging, it’ll be because the iterations of $-\nabla^2$ converge component-wise. Roughly speaking, this will happen when the Fourier transforms of your components are supported within some appropriate sphere, but getting the details right could be tricky (especially in cases where it includes some piece of the sphere’s boundary).

A little more precisely, the equivalent of $-\nabla^2$ in the frequency domain is multiplication by $4\pi^2|\xi|^2$, so if $\operatorname{supp} \hat f \subset \{|\xi|<1/(2\pi)\}$ everything will converge to $0$. If $\operatorname{supp} \hat f \subset \{|\xi|\leq 1/(2\pi)\}$ everything should still converge; if $\hat f$ is a distribution with positive mass on the boundary of the sphere it should converge to that, but the analysis is icky enough that I don’t want to say anything too definite…

You then have to worry about the even iterates, which you can get by replacing $\mathbf{A}$ with $\nabla \times\mathbf{A}$ everywhere in the above identity; there’s no real reason why the even and odd iterates ought to have much to do with each other. On the other hand, in the nice case everything will converge to $0$ anyway, so this won’t really matter.

Two applications of $\nabla$ yield $\nabla \times (\nabla \times F) = -\nabla^2 F + \nabla(\nabla \cdot F)$. Why? Well, setting $F = \sum_i F_i e_i$ where $e_i$ is the standard cartesian frame of $\mathbb{R}^3$ allows the formula:

$$ (\nabla \times F)_k = \sum_{ij} \epsilon_{ijk} \partial_i F_j $$

Curling once more,

$$ [\nabla \times (\nabla \times F)]_m = \sum_{kl}\epsilon_{klm}\partial_k\sum_{ij} \epsilon_{ijl} \partial_i F_j $$

But, the antismmetric symbol is constant and we can write this as

$$ [\nabla \times (\nabla \times F)]_m = \sum_{ijkl}\epsilon_{klm}\epsilon_{ijl} \partial_k \partial_i F_j $$

A beautiful identity states:

$$ \sum_{l}\epsilon_{klm}\epsilon_{ijl} = -\sum_{l}\epsilon_{kml}\epsilon_{ijl} =

-\delta_{ki}\delta_{mj}+\delta_{kj}\delta_{mi}$$

Hence,

$$ [\nabla \times (\nabla \times F)]_m = \sum_{ijk}(-\delta_{ki}\delta_{mj}+\delta_{kj}\delta_{mi}) \partial_k \partial_i F_j = \sum_i [-\partial_i^2F_m+\partial_m(\partial_iF_i)]$$

and the claim follows since $m$ is arbitrary. Now, let’s try for 3:

$$ \nabla \times (\nabla \times (\nabla \times F)) = \nabla \times \bigl[-\nabla^2 F + \nabla(\nabla \cdot F)\bigr] =\nabla \times (-\nabla^2 F)$$

I used the curl of a gradient is zero. This need not be trivial, take $F = <x^2z,0,0>$ as an example. I suppose I could have shot for a four-folded curl by doubly applying the identity.

$$ \nabla \times (\nabla \times (\nabla \times (\nabla \times F))) =?$$

Set $G = -\nabla^2 F $ since we know the gradient term vanishes,

$$ \nabla \times (\nabla \times G) = -\nabla^2 G + \nabla \cdot G = \nabla^2(\nabla^2 F)-\nabla [\nabla \cdot (\nabla^2 F)]$$

So, there’s the four-folded curl. Well, I see no reason this terminates. I guess you can give it a name. I propose we call (ordered as the edit indicates) $ \nabla \times \nabla \times \cdots \times \nabla = \top$

- $\sum\limits_{k\in\mathbb{Z}}$ versus $\sum\limits_{k=-\infty}^{\infty}$
- How has the definition of the complex logarithm changed over time?
- Could this be called Renormalization?
- Evaluating eigenvalues of a product of two positive definite matrices
- Let $M_1,M_2,M_3,M_4$ be the suprema of $|f|$ on the edges of a square. Show that $|f(0)|\le \sqrt{M_1M_2M_3M_4}$
- A question concerning measurability of a function
- Path components or connected components?
- Lost in terminology: What is the meaning of the words “Constraint” and “Parameter” in a goodness of fit?
- What better way to check if a number is a perfect power?
- Computing $\int_{\gamma} {dz \over (z-3)(z)}$
- Classify orbits of conjugating action on $GL_2(\mathbb{C})$
- An arbitrary product of connected spaces is connected
- A non-noetherian ring with all localizations noetherian
- Proving Binomial Identity without calculus
- How to use LU decomposition to solve Ax = b