Help Interpeting Mathematica Result

  • Thread starter Thread starter pholvey
  • Start date Start date
  • Tags Tags
    Mathematica
pholvey
Messages
5
Reaction score
0
Hi everyone,

Given the attached input and result, I'm confused as to how to interpret the 1.1, x.1, and y.1 terms in the solution. Does this mean I'm supposed to dot 1 into 1? How does that work? Any help is appreciated. Of course, x and y are vectors (not that it matters but they're xyz coordinates). Thanks for any help!

pholvey
 

Attachments

  • wolframalpha-20110404201702553.gif
    wolframalpha-20110404201702553.gif
    5.6 KB · Views: 432
Physics news on Phys.org
Do you mean to have a vector derivative or are x and y scalars (normal variables)?

If you don't, then remove the Dot[] - ie type "x y" or "x*y" instead of "x.y".

If you do mean to have symbolic vector derivatives, then you're in trouble, because Mathematica does't know how to do that for arbitrary n-dimensional vectors.
 
Hey Simon,

Ya, I did mean to have symbolic vector derivatives. Unfortunate that Mathematica doesn't know how to handle them...
 
Just for kicks though, how would you go about working out the derivative of the equation as it is shown in the attachment?
 
Well, if you interpret the 1's as Identity matrices / Kronecker Delta's, then it's basically correct.

Let's drop the extranious stuff and just take the derivative
ans = ∂xy(x.y + c)2
where ∂x is the partial derivative with respect to x and c is a constant.

So,
ansij = ∂xiyj(x.y + c)2
ansij = 2 ∂xi(xj(x.y + c))
ansij = 2 δij(x.y + c) + 2 y_i x_j

Written in vector/matrix form this is
ans = 2 I (x.y+c) + 2 y xT
where I is the identity matrix and y xT is one way of writing the outer product.

You can check this in Mathematica for any particular dimension using something like

Code:
In[1]:= With[{n = 14},
          X = Array[x, {n}];
          Y = Array[y, {n}];
          II = IdentityMatrix[n];]

In[2]:= D[(X.Y + c)^2, {X}, {Y}] == 2 (II (X.Y + c) + {Y}\[Transpose].{X}) // Expand

Out[2]= True
 
Last edited:
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top