Integrability Formulas. Part II

In this article, we give several differentiation and integrability formulas of special and composite functions including trigonometric function, and polynomial function.Li Bo - Qingdao University of Science and Technology, ChinaMa Na - Qingdao University of Science and Technology, ChinaLiang Xiquan - Qingdao University of Science and Technology, ChinaCzesław Byliński. Partial functions. Formalized Mathematics, 1(2):357-367, 1990.Noboru Endou and Artur Korniłowicz. The definition of the Riemann definite integral and some related lemmas. Formalized Mathematics, 8(1):93-102, 1999.Noboru Endou, Katsumi Wasaki, and Yasunari Shidama. Definition of integrability for partial functions from R to R and integrability for continuous functions. Formalized Mathematics, 9(2):281-284, 2001.Krzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35-40, 1990.Jarosław Kotowicz. Convergent real sequences. Upper and lower bound of sets of real numbers. Formalized Mathematics, 1(3):477-481, 1990.Jarosław Kotowicz. Partial functions from a domain to a domain. Formalized Mathematics, 1(4):697-702, 1990.Jarosław Kotowicz. Partial functions from a domain to the set of real numbers. Formalized Mathematics, 1(4):703-709, 1990.Jarosław Kotowicz. Real sequences and basic operations on them. Formalized Mathematics, 1(2):269-272, 1990.Jarosław Kotowicz. The limit of a real function at infinity. Formalized Mathematics, 2(1):17-28, 1991.Xiquan Liang and Bing Xie. Inverse trigonometric functions arctan and arccot. Formalized Mathematics, 16(2):147-158, 2008, doi:10.2478/v10037-008-0021-3.Konrad Raczkowski. Integer and rational exponents. Formalized Mathematics, 2(1):125-130, 1991.Konrad Raczkowski and Paweł Sadowski. Real function continuity. Formalized Mathematics, 1(4):787-791, 1990.Konrad Raczkowski and Paweł Sadowski. Real function differentiability. Formalized Mathematics, 1(4):797-801, 1990.Konrad Raczkowski and Paweł Sadowski. Topological properties of subsets in real numbers. Formalized Mathematics, 1(4):777-780, 1990.Yasunari Shidama. The Taylor expansions. Formalized Mathematics, 12(2):195-200, 2004.Andrzej Trybulec and Czesław Byliński. Some properties of real numbers. Formalized Mathematics, 1(3):445-449, 1990.Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.Yuguang Yang and Yasunari Shidama. Trigonometric functions and existence of circle ratio. Formalized Mathematics, 7(2):255-263, 1998

Several Integrability Formulas of Special Functions. Part II

In this article, we give several differentiation and integrability formulas of special and composite functions including the trigonometric function, the hyperbolic function and the polynomial function [3].Bo Li - Qingdao University of Science and Technology, ChinaYanping Zhuang - Qingdao University of Science and Technology, ChinaYanhong Men - Qingdao University of Science and Technology, ChinaXiquan Liang - Qingdao University of Science and Technology, Chin

Intertwining operator for AG2AG_2 Calogero-Moser-Sutherland system

We consider generalised Calogero-Moser-Sutherland quantum Hamiltonian $H$ associated with a configuration of vectors $AG_2$ on the plane which is a union of $A_2$ and $G_2$ root systems. The Hamiltonian $H$ depends on one parameter. We find an intertwining operator between $H$ and the Calogero-Moser-Sutherland Hamiltonian for the root system $G_2$. This gives a quantum integral for $H$ of order 6 in an explicit form thus establishing integrability of $H$.Comment: 24 page

Integrable Systems and Discrete Geometry

This is an expository article for Elsevier's Encyclopedia of Mathematical Physics on the subject in the title. Comments/corrections welcome.Comment: 22 pages, 7 figure

Reproducing formulas for generalized translation invariant systems on locally compact abelian groups

In this paper we connect the well established discrete frame theory of generalized shift invariant systems to a continuous frame theory. To do so, we let $\Gamma_j$, $j \in J$, be a countable family of closed, co-compact subgroups of a second countable locally compact abelian group $G$ and study systems of the form $\cup_{j \in J}\{g_{j,p}(\cdot - \gamma)\}_{\gamma \in \Gamma_j, p \in P_j}$ with generators $g_{j,p}$ in $L^2(G)$ and with each $P_j$ being a countable or an uncountable index set. We refer to systems of this form as generalized translation invariant (GTI) systems. Many of the familiar transforms, e.g., the wavelet, shearlet and Gabor transform, both their discrete and continuous variants, are GTI systems. Under a technical $\alpha$ local integrability condition ($\alpha$-LIC) we characterize when GTI systems constitute tight and dual frames that yield reproducing formulas for $L^2(G)$. This generalizes results on generalized shift invariant systems, where each $P_j$ is assumed to be countable and each $\Gamma_j$ is a uniform lattice in $G$, to the case of uncountably many generators and (not necessarily discrete) closed, co-compact subgroups. Furthermore, even in the case of uniform lattices $\Gamma_j$, our characterizations improve known results since the class of GTI systems satisfying the $\alpha$-LIC is strictly larger than the class of GTI systems satisfying the previously used local integrability condition. As an application of our characterization results, we obtain new characterizations of translation invariant continuous frames and Gabor frames for $L^2(G)$. In addition, we will see that the admissibility conditions for the continuous and discrete wavelet and Gabor transform in $L^2(\mathbb{R}^n)$ are special cases of the same general characterizing equations.Comment: Minor changes (v2). To appear in Trans. Amer. Math. So

Classification of the Killing Vectors in Nonexpanding HH-Spaces with Lambda

Conformal Killing equations and their integrability conditions for nonexpanding hyperheavenly spaces with Lambda are studied. Reduction of ten Killing equations to one master equation is presented. Classification of homothetic and isometric Killing vectors in nonexpanding hyperheavenly spaces with Lambda and homothetic Killing vectors in heavenly spaces is given. Some nonexpanding complex metrics of types [III,N]x[N] are found. A simple example of Lorentzian real slice of the type [N]x[N] is explicitly given

Integrability of the Pentagram Map

The pentagram map was introduced by R. Schwartz in 1992 for convex planar polygons. Recently, V. Ovsienko, R. Schwartz, and S. Tabachnikov proved Liouville integrability of the pentagram map for generic monodromies by providing a Poisson structure and the sufficient number of integrals in involution on the space of twisted polygons. In this paper we prove algebraic-geometric integrability for any monodromy, i.e., for both twisted and closed polygons. For that purpose we show that the pentagram map can be written as a discrete zero-curvature equation with a spectral parameter, study the corresponding spectral curve, and the dynamics on its Jacobian. We also prove that on the symplectic leaves Poisson brackets discovered for twisted polygons coincide with the symplectic structure obtained from Krichever-Phong's universal formula.Comment: 33 pages, 1 figure; v3: substantially revise

Integrable lattices and their sublattices II. From the B-quadrilateral lattice to the self-adjoint schemes on the triangular and the honeycomb lattices

An integrable self-adjoint 7-point scheme on the triangular lattice and an integrable self-adjoint scheme on the honeycomb lattice are studied using the sublattice approach. The star-triangle relation between these systems is introduced, and the Darboux transformations for both linear problems from the Moutard transformation of the B-(Moutard) quadrilateral lattice are obtained. A geometric interpretation of the Laplace transformations of the self-adjoint 7-point scheme is given and the corresponding novel integrable discrete 3D system is constructed.Comment: 15 pages, 6 figures; references added, some typos correcte