Mathematical Aspects of SU (2) and SO(3,R) Derived from Two-Mode Realization in Coordinate-Invariant Form

Some mathematical aspects of the Lie groups SU (2) and in realization by two pairs of boson annihilation and creation operators and in the parametrization by the vector parameter instead of the Euler angles and the vector parameter c of Fyodorov are developed. The one-dimensional root scheme of SU (2) is embedded in two-dimensional root schemes of some higher Lie groups, in particular, in inhomogeneous Lie groups and is represented in text and figures. The two-dimensional fundamental representation of SU (2) is calculated and from it the composition law for the product of two transformations and the most important decompositions of general transformations in special ones are derived. Then the transition from representation of SU (2) to of is made where in addition to the parametrization by vector the convenient parametrization by vector c is considered and the connections are established. The measures for invariant integration are derived for and for SU (2) . The relations between 3D-rotations of a unit sphere to fractional linear transformations of a plane by stereographic projection are discussed. All derivations and representations are tried to make in coordinate-invariant way.

Duality between Bessel Functions and Chebyshev Polynomials in Expansions of Functions

In expansions of arbitrary functions in Bessel functions or Spherical Bessel functions, a dual partner set of polynomials play a role. For the Bessel functions, these are the Chebyshev polynomials of first kind and for the Spherical Bessel functions the Legendre polynomials. These two sets of functions appear in many formulas of the expansion and in the completeness and (bi)-orthogonality relations. The analogy to expansions of functions in Taylor series and in moment series and to expansions in Hermite functions is elaborated. Besides other special expansion, we find the expansion of Bessel functions in Spherical Bessel functions and their inversion and of Chebyshev polynomials of first kind in Legendre polynomials and their inversion. For the operators which generate the Spherical Bessel functions from a basic Spherical Bessel function, the normally ordered (or disentangled) form is found.

Three- and Four-Dimensional Generalized Pythagorean Numbers

The Pythagorean triples (a, b | c) of planar geometry which satisfy the equation a2+b2=c2 with integers (a, b, c) are generalized to 3D-Pythagorean quadruples (a, b, c | d) of spatial geometry which satisfy the equation a2+b2+c2=d2 with integers (a, b, c, d). Rules for a parametrization of the numbers (a, b, c, d) are derived and a list of all possible nonequivalent cases without common divisors up to d2 is established. The 3D-Pythagorean quadruples are then generalized to 4D-Pythagorean quintuples (a, b, c, d | e) which satisfy the equation a2+b2+c2+d2=e2 and a parametrization is derived. Relations to the 4-square identity are discussed which leads also to the N-dimensional case. The initial 3D- and 4D-Pythagorean numbers are explicitly calculated up to d2, respectively, e2.

Chebyshev Polynomials with Applications to Two-Dimensional Operators

A new application of Chebyshev polynomials of second kind Un(x) to functions of two-dimensional operators is derived and discussed. It is related to the Hamilton-Cayley identity for operators or matrices which allows to reduce powers and smooth functions of them to superpositions of the first N-1 powers of the considered operator in N-dimensional case. The method leads in two-dimensional case first to the recurrence relations for Chebyshev polynomials and due to initial conditions to the application of Chebyshev polynomials of second kind Un(x). Furthermore, a new general class of Generating functions for Chebyshev polynomials of first and second kind Un(x) comprising the known Generating function as special cases is constructed by means of a derived identity for operator functions f(A) of a general two-dimensional operator A. The basic results are Formulas (9.5) and (9.6) which are then specialized for different examples of functions f(x). The generalization of the theory for three-dimensional operators is started to attack and a partial problem connected with the eigenvalue problem and the Hamilton-Cayley identity is solved in an Appendix. A physical application of Chebyshev polynomials to a problem of relativistic kinematics of a uniformly accelerated system is solved. All operator calculations are made in coordinate-invariant form.

Factorization of Cyclotomic Polynomials with Quadratic Radicals in the Coefficients

In this article we continue the consideration of geometrical constructions of regular n-gons for odd n by rhombic bicompasses and ruler used in [1] for the construction of the regular heptagon (n=7). We discuss the possible factorization of the cyclotomic polynomial in polynomial factors which contain not higher than quadratic radicals in the coefficients whereas usually the factorization of the cyclotomic polynomials is considered in products of irreducible factors with integer coefficients. In considering the regular heptagon we find a modified variant of its construction by rhombic bicompasses and ruler. In detail, supported by figures, we investigate the case of the regular tridecagon (n=13) which in addition to n=7 is the only candidate with low n (the next to this is n=769 ) for which such a construction by rhombic bicompasses and ruler seems to be possible. Besides the coordinate origin we find here two points to fix for the possible application of two bicompasses (or even four with the addition of the complex conjugate points to be fixed). With only one bicompass one has in addition the problem of the trisection of an angle which can be solved by a neusis construction that, however, is not in the spirit of constructions by compass and ruler and is difficult to realize during the action of bicompasses. As discussed it seems that to finish the construction by bicompasses the correlated action of two rhombic bicompasses must be applied in this case which avoids the disadvantages of the neusis construction. Single rhombic bicompasses allow to draw at once two circles around two fixed points in such correlated way that the position of one of the rotating points on one circle determines the positions of all the other points on the second circle in unique way. The known case n=17 embedded in our method is discussed in detail.

