Source author record

Daniel Spector

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

15works
4topics
4close collaborators

Published work

15 publications

preprint2022arXiv

On functions of bounded ββ-dimensional mean oscillation

In this paper, we define a notion of ββ-dimensional mean oscillation of functions u:Q0⊂Rd→Ru: Q_0 \subset \mathbb{R}^d \to \mathbb{R} which are integrable on ββ-dimensional subsets of the cube Q0Q_0: \begin{align*} \|u\|_{BMO^β(Q_0)}:= \sup_{Q \subset Q_0} \inf_{c \in \mathbb{R}} \frac{1}{l(Q)^β} \int_{Q} |u-c| \;d\mathcal{H}^β_\infty, \end{align*} where the supremum is taken over all finite subcubes QQ parallel to Q0Q_0, l(Q)l(Q) is the length of the side of the cube QQ, and H∞β\mathcal{H}^β_\infty is the Hausdorff content. In the case β=dβ=d we show this definition is equivalent to the classical notion of John and Nirenberg, while our main result is that for every β∈(0,d]β\in (0,d] one has a dimensionally appropriate analogue of the John-Nirenberg inequality for functions with bounded ββ-dimensional mean oscillation: There exist constants c,C>0c,C>0 such that \begin{align*} \mathcal{H}^β_\infty \left(\{x\in Q:|u(x)-c_Q|>t\}\right) \leq C l(Q)^β\exp(-ct/\|u\|_{BMO^β(Q_0)}) \end{align*} for every t>0t>0, u∈BMOβ(Q0)u \in BMO^β(Q_0), Q⊂Q0Q\subset Q_0, and suitable cQ∈Rc_Q \in \mathbb{R}. Our proof relies on the establishment of capacitary analogues of standard results in integration theory that may be of independent interest.

preprint2021arXiv

Endpoint L1L^1 estimates for Hodge systems

In this paper we give a simple proof of the endpoint Besov-Lorentz estimate ∥IαF∥B˙d/(d−α),10,1(Rd;Rk)≤C∥F∥L1(Rd;Rk) \|I_αF\|_{\dot{B}^{0,1}_{d/(d-α),1}(\mathbb{R}^d;\mathbb{R}^k)} \leq C \|F \|_{L^1(\mathbb{R}^d;\mathbb{R}^k)} for all F∈L1(Rd;Rk)F \in L^1(\mathbb{R}^d;\mathbb{R}^k) which satisfy a first order cocancelling differential constraint. We show how this implies endpoint Besov-Lorentz estimates for Hodge systems with L1L^1 data via fractional integration for exterior derivatives.

preprint2020arXiv

An improvement to the John-Nirenberg inequality for functions in critical Sobolev spaces

