Related papers: On Hopf's Lemma and the Strong Maximum Principle
We introduce strong p-completeness and use them for studying the continuous dependence of solutions of SDE's on non-compact manifolds. We obtain conditions for the existence of global smooth solution flow, and prove their diffeomorphism…
We generalize the Maximum Principle for free end point optimal control problems involving sweeping systems derived in [9] to cover the case where the end point is constrained to take values in a certain set. As in [9], an ingenious smooth…
We prove a quantitative inhomogeneous Hopf-Oleinik lemma for viscosity solutions of $$|\nabla u|^{\alpha}F(D^{2}u)=f $$ and, more generally, for viscosity supersolutions of $|\nabla u|^{\alpha}\,{M}^-_{\lambda,\Lambda}(D^{2}u)\le f$. The…
We investigate fragments of generic absoluteness principles known as Maximality Principles. We determine the consistency strength of $\Sigma_n$-$\mathsf{MP}(\mathbb R)$ and $\Pi_n$-$\mathsf{MP}(\mathbb R)$, the boldface Maximality Principle…
We extend Hadamard's Lemma to the setting of a separable Hilbert space.
We study the logical content of several maximality principles related to the finite intersection principle ($F\IP$) in set theory. Classically, these are all equivalent to the axiom of choice, but in the context of reverse mathematics their…
We study a class of non-smooth asymptotically flat manifolds on which metrics fails to be $C^1$ across a hypersurface $\Sigma$. We first give an approximation scheme to mollify the metric, then we prove that the Positive Mass Theorem still…
In this paper, several nonlinear elliptic systems are investigated on graphs. One type of the sobolev embedding theorem and a new version of the strong maximum principle are established. Then, by using the variational method, the existence…
In this paper the necessary conditions of optimality in the form of maximum principle are derived for a very general class of variational problems. This class includes problems with any optimization criteria and constraints that can be…
In this paper we give a general condition on the absorption term of the 1-Laplace elliptic equation for the existence of suitable large solutions. This condition can be considered as the correspondent Keller-Osserman condition for the…
The paper is concerned with the existence of positive weak solutions for a new class of $\left( p,q\right) $-Laplacian elliptic systems in a bounded domain by means of the method of sub-super solutions. Particularly, we do not need any sign…
We study methods to obtain the consistency of forcing axioms, and particularly higher forcing axioms. We first force over a model with a supercompact cardinal $\theta>\kappa$ to get the consistency of the forcing axiom for $\kappa$-strongly…
The $\lambda$-superposition calculus is a successful approach to proving higher-order formulas. However, some parts of the calculus are extremely explosive, notably due to the higher-order unifier enumeration and the functional…
We show the existence of solution for some classes of nonlocal problems. Our proof combines the presence of sub and supersolution with the pseudomonotone operators theory.
In this short note we extend Chow and Lu's advanced maximum principles for parabolic systems on closed manifolds to the case of compact manifolds with boundary, which also generalizes a Hopf type theorem of Pulemotov.
This paper extends some results on the S-Lemma proposed by Yakubovich and uses the improved results to investigate the asymptotic stability of a class of switched nonlinear systems. Firstly, the strict S-Lemma is extended from quadratic…
The main scope of this article is to define the concept of principal eigenvalue for fully non linear second order operators in bounded domains that are elliptic and homogenous. In particular we prove maximum and comparison principle, Holder…
We discuss the problem how "bad" may be lower-order coefficients in elliptic and parabolic second order equations to ensure the Hopf--Oleinik Lemma for solutions to hold true. We also touch the gradient estimates for solutions at the…
For $0<s<1$, we consider the nonlocal equation $(-\Delta)^s u = f$ over a Reifenberg flat domain $\Omega$ with $f \in C({\overline{\Omega}})$ and null Dirichlet exterior condition. Given $\alpha \in (0,s)$, we prove that weak solutions are…
Maximum satisfiability is a canonical NP-hard optimization problem that appears empirically hard for random instances. Let us say that a Conjunctive normal form (CNF) formula consisting of $k$-clauses is $p$-satisfiable if there exists a…