Related papers: Linear Equations with Ordered Data
Although decidable, the marking reachability problem for Petri nets is well-known to be intractable in general, and a non-elementary lower bound has been recently uncovered. In order to alleviate this difficulty, various structural and…
The linearizability of differential equations was first considered by Lie for scalar second order semi-linear ordinary differential equations. Since then there has been considerable work done on the algebraic classification of linearizable…
We consider the problem of computing reachable sets directly from noisy data without a given system model. Several reachability algorithms are presented for different types of systems generating the data. First, an algorithm for computing…
Linear vector equations and inequalities are considered defined in terms of idempotent mathematics. To solve the equations, we apply an approach that is based on the analysis of distances between vectors in idempotent vector spaces. The…
A popular approach for addressing uncertainty in variational inequality problems is by solving the expected residual minimization (ERM) problem. This avenue necessitates distributional information associated with the uncertainty and…
Optimization problems pervade essentially every scientific discipline and industry. Many such problems require finding a solution that maximizes the number of constraints satisfied. Often, these problems are particularly difficult to solve…
For regular and nonregular (singular) semilinear differential-algebraic equations (DAEs), we prove theorems on the existence and uniqueness of global solutions and on the blow-up of solutions, which allow one to identify the sets of initial…
We give a new characterization of elementary and deterministic polynomial time computation in linear logic through the proofs-as-programs correspondence. Girard's seminal results, concerning elementary and light linear logic, achieve this…
We deal with linear programming problems involving absolute values in their formulations, so that they are no more expressible as standard linear programs. The presence of absolute values causes the problems to be nonconvex and nonsmooth,…
In this paper, an idea to solve nonlinear equations is presented. During the solution of any problem with Newton's Method, it might happen that some of the unknowns satisfy the convergence criteria where the others fail. The convergence…
Our concerns here are blow-up solutions for ODEs with exponential nonlinearity from the viewpoint of dynamical systems and their numerical validations. As an example, the finite difference discretization of $u_t = u_{xx} + e^{u^m}$ with the…
Inverse problems are in many cases solved with optimization techniques. When the underlying model is linear, first-order gradient methods are usually sufficient. With nonlinear models, due to nonconvexity, one must often resort to…
This paper talk about the complexity of computation by Turing Machine. I take attention to the relation of symmetry and order structure of the data, and I think about the limitation of computation time. First, I make general problem named…
We study the existence of fully nontrivial solutions to the system $$-\Delta u_i+ \lambda_iu_i = \sum\limits_{j=1}^\ell \beta_{ij}|u_j|^p|u_i|^{p-2}u_i\ \hbox{in}\ \Omega, \qquad i=1,\ldots,\ell,$$ in a bounded or unbounded domain $\Omega$…
A main puzzle of deep neural networks (DNNs) revolves around the apparent absence of "overfitting", defined in this paper as follows: the expected error does not get worse when increasing the number of neurons or of iterations of gradient…
General solutions of nonlinear ordinary differential equations (ODEs) are in general difficult to find although powerful integrability techniques exist in the literature for this purpose. It has been shown that in some scalar cases…
We consider the following system linearly coupled by nonlinear Schr\"odinger equations in $\R^3$ $$ \left\{\begin{array}{ll} -\Delta u_j+u_j=u^3_j-\va\sum\limits_{i\neq j}^N u_i,\{1cm}& x\in \R^3, \{0.2cm}\\ u_j\in H^1(\R^3),\quad…
Linearization of coupled second order nonlinear ordinary differential equations (SNODEs) is one of the open and challenging problems in the theory of differential equations. In this paper we describe a simple and straightforward method to…
The systems of nonlinear Volterra integral equations of the first kind with jump discontinuous kernels are studied. The iterative numerical method for such nonlinear systems is proposed. Proposed method employs the modified…
A system of singular integral equations with monotone and concave nonlinearity in the subcritical case is investigated. The specified system and its scalar analog have direct applications in various areas of physics and biology. In…