Jump to content

Micromechanics of composites/Proof 2

From Wikiversity

Tensor-vector identity 2

[edit | edit source]

Let ๐ฏ be a vector field and let ๐‘บ be a second-order tensor field. Let ๐š and ๐› be two arbitrary vectors. Show that

โˆ‡โˆ™[(๐ฏโ‹…๐š)(๐‘บโ‹…๐›)]=๐šโ‹…[{โˆ‡๐ฏโ‹…๐‘บ+๐ฏโŠ—(โˆ‡โˆ™๐‘บT)}โ‹…๐›].

Proof:

Using the identity โˆ‡โˆ™(ฯ†๐ฎ)=๐ฎโ‹…โˆ‡ฯ†+ฯ†โˆ‡โˆ™๐ฎ we have

โˆ‡โˆ™[(๐ฏโ‹…๐š)(๐‘บโ‹…๐›)]=(๐‘บโ‹…๐›)โ‹…โˆ‡(๐ฏโ‹…๐š)+(๐ฏโ‹…๐š)โˆ‡โˆ™(๐‘บโ‹…๐›).

From the identity โˆ‡(๐ฎโ‹…๐ฏ)=โˆ‡๐ฎTโ‹…โˆ‡๐ฏ+โˆ‡๐ฏTโ‹…๐ฎ, we have โˆ‡(๐ฏโ‹…๐š)=โˆ‡๐ฏTโ‹…๐š+โˆ‡๐šTโ‹…๐ฏ.

Since ๐š is constant, โˆ‡๐š=0, and we have

(๐‘บโ‹…๐›)โ‹…โˆ‡(๐ฏโ‹…๐š)=(๐‘บโ‹…๐›)โ‹…(โˆ‡๐ฏTโ‹…๐š).

From the relation ๐šโ‹…(๐‘จTโ‹…๐›)=๐›โ‹…(๐‘จโ‹…๐š) we have

(๐‘บโ‹…๐›)โ‹…(โˆ‡๐ฏTโ‹…๐š)=๐šโ‹…[โˆ‡๐ฏโ‹…(๐‘บโ‹…๐›)].

Using the relation ๐‘จโ‹…(๐‘ฉโ‹…๐›)=(๐‘จโ‹…๐‘ฉ)โ‹…๐›, we get

โˆ‡๐ฏโ‹…(๐‘บโ‹…๐›)=(โˆ‡๐ฏโ‹…๐‘บ)โ‹…๐›.

Therefore, the final form of the first term is

(๐‘บโ‹…๐›)โ‹…โˆ‡(๐ฏโ‹…๐š)=๐šโ‹…[(โˆ‡๐ฏโ‹…๐‘บ)โ‹…๐›].

For the second term, from the identity โˆ‡โˆ™(๐‘บTโ‹…๐ฏ)=๐‘บ:โˆ‡๐ฏ+๐ฏโ‹…(โˆ‡โˆ™๐‘บ) we get, โˆ‡โˆ™(๐‘บโ‹…๐›)=๐‘บT:โˆ‡๐›+๐›โ‹…(โˆ‡โˆ™๐‘บT).

Since ๐› is constant, โˆ‡๐›=0, and we have

(๐ฏโ‹…๐š)โˆ‡โˆ™(๐‘บโ‹…๐›)=(๐ฏโ‹…๐š)[๐›โ‹…(โˆ‡โˆ™๐‘บT)]=๐šโ‹…[{๐›โ‹…(โˆ‡โˆ™๐‘บT)}๐ฏ].

From the definition (๐ฎโŠ—๐ฏ)โ‹…๐š=(๐šโ‹…๐ฏ)๐ฎ, we get

[๐›โ‹…(โˆ‡โˆ™๐‘บT)]๐ฏ=[๐ฏโŠ—(โˆ‡โˆ™๐‘บT)]โ‹…๐›.

Therefore, the final form of the second term is

(๐ฏโ‹…๐š)โˆ‡โˆ™(๐‘บโ‹…๐›)=๐šโ‹…[๐ฏโŠ—(โˆ‡โˆ™๐‘บT)]โ‹…๐›.

Adding the two terms, we get

โˆ‡โˆ™[(๐ฏโ‹…๐š)(๐‘บโ‹…๐›)]=๐šโ‹…[(โˆ‡๐ฏโ‹…๐‘บ)โ‹…๐›]+๐šโ‹…[๐ฏโŠ—(โˆ‡โˆ™๐‘บT)]โ‹…๐›.

Therefore,

โˆ‡โˆ™[(๐ฏโ‹…๐š)(๐‘บโ‹…๐›)]=๐šโ‹…[{โˆ‡๐ฏโ‹…๐‘บ+๐ฏโŠ—(โˆ‡โˆ™๐‘บT)}โ‹…๐›]โ—ป