Related papers: The higher order chain rule in Sobolev spaces

The paper presents a new formula for the fractional integration, which generalizes the Riemann-Liouville and Hadamard fractional integrals into a single form, which when a parameter fixed at different values, produces the above integrals as…

Let us assume that $f$ is a continuous function defined on the unit ball of $\mathbb R^d$, of the form $f(x) = g (A x)$, where $A$ is a $k \times d$ matrix and $g$ is a function of $k$ variables for $k \ll d$. We are given a budget $m \in…

This paper is devoted to the study of a generalization of Sobolev spaces for small $L^{p}$ exponents, i.e. $0<p<1$. We consider spaces defined as abstract completions of certain classes of smooth functions with respect to weighted…

It is well known that derivatives of solutions to elliptic boundary value problems may become unbounded near the corner of a domain with a conical singularity, even if the data are smooth. When the corner domain is approximated by more…

In this paper, we establish a generalized Taylor expansion of a given function $f$ in the form $\displaystyle{f(x) = \sum_{j=0}^m c_j^{\alpha,\rho}\left(x^\rho-a^\rho\right)^{j\alpha} + e_m(x)}$ \noindent with $m\in \mathbb{N}$,…

We prove a chain rule of local type for a class of fractional hypoelliptic equations of Kolmogorov-Fokker-Planck type. We introduce a semigroup based notion of nonlocal \emph{carr\'e du champ} which works successfully in situations in which…

A theorem of Hoischen states that given a positive continuous function $\varepsilon:\mathbb{R}\to\mathbb{R}$, an integer $n\geq 0$, and a closed discrete set $E\subseteq\mathbb{R}$, any $C^n$ function $f:\mathbb{R}\to\mathbb{R}$ can be…

Quantified Boolean formulas (QBFs) generalize propositional formulas by admitting quantifications over propositional variables. QBFs can be viewed as (restricted) formulas of first-order predicate logic and easy translations of QBFs into…

We extend the classical Liouville Theorem from Laplacian to the fractional Laplacian, that is, we prove Every $\alpha$-harmonic function bounded either above or below in all of $R^n$ must be constant.

We detail a simple procedure (easily convertible to an algorithm) for constructing from quasi-uniform samples of $f$ a sequence of linear spline functions converging to the monotone rearrangement of $f$, in the case where $f$ is an almost…

We continue the development of the basic theory of generalized derivatives as introduced in \cite{JPA} and give some of their applications. In particular, we formulate versions of a weak maximum principle, Rolle's theorem, the Mean value…

We prove a global version of the classical result that $p$-harmonic functions belong to $W^{2,2}_{loc}$ for $1<p<3+\frac{2}{n-2}$. The proof relies on Cordes' matrix inequalities [7] and techniques from the work of Cianchi and Maz'ya [5,6].

In this paper, we find explicit formulas for higher order derivatives of the inverse tangent function. More precisely, we study polynomials which are induced from the higher-order derivatives of arctan(x). Successively, we give generating…

The present paper commences the study of higher order differential equations in composition form. Specifically, we consider the equation Lu=\Div B^*\nabla(a\Div A\nabla u)=0, where A and B are elliptic matrices with complex-valued bounded…

We prove some refinements of concentration compactness principle for Sobolev space $W^{1,n}$ on a smooth compact Riemannian manifold of dimension $n$. As an application, we extend Aubin's theorem for functions on $\mathbb{S}^{n}$ with zero…

We study notions of absolute continuity for functions defined on $\mathbb{R}^n$similar to the notion of $\alpha$-absolute continuity in the sense of Bongiorno. We confirm a conjecture of Mal\'y that 1-absolutely continuous functions do not…

We construct the supersymmetric effective action at order alpha'^4 of the abelian open superstring. It includes the alpha'^4 terms in the abelian Born-Infeld action, and in particular the leading derivative correction of the form d^4F^4.…

Given an arbitrary planar $\infty$-harmonic function $u$, for each $\alpha>0$ we establish a quantitative local $W^{1,2}$-estimate of $|Du|^\alpha $, which is sharp as $\alpha\to0$. We also show that the distributional determinant of $u$ is…

We establish new approximation results in the sense of Lusin for Sobolev functions $f$ with $|\nabla f| \in L\log L$ on infinite-dimensional spaces equipped with Gaussian measures. The proof relies on some new pointwise estimate for the…

We introduce a simple new method, based on the Caffarelli-Silvestre extension and a Duhamel-type formula, to derive exact pointwise identities for fractional commutators and nonlinear compositions associated with the fractional Laplacian on…