Related papers: An irreducible approach to second-order reducible …
Using appropriate notation systems for proofs, cut-reduction can often be rendered feasible on these notations, and explicit bounds can be given. Developing a suitable notation system for Bounded Arithmetic, and applying these bounds, all…
We consider the description of second-class constraints in a Lagrangian path integral associated with a higher-order $\Delta$-operator. Based on two conjugate higher-order $\Delta$-operators, we also propose a Lagrangian path integral with…
This letter announces and summarizes results obtained in arXiv:1111.5051 and considers several natural extensions. The aforementioned paper proposes a procedure to reconstruct coefficients in a second-order, scalar, elliptic equation from…
We give a generalization of the Jordan canonical form theorem for a class of bounded linear operators on complex separable Hilbert spaces in terms of direct integrals. Precisely, we study the uniqueness of strongly irreducible…
We prove the invariance of homogeneous second-order Hamiltonian operators under the action of projective reciprocal transformations. We establish a correspondence between such operators in dimension $n$ and $3$-forms in dimension $n + 1$.…
We propose a numerical method to approximate the solution of second order elliptic problems in nonvariational form. The method is of Galerkin type using conforming finite elements and applied directly to the nonvariational (nondivergence)…
This paper presents a class of Two-Step General Linear Methods for the numerical solution of Retarded Functional Differential Equations. Explicit methods up to order five are constructed. To avoid order reduction for mildly stiff problems…
This paper presents a class of Two-Step General Linear Methods for the numerical solution of Retarded Functional Differential Equations. Explicit methods up to order five are constructed. To avoid order reduction for mildly stiff problems…
We present particular solutions for the following important nonlinear second order differential equations: modified Emden, generalized Lienard, convective Fisher, and generalized Burgers-Huxley. For the latter two equations these solutions…
We propose a novel second-order ODE as the continuous-time limit of a Riemannian accelerated gradient-based method on a manifold with curvature bounded from below. This ODE can be seen as a generalization of the ODE derived for Euclidean…
We deal with the monadic (second-order) theory of order. We prove all known results in a unified way, show a general way of reduction, prove more results and show the limitation on extending them. We prove (CH) that the monadic theory of…
Second order linear non-autonomous differential equations with negative stiffness are considered. Using Chetaev-like (Lyapunov-like) functions, necessary (sufficient) conditions are found for the solutions to be bounded for all initial…
We present an approach to the canonical quantization of systems with equations of motion that are historically called non-Lagrangian equations. Our viewpoint of this problem is the following: despite the fact that a set of differential…
We continue the study of symmetries in the Lagrangian formalism of arbitrary order with the help of the so-called Anderson-Duchamp-Krupka equations. For the case of second-order equations and arbitrary vector fields we are able to establish…
This paper presents a canonical dual approach for solving nonconvex quadratic minimization problem. By using the canonical duality theory, nonconvex primal minimization problems over n-dimensional Lorentz cone can be transformed into…
We prove metric rigidity for complete manifolds supporting solutions of certain second order differential systems, thus extending classical works on a characterization of space-forms. In the route, we also discover new characterizations of…
In this paper, we focus on nonlinear infinite-norm minimization problems that have many applications, especially in computer science and operations research. We set a reliable Lagrangian dual aproach for solving this kind of problems in…
The purpose of this present paper is to investigate the geometric structure of regular overdetermined systems of second order with two independent and one dependent variables from the point of view of rank 2 prolongations. Utilizing this…
We consider a six dimensional gauge theory compactified on $T^2/\mathbb{Z}_2$ with magnetic flux. The configurations of models are classified by winding numbers at the fixed points. Requiring the existence of generation numbers and Yukawa…
We revisit the results on admissible transformations between normal linear systems of second-order ordinary differential equations with an arbitrary number of dependent variables under several appropriate gauges of the arbitrary elements…