Related papers: S-Lemma with Equality and Its Applications

Suppose that $G=(V, E)$ be a locally finite and connected graph with symmetric weight and uniformly positive measure, where $V$ denotes the vertex set and $E$ denotes the edge set. We are concered with the following problem $$…

In this paper, under very general assumptions, we prove existence and regularity of distributional solutions to homogeneous Dirichlet problems of the form $$\begin{cases} \displaystyle - \Delta_{1} u = h(u)f & \text{in}\, \Omega,\newline…

It is known that differences of symmetric functions corresponding to various bases are nonnegative on the nonnegative orthant exactly when the partitions defining them are comparable in dominance order. The only exception is the case of…

This note aims to show a uniqueness property for the solution (whenever exists) to the moment problem for the symmetric algebra $S(V)$ of a locally convex space $(V, \tau)$. Let $\mu$ be a measure representing a linear functional $L:…

Submodular functions are known to satisfy various forms of fractional subadditivity. This work investigates the conditions for equality to hold exactly or approximately in the fractional subadditivity of submodular functions. We establish…

In this paper, we establish some Schwarz type lemmas for mappings $\Phi$ satisfying the inhomogeneous biharmonic Dirichlet problem $ \Delta (\Delta(\Phi)) = g$ in $\mathbb{D}$, $\Phi=f$ on $\mathbb{T}$ and $\partial_n \Phi=h$ on…

The trust-region problem, which minimizes a nonconvex quadratic function over a ball, is a key subproblem in trust-region methods for solving nonlinear optimization problems. It enjoys many attractive properties such as an exact…

Farkas' lemma is a fundamental result from linear programming providing linear certificates for infeasibility of systems of linear inequalities. In semidefinite programming, such linear certificates only exist for strongly infeasible linear…

In this article, we prove an extension of the mean value theorem and a comparison theorem for subharmonic functions. These theorems are used to answer the question whether we can conclude that two subharmonic functions which agree almost…

In this note we establish existence and uniqueness of weak solutions of linear elliptic equation $\text{div}[\mathbf{A}(x) \nabla u] = \text{div}{\mathbf{F}(x)}$, where the matrix $\mathbf{A}$ is just measurable and its skew-symmetric part…

We consider the stationary semilinear Schr\"odinger equation $-\Delta u + a(x) u = f(x,u)$, $u\in H^1(\R^N)$, where $a$ and $f$ are continuous functions converging to some limits $a_\infty>0$ and $f_\infty=f_\infty(u)$ as $|x|\to\infty$. In…

In this paper we investigate the validity of Hopf's Lemma for a (possibly sign-changing) function $u \in H^s_0(\Omega)$ satisfying \[ (-\Delta)^s u(x) \geq c(x)u(x) \quad \text{in }\Omega,\] where $\Omega \subset \mathbb{R}^N$ is an open,…

In the lambda calculus a term is solvable iff it is operationally relevant. Solvable terms are a superset of the terms that convert to a final result called normal form. Unsolvable terms are operationally irrelevant and can be equated…

This paper studies the problem of testing whether a system of linear equality and inequality constraints admits a solution when the coefficients of that system may have to be estimated. We show that a wide range of inferential questions in…

We prove the existence and uniqueness of solutions to a Dirichlet problem \[ \begin{cases} Lu = f + v^{-1}\text{Div}(v{\bf e} h), & x \in \Omega; u = 0, & x \in \partial \Omega, \end{cases}\] where $L$ is a degenerate, linear, second order…

Fatou's lemma is a classic fact in real analysis that states that the limit inferior of integrals of functions is greater than or equal to the integral of the inferior limit. This paper introduces a stronger inequality that holds uniformly…

In this manuscript we deal with elliptic equations with superlinear first order terms in divergence form of the following type \[ -\mbox{div}(M(x)\nabla u)= -\mbox{div}(h(u)E(x))+f(x), \] where $M$ is a bounded elliptic matrix, the vector…

We prove the Harnack inequality for general nonlocal elliptic equations with zero order terms. As an application we prove the existence of the principal eigenvalue in general domains. Furthermore, we study the eigenvalue problem associated…

In this paper, we first prove relation between analytic and co-analytic part of the class harmonic univalent functions S_H(S):={f = h+\overline g|h is element of S} by means of second dilatation is constant. Next, we verify the coefficient…

We prove a functional extension of an exponential inequality originally proposed by Bin Zhao and proved by Xiaosheng Mou. The main result asserts that if $\alpha_1\leq \cdots\leq \alpha_n$ and $\sum_{k=1}^n \alpha_k=0$, then \[ \sum_{k=1}^n…