Related papers: "`Painleve 34"' equation: equivalence test
Continuously symmetric solutions of the Adler-Bobenko-Suris class of discrete integrable equations are presented. Initially defined by their invariance under the action of both of the extended three point generalized symmetries admitted by…
We provide elementary and accurate numerical solutions to the differential-difference equation, which improves an explicit version of the linear sieve given by Nathanson.
Two curves are affinely equivalent if there exists an affine mapping transforming one of them onto the other. Thus, detecting affine equivalence comprises, as important particular cases, similarity, congruence and symmetry detection. In…
It is shown that all PDM Schroedinger equations admitting more than five dimensional Lie symmetry algebras (whose completed list can be found in paper~[{\it J.~Math. Phys.} {\bf 58}, , 083508 (2017)] are exactly solvable. The corresponding…
A new three-dimensional second-order nonlinear wave equation is introduced which passes the Painleve test for integrability and possesses KdV-type multisoliton solutions. Lax integrability of this equation remains unknown.
Under structural conditions which are almost optimal, we derive a quantitative version of boundary estimate then prove existence of solutions to Dirichlet problem for a class of fully nonlinear elliptic equations on Hermitian manifolds.
We provide a new and simple proof based on Harnack's inequality to the Lipschitz continuity of the solutions of a class of free boundary problems.
This paper establishes an equivalence between the halting problem in computability theory and the convergence of power series in mathematical analysis.
B\"acklund transformations are applied to study the Gross-Pitaevskii equation. Supported by previous results, a class of B\"acklund transformations admitted by this equation are constructed. Schwartzian derivative as well as its invariance…
Any satisfiability problem in conjunctive normal form can be solved in polynomial time by reducing it to a 3-sat formulation and transforming this to a Linear Complementarity problem (LCP) which is then solved as a linear program (LP). Any…
We evaluate the total integral from negative infinity to positive infinity of all global solutions to the Painleve II equation on the real line. The method is based on the interplay between one of the equations of the associated Lax pair…
In this paper we obtain an algorithm towards solving the two-dimensional moment problem. This algorithm gives the necessary and sufficient conditions for the solvability of the moment problem. It is shown that all solutions of the moment…
In this paper we will study the equivalence between super-Poincar\'e inequality and some log-Sobolev type inequalities, including weak log-Sobolev inequality and super log-Sobolev inequality. The explicit relations between associated rate…
This paper gives a self-contained, elementary, and largely pictorial statement of Einstein's equation.
It is shown that the question raised in Section 5.7 of [1] has an affirmative answer.
In this paper, we prove some isoperimetric inequalities and give a sharp bound for the positive solution of sublinear elliptic equations.
In this paper, by making use of one of Chen's theorems and the method of mathematical analysis, we refine Edwards-Child's inequality and solve a conjecture posed by Liu.
This paper describes infinite sets of polynomial equations in infinitely many variables with the property that the existence of a solution or even an approximate solution for every finite subset of the equations implies the existence of a…
In this paper, we prove that the inverse problems for 2D elasticity and for the thin plate with boundary data (finite or full measurements) are equivalent. Having proved this equivalence, we can solve inverse problems for the plate equation…
We consider linear systems of equations and inequalities with coefficients varying inside given intervals. We define their solutions (so called AE solutions) and solvability (so called AE solvability) by using forall-exists quantification…