Boundary Conditions for Sturm-Liouville Equation with Transition Regions and Barriers or Wells

By means of expansions of rapidly in infinity decreasing functions in delta functions and their derivatives, we derive generalized boundary conditions of the Sturm-Liouville equation for transitions and barriers or wells between two asymptotic potentials for which the solutions are supposed as known. We call such expansions “moment series” because the coefficients are determined by moments of the function. An infinite system of boundary conditions is obtained and it is shown how by truncation it can be reduced to approximations of a different order (explicitly made up to third order). Reflection and refraction problems are considered with such approximations and also discrete bound states possible in nonsymmetric and symmetric potential wells are dealt with. This is applicable for large wavelengths compared with characteristic lengths of potential changes. In Appendices we represent the corresponding foundations of Generalized functions and apply them to barriers and wells and to transition functions. The Sturm-Liouville equation is not only interesting because some important second-order differential equations can be reduced to it but also because it is easier to demonstrates some details of the derivations for this one-dimensional equation than for the full three-dimensional vectorial equations of electrodynamics of media. The article continues a paper that was made long ago.

Wigner Quasiprobability with an Application to Coherent Phase States

Starting from Wigner’s definition of the function named now after him we systematically develop different representation of this quasiprobability with emphasis on symmetric representations concerning the canonical variables (q,p) of phase space and using the known relation to the parity operator. One of the representations is by means of the Laguerre 2D polynomials which is particularly effective in quantum optics. For the coherent states we show that their Fourier transforms are again coherent states. We calculate the Wigner quasiprobability to the eigenstates of a particle in a square well with infinitely high impenetrable walls which is not smooth in the spatial coordinate and vanishes outside the wall boundaries. It is not well suited for the calculation of expectation values. A great place takes on the calculation of the Wigner quasiprobability for coherent phase states in quantum optics which is essentially new. We show that an unorthodox entire function plays there a role in most formulae which makes all calculations difficult. The Wigner quasiprobability for coherent phase states is calculated and graphically represented but due to the involved unorthodox function it may be considered only as illustration and is not suited for the calculation of expectation values. By another approach via the number representation of the states and using the recently developed summation formula by means of Generalized Eulerian numbers it becomes possible to calculate in approximations with good convergence the basic expectation values, in particular, the basic uncertainties which are additionally represented in graphics. Both considered examples, the square well and the coherent phase states, belong to systems with SU (1,1) symmetry with the same index K=1/2 of unitary irreducible representations.

Sumudu Transformation or What Else Can Laplace Transformation Do

The transition from a known Taylor series ?of a known function f(x) to a new function ?primarily defined by the infinite power series ?with coefficients f(n)(0)?from the Taylor series of the function f(x)?can be made by an integral transformation which is a modified Laplace transformation and is called Sumudu transformation. It makes the transition from the Exponential series to the Geometric series and may help to evaluate new infinite power series from known Taylor series. The Sumudu transformation is demonstrated to be a limiting case of Fractional integration. Apart from the basic Sumudu integral transformation we discuss a modification where the coefficients ?from the Taylor series are not changed to f(n)(0)?but only to . Beside simple examples our applications are mainly concerned to calculate new Generating functions for Hermite polynomials from the basic ones.

About Classical to Quantum Weyl Correspondence

After developing the mathematical means for the correspondence of classical phase-space function to quantum-mechanical operators with symmetrical ordering of the basic canonical operators in the sense of Weyl the approach is applied to an infinite series of classical monomial functions of the canonical variables. These include as well as pure powers of the amplitude as also basic periodic functions of the phase φwith their quantum-mechanical correspondence. In the representation by number states, all the considered operators involve the Jacobi polynomials as the essential formative element. Whereas the quantity in normal ordering due to its indeterminacy leads to the introduction of the notions of sub- and super-Poissonian statistics the analogous quantity in (Weyl) symmetrical orderingis positive definite and satisfies an inequality. The notions of sub- and super-Poissonian statistics are problematic when they are used for the definition of nonclassicality of states since the mentioned measure in normal ordering does not determine the Poisson statistics in their middle in unique way but determines only a large set of statistics which may be very far in the sense of the Hilbert-Schmidt distance from a Poisson statistics that is discussed.

