Related papers: A trace inequality for solenoidal charges
We prove trace theorems for weighted mixed norm Sobolev spaces in the upper-half space where the weight is a power function of the vertical variable. The results show the differentiability order of the trace functions depends only on the…
In these notes, we present versions of trace theorems for Sobolev spaces over an interval in the real line, and also a one-dimensional version of the well-known Poincare inequality.
We present various results concerning the two-weight Hardy's inequality on infinite trees. Our main scope is to survey known characterizations (and proofs) for trace measures, as well as to provide some new ones. Also for some of the known…
We prove that if $\phi: {\Bbb R}^d \times {\Bbb R}^d \to {\Bbb R}$, $d \ge 2$, is a homogeneous function, smooth away from the origin and having non-zero Monge-Ampere determinant away from the origin, then $$ R^{-d} # \{(n,m) \in {\Bbb Z}^d…
We consider the difference $f(-\Delta +V)-f(-\Delta)$ of functions of Schr\"odinger operators in $L^2(\mathbb R^d)$ and provide conditions under which this difference is trace class. We are particularly interested in non-smooth functions…
We present a new proof of the F. & M. Riesz theorem on analytic measures of the unit circle $\mathbb{T}$ that is based the following elementary inequality: If $f$ is analytic in the unit disc $\mathbb{D}$ and $0 \leq r \leq \varrho < 1$,…
In this note, we prove a Trudinger-Moser inequality for conical metric in the unit ball. Precisely, let $\mathbb{B}$ be the unit ball in $\mathbb{R}^N$ $(N\geq 2)$, $p>1$, $g=|x|^{\frac{2p}{N}\beta}(dx_1^2+\cdots+dx_N^2)$ be a conical…
This is a revised version (of late 2020) of [Sh:700], which is arXiv:math/0012170 . First point is noting that the proof of Theorem 4.3 in [Sh:700], which says that the proof giving the consistency $ \mathfrak{b} = \mathfrak{d} =…
Let $\Omega \subset \mathbb{R}^d$, $d \geq 2$, be a bounded convex domain and $f\colon \Omega \to \mathbb{R}$ be a non-negative subharmonic function. In this paper we prove the inequality \[ \frac{1}{|\Omega|}\int_\Omega f(x)\,dx \leq…
Topological Weyl semimetals can host Weyl nodes with monopole charges in momentum space. How to detect the signature of the monopole charges in quantum transport remains a challenging topic. Here, we reveal the connection between the parity…
In this paper, we are interested in the following bilinear fractional integral operator $B\mathcal{I}_\alpha$ defined by \[ B\mathcal{I}_{\alpha}({f,g})(x)=\int_{% %TCIMACRO{\U{211d} }% %BeginExpansion \mathbb{R} %EndExpansion…
A complete description of traces on $\mathbb{R}^{n}$ of functions from the weighted Sobolev space $W^{l}_{1}(\mathbb{R}^{n+1},\gamma)$, $l \in \mathbb{N}$, with weight $\gamma \in A^{\rm loc}_{1}(\mathbb{R}^{n+1})$ is obtained. In the case…
Given a map $\phi:X\rightarrow Y$ between $F$-analytic manifolds over a local field $F$ of characteristic $0$, we introduce an invariant $\epsilon_{\star}(\phi)$ which quantifies the integrability of pushforwards of smooth compactly…
In this note, we prove a fractional version in $1$-D of the Bourgain-Brezis inequality \cite{bourgain1}. We show that such an inequality is equivalent to the fact that a holomorphic function $f\colon\D\to\C$ belongs to the Bergman space…
We will show in this paper that if $\lambda$ is very close to 1, then $$I(M,\lambda,m)= \sup_{u\in H^{1,n}_0(M) ,\int_M|\nabla u|^ndV=1}\int_\Omega (e^{\alpha_n |u|^\frac{n}{n-1}}-\lambda\sum\limits_{k=1}^m\frac{|\alpha_nu^\frac{n}{n-1}|^k}…
Consider an iterated function system consisting of similarities on the complex plane of the form $g_{i}(z) = \lambda_i z + t_i,\ \lambda_i, t_i \in \mathbb{C},\ |\lambda_i|<1, i=1,\ldots, k$. We prove that for almost every choice of…
We calculate the first order variation of the Riesz $\alpha$-energy of a log-concave function $f$ with respect to the Asplund sum. Such a variational formula induces the Riesz $\alpha$-energy measure of log-concave function $f$, which will…
Let $F$ be a smooth foliation on a closed Riemannian manifold $M$, and let $\Lambda$ be a transverse invariant measure of $F$. Suppose that $\Lambda$ is absolutely continuous with respect to the Lebesgue measure on smooth transversals. Then…
We present a new approach (distinct from Gel'fand-Levitan) to the theorem of Borg-Marchenko that the m-function (equivalently, spectral measure) for a finite interval or half-line Schr\"odinger operator determines the potential. Our…
For every symmetrically normed ideal $\mathcal{E}$ of compact operators, we give a criterion for the existence of a continuous singular trace on $\mathcal{E}$. We also give a criterion for the existence of a continuous singular trace on…