Related papers: A characterization of a nonlinear integral triangl…

Let $\Omega\subseteq \mathbb{R}^{d}$ be open and $A$ a complex uniformly strictly accretive $d\times d$ matrix-valued function on $\Omega$ with $L^{\infty}$ coefficients. Consider the divergence-form operator ${\mathscr L}^{A}=-{\rm…

We study a characterization of BV and Sobolev functions via nonlocal functionals in metric spaces equipped with a doubling measure and supporting a Poincar\'e inequality. Compared with previous works, we consider more general functionals.…

We give three characterizations of the Dirichlet-type spaces $D(\mu)$. First we characterize $D(\mu)$ in terms of a double integral and in terms of the mean oscillation in the Bergman metric, none of them involve the use of derivatives.…

In this article, we study the properties of a class of functional spaces which arise from the investigation of nonlinear differential equations. We establish some integral inequalities then by applying these inequalities, we prove some…

This paper presents two observability inequalities for the heat equation over $\Omega\times(0,T)$. In the first one, the observation is from a subset of positive measure in $\Omega\times(0,T)$, while in the second, the observation is from a…

The main purpose of this paper is to investigate the behaviour of fractional integral operators associated to a measure on a metric space satisfying just a mild growth condition, namely that the measure of each ball is controlled by a fixed…

Let $\Omega$ be a smooth bounded domain in $\mathbf R^2$ and $\lambda^{\mathsf N} (\Omega)$ the first non-zero Neumann eigenvalue of the operator $-\Delta$ on $\Omega$. In this paper, for any $\gamma \in [0, \lambda^{\mathsf N} (\Omega) )$,…

We deal with existence, uniqueness, and regularity for solutions of the boundary value problem $$ \begin{cases} {\mathcal L}^s u = \mu &\quad \text{in $\Omega$}, u(x)=0 \quad &\text{on} \ \ \mathbb{R}^N\backslash\Omega, \end{cases} $$ where…

Let $\Omega\subset \mathbb{R}^{n+1}$ be an open set, not necessarily connected, with an $n$-dimensional uniformly rectifiable boundary. We show that $\partial\Omega$ may be approximated in a "Big Pieces" sense by boundaries of chord-arc…

Several concepts of approximate reasoning in uncertainty processing are linked to the processing of distribution functions. In this paper we make use of probabilistic framework of approximate reasoning by proposing a Lebesgue-type approach…

Integration, just as much as differentiation, is a fundamental calculus tool that is widely used in many scientific domains. Formalizing the mathematical concept of integration and the associated results in a formal proof assistant helps in…

Let $\Omega \subset \mathbb{R}^d$, $d \geq 2$, be a bounded convex domain and $f\colon \Omega \to \mathbb{R}$ be a non-negative subharmonic function. In this paper we prove the inequality \[ \frac{1}{|\Omega|}\int_\Omega f(x)\,dx \leq…

The purpose of this paper is to characterize several classes of functional identities involving inverses with related mappings from a unital Banach algebra $\mathcal{A}$ over the complex field into a unital $\mathcal{A}$-bimodule…

We consider second-order uniformly elliptic operators subject to Dirichlet boundary conditions. Such operators are considered on a bounded domain $\Omega$ and on the domain $\phi(\Omega)$ resulting from $\Omega$ by means of a bi-Lipschitz…

In this paper we prove a reverse Faber-Krahn inequality for the principal eigenvalue $\mu_1(\Omega)$ of the fully nonlinear eigenvalue problem \[ \label{eq} \left\{\begin{array}{r c l l} -\lambda_N(D^2 u) & = & \mu u & \text{in }\Omega, \\…

Let $\Omega:=\left( a,b\right) \subset\mathbb{R}$, $m\in L^{1}\left( \Omega\right) $ and $\lambda>0$ be a real parameter. Let $\mathcal{L}$ be the differential operator given by $\mathcal{L}u:=-\phi\left( u^{\prime}\right) ^{\prime}+r\left(…

Let $\Omega$ be a smooth bounded domain in $\mathbb R^n$ and u be a measurable function on $\Omega$ such that $|u(x)|=1$ almost everywhere in $\Omega$. Assume that u belongs to the $B^s_{p,q}(\Omega)$ Besov space. We investigate whether…

We present two generalizations of the classical Stampacchia Lemma which contain a non-decreasing non-negative function $g$, and give applications. As a first application, we deal with variational integrals of the form $$ {\cal J} (u;\Omega)…

For a normed linear space $(X,|\cdot|)$ and $p>0$ we characterize all $n$-tuples $(\mu_1,...,\mu_n)\in\mathbb{R}^{n}$ for which the generalized triangle inequality of the second type…

Let $\Omega$ be a smooth bounded domain in $\mathbb{R}^{N}$, $N\geq1$, let $K$, $M$ be two nonnegative functions and let $\alpha,\gamma>0$. We study existence and nonexistence of positive solutions for singular problems of the form $-\Delta…