Approach to Riemann Hypothesis by Combined Commensurable Step Function Approximation with Bonnet Method

To the Riemann hypothesis, we investigate first the approximation by step-wise Omega functions Ω(u) with commensurable step lengths u0 concerning their zeros in corresponding Xi functions Ξ(z). They are periodically on the y-axis with period proportional to inverse step length u0. It is found that they possess additional zeros off the imaginary y-axis and additionally on this axis and vanish in the limiting case u0 → 0 in complex infinity. There remain then only the “genuine” zeros for Xi functions to continuous Omega functions which we call “analytic zeros” and which lie on the imaginary axis. After a short repetition of the Second mean-value (or Bonnet) approach to the problem and the derivation of operational identities for Trigonometric functions we give in Section 8 a proof for the position of these genuine “analytic” zeros on the imaginary axis by construction of a contradiction for the case off the imaginary axis. In Section 10, we show by a few examples that monotonically decreasing of the Omega functions is only a sufficient condition for the mentioned property of the positions of zeros on the imaginary axis but not a necessary one.

Two Concepts in Optics of Anisotropic Dispersive Media and Polariton Case in Coordinate-Invariant Way

Two concepts of phenomenological optics of homogeneous, anisotropic and dispersive media are compared, the younger and more general concept of media with spatial dispersion and the older concept of (bi)-anisotropic media with material tensors for electric and magnetic induction which only depend on the frequency. The general algebraic form of the polarization vectors for the electric field and their one-dimensional projection operators is discussed without the degenerate cases of optic axis for which they become two-dimensional projection operators. Group velocity and diffraction coefficients in an approximate equation for the slowly varying amplitudes of beam solutions are calculated. As special case a polariton permittivity for isotropic media with frequency dispersion but without losses is discussed for the usual passive case and for the active case (occupation inversion of two energy levels that goes in direction of laser theory) and the group velocity is calculated. For this active case, regions of frequency and wave vector with group velocities greater than that of light in vacuum were found. This is not fully understood and due to large diffraction is likely only to realize in guided resonator form. The notion of “negative refraction” is shortly discussed but we did not find agreement with its assessment in the original paper.

Correction and Supplement to Approach for a Proof of Riemann Hypothesis by Second Mean-Value Theorem

From the theorem 1 formulated in [1], a set of functions of measure zero within the set of all corresponding functions has to be excluded. These are the cases where the Omega functions Ω(u)?are piece-wise constant on intervals of equal length and non-increasing due to application of second mean-value theorem or, correspondingly, where for the Xi functions Ξ(z)?the functions Ξ(y)y are periodic functions on the imaginary axis y with?z=x+iy. This does not touch the results for the Omega function to the Riemann hypothesis by application of the second mean-value theorem of calculus and the majority of other Omega functions in the suppositions, but makes their derivation correct. The corresponding calculations together with a short recapitulation of the main steps to the basic equations for the restrictions of the mean-value functions and the application to piece-wise constant Omega functions (staircase functions) are represented.

Approach to a Proof of the Riemann Hypothesis by the Second Mean-Value Theorem of Calculus

By the second mean-value theorem of calculus (Gauss-Bonnet theorem) we prove that the class of functionswith an integral representation of the form with a real-valued function which is non-increasing and decreases in infinity more rapidly than any exponential functions , possesses zeros only on the imaginary axis. The Riemann zeta function as it is known can be related to an entire functionwith the same non-trivial zeros as . Then after a trivial argument displacement we relate it to a function with a representation of the form where is rapidly decreasing in infinity and satisfies all requirements necessary for the given proof of the position of its zeros on the imaginary axis z=iy by the second mean-value theorem. Besides this theorem we apply the Cauchy-Riemann differential equation in an integrated operator form derived in the Appendix B. All this means that we prove a theorem for zeros of on the imaginary axis z=iy for a whole class of function which includes in this way the proof of the Riemann hypothesis. This whole class includes, in particular, also the modified Bessel functions for which it is known that their zeros lie on the imaginary axis and which affirms our conclusions that we intend to publish at another place. In the same way a class of almost-periodic functions to piece-wise constant non-increasing functions belong also to this case. At the end we give shortly an equivalent way of a more formal description of the obtained results using the Mellin transform of functions with its variable substituted by an operator.

Common Properties of Riemann Zeta Function, Bessel Functions and Gauss Function Concerning Their Zeros

The behavior of the zeros in finite Taylor series approximations of the Riemann Xi function (to the zeta function), of modified Bessel functions and of the Gaussian (bell) function is investigated and illustrated in the complex domain by pictures. It can be seen how the zeros in finite approximations approach to the genuine zeros in the transition to higher-order approximation and in case of the Gaussian (bell) function that they go with great uniformity to infinity in the complex plane. A limiting transition from the modified Bessel functions to a Gaussian function is discussed and represented in pictures. In an Appendix a new building stone to a full proof of the Riemann hypothesis using the Second mean-value theorem is presented.

