Three index entities summing to product of Kronecker deltas

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
0
down vote

favorite












While looking at this problem I ended up having to find entities $a_ijp$ and $b_klp,$ with $i,j,k,l,p = 1, ldots, n,$ such that
$$sum_p=1^n a_ijp , b_klp = delta_ik , delta_jl,$$
where $delta_ij$ is the Kronecker delta.



Probably $a$ and $b$ can be taken equal so that we want
$$sum_p=1^n a_ijp , a_klp = delta_ik , delta_jl.$$



Does anyone have know if this is even possible, and if so, how to choose $a_ijp$?



In the actual case, $n=3,$ but a generic solution is preferred.




How did this equation come up?



I asserted that $sigma^ij , partial_i u_j , dV$ could be rewritten as $omega wedge pi$ where $omega = alpha_kl^ij sigma_ij , dx^k wedge dx^l$ and $pi = beta_p^mn partial_m u_n , dx^p.$ This led to $$alpha_kl^ij , beta_p^mn , sigma_ij , partial_m u_n epsilon^klp , dV = sigma^mn , partial_m u_n , dV.$$
Setting $gamma^ijp = epsilon^klp , alpha_kl^ij$ then gives
$$beta_p^mn gamma^ijp = delta^mi , delta^nj.$$
For the presentation in the post the names were just changed and the summation over $p$ was made explicit.







share|cite|improve this question





















  • You probably should give us some background. What is $a_ijk$ and $b_ijk$ actually.
    – Sou
    Jul 27 at 19:47






  • 1




    Not quite the Levi-Civita Symbol en.wikipedia.org/wiki/Levi-Civita_symbol
    – Donald Splutterwit
    Jul 27 at 20:23










  • @Sou. I've added some background.
    – md2perpe
    Jul 27 at 22:38










  • @DonaldSplutterwit. That's close. Perhaps some modification of $epsilon$ can be used.
    – md2perpe
    Jul 27 at 22:39














up vote
0
down vote

favorite












While looking at this problem I ended up having to find entities $a_ijp$ and $b_klp,$ with $i,j,k,l,p = 1, ldots, n,$ such that
$$sum_p=1^n a_ijp , b_klp = delta_ik , delta_jl,$$
where $delta_ij$ is the Kronecker delta.



Probably $a$ and $b$ can be taken equal so that we want
$$sum_p=1^n a_ijp , a_klp = delta_ik , delta_jl.$$



Does anyone have know if this is even possible, and if so, how to choose $a_ijp$?



In the actual case, $n=3,$ but a generic solution is preferred.




How did this equation come up?



I asserted that $sigma^ij , partial_i u_j , dV$ could be rewritten as $omega wedge pi$ where $omega = alpha_kl^ij sigma_ij , dx^k wedge dx^l$ and $pi = beta_p^mn partial_m u_n , dx^p.$ This led to $$alpha_kl^ij , beta_p^mn , sigma_ij , partial_m u_n epsilon^klp , dV = sigma^mn , partial_m u_n , dV.$$
Setting $gamma^ijp = epsilon^klp , alpha_kl^ij$ then gives
$$beta_p^mn gamma^ijp = delta^mi , delta^nj.$$
For the presentation in the post the names were just changed and the summation over $p$ was made explicit.







share|cite|improve this question





















  • You probably should give us some background. What is $a_ijk$ and $b_ijk$ actually.
    – Sou
    Jul 27 at 19:47






  • 1




    Not quite the Levi-Civita Symbol en.wikipedia.org/wiki/Levi-Civita_symbol
    – Donald Splutterwit
    Jul 27 at 20:23










  • @Sou. I've added some background.
    – md2perpe
    Jul 27 at 22:38










  • @DonaldSplutterwit. That's close. Perhaps some modification of $epsilon$ can be used.
    – md2perpe
    Jul 27 at 22:39












up vote
0
down vote

favorite









up vote
0
down vote

favorite











While looking at this problem I ended up having to find entities $a_ijp$ and $b_klp,$ with $i,j,k,l,p = 1, ldots, n,$ such that
$$sum_p=1^n a_ijp , b_klp = delta_ik , delta_jl,$$
where $delta_ij$ is the Kronecker delta.



Probably $a$ and $b$ can be taken equal so that we want
$$sum_p=1^n a_ijp , a_klp = delta_ik , delta_jl.$$



Does anyone have know if this is even possible, and if so, how to choose $a_ijp$?



In the actual case, $n=3,$ but a generic solution is preferred.




How did this equation come up?



