相关论文: Integrability in Finite Terms And Actions of Lie G…

The First and Second Liouville's Theorems provide correspondingly criterium for integrability of elementary functions "in finite terms" and criterium for solvability of second order linear differential equations by quadratures. The…

Let $k$ be a differential field of characteristic zero and the field of constants $C$ of $k$ be an algebraically closed field. Let $E$ be a differential field extension of $k$ having $C$ as its field of constants and that $E=E_m\supseteq…

We extend the theorem of Liouville on integration in finite terms to include dilogarithmic integrals. The results provide a necessary and sufficient condition for an element of the base field to have an antiderivative in a field extension…

Differential Galois theory has played important roles in the theory of integrability of linear differential equation. In this paper we will extend the theory to nonlinear case and study the integrability of the first order nonlinear…

If $\mathfrak{g} \subseteq \mathfrak{h}$ is an extension of Lie algebras over a field $k$ such that ${\rm dim}_k (\mathfrak{g}) = n$ and ${\rm dim}_k (\mathfrak{h}) = n + m$, then the Galois group ${\rm Gal} \, (\mathfrak{h}/\mathfrak{g})$…

We present a new, short and independent proof of the Liouville-type theorem for entire and subharmonic functions of finite order bounded outside some set of zero planar density.

We obtain an entire Liouville type theorem to the classical semilinear subcritical elliptic equation on Heisenberg group. A pointwise estimate near the isolated singularity was also proved. The soul of the proofs is an a priori integral…

We study a Sturm-Liouville type eigenvalue problem for second-order differential equations on the infinite interval. Here the eigenfunctions are nonzero solutions exponentially decaying at infinity. We prove that at any discrete eigenvalue…

In this paper, we are concerned with a Liouville-type result of the nonlinear integral equation \begin{equation*} u(x)=\overrightarrow{l}+C_*\int_{\mathbb{R}^{n}}\frac{u(1-|u|^{2})}{|x-y|^{n-\alpha}}dy. \end{equation*} Here $u:…

We present a simple proof of the fundamental theorem of Galois theory, which establishes a correspondence between the intermediate fields of a finite Galois extension and the subgroups of its Galois group. The proof is based on the…

We establish a criterion for when an abelian extension of infinite-dimensional Lie algebras integrates to a corresponding Lie group extension $\hat{G}$ of $G$ by $A$, where $G$ is a connected, simply connected Lie group and $A$ is a…

This article shows a very elementary and straightforward proof of the Implicit Function Theorem for differentiable maps $F(x,y)$ defined on a finite-dimensional Euclidean space. There are no hypothesis on the continuity of the partial…

Liouville property of actions of discrete groups can be reformulated in terms of existence co-F$\o$lner sets. Since every action of amenable group is Liouville, the property can be served as an approach for proving non-amenability. The…

The classical Liouvile integrability means that there exist $n$ independent first integrals in involution for $2n$-dimensional phase space. However, in the infinite-dimensional case, an infinite number of independent first integrals in…

In this paper we will give a computation of the \'{e}tale fundamental group of an integral arithmetic scheme. For such a scheme, we will prove that the \'{e}tale fundamental group is naturally isomorphic to the Galois group of the maximal…

Over a smooth and proper complex scheme, the differential Galois group of an integrable connection may be obtained as the closure of the transcendental monodromy representation. In this paper, we employ a completely algebraic variation of…

We provide an algebraic characterization of transitive, finite-dimensional algebraic Lie pseudogroups (or $\mathcal{D}$-groupoids) that are algebraic integrable, that is, isogenous to the action groupoid of an algebraic group action. Our…

We develop techniques at the interface between differential algebra and model theory to study the following problems of exponential algebraicity: Does a given algebraic differential equation admits an exponentially algebraic solution, that…

We classify the finite groups whose non-linear irreducible characters that are not conjugate under the natural Galois action have distinct degrees, therefore extending the results in Berkovich et al. [Proc. Amer. Math. Soc. {\bf 115}…

We describe a project to formalize Galois theory using the Lean theorem prover, which is part of a larger effort to formalize all of the standard undergraduate mathematics curriculum in Lean. We discuss some of the challenges we faced and…