It is known that functions in a Sobolev space with critical exponent embed into the space of functions of bounded mean oscillation, and therefore satisfy the John-Nirenberg inequality and a corresponding exponential integrability estimate. While these inequalities are optimal for general functions of bounded mean oscillation, the main result of this paper is an improvement for functions in a class of critical Sobolev spaces. Precisely, we prove the inequality H∞β({x∈Ω:∣Iαf(x)∣>t})≤Ce−ctq′\mathcal{H}^β_{\infty}(\{x\in Ω:|I_αf(x)|>t\})\leq Ce^{-ct^{q'}} for all ∥f∥LN/α,q(Ω)≤1\|f\|_{L^{N/α,q}(Ω)}\leq 1 and any β∈(0,N]β\in (0,N], where Ω⊂RNΩ\subset \mathbb{R}^N, H∞β\mathcal{H}^β_{\infty} is the Hausdorff content, LN/α,q(Ω)L^{N/α,q}(Ω) is a Lorentz space with q∈(1,∞]q \in (1,\infty], q′=q/(q−1)q'=q/(q-1) is the Hölder conjugate to qq, and IαfI_αf denotes the Riesz potential of ff of order α∈(0,N)α\in (0,N).

preprint2020arXiv

On the dimensional weak-type (1,1)(1,1) bound for Riesz transforms

Let RjR_j denote the jthj^{\text{th}} Riesz transform on Rn\mathbb{R}^n. We prove that there exists an absolute constant C>0C>0 such that \begin{align*} |\{|R_jf|>λ\}|\leq C\left(\frac{1}λ\|f\|_{L^1(\mathbb{R}^n)}+\sup_ν |\{|R_jν|>λ\}|\right) \end{align*} for any λ>0λ>0 and f∈L1(Rn)f \in L^1(\mathbb{R}^n), where the above supremum is taken over measures of the form ν=∑k=1Nakδckν=\sum_{k=1}^Na_kδ_{c_k} for N∈NN \in \mathbb{N}, ck∈Rnc_k \in \mathbb{R}^n, and ak∈R+a_k \in \mathbb{R}^+ with ∑k=1Nak≤16∥f∥L1(Rn)\sum_{k=1}^N a_k \leq 16\|f\|_{L^1(\mathbb{R}^n)}. This shows that to establish dimensional estimates for the weak-type (1,1)(1,1) inequality for the Riesz tranforms it suffices to study the corresponding weak-type inequality for Riesz transforms applied to a finite linear combination of Dirac masses. We use this fact to give a new proof of the best known dimensional upper bound, while our reduction result also applies to a more general class of Calderón-Zygmund operators.

preprint2018arXiv

Optimal embeddings into Lorentz spaces for some vector differential operators via Gagliardo's lemma

We prove a family of Sobolev inequalities of the form ∥u∥Lnn−1,1(Rn,V)≤∥A(D)u∥L1(Rn,E) \Vert u \Vert_{L^{\frac{n}{n-1}, 1} (\mathbb{R}^n,V)} \le \Vert A (D) u \Vert_{L^1 (\mathbb{R}^n,E)} where A(D):Cc∞(Rn,V)→Cc∞(Rn,E)A (D) : C^\infty_c (\mathbb{R}^n, V) \to C^\infty_c (\mathbb{R}^n, E) is a vector first-order homogeneous linear differential operator with constant coefficients, uu is a vector field on Rn\mathbb{R}^n and Lnn−1,1(Rn)L^{\frac{n}{n - 1}, 1} (\mathbb{R}^{n}) is a Lorentz space. These new inequalities imply in particular the extension of the classical Gagliardo-Nirenberg inequality to Lorentz spaces originally due to Alvino and a sharpening of an inequality in terms of the deformation operator by Strauss (Korn-Sobolev inequality) on the Lorentz scale. The proof relies on a nonorthogonal application of the Loomis--Whitney inequality and Gagliardo's lemma.

preprint2016arXiv

On a new class of fractional partial differential equations II

In this paper we continue to advance the theory regarding the Riesz fractional gradient in the calculus of variations and fractional partial differential equations begun in an earlier work of the same name. In particular we here establish an L1L^1 Hardy inequality, obtain further regularity results for solutions of certain fractional PDE, demonstrate the existence of minimizers for integral functionals of the fractional gradient with non-linear dependence in the field, and also establish the existence of solutions to corresponding Euler-Lagrange equations obtained as conditions of minimality. In addition we pose a number of open problems, the answers to which would fill in some gaps in the theory as well as to establish connections with more classical areas of study, including interpolation and the theory of Dirichlet forms.

preprint2015arXiv

On a generalization of LpL^p-differentiability

In this paper we connect Calderón and Zygmund's notion of LpL^p\- -differentiability with some recent characterizations of Sobolev spaces via the asymptotics of non-local functionals due to Bourgain, Brezis, and Mironescu. We show how the results of the former can be generalized to the setting of the latter, while the latter results can be strengthened in the spirit of the former. As a consequence of these results we give several new characterizations of Sobolev spaces, a novel condition for whether a function of bounded variation is in the Sobolev space W1,1W^{1,1}, and complete the proof of a characterization of the Sobolev spaces claimed in the paper "Characterization of Sobolev and BV spaces".

preprint2014arXiv

A Leray-Trudinger Inequality

We consider a multidimensional version of an inequality due to Leray as a substitute for Hardy's inequality in the case p=n≥2.p=n\geq2. In this paper we provide an optimal Sobolev-type improvement of this substitute, analogous to the corresponding improvements obtained for p=2<np=2<n in S. Filippas, A. Tertikas, Optimizing improved Hardy inequalities, J. Funct. Anal. 192 (1) (2002) 186--233, and for p>n≥1p>n\geq1 in G. Psaradakis, An optimal Hardy-Morrey inequality, Calc. Var. Partial Differential Equations 45 (3-4) (2012) 421--441.

preprint2014arXiv

Analysis and Application of a non-local Hessian

In this work we introduce a formulation for a non-local Hessian that combines the ideas of higher-order and non-local regularization for image restoration, extending the idea of non-local gradients to higher-order derivatives. By carefully choosing the weights, the model allows to improve on the current state of the art higher-order method, Total Generalized Variation, with respect to overall quality and particularly close to jumps in the data. In the spirit of recent work by Brezis et al., our formulation also has analytic implications: for a suitable choice of weights, it can be shown to converge to classical second-order regularizers, and in fact allows a novel characterization of higher-order Sobolev and BV spaces

preprint2014arXiv

On the role of Riesz potentials in Poisson's equation and Sobolev embeddings

In this paper, we study the mapping properties of the classical Riesz potentials acting on LpL^p-spaces. In the supercritical exponent, we obtain new "almost" Lipschitz continuity estimates for these and related potentials (including, for instance, the logarithmic potential). Applications of these continuity estimates include the deduction of new regularity estimates for distributional solutions to Poisson's equation, as well as a proof of the supercritical Sobolev embedding theorem first shown by Brezis and Wainger in 1980.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.