I asserted that $sigma^ij , partial_i u_j , dV$ could be rewritten as $omega wedge pi$ where $omega = alpha_kl^ij sigma_ij , dx^k wedge dx^l$ and $pi = beta_p^mn partial_m u_n , dx^p.$ This led to $$alpha_kl^ij , beta_p^mn , sigma_ij , partial_m u_n epsilon^klp , dV = sigma^mn , partial_m u_n , dV.$$
Setting $gamma^ijp = epsilon^klp , alpha_kl^ij$ then gives
$$beta_p^mn gamma^ijp = delta^mi , delta^nj.$$
For the presentation in the post the names were just changed and the summation over $p$ was made explicit.







share|cite|improve this question













While looking at this problem I ended up having to find entities $a_ijp$ and $b_klp,$ with $i,j,k,l,p = 1, ldots, n,$ such that
$$sum_p=1^n a_ijp , b_klp = delta_ik , delta_jl,$$
where $delta_ij$ is the Kronecker delta.



Probably $a$ and $b$ can be taken equal so that we want
$$sum_p=1^n a_ijp , a_klp = delta_ik , delta_jl.$$



Does anyone have know if this is even possible, and if so, how to choose $a_ijp$?



In the actual case, $n=3,$ but a generic solution is preferred.




How did this equation come up?



I asserted that $sigma^ij , partial_i u_j , dV$ could be rewritten as $omega wedge pi$ where $omega = alpha_kl^ij sigma_ij , dx^k wedge dx^l$ and $pi = beta_p^mn partial_m u_n , dx^p.$ This led to $$alpha_kl^ij , beta_p^mn , sigma_ij , partial_m u_n epsilon^klp , dV = sigma^mn , partial_m u_n , dV.$$
Setting $gamma^ijp = epsilon^klp , alpha_kl^ij$ then gives
$$beta_p^mn gamma^ijp = delta^mi , delta^nj.$$
For the presentation in the post the names were just changed and the summation over $p$ was made explicit.









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Jul 27 at 22:38
























asked Jul 27 at 19:21









md2perpe

5,80511022




5,80511022











  • You probably should give us some background. What is $a_ijk$ and $b_ijk$ actually.
    – Sou
    Jul 27 at 19:47






  • 1




    Not quite the Levi-Civita Symbol en.wikipedia.org/wiki/Levi-Civita_symbol
    – Donald Splutterwit
    Jul 27 at 20:23










  • @Sou. I've added some background.
    – md2perpe
    Jul 27 at 22:38










  • @DonaldSplutterwit. That's close. Perhaps some modification of $epsilon$ can be used.
    – md2perpe
    Jul 27 at 22:39
















  • You probably should give us some background. What is $a_ijk$ and $b_ijk$ actually.
    – Sou
    Jul 27 at 19:47






  • 1




    Not quite the Levi-Civita Symbol en.wikipedia.org/wiki/Levi-Civita_symbol
    – Donald Splutterwit
    Jul 27 at 20:23










  • @Sou. I've added some background.
    – md2perpe
    Jul 27 at 22:38










  • @DonaldSplutterwit. That's close. Perhaps some modification of $epsilon$ can be used.
    – md2perpe
    Jul 27 at 22:39















You probably should give us some background. What is $a_ijk$ and $b_ijk$ actually.
– Sou
Jul 27 at 19:47




You probably should give us some background. What is $a_ijk$ and $b_ijk$ actually.
– Sou
Jul 27 at 19:47




1




1




Not quite the Levi-Civita Symbol en.wikipedia.org/wiki/Levi-Civita_symbol
– Donald Splutterwit
Jul 27 at 20:23




Not quite the Levi-Civita Symbol en.wikipedia.org/wiki/Levi-Civita_symbol
– Donald Splutterwit
Jul 27 at 20:23












@Sou. I've added some background.
– md2perpe
Jul 27 at 22:38




@Sou. I've added some background.
– md2perpe
Jul 27 at 22:38












@DonaldSplutterwit. That's close. Perhaps some modification of $epsilon$ can be used.
– md2perpe
Jul 27 at 22:39




@DonaldSplutterwit. That's close. Perhaps some modification of $epsilon$ can be used.
– md2perpe
Jul 27 at 22:39















active

oldest

votes











Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);








 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2864714%2fthree-index-entities-summing-to-product-of-kronecker-deltas%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2864714%2fthree-index-entities-summing-to-product-of-kronecker-deltas%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

What is the equation of a 3D cone with generalised tilt?

Color the edges and diagonals of a regular polygon

Relationship between determinant of matrix and determinant of adjoint?