No Arabic abstract
The art of analysis involves the subtle combination of approximation, inequalities, and geometric intuition as well as being able to work at different scales. With this subtlety in mind, we present this paper in a manner designed for wide accessibility for both advanced undergraduate students and graduate students. The main results include a singular integral for measuring the level sets of a $C^{1,1}$ function mapping from $mathbb{R}^n$ to $mathbb{R}$, that is, one whose derivative is Lipschitz continuous. We extend this to measure embedded submanifolds in $mathbb{R}^2$ that are merely $C^1$ using the distance function and provide an example showing that the measure does not hold for general rectifiable boundaries.
We show that any weak solution to elliptic equations in divergence form is continuously differentiable provided that the modulus of continuity of coefficients in the $L^1$-mean sense satisfies the Dini condition. This in particular answers a question recently raised by Yanyan Li and allows us to improve a result of Brezis. We also prove a weak type-$(1,1)$ estimate under a stronger assumption on the modulus of continuity. The corresponding results for non-divergence form equations are also established.
We extend and improve the results in cite{DK16}: showing that weak solutions to full elliptic equations in divergence form with zero Dirichlet boundary conditions are continuously differentiable up to the boundary when the leading coefficients have Dini mean oscillation and the lower order coefficients verify certain conditions. Similar results are obtained for non-divergence form equations. We extend the weak type-(1, 1) estimates in cite{DK16} and cite{Es94} up to the boundary and derive a Harnack inequality for non-negative adjoint solutions to non-divergence form elliptic equations, when the leading coefficients have Dini mean oscillation.
We provide a detailed proof of Hawkings singularity theorem in the regularity class $C^{1,1}$, i.e., for spacetime metrics possessing locally Lipschitz continuous first derivatives. The proof uses recent results in $C^{1,1}$-causality theory and is based on regularisation techniques adapted to the causal structure.
Let $ f $ be a real-valued function on a compact subset in $ mathbb{R}^n $. We show how to decide if $ f $ extends to a nonnegative and $ C^1 $ function on $ mathbb{R}^n $. There has been no known result for nonnegative $ C^m $ extension from a general compact set $ E $ when $ m > 0 $. The nonnegative extension problem for $ m geq 2 $ remains open.
This article develops a novel approach to the representation of singular integral operators of Calderon-Zygmund type in terms of continuous model operators, in both the classical and the bi-parametric setting. The representation is realized as a finite sum of averages of wavelet projections of either cancellative or noncancellative type, which are themselves Calderon-Zygmund operators. Both properties are out of reach for the established dyadic-probabilistic technique. Unlike their dyadic counterparts, our representation reflects the additional kernel smoothness of the operator being analyzed. Our representation formulas lead naturally to a new family of $T(1)$ theorems on weighted Sobolev spaces whose smoothness index is naturally related to kernel smoothness. In the one parameter case, we obtain the Sobolev space analogue of the $A_2$ theorem; that is, sharp dependence of the Sobolev norm of $T$ on the weight characteristic is obtained in the full range of exponents. In the bi-parametric setting, where local average sparse domination is not generally available, we obtain quantitative $A_p$ estimates which are best known, and sharp in the range $max{p,p}geq 3$ for the fully cancellative case.