Related papers: On divergence operators: Free space and vanishing …

The classical Poincar\'e inequality establishes that for any bounded regular domain $\Omega\subset \R^N$ there exists a constant $C=C(\Omega)>0$ such that $$ \int_{\Omega} |u|^2\, dx \leq C \int_{\Omega} |\nabla u|^2\, dx \ \ \forall u \in…

Working in point-free topology under the constraints of geometric logic, we prove the Fundamental Theorem of Calculus, and apply it to prove the usual rules for the derivatives of $x^\alpha$, $\gamma^x$, and $\log_\gamma x$.

We consider the optimal control problem associated with a general version of the well known shallow lake model, and we prove the existence of an optimum in the class $L_{loc}^{1}\left(0,+\infty\right)$. Any direct proof seems to be missing…

We consider the optimization problem of minimizing $\int_{\Omega}G(|\nabla u|)+\lambda \chi_{\{u>0\}} dx$ in the class of functions $W^{1,G}(\Omega)$ with $u-\phi_0\in W_0^{1,G}(\Omega)$, for a given $\phi_0\geq 0$ and bounded.…

This paper is devoted to a nonlinear singular Riemann-Liouville type fractional differential equation, the local existence of whose continuous solutions under the weakest condition remained as an open problem until now. The singularity of…

For each countable ordinal $\alpha$, we introduce an ideal $conv_\alpha$ and use it to characterize the class of all compact countable spaces which are homeomorphic to the space $\omega^{\alpha}\cdot n+1$ with the order topology. The…

We prove the existence of solutions $(\lambda, v)\in \mathbb{R}\times H^{1}(\Omega)$ of the elliptic problem \[ \begin{cases} -\Delta v+(V(x)+\lambda) v =v^{p}\ &\text{ in $ \Omega, $} \ v>0,\qquad \int_\Omega v^2\,dx =\rho. \end{cases} \]…

In this note we study the boundary regularity of solutions to nonlocal Dirichlet problems of the form $Lu=0$ in $\Omega$, $u=g$ in $\mathbb R^N\setminus\Omega$, in non-smooth domains $\Omega$. When $g$ is smooth enough, then it is easy to…

Let $\Omega \subset \mathbb{R}^d$ be bounded open and connected. Suppose that $W^{1,2}(\Omega) \subset L^r(\Omega)$ for some $r > 2$. Let $A$ be a pure second-order elliptic differential operator with bounded real measurable coefficients on…

We develop an obstruction theory for homotopy of homomorphisms f,g : M -> N between minimal differential graded algebras. We assume that M = Lambda V has an obstruction decomposition given by V = V_0 oplus V_1 and that f and g are homotopic…

In this paper we analyze the existence, uniqueness and regularity of the solution to the generalized, variable diffusivity, fractional Laplace equation on the unit disk in $\mathbb{R}^{2}$. For $\alpha$ the order of the differential…

We study continuity properties of Sobolev mappings $f \in W_{\mathrm{loc}}^{1,n} (\Omega, \mathbb{R}^n)$, $n \ge 2$, that satisfy the following generalized finite distortion inequality \[\lvert Df(x)\rvert^n \leq K(x) J_f(x) + \Sigma (x)\]…

For every free product decomposition $G = G_{1} \ast ...\ast G_{q} \ast F_{r}$ of a group of finite Kurosh rank $G$, where $F_r$ is a finitely generated free group, we can associate some (relative) outer space $\mathcal{O}$. We study the…

We study some Dirichlet problem for a $p$--Laplacian type operator in the setting of Orlicz--Zygmund space $L^q\log^{-\alpha}L(\Omega,\mathbb R^N)$, $q >1$ and $\alpha>0$. More precisely, our aim is to establish which assuptions on the…

Given a bounded Lipschitz domain $\omega\subset\mathbb{R}^{d-1}$ and a lower semicontinuous function $W:\mathbb{R}^N\to\mathbb{R}_+\cup\{+\infty\}$ that vanishes on a finite set and that is bounded from below by a positive constant at…

Let $\Omega$ be a bounded domain in $\mathbb{C}$ such that $\partial \Omega$ does not contain isolated points. Let $R(\Omega)$ be the space of uniform limits on $\overline{\Omega}$ of rational functions with poles off $\overline{\Omega}$,…

We prove that if $\Omega\subset \mathbb R^n$ is a bounded open set and $n\alpha> {\rm dim}_b (\partial \Omega) = d$, then the Brouwer degree deg$(v,\Omega,\cdot)$ of any H\"older function $v\in C^{0,\alpha}\left (\Omega, \mathbb…

The basic question of delineating those statistical problems that are solvable without making any assumptions on the underlying data distribution has long animated statistics and learning theory. This paper characterizes when a convex…

We consider the large-scale regularity of solutions to second-order linear elliptic equations with random coefficient fields. In contrast to previous works on regularity theory for random elliptic operators, our interest is in the…

In this paper, we give the H\"ormander's $L^2$ theorem for Dirac operator over an open subset $\Omega\in\R^{n+1}$ with Clifford algebra. Some sufficient condition on the existence of the weak solutions for Dirac operator has been found in…