Operator Methods and SU(1,1) Symmetry in the Theory of Jacobi and of Ultraspherical Polynomials

Starting from general Jacobi polynomials we derive for the Ul-traspherical polynomials as their special case a set of related polynomials which can be extended to an orthogonal set of functions with interesting properties. It leads to an alternative definition of the Ultraspherical polynomials by a fixed integral operator in application to powers of the variable u in an analogous way as it is possible for Hermite polynomials. From this follows a generating function which is apparently known only for the Legendre and Chebyshev polynomials as their special case. Furthermore, we show that the Ultraspherical polynomials form a realization of the SU(1,1) Lie algebra with lowering and raising operators which we explicitly determine. By reordering of multiplication and differentiation operators we derive new operator identities for the whole set of Jacobi polynomials which may be applied to arbitrary functions and provide then function identities. In this way we derive a new “convolution identity” for Jacobi polynomials and compare it with a known convolution identity of different structure for Gegenbauer polynomials. In short form we establish the connection of Jacobi polynomials and their related orthonormalized functions to the eigensolution of the Schrödinger equation to Pöschl-Teller potentials.

Squeezed Coherent States in Non-Unitary Approach and Relation to Sub- and Super-Poissonian Statistics

After developing the concept of displaced squeezed vacuum states in the non-unitary approach and establishing the connection to the unitary approach we calculate their quasiprobabilities and expectation values in general form. Then we consider the displacement of the squeezed vacuum states and calculate their photon statistics and their quasiprobabilities. The expectation values of the displaced states are related to the expectation values of the undisplaced states and are calculated for some simplest cases which are sufficient to discuss their categorization as sub-Poissonian and super-Poissonian statistics. A large set of these states do not belong to sub- or to super-Poissonian states but are also not Poissonian states. We illustrate in examples their photon distributions. This shows that the notions of sub- and of super-Poissonian statistics and their use for the definition of nonclassicality of states are problematic. In Appendix A we present the most important relations for SU (1,1) treatment of squeezing and the disentanglement of their operators. Some initial members of sequences of expectation values for squeezed vacuum states are collected in Appendix E.

Associated Hermite Polynomials Related to Parabolic Cylinder Functions

In analogy to the role of Lommel polynomials ?in relation to Bessel functions Jv(z) the theory of Associated Hermite polynomials in the scaled form ?with parmeter v to Parabolic Cylinder functions Dv(z) is developed. The group-theoretical background with the 3-parameter group of motions M(2) in the plane for Bessel functions and of the Heisenberg-Weyl group W(2) for Parabolic Cylinder functions is discussed and compared with formulae, in particular, for the lowering and raising operators and the eigenvalue equations. Recurrence relations for the Associated Hermite polynomials and for their derivative and the differential equation for them are derived in detail. Explicit expressions for the Associated Hermite polynomials with involved Jacobi polynomials at argument zero are given and by means of them the Parabolic Cylinder functions are represented by two such basic functions.

Generalized Eulerian Numbers

We generalize the Eulerian numbers ?to sets of numbers Eμ(k,l), (μ=0,1,2,···) where the Eulerian numbers appear as the special case μ=1. This can be used for the evaluation of generalizations Eμ(k,Z) of the Geometric series G0(k;Z)=G1(0;Z) by splitting an essential part (1-Z)-(μK+1) where the numbers Eμ(k,l) are then the coefficients of the remainder polynomial. This can be extended for non-integer parameter k to the approximative evaluation of generalized Geometric series. The recurrence relations and for the Generalized Eulerian numbers E1(k,l) are derived. The Eulerian numbers are related to the Stirling numbers of second kind S(k,l) and we give proofs for the explicit relations of Eulerian to Stirling numbers of second kind in both directions. We discuss some ordering relations for differentiation and multiplication operators which play a role in our derivations and collect this in Appendices.

Optic Axes and Elliptic Cone Equation in Coordinate-Invariant Treatment

We derive for crystal optics in coordinate-invariant way the cone approximation of refraction vectors in the neighborhood of optic axes and determine its invariants and eigenvectors. It proved to describe an elliptic cone. The second invariant of the operator of the wave equation with respect to similarity transformations determines the special cases of degeneration including the optic axes where the polarization of the waves due to self-intersection of the dispersion surface is not uniquely determined. This second invariant is included in all investigations and it is taken into account in the illustrations. It is biquadratic in the refraction vectors and the corresponding forth-order surface in three-dimensional space splits in two separate shells and a non-rational product decomposition describing this is found. We give also a more general classification of all possible solutions of an equation with an arbitrary three-dimensional operator.