Related papers: The H\'enon-Lane-Emden system: a sharp nonexistenc…
We introduce a new method for proving the nonexistence of positive supersolutions of elliptic inequalities in unbounded domains of $\mathbb{R}^n$. The simplicity and robustness of our maximum principle-based argument provides for its…
We prove existence, non-degeneracy, and exponential decay at infinity of a non-trivial solution to Emden's equation $-\Delta u = | u |^3$ on an unbounded $L$-shaped domain, subject to Dirichlet boundary conditions. Besides the direct value…
We study a general class of quasilinear elliptic equations with nonstandard growth to prove the existence of a very weak solution to such a problem. A key ingredient in the proof is a priori global weighted gradient estimate of a very weak…
In this work, we provide some novel results that establish both the existence of Henig global proper efficient points and their density in the efficient set for vector optimization problems in arbitrary normed spaces. Our results do not…
We establish a non-explosion result for rough differential equations (RDEs) in which the noise and drift coefficients, together with their derivatives, may grow unboundedly at infinity. In addition, we prove the existence of a global…
The main result shows a small perturbation of a univalent function is again a univalent function, hence a univalent function has a neighborhood consisting entirely of univalent functions. For the particular choice of a linear function in…
We prove nonexistence of nontrivial bounded solutions to some nonlinear problems involving nonlocal operators of the form \[Lu(x)=\sum a_{ij}\partial_{ij}u+{\rm PV}\int_{\R^n}(u(x)-u(x+y))K(y)dy.\] These operators are infinitesimal…
In this Part I, we shall prove the consistency of arithmetic without complete induction from a point of view of strong negation, using its embedding to the tableau system $\bf SN$ of constructive arithmetic with strong negation without…
This paper proves global existence and sharp pointwise decay for solutions to nonlinear wave equations satisfying the semilinear null condition, on a class of three-dimensional, asymptotically flat, and notably, non-stationary spacetimes.…
We examine the notion of strongly non-zero points and use it as a tool in the study of several types of elliptic pseudoprimes. Moreover, we give give some probabilistic results about the existence of strong elliptic pseudoprimes for a…
We introduce the notion of lef line bundles on a complex projective manifold. We prove that lef line bundles satisfy the Hard Lefschetz Theorem, the Lefschetz Decomposition and the Hodge-Riemann Bilinear Relations. We study proper…
This paper is devoted to study a nonlinear wave equation with boundary conditions of two-point type. First, we state two local existence theorems and under suitable conditions, we prove that any weak solutions with negative initial energy…
We consider the following supercritical problem for the Lane-Emden system: \begin{equation}\label{eq00} \begin{cases} -\Delta u_1=|u_2|^{p-1}u_2\ &in\ D,\\ -\Delta u_2=|u_1|^{q-1}u_1 \ &in\ D,\\ u_1=u_2=0\ &on\ \partial D, \end{cases}…
We show that Sturm's classical separation theorem on the interlacing of the zeros of linearly independent solutions of real second order two-term ordinary differential equations necessarily fails in the presence of a unique turning point in…
We study the initial value problem associated to a perturbation of the Benjamin-Ono equation or Chen-Lee equation. We prove that results about local and global well-posedness for initial data in $H^s(R)$, with $s>-1/2$, are sharp in the…
A non-existence theorem of classical electrodynamics in odd-dimensional spacetimes is shown to be invalid. The source of the error is pointed out, and is then demonstrated during the derivation of the fields generated by a uniformly moving…
We study 5-dimensional black holes in Einstein-Maxwell-Chern-Simons theory with free Chern-Simons coupling parameter. We consider an event horizon with spherical topology, and both angular momenta of equal magnitude. In particular, we study…
In this paper, we establish a priori estimates for a class of fully nonlinear equations with Neumann boundary conditions. By the continuity method, we have obtained the existence theorem for the Neumann problem.
In this paper, we investigate the existence and nonexistence of positive solutions to the Lane-Emden equations $$ -\Delta u = Q |u|^{p-2}u $$ on the $d$-dimensional integer lattice graph $\mathbb{Z}^d$, as well as in the half-space and…
This paper explores the connection between two central results in the proof theory of classical logic: Gentzen's cut-elimination for the sequent calculus and Herbrands "fundamental theorem". Starting from Miller's expansion-tree-proofs, a…