Questions tagged [field-theory]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
5
votes
1answer
158 views

Implementing the field axioms with FindEquationalProof?

I am fiddling around with FindEquationalProof, currently trying to prove some basic statements for fields. I have a set of axioms which almost constitutes the field theory axioms: ...
3
votes
0answers
55 views

How to speed up xTensor simplification?

I need to compute a variation of the 4th rang symmetric tensor. I've written a code that successfully computes it, but when I use the resulting tensor to compute the second variation the ...
2
votes
1answer
130 views

How to compute functional derivative against vector in xAct, xTensor or xTras?

I want to compute the functional derivative against vectors. For example, I have an object that looks like this $R = h_{ijkl}a^i a^j a^k a^l$ I need to compute $\frac{\delta R}{\delta a^p}= 4 h_{...
2
votes
0answers
24 views

How to define tensors similar to Riemann tensor in xAct xTensor xTras

I'm working on a project where we deal with objects very similar to Riemann tensor. In fact they are Christoffel symbols for higher spins. I'm using xTras for modeling problems in wolfram mathematica. ...
1
vote
1answer
209 views

NDSolve: method of lines: unexpected error: insufficient boundary conditions

As a test of my ability to master the Method of Lines I tried to NDSolve the PDE's system $$\partial_t \varphi = \varpi\qquad\partial_t\varpi=\frac{1}{r}\partial^...
1
vote
1answer
122 views

How to define commutative covariant derivatives in xTensor

I'm new with working xAct package and got stuck defining covariant derivatives that commute with each other. I want to simulate flat space-time. And here is my code ...
1
vote
0answers
28 views

Derivatives with dummy indices not commutative after 3d derivative?

Recently I've encountered the following issue in xAct. I've defined the Manifold and tensors in the following manner Then consider the following expressions. In the case where there are 2 ...
1
vote
0answers
25 views

How to combine symmetrized tensor expressions into single expression in xAct

Let's sayI have the following expression in xAct where covariant derivatives are commutative, $\epsilon$ and $h$ are symmetric tensors. As we can see this expression is equivalent to If we ...
0
votes
1answer
96 views

Autocorrelated random field generation

Problem is related with my other question So, generate exponentially correlated row $π‘₯_{0,0},π‘₯_{1,0}...π‘₯_{𝑛,0}$ and starting from π‘₯0,0 there will be a correlated column $π‘₯_{0,1},π‘₯_{0,2}...π‘₯_{...
0
votes
1answer
83 views

Need a package to compute constraint structure

I want to compute constraint structure of some field theory and some gravitational field theory. By constraint structure I mean what is explained in the "Lectures on Quantum Mechanics" by P. A. M. ...
0
votes
0answers
23 views

Help with a custom coordinate transformation

I'm just starting to use Mathematica and can't wrap my head around the task I have at hand. It comes from field-theory. (Sorry I had to insert formulas as images instead of proper LaTex as it would ...
0
votes
0answers
18 views

Problem replacing an ansatz in a field equation with spin-isospin matrices

I've been lately trying to replicate a calculation but it is not working. The main problem is simple. I just have to replace an ansatz in a equation, that is (sorry for putting an image of that ) ...
0
votes
0answers
33 views

How to define custom operator for working with tensors with multiple indices?

I've symmetric tensor $h(z)$ with rank $s$. Instead of writing symmetric tensor with its components I use the following notation $h^{(s)}(z;a) = \sum_{\mu_i}(\prod_{i=1}^{s}a^{\mu_i})h^{(s)}_{\mu_1\...