Questions tagged [field-theory]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0
votes
0answers
10 views

Get the field equations of the G-L energy function

Im new at mathematica and i need to make a programm to find de field equations of the Ginzburg-Landau Energy.
2
votes
1answer
59 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_{...
1
vote
0answers
23 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
21 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 ...
3
votes
0answers
45 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
86 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
46 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
78 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
176 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
80 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
31 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\...
5
votes
1answer
142 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: ...