Questions tagged [field-theory]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
3
votes
0answers
28 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 ...
1
vote
1answer
33 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 ...
0
votes
0answers
35 views

How to compute gauge variation of expression?

Suppose I have a symmetric tensor field $h_{\mu\nu}$ I want to implement somehow the following gauge variation of this tensor field as follows $\delta h_{\mu\nu} = \nabla_{\mu}\epsilon_{\nu} + \...
0
votes
1answer
66 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}...𝑥_{...
1
vote
1answer
128 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^...
0
votes
1answer
79 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
29 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\...
3
votes
0answers
105 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: ...