User:EfimovSP
Harmonical tensors
[edit]Formula
[edit]As a rule, harmonic functions are useful in theoretical physics to consider fields in far-zone when distance from charges is much further than size of their location. In that case, radius R is constant and coordinates (θ,φ) are convenient to use. Theoretical physics considers many problems when solution of Laplace's equation is needed as a function of Сartesian coordinates. At the same time, it is important to get invariant form of solutions relatively to rotation of space or generally speaking, relatively to group transformations.[1][2][3][4] The simplest tensor solutions- dipole , quadrupole and octupole potentials are fundamental concepts of general physics:
- , ,.
It is easy to verify that they are the harmonic functions. Total set of tensors is defined by Taylor series of point charge field potential for :
- ,
where tensor is denoted by symbol and convolution of the tensors is in the brackets [...]. Therefore, the tensor is defined by l-th tensor derivative:
James Clerk Maxwell used similar considerations without tensors naturally.[5] E. W. Hobson analysed Maxwell's method as well.[6] One can see from the equation following properties that repeat mainly those of solid and spherical functions.
- Tensor is the harmonic polynomial i. e. .
- Trace over each two indices is zero, as far as .
- Tensor is homogeneous polynomial of degree i.e. summed degree of variables x, y, z of each item is equal to .
- Tensor has invariant form under rotations of variables x,y,z i.e. of vector .
- Total set of potentials is complete.
- Convolution of with tensor is proportional to convolution of two harmonic potentials:
Formula for harmonical invariant tensor was found in paper [7]. Detailed description is given in monography [8]. Formula contains products of tensors and Kronecker symbols :
- .
Quantity of Kronecker symbols is increased by two in the product of each following item when rang of tensor is reduced by two accordingly. Operation symmetrizes tensor by means of all independent permutations of indices with following summing of got items. Particularly, don't need to be transformed into and tensor don't go into .
Regarded tensors are convenient to substitute to Laplace equation:
- .
The last relation is Euler formula for homogeneous polynomials actually. Laplace operator leaves the indices symmetry of tensors. The two relations allows to substitute found tensor into Laplace equation and to check straightly that tensor is the harmonical function:
- .
Simplified moments
[edit]The last property is important for theoretical physics for the following reason. Potential of charges outside of their location is integral to be equal to the sum of multipole potentials:
- ,
where is the charge density. The convolution is applied to tensors in the formula naturally. Integrals in the sum are called in physics as multipole moments. Three of them are used actively while others applied less often as their structure (or that of spherical functions) is more complicated. Nevertheless, last property gives the way to simplify calculations in theoretical physics by using integrals with tensor instead of harmonical tensor . Therefore, simplified moments give the same result and there is no need to restrict calculations for dipole, quadrupole and octupole potentials only. It is the advantage of the tensor point of view and not the only that.
Efimov's ladder operator
[edit]Spherical functions have a few recurrent formulas.[9]. In quantum mechanics recurrent formulas plays a role when they connect functions of quantum states by means of a ladder operator.The property is occured due to symmetry group of considered system. The vector ladder operator for the invariant harmonical states found in paper [7] and detailed in [8].
- For that purpose, transformation of 3-d space is applied that conserves form of Laplace equation:
- .
When operator is applied to the harmonical tensor potential in -space then Efimov's ladder operator acts on transformed tensor in -space:
- ,
where is operator of module of angular momentum:
- .
Operator multiplies harmonic tensor by its degree i.e. by if to recall according spherical function for quantum numbers , . To check action of the ladder operator , one can apply it to dipole and quadrupole tensors:
- ,
- .
Applying successively to we get general form of invariant harmonic tensors:
- .
The operator analogous to the oscillator ladder operator. To trace relation with a quantum operator it is useful to multiply it by to go to reversed space:
- .
As a result, operator goes in -space into the operator of momentum:
- .
It is useful to apply the following properties of . Commutator of the coordinate operators is zero:
- .
The scalar operator product is zero in the space of harmonical functions:
- .
The property gives zero trace of the harmonical tensor over each two indices. The ladder operator is analogous for that in problem of the quantum oscillator. It generates Glauber states those are created in the quantum theory of electromagnetic radiation fields. [10] It was shown later as theoretical result that the coherent states are intrinsic for any quantum system with a group symmetry to include the rotational group. [11].
Invariant form of spherical harmonics
[edit]Spherical harmonics accord with the system of coordinates. Let be the unit vectors along axises X, Y, Z. Denote following unit vectors as and :
- .
Using the vectors, the solid harmonics are equal to:
- =
where is the constant:
Angular momentum is defined by the rotational group. The mechanical momentum is related to the translation group. The ladder operator is the mapping of momentum upon inversion 1/r of 3-d space. It is raising operator. Lowering operator here is the gradient naturally together with partial convolution over single indice to leave others:
References
[edit]- ^ Efimov Sergei P.; Muratov Rodes Z. (1990). "Theory of multipole representation of the potentialsod an ellipsoid. Tensor porentials". Astron. Zh. 67 (2): 152–157.
{{cite journal}}
: CS1 maint: multiple names: authors list (link) - ^ Efimov Sergei P., Muratov Rodes Z. (1990). "Theory of multipole representation of the potentials of an ellipsoid.Moments". Astron. Zh. 67 (2): 157–162.
- ^ Buchbinder I.L. and Shapiro I.L. (1990). "On the renormalization group equations in curved spacetime with the torsion". Classical and quantum gravity. 7 (7): 1197. doi:10.1088/0264-9381/7/7/015.
- ^ Kalmykov M. Yu., Pronin P.I. (1991). "One-loop effective action in gauge gravitational theory". Il Nuovo Cimento B, Series 11. 106 (12): 1401. doi:10.1007/BF02728369.
- ^ Maxwell, James Clerk (1892). A treatise on Electricity & Magnetism. N. Y.: Dover Publications Inc. 1954. pp. ch.9.
- ^ Hobson, E. W. (2012). The Theory of Spherical and Ellipsoidal Harmonics. Cambridge: Cambridge Academ. ISBN 1107605113.
- ^ a b Efimov, Sergei P. (1979). "Transition operator between multipole states and their tensor structure". Theoretical and Mathematical Physics. 39 (2): 425–434. doi:10.1007/BF01014921.
- ^ a b Muratov, Rodes Z. (2015). Multipoles and Fields of Ellipsoid. Moscow: Izd. Dom MISIS. pp. 142–155. ISBN 978-5-600-01057-4.
- ^ Vilenkin, N. Ja. (1968). Special functions and the theory of Group Representations. Am. Math. Society. ISBN 13: 9780821815724.
{{cite book}}
: Check|isbn=
value: invalid character (help) - ^ Glauber, Roy J. (1963). "Coherent and Incoherent States of the Radiation Field". Physical Review (APS). 131 (6): 2766–2788. doi:10.1103/physrev.131.2766.
- ^ Perelomov, A. M. (1972). math-ph /0203002 "Coherent states for arbitrary Lie groups". Commun. Math. Phys. 26: 222–236.
{{cite journal}}
: Check|url=
value (help)
Black-body in the theory of diffraction
[edit]Macdonald's model
[edit]The concept of black-body was formulated initially for size of it to be much less than the wave length. To say about diffraction the method of geometrical optics is valid then. To apply the Plank law for emitting of black body one has to regard the restriction:
- ,
where is the characteristic size of object. In 20-th age, the series of attempts was taken to find approach that is valid for any wave length - similar to ideal reflecting surface. In that case, an according mathematical condition has to be formulated on surface of black-body. [1] As to be known, impedance matching is effective for the only angle of incidence. In 1911, Macdonald H.M. proposed nearly self-evident approach. [2] He used two well formulated problems in electrodynamics- that of reflection from ideal metal:
- ,
and that of reflection from ideal magnetic:
- .
Half-sum of solutions is the field around the black-body in Macdonald's model. The approach is clear in the scope of the geometrical optics. Two reflected rays have equal amplitudes of opposite signs and cancel each other. Therefore, the convex surface does not reflect rays at all. At the same time, surface forming convex and concave parts of surface allows double reflections. The second reflections have equal amplitudes of two rays what does not accord to black-body concept. Consequently, Macdonald's model is reasonable for the convex surface only. Diagrams of scattered fields around black ball for Macdonald's model are calculated on the base of Maxwell's equations in monography [1].
Adjunct space
[edit]Sommerfeld proposed to consider black flat screen as surface of continued space what is analogous to procedure in the theory of complex analysis. Therefore, the problem is got to be spacious instead of surface one. [3]
The idea to continue physical space was developed later. In 1978, Sergei P. Efimov from Bauman Moscow State Technical University found that Macdonald's model is equivalent to that with symmetrical adjunct space. [4] The spaces are connected formally on the surface of black-body. Actually, two problems are considered outside of the surface. One is with charges and currents, other is without that. Boundary conditions on the surface equate tangential components of electric and magnetic fields of two problems with changing sign of the magnetic component. In such a way, electric field in physical space is equal to half-sum of solutions of two problems for ideal reflecting surfaces:
- (in physical space),
where is field from problem for ideal metal and is the field from problem for ideal magnetic. In the adjunct space, where no charges and currents, the sought electric field is equal to the difference of the same fields:
- (in adjunct space).
The concept of adjunct space proves that Macdonald's model is physically correct for all frequencies. The causality holds in the approach and considerations of scatter of wave packs is acceptable. From symmetry of physical anf adjunct spaces follows two electrodynamical theorems:
- In state of the heat equilibrium, heat fluxes from surface in physical and adjunct spaces are equal to each other.
- Scattered field from thin black disc is equal to that from hole in flat thin screen (Babine's principle).
Macdonald's model and Efimov's consideration are valid for equations of acoustics, to equations of hydrodynamics, to diffusion equation. It should be noticed that half-sum of two subsidiary solutions is valid for linear equations only. It is clear that theoretical model needs a way for realizations. [5] [6] The concept of adjunct space can be applied to the black hole in theory of gravitation. The famous Schwarzschild metric looks mathematically simple:
- ,
where is radius-vector, is the Schwarzschild radius i.e. radius of black-hole. From point of view of concept based on the adjunct space , it is useful to apply the following transformation of physical space:[7]
- ,
where is radius of sphere that adjunct space is attached to. As to be known, it is inversion in sphere. Radius is taken to give the Schwarzschild metrics again:
- .
Therefore, the black hole can be considered as the connection of two symmetrical spaces on the surface of ball of radius . Adjunct space has the same Schwarzschild metrics. In that case, well known singularity is disappeared.
Black-body of arbitrary form
[edit]Non-reflecting chamber has absolutely absorbing walls. Regarding physical picture, adjunct space now is simply the surrounding space as far as the walls are missed. Therefore, adjunct spaces for the totally convex surface and concave one are identical. The adjunct space is continued along normal directed into side of convexity of surface. Details are described in the paper. [4] The equivalent electrodynamical problem can be formulated on the base of boundary condition. It analogous to the impedance matching. Nevertheless, the boundary condition binds tangential components of electric and magnet fields not in the point but on all surface. The condition is based on Stratton - Chu formula.[8][9]
To demonstrate approach, it is useful to deduce boundary condition for scalar problem when Helmholtz equation is valid. Fields on the surface are bound by Green's function in two points and :
Let be charges (or radiation sources) are placed in non-reflecting chamber i.e. in free space. Green's formula defines field in adjunct space by boundary values on the surface of non-reflecting chamber. Upon sending argument on the surface, formula gives boundary condition:
The surface integral is calculated in the sense of Hadamard regularization. Normal is directed outside of chamber i.e. in side of convexity of surface.
Boundary condition for convex black-body (for example ball) differes by sign of first item in the integral as far as derivative changes sign on the surface for going from physical space to adjunct one. Normal is directed outside of black-body. At last, boundary condition for arbitrary surface, containing convex and concave parts, conserves its form under requirement that first sign is (+) for convex part and sign (-) for concave that.
Runge-Lenz Operator in Momentum Space
[edit]Runge-Lenz operator in the momentum space was found recently in [10] [11]. Formula for the operator is simplier than in the position space:
where "degree operator"
multiplies a homogeneous polynomial by its degree.
References
[edit]- ^ a b Zakhariev, Lev N., Lemanskii, Aleksander A., . (1972). Scattering of Waves by 'Black' Bodies. Moscow: Sovetskoje Radio, BBK: B343.132.0 [in Russian]. p. 288.
{{cite book}}
:|first1=
has numeric name (help)CS1 maint: multiple names: authors list (link) - ^ Macdonald, Hector Muaro (1912). "The Effect Produced by an Obstacle on a Train of Electric Waves (A Perfectly Absorbing Obstacle)". Philosophical Transactions of the Royal Society of London. 212 (Series A): 484–496.
- ^ Sommerfeld, Arnold (1901). >wiki>Zeitschrift_für_Ma "Theoretishes über die Beugung der Röntgen Strahlen". Zeitchrift für Mathematik und Physik- Wikisource. Band 46: ss.11-97.
- ^ a b Efimov, Sergei P. (1978). "Absolutely black-body in diffraction theory". Radio Engineering & Electronic Physics. 23 (Jan.): 6–13. Stanford libraries 621.38405.R(33)
- ^ Efimov, Sergei P. (1978). "Compression of electromagnetic waves by anisotropic medium ('Non-reflecting crystal model')". Radiophysics and Quantum Electronics. 21 (9): 916–920. doi:10.1007/BF01031726.
- ^ Efimov, Sergei P. (1979). 234-238.pdf "Compression of waves by artificial anisotropic medium" (PDF). Acoustical journal. 25 (2): 234–238.
{{cite journal}}
: Check|url=
value (help) - ^ Cite error: The named reference
Efimov
was invoked but never defined (see the help page). - ^ Stratton, J.A., Chu, L.J. (1939-07-01). "Diffraction Theory of Electromagnetic Waves". Physical Review, Am. Phys. Soc. 56 (1): 99–107. doi:10.1103/physrev.56.99.
{{cite journal}}
: CS1 maint: multiple names: authors list (link) - ^ Jackson, John David (1999). Classical Electrodynamics (3-th ed.). John Wiley&Sons Ltd.,OCLC 925677836. ISBN 0-471-30932-X.
- ^ Efimov, S.P. (2022). "Coordinate space modification of Fock's theory. Harmonic tensors in the quantum Coulomb problem". Physics-Uspekhi. 65 (9): 952–967. doi:10.3367/UFNe.2021,04.038966.
- ^ Efimov, S.P. (2023). "Runge-Lenz Operator in the Momentum Space". JETP Letters. 117 (9): 716–720. doi:10.1134/S0021.364023600635.
The Efimov inequality by Pauli matrices
[edit]In 1976, Sergei P. Efimov deduced an inequality that refines the Robertson relation by applying high-order commutators. [1] His approach is based on the Pauli matrices. Later V.V. Dodonov used the method to derive relations for a several observables by using Clifford algebra. [2] [3]
According to Jackiw, [4] the Robertson uncertainty is valid only when the commutator is C-number. The Efimov method is effective for variables that have commutators of high-order - for example for the kinetic energy operator and for coordinate one. Consider two operators and that have commutator :
To shorten formulas we use the operator deviations:
- ,
when new operators have the zero mean deviation. To use the Pauli matrices we can consider the operator:
where 2×2 spin matrices have commutators:
where antisymmetric symbol. They act in the spin space independently from . Pauli matrices define the Clifford algebra. We take arbitrary numbers in operator to be real.
Physical square of the operator is equal to:
where is adjoint operator and commutators and are following:
Operator is positive-definite, what is essential to get an inequality below . Taking average value of it over state , we get positive-definite matrix 2×2:
where used the notion:
and analogous one for operators . Regarding that coefficients are arbitrary in the equation, we get the positive-definite matrix 6×6. Its leading principal minors are non-negative. The Robertson uncertainty follows from minor of forth degree. To strengthen result we calculate determinant of sixth order:
The equality is observed only when the state is an eigenstate for the operator and likewise for the spin variables:
- = 0.
Found relation we may apply to the kinetic energy operator and for operator of the coordinate :
In particular, equality in the formula is observed for the ground state of the oscillator, whereas the right item of the Robertson uncertainty vanishes:
- .
Physical sence of the relation is more clear if to divide it by the squared nonzero average impulse what yields:
where is squared effective time within which a particle moves near the mean trajectory.
The method can be applied for three noncomuting operators of angular momentum . We compile the operator:
We recall that the operators are auxiliary and there is no relation between the spin variables of the particle. In such way, their commutative properties are of importance only. Squared and averaged operator gives positive-definite matrix where we get following inequality from:
To develop method for a group of operators one may use the Clifford algebra instead of the Pauli matrices [3].
References
[edit]- ^ Efimov, Sergei P. (1976). "Mathematical Formulation of Indeterminacy Relations". Russian Physics journal (3): 95–99. doi:10.1007/BF00945688.
- ^ Dodonov, V.V. (2019). "Uncertainty relations for several observables via the Clifford algebras". Journal of Physics: Conference Series. 1194 012028.
- ^ a b Dodonov, V. V. (2018). "Variance uncertainty relations without covariances for three and four observables". Physical Review A. 37 (2): 022105. doi:10.1103/PhysRevA97.022105.
- ^ Cite error: The named reference
Jackiw
was invoked but never defined (see the help page).