Related papers: On the Local $Tb$ Theorem: A Direct Proof under Du…
Calder\'on-Zygmund decompositions of functions have been used to prove weak-type (1,1) boundedness of singular integral operators. In many examples, the decomposition is done with respect to a family of balls that corresponds to some family…
This article shows a very elementary and straightforward proof of the Implicit Function Theorem for differentiable maps $F(x,y)$ defined on a finite-dimensional Euclidean space. There are no hypothesis on the continuity of the partial…
We study regularity results for nonlinear parabolic systems of $p$-Laplacian type with inhomogeneous boundary and initial data, with $p\in(\frac{2n}{n+2},\infty)$. We show bounds on the gradient of solutions in the Lebesgue-spaces with…
We prove that if an amenable operator algebra is nearly contained in a complemented dual operator algebra, then it can be embedded inside this dual operator algebra via a similarity. The proof relies on a B.E. Johnson Theorem on…
In this work the implicit function theorem is used for searching local symbolic resolution of differential equations. General results of existence for first order equations are proven and some examples, one relative to cavitation in a…
We continue developing the theory of conical and vertical square functions on $R^{n}$, where $\mu$ is a power bounded measure, possibly non-doubling. We provide new boundedness criteria and construct various counterexamples. First, we prove…
We represent a bilinear Calder\'on-Zygmund operator at a given smoothness level as a finite sum of cancellative, complexity zero operators, involving smooth wavelet forms, and continuous paraproduct forms. This representation results in a…
The aim of this paper is to establish some metrical coincidence and common fixed point theorems with an arbitrary relation under an implicit contractive condition which is general enough to cover a multitude of well known contraction…
We prove that if $\mathcal{A}$ is a locally $\lambda$-presentable category and $T : \mathcal{A} \to \mathcal{A}$ is a $\lambda$-accessible functor then $T/\mathcal{A}$ is locally $\lambda$-presentable.
We develop a compact version of $T1$ theorem for singular integrals of Zygmund type on $\mathbb{R}^3$. More specifically, if a $(D_{\theta}, \delta_1, \delta_{2, 3})$-Calder\'{o}n-Zygmund operator $T$ associated with Zygmund dilations…
This paper studies the sliced nearby cycle functor and its commutation with duality. Over a Henselian discrete valuation ring, we show that this commutation holds, confirming a prediction of Deligne. As an application we give a new proof of…
An operational probabilistic theory where all systems are classical, and all pure states of composite systems are entangled, is constructed. The theory is endowed with a rule for composing an arbitrary number of systems, and with a…
We present a constructive proof of Tychonoff's fixed point theorem in a locally convex space for sequentially locally non-constant functions, As a corollary to this theorem we also present Schauder's fixed point theorem in a Banach space…
Here we show that Lerner's method of local mean oscillation gives a simple proof of the $A_2$ conjecture for spaces of homogeneous type: that is, the linear dependence on the $A_2$ norm for weighted $L^2$ Calderon-Zygmund operator…
We give a generalization of the Jordan canonical form theorem for a class of bounded linear operators on complex separable Hilbert spaces in terms of direct integrals. Precisely, we study the uniqueness of strongly irreducible…
In this note we generate two local median oscillation decompositions of an arbitrary measurable function and discuss some applications to Calder\'{o}n-Zygmund singular integral operators $T$. These applications rely on the inequality…
Given a Lipschitz domain $D\subset \mathbb{R}^d,$ a Calder\'on-Zygmund operator $T$ and a modulus of continuity $\omega(x),$ we solve a problem when the restricted operator $T_Df=T(f\chi_D)\chi_D$ sends the Campanato space…
We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…
Let $p \neq 2$. For any small enough $r> \max \{p-1,1\}$ and for any $\Lambda > 1$ there exists a Lipschitz function $u$ and a bounded vectorfield $f$ such that \[ \begin{cases} {\rm div}(|\nabla u|^{p-2} \nabla u) = {\rm div} (f) \quad&…
We obtain a functional model for an arbitrary Abelian locally von Neumann algebra acting on a representing locally Hilbert space under the assumption that the index directed set is countable, in terms of locally essentially bounded…