Search arXivSearch

arXiv · 2311.03407

Some characterizations of BMO and Lipschitz spaces in the Schrödinger setting

Abstract

We consider the Schrödinger operator $\mathcal{L}=-Δ+V$ on $\mathbb R^d$, $d\geq3$, where the nonnegative potential $V$ belongs to the reverse Hölder class $RH_s$ for some $s\geq d/2$. A real-valued function $f\in L^1_{\mathrm{loc}}(\mathbb R^d)$ belongs to the (BMO) space $\mathrm{BMO}_{ρ,θ}(\mathbb R^d)$ with $0<θ<\infty$ if \begin{equation*} \|f\|_{\mathrm{BMO}_{ρ,θ}} :=\sup_{B(x_0,r)}\bigg(1+\frac{r}{ρ(x_0)}\bigg)^{-θ}\bigg(\frac{1}{|B(x_0,r)|}\int_{B(x_0,r)}\big|f(x)-f_{B}\big|\,dx\bigg), \end{equation*} where the supremum is taken over all balls $B(x_0,r)\subset\mathbb R^d$, $ρ(\cdot)$ is the critical radius function in the Schrödinger context and \begin{equation*} f_{B}:=\frac{1}{|B(x_0,r)|}\int_{B(x_0,r)}f(y)\,dy. \end{equation*} A real-valued function $f\in L^1_{\mathrm{loc}}(\mathbb R^d)$ belongs to the (Lipschitz) space $\mathrm{Lip}_β^{ρ,θ}(\mathbb R^d)$ with $0<β<1$ and $0<θ<\infty$ if \begin{equation*} \|f\|_{\mathrm{Lip}_β^{ρ,θ}} :=\sup_{B(x_0,r)}\bigg(1+\frac{r}{ρ(x_0)}\bigg)^{-θ} \bigg(\frac{1}{|B(x_0,r)|^{1+β/d}}\int_{B(x_0,r)}\big|f(x)-f_{B}\big|\,dx\bigg). \end{equation*} It can be easily seen that $\mathrm{BMO}_{ρ,θ}(\mathbb R^d)$ (or $\mathrm{Lip}_β^{ρ,θ}(\mathbb R^d)$) is a function space which is larger than the classical BMO (or Lipschitz) space. In this paper, we give some new characterizations of BMO and Lipschitz spaces associated with the Schrödinger operator $\mathcal{L}$. We extend some previous works of Bongioanni--Harboure--Salinas and Liu--Sheng to the weighted case. The classes of weights considered here are larger than the classical Muckenhoupt classes.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Cong Chen, Hua Wang. 2023-11-06. Some characterizations of BMO and Lipschitz spaces in the Schrödinger setting. https://arxiv.org/abs/2311.03407

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On the prime field spherical restriction conjecture in four dimensions: breaking the Stein-Tomas exponent and applications

Let $p$ be an odd prime. We prove the extension estimate $R_{S_j}^*(2\to r)\lesssim_r 1$ for every nonzero-radius sphere $S_j\subseteq\mathbb{F}_p^4$ and every $r\geq \, 34/11$, uniformly in $p$ and $j$. This improves the Stein--Tomas exponent $10/3$ established by Iosevich and Koh (2008). We also formulate a localized spherical restriction/extension conjecture that predicts the sharp dependence of the restriction norm on the size of the physical support. This conjecture implies the spherical extension estimates $R_{S_j}^*(2\to r)\lesssim_r 1$ for every $r>3$, and yields almost-every-pin distance estimates at the conjectured Erdős--Falconer exponent in four dimensions, up to an arbitrarily small power loss in the set-size hypothesis. Using the same method, we improve the bounds supplied by Fourier decay and Plancherel at intermediate support scales and derive new almost-every-pin distance estimates in $\mathbb{F}_p^4$.

math.CA

Dimension-free estimates for discrete maximal functions over cubes in $\mathbb Z^d$

In this short note, we establish dimension-free $\ell^p(\mathbb Z^d)$ bounds, for all $p\in(1,\infty]$, for the discrete Hardy--Littlewood maximal functions associated with cubes in $\mathbb Z^d$, answering a question that had been open for a while. The key idea is to prove dimension-free bounds for the $\ell^p(\mathbb Z^d)$ norms of the differences of the corresponding averages. This follows from an ad hoc interpretation of the associated discrete multipliers as a special continuous family of multipliers to which basic fractional integration and complex interpolation can be applied. The same method also yields an elementary proof of Bourgain's dimension-free $L^p(\mathbb R^d)$ bounds for the Hardy--Littlewood maximal function associated with cubes in $\mathbb R^d$.

math.CA

Establishing the Polynomial Wolff Axioms for $δ$-Separated $δ$-Tubes With #o-minimality

We establish the full version of a conjecture of Guth and Zahl, giving a lower bound for the volume of a semialgebraic set that has a large intersection with a collection of $δ$-separated $δ$-tubes. Our proof uses o-minimal methods to simplify the proof of Katz and Rogers, who proved the conjecture up to a small factor. We also establish that the constants depend polynomially on the complexity of the semialgebraic set, and more generally in the #o-minimal setting.

math.CA