Related papers: Prolongations of Geometric Overdetermined Systems
It is well known that for many semilinear parabolic equations there is a global attractor which has a cell complex structure with finite dimensional cells. Additionally, many semilinear parabolic equations have equilibria with finite…
The completely bounded trace and spectral norms, for finite-dimensional spaces, are known to be efficiently expressible by semidefinite programs (J. Watrous, Theory of Computing 5: 11, 2009). This paper presents two new, and arguably much…
We give pointwise gradient bounds for solutions of (possibly non-uniformly) elliptic partial differential equations in the entire Euclidean space. The operator taken into account is very general and comprises also the singular and…
We prove a rigidity result for Serrin's overdetermined problem in a cone that is contained in a half-space in arbitrary dimensions. In the special case where the cone is an epigraph, this result was shown previously in low dimensions with a…
In this paper, we consider a class of fully nonlinear equations on closed smooth Riemannian manifolds, which can be viewed as an extension of $\sigma_k$ Yamabe equation. Moreover, we prove local gradient and second derivative estimates for…
We prove extension-dimensional versions of finite dimensional selection and approximation theorems. As applications, we obtain several results on extension dimension.
We prove that if a linear equation, whose coefficients are continuous rational functions on a nonsingular real algebraic surface, has a continuous solution, then it also has a continuous rational solution. This is known to fail in higher…
A characterization of a semilinear elliptic partial differential equation (PDE) on a bounded domain in $\mathbb{R}^n$ is given in terms of an infinite-dimensional dynamical system. The dynamical system is on the space of boundary data for…
Understanding, finding, or even deciding on the existence of real solutions to a system of equations is a very difficult problem with many applications. While it is hopeless to expect much in general, we know a surprising amount about these…
It is shown how to define difference equations on particular lattices $\{x_n\}$, $n\in\mathbb{Z}$, made of values of an elliptic function at a sequence of arguments in arithmetic progression (elliptic lattice). Solutions to special…
We prove the existence of infinitely many solutions to an elliptic problem by borrowing the techniques from algebraic topology. The solution(s) thus obtained will also be proved to be bounded.
We formulate a division problem for a class of overdetermined systems introduced by L. H{\"o}rmander, and establish an effective divisibility criterion. In addition, we prove a coherence theorem which extends Nadel's coherence theorem from…
We provide new results on the existence of extremal solutions for discontinuous differential equations with a deviated argument which can be either delayed or advanced. The boundary condition is allowed to be discontinuous and to depend…
We apply the semidefinite programming method to derive bounds for projective codes over a finite field.
We propose a method for constructing systems of polynomial equations that define submanifolds of degenerate binary forms of an arbitrary degeneracy degree. It is appropriate to call these systems of equations "higher discriminants".
We show that if the nearly-linear time solvers for Laplacian matrices and their generalizations can be extended to solve just slightly larger families of linear systems, then they can be used to quickly solve all systems of linear equations…
In this paper, we first prove a rigidity result for a Serrin-type partially overdetermined problem in the half-space, which gives a characterization of capillary spherical caps by the overdetermined problem. In the second part, we prove…
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…
We show that if the probabilistic logarithmic-space solver or the deterministic nearly logarithmic-space solver for undirected Laplacian matrices can be extended to solve slightly larger subclasses of linear systems, then they can be use to…
We study one-dimensional integral inequalities, with quadratic integrands, on bounded domains. Conditions for these inequalities to hold are formulated in terms of function matrix inequalities which must hold in the domain of integration.…