Skip to main content

[Community Question] Calculus: I need to prove a few vector identities using Cartesion Tensor Notation, and I can't figure out how!

One of our user asked:

I have been all over the internet, but I just can't make sense of this stuff. I have done my best to learn from my textbook and different websites, but this is confusing for me. I haven't taken any calculus in years, and I'm jumping in headfirst. If anyone can help me understand how to prove these using Cartesian Tensor Notation, I would really appreciate it!

First identity: ∇ x (∇ x a) = ∇(∇ . a) - (∇^2)a

Second identity: ∇ . (a b) = a . ∇ b + b(∇ . a)

Third identity: ∇ . (f δ) = ∇ f

Fourth identity: δ : ∇ a = ∇ . a

Thanks everyone


Labels:

Comments

Post a Comment

Popular posts from this blog

[Community Question] Calculus: Asymptotic behavior of $\sum\limits_{n=0}^{\infty}x^{b^n}$

One of our user asked: This follow my previous post here , where Song has proven that $\forall b>1,\lim\limits_{x\to 1^{-}}\frac{1}{\ln(1-x)}\sum\limits_{n=0}^{\infty}x^{b^n}=-\frac{1}{\ln(b)}$ , that is to say : $$\forall b>1,\sum\limits_{n=0}^{\infty}x^{b^n}=-\log_b(1-x)+o_{x\to1^-}\left(\log_b(1-x)\right)$$ (The $o_{x\to1^-}\left(\log_b(1-x)\right)$ representing a function that is asymptotically smaller than $\log_b(1-x)$ when $x\to1^{-}$ , that is to say whose quotient by $\log_b(1-x)$ converges to $0$ as $x\to1^{-}$ , see small o notation ) So we have here a first asymptotical approximation of $\sum\limits_{n=0}^{\infty}x^{b^n}$ . I now want to take it one step further and refine the asymptotical behaviour, by proving a stronger result which I conjecture to be true (backed by numerical simulations) : $$\sum\limits_{n=0}^{\infty}x^{b^n}=-\log_b(1-x)+O_{x\to1^-}\left(1\right)$$ (The $O_{x\to1^-}\left(1\right)$ representing a function that is asymptotically bounded wh...
Post a Comment
Read more