The group-theoretic approach to perfect uid equations with conformal symmetry Anton Galajinsky

2025-05-06 0 0 422.38KB 23 页 10玖币
侵权投诉
The group-theoretic approach to perfect fluid
equations with conformal symmetry
Anton Galajinsky
Laboratory of Applied Mathematics and Theoretical Physics,
TUSUR, Lenin ave. 40, 634050 Tomsk, Russia
e-mail: a.galajinsky@tusur.ru
Abstract
The method of nonlinear realizations is a convenient tool for building dynamical realiza-
tions of a Lie group, which relies solely upon structure relations of the corresponding Lie
algebra. The goal of this work is to discuss advantages and limitations of the method,
which is here applied to construct perfect fluid equations with conformal symmetry.
Four cases are studied in detail, which include the Schr¨odinger group, the `-conformal
Galilei group, the Lifshitz group, and the relativistic conformal group.
PACS: 11.30.-j, 02.20.Sv, 47.10.A, 47.10.ab
Keywords: perfect fluid equations, conformal symmetry
arXiv:2210.14544v2 [hep-th] 9 Nov 2022
1. Introduction
Recently, there has been a considerable effort to understand the hydrodynamic limit
of the AdS/CFT-correspondence [1, 2, 3].1The main point of the study was to establish
that the low-frequency behavior of an interacting field theory at finite temperature could be
described by fluid mechanics.
The conventional formulation of fluid dynamics relies upon an expansion scheme in which
the effects of viscosity and heat transfer are regarded as corrections to the perfect fluid equa-
tions (see e.g. [2]). As is known, for a properly chosen equation of state the (non)relativistic
perfect fluid equations exhibit conformal invariance (see e.g. [5, 6, 7]). It is then natural to
wonder whether such equations can be formulated on purely group-theoretic grounds.
A convenient tool for building dynamical realizations of a Lie group, which relies solely
upon structure relations of the corresponding Lie algebra, is provided by the method of
nonlinear realizations [8]. The scheme includes several steps. First of all, one introduces
coordinates and fields, whose number in general is equal to the number of generators of a
Lie algebra at hand. Then one builds a formal group-theoretic element g, which is a product
of exponentials of the type eiαT , where αis a coordinate (or a field) and Tis a Lie algebra
generator. After that, one studies the left action of the group upon the group-theoretic
element gand establishes transformation laws of the coordinates and fields. Finally, one
computes the Maurer-Cartan one-forms g1dg. By construction, they hold invariant under
the left action of the group upon the group theoretic element and, hence, provide convenient
building blocks to formulate invariant equations of motion. If desirable, they can also be
used to eliminate some of the fields from the consideration by imposing constraints. Within
the method of nonlinear realizations, imposing constraints is attributed to the inverse Higgs
phenomenon [9].
An alternative formulation of fluid dynamics in terms of group-valued variables, which
relies upon Kirillov’s method of orbits [10], was proposed in [11]. The formalism is particu-
larly suitable for taking into account constituent particles, which carry nonabelian charges
or spin degrees of freedom, as well as for incorporating anomalies [12]–[16].
The goal of this work is to discuss advantages and limitations of the method of nonlinear
realizations, which is here applied to construct perfect fluid equations with conformal sym-
metry. Four cases are studied in detail, which include the Schr¨odinger group, the `-conformal
Galilei group, the Lifshitz group, and the relativistic conformal group.
The organization of the work is as follows. In the next section, we briefly outline key
features of the method of nonlinear realizations, which are used in later section to explore
fluid equations with conformal symmetry. For simplicity of the presentation, the construction
is illustrated by the example of so(2,1) algebra, which was first studied in [17]. In Sect. 3,
perfect fluid equations with the Schr¨odinger symmetry are built in terms of the invariant
Maurer-Cartan one-forms associated with the Schr¨odinger group and an invariant derivative.
It is demonstrated that a proper equation of states, which links pressure to fluid density,
1Literature on the subject is overwhelmingly large. For a review and further references see [4].
1
comes about quite naturally without the need to invoke more sophisticated arguments [5, 6].
In Sect. 4 and Sect. 5, a similar analysis is performed for the `-conformal Galilei group
and the Lifshitz group, respectively. To the best of our knowledge, the Lifshitz-invariant
equations in Sect. 5 are new. Sect. 6 is focused on the case of the relativistic conformal
group. In contrast to the nonrelativistic examples, the construction of relativistic fluid
equations invariant under the conformal group in terms of the Maurer-Cartan invariants
alone turns to be problematic and extra arguments need to be invoked. In the concluding
Sect. 7, we summarize our results and discuss possible further developments.
Throughout the paper, summation over repeated indices is understood unless otherwise
is stated.
2. The method of nonlinear realizations
In this section, we outline key features of the method of nonlinear realizations [8], which
will be used below to explore fluid equations with conformal symmetry. For simplicity of the
presentation, the construction will be illustrated by the example of so(2,1) algebra
[H, D] = iH, [H, K] = 2iD, [D, K] = iK, (1)
which was first studied in [17]. Above His interpreted as the temporal translation generator,
Dlinks to dilatation, and Kis associated with the special conformal transformation.
In its essence, the method of nonlinear realizations is a tool to build dynamical realizations
of a Lie group, which is based solely upon structure relations of the corresponding Lie algebra.
As the first step of the construction, one introduces coordinates and fields whose number in
general is equal to the number of generators of the Lie algebra. The choice is not unique
and it essentially depends on a dynamical realization one seeks for. For example, if one is
concerned with one-dimensional mechanics originating from (1), a temporal variable tand
a function u(t), which describes a particle dynamics, are needed. It seems natural to link
tto Hand u(t) to D. In order to treat all the generators on equal footing, one introduces
one more field w(t), which is regarded as a partner of K. At this stage, it is not yet clear
whether u(t) or w(t) will be more suitable for describing a reasonable conformal mechanics
model and one anticipates an SO(2,1)-invariant constraint, which will link the fields to each
other.
Then one introduces the group-theoretic element
g=eitH eiu(t)Deiw(t)K.(2)
In general, the expressions in (1) are regarded as formal Lie brackets (rather than commu-
tators of operators) and the exponential entering (2) is treated as the exponential map of a
Lie algebra to a neighborhood of the unit group element. Yet, nothing prevents one from
assuming that a specific representation of the Lie algebra is chosen such that (1) represents
commutators of the generators and (2) is an operator acting upon a state. In the latter case,
the exponential entering (2) can be regarded as a formal Taylor series eA=P
n=0
An
n!, in
2
which case the well known Baker-Campbell-Hausdorff formula
eiA T eiA =T+
X
n=1
in
n![A, [A, . . . [A, T ]. . . ]]
| {z }
ntimes
(3)
is applicable, where Aand Tare two arbitrary operators. The conventional property of the
exponential
eαAeβA =e(α+β)A,(4)
holds true as well, where α,βare constants and Ais an operator action upon a state in
the representation chosen. Eq. (3) is the cornerstone of the whole consideration to follow.
Note that the order in which the factors contribute to the group-theoretic element (2) can
be chosen at will and different options are related by coordinate and field redefinitions.
At the second step of the construction, one analyzes the left action of the group upon
the group-theoretic element
g0=eiβH eiλDeiσK ·g=eit0Heiu0(t0)Deiw0(t0)K,(5)
where β,λ,σare real transformation parameters, and makes use of (3) so as to establish
transformation laws of the coordinates and fields. For most physical applications it suffices
to consider their infinitesimal form.
When performing calculations, depending on a specific operator eLat hand, it might
prove helpful to insert the unit operator eBeB, with Bto be specified below, either to the
left or to the right of eL. The following chain of relations
eiλDeitH =eiλDeitH eiλDeiλD
| {z }
1
=eiλD (1 + itH +. . . )eiλDeiλD =
(1 + it(H+ [iλD, H] + . . . ) + . . . )eiλD =ei(1+λ)tH eiλD (6)
gives the example of how eiλD ”passes through” eitH . The Baker-Campbell-Hausdorff formula
was repeatedly applied in the second line of (6). At the same time, when computing eiσK eitH
with infinitesimal σ, it proves convenient to place eitH eitH to the left of the operator
eiσK eitH =eitH eitH
| {z }
1
eiσK eitH =eitH eitH (1 + iσK)eitH =
eitH 1+iσK[itH, K] + 1
2![itH, [itH, K]]=ei(t+σt2)HeiσK e2iσtD,(7)
where we used the fact that eiσAeiσB =eiσB eiσA for infinitesimal σ.
Taking into account the technicalities, from Eq. (5) one obtains the infinitesimal SO(2,1)-
transformations acting upon the temporal variable and the fields u(t), w(t) (each transfor-
mation is separated by semicolon)
t0=t+β, u0(t0) = u(t), w0(t0) = w(t);
t0= (1 + λ)t, u0(t0) = u(t) + λ, w0(t0) = w(t);
t0=t+σt2, u0(t0) = u(t)+2σt, w0(t0) = w(t) + eu(t)σ. (8)
3
The third step of the method consists in computing the Maurer-Cartan one-forms2
g1dg = iωHH+ iωDD+ iωKK, (9)
where
ωH=eudt, ωD=du 2weudt, ωK=dw wdu +w2eudt. (10)
By construction, they hold invariant under the group transformation (5), (8) and, hence,
provide convenient building blocks to formulate invariant equations of motion. If desirable,
they can also be used to eliminate some of the fields entering the group-theoretic element
from the consideration by imposing constraints.
In the last step of the construction, one specifies a dynamical realization of the group at
hand by choosing judiciously a combination of the Maurer-Cartan invariants which results
in a reasonable set of second order differential equations. The latter are identified with the
equations of motion of a dynamical system. This item is not straightforward and requires
guesswork. For example, if one wishes to use (10) in order to formulate one-dimensional
SO(2,1)-invariant mechanics, one imposes the constraint ωD= 0, which links wto u
w=1
2
deu
dt ,(11)
and then postulates the equation of motion [17]
ωKγ2ωH= 0,(12)
in which γis a (coupling) constant. Implementing the field redefinition u= ln ρ2, which is
meant to remove the du
dt 2-term from (12), one finally arrives at
d2ρ
dt2=γ2
ρ3,(13)
which is the conventional 1dconformal mechanics equation of motion [18].
To give another example, it is known that the Schwarzian derivative
S(ρ(t)) =
...
ρ(t)
˙ρ(t)3
2¨ρ(t)
˙ρ(t)2
,(14)
where ρ(t) is a real function and the dot designates the derivative with respect to t, holds
invariant under the SL(2, R)-transformation acting upon the argument
ρ0(t) = (t) + b
(t) + d,(15)
2Given gin (2), the inverse element is g1=eiwK eiuDeitH , while the differential reads dg =
eitH (idtH)eiuD eiwK +eitH eiuD (iduD)eiwK +eitH eiuDeiwK (idwK).
4
摘要:

Thegroup-theoreticapproachtoperfectuidequationswithconformalsymmetryAntonGalajinskyLaboratoryofAppliedMathematicsandTheoreticalPhysics,TUSUR,Leninave.40,634050Tomsk,Russiae-mail:a.galajinsky@tusur.ruAbstractThemethodofnonlinearrealizationsisaconvenienttoolforbuildingdynamicalrealiza-tionsofaLiegroup...

展开>> 收起<<
The group-theoretic approach to perfect uid equations with conformal symmetry Anton Galajinsky.pdf

共23页,预览5页

还剩页未读, 继续阅读

声明:本站为文档C2C交易模式,即用户上传的文档直接被用户下载,本站只是中间服务平台,本站所有文档下载所得的收益归上传人(含作者)所有。玖贝云文库仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。若文档所含内容侵犯了您的版权或隐私,请立即通知玖贝云文库,我们立即给予删除!

相关推荐

分类:图书资源 价格:10玖币 属性:23 页 大小:422.38KB 格式:PDF 时间:2025-05-06

开通VIP享超值会员特权

  • 多端同步记录
  • 高速下载文档
  • 免费文档工具
  • 分享文档赚钱
  • 每日登录抽奖
  • 优质衍生服务
/ 23
客服
关注