Related papers: "`Painleve 34"' equation: equivalence test
This paper deals with the solution of large classes of systems of nonlinear partial differential equations (PDEs) in spaces of generalized functions that are constructed as the completion of uniform convergence spaces. The existence result…
Two $(p,q)$-Laplace transforms are introduced and their relative properties are stated and proved. Applications are made to solve some $(p,q)$-linear difference equations.
We prove the complete intersection theorem and complete nontrivial-intersection theorem for systems of set partitions
In this paper we shall prove a sharpened version of the Finsler-Hadwiger inequality which is a strong generalization of Weitzenbock inequality. After that we give another refinement of this inequality and in the final part we provide some…
We resolve a 25 year old problem by showing that The Paving Conjecture is equivalent to The Paving Conjecture for Triangular Matrices.
The Profinite Isomorphism Problem for a class of groups \mathcal{C} asks for an algorithm that decides for any two groups in \mathcal{C} whether they have isomorphic profinite completions. We present the positive solution to this problem…
We solve the Dirichlet problem for fully nonlinear elliptic equations on Riemannian manifolds under essentially optimal structure conditions, especially with no restrictions to the curvature of the underlying manifold and the second…
This paper presents a new, significantly simpler proof of one of the main results of applied pi-calculus: the theorem that the concepts of observational and labeled equivalence of extended processes in applied pi-calculus coincide.
We compare the results of our two papers with the results of the paper Aratyn H., Gomes J.F., Zimerman A.H., Higher order Painlev\'e equations and their symmetries via reductions of a class of integrable models, J. Phys. A: Math. Theor., V.…
Conditions, related to the so-called bending problem are considered for hypersurfaces of a pseudo-Euclidean space. Corresponding theorems are proved.
We argue the integrability of the generalized KdV(GKdV) equation using the Painlev\'e test. For $d( \le 2)$ dimensional space, GKdV equation passes the Painlev\'e test but does not for $d \geq 3$ dimensional space. We also apply the…
In this short paper we show a sufficient condition for the solvability of the Dirichlet problem at infinity in Riemannian cones (as defined below).This condition is related to a celebrated result of Milnor that classifies parabolic…
In this paper two related simplification problems for systems of linear inequalities describing precedence relation systems are considered. Given a precedence relation system, the first problem seeks a minimum subset of the precedence…
We solve the metrisability problem for the six Painlev\'e equations, and more generally for all 2nd order ODEs with Painlev\'e property, and determine for which of these equations their integral curves are geodesics of a (pseudo) Riemannian…
Identities and inequalities for the cosine and sine functions are obtained.
For the equations of the form $y''=P(x,y)+3 Q(x,y) y'+3 R(x,y) {y'}^2 +S(x,y) {y'}^3$ the problem of equivalence in the class of point transformations is considered. Effective procedure for determining the class of point equivalence for the…
We prove the Levin-Ste\v{c}kin inequality using Chebyshev's inequality and symmetrization. Symmetry and slightly modified Chebyshev's inequality are also the key to an elementary proof of Clausing's inequality .
We obtain comparison theorems for non-negative solutions of quasilinear elliptic inequalities
In this paper we consider the congruence equation $q_1 q_2 \equiv c \pmod q$ with $a < q_1 \leq a + q^{1/2+\epsilon}$ and $b < q_2 \leq b + q^{1/2+\epsilon}$ and show that it has solution for almost all $a$ and $b$. Then we apply it to a…
In this work, we introduce the notion of regularization of bifunctions in a similar way as the well- known convex, quasiconvex and lower semicontinuous regularizations due to Crouzeix. We show that the Equilibrium Problems associated to…